source: dev/trunk/ab5.0/abdev/compiler_x86/CParameter.cpp@ 727

Last change on this file since 727 was 664, checked in by dai_9181, 16 years ago

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