source: dev/trunk/ab5.0/abdev/BasicCompiler64/OperatorProc.cpp@ 448

Last change on this file since 448 was 448, checked in by dai_9181, 16 years ago

・デリゲートの共変戻り値、反変引数に対応した。
・core.libで定義されたデリゲートがアプリケーションプロジェクトで利用できないバグを修正。
File size: 9.0 KB
Line 
1#include "stdafx.h"
2
3#include <Compiler.h>
4
5#include "../BasicCompiler_Common/common.h"
6#include "Opcode.h"
7
8void FreeTempObject(int reg,const CClass *pobj_c){
9 if(!IsSafeReg(reg)) SetError(300,NULL,cp);
10
11 ////////////////////////////////////////////////
12 // 演算過程で利用した一時オブジェクトを破棄
13 // Thisポインタをr14レジスタを介して渡す
14 ////////////////////////////////////////////////
15
16 const CMethod *method = pobj_c->GetDestructorMethod();
17 if( method ){
18 //mov rcx,reg
19 compiler.codeGenerator.op_mov_RR(REG_RCX,reg);
20
21 //call DestructorProcAddr
22 compiler.codeGenerator.op_call( &method->GetUserProc() );
23 }
24
25 //mov rcx,reg
26 compiler.codeGenerator.op_mov_RR(REG_RCX,reg);
27
28 //call free
29 extern const UserProc *pSub_free;
30 compiler.codeGenerator.op_call(pSub_free);
31}
32
33int CallOperatorProc(BYTE idCalc, const Type &baseType, int *type_stack,LONG_PTR *index_stack,bool isNeedHeapFreeStructureStack[],int &sp)
34{
35 Type leftType( type_stack[sp-2], index_stack[sp-2] );
36 Type rightType( type_stack[sp-1] & (~FLAG_CAST), index_stack[sp-1] );
37
38 //オーバーロードされたオペレータ関数を呼び出す
39 const CClass *pobj_c = &leftType.GetClass();
40
41 std::vector<const UserProc *> subs;
42 pobj_c->GetDynamicMethods().Enum( idCalc, subs );
43 if( subs.size() == 0 ){
44 return 0;
45 }
46
47
48 //項の数
49 BOOL bTwoTerm=1;
50 if(idCalc==CALC_AS) bTwoTerm=0;
51
52
53 /////////////////////////////////////////////
54 // オーバーロード解決用のパラメータを設定
55 /////////////////////////////////////////////
56
57 Parameters params;
58
59 if(bTwoTerm)
60 {
61 params.push_back( new Parameter( "", rightType ) );
62 }
63
64 //オーバーロードを解決
65 char temporary[255];
66 if(idCalc==CALC_EQUAL) lstrcpy(temporary,"==");
67 else GetCalcName(idCalc,temporary);
68 const UserProc *pUserProc = OverloadSolution( temporary, subs, params, baseType, leftType );
69
70 if(!pUserProc){
71 if(bTwoTerm){
72 delete params[0];
73 }
74 return -1;
75 }
76 else{
77 //オーバーロードされていないが、パラメータ個数が一致しないとき
78 if(params.size()!=pUserProc->Params().size()){
79 if(bTwoTerm){
80 delete params[0];
81 }
82 return -1;
83 }
84 }
85
86 for(int i=0;i<(int)params.size();i++){
87 CheckDifferentType(
88 *pUserProc->Params()[i],
89 *params[i],
90 NULL,
91 i);
92 }
93
94 if(bTwoTerm){
95 delete params[0];
96 }
97
98 int right_side_size = rightType.GetSize();
99
100 if(bTwoTerm){
101 if( pUserProc->RealParams()[1]->IsStruct() &&pUserProc->RealParams()[1]->IsRef() == false ){
102 //一時オブジェクトはメソッド内で破棄される
103 isNeedHeapFreeStructureStack[sp-1] = false;
104 }
105 }
106
107
108 if( pUserProc->ReturnType().IsStruct() ){
109 //////////////////////////////////////////////////////
110 // 戻り値に構造体インスタンスを持つ場合
111 // ※ByRef _System_ReturnValue パラメータ用領域を取得
112 //////////////////////////////////////////////////////
113
114
115 //////////////////////////////////////////////////////
116 ///// レジスタ資源のバックアップ
117 { BACKUP_REGISTER_RESOURCE
118 //////////////////////////////////////////////////////
119
120 int object_size = pUserProc->ReturnType().GetClass().GetSize();
121
122 //mov rcx,object_size
123 compiler.codeGenerator.op_mov_RV(sizeof(_int64),REG_RCX,object_size);
124
125 //call calloc
126 extern const UserProc *pSub_calloc;
127 compiler.codeGenerator.op_call(pSub_calloc);
128
129 //mov r13,rax
130 compiler.codeGenerator.op_mov_RR(REG_R13,REG_RAX);
131
132 /////////////////////////////////////////////
133 ////// レジスタ資源を復元
134 RESTORE_REGISTER_RESOURCE
135 }////////////////////////////////////////////
136 }
137
138 int reg1,reg2;
139 if(bTwoTerm){
140 //右の項（実数の場合が未完成）
141 SetOneTermToReg_Whole64Calc(type_stack[sp-1],&reg2);
142 pobj_reg->UnlockReg();
143 if( !pUserProc->RealParams()[1]->IsRef() == false ){
144 //一時参照を作成
145 pobj_sf->push( reg2 );
146 pobj_sf->mov_sp( reg2 );
147 }
148 }
149
150 //左の項
151 SetOneTermToReg_Whole64Calc(DEF_INT64,&reg1);
152 pobj_reg->UnlockReg();
153
154 //ヒープ解放用に退避
155 if(isNeedHeapFreeStructureStack[sp-1]){
156 //mov qword ptr[rsp+offset],reg2 ※スタックフレームを利用
157 pobj_sf->push(reg2);
158 }
159 if(isNeedHeapFreeStructureStack[sp-2]){
160 //mov qword ptr[rsp+offset],reg1 ※スタックフレームを利用
161 pobj_sf->push(reg1);
162 }
163
164
165
166 //////////////////////////////////////////////////////
167 ///// レジスタ資源のバックアップ
168 { BACKUP_REGISTER_RESOURCE
169 //////////////////////////////////////////////////////
170
171 if(reg1==REG_RDX||reg1==REG_R8){
172 //mov r14,reg1
173 compiler.codeGenerator.op_mov_RR(REG_R14,reg1);
174 reg1=REG_R14;
175 }
176
177
178 if(bTwoTerm){
179 if( pUserProc->ReturnType().IsStruct() ){
180 //mov r8,reg2
181 compiler.codeGenerator.op_mov_RR(REG_R8,reg2);
182 }
183 else{
184 //mov rdx,reg2
185 compiler.codeGenerator.op_mov_RR(REG_RDX,reg2);
186 }
187 }
188
189 if( pUserProc->ReturnType().IsStruct() ){
190 //mov rdx,r13
191 compiler.codeGenerator.op_mov_RR(REG_RDX,REG_R13);
192 }
193
194 //mov rcx,reg1
195 compiler.codeGenerator.op_mov_RR(REG_RCX,reg1);
196
197 //call operator_proc
198 compiler.codeGenerator.op_call(pUserProc);
199
200 if( !pUserProc->ReturnType().IsNull() ){
201 //戻り値を一時的に退避
202
203 //mov r13,rax
204 compiler.codeGenerator.op_mov_RR(REG_R13,REG_RAX);
205 }
206
207
208 /////////////////////////////////////////////
209 ////// レジスタ資源を復元
210 RESTORE_REGISTER_RESOURCE
211 }////////////////////////////////////////////
212
213
214
215 if( isNeedHeapFreeStructureStack[sp-2] || isNeedHeapFreeStructureStack[sp-1] )
216 {
217 //////////////////////////////////////////////////////
218 ///// レジスタ資源のバックアップ
219 { BACKUP_REGISTER_RESOURCE
220 //////////////////////////////////////////////////////
221
222 if( isNeedHeapFreeStructureStack[sp-2] )
223 {
224 //mov r14,qword ptr[rsp+offset] ※スタックフレームを利用
225 pobj_sf->pop(REG_R14);
226
227 FreeTempObject(REG_R14,(CClass *)index_stack[sp-2]);
228 }
229 if( isNeedHeapFreeStructureStack[sp-1] )
230 {
231 //mov r14,qword ptr[rsp+offset] ※スタックフレームを利用
232 pobj_sf->pop(REG_R14);
233
234 FreeTempObject(REG_R14,(CClass *)index_stack[sp-1]);
235 }
236
237 /////////////////////////////////////////////
238 ////// レジスタ資源を復元
239 RESTORE_REGISTER_RESOURCE
240 }////////////////////////////////////////////
241 }
242
243 if(bTwoTerm){
244 if( !pUserProc->RealParams()[1]->IsRef() == false ){
245 //一時参照を破棄
246 pobj_sf->pop();
247 }
248 }
249
250 if( !pUserProc->ReturnType().IsNull() ){
251 //戻り値をreg1にセット
252 reg1=pobj_reg->LockReg();
253
254 //mov reg1,r13
255 compiler.codeGenerator.op_mov_RR(reg1,REG_R13);
256 }
257
258 sp--;
259 type_stack[sp-1]=pUserProc->ReturnType().GetBasicType();
260 index_stack[sp-1]=pUserProc->ReturnType().GetIndex();
261
262 if( pUserProc->ReturnType().IsStruct() )
263 {
264 //構造体が戻ったときはヒープ領域にインスタンスが格納されている
265 //※後にfreeする必要あり
266 isNeedHeapFreeStructureStack[sp-1] = true;
267 }
268 else
269 {
270 isNeedHeapFreeStructureStack[sp-1] = false;
271 }
272
273 return 1;
274}
275
276void CallCastOperatorProc(int reg,Type &calcType,BOOL bCalcUseHeap,const Type &toType){
277 int type_stack[10];
278 LONG_PTR index_stack[10];
279 bool array_bUseHeap[10];
280 int sp=2;
281 int iRet;
282
283
284 //////////////////////////////////////////////////////
285 ///// レジスタ資源のバックアップ
286 { BACKUP_REGISTER_RESOURCE
287 //////////////////////////////////////////////////////
288
289 //regを第一項目としてロック
290 pobj_reg=new CRegister(reg);
291 pobj_reg->LockReg();
292
293 if(bCalcUseHeap){
294 //未解放のインスタンスが存在する旨を示す警告
295 SetError(-105,NULL,cp);
296 }
297
298 //左辺
299 type_stack[0]=calcType.GetBasicType();
300 index_stack[0]=calcType.GetIndex();
301 array_bUseHeap[0]=0;
302 type_stack[1]=toType.GetBasicType();
303 index_stack[1]=toType.GetIndex();
304 array_bUseHeap[1]=0;
305
306 iRet=CallOperatorProc(CALC_AS,toType,type_stack,index_stack,array_bUseHeap,sp);
307
308 pobj_reg->UnlockReg();
309
310 /////////////////////////////////////////////
311 ////// レジスタ資源を復元
312 RESTORE_REGISTER_RESOURCE
313 }////////////////////////////////////////////
314
315
316 if(iRet==1){
317 //成功したとき
318 calcType.SetType( type_stack[0], index_stack[0] );
319 return;
320 }
321 else if(iRet==-1){
322 //エラーが発行されたとき
323 return;
324 }
325
326 //エラーを発行
327 SetError(-1,"キャスト演算子がオーバーロードされていません。",cp);
328}
329
330//インデクサ（getter）を呼び出す
331void CallIndexerGetterProc(int reg, const Type &classType, const char *ObjectName,char *Parameter,Type &resultType, DWORD dwProcFlags ){
332
333 std::vector<const UserProc *> subs;
334 classType.GetClass().GetDynamicMethods().Enum( CALC_ARRAY_GET, subs );
335 if( subs.size() == 0 ){
336 return;
337 }
338
339 const UserProc *pUserProc = subs[0];
340
341 //////////////////////////////////////////////////////
342 ///// レジスタ資源のバックアップ
343 { BACKUP_REGISTER_RESOURCE
344 //////////////////////////////////////////////////////
345
346 Opcode_CallProc(Parameter,pUserProc,dwProcFlags,ObjectName);
347 resultType = pUserProc->ReturnType();
348
349 //mov reg,rax
350 compiler.codeGenerator.op_mov_RR(reg,REG_RAX);
351
352 /////////////////////////////////////////////
353 ////// レジスタ資源を復元
354 RESTORE_REGISTER_RESOURCE
355 }////////////////////////////////////////////
356
357
358 // 型パラメータを解決
359 ResolveFormalGenericTypeParameter( resultType, classType, pUserProc );
360}
Note: See TracBrowser for help on using the repository browser.