source: dev/trunk/ab5.0/abdev/compiler_x86/Compile_Set_Var.cpp@ 797

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

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