source: dev/BasicCompiler64/Compile_ProcOp.cpp@ 11

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

Const変数の書き込み規制を有効化（グローバル/ローカル変数のみ）
定数オブジェクトと定数メンバは未実装。
File size: 26.3 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 //（継承元がインターフェイスの場合もスーパークラスと見なす）
502 BOOL bThisIsSuperClass;
503 if(pobj_CompilingClass->pobj_InheritsClass==0) bThisIsSuperClass=1;
504 else if(pobj_CompilingClass->pobj_InheritsClass->ConstructorMemberSubIndex==-1){
505 //インターフェイスを継承したときはコンストラクタを持たない
506 bThisIsSuperClass=1;
507 }
508 else bThisIsSuperClass=0;
509
510 if(!bThisIsSuperClass){
511 /* サブクラスコンストラクタをコンパイルしているときは、
512 スーパークラスのコンストラクタを呼び出す */
513
514 i3=cp+1;
515 while(IsCommandDelimitation(basbuf[i3])) i3++;
516 for(i4=0;;i3++,i4++){
517 if(!IsVariableChar(basbuf[i3])){
518 temporary[i4]=0;
519 break;
520 }
521 temporary[i4]=basbuf[i3];
522 }
523 if(lstrcmp(temporary,
524 pobj_CompilingClass->pobj_InheritsClass->name)==0){
525 //スーパークラスのコンストラクタを呼び出す
526 cp=i3;
527 for(i4=0;;cp++,i4++){
528 if(IsCommandDelimitation(basbuf[cp])){
529 temporary[i4]=0;
530 break;
531 }
532 temporary[i4]=basbuf[cp];
533 }
534 if(!(temporary[0]=='('&&temporary[lstrlen(temporary)-1]==')')){
535 SetError(1,NULL,cp);
536 }
537 RemoveStringPare(temporary);
538
539 i3=pobj_CompilingClass->pobj_InheritsClass->ConstructorMemberSubIndex;
540 Opcode_CallProc(temporary,
541 pobj_CompilingClass->ppobj_Method[i3]->psi,
542 0,
543 0,
544 "",
545 0);
546 }
547 else{
548 //スーパークラスのコンストラクタを暗黙的に呼び出す
549 i3=pobj_CompilingClass->pobj_InheritsClass->ConstructorMemberSubIndex;
550 Opcode_CallProc("",
551 pobj_CompilingClass->ppobj_Method[i3]->psi,
552 0,
553 0,
554 "",
555 0);
556 }
557 }
558
559 //実体クラスを持つメンバのコンストラクタ（引数有りを除く）を呼び出す
560 int offset;
561 int MemberTypeSize;
562 int MemberObjectNum;
563 if(pobj_CompilingClass->vtbl_num) offset=PTR_SIZE;
564 else offset=0;
565 for(i3=0;i3<pobj_CompilingClass->iMemberNum;i3++){
566 MemberTypeSize=
567 GetTypeSize(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type,
568 pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.lpIndex);
569
570 MemberObjectNum=
571 JumpSubScripts(pobj_CompilingClass->ppobj_Member[i3]->SubScripts);
572
573 offset=GetSizeOfClassMember(pobj_CompilingClass,pobj_CompilingClass->ppobj_Member[i3]->name,NULL);
574
575 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type==DEF_OBJECT){
576 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ConstructorMemberSubIndex!=-1){
577 i5=pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ConstructorMemberSubIndex;
578 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ppobj_Method[i5]->psi->RealParmNum==1){ //Thisポインタを第一引数に持ち合わせるため、引数なしの場合はこの値が1になる
579 for(i4=0;i4<MemberObjectNum;i4++){
580 //Thisポインタをrcxにコピー
581 SetThisPtrToReg(REG_RCX);
582
583 //add rcx,offset
584 op_add64_value(REG_RCX,offset+i4*MemberTypeSize);
585
586 //call constructor
587 op_call(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ppobj_Method[i5]->psi);
588 }
589 }
590 }
591 }
592 }
593
594 //仮想関数テーブルを初期化
595 if(pobj_CompilingClass->vtbl_num&&
596 pobj_CompilingClass->IsHoldAbstractFunction()==0){
597 //関数テーブルに値をセット
598 offset=(int)pobj_CompilingClass->GetVtblGlobalOffset();
599
600 //mov rax,offset
601 op_mov_RV(sizeof(_int64),REG_RAX,offset);
602 obp-=sizeof(long);
603 pobj_DataTableSchedule->add();
604 obp+=sizeof(long);
605
606 //Thisポインタをrcxにコピー
607 SetThisPtrToReg(REG_RCX);
608
609 //mov qword ptr[rcx],rax
610 op_mov_MR(sizeof(_int64),REG_RAX,REG_RCX,0,MOD_BASE);
611 }
612 }
613 }
614
615 //コード生成中に関数の先頭領域にDimステートメントを再配置できるようにする
616 extern int DimStatementInsertPoint;
617 DimStatementInsertPoint=obp;
618
619 //////////////////////////////////////////
620 //////////////////////////////////////////
621 ////// プロシージャ内をコンパイル ////////
622 if(psi->dwType==SUBTYPE_SUB) CompileBuffer(ESC_ENDSUB,0);
623 else if(psi->dwType==SUBTYPE_FUNCTION) CompileBuffer(ESC_ENDFUNCTION,0);
624 else if(psi->dwType==SUBTYPE_MACRO) CompileBuffer(ESC_ENDMACRO,0);
625 //////////////////////////////////////////
626 //////////////////////////////////////////
627
628 if(pobj_CompilingClass){
629 if(psi->name[0]=='~'){
630 ////////////////////////////////////
631 //デストラクタをコンパイルしたとき
632 ////////////////////////////////////
633
634 if(pobj_CompilingClass->pobj_InheritsClass){
635 /* サブクラスのデストラクタをコンパイルしているときは、
636 スーパークラスのデストラクタを呼び出す */
637
638 i3=pobj_CompilingClass->pobj_InheritsClass->DestructorMemberSubIndex;
639 if(i3!=-1){
640 Opcode_CallProc("",
641 pobj_CompilingClass->ppobj_Method[i3]->psi,
642 0,
643 0,
644 "",
645 0);
646 }
647 }
648
649 //実体クラスを持つメンバのデストラクタを呼び出す
650 //※コンストラクタと逆順序で呼び出す
651 int offset;
652 int MemberTypeSize;
653 int MemberObjectNum;
654 for(i3=pobj_CompilingClass->iMemberNum-1;i3>=0;i3--){
655 MemberTypeSize=
656 GetTypeSize(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type,
657 pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.lpIndex);
658
659 MemberObjectNum=
660 JumpSubScripts(pobj_CompilingClass->ppobj_Member[i3]->SubScripts);
661
662 offset=GetSizeOfClassMember(pobj_CompilingClass,pobj_CompilingClass->ppobj_Member[i3]->name,NULL);
663
664 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.type==DEF_OBJECT){
665 if(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->DestructorMemberSubIndex!=-1){
666 for(i4=MemberObjectNum-1;i4>=0;i4--){
667 //Thisポインタをrcxにコピー
668 SetThisPtrToReg(REG_RCX);
669
670 //add rcx,offset
671 op_add64_value(REG_RCX,offset+i4*MemberTypeSize);
672
673 //call destructor
674 i5=pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->DestructorMemberSubIndex;
675 op_call(pobj_CompilingClass->ppobj_Member[i3]->TypeInfo.u.pobj_Class->ppobj_Method[i5]->psi);
676 }
677 }
678 }
679 }
680 }
681 }
682
683 //プロシージャ抜け出しスケジュール（Exit Sub/Function）
684 for(i3=0;i3<ExitSubScheduleNum;i3++){
685 *((long *)(OpBuffer+pExitSubSchedule[i3]))=obp-(pExitSubSchedule[i3]+sizeof(long));
686 }
687 HeapDefaultFree(pExitSubSchedule);
688
689 if(bDebugCompile&&bDebugSupportProc==0){
690 //call _DebugSys_EndProc
691 extern SUBINFO *pSub_DebugSys_EndProc;
692 op_call(pSub_DebugSys_EndProc);
693 }
694
695 //ラベル用のメモリを解放
696 for(i3=0;i3<MaxLabelNum;i3++){
697 if(pLabelNames[i3].pName) HeapDefaultFree(pLabelNames[i3].pName);
698 }
699 HeapDefaultFree(pLabelNames);
700
701 //Goto未知ラベルスケジュールを解放
702 for(i3=0;i3<GotoLabelScheduleNum;i3++){
703 if(pGotoLabelSchedule[i3].pName){
704 SetError(6,pGotoLabelSchedule[i3].pName,pGotoLabelSchedule[i3].now_cp);
705 HeapDefaultFree(pGotoLabelSchedule[i3].pName);
706 }
707 else{
708 sprintf(temporary,"%d",pGotoLabelSchedule[i3].line);
709 SetError(6,temporary,pGotoLabelSchedule[i3].now_cp);
710 }
711 }
712 HeapDefaultFree(pGotoLabelSchedule);
713
714 //With情報のメモリを解放
715 for(i3=0;i3<WithInfo.num;i3++){
716 SetError(22,"With",WithInfo.pWithCp[i3]);
717 HeapDefaultFree(WithInfo.ppName[i3]);
718 }
719 HeapDefaultFree(WithInfo.ppName);
720 HeapDefaultFree(WithInfo.pWithCp);
721
722 //重複エラー情報管理のメモリを解放
723 for(i3=0;i3<SynonymErrorNum;i3++) HeapDefaultFree(SynonymErrorWords[i3]);
724 HeapDefaultFree(SynonymErrorWords);
725
726 //ローカルオブジェクト（レキシカルスコープレベル=0）の解放処理
727 CallDestrouctorsOfScope();
728
729 if(psi->ReturnType!=-1){
730 //////////////////////////////////
731 // 戻り値をraxまたはxmm0に設定
732 //////////////////////////////////
733
734 RELATIVE_VAR RelativeVar;
735 LONG_PTR lpIndex;
736
737 char *temp;
738 if(psi->name[0]==1&&psi->name[1]==ESC_OPERATOR)
739 temp="_System_ReturnValue";
740 else temp=psi->name;
741 GetVarOffsetReadWrite(temp,&i3,&RelativeVar,&lpIndex);
742
743 i3=psi->ReturnType;
744
745 if(i3==DEF_OBJECT){
746 SetVarPtrToReg(REG_RAX,&RelativeVar);
747 }
748 else if(i3==DEF_DOUBLE){
749 //64ビット実数型
750 SetXmmReg_DoubleVariable(&RelativeVar,REG_XMM0);
751 }
752 else if(i3==DEF_SINGLE){
753 //32ビット実数型
754 SetXmmReg_SingleVariable(&RelativeVar,REG_XMM0);
755 }
756 else if(IsWholeNumberType(i3)){
757 //整数型
758 SetReg_WholeVariable(i3,&RelativeVar,REG_RAX);
759 }
760 else SetError(300,NULL,cp);
761 }
762
763 //ローカル変数領域のサイズをスタックフレームに通知
764 int iLocalParmSize;
765 iLocalParmSize=AllLocalVarSize-BaseLocalVar;
766 pobj_sf->SetLocalParmSize(iLocalParmSize);
767
768 //ローカル変数アドレススケジュール
769 for(i3=0;i3<LocalVarAddrScheduleNum;i3++){
770 *((long *)(OpBuffer+pLocalVarAddrSchedule[i3]))+=AllLocalVarSize+pobj_sf->GetFrameSize();
771 }
772 HeapDefaultFree(pLocalVarAddrSchedule);
773 for(i3=0;i3<MaxLocalVarNum;i3++){
774 //後にデバッグで利用する
775 LocalVar[i3].offset=AllLocalVarSize+pobj_sf->GetFrameSize()-LocalVar[i3].offset;
776 }
777
778 //mov reg,qword ptr[rsp+offset] ※スタックフレームを利用
779 pobj_sf->pop(REG_R15);
780 pobj_sf->pop(REG_R14);
781 pobj_sf->pop(REG_R13);
782 pobj_sf->pop(REG_R12);
783 pobj_sf->pop(REG_RDI);
784 pobj_sf->pop(REG_RSI);
785 pobj_sf->pop(REG_RBX);
786
787 int iStackFrameSize;
788 iStackFrameSize=iLocalParmSize + pobj_sf->GetFrameSize();
789
790 //add rsp,スタックフレームサイズ
791 op_add_rsp(iStackFrameSize);
792
793 //ret 0
794 OpBuffer[obp++]=(char)0xC3;
795
796
797 //デバッグ用
798 if(RspOffsetSchedule){
799 *((long *)(OpBuffer+RspOffsetSchedule))=iStackFrameSize;
800 *((long *)(OpBuffer+RspOffsetSchedule2))=iStackFrameSize+sizeof(_int64);
801 }
802
803
804 //スタックフレームスケジュール（subコマンド）
805 *((long *)(OpBuffer+StackFrameSchedule))=iStackFrameSize;
806
807 //スタックフレームスケジュールを実行
808 pobj_sf->RunningSchedule();
809 delete pobj_sf;
810 pobj_sf=0;
811
812
813 psi->EndOpAddr=obp;
814 psi->pVar=LocalVar;
815 psi->VarNum=MaxLocalVarNum;
816
817 //ローカル変数のネーム情報は後に解放する
818}
819void CompileLocal(){
820 extern SUBINFO **ppSubHash;
821 int i2;
822 SUBINFO *psi;
823
824 extern BOOL bDll;
825 if(bDll){
826 //DLLの場合はグローバル変数を初期化するための関数を一番初めにコンパイルする
827 psi=GetSubHash("_System_InitDllGlobalVariables");
828 if(psi){
829 CompileBufferInProcedure(psi);
830 }
831 else SetError(300,NULL,cp);
832 }
833
834 //_System_InitStaticLocalVariablesは一番最後にコンパイル
835 //※一般関数内の静的変数オブジェクトをすべて収集しなければならない
836 extern SUBINFO *pSub_System_InitStaticLocalVariables;
837 pSub_System_InitStaticLocalVariables->bCompile=1;
838
839 //_System_Call_Destructor_of_GlobalObjectは一番最後にコンパイル
840 extern SUBINFO *pSub_System_Call_Destructor_of_GlobalObject;
841 pSub_System_Call_Destructor_of_GlobalObject->bCompile=1;
842
843Repeat:
844 for(i2=0;i2<MAX_HASH;i2++){
845 psi=ppSubHash[i2];
846 while(psi){
847 CompileBufferInProcedure(psi);
848 psi=psi->pNextData;
849 }
850 }
851
852 //プロシージャコンパイルによって、プロシージャコンパイルが必要になる場合
853 for(i2=0;i2<MAX_HASH;i2++){
854 psi=ppSubHash[i2];
855 while(psi){
856 if(psi->bUse&&psi->bCompile==0&&psi->bVirtual==0){
857 goto Repeat;
858 }
859
860 psi=psi->pNextData;
861 }
862 }
863
864 //_System_InitStaticLocalVariablesは一番最後にコンパイル
865 pSub_System_InitStaticLocalVariables->bCompile=0;
866 CompileBufferInProcedure(pSub_System_InitStaticLocalVariables);
867
868 //_System_Call_Destructor_of_GlobalObjectは一番最後にコンパイル
869 pSub_System_Call_Destructor_of_GlobalObject->bCompile=0;
870 CompileBufferInProcedure(pSub_System_Call_Destructor_of_GlobalObject);
871}
Note: See TracBrowser for help on using the repository browser.