source: dev/trunk/abdev/BasicCompiler32/Compile_Func.cpp@ 227

Last change on this file since 227 was 227, checked in by dai_9181, 17 years ago
File size: 12.9 KB
RevLine 
[206]1#include "stdafx.h"
2
[183]3#include <jenga/include/smoothie/Smoothie.h>
4
[193]5#include <Compiler.h>
6
[3]7#include "../BasicCompiler_Common/common.h"
8#include "Opcode.h"
9
10int GetFunctionFromName(char *FuncName){
11 if(lstrcmpi(FuncName,"CUDbl")==0) return FUNC_CUDBL;
12 if(lstrcmpi(FuncName,"Fix")==0) return FUNC_FIX;
13 if(lstrcmpi(FuncName,"Len")==0) return FUNC_LEN;
14 if(lstrcmpi(FuncName,"AddressOf")==0) return FUNC_ADDRESSOF;
15 if(lstrcmpi(FuncName,"SizeOf")==0) return FUNC_SIZEOF;
16 if(lstrcmpi(FuncName,"VarPtr")==0) return FUNC_VARPTR;
[109]17 if(lstrcmpi(FuncName,"ObjPtr")==0) return FUNC_OBJPTR;
[3]18 if(lstrcmpi(FuncName,"GetDouble")==0) return FUNC_GETDOUBLE;
19 if(lstrcmpi(FuncName,"GetSingle")==0) return FUNC_GETSINGLE;
20 if(lstrcmpi(FuncName,"GetQWord")==0) return FUNC_GETQWORD;
21 if(lstrcmpi(FuncName,"GetDWord")==0) return FUNC_GETDWORD;
22 if(lstrcmpi(FuncName,"GetWord")==0) return FUNC_GETWORD;
23 if(lstrcmpi(FuncName,"GetByte")==0) return FUNC_GETBYTE;
24 return 0;
25}
26
[76]27void Opcode_Func_Fix(const char *lpszParms){
28 Type resultType;
29 if( !NumOpe( lpszParms, Type(), resultType ) ){
30 return;
31 }
[3]32
[76]33 if( resultType.IsDouble() ){
[3]34 //fld qword ptr[esp]
[225]35 compiler.codeGenerator.op_fld_ptr_esp(DEF_DOUBLE);
[3]36
37 //fnstcw word ptr[esp]
38 OpBuffer[obp++]=(char)0xD9;
39 OpBuffer[obp++]=(char)0x3C;
40 OpBuffer[obp++]=(char)0x24;
41
42 //mov ax,word ptr[esp]
43 OpBuffer[obp++]=(char)0x66;
44 OpBuffer[obp++]=(char)0x8B;
45 OpBuffer[obp++]=(char)0x04;
46 OpBuffer[obp++]=(char)0x24;
47
48 //or ah,0Ch
49 OpBuffer[obp++]=(char)0x80;
50 OpBuffer[obp++]=(char)0xCC;
51 OpBuffer[obp++]=(char)0x0C;
52
53 //mov word ptr[esp-2],ax
54 OpBuffer[obp++]=(char)0x66;
55 OpBuffer[obp++]=(char)0x89;
56 OpBuffer[obp++]=(char)0x44;
57 OpBuffer[obp++]=(char)0x24;
58 OpBuffer[obp++]=(char)0xFE;
59
60 //fldcw word ptr[esp-2]
61 OpBuffer[obp++]=(char)0xD9;
62 OpBuffer[obp++]=(char)0x6C;
63 OpBuffer[obp++]=(char)0x24;
64 OpBuffer[obp++]=(char)0xFE;
65
66 //fistp dword ptr[esp+4]
67 OpBuffer[obp++]=(char)0xDB;
68 OpBuffer[obp++]=(char)0x5C;
69 OpBuffer[obp++]=(char)0x24;
70 OpBuffer[obp++]=(char)0x04;
71
72 //fldcw word ptr[esp]
73 OpBuffer[obp++]=(char)0xD9;
74 OpBuffer[obp++]=(char)0x2C;
75 OpBuffer[obp++]=(char)0x24;
76
77 //add esp,4
[225]78 compiler.codeGenerator.op_add_esp(4);
[3]79 }
[76]80 else if( resultType.IsSingle() ){
[3]81 //fld dword ptr[esp]
[225]82 compiler.codeGenerator.op_fld_ptr_esp(DEF_SINGLE);
[3]83
84 //sub esp,4
[225]85 compiler.codeGenerator.op_sub_esp(4);
[3]86
87 //fnstcw word ptr[esp]
88 OpBuffer[obp++]=(char)0xD9;
89 OpBuffer[obp++]=(char)0x3C;
90 OpBuffer[obp++]=(char)0x24;
91
92 //mov ax,word ptr[esp]
93 OpBuffer[obp++]=(char)0x66;
94 OpBuffer[obp++]=(char)0x8B;
95 OpBuffer[obp++]=(char)0x04;
96 OpBuffer[obp++]=(char)0x24;
97
98 //or ah,0Ch
99 OpBuffer[obp++]=(char)0x80;
100 OpBuffer[obp++]=(char)0xCC;
101 OpBuffer[obp++]=(char)0x0C;
102
103 //mov word ptr[esp-2],ax
104 OpBuffer[obp++]=(char)0x66;
105 OpBuffer[obp++]=(char)0x89;
106 OpBuffer[obp++]=(char)0x44;
107 OpBuffer[obp++]=(char)0x24;
108 OpBuffer[obp++]=(char)0xFE;
109
110 //fldcw word ptr[esp-2]
111 OpBuffer[obp++]=(char)0xD9;
112 OpBuffer[obp++]=(char)0x6C;
113 OpBuffer[obp++]=(char)0x24;
114 OpBuffer[obp++]=(char)0xFE;
115
116 //fistp dword ptr[esp+4]
117 OpBuffer[obp++]=(char)0xDB;
118 OpBuffer[obp++]=(char)0x5C;
119 OpBuffer[obp++]=(char)0x24;
120 OpBuffer[obp++]=(char)0x04;
121
122 //fldcw word ptr[esp]
123 OpBuffer[obp++]=(char)0xD9;
124 OpBuffer[obp++]=(char)0x2C;
125 OpBuffer[obp++]=(char)0x24;
126
127 //add esp,4
[225]128 compiler.codeGenerator.op_add_esp(4);
[3]129 }
[76]130 else if( resultType.Is64() ){
[3]131 //pop eax
[225]132 compiler.codeGenerator.op_pop(REG_EAX);
[3]133
134 //add esp,4
[225]135 compiler.codeGenerator.op_add_esp(4);
[3]136
137 //push eax
[225]138 compiler.codeGenerator.op_push(REG_EAX);
[3]139 }
140
141 //pop eax
[225]142 compiler.codeGenerator.op_pop(REG_EAX);
[3]143}
144
[46]145void Opcode_Func_CUDbl(const char *Parameter){
[76]146 Type resultType;
147 if( !NumOpe(Parameter,Type(),resultType) ){
148 return;
149 }
150 ChangeTypeToLong(resultType.GetBasicType());
[3]151
152 //pop eax
[225]153 compiler.codeGenerator.op_pop(REG_EAX);
[3]154
155 //push 0
156 OpBuffer[obp++]=(char)0x6A;
157 OpBuffer[obp++]=(char)0x00;
158
159 //push eax
[225]160 compiler.codeGenerator.op_push(REG_EAX);
[3]161
162 //fild qword ptr[esp]
163 OpBuffer[obp++]=(char)0xDF;
164 OpBuffer[obp++]=(char)0x2C;
165 OpBuffer[obp++]=(char)0x24;
166
167 //add esp,8
[225]168 compiler.codeGenerator.op_add_esp(8);
[3]169}
[46]170void Opcode_Func_Len(const char *Parameter){
[3]171 BOOL bArrayHead;
172
[46]173 const char *tempParm=Parameter;
[3]174 char temporary[VN_SIZE];
175 char temp2[32];
[76]176 Type type;
177 if( !GetVarType(Parameter,type,0) ){
[3]178 sprintf(temporary,"_System_DummyStr2=%s",Parameter);
179 OpcodeCalc(temporary);
180
181 lstrcpy(temp2,"_System_DummyStr2");
182 tempParm=temp2;
183
[193]184 type.SetType( DEF_OBJECT, compiler.GetMeta().GetClasses().GetStringClassPtr() );
[3]185 }
186
[97]187 if( type.IsStringClass() ){
[3]188 //Stringオブジェクトの場合
189 sprintf(temporary,"%s.Length",tempParm);
190
[76]191 int reg=REG_RAX;
192 NumOpe(temporary,Type(),Type());
[3]193
194 //pop eax
[225]195 compiler.codeGenerator.op_pop(REG_EAX);
[3]196
197 return;
198 }
199
[206]200 Subscripts subscripts;
[3]201 RELATIVE_VAR RelativeVar;
[206]202 if(!GetVarOffsetReadOnly(tempParm,&RelativeVar,type,&subscripts)) return;
[3]203
[76]204 if(type.GetBasicType()&FLAG_PTR){
205 type.SetBasicType( type.GetBasicType() & ( ~FLAG_PTR ) );
[3]206
207 bArrayHead=1;
208 }
209 else bArrayHead=0;
210
[76]211 int typeSize = type.GetSize();
[3]212
[206]213 if(bArrayHead) typeSize*=JumpSubScripts(subscripts);
[3]214
215 //mov eax,TypeSize
216 OpBuffer[obp++]=(char)0xB8;
[76]217 *((long *)(OpBuffer+obp))=typeSize;
[3]218 obp+=sizeof(long);
219}
[76]220void Opcode_Func_AddressOf( const char *name ){
[3]221 extern int cp;
[206]222 const UserProc *pUserProc;
[3]223
224 extern LONG_PTR ProcPtr_BaseIndex;
225 if(ProcPtr_BaseIndex!=-1){
226 //左辺の型にのっとり、オーバーロードを解決
227
[206]228 std::vector<const UserProc *> subs;
[50]229 GetOverloadSubHash( name, subs );
230 if( subs.size() == 0 ){
[3]231 SetError(27,name,cp);
232 return;
233 }
234
235 //オーバーロードを解決
[193]236 pUserProc=OverloadSolution(name,subs,compiler.GetMeta().GetProcPointers()[ProcPtr_BaseIndex]->Params(), Type() );
[3]237
[75]238 if(!pUserProc){
[3]239 SetError(27,name,cp);
240 return;
241 }
242 }
243 else{
[75]244 pUserProc=GetSubHash(name);
245 if(!pUserProc){
[3]246 SetError(27,name,cp);
247 return;
248 }
249 }
250
[75]251 if( pUserProc->IsVirtual() ){
[3]252 ///////////////////////////////
253 // 仮想関数の場合
254 // thisポインタをrcxにコピー
255 ///////////////////////////////
256
[114]257 const CClass *pobj_c;
[3]258
259 char ObjectName[VN_SIZE];
260 int RefType;
[28]261 SplitObjectName(name,ObjectName,&RefType);
[3]262
263 if(ObjectName[0]){
264 if(lstrcmpi(ObjectName,"Super")==0) goto InClassMember;
265 else{
266 RELATIVE_VAR RelativeVar;
[76]267 Type type;
268 if(!GetVarOffsetReadOnly(ObjectName,&RelativeVar,type)) return;
[3]269 SetVarPtrToEax(&RelativeVar);
270
271 //mov ecx,eax
[225]272 compiler.codeGenerator.op_mov_RR(REG_ECX,REG_EAX);
[3]273
274 //参照タイプが整合しているかをチェック
[76]275 if(type.GetBasicType()!=RefType) SetError(104,ObjectName,cp);
[3]276
[76]277 if(type.IsObjectPtr()){
[3]278 //mov ecx,dword ptr[ecx]
[225]279 compiler.codeGenerator.op_mov_RM(sizeof(long),REG_ECX,REG_ECX,0,MOD_BASE);
[3]280 }
281 }
282 }
283 else{
284InClassMember:
285 //自身のオブジェクトのThisポインタをrcxにコピー
286 SetThisPtrToReg(REG_RCX);
287
[206]288 pobj_c=compiler.pCompilingClass;
[3]289 }
290
291
292 //仮想関数（オブジェクトメソッド）
293 //pObj->func_table->func1
294 // ->func2
295 // ->func3
296
297 //mov edx,dword ptr[ecx]
298 OpBuffer[obp++]=(char)0x8B;
299 OpBuffer[obp++]=(char)0x11;
300
[75]301 int i2 = pobj_c->GetFuncNumInVtbl( pUserProc );
[3]302
303 //mov eax,dword ptr[edx+func_index]
304 if(i2*PTR_SIZE<=0x7F){
[225]305 compiler.codeGenerator.op_mov_RM(sizeof(long),REG_EAX,REG_EDX,i2*PTR_SIZE,MOD_BASE_DISP8);
[3]306 }
307 else{
[225]308 compiler.codeGenerator.op_mov_RM(sizeof(long),REG_EAX,REG_EDX,i2*PTR_SIZE,MOD_BASE_DISP32);
[3]309 }
310 }
311 else{
312 //一般の関数
313
314 //mov eax,ProcAddr
315 OpBuffer[obp++]=(char)0xB8;
[75]316 pobj_SubAddrSchedule->add(pUserProc,0);
[3]317 obp+=sizeof(long);
318 }
319
[75]320 pUserProc->Using();
[3]321}
[79]322void Opcode_Func_SizeOf( const string &typeName ){
323 Type tempType;
[193]324 if( !Compiler::StringToType( typeName, tempType ) ){
[79]325 SetError(3,typeName,cp);
326 return;
[3]327 }
328
[79]329 int typeSize = ( tempType.IsObject() ) ?
330 tempType.GetClass().GetSize() : tempType.GetSize();
331
[3]332 //mov eax,size
[225]333 compiler.codeGenerator.op_mov_RV( REG_EAX, typeSize );
[3]334}
[76]335void Opcode_Func_VarPtr( const char *Parameter, Type &resultType, bool isCallOn ){
336 if( isCallOn == false ){
337 // 戻り値の型を取得するだけ
338
339 //変数のアドレスを取得
340 if(!GetVarType( Parameter, resultType, true )) return;
341
342 resultType.PtrLevelUp();
343
344 return;
345 }
346
[3]347 RELATIVE_VAR RelativeVar;
348
349 //変数のアドレスを取得
[76]350 if(!GetVarOffsetReadOnly( Parameter, &RelativeVar, resultType )) return;
[3]351
[76]352 int beforeType = resultType.GetBasicType();
[64]353
[76]354 resultType.PtrLevelUp();
[46]355
[3]356 SetVarPtrToEax(&RelativeVar);
[64]357
[109]358 // TODO: 取り除く（この動きはObjPtrに託す）
[130]359 /*
[64]360 if( beforeType == DEF_OBJECT && lstrcmpi( Parameter, "This" ) != 0 ){
361 //参照をオブジェクトポインタに変更
362
363 //mov eax,dword ptr[eax]
[225]364 compiler.codeGenerator.op_mov_RM( sizeof(long), REG_EAX, REG_EAX, 0, MOD_BASE );
[110]365
366 SetError(-120,NULL,cp);
[130]367 }*/
[3]368}
[109]369void Opcode_Func_ObjPtr( const char *Parameter, Type &resultType, bool isCallOn ){
370 if( isCallOn == false ){
371 // 戻り値の型を取得するだけ
372
373 //変数のアドレスを取得
374 if(!GetVarType( Parameter, resultType, true )) return;
375
376 resultType.PtrLevelUp();
377
378 return;
379 }
380
381 RELATIVE_VAR RelativeVar;
382
383 //変数のアドレスを取得
384 if(!GetVarOffsetReadOnly( Parameter, &RelativeVar, resultType )) return;
385
386 int beforeType = resultType.GetBasicType();
387
388 resultType.PtrLevelUp();
389
390 SetVarPtrToEax(&RelativeVar);
391
[111]392 if( lstrcmpi( Parameter, "This" )==0 ){
393 // Thisの場合は特別にオブジェクトポインタが返ってくるので、何もせずに抜ける
394 }
395 else if( beforeType == DEF_OBJECT ){
[109]396 //参照をオブジェクトポインタに変更
397
398 //mov eax,dword ptr[eax]
[225]399 compiler.codeGenerator.op_mov_RM( sizeof(long), REG_EAX, REG_EAX, 0, MOD_BASE );
[109]400 }
401 else{
402 SetError(134,NULL,cp );
403 }
404}
[46]405void Opcode_Func_GetPtrData(const char *Parameter,const int type){
[76]406 Type tempType;
407 if( !NumOpe(Parameter,Type(),tempType) ){
408 return;
409 }
410 if(!tempType.IsWhole()){
411 SetError(11,Parameter,cp);
412 return;
413 }
414 ChangeTypeToLong(tempType.GetBasicType());
[3]415
416 if(type==DEF_DOUBLE){
417 //pop eax
[225]418 compiler.codeGenerator.op_pop(REG_EAX);
[3]419
420 //fld qword ptr[eax]
421 OpBuffer[obp++]=(char)0xDD;
422 OpBuffer[obp++]=(char)0x00;
423 }
424 else if(type==DEF_SINGLE||type==DEF_DWORD){
425 //pop eax
[225]426 compiler.codeGenerator.op_pop(REG_EAX);
[3]427
428 //mov eax,dword ptr[eax]
429 OpBuffer[obp++]=(char)0x8B;
430 OpBuffer[obp++]=(char)0x00;
431 }
432 else if(type==DEF_QWORD){
433 //pop ecx
[225]434 compiler.codeGenerator.op_pop(REG_ECX);
[3]435
436 //mov eax,dword ptr[ecx]
[225]437 compiler.codeGenerator.op_mov_RM(sizeof(long),REG_EAX,REG_ECX,0,MOD_BASE);
[3]438
439 //mov edx,dword ptr[ecx+sizeof(long)]
[225]440 compiler.codeGenerator.op_mov_RM(sizeof(long),REG_EDX,REG_ECX,sizeof(long),MOD_BASE_DISP8);
[3]441 }
442 else if(type==DEF_WORD){
443 //pop ebx
[225]444 compiler.codeGenerator.op_pop(REG_EBX);
[3]445
446 //xor eax,eax
[227]447 compiler.codeGenerator.op_xor_RR(REG_EAX);
[3]448
449 //mov ax,word ptr[ebx]
450 OpBuffer[obp++]=(char)0x66;
451 OpBuffer[obp++]=(char)0x8B;
452 OpBuffer[obp++]=(char)0x03;
453 }
454 else if(type==DEF_BYTE){
455 //pop ebx
[225]456 compiler.codeGenerator.op_pop(REG_EBX);
[3]457
458 //xor eax,eax
[227]459 compiler.codeGenerator.op_xor_RR(REG_EAX);
[3]460
461 //mov al,byte ptr[ebx]
462 OpBuffer[obp++]=(char)0x8A;
463 OpBuffer[obp++]=(char)0x03;
464 }
465}
466
[76]467bool Opcode_CallFunc( const char *Parameter, const int FuncNum, Type &resultType, bool isCallOn ){
[3]468 switch(FuncNum){
469 case FUNC_FIX:
[76]470 if( isCallOn ) Opcode_Func_Fix(Parameter);
471 resultType.SetBasicType( DEF_LONG );
[46]472 break;
[3]473 case FUNC_CUDBL:
[76]474 if( isCallOn ) Opcode_Func_CUDbl(Parameter);
475 resultType.SetBasicType( DEF_DOUBLE );
[46]476 break;
[3]477 case FUNC_LEN:
[76]478 if( isCallOn ) Opcode_Func_Len(Parameter);
479 resultType.SetBasicType( DEF_LONG );
[46]480 break;
[3]481 case FUNC_ADDRESSOF:
[76]482 if( isCallOn ) Opcode_Func_AddressOf(Parameter);
483 resultType.SetBasicType( DEF_PTR_VOID );
[46]484 break;
[3]485 case FUNC_SIZEOF:
[76]486 if( isCallOn ) Opcode_Func_SizeOf(Parameter);
487 resultType.SetBasicType( DEF_LONG );
[46]488 break;
[3]489 case FUNC_VARPTR:
[76]490 Opcode_Func_VarPtr( Parameter, resultType, isCallOn );
[46]491 break;
[109]492 case FUNC_OBJPTR:
493 Opcode_Func_ObjPtr( Parameter, resultType, isCallOn );
494 break;
[3]495
496 case FUNC_GETDOUBLE:
[76]497 if( isCallOn ) Opcode_Func_GetPtrData(Parameter,DEF_DOUBLE);
498 resultType.SetBasicType( DEF_DOUBLE );
[46]499 break;
[3]500 case FUNC_GETSINGLE:
[76]501 if( isCallOn ) Opcode_Func_GetPtrData(Parameter,DEF_SINGLE);
502 resultType.SetBasicType( DEF_SINGLE );
[46]503 break;
[3]504 case FUNC_GETQWORD:
[76]505 if( isCallOn ) Opcode_Func_GetPtrData(Parameter,DEF_QWORD);
506 resultType.SetBasicType( DEF_QWORD );
[46]507 break;
[3]508 case FUNC_GETDWORD:
[76]509 if( isCallOn ) Opcode_Func_GetPtrData(Parameter,DEF_DWORD);
510 resultType.SetBasicType( DEF_DWORD );
[46]511 break;
[3]512 case FUNC_GETWORD:
[76]513 if( isCallOn ) Opcode_Func_GetPtrData(Parameter,DEF_WORD);
514 resultType.SetBasicType( DEF_WORD );
[46]515 break;
[3]516 case FUNC_GETBYTE:
[76]517 if( isCallOn ) Opcode_Func_GetPtrData(Parameter,DEF_BYTE);
518 resultType.SetBasicType( DEF_BYTE );
[46]519 break;
[76]520 default:
521 return false;
[3]522 }
[76]523 return true;
[3]524}
Note: See TracBrowser for help on using the repository browser.