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