source: dev/trunk/ab5.0/abdev/compiler_x64/Compile_CallProc.cpp@ 704

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

[702]を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 return false;
220 }
221 if( !pMethod->GetUserProc().GetParentClass().IsEqualsOrSubClass( pobj_c ) && pMethod->IsProtected() )
222 {
223 compiler.errorMessenger.Output(110,pUserProc->GetName(),cp);
224 return false;
225 }
226 }
227 }
228 else{
229 //クラス内部からの呼び出し（継承によるACCESS_NONのみをエラーとする）
230 if( pMethod->IsNoneAccess() ){
231 compiler.errorMessenger.Output(109,pUserProc->GetName(),cp);
232 return false;
233 }
234 }
235 }
236
237
238 ///////////////////////////////////////////////////////////////
239 // _System_LocalThisのダミーをセット
240 ///////////////////////////////////////////////////////////////
241
242 char temporary[VN_SIZE]={0};
243 if( pUserProc->GetParentClassPtr() && isStatic == false ){
244 //_System_LocalThis（第一パラメータ）のダミーを作成
245 lstrcpy(temporary,"0,");
246 }
247 if( pUserProc->ReturnType().IsStruct() ){
248 // ※ByRef _System_ReturnValue パラメータのダミーをセット
249 lstrcat(temporary,"0,");
250 }
251
252 if(Parameter[0]=='\0'&&temporary[0])
253 temporary[lstrlen(temporary)-1]=0;
254 else lstrcat(temporary,Parameter);
255
256
257 //パラメータセット前のspオフセットを取得（Newの場合はここにThisポインタが格納されている）
258 int this_sp_offset = pobj_sf->GetNowSp();
259
260
261 ////////////////////////
262 // パラメータをセット
263 ////////////////////////
264
265 //パラメータオブジェクトを生成
266 ParamImpl *pobj_parameter=0;
267 pobj_parameter=new ParamImpl(temporary);
268
269 // デフォルト引数を適用
270 pobj_parameter->ApplyDefaultParameters( pUserProc->RealParams() );
271
272 // 型パラメータを適用
273 pobj_parameter->SetLeftType( leftType );
274
275 //エラーチェック
276 if( !pobj_parameter->ErrorCheck(pUserProc->GetName(),pUserProc->RealParams(),pUserProc->GetSecondParmNum() ) ){
277 //パラメータにエラーがあるときは処理を終える
278 return false;
279 }
280
281 if(pUserProc->IsMacro()){
282 //マクロ関数の場合は、パラメータ省略を考慮する
283 pobj_parameter->MacroParameterSupport( pUserProc->RealParams() );
284 }
285
286 //スタックフレームに存在する既存のパラメータをバックアップ
287 pobj_parameter->BackupParameter( (int)pUserProc->RealParams().size() );
288
289 //一時オブジェクトを生成
290 pobj_parameter->NewTempParameters( pUserProc->GetName(),pUserProc->RealParams(),pUserProc->GetRealSecondParmNum() );
291
292 //レジスタ、スタックフレームにセット
293 pobj_parameter->SetParameter(pUserProc->GetName(),pUserProc->RealParams(),pUserProc->GetRealSecondParmNum(), pUserProc );
294
295 if( pUserProc->ReturnType().IsStruct() ){
296 //////////////////////////////////////////////////////
297 // 戻り値に構造体インスタンスを持つ場合
298 // ※ByRef _System_ReturnValue パラメータをセット
299 //////////////////////////////////////////////////////
300
301
302 //////////////////////////////////////////////////////
303 ///// レジスタ資源のバックアップ
304 { BACKUP_REGISTER_RESOURCE
305 //////////////////////////////////////////////////////
306
307 int object_size = pUserProc->ReturnType().GetClass().GetSize();
308
309 //mov rcx,object_size
310 compiler.codeGenerator.op_mov_RV(sizeof(_int64),REG_RCX,object_size);
311
312 //call calloc
313 extern const UserProc *pSub_calloc;
314 compiler.codeGenerator.op_call(pSub_calloc);
315
316 //mov r13,rax
317 compiler.codeGenerator.op_mov_RR(REG_R13,REG_RAX);
318
319 /////////////////////////////////////////////
320 ////// レジスタ資源を復元
321 RESTORE_REGISTER_RESOURCE
322 }////////////////////////////////////////////
323
324 if( pUserProc->GetParentClassPtr() && isStatic == false ){
325 //mov rdx,r13
326 compiler.codeGenerator.op_mov_RR(REG_RDX,REG_R13);
327 }
328 else{
329 //mov rcx,r13
330 compiler.codeGenerator.op_mov_RR(REG_RCX,REG_R13);
331 }
332 }
333
334
335 if( pUserProc->GetParentClassPtr() && isStatic == false ){
336 ///////////////////////////////
337 // メンバ関数の場合
338 // thisポインタをrcxで受け渡す
339 ///////////////////////////////
340
341 if(ObjectName[0] && (dwFlags&PROCFLAG_NEW)==0){
342 if(lstrcmpi(ObjectName,"Super")==0) goto InClassMember;
343 else{
344 bool isLiteral, isNeedHeapFreeStructure = false;
345 Type baseType( DEF_OBJECT, *pUserProc->GetParentClassPtr() ) , resultType;
346 if( !TermOpe( ObjectName, baseType, resultType, isLiteral, isNeedHeapFreeStructure, NULL, false, !pMethod->IsConst() ) )
347 {
348 return false;
349 }
350 if( !resultType.IsObject() )
351 {
352 compiler.errorMessenger.OutputFatalError();
353 }
354
355 // 実態ポインタをraxにコピー
356 compiler.codeGenerator.op_mov_RR( REG_RCX, REG_RAX );
357 }
358 }
359 else{
360InClassMember:
361 if(dwFlags&PROCFLAG_NEW){
362 //New演算子によるコンストラクタ呼び出しの場合
363
364 //mov rcx,qword ptr[rsp+offset] ※スタックフレームを利用
365 pobj_sf->ref_offset_data(REG_RCX, this_sp_offset);
366 }
367 else{
368 //自身のオブジェクトのThisポインタをrcxにコピー
369 SetThisPtrToReg(REG_RCX);
370 }
371 }
372 }
373
374 if( pUserProc->IsVirtual() && !isFixedClass ){
375 int vtblIndex;
376 if( pobj_c->IsInterface() )
377 {
378 // インターフェイス メソッド呼び出し
379
380 int offset_vtbl = compiler.GetObjectModule().meta.GetClasses().GetInterfaceInfoClassPtr()->GetMemberOffset( "__vtbl" );
381
382 // vtblのポインタを取得
383 //mov r11,qword ptr[rcx+offset_vtbl]
384 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_R11,REG_RCX,offset_vtbl,MOD_BASE_DISP8);
385
386 int offset_this = compiler.GetObjectModule().meta.GetClasses().GetInterfaceInfoClassPtr()->GetMemberOffset( "__this" );
387
388 // インターフェイスの場合は更に__thisを取得する
389 //mov rcx,qword ptr[rcx+offset_this]
390 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RCX,REG_RCX,offset_this,MOD_BASE_DISP8);
391
392 int vtblMasterListIndex;
393 pobj_c->GetVtblMasterListIndexAndVtblIndex( pUserProc, vtblMasterListIndex, vtblIndex );
394 if( vtblMasterListIndex != 0 )
395 {
396 compiler.errorMessenger.OutputFatalError();
397 }
398 }
399 else if( pobj_c->IsComInterface() )
400 {
401 // COMインターフェイス メソッド呼び出し
402
403 //仮想関数（オブジェクトメソッド）呼び出し
404 // pObj -> vtbl1 -> func1
405 // -> func2
406 // -> func3
407
408 int vtblMasterListIndex;
409 pobj_c->GetVtblMasterListIndexAndVtblIndex( pUserProc, vtblMasterListIndex, vtblIndex );
410
411 // vtblのポインタを取得
412 //mov r11,qword ptr[rcx]
413 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_R11,REG_RCX,0,MOD_BASE); }
414 else
415 {
416 //仮想関数（オブジェクトメソッド）呼び出し
417 // pObj -> vtbl_master_list -> vtbl1 -> func1
418 // -> func2
419 // -> func3
420 // -> vtbl2 -> func1
421 // -> func2
422 // -> func3
423
424 int vtblMasterListIndex;
425 pobj_c->GetVtblMasterListIndexAndVtblIndex( pUserProc, vtblMasterListIndex, vtblIndex );
426
427 // vtblマスターリストのポインタを取得
428 //mov r11,qword ptr[rcx+sizeof(com_vtbl)]
429 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_R11,REG_RCX,PTR_SIZE,MOD_BASE_DISP8);
430
431 // vtblのポインタを取得
432 //mov r11,dword ptr[r11+vtblMasterListIndex]
433 compiler.codeGenerator.op_mov_RM( sizeof(_int64), REG_R11, REG_R11, vtblMasterListIndex*PTR_SIZE, MOD_BASE_DISP32 );
434 }
435
436 //call qword ptr[r11+func_index]
437 if( vtblIndex * PTR_SIZE <= 0x7F ){
438 compiler.codeGenerator.PutOld(
439 (char)0x41,
440 (char)0xFF,
441 (char)0x53,
442 (char)(vtblIndex*PTR_SIZE)
443 );
444 }
445 else{
446 compiler.codeGenerator.PutOld(
447 (char)0x41,
448 (char)0xFF,
449 (char)0x93,
450 (long)(vtblIndex*PTR_SIZE)
451 );
452 }
453 }
454 else{
455 //通常呼び出し
456
457 //call ProcAddr
458 compiler.codeGenerator.op_call(pUserProc);
459 }
460
461 /* 64コンパイラでは不要
462 if(pDllProc->bCdecl){
463 //add esp,ParmSize
464 }*/
465
466
467 //レジスタのブロッキングを解除 ※パラメータセット時にロックされたレジスタ
468 pobj_BlockReg->clear();
469
470 //一時オブジェクトを破棄
471 pobj_parameter->DeleteTempParameters();
472
473 //スタックフレームに存在する既存のパラメータを復元
474 pobj_parameter->RestoreParameter( (int)pUserProc->RealParams().size() );
475
476 //パラメータオブジェクトを破棄
477 delete pobj_parameter;
478
479 return true;
480}
481
482bool Opcode_CallDllProc( const char *lpszParms, DllProc *pDllProc ){
483
484 extern BOOL bDebugSupportProc;
485 if( compiler.IsDebug() && bDebugSupportProc==0 && pDllProc->IsEqualSymbol( LexicalAnalyzer::FullNameToSymbol( "DebugBreak" ) ) )
486 {
487 Call_DebugSys_SaveContext();
488 }
489
490
491 ////////////////////////
492 // パラメータのセット
493 ////////////////////////
494
495 //パラメータオブジェクトを生成
496 ParamImpl *pobj_parameter=0;
497 pobj_parameter=new ParamImpl(lpszParms);
498
499 // デフォルト引数を適用
500 pobj_parameter->ApplyDefaultParameters( pDllProc->Params() );
501
502 //エラーチェック
503 if( !pobj_parameter->ErrorCheck( pDllProc->GetName(), pDllProc->Params() ) ){
504 //パラメータにエラーがあるときは処理を終える
505 return false;
506 }
507
508 //スタックフレームに存在する既存のパラメータをバックアップ
509 pobj_parameter->BackupParameter( (int)pDllProc->Params().size() );
510
511 //一時オブジェクトを生成
512 pobj_parameter->NewTempParameters( pDllProc->GetName(), pDllProc->Params() );
513
514 //レジスタ、スタックフレームにセット
515 pobj_parameter->SetParameter(pDllProc->GetName(), pDllProc->Params() );
516
517
518 //レジスタのブロッキングを解除 ※パラメータセット時にロックされたレジスタ
519 pobj_BlockReg->clear();
520
521
522 //動的リンクされたプロシージャの呼び出し
523
524 //call dword ptr[ImportTable]
525 compiler.codeGenerator.op_call( pDllProc );
526
527 /* 64コンパイラでは不要
528 if(pDllProc->bCdecl){
529 //add esp,ParmSize
530 }*/
531
532 //一時オブジェクトを破棄
533 pobj_parameter->DeleteTempParameters();
534
535 //スタックフレームに存在する既存のパラメータを復元
536 pobj_parameter->RestoreParameter( (int)pDllProc->Params().size() );
537
538 //パラメータオブジェクトを破棄
539 delete pobj_parameter;
540
541 return true;
542}
543
544void Opcode_CallDelegate( const Delegate &dg, const char *methodPtrValueStr, const char *objPtrValueStr, const char *params )
545{
546 extern BOOL bDebugSupportProc;
547 if( compiler.IsDebug() && bDebugSupportProc == 0 )
548 {
549 Call_DebugSys_SaveContext();
550 }
551
552
553 ///////////////////////////////////////////////////////////////
554 // _System_LocalThisのダミーをセット
555 ///////////////////////////////////////////////////////////////
556
557 char temporary[VN_SIZE]={0};
558 bool isDynamicCall = false;
559 if( objPtrValueStr && objPtrValueStr[0] ){
560 //_System_LocalThis（第一パラメータ）のダミーを作成
561 lstrcpy(temporary,"0,");
562
563 isDynamicCall = true;
564 }
565 if( dg.ReturnType().IsStruct() ){
566 // ※ByRef _System_ReturnValue パラメータのダミーをセット
567 lstrcat(temporary,"0,");
568 }
569
570 if(params[0]=='\0'&&temporary[0])
571 temporary[lstrlen(temporary)-1]=0;
572 else lstrcat(temporary,params);
573
574 const Parameters *pParams = &dg.Params();
575 if( isDynamicCall )
576 {
577 pParams = &dg.GetDynamicParams();
578 }
579
580
581 ParamImpl *pobj_parameter = new ParamImpl( temporary );
582
583 //スタックフレームに存在する既存のパラメータをバックアップ
584 pobj_parameter->BackupParameter( (int)pParams->size() );
585
586 //一時オブジェクトを生成
587 pobj_parameter->NewTempParameters( dg.GetName(), *pParams );
588
589 //レジスタ、スタックフレームにセット
590 pobj_parameter->SetParameter( dg.GetName(), *pParams );
591
592
593 if( objPtrValueStr && objPtrValueStr[0] )
594 {
595 RELATIVE_VAR RelativeVar;
596 //Constアクセスが不可能なメソッドの場合
597 if( !GetVarOffsetReadWrite( objPtrValueStr, &RelativeVar, Type() ) ){
598 Jenga::Throw( "Opcode_CallDelegate関数内で呼ばれるGetVarOffsetReadWrite関数に失敗" );
599 return;
600 }
601
602 SetVarPtrToReg(REG_RCX,&RelativeVar);
603
604 // 参照を実体ポインタにする
605 //mov rcx,qword ptr[rcx]
606 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RCX,REG_RCX,0,MOD_BASE);
607 }
608
609
610 {
611 ////////////////////////
612 // call
613 ////////////////////////
614 RELATIVE_VAR RelativeVar;
615 GetVarOffsetReadOnly( methodPtrValueStr, &RelativeVar, Type() );
616 SetVarPtrToReg(REG_RAX,&RelativeVar);
617
618 //mov rax,qword ptr[rax]
619 compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RAX,REG_RAX,0,MOD_BASE);
620
621 //call rax
622 compiler.codeGenerator.PutOld(
623 (char)0xFF,
624 (char)0xD0
625 );
626 }
627
628
629 //レジスタのブロッキングを解除 ※パラメータセット時にロックされたレジスタ
630 pobj_BlockReg->clear();
631
632 //一時オブジェクトを破棄
633 pobj_parameter->DeleteTempParameters();
634
635 //スタックフレームに存在する既存のパラメータを復元
636 pobj_parameter->RestoreParameter( (int)pParams->size() );
637
638 //パラメータオブジェクトを破棄
639 delete pobj_parameter;
640}
Note: See TracBrowser for help on using the repository browser.