[206] | 1 | #include "stdafx.h"
|
---|
| 2 |
|
---|
[3] | 3 | #include "Opcode.h"
|
---|
| 4 |
|
---|
[86] | 5 | void SystemProc( const UserProc &userProc ){
|
---|
| 6 | if( userProc.GetName() == "_System_GetEip" ){
|
---|
[3] | 7 | //mov rax,qword ptr[rsp]
|
---|
[226] | 8 | compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RAX,REG_RSP,0,MOD_BASE);
|
---|
[3] | 9 |
|
---|
| 10 | //ret
|
---|
[226] | 11 | compiler.codeGenerator.op_ret();
|
---|
[3] | 12 | }
|
---|
[86] | 13 | else if( userProc.GetName() == "_System_InitDllGlobalVariables" ){
|
---|
[3] | 14 | ////////////////////////////////////////
|
---|
| 15 | // DLLのグローバル領域をコンパイル
|
---|
| 16 | ////////////////////////////////////////
|
---|
[266] | 17 | if(!compiler.IsDll()){
|
---|
[3] | 18 | //ret
|
---|
[226] | 19 | compiler.codeGenerator.op_ret();
|
---|
[3] | 20 |
|
---|
| 21 | return;
|
---|
| 22 | }
|
---|
| 23 |
|
---|
| 24 | int BackCp;
|
---|
| 25 | BackCp=cp;
|
---|
| 26 | cp=-1;
|
---|
| 27 |
|
---|
| 28 | //sub rsp,スタックフレームサイズ
|
---|
[255] | 29 | const PertialSchedule *pStackFramePertialSchedule = compiler.codeGenerator.op_sub_rsp( 0, true );
|
---|
[3] | 30 |
|
---|
[460] | 31 | if( compiler.IsDebug() )
|
---|
| 32 | {
|
---|
[3] | 33 | //デバッグ用の変数を定義
|
---|
| 34 | DebugVariable();
|
---|
| 35 | }
|
---|
| 36 |
|
---|
| 37 | //GC用の変数を定義
|
---|
| 38 | InitGCVariables();
|
---|
| 39 |
|
---|
[129] | 40 | //_System_StartupProgramの呼び出し
|
---|
[206] | 41 | extern const UserProc *pSub_System_StartupProgram;
|
---|
[226] | 42 | compiler.codeGenerator.op_call(pSub_System_StartupProgram);
|
---|
[129] | 43 |
|
---|
[42] | 44 | //クラスに属する静的メンバを定義
|
---|
[584] | 45 | ActiveBasic::Compiler::ProcedureGenerator::Generate_InitStaticMember(
|
---|
| 46 | compiler.GetObjectModule().meta.GetClasses()
|
---|
| 47 | );
|
---|
[42] | 48 |
|
---|
[3] | 49 | GetGlobalDataForDll();
|
---|
| 50 |
|
---|
| 51 | //add rsp,スタックフレームサイズ
|
---|
[226] | 52 | compiler.codeGenerator.op_add_RV(REG_RSP,pobj_sf->GetFrameSize(0));
|
---|
[3] | 53 |
|
---|
| 54 | //スタックフレームスケジュール(subコマンドに渡す値)
|
---|
[255] | 55 | compiler.codeGenerator.opfix( pStackFramePertialSchedule, pobj_sf->GetFrameSize(0) );
|
---|
[3] | 56 |
|
---|
| 57 | cp=BackCp;
|
---|
| 58 |
|
---|
| 59 | //ret
|
---|
[226] | 60 | compiler.codeGenerator.op_ret();
|
---|
[3] | 61 | }
|
---|
[86] | 62 | else if( userProc.GetName() == "_System_InitStaticLocalVariables" ){
|
---|
[3] | 63 | //静的ローカルオブジェクトのコンストラクタ呼び出し
|
---|
| 64 |
|
---|
| 65 | //sub rsp,スタックフレームサイズ
|
---|
[255] | 66 | const PertialSchedule *pStackFramePertialSchedule = compiler.codeGenerator.op_sub_rsp( 0, true );
|
---|
[3] | 67 |
|
---|
[266] | 68 | BOOST_FOREACH( Variable *pVar, compiler.GetObjectModule().meta.GetGlobalVars() ){
|
---|
[75] | 69 | if(memicmp(pVar->GetName().c_str(),"Static%",7)==0){
|
---|
[3] | 70 | //コンストラクタ呼び出し
|
---|
[206] | 71 | if( pVar->GetType().IsObject() ){
|
---|
[3] | 72 |
|
---|
| 73 | //エラー用
|
---|
[75] | 74 | cp=pVar->source_code_address;
|
---|
[3] | 75 |
|
---|
[50] | 76 | CallConstructor(
|
---|
[75] | 77 | pVar->GetName().c_str(),
|
---|
[206] | 78 | pVar->GetSubscripts(),
|
---|
| 79 | pVar->GetType(),
|
---|
| 80 | pVar->GetParamStrForConstructor().c_str());
|
---|
[3] | 81 | }
|
---|
| 82 | }
|
---|
| 83 | }
|
---|
| 84 |
|
---|
| 85 | //add rsp,スタックフレームサイズ
|
---|
[226] | 86 | compiler.codeGenerator.op_add_RV(REG_RSP,pobj_sf->GetFrameSize(0));
|
---|
[3] | 87 |
|
---|
| 88 | //スタックフレームスケジュール(subコマンドに渡す値)
|
---|
[255] | 89 | compiler.codeGenerator.opfix( pStackFramePertialSchedule, pobj_sf->GetFrameSize(0) );
|
---|
[3] | 90 |
|
---|
| 91 | //ret
|
---|
[226] | 92 | compiler.codeGenerator.op_ret();
|
---|
[3] | 93 | }
|
---|
[643] | 94 | else if( userProc.GetName() == "_System_Call_Destructor_of_GlobalObject" )
|
---|
| 95 | {
|
---|
[3] | 96 | //sub rsp,8(※RSPを16バイト境界にあわせるため)
|
---|
[226] | 97 | compiler.codeGenerator.op_sub_rsp(0x8);
|
---|
[254] | 98 | compiler.codeGenerator.lexicalScopes.CallDestructorsOfScopeEnd();
|
---|
[3] | 99 |
|
---|
| 100 | //add rsp,8
|
---|
[226] | 101 | compiler.codeGenerator.op_add_RV(REG_RSP,0x8);
|
---|
[3] | 102 |
|
---|
| 103 | //ret
|
---|
[226] | 104 | compiler.codeGenerator.op_ret();
|
---|
[3] | 105 | }
|
---|
[90] | 106 | else{
|
---|
[468] | 107 | compiler.errorMessenger.OutputFatalError();
|
---|
[90] | 108 | }
|
---|
| 109 | }
|
---|
[206] | 110 | void AutoGeneration(const UserProc &userProc){
|
---|
[90] | 111 | if( userProc.GetName() == "InitializeUserTypes"
|
---|
[89] | 112 | && userProc.HasParentClass()
|
---|
[353] | 113 | && userProc.GetParentClass().GetName() == "_System_TypeBase" )
|
---|
| 114 | {
|
---|
[584] | 115 | ActiveBasic::Compiler::ProcedureGenerator::Generate_System_InitializeUserTypes(
|
---|
| 116 | compiler.GetObjectModule().meta.GetClasses()
|
---|
| 117 | );
|
---|
[86] | 118 | }
|
---|
[355] | 119 | else if( userProc.GetName() == "InitializeUserTypesForBaseType"
|
---|
| 120 | && userProc.HasParentClass()
|
---|
| 121 | && userProc.GetParentClass().GetName() == "_System_TypeBase" )
|
---|
| 122 | {
|
---|
[584] | 123 | ActiveBasic::Compiler::ProcedureGenerator::Generate_System_InitializeUserTypesForBaseType(
|
---|
| 124 | compiler.GetObjectModule().meta.GetClasses()
|
---|
| 125 | );
|
---|
[355] | 126 | }
|
---|
[95] | 127 | else if( userProc.GetName() == "RegisterGlobalRoots"
|
---|
| 128 | && userProc.HasParentClass()
|
---|
[353] | 129 | && userProc.GetParentClass().GetName() == "_System_CGarbageCollection" )
|
---|
| 130 | {
|
---|
| 131 | Compile_AddGlobalRootsForGc();
|
---|
[95] | 132 | }
|
---|
[643] | 133 | else if( userProc.GetName() == compiler.globalAreaProcName )
|
---|
| 134 | {
|
---|
[309] | 135 | ////////////////////////////////////////
|
---|
| 136 | // グローバル領域をコンパイル
|
---|
| 137 | ////////////////////////////////////////
|
---|
| 138 |
|
---|
[364] | 139 | UserProc::pGlobalProc = &userProc;
|
---|
| 140 |
|
---|
[309] | 141 | int BackCp = cp;
|
---|
| 142 | cp=-1;
|
---|
| 143 |
|
---|
| 144 | //クラスに属する静的メンバを定義
|
---|
[584] | 145 | ActiveBasic::Compiler::ProcedureGenerator::Generate_InitStaticMember(
|
---|
| 146 | compiler.GetObjectModule().meta.GetClasses()
|
---|
| 147 | );
|
---|
[309] | 148 |
|
---|
| 149 | //グローバル実行領域をコンパイル開始
|
---|
| 150 | CompileBuffer(0,0);
|
---|
| 151 |
|
---|
| 152 | //Goto未知ラベルスケジュールが存在したらエラーにする
|
---|
| 153 | BOOST_FOREACH( const GotoLabelSchedule *pGotoLabelSchedule, compiler.codeGenerator.gotoLabelSchedules )
|
---|
| 154 | {
|
---|
| 155 | if(pGotoLabelSchedule->GetName().size()>0){
|
---|
[468] | 156 | compiler.errorMessenger.Output(6,pGotoLabelSchedule->GetName(),pGotoLabelSchedule->GetSourceCodePos());
|
---|
[309] | 157 | }
|
---|
| 158 | else{
|
---|
| 159 | char temporary[255];
|
---|
| 160 | sprintf(temporary,"%d",pGotoLabelSchedule->GetLineNum());
|
---|
[468] | 161 | compiler.errorMessenger.Output(6,temporary,pGotoLabelSchedule->GetSourceCodePos());
|
---|
[309] | 162 | }
|
---|
| 163 | }
|
---|
| 164 |
|
---|
| 165 | cp=BackCp;
|
---|
| 166 | }
|
---|
[350] | 167 | else if( userProc.HasParentClass()
|
---|
| 168 | && userProc.IsCastOperator()
|
---|
| 169 | && userProc.ReturnType().IsInterface() )
|
---|
| 170 | {
|
---|
| 171 | // インターフェイス型にキャストするためのメソッド
|
---|
| 172 |
|
---|
| 173 | int vtblMasterListIndex = userProc.GetParentClass().GetVtblMasterListIndex( &userProc.ReturnType().GetClass() );
|
---|
| 174 |
|
---|
| 175 | char temporary[1024];
|
---|
| 176 | sprintf( temporary,
|
---|
[370] | 177 | "Return New %s(ObjPtr( This ),Get_LONG_PTR( (Get_LONG_PTR( ObjPtr(This)+SizeOf(VoidPtr) ) + SizeOf(LONG_PTR)*%d) As VoidPtr ) As VoidPtr )",
|
---|
[350] | 178 | userProc.ReturnType().GetClass().GetName().c_str(),
|
---|
| 179 | vtblMasterListIndex
|
---|
| 180 | );
|
---|
| 181 | MakeMiddleCode( temporary );
|
---|
| 182 |
|
---|
| 183 | ChangeOpcode( temporary );
|
---|
| 184 | }
|
---|
[86] | 185 | else{
|
---|
[468] | 186 | compiler.errorMessenger.OutputFatalError();
|
---|
[86] | 187 | }
|
---|
[3] | 188 | }
|
---|
[206] | 189 | void _compile_proc(const UserProc *pUserProc){
|
---|
[3] | 190 | extern char *basbuf;
|
---|
| 191 | extern HANDLE hHeap;
|
---|
[76] | 192 | int i3,i4;
|
---|
[3] | 193 | char temporary[VN_SIZE];
|
---|
| 194 |
|
---|
[206] | 195 | if( pUserProc->GetLocalVars().size() ){
|
---|
[468] | 196 | compiler.errorMessenger.OutputFatalError();
|
---|
[76] | 197 | return;
|
---|
| 198 | }
|
---|
| 199 |
|
---|
[633] | 200 | trace_for_sourcecodestep( "★★★ " << FormatEscapeSequenceStringToDefaultString( pUserProc->GetFullName() ) << "のコンパイルを開始" );
|
---|
[206] | 201 |
|
---|
[75] | 202 | pUserProc->CompleteCompile();
|
---|
[3] | 203 |
|
---|
| 204 | extern BOOL bDebugSupportProc;
|
---|
[75] | 205 | if(memcmp(pUserProc->GetName().c_str(),"_DebugSys_",10)==0){
|
---|
[460] | 206 | if( !compiler.IsDebug() )
|
---|
| 207 | {
|
---|
[3] | 208 | return;
|
---|
| 209 | }
|
---|
| 210 | bDebugSupportProc=1;
|
---|
| 211 | }
|
---|
| 212 | else bDebugSupportProc=0;
|
---|
| 213 |
|
---|
[584] | 214 | compiler.StartProcedureCompile( pUserProc );
|
---|
[89] | 215 |
|
---|
[643] | 216 | if(pUserProc->IsAutoGenerationSystem()){
|
---|
[3] | 217 | ////////////////////
|
---|
| 218 | // 特殊関数
|
---|
| 219 | ////////////////////
|
---|
| 220 |
|
---|
| 221 | extern int AllLocalVarSize;
|
---|
| 222 | AllLocalVarSize=0;
|
---|
| 223 |
|
---|
| 224 | //スタックフレーム管理用オブジェクトを初期化
|
---|
[308] | 225 | extern StackFrame *pobj_sf;
|
---|
| 226 | pobj_sf=new StackFrame();
|
---|
[3] | 227 |
|
---|
[86] | 228 | SystemProc(*pUserProc);
|
---|
[3] | 229 |
|
---|
| 230 | //スタックフレーム管理用オブジェクトを破棄
|
---|
| 231 | delete pobj_sf;
|
---|
| 232 | pobj_sf=0;
|
---|
| 233 |
|
---|
| 234 | return;
|
---|
| 235 | }
|
---|
| 236 |
|
---|
[353] | 237 | if( !pUserProc->IsAutoGeneration() )
|
---|
| 238 | {
|
---|
[643] | 239 | // 対象のソースコードを含むオブジェクトモジュールのインデックスを指定する
|
---|
| 240 | // ※テンプレート展開がされている場合、対象のソースコードが現在のオブジェクトモジュールではない場合がある
|
---|
| 241 | compiler.SetCurrentRelationalObjectModuleIndexForSource( pUserProc->GetSourceCodePosition().GetRelationalObjectModuleIndex() );
|
---|
| 242 | basbuf = const_cast<char *>(compiler.GetCurrentSource().GetBuffer());
|
---|
| 243 |
|
---|
[633] | 244 | cp=pUserProc->GetSourceCodePosition().GetPos();
|
---|
[353] | 245 | for(;;cp++){
|
---|
| 246 | if(IsCommandDelimitation(basbuf[cp])) break;
|
---|
| 247 | }
|
---|
| 248 | cp--;
|
---|
[3] | 249 | }
|
---|
| 250 |
|
---|
| 251 | //プロシージャ抜け出しスケジュール(Exit Sub/Function)
|
---|
[254] | 252 | compiler.codeGenerator.exitSubCodePositions.clear();
|
---|
[3] | 253 |
|
---|
| 254 | //ラベル用のメモリを確保
|
---|
[262] | 255 | compiler.codeGenerator.gotoLabels.clear();
|
---|
[3] | 256 |
|
---|
| 257 | //Gotoラベルスケジュール
|
---|
[254] | 258 | compiler.codeGenerator.gotoLabelSchedules.clear();
|
---|
[3] | 259 |
|
---|
| 260 | //With情報のメモリを確保
|
---|
| 261 | extern WITHINFO WithInfo;
|
---|
| 262 | WithInfo.ppName=(char **)HeapAlloc(hHeap,0,1);
|
---|
| 263 | WithInfo.pWithCp=(int *)HeapAlloc(hHeap,0,1);
|
---|
| 264 | WithInfo.num=0;
|
---|
| 265 |
|
---|
| 266 | //Continueアドレスを初期化
|
---|
[242] | 267 | compiler.codeGenerator.ClearContinueArea();
|
---|
[3] | 268 |
|
---|
| 269 | //ローカル変数に関する情報
|
---|
| 270 | extern int AllLocalVarSize;
|
---|
| 271 | AllLocalVarSize=0;
|
---|
| 272 |
|
---|
| 273 | //レキシカルスコープ情報を初期化
|
---|
[308] | 274 | compiler.codeGenerator.lexicalScopes.Init( compiler.codeGenerator.GetNativeCodeSize() );
|
---|
[3] | 275 |
|
---|
| 276 |
|
---|
| 277 | /////////////////////////////////////
|
---|
| 278 | // パラメータ用の変数データを考慮
|
---|
| 279 | /////////////////////////////////////
|
---|
| 280 |
|
---|
[75] | 281 | //パラメータ用の変数データを考慮
|
---|
| 282 | for(i3=(int)pUserProc->RealParams().size()-1;i3>=0;i3--){
|
---|
| 283 | Parameter ¶m = *pUserProc->RealParams()[i3];
|
---|
[3] | 284 |
|
---|
[584] | 285 | Variable *pVar = new Variable(
|
---|
| 286 | ActiveBasic::Compiler::LexicalAnalyzer::FullNameToSymbol( param.GetVarName().c_str() ),
|
---|
| 287 | param,
|
---|
| 288 | false,
|
---|
| 289 | param.IsRef(),
|
---|
| 290 | "",
|
---|
| 291 | false
|
---|
| 292 | );
|
---|
[3] | 293 |
|
---|
[75] | 294 | if( param.IsArray() ){
|
---|
[206] | 295 | pVar->SetArray( param.GetSubscripts() );
|
---|
[3] | 296 | }
|
---|
| 297 |
|
---|
[75] | 298 | int varSize;
|
---|
| 299 | if( param.IsRef() == false && param.IsStruct() ){
|
---|
[64] | 300 | //構造体のByValパラメータ
|
---|
[75] | 301 | pVar->ThisIsParameter();
|
---|
| 302 | varSize=PTR_SIZE;
|
---|
[3] | 303 | }
|
---|
| 304 | else{
|
---|
[75] | 305 | if( param.IsArray() == false ){
|
---|
| 306 | varSize = pVar->GetMemorySize();
|
---|
[3] | 307 | }
|
---|
| 308 | else{
|
---|
[75] | 309 | varSize=PTR_SIZE;
|
---|
[3] | 310 | }
|
---|
| 311 | }
|
---|
[75] | 312 | AllLocalVarSize+=varSize;
|
---|
[206] | 313 | pVar->SetOffsetAddress( AllLocalVarSize );
|
---|
[3] | 314 |
|
---|
| 315 | //レキシカルスコープ情報
|
---|
[254] | 316 | pVar->SetScopeLevel( compiler.codeGenerator.lexicalScopes.GetNowLevel() );
|
---|
| 317 | pVar->SetScopeStartAddress( compiler.codeGenerator.lexicalScopes.GetStartAddress() );
|
---|
[392] | 318 | pVar->isLiving = true;
|
---|
[3] | 319 |
|
---|
[206] | 320 | pUserProc->GetLocalVars().push_back( pVar );
|
---|
[3] | 321 | }
|
---|
| 322 |
|
---|
| 323 | //Thisポインタを示すローカルオフセット値をセット
|
---|
| 324 | extern int LocalVar_ThisPtrOffset;
|
---|
| 325 | LocalVar_ThisPtrOffset=AllLocalVarSize;
|
---|
| 326 |
|
---|
| 327 | //スタックフレーム管理用クラスを初期化
|
---|
[308] | 328 | extern StackFrame *pobj_sf;
|
---|
| 329 | pobj_sf=new StackFrame();
|
---|
[3] | 330 |
|
---|
| 331 |
|
---|
| 332 | ///////////////////////
|
---|
| 333 | // ここからコード生成
|
---|
| 334 |
|
---|
[75] | 335 | for(i3=(int)pUserProc->RealParams().size()-1;i3>=0;i3--){
|
---|
| 336 | Parameter ¶m = *pUserProc->RealParams()[i3];
|
---|
[3] | 337 | if(i3==3){
|
---|
[75] | 338 | if(param.IsReal()&¶m.IsRef() == false){
|
---|
[3] | 339 | //movsd qword ptr[rsp+0x20],xmm3
|
---|
[226] | 340 | compiler.codeGenerator.op_movsd_MR(REG_XMM3,REG_RSP,0x20,MOD_BASE_DISP32);
|
---|
[3] | 341 | }
|
---|
| 342 | else{
|
---|
| 343 | //mov qword ptr[rsp+0x20],r9
|
---|
[226] | 344 | compiler.codeGenerator.op_mov_MR(sizeof(_int64),REG_R9,REG_RSP,0x20,MOD_BASE_DISP32);
|
---|
[3] | 345 | }
|
---|
| 346 | }
|
---|
| 347 | if(i3==2){
|
---|
[75] | 348 | if(param.IsReal()&¶m.IsRef() == false){
|
---|
[3] | 349 | //movsd qword ptr[rsp+0x18],xmm2
|
---|
[226] | 350 | compiler.codeGenerator.op_movsd_MR(REG_XMM2,REG_RSP,0x18,MOD_BASE_DISP32);
|
---|
[3] | 351 | }
|
---|
| 352 | else{
|
---|
| 353 | //mov qword ptr[rsp+0x18],r8
|
---|
[226] | 354 | compiler.codeGenerator.op_mov_MR(sizeof(_int64),REG_R8,REG_RSP,0x18,MOD_BASE_DISP32);
|
---|
[3] | 355 | }
|
---|
| 356 | }
|
---|
| 357 | if(i3==1){
|
---|
[75] | 358 | if(param.IsReal()&¶m.IsRef() == false){
|
---|
[3] | 359 | //movsd qword ptr[rsp+0x10],xmm1
|
---|
[226] | 360 | compiler.codeGenerator.op_movsd_MR(REG_XMM1,REG_RSP,0x10,MOD_BASE_DISP32);
|
---|
[3] | 361 | }
|
---|
| 362 | else{
|
---|
| 363 | //mov qword ptr[rsp+0x10],rdx
|
---|
[226] | 364 | compiler.codeGenerator.op_mov_MR(sizeof(_int64),REG_RDX,REG_RSP,0x10,MOD_BASE_DISP32);
|
---|
[3] | 365 | }
|
---|
| 366 | }
|
---|
| 367 | if(i3==0){
|
---|
[75] | 368 | if(param.IsReal()&¶m.IsRef() == false){
|
---|
[3] | 369 | //movsd qword ptr[rsp+0x8],xmm0
|
---|
[226] | 370 | compiler.codeGenerator.op_movsd_MR(REG_XMM0,REG_RSP,0x8,MOD_BASE_DISP32);
|
---|
[3] | 371 | }
|
---|
| 372 | else{
|
---|
| 373 | //mov qword ptr[rsp+0x8],rcx
|
---|
[226] | 374 | compiler.codeGenerator.op_mov_MR(sizeof(_int64),REG_RCX,REG_RSP,0x8,MOD_BASE_DISP32);
|
---|
[3] | 375 | }
|
---|
| 376 | }
|
---|
| 377 | }
|
---|
| 378 |
|
---|
| 379 | //ret用のアドレスを考慮
|
---|
| 380 | AllLocalVarSize+=sizeof(_int64);
|
---|
| 381 |
|
---|
| 382 | //sub rsp,スタックフレームサイズ
|
---|
[255] | 383 | const PertialSchedule *pStackFramePertialSchedule = compiler.codeGenerator.op_sub_rsp( 0, true );
|
---|
[3] | 384 |
|
---|
| 385 | //mov qword ptr[rsp+offset],reg ※スタックフレームを利用
|
---|
| 386 | pobj_sf->push(REG_RBX);
|
---|
| 387 | pobj_sf->push(REG_RSI);
|
---|
| 388 | pobj_sf->push(REG_RDI);
|
---|
| 389 | pobj_sf->push(REG_R12);
|
---|
| 390 | pobj_sf->push(REG_R13);
|
---|
| 391 | pobj_sf->push(REG_R14);
|
---|
| 392 | pobj_sf->push(REG_R15);
|
---|
| 393 |
|
---|
| 394 | //ローカル変数のベース値
|
---|
| 395 | int BaseLocalVar;
|
---|
| 396 | BaseLocalVar=AllLocalVarSize;
|
---|
| 397 |
|
---|
[75] | 398 | if( !pUserProc->ReturnType().IsNull() ){
|
---|
[3] | 399 | //戻り値が存在するとき
|
---|
| 400 |
|
---|
[75] | 401 | const char *temp = pUserProc->GetName().c_str();
|
---|
| 402 | if( temp[0]==1&&temp[1]==ESC_OPERATOR ){
|
---|
| 403 | temp = "_System_ReturnValue";
|
---|
| 404 | }
|
---|
[3] | 405 |
|
---|
[75] | 406 | if( pUserProc->ReturnType().IsStruct() ){
|
---|
[64] | 407 | //戻り値用の構造体(値型)はパラメータで引き渡される
|
---|
[3] | 408 | }
|
---|
| 409 | else{
|
---|
[89] | 410 | if( pUserProc->ReturnType().IsObject() ){
|
---|
[308] | 411 | sprintf(temporary,"%s=Nothing%c%c%s",temp,1,ESC_AS, compiler.TypeToString( pUserProc->ReturnType() ).c_str() );
|
---|
[89] | 412 | }
|
---|
| 413 | else{
|
---|
| 414 | //戻り値用の変数の定義
|
---|
[308] | 415 | sprintf(temporary,"%s%c%c%s",temp,1,ESC_AS, compiler.TypeToString( pUserProc->ReturnType() ).c_str() );
|
---|
[89] | 416 | }
|
---|
[40] | 417 |
|
---|
[3] | 418 | OpcodeDim(temporary,0);
|
---|
| 419 | }
|
---|
| 420 | }
|
---|
| 421 |
|
---|
[255] | 422 | const PertialSchedule *pRspOffsetPertialSchedule1 = NULL;
|
---|
| 423 | const PertialSchedule *pRspOffsetPertialSchedule2 = NULL;
|
---|
[460] | 424 | if( compiler.IsDebug() && bDebugSupportProc == 0 )
|
---|
| 425 | {
|
---|
[3] | 426 | //mov rdx, qword ptr[rsp+スタックフレームサイズ]
|
---|
[255] | 427 | pRspOffsetPertialSchedule1 = compiler.codeGenerator.op_mov_RM(sizeof(_int64),REG_RDX,REG_RSP,0,MOD_BASE_DISP32, Schedule::None, true );
|
---|
[3] | 428 |
|
---|
| 429 | //mov rcx,rsp
|
---|
[226] | 430 | compiler.codeGenerator.op_mov_RR(REG_RCX,REG_RSP);
|
---|
[3] | 431 |
|
---|
| 432 | //add rcx,スタックフレームサイズ+sizeof(_int64) ※ret用のサイズを考慮
|
---|
[255] | 433 | pRspOffsetPertialSchedule2 = compiler.codeGenerator.op_add_RV(REG_RCX,0, Schedule::None, true );
|
---|
[3] | 434 |
|
---|
| 435 | //call _DebugSys_StartProc
|
---|
[206] | 436 | extern const UserProc *pSub_DebugSys_StartProc;
|
---|
[226] | 437 | compiler.codeGenerator.op_call(pSub_DebugSys_StartProc);
|
---|
[3] | 438 | }
|
---|
| 439 |
|
---|
[584] | 440 | if( compiler.IsCompilingClass() ){
|
---|
| 441 | if( pUserProc->GetName() == compiler.GetCompilingClass().GetName() ){
|
---|
[3] | 442 | ////////////////////////////////////
|
---|
| 443 | // コンストラクタをコンパイルするとき
|
---|
| 444 | ////////////////////////////////////
|
---|
| 445 |
|
---|
[17] | 446 | //コンストラクタのコンパイル開始を通知
|
---|
[584] | 447 | compiler.GetCompilingClass().NotifyStartConstructorCompile();
|
---|
[17] | 448 |
|
---|
[27] | 449 | //基底クラスかどうかの識別
|
---|
| 450 | //(継承元がインターフェイスの場合も基底クラスと見なす)
|
---|
[3] | 451 | BOOL bThisIsSuperClass;
|
---|
[584] | 452 | if( !compiler.GetCompilingClass().HasSuperClass() ) bThisIsSuperClass=1;
|
---|
| 453 | else if( compiler.GetCompilingClass().GetSuperClass().GetConstructorMethod() == NULL ){
|
---|
[3] | 454 | //インターフェイスを継承したときはコンストラクタを持たない
|
---|
| 455 | bThisIsSuperClass=1;
|
---|
| 456 | }
|
---|
| 457 | else bThisIsSuperClass=0;
|
---|
| 458 |
|
---|
| 459 | if(!bThisIsSuperClass){
|
---|
| 460 | /* サブクラスコンストラクタをコンパイルしているときは、
|
---|
[27] | 461 | 基底クラスのコンストラクタを呼び出す */
|
---|
[3] | 462 |
|
---|
| 463 | i3=cp+1;
|
---|
| 464 | while(IsCommandDelimitation(basbuf[i3])) i3++;
|
---|
| 465 | for(i4=0;;i3++,i4++){
|
---|
| 466 | if(!IsVariableChar(basbuf[i3])){
|
---|
| 467 | temporary[i4]=0;
|
---|
| 468 | break;
|
---|
| 469 | }
|
---|
| 470 | temporary[i4]=basbuf[i3];
|
---|
| 471 | }
|
---|
[584] | 472 | if( compiler.GetCompilingClass().GetSuperClass().GetName() == temporary ){
|
---|
[27] | 473 | //基底クラスのコンストラクタを呼び出す
|
---|
[3] | 474 | cp=i3;
|
---|
| 475 | for(i4=0;;cp++,i4++){
|
---|
| 476 | if(IsCommandDelimitation(basbuf[cp])){
|
---|
| 477 | temporary[i4]=0;
|
---|
| 478 | break;
|
---|
| 479 | }
|
---|
| 480 | temporary[i4]=basbuf[cp];
|
---|
| 481 | }
|
---|
| 482 | if(!(temporary[0]=='('&&temporary[lstrlen(temporary)-1]==')')){
|
---|
[468] | 483 | compiler.errorMessenger.Output(1,NULL,cp);
|
---|
[3] | 484 | }
|
---|
| 485 | RemoveStringPare(temporary);
|
---|
| 486 |
|
---|
[89] | 487 | Type dummyType;
|
---|
| 488 | CallProc( PROC_DEFAULT
|
---|
[584] | 489 | , &compiler.GetCompilingClass().GetSuperClass().GetConstructorMethod()->GetUserProc()
|
---|
| 490 | , compiler.GetCompilingClass().GetSuperClass().GetConstructorMethod()->GetUserProc().GetName().c_str()
|
---|
[89] | 491 | , temporary
|
---|
[331] | 492 | , Type() // baseTypeはなし
|
---|
| 493 | , dummyType
|
---|
| 494 | );
|
---|
[3] | 495 | }
|
---|
| 496 | else{
|
---|
[27] | 497 | //基底クラスのコンストラクタを暗黙的に呼び出す
|
---|
[3] | 498 | Opcode_CallProc("",
|
---|
[584] | 499 | &compiler.GetCompilingClass().GetSuperClass().GetConstructorMethod()->GetUserProc(),
|
---|
[3] | 500 | 0,
|
---|
[308] | 501 | "");
|
---|
[3] | 502 | }
|
---|
| 503 | }
|
---|
| 504 | }
|
---|
[75] | 505 | else if( pUserProc->IsDestructor() ){
|
---|
[18] | 506 | //デストラクタをコンパイルしたとき
|
---|
| 507 |
|
---|
| 508 | //デストラクタのコンパイル開始を通知
|
---|
[584] | 509 | compiler.GetCompilingClass().NotifyStartDestructorCompile();
|
---|
[18] | 510 | }
|
---|
[3] | 511 | }
|
---|
| 512 |
|
---|
| 513 | //////////////////////////////////////////
|
---|
| 514 | //////////////////////////////////////////
|
---|
| 515 | ////// プロシージャ内をコンパイル ////////
|
---|
[90] | 516 | if( pUserProc->IsAutoGeneration() ){
|
---|
| 517 | AutoGeneration( *pUserProc );
|
---|
| 518 | }
|
---|
[75] | 519 | else{
|
---|
[90] | 520 | if(pUserProc->IsMacro()){
|
---|
| 521 | CompileBuffer(ESC_ENDMACRO,0);
|
---|
| 522 | }
|
---|
| 523 | else{
|
---|
| 524 | if(pUserProc->IsSub()){
|
---|
| 525 | CompileBuffer(ESC_ENDSUB,0);
|
---|
| 526 | }
|
---|
| 527 | else if(pUserProc->IsFunction()){
|
---|
| 528 | CompileBuffer(ESC_ENDFUNCTION,0);
|
---|
| 529 | }
|
---|
| 530 | }
|
---|
[75] | 531 | }
|
---|
[3] | 532 | //////////////////////////////////////////
|
---|
| 533 | //////////////////////////////////////////
|
---|
| 534 |
|
---|
[584] | 535 | if( compiler.IsCompilingClass() ){
|
---|
[17] | 536 |
|
---|
[584] | 537 | if( compiler.GetCompilingClass().IsCompilingConstructor() ){
|
---|
[17] | 538 | // コンストラクタをコンパイルしていたとき
|
---|
[18] | 539 |
|
---|
[17] | 540 | // コンストラクタのコンパイルが完了したことを通知
|
---|
[584] | 541 | compiler.GetCompilingClass().NotifyFinishConstructorCompile();
|
---|
[17] | 542 | }
|
---|
[75] | 543 | else if( pUserProc->IsDestructor() ){
|
---|
[3] | 544 | ////////////////////////////////////
|
---|
| 545 | //デストラクタをコンパイルしたとき
|
---|
| 546 | ////////////////////////////////////
|
---|
| 547 |
|
---|
[18] | 548 | // デストラクタのコンパイルが完了したことを通知
|
---|
[584] | 549 | compiler.GetCompilingClass().NotifyFinishDestructorCompile();
|
---|
[18] | 550 |
|
---|
[584] | 551 | if( compiler.GetCompilingClass().HasSuperClass() ){
|
---|
[3] | 552 | /* サブクラスのデストラクタをコンパイルしているときは、
|
---|
[27] | 553 | 基底クラスのデストラクタを呼び出す */
|
---|
[3] | 554 |
|
---|
[584] | 555 | const CMethod *method = compiler.GetCompilingClass().GetSuperClass().GetDestructorMethod();
|
---|
[51] | 556 | if( method ){
|
---|
[3] | 557 | Opcode_CallProc("",
|
---|
[206] | 558 | &method->GetUserProc(),
|
---|
[3] | 559 | 0,
|
---|
[308] | 560 | "");
|
---|
[3] | 561 | }
|
---|
| 562 | }
|
---|
| 563 | }
|
---|
| 564 | }
|
---|
| 565 |
|
---|
[366] | 566 | // Tryスコープの検証
|
---|
| 567 | Exception::InspectTryScope();
|
---|
| 568 |
|
---|
[3] | 569 | //With情報のメモリを解放
|
---|
| 570 | for(i3=0;i3<WithInfo.num;i3++){
|
---|
[468] | 571 | compiler.errorMessenger.Output(22,"With",WithInfo.pWithCp[i3]);
|
---|
[3] | 572 | HeapDefaultFree(WithInfo.ppName[i3]);
|
---|
| 573 | }
|
---|
| 574 | HeapDefaultFree(WithInfo.ppName);
|
---|
| 575 | HeapDefaultFree(WithInfo.pWithCp);
|
---|
| 576 |
|
---|
| 577 | //ローカルオブジェクト(レキシカルスコープレベル=0)の解放処理
|
---|
[254] | 578 | compiler.codeGenerator.lexicalScopes.CallDestructorsOfScopeEnd();
|
---|
[3] | 579 |
|
---|
[34] | 580 | //プロシージャ抜け出しスケジュール(Exit Sub/Function)
|
---|
[254] | 581 | compiler.codeGenerator.ResolveExitSubSchedule();
|
---|
[34] | 582 |
|
---|
[460] | 583 | if( compiler.IsDebug() && bDebugSupportProc == 0 )
|
---|
| 584 | {
|
---|
[34] | 585 | //call _DebugSys_EndProc
|
---|
[206] | 586 | extern const UserProc *pSub_DebugSys_EndProc;
|
---|
[226] | 587 | compiler.codeGenerator.op_call(pSub_DebugSys_EndProc);
|
---|
[34] | 588 | }
|
---|
| 589 |
|
---|
[75] | 590 | if( !pUserProc->ReturnType().IsNull() ){
|
---|
[3] | 591 | //////////////////////////////////
|
---|
| 592 | // 戻り値をraxまたはxmm0に設定
|
---|
| 593 | //////////////////////////////////
|
---|
| 594 |
|
---|
| 595 | RELATIVE_VAR RelativeVar;
|
---|
| 596 |
|
---|
[75] | 597 | const char *temp = pUserProc->GetName().c_str();
|
---|
| 598 | if( temp[0]==1 && temp[1]==ESC_OPERATOR ){
|
---|
[3] | 599 | temp="_System_ReturnValue";
|
---|
[75] | 600 | }
|
---|
| 601 | GetVarOffsetReadWrite(temp,&RelativeVar,Type());
|
---|
[3] | 602 |
|
---|
[316] | 603 | const Type &returnType = pUserProc->ReturnType();
|
---|
| 604 | if( returnType.IsObject() || returnType.IsStruct() )
|
---|
| 605 | {
|
---|
[3] | 606 | SetVarPtrToReg(REG_RAX,&RelativeVar);
|
---|
[316] | 607 | if( returnType.IsObject() )
|
---|
| 608 | {
|
---|
[64] | 609 | //mov rax,qword ptr[rax]
|
---|
[226] | 610 | compiler.codeGenerator.op_mov_RM( sizeof(_int64), REG_RAX, REG_RAX, 0, MOD_BASE );
|
---|
[64] | 611 | }
|
---|
[3] | 612 | }
|
---|
[316] | 613 | else if( returnType.IsDouble() )
|
---|
| 614 | {
|
---|
[3] | 615 | //64ビット実数型
|
---|
| 616 | SetXmmReg_DoubleVariable(&RelativeVar,REG_XMM0);
|
---|
| 617 | }
|
---|
[316] | 618 | else if( returnType.IsSingle() )
|
---|
| 619 | {
|
---|
[3] | 620 | //32ビット実数型
|
---|
| 621 | SetXmmReg_SingleVariable(&RelativeVar,REG_XMM0);
|
---|
| 622 | }
|
---|
[316] | 623 | else if( returnType.IsWhole() )
|
---|
| 624 | {
|
---|
[3] | 625 | //整数型
|
---|
[318] | 626 | SetReg_WholeVariable(returnType,&RelativeVar,REG_RAX);
|
---|
[3] | 627 | }
|
---|
[468] | 628 | else compiler.errorMessenger.Output(300,NULL,cp);
|
---|
[3] | 629 | }
|
---|
| 630 |
|
---|
| 631 | //ローカル変数領域のサイズをスタックフレームに通知
|
---|
[220] | 632 | int localParmSize = AllLocalVarSize - BaseLocalVar;
|
---|
[232] | 633 | int stackFrameSize = pobj_sf->GetFrameSize( localParmSize );
|
---|
[3] | 634 |
|
---|
| 635 | //ローカル変数アドレススケジュール
|
---|
[254] | 636 | BOOST_FOREACH( const PertialSchedule *pPertialSchedule, compiler.codeGenerator.localVarPertialSchedules )
|
---|
| 637 | {
|
---|
[255] | 638 | compiler.codeGenerator.opfix_offset( pPertialSchedule, AllLocalVarSize + stackFrameSize );
|
---|
[3] | 639 | }
|
---|
[254] | 640 | compiler.codeGenerator.localVarPertialSchedules.clear();
|
---|
[206] | 641 | BOOST_FOREACH( Variable *pVar, pUserProc->GetLocalVars() ){
|
---|
[3] | 642 | //後にデバッグで利用する
|
---|
[206] | 643 | pVar->SetOffsetAddress(
|
---|
[220] | 644 | AllLocalVarSize + stackFrameSize - pVar->GetOffsetAddress()
|
---|
[206] | 645 | );
|
---|
[3] | 646 | }
|
---|
| 647 |
|
---|
| 648 | //mov reg,qword ptr[rsp+offset] ※スタックフレームを利用
|
---|
| 649 | pobj_sf->pop(REG_R15);
|
---|
| 650 | pobj_sf->pop(REG_R14);
|
---|
| 651 | pobj_sf->pop(REG_R13);
|
---|
| 652 | pobj_sf->pop(REG_R12);
|
---|
| 653 | pobj_sf->pop(REG_RDI);
|
---|
| 654 | pobj_sf->pop(REG_RSI);
|
---|
| 655 | pobj_sf->pop(REG_RBX);
|
---|
| 656 |
|
---|
[220] | 657 | int stackFrameAndLocalParamSize = localParmSize + stackFrameSize;
|
---|
[3] | 658 |
|
---|
| 659 | //add rsp,スタックフレームサイズ
|
---|
[226] | 660 | compiler.codeGenerator.op_add_rsp(stackFrameAndLocalParamSize);
|
---|
[3] | 661 |
|
---|
[142] | 662 | //ret
|
---|
[226] | 663 | compiler.codeGenerator.op_ret();
|
---|
[3] | 664 |
|
---|
| 665 |
|
---|
| 666 | //デバッグ用
|
---|
[255] | 667 | if( pRspOffsetPertialSchedule1 ){
|
---|
| 668 | compiler.codeGenerator.opfix( pRspOffsetPertialSchedule1, stackFrameAndLocalParamSize );
|
---|
| 669 | compiler.codeGenerator.opfix( pRspOffsetPertialSchedule2, stackFrameAndLocalParamSize + sizeof(_int64) );
|
---|
[3] | 670 | }
|
---|
| 671 |
|
---|
| 672 |
|
---|
| 673 | //スタックフレームスケジュール(subコマンド)
|
---|
[255] | 674 | compiler.codeGenerator.opfix( pStackFramePertialSchedule, stackFrameAndLocalParamSize );
|
---|
[3] | 675 |
|
---|
| 676 | //スタックフレームスケジュールを実行
|
---|
[220] | 677 | pobj_sf->RunningSchedule( stackFrameSize );
|
---|
[3] | 678 | delete pobj_sf;
|
---|
| 679 | pobj_sf=0;
|
---|
| 680 |
|
---|
| 681 |
|
---|
[584] | 682 | compiler.FinishProcedureCompile();
|
---|
| 683 |
|
---|
| 684 |
|
---|
| 685 | //ローカル変数のネーム情報は後に解放する
|
---|
[3] | 686 | }
|
---|