source: dev/trunk/abdev/BasicCompiler32/Compile_Set_Var.cpp@ 225

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

CodeGeneratorクラスのベースを実装
File size: 9.9 KB
RevLine 
[206]1#include "stdafx.h"
2
[183]3#include <jenga/include/smoothie/Smoothie.h>
4
[225]5#include <Compiler.h>
6
[3]7#include "../BasicCompiler_Common/common.h"
8#include "Opcode.h"
9
10BOOL IsUse_ecx(RELATIVE_VAR *pRelativeVar){
11 if(pRelativeVar->bOffsetOffset||pRelativeVar->dwKind==VAR_DIRECTMEM) return 1;
12 return 0;
13}
14
[75]15void SetStructVariable( const Type &varType, const Type &calcType, BOOL bUseHeap){
16 if( calcType.IsStruct() ){
17 if( varType.GetClass().IsEquals( &calcType.GetClass() ) ){ //等しい
[3]18
[28]19 //双方のオブジェクト型が一致、または派生・継承関係にあるとき
20 //※コピーを行う
[3]21
[75]22 int object_size = varType.GetClass().GetSize();
[3]23
[28]24 //mov ecx,object_size
[225]25 compiler.codeGenerator.op_mov_RV(REG_ECX,object_size);
[3]26
[28]27 //pop esi
[225]28 compiler.codeGenerator.op_pop(REG_ESI);
[3]29
[28]30 //pop edi
[225]31 compiler.codeGenerator.op_pop(REG_EDI);
[28]32
33 if(bUseHeap){
34 //mov eax,esi
[225]35 compiler.codeGenerator.op_mov_RR(REG_EAX,REG_ESI);
[28]36 }
37
38 //rep movs byte ptr[edi],byte ptr[esi]
[225]39 compiler.codeGenerator.op_rep_movs(sizeof(BYTE));
[28]40
41 if(bUseHeap){
42 //push eax
[225]43 compiler.codeGenerator.op_push(REG_EAX);
[28]44
45 //call free
[206]46 extern const UserProc *pSub_free;
[225]47 compiler.codeGenerator.op_call(pSub_free);
[28]48 }
49
50 return;
[3]51 }
[28]52 }
[3]53
[28]54 SetError(1,NULL,cp);
[3]55}
56
[64]57
58void SetRealVariable(int VarType,int CalcType,RELATIVE_VAR *pRelativeVar){
59 if( !IsRealNumberType( CalcType ) ){
60 // 実数へ変換
61 // 64bit edx:eax -> st(0)
62 // 32bit eax -> st(0)
63
64 if( Is64Type( CalcType ) ){
65 //64ビット整数型
66
67 //push edx
[225]68 compiler.codeGenerator.op_push( REG_EDX );
[64]69
70 //push eax
[225]71 compiler.codeGenerator.op_push( REG_EAX );
[64]72
73 //fild qword ptr[esp]
[225]74 compiler.codeGenerator.op_fld_ptr_esp(DEF_INT64);
[64]75
76 //pop
[225]77 compiler.codeGenerator.op_pop( REG_NON );
[64]78
79 //pop
[225]80 compiler.codeGenerator.op_pop( REG_NON );
[64]81 }
82 else{
83 //push eax
[225]84 compiler.codeGenerator.op_push( REG_EAX );
[64]85
86 //fild qword ptr[esp]
[225]87 compiler.codeGenerator.op_fld_ptr_esp(DEF_LONG);
[64]88
89 //pop
[225]90 compiler.codeGenerator.op_pop( REG_NON );
[64]91 }
92 }
93
94 if(pRelativeVar->dwKind==VAR_GLOBAL){
95 if(pRelativeVar->bOffsetOffset){
96 //fstp ptr[ecx+offset]
[225]97 compiler.codeGenerator.op_fstp_base_offset(VarType,REG_ECX,(int)pRelativeVar->offset);
[64]98 obp-=sizeof(long);
99 pobj_GlobalVarSchedule->add();
100 obp+=sizeof(long);
101 }
102 else{
103 //mov ecx,offset
[225]104 compiler.codeGenerator.op_mov_RV(REG_ECX,(int)pRelativeVar->offset);
[64]105 obp-=sizeof(long);
106 pobj_GlobalVarSchedule->add();
107 obp+=sizeof(long);
108
109 //fstp ptr[ecx]
[225]110 compiler.codeGenerator.op_fstp_basereg(VarType,REG_ECX);
[64]111 }
112 }
113 else if(pRelativeVar->dwKind==VAR_REFGLOBAL){
114 if(pRelativeVar->bOffsetOffset){
115 //add ecx,qword ptr[offset]
[225]116 compiler.codeGenerator.op_add_RM(sizeof(long),REG_ECX,REG_NON,(int)pRelativeVar->offset,MOD_DISP32);
[64]117 }
118 else{
119 //mov ecx,qword ptr[offset]
[225]120 compiler.codeGenerator.op_mov_RM(sizeof(long),REG_ECX,REG_NON,(int)pRelativeVar->offset,MOD_DISP32);
[64]121 }
122 obp-=sizeof(long);
123 pobj_GlobalVarSchedule->add();
124 obp+=sizeof(long);
125
126 goto directmem;
127 }
128 else if(pRelativeVar->dwKind==VAR_LOCAL){
129 if(pRelativeVar->bOffsetOffset){
130 //fstp ptr[ebp+ecx+offset]
[225]131 compiler.codeGenerator.op_fstp_base_offset_ex(VarType,REG_EBP,REG_ECX,(int)pRelativeVar->offset,USE_OFFSET);
[64]132 }
133 else{
134 //fstp ptr[ebp+offset]
[225]135 compiler.codeGenerator.op_fstp_base_offset(VarType,REG_EBP,(int)pRelativeVar->offset);
[64]136 }
137 obp-=sizeof(long);
138 AddLocalVarAddrSchedule();
139 obp+=sizeof(long);
140 }
141 else if(pRelativeVar->dwKind==VAR_REFLOCAL){
142 if(pRelativeVar->bOffsetOffset){
143 //add ecx,qword ptr[ebp+offset]
[225]144 compiler.codeGenerator.op_add_RM(sizeof(long),REG_ECX,REG_EBP,(int)pRelativeVar->offset,MOD_BASE_DISP32);
[64]145 }
146 else{
147 //mov ecx,qword ptr[ebp+offset]
[225]148 compiler.codeGenerator.op_mov_RM(sizeof(long),REG_ECX,REG_EBP,(int)pRelativeVar->offset,MOD_BASE_DISP32);
[64]149 }
150 obp-=sizeof(long);
151 AddLocalVarAddrSchedule();
152 obp+=sizeof(long);
153
154 goto directmem;
155 }
156 else if(pRelativeVar->dwKind==VAR_DIRECTMEM){
157directmem:
158 //fstp ptr[ecx]
[225]159 compiler.codeGenerator.op_fstp_basereg(VarType,REG_ECX);
[64]160 }
161}
162
163void SetBooleanVariable(int type,RELATIVE_VAR *pRelative){
164 if(type==DEF_DOUBLE){
165 // TODO: 実装
166 SetError();
167 }
168 else if(type==DEF_SINGLE){
169 // TODO: 実装
170 SetError();
171 }
172 else if(type==DEF_INT64||type==DEF_QWORD){
173 //cmp eax,0
[225]174 compiler.codeGenerator.op_cmp_value(GetTypeSize(type,-1),REG_EAX,0);
[64]175
176 //setne al
[225]177 compiler.codeGenerator.op_setne( REG_EAX );
[64]178
179 //cmp edx,0
[225]180 compiler.codeGenerator.op_cmp_value(GetTypeSize(type,-1),REG_EDX,0);
[64]181
182 //setne cl
[225]183 compiler.codeGenerator.op_setne( REG_ECX );
[64]184
185 //or al,cl
[225]186 compiler.codeGenerator.op_or_RR( sizeof( _int8 ), REG_EAX, REG_ECX );
[64]187 }
188 else{
189 if(!IsWholeNumberType(type)){
190 //不正な型の場合
191 SetError(9,NULL,cp);
192 return;
193 }
194 }
195
196 //cmp eax,0
[225]197 compiler.codeGenerator.op_cmp_value(GetTypeSize(type,-1),REG_EAX,0);
[64]198
199 //setne al
[225]200 compiler.codeGenerator.op_setne( REG_EAX );
[64]201
202 SetWholeVariable( sizeof(char), DEF_BYTE, pRelative );
203}
204
205void ExtendTypeTo32(int type,int reg);
206void ExtendTypeTo64(int type){
207 if(Is64Type(type)) return;
208
209 ExtendTypeTo32(type,REG_EAX);
210
211 if(IsSignedType(type)){
212 //cdq
[225]213 compiler.codeGenerator.op_cdq();
[64]214 }
215 else{
216 //xor edx,edx
[225]217 compiler.codeGenerator.op_zero_reg(REG_EDX);
[64]218 }
219}
220void ExtendTypeTo32(int type,int reg){
[183]221 if(type==DEF_INTEGER || (Smoothie::IsUnicode()&&type==DEF_CHAR)){
[64]222 //movsx reg32,reg16
[225]223 compiler.codeGenerator.op_movsx_R32R16(reg,reg);
[64]224 }
225 else if(type==DEF_WORD){
226 //and reg,0000FFFFh
[225]227 compiler.codeGenerator.op_and_RV(reg,(int)0x0000FFFF);
[64]228 }
[183]229 else if(type==DEF_SBYTE || (Smoothie::IsUnicode()==false&&type==DEF_CHAR)){
[64]230 //movsx reg32,reg8
[225]231 compiler.codeGenerator.op_movsx_R32R8(reg,reg);
[64]232 }
233 else if(type==DEF_BYTE||type==DEF_BOOLEAN){
234 //and reg,000000FFh
[225]235 compiler.codeGenerator.op_and_RV(reg,(int)0xFF);
[64]236 }
237}
238void ExtendTypeTo16(int type,int reg){
[183]239 if(type==DEF_SBYTE || (Smoothie::IsUnicode()==false&&type==DEF_CHAR)){
[64]240 //movsx reg16,reg8
[225]241 compiler.codeGenerator.op_movsx_R16R8(reg,reg);
[64]242 }
243 else if(type==DEF_BYTE||type==DEF_BOOLEAN){
244 //and reg,000000FFh
[225]245 compiler.codeGenerator.op_and_RV(reg,(int)0xFF);
[64]246 }
247}
248
[66]249void SetWholeVariable(int varSize,int calcType,RELATIVE_VAR *pRelative){
250 if( IsRealNumberType( calcType ) ){
251 // 実数型から整数型へ変換する
[64]252
[66]253 if( varSize == sizeof(_int64) ){
254 // 64bitへ
255 // st(0) -> edx:eax
256 breakpoint;
[64]257
[66]258 //push
259 //push
[225]260 compiler.codeGenerator.op_sub_esp( PTR_SIZE * 2 );
[66]261
262 //fistp qword ptr[esp]
[225]263 compiler.codeGenerator.op_fistp_ptr_esp( sizeof(_int64) );
[66]264
265 //pop eax
[225]266 compiler.codeGenerator.op_pop( REG_EAX );
[66]267
268 //pop edx
[225]269 compiler.codeGenerator.op_pop( REG_EDX );
[66]270 }
271 else{
272 // 32bit
273 // st(0) -> eax
274
275 //push
[225]276 compiler.codeGenerator.op_push( REG_NON );
[66]277
278 //fistp dword ptr[esp]
[225]279 compiler.codeGenerator.op_fistp_ptr_esp( sizeof(long) );
[66]280
281 //pop eax
[225]282 compiler.codeGenerator.op_pop( REG_EAX );
[66]283 }
[64]284 }
285 else{
286 //その他の整数
287
[66]288 if(varSize==sizeof(_int64)){
[64]289 //eaxの値を64ビット（edx:eax）に拡張する
[66]290 ExtendTypeTo64(calcType);
[64]291 }
[66]292 else if(varSize==sizeof(long)){
[64]293 //レジスタの値を32ビット（eax）に拡張する
[66]294 ExtendTypeTo32(calcType,REG_EAX);
[64]295 }
[66]296 else if(varSize==sizeof(short)){
[64]297 //レジスタの値を16ビット（ax）に拡張する
[66]298 ExtendTypeTo16(calcType,REG_EAX);
[64]299 }
300 //8ビットは拡張なし
301 }
302
[66]303 if(varSize==sizeof(_int64)){
[64]304 //下位32ビット
305 SetWholeVariable(sizeof(long),DEF_LONG,pRelative);
306
[66]307 //上位32ビット
308
309 //直接参照に切り替え
310 SetVarPtrToEax(pRelative);
311 pRelative->dwKind=VAR_DIRECTMEM;
312
313 //mov ecx,eax
[225]314 compiler.codeGenerator.op_mov_RR( REG_ECX, REG_EAX );
[66]315
316 //add ecx,sizeof(long)
[225]317 compiler.codeGenerator.op_add_RV8( REG_ECX, sizeof(long) );
[66]318
[64]319 //mov eax,edx
[225]320 compiler.codeGenerator.op_mov_RR( REG_EAX, REG_EDX );
[64]321
322 SetWholeVariable(sizeof(long),DEF_LONG,pRelative);
323
324 return;
325 }
326
327 if(pRelative->dwKind==VAR_GLOBAL){
328 if(pRelative->bOffsetOffset){
329 //mov ptr[ecx+offset],eax/ax/al
[225]330 compiler.codeGenerator.op_mov_MR(varSize,REG_EAX,REG_ECX,(int)pRelative->offset,MOD_BASE_DISP32);
[64]331 }
332 else{
333 //mov ptr[offset],eax/ax/al
[225]334 compiler.codeGenerator.op_mov_MR(varSize,REG_EAX,0,(int)pRelative->offset,MOD_DISP32);
[64]335 }
336 obp-=sizeof(long);
337 pobj_GlobalVarSchedule->add();
338 obp+=sizeof(long);
339 }
340 else if(pRelative->dwKind==VAR_REFGLOBAL){
[121]341 // 今は使われていない
342 SetError();
343
[64]344 if(pRelative->bOffsetOffset){
345 //add ecx,qword ptr[offset]
[225]346 compiler.codeGenerator.op_add_RM(varSize,REG_ECX,REG_NON,(int)pRelative->offset,MOD_DISP32);
[64]347 }
348 else{
349 //mov ecx,qword ptr[offset]
[225]350 compiler.codeGenerator.op_mov_RM(varSize,REG_ECX,REG_NON,(int)pRelative->offset,MOD_DISP32);
[64]351 }
352 obp-=sizeof(long);
353 pobj_GlobalVarSchedule->add();
354 obp+=sizeof(long);
355
356 goto directmem;
357 }
358 else if(pRelative->dwKind==VAR_LOCAL){
359 if(pRelative->bOffsetOffset){
360 //mov ptr[ebp+ecx+offset],eax/ax/al
[225]361 compiler.codeGenerator.op_mov_MR_ex(varSize,REG_EAX,REG_EBP,REG_ECX,(int)pRelative->offset,USE_OFFSET);
[64]362 }
363 else{
364 //mov ptr[ebp+offset],eax/ax/al
[225]365 compiler.codeGenerator.op_mov_MR(varSize,REG_EAX,REG_EBP,(int)pRelative->offset,MOD_BASE_DISP32);
[64]366 }
367 obp-=sizeof(long);
368 AddLocalVarAddrSchedule();
369 obp+=sizeof(long);
370 }
371 else if(pRelative->dwKind==VAR_REFLOCAL){
372 if(pRelative->bOffsetOffset){
[121]373 //add ecx,ptr[ebp+offset]
[225]374 compiler.codeGenerator.op_add_RM(PTR_SIZE,REG_ECX,REG_EBP,(int)pRelative->offset,MOD_BASE_DISP32);
[64]375 }
376 else{
[121]377 //mov ecx,ptr[ebp+offset]
[225]378 compiler.codeGenerator.op_mov_RM(PTR_SIZE,REG_ECX,REG_EBP,(int)pRelative->offset,MOD_BASE_DISP32);
[64]379 }
380 obp-=sizeof(long);
381 AddLocalVarAddrSchedule();
382 obp+=sizeof(long);
383
384 goto directmem;
385 }
386 else if(pRelative->dwKind==VAR_DIRECTMEM){
387directmem:
388
389 //mov ptr[ecx],eax/ax/al
[225]390 compiler.codeGenerator.op_mov_MR(varSize,REG_EAX,REG_ECX,0,MOD_BASE);
[64]391 }
392}
Note: See TracBrowser for help on using the repository browser.