source: dev/trunk/abdev/BasicCompiler32/Compile_Object.cpp@ 361

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

静的領域に初期オブジェクトを配置可能にした

File size: 8.7 KB
Line 
1#include "stdafx.h"
2
3#include <Compiler.h>
4
5#include "../BasicCompiler_Common/common.h"
6#include "opcode.h"
7
8void _call_constructor( const CClass *pobj_c, const char *CreateParameter,int ObjectSize,BOOL bSomeObjects){
9 ////////////////////////////
10 // コンストラクタの呼び出し
11 ////////////////////////////
12
13 //この関数を使用する場合は、
14 //・ebxにオブジェクトの個数
15 //・eaxに先頭ポインタ
16 //をセットしておかなければならない
17
18
19/* //jnzのジャンプ先番地
20 extern int obp;
21 int jnz_back = obp;*/
22
23 if(bSomeObjects){
24 SetError();
25
26 //push ebx
27 //compiler.codeGenerator.op_push(REG_EBX);
28 }
29
30 // ※ここでプッシュされた値はコンストラクタのthisポインタとなる
31 //push eax
32 compiler.codeGenerator.op_push(REG_EAX);
33
34
35
36 ////////////////////////
37 // オーバーロードを解決
38 ////////////////////////
39
40 std::vector<const UserProc *> subs;
41 pobj_c->GetDynamicMethods().Enum( pobj_c->GetName().c_str(), subs );
42
43 const UserProc *pUserProc;
44 if( subs.size() > 0 ){
45 //オーバーロードを解決
46 pUserProc=OverloadSolutionWithStrParam(pobj_c->GetName().c_str(),
47 subs,CreateParameter,"");
48
49 if(!pUserProc) return;
50 }
51
52 //コンストラクタを呼び出す
53 Opcode_CallProc(CreateParameter,
54 pUserProc,
55 PROCFLAG_NEW,"");
56
57 {
58 // 動的型情報をセットする
59 // obj._System_SetType( _System_TypeBase_Search( fullName ) )
60 subs.clear();
61 pobj_c->GetDynamicMethods().Enum( "_System_SetType", subs );
62 if( subs.size() == 1 ){
63 char temporary[VN_SIZE];
64 sprintf( temporary, "_System_TypeBase_Search(\"%s\"))", pobj_c->GetFullName().c_str() );
65
66 Opcode_CallProc(temporary,
67 subs[0],
68 PROCFLAG_NEW,"");
69 }
70 else{
71 SetError();
72 }
73
74 // インターフェイスを初期化する
75 // TODO: 実装
76 }
77
78
79
80 //pop eax
81 compiler.codeGenerator.op_pop(REG_EAX);
82
83 if(bSomeObjects){
84 /*
85 //pop ebx
86 compiler.codeGenerator.op_pop(REG_EBX);
87
88 //add eax,TypeSize
89 compiler.codeGenerator.op_add_RV( REG_EAX, ObjectSize );
90
91 //sub ebx,1
92 compiler.codeGenerator.op_sub_RV8(REG_EBX,1);
93
94 //jne ↑
95 compiler.codeGenerator.op_jne( jnz_back-obp, sizeof(long), false, true );
96 */
97 }
98}
99void Operator_New( const CClass &objClass, const char *objectSizeStr, const char *parameter, const Type &baseType )
100{
101 const CClass *pClass = &objClass;
102
103 if( pClass->IsInterface() )
104 {
105 pClass = compiler.GetObjectModule().meta.GetClasses().GetInterfaceInfoClassPtr();
106 }
107
108 int typeSize = pClass->GetSize();
109
110 if(pClass->IsAbstract()){
111 //抽象クラスだったとき
112 SetError(125,pClass->GetName(),cp);
113 }
114
115 BOOL bSomeObjects=0;
116 if(objectSizeStr[0]){
117 bSomeObjects=1;
118
119 Type tempType;
120 NumOpe(objectSizeStr,Type(),tempType);
121 if( !tempType.IsWhole() ) SetError(49,NULL,cp);
122 ChangeTypeToLong(tempType.GetBasicType());
123
124 //pop eax
125 compiler.codeGenerator.op_pop(REG_EAX);
126
127 //※添え字上限値であることを考慮
128 //inc eax
129 compiler.codeGenerator.op_inc( REG_EAX );
130
131 //オブジェクトの個数をebxに一時保持
132 //※ebxは関数が呼ばれても不変
133 //mov ebx,eax
134 compiler.codeGenerator.op_mov_RR( REG_EBX, REG_EAX );
135
136 //imul eax,size
137 compiler.codeGenerator.op_imul_RV( REG_EAX, typeSize );
138
139 //add eax,OBJECT_HEAD_SIZE
140 compiler.codeGenerator.op_add_RV8( REG_EAX, (char)OBJECT_HEAD_SIZE );
141
142 //push eax
143 compiler.codeGenerator.op_push(REG_EAX);
144 }
145 else{
146 //オブジェクトの個数をebxに一時保持
147 //※ebxは関数が呼ばれても不変
148 //mov ebx,1
149 compiler.codeGenerator.op_mov_RV( REG_EBX, 1 );
150
151 //push size + OBJECT_HEAD_SIZE
152 compiler.codeGenerator.op_push_V( typeSize + OBJECT_HEAD_SIZE );
153 }
154
155 if( baseType.IsObject() ){
156 // オブジェクト インスタンス
157 // ※DeleteはGCで処理
158
159 //call _System_GC_malloc_ForObject
160 extern const UserProc *pSub_System_GC_malloc_ForObject;
161 compiler.codeGenerator.op_call(pSub_System_GC_malloc_ForObject);
162 }
163 else{
164 // オブジェクトポインタ
165 // ※明示的なDeleteが必要
166
167 //call _System_GC_malloc_ForObjectPtr
168 extern const UserProc *pSub_System_GC_malloc_ForObjectPtr;
169 compiler.codeGenerator.op_call(pSub_System_GC_malloc_ForObjectPtr);
170 }
171
172
173 /*
174 確保されたヒープ領域のポインタ(callocの戻り値eax)をpPtrとすると、
175 pPtr[0]=オブジェクトの個数
176 pPtr[1]=オブジェクトのサイズ
177 pPtr[2]=デストラクタの関数ポインタ
178 pPtr[3]=reserve
179 */
180
181
182 //mov dword ptr[eax],ebx(オブジェクトの個数)
183 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_EBX, REG_EAX, 0, MOD_BASE );
184
185 //add eax,sizeof(long)
186 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
187
188 //mov ecx,TypeSize
189 compiler.codeGenerator.op_mov_RV( REG_ECX, typeSize );
190
191 //mov dword ptr[eax],ecx(オブジェクトのサイズ)
192 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_ECX, REG_EAX, 0, MOD_BASE );
193
194 //add eax,sizeof(long)
195 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
196
197
198 const CMethod *method = pClass->GetDestructorMethod();
199 if( method == NULL ) return;
200
201 //mov ecx,DestructorProcAddr
202 compiler.codeGenerator.op_addressof( REG_ECX, &method->GetUserProc() );
203
204 //mov dword ptr[eax],ecx(デストラクタの関数ポインタ)
205 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_ECX, REG_EAX, 0, MOD_BASE );
206
207 //add eax,sizeof(long)
208 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
209
210
211 // リザーブ領域
212 //add eax,sizeof(long)
213 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
214
215
216 //仮想関数テーブルを初期化
217 if( pClass->IsExistVirtualFunctions()
218 && !pClass->IsAbstract() )
219 {
220 // mov ecx,vtblAddress
221 compiler.codeGenerator.op_mov_RV_vtbl( REG_ECX, pClass );
222
223 //mov dword ptr[eax],ecx
224 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_ECX, REG_EAX, 0, MOD_BASE );
225
226 // 仮想関数になるメソッドに使用チェックをつける
227 BOOST_FOREACH( const CMethod *pMethod, pClass->GetDynamicMethods() )
228 {
229 if( pMethod->IsVirtual() )
230 {
231 pMethod->GetUserProc().Using();
232 }
233 }
234 BOOST_FOREACH( const ::Interface *pInterface, pClass->GetInterfaces() )
235 {
236 BOOST_FOREACH( const CMethod *pMethod, pInterface->GetDynamicMethods() )
237 {
238 if( pMethod->IsVirtual() )
239 {
240 pMethod->GetUserProc().Using();
241 }
242 }
243 }
244 }
245
246
247 // ※ここでプッシュされた値はNew演算子の戻り値となる
248 //push eax
249 compiler.codeGenerator.op_push(REG_EAX);
250
251
252 /////////////////////////////////////////////////////////////////////
253
254 ////////////////////////////
255 // コンストラクタの呼び出し
256 ////////////////////////////
257
258 _call_constructor(pClass,parameter,typeSize,bSomeObjects);
259}
260void OpcodeDelete(const char *Parameter, bool isSweeping){
261 Type tempType;
262 if( !NumOpe(Parameter,Type(),tempType) ){
263 return;
264 }
265 if(!( tempType.IsObjectPtr() || tempType.IsVoidPtr() )) SetError(122,NULL,cp);
266
267 //pop eax
268 compiler.codeGenerator.op_pop(REG_EAX);
269
270 //sub eax,sizeof(DWORD)*3
271 compiler.codeGenerator.op_sub_RV8( REG_EAX, OBJECT_HEAD_SIZE );
272
273 //push eax
274 compiler.codeGenerator.op_push(REG_EAX);
275
276
277 //mov ebx,dword ptr[eax](オブジェクトの個数)
278 compiler.codeGenerator.op_mov_RM( sizeof(long), REG_EBX, REG_EAX, 0, MOD_BASE );
279
280 //add eax,sizeof(long)
281 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
282
283
284 //mov esi,dword ptr[eax](オブジェクトのサイズ)
285 compiler.codeGenerator.op_mov_RM( sizeof(long), REG_ESI, REG_EAX, 0, MOD_BASE );
286
287 //add eax,sizeof(long)
288 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
289
290
291 //mov edx,dword ptr[eax](デストラクタの関数ポインタ)
292 compiler.codeGenerator.op_mov_RM( sizeof(long), REG_EDX, REG_EAX, 0, MOD_BASE );
293
294 //add eax,sizeof(long)
295 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
296
297
298 // リザーブ領域
299 //add eax,sizeof(long)
300 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
301
302
303 //mov ecx,eax
304 compiler.codeGenerator.op_mov_RR( REG_ECX, REG_EAX );
305
306
307 //jnzの番地
308 /*extern int obp;
309 int jnz_back = obp;*/
310
311 //push ecx
312 compiler.codeGenerator.op_push(REG_ECX);
313
314 //push edx
315 compiler.codeGenerator.op_push(REG_EDX);
316
317 //push ecx(Thisポインタ ※隠れた第一パラメータ)
318 compiler.codeGenerator.op_push(REG_ECX);
319
320 //call edx
321 compiler.codeGenerator.op_call_R( REG_EDX );
322
323 //pop edx
324 compiler.codeGenerator.op_pop(REG_EDX);
325
326 //pop ecx
327 compiler.codeGenerator.op_pop(REG_ECX);
328
329 //add ecx,esi
330 compiler.codeGenerator.op_add_RR( REG_ECX, REG_ESI );
331
332 //sub ebx,1
333 compiler.codeGenerator.op_sub_RV8(REG_EBX,1);
334
335 //jne ↑
336 //compiler.codeGenerator.op_jne( jnz_back-obp, sizeof(long), false, true );
337
338
339 //////////////////////////////////////////
340 // オブジェクトメンバ変数用のメモリを解放
341 //////////////////////////////////////////
342
343 if( isSweeping ){
344 //call _System_GC_free_for_SweepingDelete
345 extern const UserProc *pSub_System_GC_free_for_SweepingDelete;
346 compiler.codeGenerator.op_call(pSub_System_GC_free_for_SweepingDelete);
347 }
348 else{
349 //call free
350 extern const UserProc *pSub_free;
351 compiler.codeGenerator.op_call(pSub_free);
352 }
353}
Note: See TracBrowser for help on using the repository browser.