source: dev/BasicCompiler64/Compile_ProcOp.cpp@ 17

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

定数メンバ機能を有効にした。

File size: 26.7 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 extern SUBINFO *pCompilingSubInfo;
379 pCompilingSubInfo=psi;
380
381 //スタックフレーム管理用クラスを初期化
382 extern CStackFrame *pobj_sf;
383 pobj_sf=new CStackFrame();
384
385
386 ///////////////////////
387 // ここからコード生成
388
389 for(i3=psi->RealParmNum-1;i3>=0;i3--){
390 if(i3==3){
391 if(IsRealNumberType(psi->pRealParmInfo[i3].type)&&psi->pRealParmInfo[i3].bByVal){
392 //movsd qword ptr[rsp+0x20],xmm3
393 op_movsd_MR(REG_XMM3,REG_RSP,0x20,MOD_BASE_DISP32);
394 }
395 else{
396 //mov qword ptr[rsp+0x20],r9
397 op_mov_MR(sizeof(_int64),REG_R9,REG_RSP,0x20,MOD_BASE_DISP32);
398 }
399 }
400 if(i3==2){
401 if(IsRealNumberType(psi->pRealParmInfo[i3].type)&&psi->pRealParmInfo[i3].bByVal){
402 //movsd qword ptr[rsp+0x18],xmm2
403 op_movsd_MR(REG_XMM2,REG_RSP,0x18,MOD_BASE_DISP32);
404 }
405 else{
406 //mov qword ptr[rsp+0x18],r8
407 op_mov_MR(sizeof(_int64),REG_R8,REG_RSP,0x18,MOD_BASE_DISP32);
408 }
409 }
410 if(i3==1){
411 if(IsRealNumberType(psi->pRealParmInfo[i3].type)&&psi->pRealParmInfo[i3].bByVal){
412 //movsd qword ptr[rsp+0x10],xmm1
413 op_movsd_MR(REG_XMM1,REG_RSP,0x10,MOD_BASE_DISP32);
414 }
415 else{
416 //mov qword ptr[rsp+0x10],rdx
417 op_mov_MR(sizeof(_int64),REG_RDX,REG_RSP,0x10,MOD_BASE_DISP32);
418 }
419 }
420 if(i3==0){
421 if(IsRealNumberType(psi->pRealParmInfo[i3].type)&&psi->pRealParmInfo[i3].bByVal){
422 //movsd qword ptr[rsp+0x8],xmm0
423 op_movsd_MR(REG_XMM0,REG_RSP,0x8,MOD_BASE_DISP32);
424 }
425 else{
426 //mov qword ptr[rsp+0x8],rcx
427 op_mov_MR(sizeof(_int64),REG_RCX,REG_RSP,0x8,MOD_BASE_DISP32);
428 }
429 }
430 }
431
432 //ret用のアドレスを考慮
433 AllLocalVarSize+=sizeof(_int64);
434
435 //sub rsp,スタックフレームサイズ
436 int StackFrameSchedule;
437 op_sub_rsp(0xFFFFFFFF);
438 StackFrameSchedule=obp-sizeof(long);
439
440 //mov qword ptr[rsp+offset],reg ※スタックフレームを利用
441 pobj_sf->push(REG_RBX);
442 pobj_sf->push(REG_RSI);
443 pobj_sf->push(REG_RDI);
444 pobj_sf->push(REG_R12);
445 pobj_sf->push(REG_R13);
446 pobj_sf->push(REG_R14);
447 pobj_sf->push(REG_R15);
448
449 //ローカル変数のベース値
450 int BaseLocalVar;
451 BaseLocalVar=AllLocalVarSize;
452
453 if(psi->ReturnType!=-1){
454 //戻り値が存在するとき
455
456 char *temp;
457 if(psi->name[0]==1&&psi->name[1]==ESC_OPERATOR) temp="_System_ReturnValue";
458 else temp=psi->name;
459
460 if(psi->ReturnType==DEF_OBJECT){
461 //戻り値用オブジェクトのコンストラクタを呼び出す
462 if(psi->u.Return_pobj_c->ConstructorMemberSubIndex!=-1){
463 sprintf(temporary,"%s.%s()",temp,psi->u.Return_pobj_c->name);
464 OpcodeOthers(temporary);
465 }
466 }
467 else{
468 //戻り値用の変数の定義
469 sprintf(temporary,"%s%c%c",temp,1,ESC_AS);
470 GetTypeName(psi->ReturnType,psi->u.ReturnIndex,temporary+lstrlen(temporary));
471 OpcodeDim(temporary,0);
472 }
473 }
474
475 int RspOffsetSchedule=0;
476 int RspOffsetSchedule2;
477 if(bDebugCompile&&bDebugSupportProc==0){
478 //mov rdx, qword ptr[rsp+スタックフレームサイズ]
479 op_mov_RM(sizeof(_int64),REG_RDX,REG_RSP,0,MOD_BASE_DISP32);
480 RspOffsetSchedule=obp-sizeof(long);
481
482 //mov rcx,rsp
483 op_mov64_ToReg_FromReg(REG_RCX,REG_RSP);
484
485 //add rcx,スタックフレームサイズ+sizeof(_int64) ※ret用のサイズを考慮
486 op_add64_value(REG_RCX,0);
487 RspOffsetSchedule2=obp-sizeof(long);
488
489 //call _DebugSys_StartProc
490 extern SUBINFO *pSub_DebugSys_StartProc;
491 op_call(pSub_DebugSys_StartProc);
492 }
493
494 if(pobj_CompilingClass){
495 if(lstrcmp(psi->name,pobj_CompilingClass->name)==0){
496 ////////////////////////////////////
497 // コンストラクタをコンパイルするとき
498 ////////////////////////////////////
499
500 //コンストラクタのコンパイル開始を通知
501 pobj_CompilingClass->NotifyStartConstructorCompile();
502
503 //スーパークラスかどうかの識別
504 //(継承元がインターフェイスの場合もスーパークラスと見なす)
505 BOOL bThisIsSuperClass;
506 if(pobj_CompilingClass->pobj_InheritsClass==0) bThisIsSuperClass=1;
507 else if(pobj_CompilingClass->pobj_InheritsClass->ConstructorMemberSubIndex==-1){
508 //インターフェイスを継承したときはコンストラクタを持たない
509 bThisIsSuperClass=1;
510 }
511 else bThisIsSuperClass=0;
512
513 if(!bThisIsSuperClass){
514 /* サブクラスコンストラクタをコンパイルしているときは、
515 スーパークラスのコンストラクタを呼び出す */
516
517 i3=cp+1;
518 while(IsCommandDelimitation(basbuf[i3])) i3++;
519 for(i4=0;;i3++,i4++){
520 if(!IsVariableChar(basbuf[i3])){
521 temporary[i4]=0;
522 break;
523 }
524 temporary[i4]=basbuf[i3];
525 }
526 if(lstrcmp(temporary,
527 pobj_CompilingClass->pobj_InheritsClass->name)==0){
528 //スーパークラスのコンストラクタを呼び出す
529 cp=i3;
530 for(i4=0;;cp++,i4++){
531 if(IsCommandDelimitation(basbuf[cp])){
532 temporary[i4]=0;
533 break;
534 }
535 temporary[i4]=basbuf[cp];
536 }
537 if(!(temporary[0]=='('&&temporary[lstrlen(temporary)-1]==')')){
538 SetError(1,NULL,cp);
539 }
540 RemoveStringPare(temporary);
541
542 i3=pobj_CompilingClass->pobj_InheritsClass->ConstructorMemberSubIndex;
543 Opcode_CallProc(temporary,
544 pobj_CompilingClass->ppobj_Method[i3]->psi,
545 0,
546 0,
547 "",
548 0);
549 }
550 else{
551 //スーパークラスのコンストラクタを暗黙的に呼び出す
552 i3=pobj_CompilingClass->pobj_InheritsClass->ConstructorMemberSubIndex;
553 Opcode_CallProc("",
554 pobj_CompilingClass->ppobj_Method[i3]->psi,
555 0,
556 0,
557 "",
558 0);
559 }
560 }
561
562 //実体クラスを持つメンバのコンストラクタ(引数有りを除く)を呼び出す
563 int offset;
564 int MemberTypeSize;
565 int MemberObjectNum;
566 if(pobj_CompilingClass->vtbl_num) offset=PTR_SIZE;
567 else offset=0;
568 for(i3=0;i3<pobj_CompilingClass->iMemberNum;i3++){
569 MemberTypeSize=
570 GetTypeSize(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type,
571 pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.lpIndex);
572
573 MemberObjectNum=
574 JumpSubScripts(pobj_CompilingClass->ppobj_Member[i3]->SubScripts);
575
576 offset=GetSizeOfClassMember(pobj_CompilingClass,pobj_CompilingClass->ppobj_Member[i3]->name,NULL);
577
578 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type==DEF_OBJECT){
579 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ConstructorMemberSubIndex!=-1){
580 i5=pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ConstructorMemberSubIndex;
581 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ppobj_Method[i5]->psi->RealParmNum==1){ //Thisポインタを第一引数に持ち合わせるため、引数なしの場合はこの値が1になる
582 for(i4=0;i4<MemberObjectNum;i4++){
583 //Thisポインタをrcxにコピー
584 SetThisPtrToReg(REG_RCX);
585
586 //add rcx,offset
587 op_add64_value(REG_RCX,offset+i4*MemberTypeSize);
588
589 //call constructor
590 op_call(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ppobj_Method[i5]->psi);
591 }
592 }
593 }
594 }
595 }
596
597 //仮想関数テーブルを初期化
598 if(pobj_CompilingClass->vtbl_num&&
599 pobj_CompilingClass->IsHoldAbstractFunction()==0){
600 //関数テーブルに値をセット
601 offset=(int)pobj_CompilingClass->GetVtblGlobalOffset();
602
603 //mov rax,offset
604 op_mov_RV(sizeof(_int64),REG_RAX,offset);
605 obp-=sizeof(long);
606 pobj_DataTableSchedule->add();
607 obp+=sizeof(long);
608
609 //Thisポインタをrcxにコピー
610 SetThisPtrToReg(REG_RCX);
611
612 //mov qword ptr[rcx],rax
613 op_mov_MR(sizeof(_int64),REG_RAX,REG_RCX,0,MOD_BASE);
614 }
615 }
616 }
617
618 //コード生成中に関数の先頭領域にDimステートメントを再配置できるようにする
619 extern int DimStatementInsertPoint;
620 DimStatementInsertPoint=obp;
621
622 //////////////////////////////////////////
623 //////////////////////////////////////////
624 ////// プロシージャ内をコンパイル ////////
625 if(psi->dwType==SUBTYPE_SUB) CompileBuffer(ESC_ENDSUB,0);
626 else if(psi->dwType==SUBTYPE_FUNCTION) CompileBuffer(ESC_ENDFUNCTION,0);
627 else if(psi->dwType==SUBTYPE_MACRO) CompileBuffer(ESC_ENDMACRO,0);
628 //////////////////////////////////////////
629 //////////////////////////////////////////
630
631 if( pobj_CompilingClass ){
632
633 if( pobj_CompilingClass->IsCompilingConstructor() ){
634 // コンストラクタをコンパイルしていたとき
635 // コンストラクタのコンパイルが完了したことを通知
636
637 pobj_CompilingClass->NotifyFinishConstructorCompile();
638 }
639
640 if(psi->name[0]=='~'){
641 ////////////////////////////////////
642 //デストラクタをコンパイルしたとき
643 ////////////////////////////////////
644
645 if(pobj_CompilingClass->pobj_InheritsClass){
646 /* サブクラスのデストラクタをコンパイルしているときは、
647 スーパークラスのデストラクタを呼び出す */
648
649 i3=pobj_CompilingClass->pobj_InheritsClass->DestructorMemberSubIndex;
650 if(i3!=-1){
651 Opcode_CallProc("",
652 pobj_CompilingClass->ppobj_Method[i3]->psi,
653 0,
654 0,
655 "",
656 0);
657 }
658 }
659
660 //実体クラスを持つメンバのデストラクタを呼び出す
661 //※コンストラクタと逆順序で呼び出す
662 int offset;
663 int MemberTypeSize;
664 int MemberObjectNum;
665 for(i3=pobj_CompilingClass->iMemberNum-1;i3>=0;i3--){
666 MemberTypeSize=
667 GetTypeSize(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type,
668 pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.lpIndex);
669
670 MemberObjectNum=
671 JumpSubScripts(pobj_CompilingClass->ppobj_Member[i3]->SubScripts);
672
673 offset=GetSizeOfClassMember(pobj_CompilingClass,pobj_CompilingClass->ppobj_Member[i3]->name,NULL);
674
675 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type==DEF_OBJECT){
676 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->DestructorMemberSubIndex!=-1){
677 for(i4=MemberObjectNum-1;i4>=0;i4--){
678 //Thisポインタをrcxにコピー
679 SetThisPtrToReg(REG_RCX);
680
681 //add rcx,offset
682 op_add64_value(REG_RCX,offset+i4*MemberTypeSize);
683
684 //call destructor
685 i5=pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->DestructorMemberSubIndex;
686 op_call(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ppobj_Method[i5]->psi);
687 }
688 }
689 }
690 }
691 }
692 }
693
694 //プロシージャ抜け出しスケジュール(Exit Sub/Function)
695 for(i3=0;i3<ExitSubScheduleNum;i3++){
696 *((long *)(OpBuffer+pExitSubSchedule[i3]))=obp-(pExitSubSchedule[i3]+sizeof(long));
697 }
698 HeapDefaultFree(pExitSubSchedule);
699
700 if(bDebugCompile&&bDebugSupportProc==0){
701 //call _DebugSys_EndProc
702 extern SUBINFO *pSub_DebugSys_EndProc;
703 op_call(pSub_DebugSys_EndProc);
704 }
705
706 //ラベル用のメモリを解放
707 for(i3=0;i3<MaxLabelNum;i3++){
708 if(pLabelNames[i3].pName) HeapDefaultFree(pLabelNames[i3].pName);
709 }
710 HeapDefaultFree(pLabelNames);
711
712 //Goto未知ラベルスケジュールを解放
713 for(i3=0;i3<GotoLabelScheduleNum;i3++){
714 if(pGotoLabelSchedule[i3].pName){
715 SetError(6,pGotoLabelSchedule[i3].pName,pGotoLabelSchedule[i3].now_cp);
716 HeapDefaultFree(pGotoLabelSchedule[i3].pName);
717 }
718 else{
719 sprintf(temporary,"%d",pGotoLabelSchedule[i3].line);
720 SetError(6,temporary,pGotoLabelSchedule[i3].now_cp);
721 }
722 }
723 HeapDefaultFree(pGotoLabelSchedule);
724
725 //With情報のメモリを解放
726 for(i3=0;i3<WithInfo.num;i3++){
727 SetError(22,"With",WithInfo.pWithCp[i3]);
728 HeapDefaultFree(WithInfo.ppName[i3]);
729 }
730 HeapDefaultFree(WithInfo.ppName);
731 HeapDefaultFree(WithInfo.pWithCp);
732
733 //重複エラー情報管理のメモリを解放
734 for(i3=0;i3<SynonymErrorNum;i3++) HeapDefaultFree(SynonymErrorWords[i3]);
735 HeapDefaultFree(SynonymErrorWords);
736
737 //ローカルオブジェクト(レキシカルスコープレベル=0)の解放処理
738 CallDestrouctorsOfScope();
739
740 if(psi->ReturnType!=-1){
741 //////////////////////////////////
742 // 戻り値をraxまたはxmm0に設定
743 //////////////////////////////////
744
745 RELATIVE_VAR RelativeVar;
746 LONG_PTR lpIndex;
747
748 char *temp;
749 if(psi->name[0]==1&&psi->name[1]==ESC_OPERATOR)
750 temp="_System_ReturnValue";
751 else temp=psi->name;
752 GetVarOffsetReadWrite(temp,&i3,&RelativeVar,&lpIndex);
753
754 i3=psi->ReturnType;
755
756 if(i3==DEF_OBJECT){
757 SetVarPtrToReg(REG_RAX,&RelativeVar);
758 }
759 else if(i3==DEF_DOUBLE){
760 //64ビット実数型
761 SetXmmReg_DoubleVariable(&RelativeVar,REG_XMM0);
762 }
763 else if(i3==DEF_SINGLE){
764 //32ビット実数型
765 SetXmmReg_SingleVariable(&RelativeVar,REG_XMM0);
766 }
767 else if(IsWholeNumberType(i3)){
768 //整数型
769 SetReg_WholeVariable(i3,&RelativeVar,REG_RAX);
770 }
771 else SetError(300,NULL,cp);
772 }
773
774 //ローカル変数領域のサイズをスタックフレームに通知
775 int iLocalParmSize;
776 iLocalParmSize=AllLocalVarSize-BaseLocalVar;
777 pobj_sf->SetLocalParmSize(iLocalParmSize);
778
779 //ローカル変数アドレススケジュール
780 for(i3=0;i3<LocalVarAddrScheduleNum;i3++){
781 *((long *)(OpBuffer+pLocalVarAddrSchedule[i3]))+=AllLocalVarSize+pobj_sf->GetFrameSize();
782 }
783 HeapDefaultFree(pLocalVarAddrSchedule);
784 for(i3=0;i3<MaxLocalVarNum;i3++){
785 //後にデバッグで利用する
786 LocalVar[i3].offset=AllLocalVarSize+pobj_sf->GetFrameSize()-LocalVar[i3].offset;
787 }
788
789 //mov reg,qword ptr[rsp+offset] ※スタックフレームを利用
790 pobj_sf->pop(REG_R15);
791 pobj_sf->pop(REG_R14);
792 pobj_sf->pop(REG_R13);
793 pobj_sf->pop(REG_R12);
794 pobj_sf->pop(REG_RDI);
795 pobj_sf->pop(REG_RSI);
796 pobj_sf->pop(REG_RBX);
797
798 int iStackFrameSize;
799 iStackFrameSize=iLocalParmSize + pobj_sf->GetFrameSize();
800
801 //add rsp,スタックフレームサイズ
802 op_add_rsp(iStackFrameSize);
803
804 //ret 0
805 OpBuffer[obp++]=(char)0xC3;
806
807
808 //デバッグ用
809 if(RspOffsetSchedule){
810 *((long *)(OpBuffer+RspOffsetSchedule))=iStackFrameSize;
811 *((long *)(OpBuffer+RspOffsetSchedule2))=iStackFrameSize+sizeof(_int64);
812 }
813
814
815 //スタックフレームスケジュール(subコマンド)
816 *((long *)(OpBuffer+StackFrameSchedule))=iStackFrameSize;
817
818 //スタックフレームスケジュールを実行
819 pobj_sf->RunningSchedule();
820 delete pobj_sf;
821 pobj_sf=0;
822
823
824 psi->EndOpAddr=obp;
825 psi->pVar=LocalVar;
826 psi->VarNum=MaxLocalVarNum;
827
828 //ローカル変数のネーム情報は後に解放する
829}
830void CompileLocal(){
831 extern SUBINFO **ppSubHash;
832 int i2;
833 SUBINFO *psi;
834
835 extern BOOL bDll;
836 if(bDll){
837 //DLLの場合はグローバル変数を初期化するための関数を一番初めにコンパイルする
838 psi=GetSubHash("_System_InitDllGlobalVariables");
839 if(psi){
840 CompileBufferInProcedure(psi);
841 }
842 else SetError(300,NULL,cp);
843 }
844
845 //_System_InitStaticLocalVariablesは一番最後にコンパイル
846 //※一般関数内の静的変数オブジェクトをすべて収集しなければならない
847 extern SUBINFO *pSub_System_InitStaticLocalVariables;
848 pSub_System_InitStaticLocalVariables->bCompile=1;
849
850 //_System_Call_Destructor_of_GlobalObjectは一番最後にコンパイル
851 extern SUBINFO *pSub_System_Call_Destructor_of_GlobalObject;
852 pSub_System_Call_Destructor_of_GlobalObject->bCompile=1;
853
854Repeat:
855 for(i2=0;i2<MAX_HASH;i2++){
856 psi=ppSubHash[i2];
857 while(psi){
858 CompileBufferInProcedure(psi);
859 psi=psi->pNextData;
860 }
861 }
862
863 //プロシージャコンパイルによって、プロシージャコンパイルが必要になる場合
864 for(i2=0;i2<MAX_HASH;i2++){
865 psi=ppSubHash[i2];
866 while(psi){
867 if(psi->bUse&&psi->bCompile==0&&psi->bVirtual==0){
868 goto Repeat;
869 }
870
871 psi=psi->pNextData;
872 }
873 }
874
875 //_System_InitStaticLocalVariablesは一番最後にコンパイル
876 pSub_System_InitStaticLocalVariables->bCompile=0;
877 CompileBufferInProcedure(pSub_System_InitStaticLocalVariables);
878
879 //_System_Call_Destructor_of_GlobalObjectは一番最後にコンパイル
880 pSub_System_Call_Destructor_of_GlobalObject->bCompile=0;
881 CompileBufferInProcedure(pSub_System_Call_Destructor_of_GlobalObject);
882}
Note: See TracBrowser for help on using the repository browser.