source: dev/trunk/ab5.0/abdev/compiler_x64/CParameter.cpp

Last change on this file was 829, checked in by イグトランス (egtra), 13 years ago

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