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

Last change on this file since 335 was 334, checked in by dai_9181, 17 years ago
File size: 8.3 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->GetMethods().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( strNamespace, name ) )
60 subs.clear();
61 pobj_c->GetMethods().Enum( "_System_SetType", subs );
62 if( subs.size() == 1 ){
63 char temporary[VN_SIZE];
64 sprintf( temporary, "_System_TypeBase_Search(\"\",\"%s\"))", pobj_c->GetName().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 &classObj, const char *objectSizeStr, const char *parameter, const Type &baseType ){
100 int typeSize = classObj.GetSize();
101
102 if(classObj.IsAbstract()){
103 //抽象クラスだったとき
104 SetError(125,classObj.GetName(),cp);
105 }
106
107 BOOL bSomeObjects=0;
108 if(objectSizeStr[0]){
109 bSomeObjects=1;
110
111 Type tempType;
112 NumOpe(objectSizeStr,Type(),tempType);
113 if( !tempType.IsWhole() ) SetError(49,NULL,cp);
114 ChangeTypeToLong(tempType.GetBasicType());
115
116 //pop eax
117 compiler.codeGenerator.op_pop(REG_EAX);
118
119 //※添え字上限値であることを考慮
120 //inc eax
121 compiler.codeGenerator.op_inc( REG_EAX );
122
123 //オブジェクトの個数をebxに一時保持
124 //※ebxは関数が呼ばれても不変
125 //mov ebx,eax
126 compiler.codeGenerator.op_mov_RR( REG_EBX, REG_EAX );
127
128 //imul eax,size
129 compiler.codeGenerator.op_imul_RV( REG_EAX, typeSize );
130
131 //add eax,OBJECT_HEAD_SIZE
132 compiler.codeGenerator.op_add_RV8( REG_EAX, (char)OBJECT_HEAD_SIZE );
133
134 //push eax
135 compiler.codeGenerator.op_push(REG_EAX);
136 }
137 else{
138 //オブジェクトの個数をebxに一時保持
139 //※ebxは関数が呼ばれても不変
140 //mov ebx,1
141 compiler.codeGenerator.op_mov_RV( REG_EBX, 1 );
142
143 //push size + OBJECT_HEAD_SIZE
144 compiler.codeGenerator.op_push_V( typeSize + OBJECT_HEAD_SIZE );
145 }
146
147 if( baseType.IsObject() ){
148 // オブジェクト インスタンス
149 // ※DeleteはGCで処理
150
151 //call _System_GC_malloc_ForObject
152 extern const UserProc *pSub_System_GC_malloc_ForObject;
153 compiler.codeGenerator.op_call(pSub_System_GC_malloc_ForObject);
154 }
155 else{
156 // オブジェクトポインタ
157 // ※明示的なDeleteが必要
158
159 //call _System_GC_malloc_ForObjectPtr
160 extern const UserProc *pSub_System_GC_malloc_ForObjectPtr;
161 compiler.codeGenerator.op_call(pSub_System_GC_malloc_ForObjectPtr);
162 }
163
164
165 /*
166 確保されたヒープ領域のポインタ(callocの戻り値eax)をpPtrとすると、
167 pPtr[0]=オブジェクトの個数
168 pPtr[1]=オブジェクトのサイズ
169 pPtr[2]=デストラクタの関数ポインタ
170 pPtr[3]=reserve
171 */
172
173
174 //mov dword ptr[eax],ebx(オブジェクトの個数)
175 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_EBX, REG_EAX, 0, MOD_BASE );
176
177 //add eax,sizeof(long)
178 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
179
180 //mov ecx,TypeSize
181 compiler.codeGenerator.op_mov_RV( REG_ECX, typeSize );
182
183 //mov dword ptr[eax],ecx(オブジェクトのサイズ)
184 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_ECX, REG_EAX, 0, MOD_BASE );
185
186 //add eax,sizeof(long)
187 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
188
189
190 const CMethod *method = classObj.GetDestructorMethod();
191 if( method == NULL ) return;
192
193 //mov ecx,DestructorProcAddr
194 compiler.codeGenerator.op_addressof( REG_ECX, &method->GetUserProc() );
195
196 //mov dword ptr[eax],ecx(デストラクタの関数ポインタ)
197 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_ECX, REG_EAX, 0, MOD_BASE );
198
199 //add eax,sizeof(long)
200 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
201
202
203 // リザーブ領域
204 //add eax,sizeof(long)
205 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
206
207
208 //仮想関数テーブルを初期化
209 if( classObj.IsExistVirtualFunctions()
210 && !classObj.IsAbstract() )
211 {
212 // mov ecx,vtblAddress
213 compiler.codeGenerator.op_mov_RV_vtbl( REG_ECX, &classObj );
214
215 //mov dword ptr[eax],ecx
216 compiler.codeGenerator.op_mov_MR( sizeof(long), REG_ECX, REG_EAX, 0, MOD_BASE );
217
218 // 仮想関数になるメソッドに使用チェックをつける
219 BOOST_FOREACH( const CMethod *pMethod, classObj.GetMethods() )
220 {
221 if( pMethod->IsVirtual() )
222 {
223 pMethod->GetUserProc().Using();
224 }
225 }
226 }
227
228
229 // ※ここでプッシュされた値はNew演算子の戻り値となる
230 //push eax
231 compiler.codeGenerator.op_push(REG_EAX);
232
233
234 /////////////////////////////////////////////////////////////////////
235
236 ////////////////////////////
237 // コンストラクタの呼び出し
238 ////////////////////////////
239
240 _call_constructor(&classObj,parameter,typeSize,bSomeObjects);
241}
242void OpcodeDelete(const char *Parameter, bool isSweeping){
243 Type tempType;
244 if( !NumOpe(Parameter,Type(),tempType) ){
245 return;
246 }
247 if(!( tempType.IsObjectPtr() || tempType.IsVoidPtr() )) SetError(122,NULL,cp);
248
249 //pop eax
250 compiler.codeGenerator.op_pop(REG_EAX);
251
252 //sub eax,sizeof(DWORD)*3
253 compiler.codeGenerator.op_sub_RV8( REG_EAX, OBJECT_HEAD_SIZE );
254
255 //push eax
256 compiler.codeGenerator.op_push(REG_EAX);
257
258
259 //mov ebx,dword ptr[eax](オブジェクトの個数)
260 compiler.codeGenerator.op_mov_RM( sizeof(long), REG_EBX, REG_EAX, 0, MOD_BASE );
261
262 //add eax,sizeof(long)
263 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
264
265
266 //mov esi,dword ptr[eax](オブジェクトのサイズ)
267 compiler.codeGenerator.op_mov_RM( sizeof(long), REG_ESI, REG_EAX, 0, MOD_BASE );
268
269 //add eax,sizeof(long)
270 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
271
272
273 //mov edx,dword ptr[eax](デストラクタの関数ポインタ)
274 compiler.codeGenerator.op_mov_RM( sizeof(long), REG_EDX, REG_EAX, 0, MOD_BASE );
275
276 //add eax,sizeof(long)
277 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
278
279
280 // リザーブ領域
281 //add eax,sizeof(long)
282 compiler.codeGenerator.op_add_RV8( REG_EAX, sizeof(long) );
283
284
285 //mov ecx,eax
286 compiler.codeGenerator.op_mov_RR( REG_ECX, REG_EAX );
287
288
289 //jnzの番地
290 /*extern int obp;
291 int jnz_back = obp;*/
292
293 //push ecx
294 compiler.codeGenerator.op_push(REG_ECX);
295
296 //push edx
297 compiler.codeGenerator.op_push(REG_EDX);
298
299 //push ecx(Thisポインタ ※隠れた第一パラメータ)
300 compiler.codeGenerator.op_push(REG_ECX);
301
302 //call edx
303 compiler.codeGenerator.op_call_R( REG_EDX );
304
305 //pop edx
306 compiler.codeGenerator.op_pop(REG_EDX);
307
308 //pop ecx
309 compiler.codeGenerator.op_pop(REG_ECX);
310
311 //add ecx,esi
312 compiler.codeGenerator.op_add_RR( REG_ECX, REG_ESI );
313
314 //sub ebx,1
315 compiler.codeGenerator.op_sub_RV8(REG_EBX,1);
316
317 //jne ↑
318 //compiler.codeGenerator.op_jne( jnz_back-obp, sizeof(long), false, true );
319
320
321 //////////////////////////////////////////
322 // オブジェクトメンバ変数用のメモリを解放
323 //////////////////////////////////////////
324
325 if( isSweeping ){
326 //call _System_GC_free_for_SweepingDelete
327 extern const UserProc *pSub_System_GC_free_for_SweepingDelete;
328 compiler.codeGenerator.op_call(pSub_System_GC_free_for_SweepingDelete);
329 }
330 else{
331 //call free
332 extern const UserProc *pSub_free;
333 compiler.codeGenerator.op_call(pSub_free);
334 }
335}
Note: See TracBrowser for help on using the repository browser.