source: dev/trunk/ab5.0/abdev/compiler_x86/Compile_CallProc.cpp@ 702

Last change on this file since 702 was 702, checked in by dai_9181, 16 years ago
  • コンストラクタ、デストラクタの直接呼出しをエラー扱いにした。
    • コンストラクタ … New演算子にて、呼ばれるものとする。また、コンストラクタの1ステップ目にて、基底クラスのコンストラクタ呼び出しを許可する。
    • デストラクタ … Delete演算子にて呼ばれるものとする。また、デストラクタ内にて、基底クラスのコンストラクタ呼び出しが自動的に行われるものとする。

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