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