source: dev/trunk/abdev/BasicCompiler64/Compile_Object.cpp@ 351

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

インターフェイス実装中…

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