source: dev/BasicCompiler64/CParameter.cpp@ 31

Last change on this file since 31 was 31, checked in by dai_9181, 18 years ago

_System_LocalThis（見えないThisポインタパラメータ）を通常のパラメータ保有領域ではなく、リアルパラメータ保有領域に移動した。
メソッドとグローバル関数のオーバーロードに対応（DLL関数オーバーロードには未対応）。
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 // TODO: _System_ReturnValueが考慮されていない？
667 if(bHas_System_LocalThis) i3=i2-1;
668 else i3=i2;
669 CheckDifferentType(
670 DummyTypeInfo.type,
671 DummyTypeInfo.u.lpIndex,
672 CalcType,
673 lpCalcIndex,
674 FuncName,
675 i3);
676
677
678 if(DummyTypeInfo.type==DEF_DOUBLE){
679 //Double型へ変換
680 ChangeTypeToXmm_Double(CalcType,reg,temp_reg);
681 }
682 else if(DummyTypeInfo.type==DEF_SINGLE){
683 //Single型へ変換
684 ChangeTypeToXmm_Single(CalcType,reg,temp_reg);
685 }
686 else if(IsWholeNumberType(DummyTypeInfo.type)){
687 //実数型 → 整数型
688 ChangeTypeToWhole(CalcType,DummyTypeInfo.type,reg,temp_reg);
689 }
690 }
691 }
692 else{
693 //ポインタ参照
694 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
695 //ポインタ指定
696
697 temp_reg=reg;
698 CalcType=NumOpe(&temp_reg,Parms[i2]+2,0,0,&lpCalcIndex);
699 if(CalcType==-1) break;
700
701 int ptr_type;
702 ptr_type=GetPtrType(DummyTypeInfo.type,DummyTypeInfo.u.lpIndex);
703
704 //型チェック
705 if(bHas_System_LocalThis) i3=i2-1;
706 else i3=i2;
707 CheckDifferentType(
708 ptr_type,
709 DummyTypeInfo.u.lpIndex,
710 CalcType,
711 lpCalcIndex,
712 FuncName,
713 i3);
714
715 if(IsRealNumberType(CalcType)){
716 //実数型 → 整数型
717 ChangeTypeToWhole(CalcType,DEF_QWORD,reg,temp_reg);
718 }
719 }
720 else{
721 //変数のアドレスを取得
722 int VarType;
723 LONG_PTR lpVarIndex;
724 if(GetVarOffset(
725 false,
726 false,
727 Parms[i2],
728 &VarType,
729 &RelativeVar,
730 &lpVarIndex)){
731
732 if(DummyTypeInfo.type!=DEF_ANY){
733 //型チェックを行う
734 if(DummyTypeInfo.type==VarType){
735 if(DummyTypeInfo.type==DEF_OBJECT){
736 if(DummyTypeInfo.u.lpIndex!=lpVarIndex){
737 SetError(11,Parms[i2],cp);
738 }
739 }
740 }
741 else if((VarType&FLAG_PTR)&&((VarType^FLAG_PTR)==DummyTypeInfo.type)){
742 //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
743 }
744 else{
745 SetError(11,Parms[i2],cp);
746 }
747 }
748
749 //変数アドレスをレジスタにセット
750 SetVarPtrToReg(reg,&RelativeVar);
751
752 }
753 else{
754 //一時オブジェクトをコピー
755
756 //mov reg, qword ptr[rsp+offset]
757 pobj_sf->ref_offset_data( reg, StackOffsetOfTempObject[i2] );
758
759 //VarType = NumOpe( &reg, Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex );
760 }
761 }
762 }
763next:
764 if(reg==REG_RAX){
765 //スタックフレームへコピー
766 //mov qword ptr[rsp+offset],rax
767 op_mov_MR(sizeof(_int64),REG_RAX,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
768 }
769 else if(xmm_temp_sw){
770 //スタックフレームへコピー
771
772 //movlpd qword ptr[rsp+offset],xmm0
773 op_movlpd_MR(REG_XMM0,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
774 }
775
776
777 /////////////////////
778 // レジスタをロック
779 /////////////////////
780
781 if(0<=i2&&i2<=3){
782 // ※rcx, rdx, r8, r9の場合のみ
783 pobj_BlockReg->lock(reg);
784 }
785 }
786
787 //パラメータが収まるだけのスタックフレームを確保
788 pobj_sf->parameter_allocate(pi_num*sizeof(_int64)+ sizeof(_int64)/*ret用*/ );
789}
790void CParameter::BackupParameter(int pi_num){
791 ///////////////////////////////////////////////////////////
792 // スタックフレームに存在する既存のパラメータをバックアップ
793 ///////////////////////////////////////////////////////////
794 int i2;
795
796 for(i2=0;i2<ParmsNum;i2++){
797 /////////////////////
798 // バックアップ
799 /////////////////////
800
801 extern CDBLockParms obj_DBLockParms;
802 if(obj_DBLockParms.array_LevelCount[i2]){
803 //mov r14,qword ptr[rsp+offset]
804 op_mov_RM(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
805
806 //mov qword ptr[rsp+offset],r14 ※スタックフレームを利用
807 pobj_sf->push(REG_R14);
808 }
809
810 if(3<i2){
811 //スタックフレームをロック
812 extern CDBLockParms obj_DBLockParms;
813 obj_DBLockParms.lock(i2);
814 }
815 }
816}
817void CParameter::RestoreParameter(int pi_num){
818 ///////////////////////////////////////////////////////////
819 // スタックフレームに存在する既存のパラメータを復元
820 ///////////////////////////////////////////////////////////
821 int i2;
822
823 for(i2=ParmsNum-1;i2>=0;i2--){
824 /////////////////////
825 // 復元
826 /////////////////////
827
828 if(3<i2){
829 //スタックフレームをアンロック
830 extern CDBLockParms obj_DBLockParms;
831 obj_DBLockParms.unlock(i2);
832 }
833
834 extern CDBLockParms obj_DBLockParms;
835 if(obj_DBLockParms.array_LevelCount[i2]){
836 //mov r14,qword ptr[rsp+offset] ※スタックフレームを利用
837 pobj_sf->pop(REG_R14);
838
839 //mov qword ptr[rsp+offset],r14
840 op_mov_MR(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
841 }
842 }
843}
Note: See TracBrowser for help on using the repository browser.