#include "../BasicCompiler_Common/common.h" #include "opcode.h" int ParamImpl::NewTempParameters( const char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum ){ /////////////////////////////////////////////////////// // 一時オブジェクトをあらかじめスタックに積んでおく /////////////////////////////////////////////////////// useTempObject = false; //一時参照の数 nCountOfTempObjects = 0; BOOL bEllipse; if(pi_num){ if(ppi[pi_num-1].type==DEF_ELLIPSE) bEllipse=1; else bEllipse=0; } else bEllipse=0; for(int i2=ParmsNum-1;i2>=0;i2--){ useTempParameters[i2] = false; if(bEllipse&&i2<=pi_num-2) bEllipse=0; if(i2==0&&ppi[i2].name){ if(lstrcmp(ppi[i2].name,"_System_LocalThis")==0){ //オブジェクトメンバの第一パラメータのThisポインタ continue; } } if((i2==0||i2==1)&&ppi[i2].name){ if(lstrcmp(ppi[i2].name,FuncName)==0){ //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト continue; } } TYPEINFO DummyTypeInfo; BOOL bByVal; if(bEllipse){ DummyTypeInfo.type=NumOpe_GetType_Old(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex); bByVal=1; } else{ DummyTypeInfo.type=ppi[i2].type; DummyTypeInfo.u.lpIndex=ppi[i2].u.index; bByVal=ppi[i2].bByVal; } if( !bByVal ){ //ポインタ参照 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){ //ポインタ指定 continue; } LONG_PTR lpVarIndex; if( GetVarType( Parms[i2], &lpVarIndex, FALSE ) == -1 ){ //変数ではないとき int reg = REG_RAX; int type = NumOpe( Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex ); //↑ここでスタックに積む nCountOfTempObjects++; if( type != DEF_STRUCT ){ //一時参照を作成 //push esp op_push( REG_ESP ); nCountOfTempObjects++; } bool result = CheckDifferentType( DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, type, lpVarIndex, FuncName, i2); if( result ){ useTempParameters[i2] = true; useTempObject = true; types[i2].type = type; types[i2].u.lpIndex = lpVarIndex; } } } } return nCountOfTempObjects * PTR_SIZE; } int ParamImpl::NewTempParameters( const char *procName, const Parameters ¶ms, int SecondParmNum ){ /////////////////////////////////////////////////////// // 一時オブジェクトをあらかじめスタックに積んでおく /////////////////////////////////////////////////////// useTempObject = false; //一時参照の数 nCountOfTempObjects = 0; BOOL bEllipse; if(params.size()){ if(params[params.size()-1]->GetBasicType()==DEF_ELLIPSE) bEllipse=1; else bEllipse=0; } else bEllipse=0; for(int i2=ParmsNum-1;i2>=0;i2--){ useTempParameters[i2] = false; if(bEllipse&&i2<=(int)params.size()-2) bEllipse=0; if(i2==0){ if( params[i2]->GetVarName() == "_System_LocalThis" ){ //オブジェクトメンバの第一パラメータのThisポインタ continue; } } if( i2==0||i2==1 ){ if( params[i2]->GetVarName() == procName ){ //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト continue; } } TYPEINFO DummyTypeInfo; BOOL bByVal; if(bEllipse){ DummyTypeInfo.type=NumOpe_GetType_Old(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex); bByVal=1; } else{ DummyTypeInfo.type=params[i2]->GetBasicType(); DummyTypeInfo.u.lpIndex=params[i2]->GetIndex(); bByVal = ( params[i2]->IsRef() == false ) ? TRUE:FALSE; } if( !bByVal ){ //ポインタ参照 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){ //ポインタ指定 continue; } LONG_PTR lpVarIndex; if( GetVarType( Parms[i2], &lpVarIndex, FALSE ) == -1 ){ //変数ではないとき int reg = REG_RAX; int type = NumOpe( Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex ); //↑ここでスタックに積む nCountOfTempObjects++; if( type != DEF_STRUCT ){ //一時参照を作成 //push esp op_push( REG_ESP ); nCountOfTempObjects++; } bool result = CheckDifferentType( DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, type, lpVarIndex, procName, i2); if( result ){ useTempParameters[i2] = true; useTempObject = true; types[i2].type = type; types[i2].u.lpIndex = lpVarIndex; } } } } return nCountOfTempObjects * PTR_SIZE; } void ParamImpl::DeleteTempParameters(){ /////////////////////////////////////////////////////// // 一時オブジェクトを破棄 /////////////////////////////////////////////////////// if( !useTempObject ) return; for(int i2=ParmsNum-1;i2>=0;i2--){ if( useTempParameters[i2] ){ if( types[i2].type == DEF_STRUCT ){ // 構造体の一時メモリ //メモリを解放する //call free extern SubInfo *pSub_free; op_call(pSub_free); } else{ if( Is64Type( types[i2].type ) ){ //pop ... 参照を消す //pop ... 上位32ビット //pop ... 下位32ビット op_add_esp( PTR_SIZE * 3 ); } else{ //pop ... 参照を消す //pop ... 値を消す op_add_esp( PTR_SIZE * 2 ); } } } } } void ParamImpl::SetStructParameter(CClass *pobj_Class,LPSTR Parameter){ int object_size = pobj_Class->GetSize(); //push object_size op_push_V(object_size); //call calloc extern SubInfo *pSub_calloc; op_call(pSub_calloc); //push eax op_push(REG_EAX); TYPEINFO BaseType={DEF_STRUCT,(LONG_PTR)pobj_Class}; TYPEINFO CalcType; CalcType.type=NumOpe_GetType_Old(Parameter,&BaseType,&CalcType.u.lpIndex); /* TODO: 消す if( pobj_Class->GetCopyConstructorMethod() && CalcType.type==DEF_OBJECT&&CalcType.u.pobj_Class==pobj_Class){ //////////////////////////////////// // コピーコンストラクタを呼び出す //////////////////////////////////// //push eax op_push(REG_EAX); BOOL bUseHeap; CalcType.type=NumOpe(Parameter,DEF_OBJECT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap); //pop ecx op_pop(REG_ECX); //pop eax op_pop(REG_EAX); if(bUseHeap){ //※解放用に退避 //mov esi,ecx op_mov_RR(REG_ESI,REG_ECX); } //push ecx op_push(REG_ECX); //push eax op_push(REG_EAX); //call constructor op_call(pobj_Class->GetCopyConstructorMethod()->psi); if(bUseHeap){ FreeTempObject(REG_ESI,pobj_Class); } } else{*/ //push eax op_push(REG_EAX); /* TODO: 消す if( pobj_Class->GetConstructorMethod() ){ //////////////////////////////// // コンストラクタを呼び出す //////////////////////////////// //push this op_push(REG_EAX); //call constructor op_call(pobj_Class->GetConstructorMethod()->psi); } */ BOOL bUseHeap; CalcType.type=NumOpe(Parameter,DEF_STRUCT,(LONG_PTR)pobj_Class,&CalcType.u.lpIndex,&bUseHeap); SetStructVariable((LONG_PTR)pobj_Class,CalcType.type,CalcType.u.lpIndex,bUseHeap); //} } int ParamImpl::SetParameter(const char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum){ /////////////////////////////////////////////////////////// // パラメータをレジスタ及びスタックフレームにセット /////////////////////////////////////////////////////////// int i2,i3; BOOL bEllipse; if(pi_num){ if(ppi[pi_num-1].type==DEF_ELLIPSE) bEllipse=1; else bEllipse=0; } else bEllipse=0; BOOL bHas_System_LocalThis=0; if(ParmsNum>=1){ if(lstrcmp(ppi[0].name,"_System_LocalThis")==0) bHas_System_LocalThis=1; } //戻り値用の変数名を取得 const char *lpszVarNameToReturn = (FuncName[0]==1&&FuncName[1]==ESC_OPERATOR)?"_System_ReturnValue":FuncName; //パラメータをレジスタとスタックに格納 int CalcType; LONG_PTR lpCalcIndex; BOOL bCalcUseHeap; int ParmSize=0; RELATIVE_VAR RelativeVar; int nCountOfNowTempObjects = 0; for(i2=ParmsNum-1;i2>=0;i2--){ if(bEllipse&&i2<=pi_num-2) bEllipse=0; if(i2==0&&ppi[i2].name){ if(lstrcmp(ppi[i2].name,"_System_LocalThis")==0){ //オブジェクトメンバの第一パラメータのThisポインタ continue; } } if((i2==0||i2==1)&&ppi[i2].name){ if(lstrcmp(ppi[i2].name,lpszVarNameToReturn)==0){ //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト continue; } } TYPEINFO DummyTypeInfo; BOOL bByVal; if(bEllipse){ DummyTypeInfo.type=NumOpe_GetType_Old(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex); bByVal=1; } else{ DummyTypeInfo.type=ppi[i2].type; DummyTypeInfo.u.lpIndex=ppi[i2].u.index; bByVal=ppi[i2].bByVal; } if(bByVal==1){ //値参照 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){ char temp2[255]; sprintf(temp2,"%s関数の第%dパラメータ",FuncName,i2+1); SetError(19,temp2,cp); continue; } if(DummyTypeInfo.type==DEF_STRUCT){ SetStructParameter(DummyTypeInfo.u.pobj_Class,Parms[i2]); goto next; } extern LONG_PTR ProcPtr_BaseIndex; LONG_PTR back_ProcPtr_BaseIndex; back_ProcPtr_BaseIndex=ProcPtr_BaseIndex; if(DummyTypeInfo.type==DEF_PTR_PROC) ProcPtr_BaseIndex=DummyTypeInfo.u.lpIndex; else ProcPtr_BaseIndex=-1; CalcType=NumOpe(Parms[i2],DummyTypeInfo.type,DummyTypeInfo.u.lpIndex,&lpCalcIndex,&bCalcUseHeap); ProcPtr_BaseIndex=back_ProcPtr_BaseIndex; if(CalcType==-1) break; if(CalcType==DEF_OBJECT){ if( DummyTypeInfo.type != DEF_OBJECT || DummyTypeInfo.type == DEF_OBJECT && !DummyTypeInfo.u.pobj_Class->IsEqualsOrSubClass( (CClass *)lpCalcIndex ) ){ //キャスト演算子のオーバーロードに対応する CallCastOperatorProc(CalcType,lpCalcIndex,bCalcUseHeap,DummyTypeInfo.type,DummyTypeInfo.u.lpIndex); } } if(!bEllipse){ //型チェック if(bHas_System_LocalThis) i3=i2-1; else i3=i2; CheckDifferentType( DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, CalcType, lpCalcIndex, FuncName, i3); } if(DummyTypeInfo.type==DEF_DOUBLE){ ChangeTypeToDouble(CalcType); ParmSize+=sizeof(long)*2; } else if(DummyTypeInfo.type==DEF_SINGLE){ ChangeTypeToSingle(CalcType); ParmSize+=sizeof(long); } else if(DummyTypeInfo.type==DEF_INT64||DummyTypeInfo.type==DEF_QWORD){ ChangeTypeToInt64(CalcType); ParmSize+=sizeof(long)*2; } else if(DummyTypeInfo.type==DEF_LONG||DummyTypeInfo.type==DEF_DWORD||DummyTypeInfo.type==DEF_OBJECT||DummyTypeInfo.type==DEF_STRUCT|| (IsPtrType(DummyTypeInfo.type)/*&&DummyTypeInfo.type!=DEF_PTR_VOID&&DummyTypeInfo.type!=DEF_PTR_BYTE*/)){ ChangeTypeToLong(CalcType); ParmSize+=sizeof(long); } else if(DummyTypeInfo.type==DEF_INTEGER||DummyTypeInfo.type==DEF_WORD || (isUnicode&&DummyTypeInfo.type==DEF_CHAR)){ ChangeTypeToInteger(CalcType); ParmSize+=sizeof(long); } else if(DummyTypeInfo.type==DEF_SBYTE||DummyTypeInfo.type==DEF_BYTE||DummyTypeInfo.type==DEF_BOOLEAN || (isUnicode==false&&DummyTypeInfo.type==DEF_CHAR)){ ChangeTypeToByte(CalcType); ParmSize+=sizeof(long); } else{ SetError(300,NULL,cp); } } else{ //ポインタ参照 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){ //ポインタ指定 i3=NumOpe(Parms[i2]+2,0,0,0); ChangeTypeToLong(i3); } else{ if( useTempParameters[i2] ){ //一時オブジェクトをコピー if( types[i2].type != DEF_STRUCT ){ // 一時参照のための領域を考慮する nCountOfNowTempObjects++; } nCountOfNowTempObjects++; //mov eax, dword ptr[esp+offset] op_mov_RM( sizeof(long), REG_EAX, REG_ESP, ( ( ParmsNum - i2 - 1 ) + ( nCountOfTempObjects - nCountOfNowTempObjects ) ) * PTR_SIZE, MOD_BASE_DISP32 ); //push eax op_push(REG_EAX); } else{ //変数のアドレスを取得 int VarType; LONG_PTR lpVarIndex; if(GetVarOffset( false, false, Parms[i2], &VarType, &RelativeVar, &lpVarIndex)){ if(DummyTypeInfo.type!=DEF_ANY){ //型チェックを行う if(DummyTypeInfo.type==VarType){ if(DummyTypeInfo.type==DEF_OBJECT){ if( !DummyTypeInfo.u.pobj_Class->IsEqualsOrSubClass( (CClass *)lpVarIndex ) ){ SetError(11,Parms[i2],cp); } } else if(DummyTypeInfo.type==DEF_STRUCT){ if( !DummyTypeInfo.u.pobj_Class->IsEquals( (CClass *)lpVarIndex ) ){ SetError(11,Parms[i2],cp); } } } else if((VarType&FLAG_PTR)&&((int)(VarType^FLAG_PTR)==DummyTypeInfo.type)){ //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき } else{ SetError(11,Parms[i2],cp); } } //変数アドレスをレジスタにセット SetVarPtrToEax(&RelativeVar); //push eax op_push(REG_EAX); } } } ParmSize+=PTR_SIZE; } next:; } return ParmSize; } int ParamImpl::SetParameter( const char *procName, const Parameters ¶ms, int SecondParmNum ){ /////////////////////////////////////////////////////////// // パラメータをレジスタ及びスタックフレームにセット /////////////////////////////////////////////////////////// int i2,i3; BOOL bEllipse; if( params.size() ){ if(params[params.size()-1]->GetBasicType()==DEF_ELLIPSE) bEllipse=1; else bEllipse=0; } else bEllipse=0; BOOL bHas_System_LocalThis=0; if(ParmsNum>=1){ if( params[0]->GetVarName() == "_System_LocalThis" ){ bHas_System_LocalThis=1; } } //戻り値用の変数名を取得 const char *lpszVarNameToReturn = (procName[0]==1&&procName[1]==ESC_OPERATOR)?"_System_ReturnValue":procName; //パラメータをレジスタとスタックに格納 int CalcType; LONG_PTR lpCalcIndex; BOOL bCalcUseHeap; int ParmSize=0; RELATIVE_VAR RelativeVar; int nCountOfNowTempObjects = 0; for(i2=ParmsNum-1;i2>=0;i2--){ if(bEllipse&&i2<=(int)params.size()-2) bEllipse=0; if(i2==0){ if( params[i2]->GetVarName() == "_System_LocalThis" ){ //オブジェクトメンバの第一パラメータのThisポインタ continue; } } if(i2==0||i2==1){ if( params[i2]->GetVarName() == lpszVarNameToReturn ){ //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト continue; } } TYPEINFO DummyTypeInfo; BOOL bByVal; if(bEllipse){ DummyTypeInfo.type=NumOpe_GetType_Old(Parms[i2],NULL,&DummyTypeInfo.u.lpIndex); bByVal=1; } else{ DummyTypeInfo.type=params[i2]->GetBasicType(); DummyTypeInfo.u.lpIndex=params[i2]->GetIndex(); bByVal = (params[i2]->IsRef() == false ) ? TRUE:FALSE; } if(bByVal==1){ //値参照 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){ char temp2[255]; sprintf(temp2,"%s関数の第%dパラメータ",procName,i2+1); SetError(19,temp2,cp); continue; } if(DummyTypeInfo.type==DEF_STRUCT){ SetStructParameter(DummyTypeInfo.u.pobj_Class,Parms[i2]); goto next; } extern LONG_PTR ProcPtr_BaseIndex; LONG_PTR back_ProcPtr_BaseIndex; back_ProcPtr_BaseIndex=ProcPtr_BaseIndex; if(DummyTypeInfo.type==DEF_PTR_PROC) ProcPtr_BaseIndex=DummyTypeInfo.u.lpIndex; else ProcPtr_BaseIndex=-1; CalcType=NumOpe(Parms[i2],DummyTypeInfo.type,DummyTypeInfo.u.lpIndex,&lpCalcIndex,&bCalcUseHeap); ProcPtr_BaseIndex=back_ProcPtr_BaseIndex; if(CalcType==-1) break; if(CalcType==DEF_OBJECT){ if( DummyTypeInfo.type != DEF_OBJECT || DummyTypeInfo.type == DEF_OBJECT && !DummyTypeInfo.u.pobj_Class->IsEqualsOrSubClass( (CClass *)lpCalcIndex ) ){ //キャスト演算子のオーバーロードに対応する CallCastOperatorProc(CalcType,lpCalcIndex,bCalcUseHeap,DummyTypeInfo.type,DummyTypeInfo.u.lpIndex); } } if(!bEllipse){ //型チェック if(bHas_System_LocalThis) i3=i2-1; else i3=i2; CheckDifferentType( DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, CalcType, lpCalcIndex, procName, i3); } if(DummyTypeInfo.type==DEF_DOUBLE){ ChangeTypeToDouble(CalcType); ParmSize+=sizeof(long)*2; } else if(DummyTypeInfo.type==DEF_SINGLE){ ChangeTypeToSingle(CalcType); ParmSize+=sizeof(long); } else if(DummyTypeInfo.type==DEF_INT64||DummyTypeInfo.type==DEF_QWORD){ ChangeTypeToInt64(CalcType); ParmSize+=sizeof(long)*2; } else if(DummyTypeInfo.type==DEF_LONG||DummyTypeInfo.type==DEF_DWORD||DummyTypeInfo.type==DEF_OBJECT||DummyTypeInfo.type==DEF_STRUCT|| (IsPtrType(DummyTypeInfo.type)/*&&DummyTypeInfo.type!=DEF_PTR_VOID&&DummyTypeInfo.type!=DEF_PTR_BYTE*/)){ ChangeTypeToLong(CalcType); ParmSize+=sizeof(long); } else if(DummyTypeInfo.type==DEF_INTEGER||DummyTypeInfo.type==DEF_WORD || (isUnicode&&DummyTypeInfo.type==DEF_CHAR)){ ChangeTypeToInteger(CalcType); ParmSize+=sizeof(long); } else if(DummyTypeInfo.type==DEF_SBYTE||DummyTypeInfo.type==DEF_BYTE||DummyTypeInfo.type==DEF_BOOLEAN || (isUnicode==false&&DummyTypeInfo.type==DEF_CHAR)){ ChangeTypeToByte(CalcType); ParmSize+=sizeof(long); } else{ SetError(300,NULL,cp); } } else{ //ポインタ参照 if(Parms[i2][0]==1&&Parms[i2][1]==ESC_BYVAL){ //ポインタ指定 i3=NumOpe(Parms[i2]+2,0,0,0); ChangeTypeToLong(i3); } else{ if( useTempParameters[i2] ){ //一時オブジェクトをコピー if( types[i2].type != DEF_STRUCT ){ // 一時参照のための領域を考慮する nCountOfNowTempObjects++; } nCountOfNowTempObjects++; //mov eax, dword ptr[esp+offset] op_mov_RM( sizeof(long), REG_EAX, REG_ESP, ( ( ParmsNum - i2 - 1 ) + ( nCountOfTempObjects - nCountOfNowTempObjects ) ) * PTR_SIZE, MOD_BASE_DISP32 ); //push eax op_push(REG_EAX); } else{ //変数のアドレスを取得 int VarType; LONG_PTR lpVarIndex; if(GetVarOffset( false, false, Parms[i2], &VarType, &RelativeVar, &lpVarIndex)){ if(DummyTypeInfo.type!=DEF_ANY){ //型チェックを行う if(DummyTypeInfo.type==VarType){ if(DummyTypeInfo.type==DEF_OBJECT){ if( !DummyTypeInfo.u.pobj_Class->IsEqualsOrSubClass( (CClass *)lpVarIndex ) ){ SetError(11,Parms[i2],cp); } } else if(DummyTypeInfo.type==DEF_STRUCT){ if( !DummyTypeInfo.u.pobj_Class->IsEquals( (CClass *)lpVarIndex ) ){ SetError(11,Parms[i2],cp); } } } else if((VarType&FLAG_PTR)&&((int)(VarType^FLAG_PTR)==DummyTypeInfo.type)){ //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき } else{ SetError(11,Parms[i2],cp); } } //変数アドレスをレジスタにセット SetVarPtrToEax(&RelativeVar); //push eax op_push(REG_EAX); } } } ParmSize+=PTR_SIZE; } next:; } return ParmSize; }