source: dev/BasicCompiler64/CParameter.cpp@ 28

Last change on this file since 28 was 28, checked in by dai_9181, 17 years ago

・【32ビットコンパイラ】戻り値に実態オブジェクトを持つインデクサを呼び出すと強制終了してしまうバグを修正。
・仮想関数のオーバーロードが正常に動作しないバグを修正。
・純仮想関数（抽象メソッド）が仮想関数でオーバーロードされていると、クラスのインスタンスが生成できてしまうバグを修正。
File size: 19.8 KB
Line 
1#include "../BasicCompiler_Common/common.h"
2#include "opcode.h"
3
4CParameter::CParameter(char *buffer){
5 ///////////////////////////
6 // パラメータ文字列を整理
7 ///////////////////////////
8
9 extern HANDLE hHeap;
10 int i,i2,i3;
11 char temporary[VN_SIZE];
12
13 i=0;
14 ParmsNum=0;
15 while(1){
16 if(buffer[i]=='\0') break;
17
18 for(i2=0;;i2++,i++){
19 if(buffer[i]=='\"'){
20 temporary[i2]=buffer[i];
21 for(i++,i2++;;i++,i2++){
22 temporary[i2]=buffer[i];
23 if(buffer[i]=='\"') break;
24 }
25 continue;
26 }
27
28 if(buffer[i]=='('){
29 i3=GetStringInPare(temporary+i2,buffer+i);
30 i2+=i3-1;
31 i+=i3-1;
32 continue;
33 }
34 if(buffer[i]=='['){
35 i3=GetStringInBracket(temporary+i2,buffer+i);
36 i2+=i3-1;
37 i+=i3-1;
38 continue;
39 }
40
41 if(buffer[i]==','||buffer[i]=='\0'){
42 temporary[i2]=0;
43 break;
44 }
45 temporary[i2]=buffer[i];
46 }
47
48 Parms[ParmsNum]=(char *)HeapAlloc(hHeap,0,lstrlen(temporary)+1);
49 lstrcpy(Parms[ParmsNum],temporary);
50 ParmsNum++;
51
52 if(buffer[i]==',') i++;
53 }
54
55 ReturnTypeInfo.type=0;
56 ReturnTypeInfo.u.lpIndex=0;
57}
58CParameter::CParameter(PARAMETER_INFO *pParamInfo,int ParmNum){
59 int i;
60 for(i=0;i<ParmNum;i++){
61 Parms[i]=0;
62 types[i].type=pParamInfo[i].type;
63 types[i].u.lpIndex=pParamInfo[i].u.index;
64 }
65 this->ParmsNum=ParmNum;
66
67 ReturnTypeInfo.type=0;
68 ReturnTypeInfo.u.lpIndex=0;
69}
70CParameter::~CParameter(){
71 int i2;
72
73 //パラメータ文字列を解放
74 for(i2=0;i2<ParmsNum;i2++){
75 if(Parms[i2]==(char *)-1) continue;
76
77 if(Parms[i2]) HeapDefaultFree(Parms[i2]);
78 }
79}
80
81void CParameter::SetReturnType(TYPEINFO *pTypeInfo){
82 ReturnTypeInfo=*pTypeInfo;
83}
84
85BOOL CParameter::_overload_check(PARAMETER_INFO *ppi,int pi_num,TYPEINFO *pReturnTypeInfo,int overload_level){
86 //パラメータを識別してオーバーロードを解決
87
88 //パラメータの個数が不一致の場合
89 if(pi_num!=ParmsNum) return 0;
90
91 int i,type;
92 LONG_PTR lpIndex;
93 for(i=0;i<pi_num;i++){
94 if(Parms[i]){
95 TYPEINFO BaseType={ppi[i].type,ppi[i].u.index};
96 if(Parms[i][0]==1&&Parms[i][1]==ESC_BYVAL){
97 type=NumOpe_GetType(Parms[i]+2,&BaseType,&lpIndex);
98 type=MAKE_PTR_TYPE(NATURAL_TYPE(type),PTR_LEVEL(type)-1);
99 }
100 else{
101 type=NumOpe_GetType(Parms[i],&BaseType,&lpIndex);
102 }
103 }
104 else{
105 type=types[i].type;
106 lpIndex=types[i].u.lpIndex;
107 }
108
109 if(type!=ppi[i].type){
110 if(overload_level==OVERLOAD_LEVEL1){
111 return 0;
112 }
113 else if(overload_level==OVERLOAD_LEVEL2){
114 if(!(
115 IsWholeNumberType(type)&&IsWholeNumberType(ppi[i].type)||
116 IsRealNumberType(type)&&IsRealNumberType(ppi[i].type)
117 )) return 0;
118 }
119 else if(overload_level==OVERLOAD_LEVEL3){
120 if(type==DEF_OBJECT||ppi[i].type==DEF_OBJECT) return 0;
121 }
122 }
123 else{
124 if(NATURAL_TYPE(type)==DEF_OBJECT){
125 if(lpIndex!=ppi[i].u.index) return 0;
126 }
127 }
128 }
129
130 if(pReturnTypeInfo){
131 //戻り値も比較対象にする
132 if(ReturnTypeInfo.type==pReturnTypeInfo->type){
133 if(NATURAL_TYPE(ReturnTypeInfo.type)==DEF_OBJECT){
134 if(ReturnTypeInfo.u.lpIndex != pReturnTypeInfo->u.lpIndex) return 0;
135 }
136 }
137 else return 0;
138 }
139
140 return 1;
141}
142SUBINFO *CParameter::OverloadSolutionWithReturnType(char *name,SUBINFO **ppsi,int num){
143 int i,sw=0;
144 SUBINFO *psi;
145 psi=0;
146 for(i=0;i<num;i++){
147 psi=ppsi[i];
148
149 TYPEINFO ReturnTypeInfo;
150 ReturnTypeInfo.type=psi->ReturnType;
151 ReturnTypeInfo.u.lpIndex=psi->u.ReturnIndex;
152
153 //エラーチェック
154 if(_overload_check(psi->pParmInfo,psi->ParmNum,&ReturnTypeInfo,OVERLOAD_LEVEL1)){
155 if(sw){
156 SetError(52,name,cp);
157 return 0;
158 }
159 sw=1;
160 break;
161 }
162 }
163
164 if(!sw){
165 for(i=0;i<num;i++){
166 psi=ppsi[i];
167
168 TYPEINFO ReturnTypeInfo;
169 ReturnTypeInfo.type=psi->ReturnType;
170 ReturnTypeInfo.u.lpIndex=psi->u.ReturnIndex;
171
172 //エラーチェック
173 if(_overload_check(psi->pParmInfo,psi->ParmNum,&ReturnTypeInfo,OVERLOAD_LEVEL2)){
174 if(sw){
175 SetError(52,name,cp);
176 return 0;
177 }
178 sw=1;
179 break;
180 }
181 }
182 }
183
184 if(!sw){
185 for(i=0;i<num;i++){
186 psi=ppsi[i];
187
188 TYPEINFO ReturnTypeInfo;
189 ReturnTypeInfo.type=psi->ReturnType;
190 ReturnTypeInfo.u.lpIndex=psi->u.ReturnIndex;
191
192 //エラーチェック
193 if(_overload_check(psi->pParmInfo,psi->ParmNum,&ReturnTypeInfo,OVERLOAD_LEVEL3)){
194 if(sw){
195 SetError(52,name,cp);
196 return 0;
197 }
198 sw=1;
199 break;
200 }
201 }
202 }
203
204 if(!sw){
205 SetError(52,name,cp);
206 return 0;
207 }
208
209 return psi;
210}
211
212SUBINFO *CParameter::OverloadSolution(char *name,SUBINFO **ppsi,int num){
213 int i,sw=0;
214 SUBINFO *psi;
215 psi=0;
216 for(i=0;i<num;i++){
217 psi=ppsi[i];
218
219 //エラーチェック
220 if(_overload_check(psi->pParmInfo,psi->ParmNum,NULL,OVERLOAD_LEVEL1)){
221 if(sw){
222 return OverloadSolutionWithReturnType(name,ppsi,num);
223 }
224 sw=1;
225 break;
226 }
227 }
228
229 if(!sw){
230 for(i=0;i<num;i++){
231 psi=ppsi[i];
232
233 //エラーチェック
234 if(_overload_check(psi->pParmInfo,psi->ParmNum,NULL,OVERLOAD_LEVEL2)){
235 if(sw){
236 return OverloadSolutionWithReturnType(name,ppsi,num);
237 }
238 sw=1;
239 break;
240 }
241 }
242 }
243
244 if(!sw){
245 for(i=0;i<num;i++){
246 psi=ppsi[i];
247
248 //エラーチェック
249 if(_overload_check(psi->pParmInfo,psi->ParmNum,NULL,OVERLOAD_LEVEL3)){
250 if(sw){
251 return OverloadSolutionWithReturnType(name,ppsi,num);
252 }
253 sw=1;
254 break;
255 }
256 }
257 }
258
259 if(!sw){
260 SUBINFO *temp_psi;
261 for(i=0;i<num;i++){
262 temp_psi=ppsi[i];
263
264 //エラーチェック
265 if(temp_psi->ParmNum==this->ParmsNum){
266 if(sw){
267 sw=0;
268 break;
269 }
270 sw=1;
271
272 psi=temp_psi;
273 }
274 }
275 }
276
277 if(!sw){
278 SetError(52,name,cp);
279 return 0;
280 }
281
282 return psi;
283}
284
285BOOL CParameter::ErrorCheck(char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum){
286 if(ParmsNum>pi_num){
287 if(ppi[pi_num-1].type!=DEF_ELLIPSE){
288 //パラメータが多すぎるとき
289 SetError(10,FuncName,cp);
290 return 0;
291 }
292 }
293 else if(ParmsNum<pi_num){
294 if(ParmsNum<SecondParmNum){
295 if(ppi[ParmsNum].type==DEF_ELLIPSE){
296 return 1;
297 }
298
299 //パラメータが少なすぎるとき
300 SetError(10,FuncName,cp);
301 return 0;
302 }
303
304 //省略パラメータに "0" を指定する
305 for(;ParmsNum < pi_num;ParmsNum++){
306 extern HANDLE hHeap;
307 char temporary[64];
308 if(ppi[ParmsNum].bByVal) lstrcpy(temporary,"0");
309 else sprintf(temporary,"%c%c0",1,ESC_BYVAL);
310 Parms[ParmsNum]=(char *)HeapAlloc(hHeap,0,lstrlen(temporary)+1);
311 lstrcpy(Parms[ParmsNum],temporary);
312 }
313 }
314
315 return 1;
316}
317void CParameter::MacroParameterSupport(PARAMETER_INFO *ppi){
318 int i;
319 for(i=0;i<ParmsNum;i++){
320 if(Parms[i][0]=='\0'){
321 extern HANDLE hHeap;
322 char temporary[64];
323 if(ppi[i].bByVal) lstrcpy(temporary,"0");
324 else sprintf(temporary,"%c%c0",1,ESC_BYVAL);
325 HeapDefaultFree(Parms[i]);
326 Parms[i]=(char *)HeapAlloc(hHeap,0,lstrlen(temporary)+1);
327 lstrcpy(Parms[i],temporary);
328 }
329 }
330}
331
332void CParameter::NewTempParameters( char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum ){
333 ///////////////////////////////////////////////////////
334 // 一時オブジェクトをあらかじめスタックに積んでおく
335 ///////////////////////////////////////////////////////
336
337 useTempObject = false;
338
339 BOOL bEllipse;
340 if(pi_num){
341 if(ppi[pi_num-1].type==DEF_ELLIPSE) bEllipse=1;
342 else bEllipse=0;
343 }
344 else bEllipse=0;
345
346 for(int i2=ParmsNum-1;i2>=0;i2--){
347 useTempParameters[i2] = false;
348
349 if(bEllipse&&i2<=pi_num-2) bEllipse=0;
350
351 if(i2==0&&ppi[i2].name){
352 if(lstrcmp(ppi[i2].name,"_System_LocalThis")==0){
353 //オブジェクトメンバの第一パラメータのThisポインタ
354 continue;
355 }
356 }
357 if((i2==0||i2==1)&&ppi[i2].name){
358 if(lstrcmp(ppi[i2].name,FuncName)==0){
359 //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
360 continue;
361 }
362 }
363
364 TYPEINFO DummyTypeInfo;
365 BOOL bByVal;
366 if(bEllipse){
367 DummyTypeInfo.type=NumOpe_GetType(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex);
368 bByVal=1;
369 }
370 else{
371 DummyTypeInfo.type=ppi[i2].type;
372 DummyTypeInfo.u.lpIndex=ppi[i2].u.index;
373 bByVal=ppi[i2].bByVal;
374 }
375
376
377 if( !bByVal ){
378 //ポインタ参照
379 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
380 //ポインタ指定
381 continue;
382 }
383
384 LONG_PTR lpVarIndex;
385 if( GetVarType( Parms[i2], &lpVarIndex, FALSE ) == -1 ){
386 //変数ではないとき
387 int reg = REG_RAX;
388 int type = NumOpe( &reg, Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex );
389
390 //スタックフレームへコピー
391 StackOffsetOfTempObject[i2] = pobj_sf->push(reg);
392
393 useTempParameters[i2] = true;
394 useTempObject = true;
395
396 types[i2].type = type;
397 types[i2].u.lpIndex = lpVarIndex;
398 }
399 }
400 }
401}
402void CParameter::DeleteTempParameters(){
403 ///////////////////////////////////////////////////////
404 // 一時オブジェクトを破棄
405 ///////////////////////////////////////////////////////
406 if( !useTempObject ) return;
407
408 for(int i2=ParmsNum-1;i2>=0;i2--){
409 if( useTempParameters[i2] ){
410 //スタックフレームから取得
411 pobj_sf->ref(REG_RCX);
412
413 //デストラクタを呼び出す
414
415 //call destructor
416 int i5 = types[i2].u.pobj_Class->DestructorMemberSubIndex;
417 op_call( types[i2].u.pobj_Class->ppobj_Method[i5]->psi );
418
419 //メモリを解放する
420
421 pobj_sf->pop(REG_RCX);
422
423 //call free
424 extern SUBINFO *pSub_free;
425 op_call(pSub_free);
426 }
427 }
428}
429
430void CParameter::SetObjectParameter(int reg,CClass *pobj_Class,LPSTR Parameter){
431 //////////////////////////////////////////////////////
432 ///// レジスタ資源のバックアップ
433 { BACKUP_REGISTER_RESOURCE
434 //////////////////////////////////////////////////////
435
436 int object_size;
437 object_size=GetSizeOfClass(pobj_Class);
438
439 //mov rcx,object_size
440 op_mov_RV(sizeof(_int64),REG_RCX,object_size);
441
442 //call calloc
443 extern SUBINFO *pSub_calloc;
444 op_call(pSub_calloc);
445
446 //mov r11,rax
447 op_mov_RR(REG_R11,REG_RAX);
448
449 //mov qword ptr[rsp+offset],r11 ※スタックフレームを利用
450 pobj_sf->push(REG_R11);
451
452 TYPEINFO BaseType={DEF_OBJECT,(LONG_PTR)pobj_Class};
453 TYPEINFO CalcType;
454 CalcType.type=NumOpe_GetType(Parameter,&BaseType,&CalcType.u.lpIndex);
455
456 if(pobj_Class->CopyConstructorMemberSubIndex!=-1&&
457 CalcType.type==DEF_OBJECT&&CalcType.u.pobj_Class==pobj_Class){
458 ////////////////////////////////////
459 // コピーコンストラクタを呼び出す
460 ////////////////////////////////////
461
462 BOOL bUseHeap;
463 int temp_reg=REG_RDX;
464 CalcType.type=NumOpe(&temp_reg,Parameter,DEF_OBJECT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap);
465
466 if(bUseHeap){
467 //mov r14,rdx
468 op_mov_RR(REG_R14,REG_RDX);
469 }
470
471 //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
472 pobj_sf->ref(REG_R11);
473
474 //mov rcx,this
475 op_mov_RR(REG_RCX,REG_R11);
476
477 //call constructor
478 op_call(pobj_Class->ppobj_Method[pobj_Class->CopyConstructorMemberSubIndex]->psi);
479
480
481 if(bUseHeap){
482 FreeTempObject(REG_R14,pobj_Class);
483 }
484 }
485 else{
486 if(pobj_Class->ConstructorMemberSubIndex!=-1){
487 ////////////////////////////////
488 // コンストラクタを呼び出す
489 ////////////////////////////////
490
491 //mov rcx,this
492 op_mov_RR(REG_RCX,REG_R11);
493
494 //call constructor
495 op_call(pobj_Class->ppobj_Method[pobj_Class->ConstructorMemberSubIndex]->psi);
496 }
497
498
499 BOOL bUseHeap;
500 int temp_reg=REG_RAX;
501 CalcType.type=NumOpe(&temp_reg,Parameter,DEF_OBJECT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap);
502
503
504 //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
505 pobj_sf->ref(REG_R11);
506
507
508 RELATIVE_VAR RelativeVar;
509 RelativeVar.bOffsetOffset=0;
510 RelativeVar.offset=0;
511 RelativeVar.dwKind=VAR_DIRECTMEM;
512
513 SetObjectVariableFromRax((LONG_PTR)pobj_Class,CalcType.type,CalcType.u.lpIndex,&RelativeVar,bUseHeap);
514
515 }
516
517 //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
518 pobj_sf->pop(REG_R11);
519
520 /////////////////////////////////////////////
521 ////// レジスタ資源を復元
522 RESTORE_REGISTER_RESOURCE
523 }////////////////////////////////////////////
524
525 //mov reg,r11
526 op_mov_RR(reg,REG_R11);
527}
528
529void CParameter::SetParameter(char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum){
530 ///////////////////////////////////////////////////////////
531 // パラメータをレジスタ及びスタックフレームにセット
532 ///////////////////////////////////////////////////////////
533 int i2,i3;
534
535 BOOL bEllipse;
536 if(pi_num){
537 if(ppi[pi_num-1].type==DEF_ELLIPSE) bEllipse=1;
538 else bEllipse=0;
539 }
540 else bEllipse=0;
541
542 BOOL bHas_System_LocalThis=0;
543 if(ParmsNum>=1){
544 if(lstrcmp(ppi[0].name,"_System_LocalThis")==0)
545 bHas_System_LocalThis=1;
546 }
547
548 //戻り値用の変数名を取得
549 char *lpszVarNameToReturn;
550 if(FuncName[0]==1&&FuncName[1]==ESC_OPERATOR) lpszVarNameToReturn="_System_ReturnValue";
551 else lpszVarNameToReturn=FuncName;
552
553 //パラメータをレジスタとスタックに格納
554 int CalcType;
555 LONG_PTR lpCalcIndex;
556 BOOL bCalcUseHeap;
557 int ParmSize=0;
558 int reg,temp_reg;
559 RELATIVE_VAR RelativeVar;
560 for(i2=ParmsNum-1;i2>=0;i2--){
561 if(bEllipse&&i2<=pi_num-2) bEllipse=0;
562
563 if(i2==0&&ppi[i2].name){
564 if(lstrcmp(ppi[i2].name,"_System_LocalThis")==0){
565 //オブジェクトメンバの第一パラメータのThisポインタ
566 continue;
567 }
568 }
569 if((i2==0||i2==1)&&ppi[i2].name){
570 if(lstrcmp(ppi[i2].name,lpszVarNameToReturn)==0){
571 //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
572 continue;
573 }
574 }
575
576 TYPEINFO DummyTypeInfo;
577 BOOL bByVal;
578 if(bEllipse){
579 DummyTypeInfo.type=NumOpe_GetType(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex);
580 bByVal=1;
581 }
582 else{
583 DummyTypeInfo.type=ppi[i2].type;
584 DummyTypeInfo.u.lpIndex=ppi[i2].u.index;
585 bByVal=ppi[i2].bByVal;
586 }
587
588 int xmm_temp_sw=0;
589 if(IsRealNumberType(DummyTypeInfo.type)&&bByVal){
590 //実数型
591 if(i2==0) reg=REG_XMM0;
592 else if(i2==1) reg=REG_XMM1;
593 else if(i2==2) reg=REG_XMM2;
594 else if(i2==3) reg=REG_XMM3;
595 else{
596 reg=REG_XMM0;
597 xmm_temp_sw=1;
598 }
599 }
600 else{
601 //整数型
602 if(i2==0) reg=REG_RCX;
603 else if(i2==1) reg=REG_RDX;
604 else if(i2==2) reg=REG_R8;
605 else if(i2==3) reg=REG_R9;
606 else reg=REG_RAX;
607 }
608
609 if(bByVal==1){
610 //値参照
611
612 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
613 char temp2[255];
614 sprintf(temp2,"%s関数の第%dパラメータ",FuncName,i2+1);
615 SetError(19,temp2,cp);
616 continue;
617 }
618
619 if(DummyTypeInfo.type==DEF_OBJECT){
620 SetObjectParameter(reg,DummyTypeInfo.u.pobj_Class,Parms[i2]);
621 goto next;
622 }
623
624 temp_reg=reg;
625
626 extern LONG_PTR ProcPtr_BaseIndex;
627 LONG_PTR back_ProcPtr_BaseIndex;
628 back_ProcPtr_BaseIndex=ProcPtr_BaseIndex;
629 if(DummyTypeInfo.type==DEF_PTR_PROC) ProcPtr_BaseIndex=DummyTypeInfo.u.lpIndex;
630 else ProcPtr_BaseIndex=-1;
631
632 CalcType=NumOpe(&temp_reg,Parms[i2],DummyTypeInfo.type,DummyTypeInfo.u.lpIndex,&lpCalcIndex,&bCalcUseHeap);
633
634 ProcPtr_BaseIndex=back_ProcPtr_BaseIndex;
635
636 if(CalcType==-1) break;
637
638 if(CalcType==DEF_OBJECT){
639 //キャスト演算子のオーバーロードに対応する
640 CallCastOperatorProc(reg,CalcType,lpCalcIndex,bCalcUseHeap,DummyTypeInfo.type,DummyTypeInfo.u.lpIndex);
641 }
642
643
644 if(bEllipse){
645 if(IsRealNumberType(CalcType)){
646 //整数レジスタへコピー
647 //※cdeclの拡張パラメータは実数の場合も汎用レジスタで引渡し
648
649 if(0<=i2&&i2<=3){
650 if(i2==0) reg=REG_RCX;
651 else if(i2==1) reg=REG_RDX;
652 else if(i2==2) reg=REG_R8;
653 else if(i2==3) reg=REG_R9;
654
655 //movd reg,temp_reg
656 op_movd_RX(reg,temp_reg);
657 }
658 }
659 else if(IsWholeNumberType(CalcType)){
660 //整数型の場合は、64ビットへ拡張する
661 ExtendTypeTo64(CalcType,temp_reg);
662 }
663 }
664 else{
665 //型チェック
666 if(bHas_System_LocalThis) i3=i2-1;
667 else i3=i2;
668 CheckDifferentType(
669 DummyTypeInfo.type,
670 DummyTypeInfo.u.lpIndex,
671 CalcType,
672 lpCalcIndex,
673 FuncName,
674 i3);
675
676
677 if(DummyTypeInfo.type==DEF_DOUBLE){
678 //Double型へ変換
679 ChangeTypeToXmm_Double(CalcType,reg,temp_reg);
680 }
681 else if(DummyTypeInfo.type==DEF_SINGLE){
682 //Single型へ変換
683 ChangeTypeToXmm_Single(CalcType,reg,temp_reg);
684 }
685 else if(IsWholeNumberType(DummyTypeInfo.type)){
686 //実数型 → 整数型
687 ChangeTypeToWhole(CalcType,DummyTypeInfo.type,reg,temp_reg);
688 }
689 }
690 }
691 else{
692 //ポインタ参照
693 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
694 //ポインタ指定
695
696 temp_reg=reg;
697 CalcType=NumOpe(&temp_reg,Parms[i2]+2,0,0,&lpCalcIndex);
698 if(CalcType==-1) break;
699
700 int ptr_type;
701 ptr_type=GetPtrType(DummyTypeInfo.type,DummyTypeInfo.u.lpIndex);
702
703 //型チェック
704 if(bHas_System_LocalThis) i3=i2-1;
705 else i3=i2;
706 CheckDifferentType(
707 ptr_type,
708 DummyTypeInfo.u.lpIndex,
709 CalcType,
710 lpCalcIndex,
711 FuncName,
712 i3);
713
714 if(IsRealNumberType(CalcType)){
715 //実数型 → 整数型
716 ChangeTypeToWhole(CalcType,DEF_QWORD,reg,temp_reg);
717 }
718 }
719 else{
720 //変数のアドレスを取得
721 int VarType;
722 LONG_PTR lpVarIndex;
723 if(GetVarOffset(
724 false,
725 false,
726 Parms[i2],
727 &VarType,
728 &RelativeVar,
729 &lpVarIndex)){
730
731 if(DummyTypeInfo.type!=DEF_ANY){
732 //型チェックを行う
733 if(DummyTypeInfo.type==VarType){
734 if(DummyTypeInfo.type==DEF_OBJECT){
735 if(DummyTypeInfo.u.lpIndex!=lpVarIndex){
736 SetError(11,Parms[i2],cp);
737 }
738 }
739 }
740 else if((VarType&FLAG_PTR)&&((VarType^FLAG_PTR)==DummyTypeInfo.type)){
741 //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
742 }
743 else{
744 SetError(11,Parms[i2],cp);
745 }
746 }
747
748 //変数アドレスをレジスタにセット
749 SetVarPtrToReg(reg,&RelativeVar);
750
751 }
752 else{
753 //一時オブジェクトをコピー
754
755 //mov reg, qword ptr[rsp+offset]
756 pobj_sf->ref_offset_data( reg, StackOffsetOfTempObject[i2] );
757
758 //VarType = NumOpe( &reg, Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex );
759 }
760 }
761 }
762next:
763 if(reg==REG_RAX){
764 //スタックフレームへコピー
765 //mov qword ptr[rsp+offset],rax
766 op_mov_MR(sizeof(_int64),REG_RAX,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
767 }
768 else if(xmm_temp_sw){
769 //スタックフレームへコピー
770
771 //movlpd qword ptr[rsp+offset],xmm0
772 op_movlpd_MR(REG_XMM0,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
773 }
774
775
776 /////////////////////
777 // レジスタをロック
778 /////////////////////
779
780 if(0<=i2&&i2<=3){
781 // ※rcx, rdx, r8, r9の場合のみ
782 pobj_BlockReg->lock(reg);
783 }
784 }
785
786 //パラメータが収まるだけのスタックフレームを確保
787 pobj_sf->parameter_allocate(pi_num*sizeof(_int64)+ sizeof(_int64)/*ret用*/ );
788}
789void CParameter::BackupParameter(int pi_num){
790 ///////////////////////////////////////////////////////////
791 // スタックフレームに存在する既存のパラメータをバックアップ
792 ///////////////////////////////////////////////////////////
793 int i2;
794
795 for(i2=0;i2<ParmsNum;i2++){
796 /////////////////////
797 // バックアップ
798 /////////////////////
799
800 extern CDBLockParms obj_DBLockParms;
801 if(obj_DBLockParms.array_LevelCount[i2]){
802 //mov r14,qword ptr[rsp+offset]
803 op_mov_RM(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
804
805 //mov qword ptr[rsp+offset],r14 ※スタックフレームを利用
806 pobj_sf->push(REG_R14);
807 }
808
809 if(3<i2){
810 //スタックフレームをロック
811 extern CDBLockParms obj_DBLockParms;
812 obj_DBLockParms.lock(i2);
813 }
814 }
815}
816void CParameter::RestoreParameter(int pi_num){
817 ///////////////////////////////////////////////////////////
818 // スタックフレームに存在する既存のパラメータを復元
819 ///////////////////////////////////////////////////////////
820 int i2;
821
822 for(i2=ParmsNum-1;i2>=0;i2--){
823 /////////////////////
824 // 復元
825 /////////////////////
826
827 if(3<i2){
828 //スタックフレームをアンロック
829 extern CDBLockParms obj_DBLockParms;
830 obj_DBLockParms.unlock(i2);
831 }
832
833 extern CDBLockParms obj_DBLockParms;
834 if(obj_DBLockParms.array_LevelCount[i2]){
835 //mov r14,qword ptr[rsp+offset] ※スタックフレームを利用
836 pobj_sf->pop(REG_R14);
837
838 //mov qword ptr[rsp+offset],r14
839 op_mov_MR(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
840 }
841 }
842}
Note: See TracBrowser for help on using the repository browser.