source: dev/trunk/abdev/BasicCompiler32/CParameter.cpp@ 331

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

AddressOfの左辺値を加味した処理を簡潔にした

File size: 9.4 KB
RevLine 
[206]1#include "stdafx.h"
2
[225]3#include <Compiler.h>
4
[3]5#include "../BasicCompiler_Common/common.h"
6#include "opcode.h"
7
[75]8int ParamImpl::NewTempParameters( const string &procName, const Parameters &params, int SecondParmNum ){
9 if( SecondParmNum == -1 ) SecondParmNum = (int)params.size();
[20]10
[73]11 ///////////////////////////////////////////////////////
12 // 一時オブジェクトをあらかじめスタックに積んでおく
13 ///////////////////////////////////////////////////////
[64]14
[73]15 useTempObject = false;
16
17 //一時参照の数
18 nCountOfTempObjects = 0;
19
20 BOOL bEllipse;
21 if(params.size()){
22 if(params[params.size()-1]->GetBasicType()==DEF_ELLIPSE) bEllipse=1;
23 else bEllipse=0;
24 }
25 else bEllipse=0;
26
27 for(int i2=ParmsNum-1;i2>=0;i2--){
28 useTempParameters[i2] = false;
29
30 if(bEllipse&&i2<=(int)params.size()-2) bEllipse=0;
31
32 if(i2==0){
33 if( params[i2]->GetVarName() == "_System_LocalThis" ){
34 //オブジェクトメンバの第一パラメータのThisポインタ
35 continue;
36 }
37 }
38 if( i2==0||i2==1 ){
39 if( params[i2]->GetVarName() == procName ){
40 //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
41 continue;
42 }
43 }
44
[76]45 Type dummyType;
[73]46 BOOL bByVal;
47 if(bEllipse){
[76]48 NumOpe_GetType( Parms[i2], Type(), dummyType );
[73]49 bByVal=1;
50 }
51 else{
[76]52 dummyType = *params[i2];
[73]53 bByVal = ( params[i2]->IsRef() == false ) ? TRUE:FALSE;
54 }
55
56
57 if( !bByVal ){
58 //ポインタ参照
59 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
60 //ポインタ指定
61 continue;
62 }
63
[76]64 if( !GetVarType( Parms[i2], Type(), FALSE ) ){
[73]65 //変数ではないとき
[76]66 Type calcType;
67 NumOpe( Parms[i2], dummyType, calcType );
[73]68 //↑ここでスタックに積む
69
70 nCountOfTempObjects++;
71
[76]72 if( !calcType.IsStruct() ){
[73]73 //一時参照を作成
74
75 //push esp
[225]76 compiler.codeGenerator.op_push( REG_ESP );
[73]77
78 nCountOfTempObjects++;
79 }
80
81 bool result = CheckDifferentType(
[76]82 dummyType,
83 calcType,
[75]84 procName.c_str(),
[73]85 i2);
86
87 if( result ){
88 useTempParameters[i2] = true;
89 useTempObject = true;
90
[76]91 types[i2] = calcType;
[73]92 }
93 }
94 }
95 }
96
97 return nCountOfTempObjects * PTR_SIZE;
98}
99
[71]100void ParamImpl::DeleteTempParameters(){
[20]101 ///////////////////////////////////////////////////////
102 // 一時オブジェクトを破棄
103 ///////////////////////////////////////////////////////
104 if( !useTempObject ) return;
105
106 for(int i2=ParmsNum-1;i2>=0;i2--){
107 if( useTempParameters[i2] ){
[76]108 if( types[i2].IsStruct() ){
[64]109 // 構造体の一時メモリ
[20]110
[64]111 //メモリを解放する
[20]112
[64]113 //call free
[206]114 extern const UserProc *pSub_free;
[225]115 compiler.codeGenerator.op_call(pSub_free);
[45]116 }
[64]117 else{
[76]118 if( types[i2].Is64() ){
[66]119 //pop ... 参照を消す
120 //pop ... 上位32ビット
121 //pop ... 下位32ビット
[225]122 compiler.codeGenerator.op_add_esp( PTR_SIZE * 3 );
[66]123 }
124 else{
125 //pop ... 参照を消す
126 //pop ... 値を消す
[225]127 compiler.codeGenerator.op_add_esp( PTR_SIZE * 2 );
[66]128 }
[64]129 }
[20]130 }
131 }
132}
133
[76]134void ParamImpl::SetStructParameter( const Type &baseType, const char *expression ){
135 int object_size = baseType.GetClass().GetSize();
[3]136
137 //push object_size
[225]138 compiler.codeGenerator.op_push_V(object_size);
[3]139
140 //call calloc
[206]141 extern const UserProc *pSub_calloc;
[225]142 compiler.codeGenerator.op_call(pSub_calloc);
[3]143
[76]144 //push eax(ここでプッシュされた値が実際にパラメータとして引き渡される)
[225]145 compiler.codeGenerator.op_push(REG_EAX);
[76]146
[3]147 //push eax
[225]148 compiler.codeGenerator.op_push(REG_EAX);
[3]149
[76]150 Type calcType;
151 BOOL bUseHeap;
152 NumOpe( expression,
153 baseType,
154 calcType,
155 &bUseHeap );
[3]156
[76]157 // ※スタックにある二つのデータ(コピー先、コピー元)の値を必要とする
158 SetStructVariable( baseType, calcType, bUseHeap );
[3]159}
160
[301]161int ParamImpl::SetParameter( const string &procName, const Parameters &params, int SecondParmNum, const UserProc *pUserProc ){
[75]162 if( SecondParmNum == -1 ) SecondParmNum = (int)params.size();
[3]163
[73]164 ///////////////////////////////////////////////////////////
165 // パラメータをレジスタ及びスタックフレームにセット
166 ///////////////////////////////////////////////////////////
167 int i2,i3;
168
169 BOOL bEllipse;
170 if( params.size() ){
171 if(params[params.size()-1]->GetBasicType()==DEF_ELLIPSE) bEllipse=1;
172 else bEllipse=0;
173 }
174 else bEllipse=0;
175
176 BOOL bHas_System_LocalThis=0;
177 if(ParmsNum>=1){
178 if( params[0]->GetVarName() == "_System_LocalThis" ){
179 bHas_System_LocalThis=1;
180 }
181 }
182
183 //戻り値用の変数名を取得
[75]184 const char *lpszVarNameToReturn = (procName[0]==1&&procName[1]==ESC_OPERATOR)?"_System_ReturnValue":procName.c_str();
[73]185
186 //パラメータをレジスタとスタックに格納
187 int ParmSize=0;
188 RELATIVE_VAR RelativeVar;
189 int nCountOfNowTempObjects = 0;
190 for(i2=ParmsNum-1;i2>=0;i2--){
191 if(bEllipse&&i2<=(int)params.size()-2) bEllipse=0;
192
193 if(i2==0){
194 if( params[i2]->GetVarName() == "_System_LocalThis" ){
195 //オブジェクトメンバの第一パラメータのThisポインタ
196 continue;
197 }
198 }
199 if(i2==0||i2==1){
200 if( params[i2]->GetVarName() == lpszVarNameToReturn ){
201 //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
202 continue;
203 }
204 }
205
[76]206 Type dummyType;
[73]207 BOOL bByVal;
208 if(bEllipse){
[76]209 NumOpe_GetType( Parms[i2], Type(), dummyType );
[73]210 bByVal=1;
211 }
212 else{
[76]213 dummyType = *params[i2];
214 bByVal = ( params[i2]->IsRef() == false ) ? TRUE:FALSE;
[292]215
[299]216 // 型パラメータを解決
[301]217 ResolveFormalGenericTypeParameter( dummyType, leftType, pUserProc );
[73]218 }
219
220 if(bByVal==1){
221 //値参照
[284]222/*
[73]223 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
224 char temp2[255];
[283]225 sprintf(temp2,"%s関数の第%dパラメータ",procName.c_str(),i2+1);
[73]226 SetError(19,temp2,cp);
227 continue;
228 }
[284]229*/
[76]230 if( dummyType.IsStruct() ){
231 SetStructParameter( dummyType, Parms[i2] );
[73]232 goto next;
233 }
234
[76]235 BOOL bCalcUseHeap;
236 Type calcType;
237 if( !NumOpe( Parms[i2], dummyType, calcType, &bCalcUseHeap ) ){
238 break;
239 }
[73]240
[76]241 if( calcType.IsObject() ){
242 if( !dummyType.IsObject()
[73]243 ||
[76]244 dummyType.IsObject() &&
245 !dummyType.GetClass().IsEqualsOrSubClass( &calcType.GetClass() ) ){
[73]246 //キャスト演算子のオーバーロードに対応する
[76]247 CallCastOperatorProc( calcType, bCalcUseHeap,dummyType );
[73]248 }
249 }
250
251 if(!bEllipse){
252 //型チェック
[76]253 // TODO: _System_ReturnValueが考慮されていない?
[73]254 if(bHas_System_LocalThis) i3=i2-1;
255 else i3=i2;
256 CheckDifferentType(
[76]257 dummyType,
258 calcType,
[75]259 procName.c_str(),
[73]260 i3);
261 }
262
[76]263 if( dummyType.IsDouble() ){
264 ChangeTypeToDouble( calcType.GetBasicType() );
[73]265 ParmSize+=sizeof(long)*2;
266 }
[76]267 else if( dummyType.IsSingle() ){
268 ChangeTypeToSingle( calcType.GetBasicType() );
[73]269 ParmSize+=sizeof(long);
270 }
[76]271 else if( dummyType.Is64() ){
272 ChangeTypeToInt64( calcType.GetBasicType() );
[73]273 ParmSize+=sizeof(long)*2;
274 }
[76]275 else if( dummyType.IsLong() || dummyType.IsDWord()
276 || dummyType.IsPointer()
277 || dummyType.IsObject() || dummyType.IsStruct() ){
278 ChangeTypeToLong( calcType.GetBasicType() );
279 ParmSize+=sizeof(long);
[73]280 }
[76]281 else if( dummyType.IsInteger() || dummyType.IsWord() ){
282 ChangeTypeToInteger( calcType.GetBasicType() );
[73]283 ParmSize+=sizeof(long);
284 }
[76]285 else if( dummyType.IsSByte() || dummyType.IsByte() || dummyType.IsBoolean() ){
286 ChangeTypeToByte( calcType.GetBasicType() );
[73]287 ParmSize+=sizeof(long);
288 }
289 else{
290 SetError(300,NULL,cp);
291 }
292 }
293 else{
294 //ポインタ参照
295 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){
296 //ポインタ指定
297
[76]298 Type calcType;
299 if( !NumOpe( Parms[i2]+2, dummyType, calcType) ){
300 break;
301 }
302
303 ChangeTypeToLong( calcType.GetBasicType() );
304
305 dummyType.PtrLevelUp();
306
307 //型チェック
308 if(bHas_System_LocalThis) i3=i2-1;
309 else i3=i2;
310 CheckDifferentType(
311 dummyType,
312 calcType,
313 procName.c_str(),
314 i3);
[73]315 }
316 else{
317 if( useTempParameters[i2] ){
318 //一時オブジェクトをコピー
319
[76]320 if( !types[i2].IsStruct() ){
[73]321 // 一時参照のための領域を考慮する
322 nCountOfNowTempObjects++;
323 }
324
325 nCountOfNowTempObjects++;
[3]326
[20]327 //mov eax, dword ptr[esp+offset]
[225]328 compiler.codeGenerator.op_mov_RM(
[20]329 sizeof(long),
330 REG_EAX,
331 REG_ESP,
[64]332 ( ( ParmsNum - i2 - 1 ) + ( nCountOfTempObjects - nCountOfNowTempObjects ) ) * PTR_SIZE,
[20]333 MOD_BASE_DISP32 );
[3]334
[20]335 //push eax
[225]336 compiler.codeGenerator.op_push(REG_EAX);
[64]337 }
338 else{
339 //変数のアドレスを取得
[76]340 Type varType;
[64]341 if(GetVarOffset(
342 false,
343 false,
344 Parms[i2],
345 &RelativeVar,
[76]346 varType)){
347 if( !dummyType.IsAny() ){
[64]348 //型チェックを行う
[76]349 if( dummyType.GetBasicType() == varType.GetBasicType() ){
350 if( dummyType.IsObject() ){
351 if( !dummyType.GetClass().IsEqualsOrSubClass( &varType.GetClass() ) ){
[64]352 SetError(11,Parms[i2],cp);
353 }
354 }
[76]355 else if( dummyType.IsStruct() ){
356 if( !dummyType.GetClass().IsEquals( &varType.GetClass() ) ){
[64]357 SetError(11,Parms[i2],cp);
358 }
359 }
360 }
[76]361 else if( (varType.GetBasicType()&FLAG_PTR)
362 &&((varType.GetBasicType()^FLAG_PTR)==dummyType.GetBasicType())){
[64]363 //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
364 }
365 else{
366 SetError(11,Parms[i2],cp);
367 }
368 }
[20]369
[64]370 //変数アドレスをレジスタにセット
371 SetVarPtrToEax(&RelativeVar);
372
373 //push eax
[225]374 compiler.codeGenerator.op_push(REG_EAX);
[64]375 }
[20]376 }
[3]377 }
378
379 ParmSize+=PTR_SIZE;
380 }
381
382next:;
383 }
384
385 return ParmSize;
386}
Note: See TracBrowser for help on using the repository browser.