#include "../BasicCompiler_Common/common.h" #include "opcode.h" void _call_constructor(CClass *pobj_c, const char *CreateParameter,int ObjectSize,BOOL bSomeObjects){ //////////////////////////// // コンストラクタの呼び出し //////////////////////////// //この関数を使用する場合は、 //・ebxにオブジェクトの個数 //・eaxに先頭ポインタ //をセットしておかなければならない int jnz_back; //jnzの番地 jnz_back=obp; //push ebx op_push(REG_EBX); // ※ここでプッシュされた値はコンストラクタのthisポインタとなる //push eax op_push(REG_EAX); //////////////////////// // オーバーロードを解決 //////////////////////// std::vector subs; pobj_c->EnumMethod( pobj_c->name, subs ); SubInfo *psi; if( subs.size() > 0 ){ //オーバーロードを解決 psi=OverloadSolutionWithStrParam(pobj_c->name, subs,CreateParameter,"",NULL); if(!psi) return; } //コンストラクタを呼び出す Opcode_CallProc(CreateParameter, psi, PROCFLAG_NEW,"",0); //pop eax op_pop(REG_EAX); //pop ebx op_pop(REG_EBX); if(bSomeObjects){ //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( CClass &classObj, const char *objectSizeStr, const char *parameter, const TYPEINFO &baseTypeInfo ){ int typeSize = classObj.GetSize(); if(classObj.IsAbstract()){ //抽象クラスだったとき SetError(125,classObj.name,cp); } if(objectSizeStr[0]){ int type = NumOpe(objectSizeStr,0,0,0); ChangeTypeToLong(type); //pop eax op_pop(REG_EAX); //※添え字上限値であることを考慮 //add eax,1 OpBuffer[obp++]=(char)0x83; OpBuffer[obp++]=(char)0xC0; OpBuffer[obp++]=(char)0x01; //オブジェクトの個数をebxに一時保持 //※ebxは関数が呼ばれても不変 //mov ebx,eax OpBuffer[obp++]=(char)0x8B; OpBuffer[obp++]=(char)0xD8; //imul eax,size OpBuffer[obp++]=(char)0x69; OpBuffer[obp++]=(char)0xC0; *((long *)(OpBuffer+obp))=typeSize; obp+=sizeof(long); //add eax,sizeof(DWORD)*2 OpBuffer[obp++]=(char)0x05; *((long *)(OpBuffer+obp))=sizeof(DWORD)*3; obp+=sizeof(long); //push eax op_push(REG_EAX); } else{ //オブジェクトの個数をebxに一時保持 //※ebxは関数が呼ばれても不変 //mov ebx,1 OpBuffer[obp++]=(char)0xBB; *((long *)(OpBuffer+obp))=1; obp+=sizeof(long); //push size OpBuffer[obp++]=(char)0x68; *((long *)(OpBuffer+obp))=typeSize+sizeof(DWORD)*3; obp+=sizeof(long); } if( baseTypeInfo.type == DEF_OBJECT ){ //DeleteはGCで処理 //call _System_GC_malloc_ForObject extern SubInfo *pSub_System_GC_malloc_ForObject; op_call(pSub_System_GC_malloc_ForObject); } else{ //明示的なDeleteが必要 //call _System_GC_malloc_ForObjectPtr extern SubInfo *pSub_System_GC_malloc_ForObjectPtr; op_call(pSub_System_GC_malloc_ForObjectPtr); } /* 確保されたヒープ領域のポインタ(callocの戻り値eax)をpPtrとすると、 pPtr-=sizeof(DWORD)*3 pPtr[0]=オブジェクトの個数 pPtr[1]=オブジェクトのサイズ pPtr[2]=デストラクタの関数ポインタ */ //mov dword ptr[eax],ebx(オブジェクトの個数) OpBuffer[obp++]=(char)0x89; OpBuffer[obp++]=(char)0x18; //add eax,sizeof(DWORD) OpBuffer[obp++]=(char)0x05; *((long *)(OpBuffer+obp))=sizeof(DWORD); obp+=sizeof(long); //mov ecx,TypeSize OpBuffer[obp++]=(char)0xB9; *((long *)(OpBuffer+obp))=typeSize; obp+=sizeof(long); //mov dword ptr[eax],ecx OpBuffer[obp++]=(char)0x89; OpBuffer[obp++]=(char)0x08; //add eax,sizeof(DWORD) OpBuffer[obp++]=(char)0x05; *((long *)(OpBuffer+obp))=sizeof(DWORD); obp+=sizeof(long); CMethod *method = classObj.GetDestructorMethod(); if( method == NULL ) return; //mov ecx,DestructorProcAddr OpBuffer[obp++]=(char)0xB9; pobj_SubAddrSchedule->add(method->psi,0); method->psi->bUse=1; obp+=sizeof(long); //mov dword ptr[eax],ecx OpBuffer[obp++]=(char)0x89; OpBuffer[obp++]=(char)0x08; //add eax,sizeof(DWORD) OpBuffer[obp++]=(char)0x05; *((long *)(OpBuffer+obp))=sizeof(DWORD); obp+=sizeof(long); // ※ここでプッシュされた値はNew演算子の戻り値となる //push eax op_push(REG_EAX); ///////////////////////////////////////////////////////////////////// //////////////////////////// // コンストラクタの呼び出し //////////////////////////// BOOL bSomeObjects; if(objectSizeStr[0]) bSomeObjects=1; else bSomeObjects=0; _call_constructor(&classObj,parameter,typeSize,bSomeObjects); } int Operator_New(const char *Parameter,LONG_PTR *plpIndex,const TYPEINFO &baseTypeInfo ){ char TypeName[VN_SIZE],CreateParameter[VN_SIZE],objectSizeStr[VN_SIZE]; int i,i2; i=0; if(Parameter[0]=='['){ i=GetStringInBracket(objectSizeStr,Parameter); SlideString(objectSizeStr+1,-1); objectSizeStr[i-2]=0; } else objectSizeStr[0]=0; for(i2=0;;i++,i2++){ if(Parameter[i]=='('){ TypeName[i2]=0; //コンストラクタに渡すパラメータを取得 i2=GetStringInPare(CreateParameter,Parameter+i); RemoveStringPare(CreateParameter); i+=i2; if(Parameter[i]!='\0'){ SetError(42,NULL,cp); return -1; } break; } TypeName[i2]=Parameter[i]; if(Parameter[i]=='\0'){ CreateParameter[0]=0; break; } } int type,TypeSize; type=GetTypeFixed(TypeName,plpIndex); if(type==-1){ SetError(3,TypeName,cp); return -1; } TypeSize=GetTypeSize(type,*plpIndex); if(type!=DEF_OBJECT){ //////////////////////// // 通常のデータ型の場合 //////////////////////// SetError(121,NULL,cp); return -1; } CClass *pobj_c; pobj_c=(CClass *)*plpIndex; Operator_New( *pobj_c, objectSizeStr, CreateParameter, baseTypeInfo ); if( baseTypeInfo.type == DEF_OBJECT ){ return DEF_OBJECT; } return DEF_PTR_OBJECT; } void OpcodeDelete(const char *Parameter, bool isSweeping){ int type; type=NumOpe(Parameter,0,0,0); if(type==-1) return; if(!(type==DEF_PTR_OBJECT||type==DEF_PTR_VOID)) SetError(122,NULL,cp); //pop eax op_pop(REG_EAX); //sub eax,sizeof(DWORD)*3 OpBuffer[obp++]=(char)0x83; OpBuffer[obp++]=(char)0xE8; OpBuffer[obp++]=(char)0x0C; //push eax op_push(REG_EAX); //mov ebx,dword ptr[eax](オブジェクトの個数) OpBuffer[obp++]=(char)0x8B; OpBuffer[obp++]=(char)0x18; //add eax,sizeof(DWORD) OpBuffer[obp++]=(char)0x05; *((long *)(OpBuffer+obp))=sizeof(DWORD); obp+=sizeof(long); //mov esi,dword ptr[eax](オブジェクトのサイズ) OpBuffer[obp++]=(char)0x8B; OpBuffer[obp++]=(char)0x30; //add eax,sizeof(DWORD) OpBuffer[obp++]=(char)0x05; *((long *)(OpBuffer+obp))=sizeof(DWORD); obp+=sizeof(long); //mov edx,dword ptr[eax](デストラクタの関数ポインタ) OpBuffer[obp++]=(char)0x8B; OpBuffer[obp++]=(char)0x10; //add eax,sizeof(DWORD) OpBuffer[obp++]=(char)0x05; *((long *)(OpBuffer+obp))=sizeof(DWORD); obp+=sizeof(long); //mov ecx,eax OpBuffer[obp++]=(char)0x8B; OpBuffer[obp++]=(char)0xC8; //jnzの番地 int jnz_back; jnz_back=obp; //push ecx op_push(REG_ECX); //push edx op_push(REG_EDX); //push ecx(Thisポインタ ※隠れた第一パラメータ) op_push(REG_ECX); //call edx OpBuffer[obp++]=(char)0xFF; OpBuffer[obp++]=(char)0xD2; //pop edx op_pop(REG_EDX); //pop ecx op_pop(REG_ECX); //add ecx,esi OpBuffer[obp++]=(char)0x03; OpBuffer[obp++]=(char)0xCE; //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); ////////////////////////////////////////// // オブジェクトメンバ変数用のメモリを解放 ////////////////////////////////////////// if( isSweeping ){ //call _System_GC_free_for_SweepingDelete extern SubInfo *pSub_System_GC_free_for_SweepingDelete; op_call(pSub_System_GC_free_for_SweepingDelete); } else{ //call free extern SubInfo *pSub_free; op_call(pSub_free); } }