#include "../BasicCompiler_Common/common.h" #include "opcode.h" void _call_constructor( const CClass *pobj_c,const char *CreateParameter,int ObjectSize,BOOL bSomeObjects){ //////////////////////////// // コンストラクタの呼び出し //////////////////////////// //この関数を使用する場合は、 //・ebxにオブジェクトの個数(複数個の場合のみ) //・スタックフレームの先頭参照位置に先頭Thisポインタ //をセットしておかなければならない int jnz_back; //jnzの番地 jnz_back=obp; if(bSomeObjects){ SetError(); //mov qword ptr[rsp+offset],rbx ※スタックフレームを利用 pobj_sf->push(REG_RBX); // ※ここでプッシュされた値はコンストラクタのthisポインタとなる //mov qword ptr[rsp+offset],rax ※スタックフレームを利用 pobj_sf->push(REG_RAX); } //////////////////////// // オーバーロードを解決 //////////////////////// std::vector subs; pobj_c->EnumMethod( pobj_c->GetName().c_str(), subs ); UserProc *pUserProc; if( subs.size() > 0 ){ //オーバーロードを解決 pUserProc=OverloadSolutionWithStrParam(pobj_c->GetName().c_str(), subs,CreateParameter,""); if(!pUserProc) return; } //コンストラクタを呼び出す Opcode_CallProc(CreateParameter, pUserProc, PROCFLAG_NEW,"",0); { // 動的型情報をセットする // obj._System_SetType( _System_TypeBase.Search( strNamespace, name ) ) subs.clear(); pobj_c->EnumMethod( "_System_SetType", subs ); if( subs.size() == 1 ){ char temporary[VN_SIZE]; sprintf( temporary, "_System_TypeBase.Search(\"\",\"%s\"))", pobj_c->GetName().c_str() ); Opcode_CallProc(temporary, subs[0], PROCFLAG_NEW,"",0); } else{ SetError(); } } if(bSomeObjects){ //mov rax,qword ptr[rsp+offset] ※スタックフレームを利用 pobj_sf->pop(REG_RAX); //mov rbx,qword ptr[rsp+offset] ※スタックフレームを利用 pobj_sf->pop(REG_RBX); //add eax,TypeSize OpBuffer[obp++]=(char)0x05; *((long *)(OpBuffer+obp))=ObjectSize; obp+=sizeof(long); //sub ebx,1 OpBuffer[obp++]=(char)0x83; OpBuffer[obp++]=(char)0xEB; OpBuffer[obp++]=(char)0x01; //jnz ↑ OpBuffer[obp++]=(char)0x0F; OpBuffer[obp++]=(char)0x85; *((long *)(OpBuffer+obp))=jnz_back-(obp+sizeof(long)); obp+=sizeof(long); } } void Operator_New( const CClass &classObj, const char *objectSizeStr, const char *parameter, const Type &baseType ){ int typeSize = classObj.GetSize(); if(classObj.IsAbstract()){ //抽象クラスだったとき SetError(125,classObj.GetName().c_str(),cp); } BOOL bSomeObjects=0; if(objectSizeStr[0]){ bSomeObjects=1; int reg=REG_RAX; Type tempType; NumOpe(®,objectSizeStr,Type(),tempType); if( !tempType.IsWhole() ) SetError(49,NULL,cp); //※添え字上限値であることを考慮 //add rax,1 op_add_RV(REG_RAX,1); //オブジェクトの個数をrbxに一時保持 //※rbxは関数が呼ばれても不変 //mov rbx,rax op_mov_RR(REG_RBX,REG_RAX); //imul rax,size op_imul_RV(sizeof(_int64),REG_RAX,typeSize); //add rax,OBJECT_HEAD_SIZE op_add_RV(REG_RAX,OBJECT_HEAD_SIZE); //mov rcx,rax op_mov_RR(REG_RCX,REG_RAX); } else{ //オブジェクトの個数をrbxに一時保持 //※rbxは関数が呼ばれても不変 //mov rbx,1 op_mov_RV(sizeof(_int64),REG_RBX,1); //mov rcx,typeSize+OBJECT_HEAD_SIZE op_mov_RV(sizeof(_int64),REG_RCX,typeSize+OBJECT_HEAD_SIZE); } if( baseType.IsObject() ){ // オブジェクト インスタンス // ※DeleteはGCで処理 //call _System_GC_malloc_ForObject extern UserProc *pSub_System_GC_malloc_ForObject; op_call(pSub_System_GC_malloc_ForObject); } else{ // オブジェクトポインタ // ※明示的なDeleteが必要 //call _System_GC_malloc_ForObjectPtr extern UserProc *pSub_System_GC_malloc_ForObjectPtr; op_call(pSub_System_GC_malloc_ForObjectPtr); } /* 確保されたヒープ領域のポインタ(callocの戻り値eax)をpPtrとすると、 pPtr-=OBJECT_HEAD_SIZE ... ( sizeof(DWORD)*4 ) pPtr[0]=オブジェクトの個数 pPtr[1]=オブジェクトのサイズ pPtr[2]=デストラクタの関数ポインタ pPtr[3]=reserve */ //mov qword ptr[rax],rbx(オブジェクトの個数) op_mov_MR(sizeof(_int64),REG_RBX,REG_RAX,0,MOD_BASE); //add rax,PTR_SIZE op_add_RV(REG_RAX,PTR_SIZE); //mov qword ptr[rax],typeSize(オブジェクトのサイズ) op_mov_MV(sizeof(_int64),REG_RAX,0,NON_OFFSET,typeSize); //add rax,PTR_SIZE op_add_RV(REG_RAX,PTR_SIZE); CMethod *method = classObj.GetDestructorMethod(); if( method == NULL ) return; //mov rcx,DestructorProcAddr(デストラクタの関数ポインタ) op_mov_RV(sizeof(_int64),REG_RCX,0); obp-=sizeof(long); pobj_SubAddrSchedule->add(method->pUserProc,0); method->pUserProc->Using(); obp+=sizeof(long); //mov qword ptr[rax],rcx op_mov_MR(sizeof(_int64),REG_RCX,REG_RAX,0,MOD_BASE); //add rax,PTR_SIZE op_add_RV(REG_RAX,PTR_SIZE); // リザーブ領域 //add rax,PTR_SIZE op_add_RV(REG_RAX,PTR_SIZE); // ※ここでプッシュされた値はNew演算子の戻り値となる //mov qword ptr[rsp+offset],rax ※スタックフレームを利用 pobj_sf->push(REG_RAX); ///////////////////////////////////////////////////////////////////// //////////////////////////// // コンストラクタの呼び出し //////////////////////////// _call_constructor(&classObj,parameter,typeSize,bSomeObjects); //mov rax,qword ptr[rsp+offset] ※スタックフレームを利用 pobj_sf->pop(REG_RAX); } void OpcodeDelete(const char *Parameter, bool isSweeping){ int reg=REG_RAX; Type tempType; if( !NumOpe(®,Parameter,Type(),tempType) ){ return; } if(!( tempType.IsObjectPtr() || tempType.IsVoidPtr() )) SetError(122,NULL,cp); //sub rax,OBJECT_HEAD_SIZE op_sub_RV(sizeof(_int64),REG_RAX,OBJECT_HEAD_SIZE); //mov qword ptr[rsp+offset],rax ※スタックフレームを利用 pobj_sf->push(REG_RAX); //mov rbx,qword ptr[rax](オブジェクトの個数) op_mov_RM(sizeof(_int64),REG_RBX,REG_RAX,0,MOD_BASE); //add rax,PTR_SIZE op_add_RV(REG_RAX,PTR_SIZE); //mov rsi,qword ptr[rax](オブジェクトのサイズ) op_mov_RM(sizeof(_int64),REG_RSI,REG_RAX,0,MOD_BASE); //add rax,PTR_SIZE op_add_RV(REG_RAX,PTR_SIZE); //mov rdi,qword ptr[rax](デストラクタの関数ポインタ) op_mov_RM(sizeof(_int64),REG_RDI,REG_RAX,0,MOD_BASE); //add rax,PTR_SIZE op_add_RV(REG_RAX,PTR_SIZE); // リザーブ領域 //add rax,PTR_SIZE op_add_RV(REG_RAX,PTR_SIZE); //mov rcx,rax op_mov_RR(REG_RCX,REG_RAX); //jnzの番地 int jnz_back; jnz_back=obp; //mov qword ptr[rsp+offset],rcx ※スタックフレームを利用 pobj_sf->push(REG_RCX); //call rdi OpBuffer[obp++]=(char)0xFF; OpBuffer[obp++]=(char)0xD7; //mov rcx,qword ptr[rsp+offset] ※スタックフレームを利用 pobj_sf->pop(REG_RCX); //add rcx,rsi op_add64_reg(REG_RCX,REG_RSI); //sub rbx,1 op_sub_RV(sizeof(_int64),REG_RBX,1); //jnz ↑ OpBuffer[obp++]=(char)0x0F; OpBuffer[obp++]=(char)0x85; *((long *)(OpBuffer+obp))=jnz_back-(obp+sizeof(long)); obp+=sizeof(long); ////////////////////////////////////////// // オブジェクトメンバ変数用のメモリを解放 ////////////////////////////////////////// //mov rcx,qword ptr[rsp+offset] ※スタックフレームを利用 pobj_sf->pop(REG_RCX); if( isSweeping ){ //call _System_GC_free_for_SweepingDelete extern UserProc *pSub_System_GC_free_for_SweepingDelete; op_call(pSub_System_GC_free_for_SweepingDelete); } else{ //call free extern UserProc *pSub_free; op_call(pSub_free); } }