source: dev/BasicCompiler64/Compile_ProcOp.cpp@ 28

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

・【32ビットコンパイラ】戻り値に実態オブジェクトを持つインデクサを呼び出すと強制終了してしまうバグを修正。
・仮想関数のオーバーロードが正常に動作しないバグを修正。
・純仮想関数（抽象メソッド）が仮想関数でオーバーロードされていると、クラスのインスタンスが生成できてしまうバグを修正。
File size: 27.0 KB
Line 
1#include "../BasicCompiler_Common/common.h"
2#include "Opcode.h"
3
4void SystemProc(char *name){
5 if(lstrcmp(name,"_System_GetEip")==0){
6 //mov rax,qword ptr[rsp]
7 op_mov_RM(sizeof(_int64),REG_RAX,REG_RSP,0,MOD_BASE);
8
9 //ret
10 OpBuffer[obp++]=(char)0xC3;
11 }
12 else if(lstrcmp(name,"_System_InitDllGlobalVariables")==0){
13 ////////////////////////////////////////
14 // DLLのグローバル領域をコンパイル
15 ////////////////////////////////////////
16 extern BOOL bDll;
17 if(!bDll){
18 //ret
19 OpBuffer[obp++]=(char)0xC3;
20
21 return;
22 }
23
24 extern BOOL bCompilingGlobal;
25 BOOL bBackCompilingGlobal;
26 bBackCompilingGlobal=bCompilingGlobal;
27 bCompilingGlobal=1;
28
29 int BackCp;
30 BackCp=cp;
31 cp=-1;
32
33 //sub rsp,スタックフレームサイズ
34 int StackFrameSchedule;
35 op_sub_rsp(0xFFFFFFFF);
36 StackFrameSchedule=obp-sizeof(long);
37
38 extern BOOL bDebugCompile;
39 if(bDebugCompile){
40 //デバッグ用の変数を定義
41 DebugVariable();
42 }
43
44 //GC用の変数を定義
45 InitGCVariables();
46
47 GetGlobalDataForDll();
48
49 //add rsp,スタックフレームサイズ
50 op_add64_value(REG_RSP,pobj_sf->GetFrameSize());
51
52 //スタックフレームスケジュール（subコマンドに渡す値）
53 *((long *)(OpBuffer+StackFrameSchedule))=pobj_sf->GetFrameSize();
54
55 bCompilingGlobal=bBackCompilingGlobal;
56 cp=BackCp;
57
58 //ret
59 OpBuffer[obp++]=(char)0xC3;
60 }
61 else if(lstrcmp(name,"_System_InitStaticLocalVariables")==0){
62 //静的ローカルオブジェクトのコンストラクタ呼び出し
63
64 //sub rsp,スタックフレームサイズ
65 int StackFrameSchedule;
66 op_sub_rsp(0xFFFFFFFF);
67 StackFrameSchedule=obp-sizeof(long);
68
69 extern int MaxGlobalVarNum;
70 extern VARIABLE *GlobalVar;
71 int i;
72 for(i=0;i<MaxGlobalVarNum;i++){
73 if(memicmp(GlobalVar[i].name,"Static%",7)==0){
74 //コンストラクタ呼び出し
75 if(GlobalVar[i].type==DEF_OBJECT){
76
77 //エラー用
78 cp=GlobalVar[i].source_code_address;
79
80 TYPEINFO TypeInfo;
81 TypeInfo.type=GlobalVar[i].type;
82 TypeInfo.u.lpIndex=GlobalVar[i].u.index;
83 CallConstractor(
84 GlobalVar[i].name,
85 GlobalVar[i].SubScripts,
86 TypeInfo,
87 GlobalVar[i].ConstractParameter);
88 }
89 }
90 }
91
92 //add rsp,スタックフレームサイズ
93 op_add64_value(REG_RSP,pobj_sf->GetFrameSize());
94
95 //スタックフレームスケジュール（subコマンドに渡す値）
96 *((long *)(OpBuffer+StackFrameSchedule))=pobj_sf->GetFrameSize();
97
98 //ret
99 OpBuffer[obp++]=(char)0xC3;
100 }
101 else if(lstrcmp(name,"_System_Call_Destructor_of_GlobalObject")==0){
102 //sub rsp,8（※RSPを16バイト境界にあわせるため）
103 op_sub_rsp(0x8);
104
105
106 extern BOOL bCompilingGlobal;
107 BOOL bBackCompilingGlobal;
108 bBackCompilingGlobal=bCompilingGlobal;
109 bCompilingGlobal=1;
110
111 CallDestrouctorsOfScope();
112
113 bCompilingGlobal=bBackCompilingGlobal;
114
115
116 //add rsp,8
117 op_add64_value(REG_RSP,0x8);
118
119 //ret
120 OpBuffer[obp++]=(char)0xC3;
121 }
122 else if(lstrcmp(name,"_System_GetSp")==0){
123 //mov rax,rsp
124 op_mov_RR(REG_RAX,REG_RSP);
125
126 //add rax,PTR_SIZE
127 op_add64_value(REG_RAX,PTR_SIZE);
128
129 //ret
130 OpBuffer[obp++]=(char)0xC3;
131 }
132 else if(lstrcmp(name,"_allrem")==0){
133 //乗除演算用の特殊関数（64ビット整数対応）
134 BYTE Buffer_allrem[]={
135 0x53,0x57,0x33,0xFF,0x8B,0x44,0x24,0x10,0x0B,0xC0,0x7D,0x14,0x47,0x8B,0x54,0x24,0x0C,0xF7,0xD8,0xF7,0xDA,0x83,0xD8,0x00,0x89,0x44,0x24,0x10,0x89,0x54,0x24,0x0C,0x8B,0x44,0x24,0x18,0x0B,0xC0,0x7D,0x13,0x8B,0x54,0x24,0x14,0xF7,0xD8,0xF7,0xDA,0x83,0xD8,0x00,0x89,0x44,0x24,0x18,0x89,0x54,0x24,0x14,0x0B,0xC0,0x75,0x1B,0x8B,0x4C,0x24,0x14,0x8B,0x44,0x24,0x10,0x33,0xD2,0xF7,0xF1,0x8B,0x44,0x24,0x0C,0xF7,0xF1,0x8B,0xC2,0x33,0xD2,0x4F,0x79,0x4E,0xEB,0x53,0x8B,0xD8,0x8B,0x4C,0x24,0x14,0x8B,0x54,0x24,0x10,0x8B,0x44,0x24,0x0C,0xD1,0xEB,0xD1,0xD9,0xD1,0xEA,0xD1,0xD8,0x0B,0xDB,0x75,0xF4,0xF7,0xF1,0x8B,0xC8,0xF7,0x64,0x24,0x18,0x91,0xF7,0x64,0x24,0x14,0x03,0xD1,0x72,0x0E,0x3B,0x54,0x24,0x10,0x77,0x08,0x72,0x0E,0x3B,0x44,0x24,0x0C,0x76,0x08,0x2B,0x44,0x24,0x14,0x1B,0x54,0x24,0x18,0x2B,0x44,0x24,0x0C,0x1B,0x54,0x24,0x10,0x4F,0x79,0x07,0xF7,0xDA,0xF7,0xD8,0x83,0xDA,0x00,0x5F,0x5B,0xC2,0x10,0x00
136 };
137
138 memcpy(OpBuffer+obp,Buffer_allrem,178);
139 obp+=178;
140 }
141 else if(lstrcmp(name,"_allmul")==0){
142 //乗算用の特殊関数（64ビット整数対応）
143 BYTE Buffer_allmul[]={
144 0x8B,0x44,0x24,0x08,0x8B,0x4C,0x24,0x10,0x0B,0xC8,0x8B,0x4C,0x24,0x0C,0x75,0x09,0x8B,0x44,0x24,0x04,0xF7,0xE1,0xC2,0x10,0x00,0x53,0xF7,0xE1,0x8B,0xD8,0x8B,0x44,0x24,0x08,0xF7,0x64,0x24,0x14,0x03,0xD8,0x8B,0x44,0x24,0x08,0xF7,0xE1,0x03,0xD3,0x5B,0xC2,0x10,0x00
145 };
146
147 memcpy(OpBuffer+obp,Buffer_allmul,52);
148 obp+=52;
149 }
150 else if(lstrcmp(name,"_alldiv")==0){
151 //除算用の特殊関数（64ビット整数対応）
152 BYTE Buffer_alldiv[]={
153 0x57,0x56,0x53,0x33,0xFF,0x8B,0x44,0x24,0x14,0x0B,0xC0,0x7D,0x14,0x47,0x8B,0x54,0x24,0x10,0xF7,0xD8,0xF7,0xDA,0x83,0xD8,0x00,0x89,0x44,0x24,0x14,0x89,0x54,0x24,0x10,0x8B,0x44,0x24,0x1C,0x0B,0xC0,0x7D,0x14,0x47,0x8B,0x54,0x24,0x18,0xF7,0xD8,0xF7,0xDA,0x83,0xD8,0x00,0x89,0x44,0x24,0x1C,0x89,0x54,0x24,0x18,0x0B,0xC0,0x75,0x18,0x8B,0x4C,0x24,0x18,0x8B,0x44,0x24,0x14,0x33,0xD2,0xF7,0xF1,0x8B,0xD8,0x8B,0x44,0x24,0x10,0xF7,0xF1,0x8B,0xD3,0xEB,0x41,0x8B,0xD8,0x8B,0x4C,0x24,0x18,0x8B,0x54,0x24,0x14,0x8B,0x44,0x24,0x10,0xD1,0xEB,0xD1,0xD9,0xD1,0xEA,0xD1,0xD8,0x0B,0xDB,0x75,0xF4,0xF7,0xF1,0x8B,0xF0,0xF7,0x64,0x24,0x1C,0x8B,0xC8,0x8B,0x44,0x24,0x18,0xF7,0xE6,0x03,0xD1,0x72,0x0E,0x3B,0x54,0x24,0x14,0x77,0x08,0x72,0x07,0x3B,0x44,0x24,0x10,0x76,0x01,0x4E,0x33,0xD2,0x8B,0xC6,0x4F,0x75,0x07,0xF7,0xDA,0xF7,0xD8,0x83,0xDA,0x00,0x5B,0x5E,0x5F,0xC2,0x10,0x00
154 };
155
156 memcpy(OpBuffer+obp,Buffer_alldiv,170);
157 obp+=170;
158 }
159 else if(lstrcmp(name,"_allshl")==0){
160 //符号あり左ビットシフト用の特殊関数（64ビット整数対応）
161 BYTE Buffer_allshl[]={
162 0x80,0xF9,0x40,0x73,0x15,0x80,0xF9,0x20,0x73,0x06,0x0F,0xA5,0xC2,0xD3,0xE0,0xC3,0x8B,0xD0,0x33,0xC0,0x80,0xE1,0x1F,0xD3,0xE2,0xC3,0x33,0xC0,0x33,0xD2,0xC3
163 };
164
165 memcpy(OpBuffer+obp,Buffer_allshl,31);
166 obp+=31;
167 }
168 else if(lstrcmp(name,"_allshr")==0){
169 //符号あり右ビットシフト用の特殊関数（64ビット整数対応）
170 BYTE Buffer_allshr[]={
171 0x80,0xF9,0x40,0x73,0x16,0x80,0xF9,0x20,0x73,0x06,0x0F,0xAD,0xD0,0xD3,0xFA,0xC3,0x8B,0xC2,0xC1,0xFA,0x1F,0x80,0xE1,0x1F,0xD3,0xF8,0xC3,0xC1,0xFA,0x1F,0x8B,0xC2,0xC3
172 };
173
174 memcpy(OpBuffer+obp,Buffer_allshr,33);
175 obp+=33;
176 }
177 else if(lstrcmp(name,"_aullshr")==0){
178 //符号なし右ビットシフト用の特殊関数（64ビット整数対応）
179 BYTE Buffer_aullshr[]={
180 0x80,0xF9,0x40, //cmp cl,40h
181 0x73,0x15, //jae RETZERO (0040d71a)
182 0x80,0xF9,0x20, //cmp cl,20h
183 0x73,0x06, //jae MORE32 (0040d710)
184 0x0F,0xAD,0xD0, //shrd eax,edx,cl
185 0xD3,0xEA, //shr edx,cl
186 0xC3, //ret
187 //MORE32:
188 0x8B,0xC2, //mov eax,edx
189 0x33,0xD2, //xor edx,edx
190 0x80,0xE1,0x1F, //and cl,1Fh
191 0xD3,0xE8, //shr eax,cl
192 0xC3, //ret
193 //RETZERO:
194 0x33,0xC0, //xor eax,eax
195 0x33,0xD2, //xor edx,edx
196 0xC3 //ret
197 };
198
199 memcpy(OpBuffer+obp,Buffer_aullshr,31);
200 obp+=31;
201 }
202}
203void CompileBufferInProcedure(SUBINFO *psi){
204 extern char *basbuf;
205 extern HANDLE hHeap;
206 extern SUBINFO **ppSubHash;
207 extern BOOL bDebugCompile;
208 int i3,i4,i5,VarSize,BufferSize;
209 char temporary[VN_SIZE];
210
211 BufferSize=128;
212
213 if(psi->bUse==0||psi->bCompile) return;
214
215
216 psi->bCompile=1;
217
218 extern BOOL bSystemProc;
219 if(memcmp(psi->name,"_System_",8)==0) bSystemProc=1;
220 else bSystemProc=0;
221
222 extern BOOL bDebugSupportProc;
223 if(memcmp(psi->name,"_DebugSys_",10)==0){
224 if(!bDebugCompile){
225 psi->pVar=(VARIABLE *)HeapAlloc(hHeap,0,1);
226 psi->VarNum=0;
227 return;
228 }
229 bDebugSupportProc=1;
230 }
231 else bDebugSupportProc=0;
232
233 psi->CompileAddress=obp;
234
235 if(psi->bSystem){
236 ////////////////////
237 // 特殊関数
238 ////////////////////
239
240 extern int MaxLocalVarNum;
241 extern int AllLocalVarSize;
242 MaxLocalVarNum=0;
243 AllLocalVarSize=0;
244
245 //スタックフレーム管理用オブジェクトを初期化
246 extern CStackFrame *pobj_sf;
247 pobj_sf=new CStackFrame();
248
249 SystemProc(psi->name);
250
251 //スタックフレーム管理用オブジェクトを破棄
252 delete pobj_sf;
253 pobj_sf=0;
254
255 psi->EndOpAddr=obp;
256 psi->pVar=(VARIABLE *)HeapAlloc(hHeap,0,1);
257 psi->VarNum=0;
258 return;
259 }
260
261 cp=psi->address;
262 for(;;cp++){
263 if(IsCommandDelimitation(basbuf[cp])) break;
264 }
265 cp--;
266
267 //プロシージャ抜け出しスケジュール（Exit Sub/Function）
268 extern DWORD *pExitSubSchedule;
269 extern int ExitSubScheduleNum;
270 pExitSubSchedule=(DWORD *)HeapAlloc(hHeap,0,1);
271 ExitSubScheduleNum=0;
272
273 //ラベル用のメモリを確保
274 extern LABEL *pLabelNames;
275 extern int MaxLabelNum;
276 pLabelNames=(LABEL *)HeapAlloc(hHeap,0,1);
277 MaxLabelNum=0;
278
279 //Gotoラベルスケジュール
280 extern GOTOLABELSCHEDULE *pGotoLabelSchedule;
281 extern int GotoLabelScheduleNum;
282 pGotoLabelSchedule=(GOTOLABELSCHEDULE *)HeapAlloc(hHeap,0,1);
283 GotoLabelScheduleNum=0;
284
285 //With情報のメモリを確保
286 extern WITHINFO WithInfo;
287 WithInfo.ppName=(char **)HeapAlloc(hHeap,0,1);
288 WithInfo.pWithCp=(int *)HeapAlloc(hHeap,0,1);
289 WithInfo.num=0;
290
291 //重複エラー情報管理のメモリを確保
292 extern char **SynonymErrorWords;
293 extern int SynonymErrorNum;
294 SynonymErrorNum=0;
295 SynonymErrorWords=(char **)HeapAlloc(hHeap,0,1);
296
297 //Continueアドレスを初期化
298 extern DWORD dwContinueAddress;
299 dwContinueAddress=-1;
300
301 //ローカル変数に関する情報
302 extern VARIABLE *LocalVar;
303 extern int MaxLocalVarNum;
304 extern int AllLocalVarSize;
305 LocalVar=(VARIABLE *)HeapAlloc(hHeap,0,sizeof(VARIABLE));
306 MaxLocalVarNum=0;
307 AllLocalVarSize=0;
308
309 //ローカル変数アドレススケジュール
310 extern DWORD *pLocalVarAddrSchedule;
311 extern int LocalVarAddrScheduleNum;
312 pLocalVarAddrSchedule=(DWORD *)HeapAlloc(hHeap,0,1);
313 LocalVarAddrScheduleNum=0;
314
315 //レキシカルスコープ情報を初期化
316 obj_LexScopes.Init(obp);
317
318
319 /////////////////////////////////////
320 // パラメータ用の変数データを考慮
321 /////////////////////////////////////
322
323 for(i3=psi->RealParmNum-1;i3>=0;i3--){
324 //変数データを追加
325 LocalVar=(VARIABLE *)HeapReAlloc(hHeap,0,LocalVar,(MaxLocalVarNum+1)*sizeof(VARIABLE));
326
327 lstrcpy(LocalVar[MaxLocalVarNum].name,psi->pRealParmInfo[i3].name);
328
329 // TODO: パラメータのConst定義の指定が未完成
330 LocalVar[MaxLocalVarNum].bConst=false;
331
332 LocalVar[MaxLocalVarNum].bArray=psi->pRealParmInfo[i3].bArray;
333 memcpy(LocalVar[MaxLocalVarNum].SubScripts,psi->pRealParmInfo[i3].SubScripts,MAX_ARRAYDIM*sizeof(int));
334
335 LocalVar[MaxLocalVarNum].type=psi->pRealParmInfo[i3].type;
336 if(LocalVar[MaxLocalVarNum].type==DEF_OBJECT){
337 if(psi->bExport)
338 SetError(24,NULL,cp);
339 }
340
341 LocalVar[MaxLocalVarNum].u.index=psi->pRealParmInfo[i3].u.index;
342
343 if(psi->pRealParmInfo[i3].bByVal&&psi->pRealParmInfo[i3].type==DEF_OBJECT){
344 //実態オブジェクトのByValパラメータ
345 LocalVar[MaxLocalVarNum].fRef=REF_PARAMETER | OBJECT_PARAMETER;
346 VarSize=PTR_SIZE;
347 }
348 else{
349 if(psi->pRealParmInfo[i3].bByVal&&psi->pRealParmInfo[i3].bArray==0){
350 LocalVar[MaxLocalVarNum].fRef=0;
351 VarSize=GetTypeSize(LocalVar[MaxLocalVarNum].type,LocalVar[MaxLocalVarNum].u.index);
352 if(VarSize%PTR_SIZE) VarSize+=PTR_SIZE-(VarSize%PTR_SIZE);
353 }
354 else{
355 LocalVar[MaxLocalVarNum].fRef=REF_PARAMETER;
356 VarSize=PTR_SIZE;
357 }
358 }
359 AllLocalVarSize+=VarSize;
360 LocalVar[MaxLocalVarNum].offset=AllLocalVarSize;
361
362 //レキシカルスコープ情報
363 LocalVar[MaxLocalVarNum].ScopeLevel=obj_LexScopes.GetNowLevel();
364 LocalVar[MaxLocalVarNum].ScopeStartAddress=obj_LexScopes.GetStartAddress();
365 LocalVar[MaxLocalVarNum].bLiving=TRUE;
366
367 MaxLocalVarNum++;
368 }
369
370 //Thisポインタを示すローカルオフセット値をセット
371 extern int LocalVar_ThisPtrOffset;
372 LocalVar_ThisPtrOffset=AllLocalVarSize;
373
374 //コンパイル中の関数が属するクラス
375 pobj_CompilingClass=psi->pobj_ParentClass;
376
377 //コンパイルスタートをクラス管理クラスに追加
378 pobj_DBClass->StartCompile( psi );
379
380 //コンパイル中の関数
381 extern SUBINFO *pCompilingSubInfo;
382 pCompilingSubInfo=psi;
383
384 //スタックフレーム管理用クラスを初期化
385 extern CStackFrame *pobj_sf;
386 pobj_sf=new CStackFrame();
387
388
389 ///////////////////////
390 // ここからコード生成
391
392 for(i3=psi->RealParmNum-1;i3>=0;i3--){
393 if(i3==3){
394 if(IsRealNumberType(psi->pRealParmInfo[i3].type)&&psi->pRealParmInfo[i3].bByVal){
395 //movsd qword ptr[rsp+0x20],xmm3
396 op_movsd_MR(REG_XMM3,REG_RSP,0x20,MOD_BASE_DISP32);
397 }
398 else{
399 //mov qword ptr[rsp+0x20],r9
400 op_mov_MR(sizeof(_int64),REG_R9,REG_RSP,0x20,MOD_BASE_DISP32);
401 }
402 }
403 if(i3==2){
404 if(IsRealNumberType(psi->pRealParmInfo[i3].type)&&psi->pRealParmInfo[i3].bByVal){
405 //movsd qword ptr[rsp+0x18],xmm2
406 op_movsd_MR(REG_XMM2,REG_RSP,0x18,MOD_BASE_DISP32);
407 }
408 else{
409 //mov qword ptr[rsp+0x18],r8
410 op_mov_MR(sizeof(_int64),REG_R8,REG_RSP,0x18,MOD_BASE_DISP32);
411 }
412 }
413 if(i3==1){
414 if(IsRealNumberType(psi->pRealParmInfo[i3].type)&&psi->pRealParmInfo[i3].bByVal){
415 //movsd qword ptr[rsp+0x10],xmm1
416 op_movsd_MR(REG_XMM1,REG_RSP,0x10,MOD_BASE_DISP32);
417 }
418 else{
419 //mov qword ptr[rsp+0x10],rdx
420 op_mov_MR(sizeof(_int64),REG_RDX,REG_RSP,0x10,MOD_BASE_DISP32);
421 }
422 }
423 if(i3==0){
424 if(IsRealNumberType(psi->pRealParmInfo[i3].type)&&psi->pRealParmInfo[i3].bByVal){
425 //movsd qword ptr[rsp+0x8],xmm0
426 op_movsd_MR(REG_XMM0,REG_RSP,0x8,MOD_BASE_DISP32);
427 }
428 else{
429 //mov qword ptr[rsp+0x8],rcx
430 op_mov_MR(sizeof(_int64),REG_RCX,REG_RSP,0x8,MOD_BASE_DISP32);
431 }
432 }
433 }
434
435 //ret用のアドレスを考慮
436 AllLocalVarSize+=sizeof(_int64);
437
438 //sub rsp,スタックフレームサイズ
439 int StackFrameSchedule;
440 op_sub_rsp(0xFFFFFFFF);
441 StackFrameSchedule=obp-sizeof(long);
442
443 //mov qword ptr[rsp+offset],reg ※スタックフレームを利用
444 pobj_sf->push(REG_RBX);
445 pobj_sf->push(REG_RSI);
446 pobj_sf->push(REG_RDI);
447 pobj_sf->push(REG_R12);
448 pobj_sf->push(REG_R13);
449 pobj_sf->push(REG_R14);
450 pobj_sf->push(REG_R15);
451
452 //ローカル変数のベース値
453 int BaseLocalVar;
454 BaseLocalVar=AllLocalVarSize;
455
456 if(psi->ReturnType!=-1){
457 //戻り値が存在するとき
458
459 char *temp;
460 if(psi->name[0]==1&&psi->name[1]==ESC_OPERATOR) temp="_System_ReturnValue";
461 else temp=psi->name;
462
463 if(psi->ReturnType==DEF_OBJECT){
464 //戻り値用オブジェクトのコンストラクタを呼び出す
465 if(psi->u.Return_pobj_c->ConstructorMemberSubIndex!=-1){
466 sprintf(temporary,"%s.%s()",temp,psi->u.Return_pobj_c->name);
467 OpcodeOthers(temporary);
468 }
469 }
470 else{
471 //戻り値用の変数の定義
472 sprintf(temporary,"%s%c%c",temp,1,ESC_AS);
473 GetTypeName(psi->ReturnType,psi->u.ReturnIndex,temporary+lstrlen(temporary));
474 OpcodeDim(temporary,0);
475 }
476 }
477
478 int RspOffsetSchedule=0;
479 int RspOffsetSchedule2;
480 if(bDebugCompile&&bDebugSupportProc==0){
481 //mov rdx, qword ptr[rsp+スタックフレームサイズ]
482 op_mov_RM(sizeof(_int64),REG_RDX,REG_RSP,0,MOD_BASE_DISP32);
483 RspOffsetSchedule=obp-sizeof(long);
484
485 //mov rcx,rsp
486 op_mov64_ToReg_FromReg(REG_RCX,REG_RSP);
487
488 //add rcx,スタックフレームサイズ+sizeof(_int64) ※ret用のサイズを考慮
489 op_add64_value(REG_RCX,0);
490 RspOffsetSchedule2=obp-sizeof(long);
491
492 //call _DebugSys_StartProc
493 extern SUBINFO *pSub_DebugSys_StartProc;
494 op_call(pSub_DebugSys_StartProc);
495 }
496
497 if(pobj_CompilingClass){
498 if(lstrcmp(psi->name,pobj_CompilingClass->name)==0){
499 ////////////////////////////////////
500 // コンストラクタをコンパイルするとき
501 ////////////////////////////////////
502
503 //コンストラクタのコンパイル開始を通知
504 pobj_CompilingClass->NotifyStartConstructorCompile();
505
506 //基底クラスかどうかの識別
507 //（継承元がインターフェイスの場合も基底クラスと見なす）
508 BOOL bThisIsSuperClass;
509 if(pobj_CompilingClass->pobj_InheritsClass==0) bThisIsSuperClass=1;
510 else if(pobj_CompilingClass->pobj_InheritsClass->ConstructorMemberSubIndex==-1){
511 //インターフェイスを継承したときはコンストラクタを持たない
512 bThisIsSuperClass=1;
513 }
514 else bThisIsSuperClass=0;
515
516 if(!bThisIsSuperClass){
517 /* サブクラスコンストラクタをコンパイルしているときは、
518 基底クラスのコンストラクタを呼び出す */
519
520 i3=cp+1;
521 while(IsCommandDelimitation(basbuf[i3])) i3++;
522 for(i4=0;;i3++,i4++){
523 if(!IsVariableChar(basbuf[i3])){
524 temporary[i4]=0;
525 break;
526 }
527 temporary[i4]=basbuf[i3];
528 }
529 if(lstrcmp(temporary,
530 pobj_CompilingClass->pobj_InheritsClass->name)==0){
531 //基底クラスのコンストラクタを呼び出す
532 cp=i3;
533 for(i4=0;;cp++,i4++){
534 if(IsCommandDelimitation(basbuf[cp])){
535 temporary[i4]=0;
536 break;
537 }
538 temporary[i4]=basbuf[cp];
539 }
540 if(!(temporary[0]=='('&&temporary[lstrlen(temporary)-1]==')')){
541 SetError(1,NULL,cp);
542 }
543 RemoveStringPare(temporary);
544
545 i3=pobj_CompilingClass->pobj_InheritsClass->ConstructorMemberSubIndex;
546 Opcode_CallProc(temporary,
547 pobj_CompilingClass->ppobj_Method[i3]->psi,
548 0,
549 0,
550 "",
551 0);
552 }
553 else{
554 //基底クラスのコンストラクタを暗黙的に呼び出す
555 i3=pobj_CompilingClass->pobj_InheritsClass->ConstructorMemberSubIndex;
556 Opcode_CallProc("",
557 pobj_CompilingClass->ppobj_Method[i3]->psi,
558 0,
559 0,
560 "",
561 0);
562 }
563 }
564
565 //実体クラスを持つメンバのコンストラクタ（引数有りを除く）を呼び出す
566 int offset;
567 int MemberTypeSize;
568 int MemberObjectNum;
569 if(pobj_CompilingClass->vtbl_num) offset=PTR_SIZE;
570 else offset=0;
571 for(i3=0;i3<pobj_CompilingClass->iMemberNum;i3++){
572 MemberTypeSize=
573 GetTypeSize(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type,
574 pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.lpIndex);
575
576 MemberObjectNum=
577 JumpSubScripts(pobj_CompilingClass->ppobj_Member[i3]->SubScripts);
578
579 offset=GetSizeOfClassMember(pobj_CompilingClass,pobj_CompilingClass->ppobj_Member[i3]->name,NULL);
580
581 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type==DEF_OBJECT){
582 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ConstructorMemberSubIndex!=-1){
583 i5=pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ConstructorMemberSubIndex;
584 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ppobj_Method[i5]->psi->RealParmNum==1){ //Thisポインタを第一引数に持ち合わせるため、引数なしの場合はこの値が1になる
585 for(i4=0;i4<MemberObjectNum;i4++){
586 //Thisポインタをrcxにコピー
587 SetThisPtrToReg(REG_RCX);
588
589 //add rcx,offset
590 op_add64_value(REG_RCX,offset+i4*MemberTypeSize);
591
592 //call constructor
593 op_call(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ppobj_Method[i5]->psi);
594 }
595 }
596 }
597 }
598 }
599
600 //仮想関数テーブルを初期化
601 if(pobj_CompilingClass->vtbl_num&&
602 pobj_CompilingClass->IsAbstract()==false){
603 //関数テーブルに値をセット
604 offset=(int)pobj_CompilingClass->GetVtblGlobalOffset();
605
606 //mov rax,offset
607 op_mov_RV(sizeof(_int64),REG_RAX,offset);
608 obp-=sizeof(long);
609 pobj_DataTableSchedule->add();
610 obp+=sizeof(long);
611
612 //Thisポインタをrcxにコピー
613 SetThisPtrToReg(REG_RCX);
614
615 //mov qword ptr[rcx],rax
616 op_mov_MR(sizeof(_int64),REG_RAX,REG_RCX,0,MOD_BASE);
617 }
618 }
619 else if(psi->name[0]=='~'){
620 //デストラクタをコンパイルしたとき
621
622 //デストラクタのコンパイル開始を通知
623 pobj_CompilingClass->NotifyStartDestructorCompile();
624 }
625 }
626
627 //コード生成中に関数の先頭領域にDimステートメントを再配置できるようにする
628 extern int DimStatementInsertPoint;
629 DimStatementInsertPoint=obp;
630
631 //////////////////////////////////////////
632 //////////////////////////////////////////
633 ////// プロシージャ内をコンパイル ////////
634 if(psi->dwType==SUBTYPE_SUB) CompileBuffer(ESC_ENDSUB,0);
635 else if(psi->dwType==SUBTYPE_FUNCTION) CompileBuffer(ESC_ENDFUNCTION,0);
636 else if(psi->dwType==SUBTYPE_MACRO) CompileBuffer(ESC_ENDMACRO,0);
637 //////////////////////////////////////////
638 //////////////////////////////////////////
639
640 if( pobj_CompilingClass ){
641
642 if( pobj_CompilingClass->IsCompilingConstructor() ){
643 // コンストラクタをコンパイルしていたとき
644
645 // コンストラクタのコンパイルが完了したことを通知
646 pobj_CompilingClass->NotifyFinishConstructorCompile();
647 }
648 else if(psi->name[0]=='~'){
649 ////////////////////////////////////
650 //デストラクタをコンパイルしたとき
651 ////////////////////////////////////
652
653 // デストラクタのコンパイルが完了したことを通知
654 pobj_CompilingClass->NotifyFinishDestructorCompile();
655
656 if(pobj_CompilingClass->pobj_InheritsClass){
657 /* サブクラスのデストラクタをコンパイルしているときは、
658 基底クラスのデストラクタを呼び出す */
659
660 i3=pobj_CompilingClass->pobj_InheritsClass->DestructorMemberSubIndex;
661 if(i3!=-1){
662 Opcode_CallProc("",
663 pobj_CompilingClass->ppobj_Method[i3]->psi,
664 0,
665 0,
666 "",
667 0);
668 }
669 }
670
671 //実体クラスを持つメンバのデストラクタを呼び出す
672 //※コンストラクタと逆順序で呼び出す
673 int offset;
674 int MemberTypeSize;
675 int MemberObjectNum;
676 for(i3=pobj_CompilingClass->iMemberNum-1;i3>=0;i3--){
677 MemberTypeSize=
678 GetTypeSize(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type,
679 pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.lpIndex);
680
681 MemberObjectNum=
682 JumpSubScripts(pobj_CompilingClass->ppobj_Member[i3]->SubScripts);
683
684 offset=GetSizeOfClassMember(pobj_CompilingClass,pobj_CompilingClass->ppobj_Member[i3]->name,NULL);
685
686 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type==DEF_OBJECT){
687 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->DestructorMemberSubIndex!=-1){
688 for(i4=MemberObjectNum-1;i4>=0;i4--){
689 //Thisポインタをrcxにコピー
690 SetThisPtrToReg(REG_RCX);
691
692 //add rcx,offset
693 op_add64_value(REG_RCX,offset+i4*MemberTypeSize);
694
695 //call destructor
696 i5=pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->DestructorMemberSubIndex;
697 op_call(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ppobj_Method[i5]->psi);
698 }
699 }
700 }
701 }
702 }
703 }
704
705 //プロシージャ抜け出しスケジュール（Exit Sub/Function）
706 for(i3=0;i3<ExitSubScheduleNum;i3++){
707 *((long *)(OpBuffer+pExitSubSchedule[i3]))=obp-(pExitSubSchedule[i3]+sizeof(long));
708 }
709 HeapDefaultFree(pExitSubSchedule);
710
711 if(bDebugCompile&&bDebugSupportProc==0){
712 //call _DebugSys_EndProc
713 extern SUBINFO *pSub_DebugSys_EndProc;
714 op_call(pSub_DebugSys_EndProc);
715 }
716
717 //ラベル用のメモリを解放
718 for(i3=0;i3<MaxLabelNum;i3++){
719 if(pLabelNames[i3].pName) HeapDefaultFree(pLabelNames[i3].pName);
720 }
721 HeapDefaultFree(pLabelNames);
722
723 //Goto未知ラベルスケジュールを解放
724 for(i3=0;i3<GotoLabelScheduleNum;i3++){
725 if(pGotoLabelSchedule[i3].pName){
726 SetError(6,pGotoLabelSchedule[i3].pName,pGotoLabelSchedule[i3].now_cp);
727 HeapDefaultFree(pGotoLabelSchedule[i3].pName);
728 }
729 else{
730 sprintf(temporary,"%d",pGotoLabelSchedule[i3].line);
731 SetError(6,temporary,pGotoLabelSchedule[i3].now_cp);
732 }
733 }
734 HeapDefaultFree(pGotoLabelSchedule);
735
736 //With情報のメモリを解放
737 for(i3=0;i3<WithInfo.num;i3++){
738 SetError(22,"With",WithInfo.pWithCp[i3]);
739 HeapDefaultFree(WithInfo.ppName[i3]);
740 }
741 HeapDefaultFree(WithInfo.ppName);
742 HeapDefaultFree(WithInfo.pWithCp);
743
744 //重複エラー情報管理のメモリを解放
745 for(i3=0;i3<SynonymErrorNum;i3++) HeapDefaultFree(SynonymErrorWords[i3]);
746 HeapDefaultFree(SynonymErrorWords);
747
748 //ローカルオブジェクト（レキシカルスコープレベル=0）の解放処理
749 CallDestrouctorsOfScope();
750
751 if(psi->ReturnType!=-1){
752 //////////////////////////////////
753 // 戻り値をraxまたはxmm0に設定
754 //////////////////////////////////
755
756 RELATIVE_VAR RelativeVar;
757 LONG_PTR lpIndex;
758
759 char *temp;
760 if(psi->name[0]==1&&psi->name[1]==ESC_OPERATOR)
761 temp="_System_ReturnValue";
762 else temp=psi->name;
763 GetVarOffsetReadWrite(temp,&i3,&RelativeVar,&lpIndex);
764
765 i3=psi->ReturnType;
766
767 if(i3==DEF_OBJECT){
768 SetVarPtrToReg(REG_RAX,&RelativeVar);
769 }
770 else if(i3==DEF_DOUBLE){
771 //64ビット実数型
772 SetXmmReg_DoubleVariable(&RelativeVar,REG_XMM0);
773 }
774 else if(i3==DEF_SINGLE){
775 //32ビット実数型
776 SetXmmReg_SingleVariable(&RelativeVar,REG_XMM0);
777 }
778 else if(IsWholeNumberType(i3)){
779 //整数型
780 SetReg_WholeVariable(i3,&RelativeVar,REG_RAX);
781 }
782 else SetError(300,NULL,cp);
783 }
784
785 //ローカル変数領域のサイズをスタックフレームに通知
786 int iLocalParmSize;
787 iLocalParmSize=AllLocalVarSize-BaseLocalVar;
788 pobj_sf->SetLocalParmSize(iLocalParmSize);
789
790 //ローカル変数アドレススケジュール
791 for(i3=0;i3<LocalVarAddrScheduleNum;i3++){
792 *((long *)(OpBuffer+pLocalVarAddrSchedule[i3]))+=AllLocalVarSize+pobj_sf->GetFrameSize();
793 }
794 HeapDefaultFree(pLocalVarAddrSchedule);
795 for(i3=0;i3<MaxLocalVarNum;i3++){
796 //後にデバッグで利用する
797 LocalVar[i3].offset=AllLocalVarSize+pobj_sf->GetFrameSize()-LocalVar[i3].offset;
798 }
799
800 //mov reg,qword ptr[rsp+offset] ※スタックフレームを利用
801 pobj_sf->pop(REG_R15);
802 pobj_sf->pop(REG_R14);
803 pobj_sf->pop(REG_R13);
804 pobj_sf->pop(REG_R12);
805 pobj_sf->pop(REG_RDI);
806 pobj_sf->pop(REG_RSI);
807 pobj_sf->pop(REG_RBX);
808
809 int iStackFrameSize;
810 iStackFrameSize=iLocalParmSize + pobj_sf->GetFrameSize();
811
812 //add rsp,スタックフレームサイズ
813 op_add_rsp(iStackFrameSize);
814
815 //ret 0
816 OpBuffer[obp++]=(char)0xC3;
817
818
819 //デバッグ用
820 if(RspOffsetSchedule){
821 *((long *)(OpBuffer+RspOffsetSchedule))=iStackFrameSize;
822 *((long *)(OpBuffer+RspOffsetSchedule2))=iStackFrameSize+sizeof(_int64);
823 }
824
825
826 //スタックフレームスケジュール（subコマンド）
827 *((long *)(OpBuffer+StackFrameSchedule))=iStackFrameSize;
828
829 //スタックフレームスケジュールを実行
830 pobj_sf->RunningSchedule();
831 delete pobj_sf;
832 pobj_sf=0;
833
834
835 psi->EndOpAddr=obp;
836 psi->pVar=LocalVar;
837 psi->VarNum=MaxLocalVarNum;
838
839 //ローカル変数のネーム情報は後に解放する
840}
841void CompileLocal(){
842 extern SUBINFO **ppSubHash;
843 int i2;
844 SUBINFO *psi;
845
846 extern BOOL bDll;
847 if(bDll){
848 //DLLの場合はグローバル変数を初期化するための関数を一番初めにコンパイルする
849 psi=GetSubHash("_System_InitDllGlobalVariables");
850 if(psi){
851 CompileBufferInProcedure(psi);
852 }
853 else SetError(300,NULL,cp);
854 }
855
856 //_System_InitStaticLocalVariablesは一番最後にコンパイル
857 //※一般関数内の静的変数オブジェクトをすべて収集しなければならない
858 extern SUBINFO *pSub_System_InitStaticLocalVariables;
859 pSub_System_InitStaticLocalVariables->bCompile=1;
860
861 //_System_Call_Destructor_of_GlobalObjectは一番最後にコンパイル
862 extern SUBINFO *pSub_System_Call_Destructor_of_GlobalObject;
863 pSub_System_Call_Destructor_of_GlobalObject->bCompile=1;
864
865Repeat:
866 for(i2=0;i2<MAX_HASH;i2++){
867 psi=ppSubHash[i2];
868 while(psi){
869 CompileBufferInProcedure(psi);
870 psi=psi->pNextData;
871 }
872 }
873
874 //プロシージャコンパイルによって、プロシージャコンパイルが必要になる場合
875 for(i2=0;i2<MAX_HASH;i2++){
876 psi=ppSubHash[i2];
877 while(psi){
878 if(psi->bUse&&psi->bCompile==0&&psi->bVirtual==0){
879 goto Repeat;
880 }
881
882 psi=psi->pNextData;
883 }
884 }
885
886 //_System_InitStaticLocalVariablesは一番最後にコンパイル
887 pSub_System_InitStaticLocalVariables->bCompile=0;
888 CompileBufferInProcedure(pSub_System_InitStaticLocalVariables);
889
890 //_System_Call_Destructor_of_GlobalObjectは一番最後にコンパイル
891 pSub_System_Call_Destructor_of_GlobalObject->bCompile=0;
892 CompileBufferInProcedure(pSub_System_Call_Destructor_of_GlobalObject);
893}
Note: See TracBrowser for help on using the repository browser.