source: dev/branches/egtra/ab5.0/abdev/compiler_x64/Compile_CallProc.cpp@ 827

Last change on this file since 827 was 731, checked in by dai, 16 years ago

[730]を64bit版にマージ。
File size: 17.6 KB
Line 
1#include "stdafx.h"
2
3#include <Compiler.h>
4
5#include "../BasicCompiler_Common/common.h"
6#include "Opcode.h"
7
8using namespace ActiveBasic::Compiler;
9
10void Call_DebugSys_SaveContext(){
11 //call _System_GetEip
12 extern const UserProc *pSub_System_GetEip;
13 compiler.codeGenerator.op_call(pSub_System_GetEip);
14
15 //mov rdx,rax
16 compiler.codeGenerator.op_mov_RR(REG_RDX,REG_RAX);
17
18 //mov rcx,rsp
19 compiler.codeGenerator.op_mov_RR(REG_RCX,REG_RSP);
20
21 //call _DebugSys_SaveContext
22 extern const UserProc *pSub_DebugSys_SaveContext;
23 compiler.codeGenerator.op_call(pSub_DebugSys_SaveContext);
24}
25
26bool Opcode_CallProcPtr( const char *variable, const char *lpszParms,ProcPointer *pProcPointer)
27{
28 extern BOOL bDebugSupportProc;
29 if( compiler.IsDebug() && bDebugSupportProc == 0 )
30 {
31 Call_DebugSys_SaveContext();
32 }
33
34
35 ////////////////////////
36 // パラメータのセット
37 ////////////////////////
38
39 //パラメータオブジェクトを生成
40 ParamImpl *pobj_parameter=0;
41 pobj_parameter=new ParamImpl(lpszParms);
42
43 // デフォルト引数を適用
44 pobj_parameter->ApplyDefaultParameters( pProcPointer->Params() );
45
46 //エラーチェック
47 if( !pobj_parameter->ErrorCheck(variable,pProcPointer->Params() ) ){
48 //パラメータにエラーがあるときは処理を終える
49 return false;
50 }
51
52 //スタックフレームに存在する既存のパラメータをバックアップ
53 pobj_parameter->BackupParameter( (int)pProcPointer->Params().size() );
54
55 //一時オブジェクトを生成
56 pobj_parameter->NewTempParameters( variable,pProcPointer->Params() );
57
58 //レジスタ、スタックフレームにセット
59 pobj_parameter->SetParameter(variable,pProcPointer->Params() );
60
61
62
63 RELATIVE_VAR RelativeVar;
64 GetVarOffsetReadOnly(variable,&RelativeVar,Type());
65 SetVarPtrToReg(REG_RAX,&RelativeVar);
66
67 //mov rax,qword ptr[rax]
68 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RAX,REG_RAX,0,MOD_BASE);
69
70 //call rax
71 compiler.codeGenerator.PutOld(
72 (char)0xFF,
73 (char)0xD0
74 );
75
76
77 //レジスタのブロッキングを解除 ※パラメータセット時にロックされたレジスタ
78 pobj_BlockReg->clear();
79
80 //一時オブジェクトを破棄
81 pobj_parameter->DeleteTempParameters();
82
83 //スタックフレームに存在する既存のパラメータを復元
84 pobj_parameter->RestoreParameter( (int)pProcPointer->Params().size() );
85
86 //パラメータオブジェクトを破棄
87 delete pobj_parameter;
88
89 return true;
90}
91
92bool Opcode_CallProc(const char *Parameter,const UserProc *pUserProc,DWORD dwFlags,const char *ObjectName)
93{
94 if( pUserProc->IsMacro() ){
95 if( lstrcmpi( pUserProc->GetName().c_str(), "Print" ) == 0 ){
96 Opcode_Print(Parameter,0);
97 return true;
98 }
99 if( lstrcmpi( pUserProc->GetName().c_str(), "Input" ) == 0 ){
100 Opcode_Input(Parameter);
101 return true;
102 }
103 if( lstrcmpi( pUserProc->GetName().c_str(), "Write" ) == 0 ){
104 Opcode_Print(Parameter,1);
105 return true;
106 }
107 }
108 if( (dwFlags&PROCFLAG_PERMIT_CONSTRUCTOR) == 0 && pUserProc->IsConstructor() )
109 {
110 // コンストラクタの直接呼出しはエラーとする
111 compiler.errorMessenger.Output(145,NULL,cp);
112 return false;
113 }
114 if( (dwFlags&PROCFLAG_PERMIT_DESTRUCTOR) == 0 && pUserProc->IsDestructor() )
115 {
116 // デストラクタの直接呼出しはエラーとする
117 compiler.errorMessenger.Output(146,NULL,cp);
118 return false;
119 }
120
121 pUserProc->Using();
122
123 bool isStatic = false;
124 const CClass *pobj_c = NULL;
125 const CMethod *pMethod = NULL;
126 Type leftType;
127 bool isFixedClass = false;
128 if( pUserProc->GetParentClassPtr() ){
129 //クラスのメンバ関数を呼び出す場合はアクセスチェックを行う
130 if(ObjectName[0] && (dwFlags&PROCFLAG_NEW)==0)
131 {
132 if(lstrcmpi(ObjectName,"Super")==0)
133 {
134 //クラスメンバ関数内から基底クラスの呼び出し
135 pobj_c=&compiler.GetCompilingClass().GetSuperClass();
136
137 isFixedClass = true;
138 }
139 else
140 {
141 //"->"によってオブジェクトを指定する通常のメンバ関数呼び出し
142 Type varType;
143 if( GetTermType( ObjectName, varType ) )
144 {
145 if( varType.IsObject() )
146 {
147 pobj_c = &varType.GetClass();
148 leftType = varType;
149 }
150 }
151
152 if( !pobj_c )
153 {
154 pobj_c = compiler.GetObjectModule().meta.FindClassSupportedTypeDef(
155 LexicalAnalyzer::FullNameToSymbol( ObjectName )
156 );
157 if( pobj_c ){
158 isStatic = true;
159 }
160 else{
161 compiler.errorMessenger.Output(300,NULL,cp);
162 }
163 }
164 }
165 }
166 else{
167 if(dwFlags&PROCFLAG_NEW){
168 GetVarType( ObjectName, leftType, false );
169
170 //New演算子によるコンストラクタ呼び出し
171 pobj_c = pUserProc->GetParentClassPtr();
172 }
173 else{
174 //クラスメンバ関数内から同一クラスのメンバ関数の呼び出し
175 pobj_c = &compiler.GetCompilingClass();
176 }
177 }
178
179
180 /////////////////////////////////
181 // メソッド情報を取得
182 /////////////////////////////////
183 pMethod = NULL;
184 if( ! isStatic ) pMethod = pobj_c->GetDynamicMethodOrInterfaceMethod( pUserProc );
185 if( ! pMethod ){
186 //動的メソッドが取得できなかったときは静的メソッドを当たる
187 pMethod = pobj_c->GetStaticMethods().GetMethodPtr( pUserProc );
188 if( !pMethod ){
189 compiler.errorMessenger.Output(300,NULL,cp);
190 return false;
191 }
192
193 //静的メンバ
194 isStatic = true;
195 }
196
197
198 //////////////////////////////
199 // アクセスエラーチェック
200 //////////////////////////////
201
202 if(ObjectName[0]){
203 //外部からの呼び出し
204 if( compiler.IsCompilingClass() && pobj_c == &compiler.GetCompilingClass() )
205 {
206 //同一クラスオブジェクトの場合はプライベートアクセスを容認する
207 if( pMethod->IsNoneAccess() )
208 {
209 compiler.errorMessenger.Output(109,pUserProc->GetName(),cp);
210 return false;
211 }
212 }
213 else
214 {
215 if( pMethod->IsPrivate()
216 || pMethod->IsNoneAccess() )
217 {
218 compiler.errorMessenger.Output(109,pUserProc->GetName(),cp);
219 }
220 if( !pMethod->GetUserProc().GetParentClass().IsEqualsOrSubClass( pobj_c ) && pMethod->IsProtected() )
221 {
222 compiler.errorMessenger.Output(110,pUserProc->GetName(),cp);
223 return false;
224 }
225 }
226 }
227 else{
228 //クラス内部からの呼び出し（継承によるACCESS_NONのみをエラーとする）
229 if( pMethod->IsNoneAccess() ){
230 compiler.errorMessenger.Output(109,pUserProc->GetName(),cp);
231 return false;
232 }
233 }
234 }
235
236
237 ///////////////////////////////////////////////////////////////
238 // _System_LocalThisのダミーをセット
239 ///////////////////////////////////////////////////////////////
240
241 char temporary[VN_SIZE]={0};
242 if( pUserProc->GetParentClassPtr() && isStatic == false ){
243 //_System_LocalThis（第一パラメータ）のダミーを作成
244 lstrcpy(temporary,"0,");
245 }
246 if( pUserProc->ReturnType().IsStruct() ){
247 // ※ByRef _System_ReturnValue パラメータのダミーをセット
248 lstrcat(temporary,"0,");
249 }
250
251 if(Parameter[0]=='\0'&&temporary[0])
252 temporary[lstrlen(temporary)-1]=0;
253 else lstrcat(temporary,Parameter);
254
255
256 //パラメータセット前のspオフセットを取得（Newの場合はここにThisポインタが格納されている）
257 int this_sp_offset = pobj_sf->GetNowSp();
258
259
260 ////////////////////////
261 // パラメータをセット
262 ////////////////////////
263
264 //パラメータオブジェクトを生成
265 ParamImpl *pobj_parameter=0;
266 pobj_parameter=new ParamImpl(temporary);
267
268 // デフォルト引数を適用
269 pobj_parameter->ApplyDefaultParameters( pUserProc->RealParams() );
270
271 // 型パラメータを適用
272 pobj_parameter->SetLeftType( leftType );
273
274 //エラーチェック
275 if( !pobj_parameter->ErrorCheck(pUserProc->GetName(),pUserProc->RealParams(),pUserProc->GetSecondParmNum() ) ){
276 //パラメータにエラーがあるときは処理を終える
277 return false;
278 }
279
280 if(pUserProc->IsMacro()){
281 //マクロ関数の場合は、パラメータ省略を考慮する
282 pobj_parameter->MacroParameterSupport( pUserProc->RealParams() );
283 }
284
285 //スタックフレームに存在する既存のパラメータをバックアップ
286 pobj_parameter->BackupParameter( (int)pUserProc->RealParams().size() );
287
288 //一時オブジェクトを生成
289 pobj_parameter->NewTempParameters( pUserProc->GetName(),pUserProc->RealParams(),pUserProc->GetRealSecondParmNum() );
290
291 //レジスタ、スタックフレームにセット
292 pobj_parameter->SetParameter(pUserProc->GetName(),pUserProc->RealParams(),pUserProc->GetRealSecondParmNum(), pUserProc );
293
294 if( pUserProc->ReturnType().IsStruct() ){
295 //////////////////////////////////////////////////////
296 // 戻り値に構造体インスタンスを持つ場合
297 // ※ByRef _System_ReturnValue パラメータをセット
298 //////////////////////////////////////////////////////
299
300
301 //////////////////////////////////////////////////////
302 ///// レジスタ資源のバックアップ
303 { BACKUP_REGISTER_RESOURCE
304 //////////////////////////////////////////////////////
305
306 int object_size = pUserProc->ReturnType().GetClass().GetSize();
307
308 //mov rcx,object_size
309 compiler.codeGenerator.op_mov_RV(sizeof(_int64),REG_RCX,object_size);
310
311 //call calloc
312 extern const UserProc *pSub_calloc;
313 compiler.codeGenerator.op_call(pSub_calloc);
314
315 //mov r13,rax
316 compiler.codeGenerator.op_mov_RR(REG_R13,REG_RAX);
317
318 /////////////////////////////////////////////
319 ////// レジスタ資源を復元
320 RESTORE_REGISTER_RESOURCE
321 }////////////////////////////////////////////
322
323 if( pUserProc->GetParentClassPtr() && isStatic == false ){
324 //mov rdx,r13
325 compiler.codeGenerator.op_mov_RR(REG_RDX,REG_R13);
326 }
327 else{
328 //mov rcx,r13
329 compiler.codeGenerator.op_mov_RR(REG_RCX,REG_R13);
330 }
331 }
332
333
334 if( pUserProc->GetParentClassPtr() && isStatic == false ){
335 ///////////////////////////////
336 // メンバ関数の場合
337 // thisポインタをrcxで受け渡す
338 ///////////////////////////////
339
340 if(ObjectName[0] && (dwFlags&PROCFLAG_NEW)==0){
341 if(lstrcmpi(ObjectName,"Super")==0) goto InClassMember;
342 else{
343 bool isLiteral, isNeedHeapFreeStructure = false;
344 Type baseType( DEF_OBJECT, *pUserProc->GetParentClassPtr() ) , resultType;
345 if( !TermOpe( ObjectName, baseType, resultType, isLiteral, isNeedHeapFreeStructure, NULL, false, !pMethod->IsConst() ) )
346 {
347 return false;
348 }
349 if( !resultType.IsObject() )
350 {
351 compiler.errorMessenger.OutputFatalError();
352 }
353
354 // 実態ポインタをraxにコピー
355 compiler.codeGenerator.op_mov_RR( REG_RCX, REG_RAX );
356 }
357 }
358 else{
359InClassMember:
360 if(dwFlags&PROCFLAG_NEW){
361 //New演算子によるコンストラクタ呼び出しの場合
362
363 //mov rcx,qword ptr[rsp+offset] ※スタックフレームを利用
364 pobj_sf->ref_offset_data(REG_RCX, this_sp_offset);
365 }
366 else{
367 //自身のオブジェクトのThisポインタをrcxにコピー
368 SetThisPtrToReg(REG_RCX);
369 }
370 }
371 }
372
373 if( pUserProc->IsVirtual() && !isFixedClass ){
374 int vtblIndex;
375 if( pobj_c->IsInterface() )
376 {
377 // インターフェイス メソッド呼び出し
378
379 int offset_vtbl = compiler.GetObjectModule().meta.GetClasses().GetInterfaceInfoClassPtr()->GetMemberOffset( "__vtbl" );
380
381 // vtblのポインタを取得
382 //mov r11,qword ptr[rcx+offset_vtbl]
383 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_R11,REG_RCX,offset_vtbl,MOD_BASE_DISP8);
384
385 int offset_this = compiler.GetObjectModule().meta.GetClasses().GetInterfaceInfoClassPtr()->GetMemberOffset( "__this" );
386
387 // インターフェイスの場合は更に__thisを取得する
388 //mov rcx,qword ptr[rcx+offset_this]
389 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RCX,REG_RCX,offset_this,MOD_BASE_DISP8);
390
391 int vtblMasterListIndex;
392 pobj_c->GetVtblMasterListIndexAndVtblIndex( pUserProc, vtblMasterListIndex, vtblIndex );
393 if( vtblMasterListIndex != 0 )
394 {
395 compiler.errorMessenger.OutputFatalError();
396 }
397 }
398 else if( pobj_c->IsComInterface() )
399 {
400 // COMインターフェイス メソッド呼び出し
401
402 //仮想関数（オブジェクトメソッド）呼び出し
403 // pObj -> vtbl1 -> func1
404 // -> func2
405 // -> func3
406
407 int vtblMasterListIndex;
408 pobj_c->GetVtblMasterListIndexAndVtblIndex( pUserProc, vtblMasterListIndex, vtblIndex );
409
410 // vtblのポインタを取得
411 //mov r11,qword ptr[rcx]
412 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_R11,REG_RCX,0,MOD_BASE); }
413 else
414 {
415 //仮想関数（オブジェクトメソッド）呼び出し
416 // pObj -> vtbl_master_list -> vtbl1 -> func1
417 // -> func2
418 // -> func3
419 // -> vtbl2 -> func1
420 // -> func2
421 // -> func3
422
423 int vtblMasterListIndex;
424 pobj_c->GetVtblMasterListIndexAndVtblIndex( pUserProc, vtblMasterListIndex, vtblIndex );
425
426 // vtblマスターリストのポインタを取得
427 //mov r11,qword ptr[rcx+sizeof(com_vtbl)]
428 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_R11,REG_RCX,PTR_SIZE,MOD_BASE_DISP8);
429
430 // vtblのポインタを取得
431 //mov r11,dword ptr[r11+vtblMasterListIndex]
432 compiler.codeGenerator.op_mov_RM( sizeof(_int64), REG_R11, REG_R11, vtblMasterListIndex*PTR_SIZE, MOD_BASE_DISP32 );
433 }
434
435 //call qword ptr[r11+func_index]
436 if( vtblIndex * PTR_SIZE <= 0x7F ){
437 compiler.codeGenerator.PutOld(
438 (char)0x41,
439 (char)0xFF,
440 (char)0x53,
441 (char)(vtblIndex*PTR_SIZE)
442 );
443 }
444 else{
445 compiler.codeGenerator.PutOld(
446 (char)0x41,
447 (char)0xFF,
448 (char)0x93,
449 (long)(vtblIndex*PTR_SIZE)
450 );
451 }
452 }
453 else{
454 //通常呼び出し
455
456 //call ProcAddr
457 compiler.codeGenerator.op_call(pUserProc);
458 }
459
460 /* 64コンパイラでは不要
461 if(pDllProc->bCdecl){
462 //add esp,ParmSize
463 }*/
464
465
466 //レジスタのブロッキングを解除 ※パラメータセット時にロックされたレジスタ
467 pobj_BlockReg->clear();
468
469 //一時オブジェクトを破棄
470 pobj_parameter->DeleteTempParameters();
471
472 //スタックフレームに存在する既存のパラメータを復元
473 pobj_parameter->RestoreParameter( (int)pUserProc->RealParams().size() );
474
475 //パラメータオブジェクトを破棄
476 delete pobj_parameter;
477
478 return true;
479}
480
481bool Opcode_CallDllProc( const char *lpszParms, DllProc *pDllProc ){
482
483 extern BOOL bDebugSupportProc;
484 if( compiler.IsDebug() && bDebugSupportProc==0 && pDllProc->IsEqualSymbol( LexicalAnalyzer::FullNameToSymbol( "DebugBreak" ) ) )
485 {
486 Call_DebugSys_SaveContext();
487 }
488
489
490 ////////////////////////
491 // パラメータのセット
492 ////////////////////////
493
494 //パラメータオブジェクトを生成
495 ParamImpl *pobj_parameter=0;
496 pobj_parameter=new ParamImpl(lpszParms);
497
498 // デフォルト引数を適用
499 pobj_parameter->ApplyDefaultParameters( pDllProc->Params() );
500
501 //エラーチェック
502 if( !pobj_parameter->ErrorCheck( pDllProc->GetName(), pDllProc->Params() ) ){
503 //パラメータにエラーがあるときは処理を終える
504 return false;
505 }
506
507 //スタックフレームに存在する既存のパラメータをバックアップ
508 pobj_parameter->BackupParameter( (int)pDllProc->Params().size() );
509
510 //一時オブジェクトを生成
511 pobj_parameter->NewTempParameters( pDllProc->GetName(), pDllProc->Params() );
512
513 //レジスタ、スタックフレームにセット
514 pobj_parameter->SetParameter(pDllProc->GetName(), pDllProc->Params() );
515
516
517 //レジスタのブロッキングを解除 ※パラメータセット時にロックされたレジスタ
518 pobj_BlockReg->clear();
519
520
521 //動的リンクされたプロシージャの呼び出し
522
523 //call dword ptr[ImportTable]
524 compiler.codeGenerator.op_call( pDllProc );
525
526 /* 64コンパイラでは不要
527 if(pDllProc->bCdecl){
528 //add esp,ParmSize
529 }*/
530
531 //一時オブジェクトを破棄
532 pobj_parameter->DeleteTempParameters();
533
534 //スタックフレームに存在する既存のパラメータを復元
535 pobj_parameter->RestoreParameter( (int)pDllProc->Params().size() );
536
537 //パラメータオブジェクトを破棄
538 delete pobj_parameter;
539
540 return true;
541}
542
543void Opcode_CallDelegate( const Delegate &dg, const char *methodPtrValueStr, const char *objPtrValueStr, const char *params )
544{
545 extern BOOL bDebugSupportProc;
546 if( compiler.IsDebug() && bDebugSupportProc == 0 )
547 {
548 Call_DebugSys_SaveContext();
549 }
550
551
552 ///////////////////////////////////////////////////////////////
553 // _System_LocalThisのダミーをセット
554 ///////////////////////////////////////////////////////////////
555
556 char temporary[VN_SIZE]={0};
557 bool isDynamicCall = false;
558 if( objPtrValueStr && objPtrValueStr[0] ){
559 //_System_LocalThis（第一パラメータ）のダミーを作成
560 lstrcpy(temporary,"0,");
561
562 isDynamicCall = true;
563 }
564 if( dg.ReturnType().IsStruct() ){
565 // ※ByRef _System_ReturnValue パラメータのダミーをセット
566 lstrcat(temporary,"0,");
567 }
568
569 if(params[0]=='\0'&&temporary[0])
570 temporary[lstrlen(temporary)-1]=0;
571 else lstrcat(temporary,params);
572
573 const Parameters *pParams = &dg.Params();
574 if( isDynamicCall )
575 {
576 pParams = &dg.GetDynamicParams();
577 }
578
579
580 ParamImpl *pobj_parameter = new ParamImpl( temporary );
581
582 //スタックフレームに存在する既存のパラメータをバックアップ
583 pobj_parameter->BackupParameter( (int)pParams->size() );
584
585 //一時オブジェクトを生成
586 pobj_parameter->NewTempParameters( dg.GetName(), *pParams );
587
588 //レジスタ、スタックフレームにセット
589 pobj_parameter->SetParameter( dg.GetName(), *pParams );
590
591
592 if( objPtrValueStr && objPtrValueStr[0] )
593 {
594 RELATIVE_VAR RelativeVar;
595 //Constアクセスが不可能なメソッドの場合
596 if( !GetVarOffsetReadWrite( objPtrValueStr, &RelativeVar, Type() ) ){
597 Jenga::Throw( "Opcode_CallDelegate関数内で呼ばれるGetVarOffsetReadWrite関数に失敗" );
598 return;
599 }
600
601 SetVarPtrToReg(REG_RCX,&RelativeVar);
602
603 // 参照を実体ポインタにする
604 //mov rcx,qword ptr[rcx]
605 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RCX,REG_RCX,0,MOD_BASE);
606 }
607
608
609 {
610 ////////////////////////
611 // call
612 ////////////////////////
613 RELATIVE_VAR RelativeVar;
614 GetVarOffsetReadOnly( methodPtrValueStr, &RelativeVar, Type() );
615 SetVarPtrToReg(REG_RAX,&RelativeVar);
616
617 //mov rax,qword ptr[rax]
618 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RAX,REG_RAX,0,MOD_BASE);
619
620 //call rax
621 compiler.codeGenerator.PutOld(
622 (char)0xFF,
623 (char)0xD0
624 );
625 }
626
627
628 //レジスタのブロッキングを解除 ※パラメータセット時にロックされたレジスタ
629 pobj_BlockReg->clear();
630
631 //一時オブジェクトを破棄
632 pobj_parameter->DeleteTempParameters();
633
634 //スタックフレームに存在する既存のパラメータを復元
635 pobj_parameter->RestoreParameter( (int)pParams->size() );
636
637 //パラメータオブジェクトを破棄
638 delete pobj_parameter;
639}
Note: See TracBrowser for help on using the repository browser.