source: dev/trunk/abdev/BasicCompiler64/CParameter.cpp@ 225

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

コード全体のリファクタリングを実施
File size: 12.2 KB
Line 
1#include "stdafx.h"
2
3#include "../BasicCompiler_Common/common.h"
4#include "opcode.h"
5
6int ParamImpl::NewTempParameters( const string &procName, const Parameters &params, int SecondParmNum ){
7 if( SecondParmNum == -1 ) SecondParmNum = (int)params.size();
8
9 ///////////////////////////////////////////////////////
10 // 一時オブジェクトをあらかじめスタックに積んでおく
11 ///////////////////////////////////////////////////////
12
13 int stackItemNum = 0;
14
15 useTempObject = false;
16
17 BOOL bEllipse;
18 if(params.size()){
19 if(params[params.size()-1]->GetBasicType()==DEF_ELLIPSE) bEllipse=1;
20 else bEllipse=0;
21 }
22 else bEllipse=0;
23
24 for(int i2=ParmsNum-1;i2>=0;i2--){
25 useTempParameters[i2] = false;
26
27 if(bEllipse&&i2<=(int)params.size()-2) bEllipse=0;
28
29 if(i2==0){
30 if( params[i2]->GetVarName() == "_System_LocalThis" ){
31 //オブジェクトメンバの第一パラメータのThisポインタ
32 continue;
33 }
34 }
35 if( i2==0||i2==1 ){
36 if( params[i2]->GetVarName() == procName ){
37 //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
38 continue;
39 }
40 }
41
42 Type dummyType;
43 BOOL bByVal;
44 if(bEllipse){
45 NumOpe_GetType( Parms[i2], Type(), dummyType );
46 bByVal=1;
47 }
48 else{
49 dummyType = *params[i2];
50 bByVal = ( params[i2]->IsRef() == false ) ? TRUE:FALSE;
51 }
52
53
54 if( !bByVal ){
55 //ポインタ参照
56 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
57 //ポインタ指定
58 continue;
59 }
60
61 if( !GetVarType( Parms[i2], Type(), FALSE ) ){
62 //変数ではないとき
63 int reg = REG_RAX;
64 Type calcType;
65 NumOpe( &reg, Parms[i2], dummyType, calcType );
66
67 if( !calcType.IsStruct() ){
68 //一時参照を作成
69 pobj_sf->push( reg );
70 pobj_sf->mov_sp( reg );
71
72 stackItemNum++;
73 }
74
75 //スタックフレームへコピー
76 StackOffsetOfTempObject[i2] = pobj_sf->push(reg);
77
78 stackItemNum++;
79
80 bool result = CheckDifferentType(
81 dummyType,
82 calcType,
83 procName.c_str(),
84 i2);
85
86 if( result ){
87 useTempParameters[i2] = true;
88 useTempObject = true;
89
90 types[i2] = calcType;
91 }
92 }
93 }
94 }
95
96 return stackItemNum * PTR_SIZE;
97}
98void ParamImpl::DeleteTempParameters(){
99 ///////////////////////////////////////////////////////
100 // 一時オブジェクトを破棄
101 ///////////////////////////////////////////////////////
102 if( !useTempObject ) return;
103
104 for(int i2=ParmsNum-1;i2>=0;i2--){
105 if( useTempParameters[i2] ){
106 if( types[i2].IsStruct() ){
107 // 構造体の一時メモリ
108
109 //メモリを解放する
110
111 pobj_sf->pop( REG_RCX );
112
113 //call free
114 extern const UserProc *pSub_free;
115 op_call(pSub_free);
116 }
117 else{
118 pobj_sf->pop();
119 pobj_sf->pop();
120 }
121 }
122 }
123}
124
125void ParamImpl::SetStructParameter( int reg, const Type &baseType, const char *expression ){
126 //////////////////////////////////////////////////////
127 ///// レジスタ資源のバックアップ
128 { BACKUP_REGISTER_RESOURCE
129 //////////////////////////////////////////////////////
130
131 int object_size = baseType.GetClass().GetSize();
132
133 //mov rcx,object_size
134 op_mov_RV(sizeof(_int64),REG_RCX,object_size);
135
136 //call calloc
137 extern const UserProc *pSub_calloc;
138 op_call(pSub_calloc);
139
140 //mov r11,rax
141 op_mov_RR(REG_R11,REG_RAX);
142
143 //mov qword ptr[rsp+offset],r11 ※スタックフレームを利用
144 pobj_sf->push(REG_R11);
145
146
147 Type calcType;
148 BOOL bUseHeap;
149 int temp_reg=REG_RAX;
150 NumOpe( &temp_reg,
151 expression,
152 baseType,
153 calcType,
154 &bUseHeap );
155
156
157 //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
158 pobj_sf->ref(REG_R11);
159
160
161 RELATIVE_VAR RelativeVar;
162 RelativeVar.bOffsetOffset=0;
163 RelativeVar.offset=0;
164 RelativeVar.dwKind=VAR_DIRECTMEM;
165
166 SetStructVariableFromRax(
167 baseType,
168 calcType,
169 &RelativeVar,bUseHeap);
170
171
172 //mov r11,qword ptr[rsp+offset] ※スタックフレームを利用
173 pobj_sf->pop(REG_R11);
174
175 /////////////////////////////////////////////
176 ////// レジスタ資源を復元
177 RESTORE_REGISTER_RESOURCE
178 }////////////////////////////////////////////
179
180 //mov reg,r11
181 op_mov_RR(reg,REG_R11);
182}
183
184
185void ParamImpl::SetParameter( const string &procName, const Parameters &params, int SecondParmNum ){
186 if( SecondParmNum == -1 ) SecondParmNum = (int)params.size();
187
188 ///////////////////////////////////////////////////////////
189 // パラメータをレジスタ及びスタックフレームにセット
190 ///////////////////////////////////////////////////////////
191 int i2,i3;
192
193 BOOL bEllipse;
194 if( params.size() ){
195 if(params[params.size()-1]->GetBasicType()==DEF_ELLIPSE) bEllipse=1;
196 else bEllipse=0;
197 }
198 else bEllipse=0;
199
200 BOOL bHas_System_LocalThis=0;
201 if(ParmsNum>=1){
202 if( params[0]->GetVarName() == "_System_LocalThis" ){
203 bHas_System_LocalThis=1;
204 }
205 }
206
207 //戻り値用の変数名を取得
208 const char *lpszVarNameToReturn = (procName[0]==1&&procName[1]==ESC_OPERATOR)?"_System_ReturnValue":procName.c_str();
209
210 //パラメータをレジスタとスタックに格納
211 int ParmSize=0;
212 int reg,temp_reg;
213 RELATIVE_VAR RelativeVar;
214 for(i2=ParmsNum-1;i2>=0;i2--){
215 if(bEllipse&&i2<=(int)params.size()-2) bEllipse=0;
216
217 if(i2==0){
218 if( params[i2]->GetVarName() == "_System_LocalThis" ){
219 //オブジェクトメンバの第一パラメータのThisポインタ
220 continue;
221 }
222 }
223 if(i2==0||i2==1){
224 if( params[i2]->GetVarName() == lpszVarNameToReturn ){
225 //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
226 continue;
227 }
228 }
229
230 Type dummyType;
231 BOOL bByVal;
232 if(bEllipse){
233 NumOpe_GetType( Parms[i2], Type(), dummyType );
234 bByVal=1;
235 }
236 else{
237 dummyType = *params[i2];
238 bByVal = ( params[i2]->IsRef() == false ) ? TRUE:FALSE;
239 }
240
241 int xmm_temp_sw=0;
242 if(dummyType.IsReal()&&bByVal){
243 //実数型
244 if(i2==0) reg=REG_XMM0;
245 else if(i2==1) reg=REG_XMM1;
246 else if(i2==2) reg=REG_XMM2;
247 else if(i2==3) reg=REG_XMM3;
248 else{
249 reg=REG_XMM0;
250 xmm_temp_sw=1;
251 }
252 }
253 else{
254 //整数型
255 if(i2==0) reg=REG_RCX;
256 else if(i2==1) reg=REG_RDX;
257 else if(i2==2) reg=REG_R8;
258 else if(i2==3) reg=REG_R9;
259 else reg=REG_RAX;
260 }
261
262 if(bByVal==1){
263 //値参照
264
265 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
266 char temp2[255];
267 sprintf(temp2,"%s関数の第%dパラメータ",procName,i2+1);
268 SetError(19,temp2,cp);
269 continue;
270 }
271
272 if( dummyType.IsStruct() ){
273 SetStructParameter( reg, dummyType, Parms[i2] );
274 goto next;
275 }
276
277 temp_reg=reg;
278
279 extern LONG_PTR ProcPtr_BaseIndex;
280 LONG_PTR back_ProcPtr_BaseIndex = ProcPtr_BaseIndex;
281 if( dummyType.IsProcPtr() ){
282 ProcPtr_BaseIndex = dummyType.GetIndex();
283 }
284 else{
285 ProcPtr_BaseIndex=-1;
286 }
287
288 BOOL bCalcUseHeap;
289 Type calcType;
290 if( !NumOpe( &temp_reg, Parms[i2], dummyType, calcType, &bCalcUseHeap ) ){
291 break;
292 }
293
294 ProcPtr_BaseIndex=back_ProcPtr_BaseIndex;
295
296 if( calcType.IsObject() ){
297 if( !dummyType.IsObject()
298 ||
299 dummyType.IsObject() &&
300 !dummyType.GetClass().IsEqualsOrSubClass( &calcType.GetClass() ) ){
301 //キャスト演算子のオーバーロードに対応する
302 CallCastOperatorProc( reg, calcType, bCalcUseHeap,dummyType );
303 }
304 }
305
306
307 if(bEllipse){
308 if( calcType.IsReal() ){
309 //整数レジスタへコピー
310 //※cdeclの拡張パラメータは実数の場合も汎用レジスタで引渡し
311
312 if(0<=i2&&i2<=3){
313 if(i2==0) reg=REG_RCX;
314 else if(i2==1) reg=REG_RDX;
315 else if(i2==2) reg=REG_R8;
316 else if(i2==3) reg=REG_R9;
317
318 //movd reg,temp_reg
319 op_movd_RX(reg,temp_reg);
320 }
321 }
322 else if( calcType.IsWhole() ){
323 //整数型の場合は、64ビットへ拡張する
324 ExtendTypeTo64( calcType.GetBasicType(), temp_reg );
325 }
326 }
327 else{
328 //型チェック
329 // TODO: _System_ReturnValueが考慮されていない？
330 if(bHas_System_LocalThis) i3=i2-1;
331 else i3=i2;
332 CheckDifferentType(
333 dummyType,
334 calcType,
335 procName.c_str(),
336 i3);
337
338 if( dummyType.IsDouble() ){
339 //Double型へ変換
340 ChangeTypeToXmm_Double(calcType.GetBasicType(),reg,temp_reg);
341 }
342 else if( dummyType.IsSingle() ){
343 //Single型へ変換
344 ChangeTypeToXmm_Single(calcType.GetBasicType(),reg,temp_reg);
345 }
346 else if( dummyType.IsWhole() ){
347 //実数型 → 整数型
348 ChangeTypeToWhole(calcType.GetBasicType(),dummyType.GetBasicType(),reg,temp_reg);
349 }
350 }
351 }
352 else{
353 //ポインタ参照
354 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
355 //ポインタ指定
356
357 temp_reg=reg;
358 Type calcType;
359 if( !NumOpe(&temp_reg, Parms[i2]+2, dummyType, calcType) ){
360 break;
361 }
362
363 dummyType.PtrLevelUp();
364
365 //型チェック
366 if(bHas_System_LocalThis) i3=i2-1;
367 else i3=i2;
368 CheckDifferentType(
369 dummyType,
370 calcType,
371 procName.c_str(),
372 i3);
373
374 if( calcType.IsReal() ){
375 //実数型 → 整数型
376 ChangeTypeToWhole( calcType.GetBasicType(), DEF_QWORD,reg,temp_reg);
377 }
378 }
379 else{
380 if( useTempParameters[i2] ){
381 //一時オブジェクトをコピー
382
383 //mov reg, qword ptr[rsp+offset]
384 pobj_sf->ref_offset_data( reg, StackOffsetOfTempObject[i2] );
385 }
386 else{
387 //変数のアドレスを取得
388 Type varType;
389 if(GetVarOffset(
390 false,
391 false,
392 Parms[i2],
393 &RelativeVar,
394 varType)){
395
396 if( !dummyType.IsAny() ){
397 //型チェックを行う
398 if( dummyType.GetBasicType() == varType.GetBasicType() ){
399 if( dummyType.IsObject() ){
400 if( !dummyType.GetClass().IsEqualsOrSubClass( &varType.GetClass() ) ){
401 SetError(11,Parms[i2],cp);
402 }
403 }
404 else if( dummyType.IsStruct() ){
405 if( !dummyType.GetClass().IsEquals( &varType.GetClass() ) ){
406 SetError(11,Parms[i2],cp);
407 }
408 }
409 }
410 else if( (varType.GetBasicType()&FLAG_PTR)
411 &&((varType.GetBasicType()^FLAG_PTR)==dummyType.GetBasicType())){
412 //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
413 }
414 else{
415 SetError(11,Parms[i2],cp);
416 }
417 }
418
419 //変数アドレスをレジスタにセット
420 SetVarPtrToReg(reg,&RelativeVar);
421
422 }
423 }
424 }
425 }
426
427next:
428
429 if(reg==REG_RAX){
430 //スタックフレームへコピー
431 //mov qword ptr[rsp+offset],rax
432 op_mov_MR(sizeof(_int64),REG_RAX,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
433 }
434 else if(xmm_temp_sw){
435 //スタックフレームへコピー
436
437 //movlpd qword ptr[rsp+offset],xmm0
438 op_movlpd_MR(REG_XMM0,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
439 }
440
441
442 /////////////////////
443 // レジスタをロック
444 /////////////////////
445
446 if(0<=i2&&i2<=3){
447 // ※rcx, rdx, r8, r9の場合のみ
448 pobj_BlockReg->lock(reg);
449 }
450 }
451
452 //パラメータが収まるだけのスタックフレームを確保
453 pobj_sf->parameter_allocate((int)params.size()*sizeof(_int64)+ sizeof(_int64)/*ret用*/ );
454}
455void ParamImpl::BackupParameter(int pi_num){
456 ///////////////////////////////////////////////////////////
457 // スタックフレームに存在する既存のパラメータをバックアップ
458 ///////////////////////////////////////////////////////////
459 int i2;
460
461 for(i2=0;i2<ParmsNum;i2++){
462 /////////////////////
463 // バックアップ
464 /////////////////////
465
466 extern CDBLockParms obj_DBLockParms;
467 if(obj_DBLockParms.array_LevelCount[i2]){
468 //mov r14,qword ptr[rsp+offset]
469 op_mov_RM(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
470
471 //mov qword ptr[rsp+offset],r14 ※スタックフレームを利用
472 pobj_sf->push(REG_R14);
473 }
474
475 if(3<i2){
476 //スタックフレームをロック
477 extern CDBLockParms obj_DBLockParms;
478 obj_DBLockParms.lock(i2);
479 }
480 }
481}
482void ParamImpl::RestoreParameter(int pi_num){
483 ///////////////////////////////////////////////////////////
484 // スタックフレームに存在する既存のパラメータを復元
485 ///////////////////////////////////////////////////////////
486 int i2;
487
488 for(i2=ParmsNum-1;i2>=0;i2--){
489 /////////////////////
490 // 復元
491 /////////////////////
492
493 if(3<i2){
494 //スタックフレームをアンロック
495 extern CDBLockParms obj_DBLockParms;
496 obj_DBLockParms.unlock(i2);
497 }
498
499 extern CDBLockParms obj_DBLockParms;
500 if(obj_DBLockParms.array_LevelCount[i2]){
501 //mov r14,qword ptr[rsp+offset] ※スタックフレームを利用
502 pobj_sf->pop(REG_R14);
503
504 //mov qword ptr[rsp+offset],r14
505 op_mov_MR(sizeof(_int64),REG_R14,REG_RSP,i2*sizeof(_int64),MOD_BASE_DISP32);
506 }
507 }
508}
Note: See TracBrowser for help on using the repository browser.