Changeset 28 in dev for BasicCompiler64

Timestamp:

Jan 8, 2007, 6:34:44 AM (17 years ago)

Author:

dai_9181

Message:

・【32ビットコンパイラ】戻り値に実態オブジェクトを持つインデクサを呼び出すと強制終了してしまうバグを修正。
・仮想関数のオーバーロードが正常に動作しないバグを修正。
・純仮想関数（抽象メソッド）が仮想関数でオーバーロードされていると、クラスのインスタンスが生成できてしまうバグを修正。

Location:

BasicCompiler64

Files:

• CParameter.cpp (modified) (2 diffs)
• Compile_CallProc.cpp (modified) (2 diffs)
• Compile_Func.cpp (modified) (1 diff)
• Compile_Object.cpp (modified) (1 diff)
• Compile_ProcOp.cpp (modified) (1 diff)
• Compile_Set_Var.cpp (modified) (1 diff)
• Compile_Var.cpp (modified) (1 diff)

BasicCompiler64/CParameter.cpp

@@ -546 +546 @@
     }
 
+    //戻り値用の変数名を取得
+    char *lpszVarNameToReturn;
+    if(FuncName[0]==1&&FuncName[1]==ESC_OPERATOR) lpszVarNameToReturn="_System_ReturnValue";
+    else lpszVarNameToReturn=FuncName;
+
     //パラメータをレジスタとスタックに格納
     int CalcType;
@@ -563 +568 @@
         }
         if((i2==0||i2==1)&&ppi[i2].name){
-            if(lstrcmp(ppi[i2].name,FuncName)==0){
+            if(lstrcmp(ppi[i2].name,lpszVarNameToReturn)==0){
                 //オブジェクトメンバの第一または第二パラメータの戻り値用オブジェクト
                 continue;

BasicCompiler64/Compile_CallProc.cpp

@@ -49 +49 @@
         char ObjectName[VN_SIZE];
         int RefType;
-        GetObjectName(name,ObjectName,&RefType);
+        SplitObjectName(name,ObjectName,&RefType);
 
 
@@ -113 +113 @@
     char ObjectName[VN_SIZE];
     int RefType;
-    GetObjectName(VarName,ObjectName,&RefType);
+    SplitObjectName(VarName,ObjectName,&RefType);
 
     //オーバーロード用の関数リストを作成

BasicCompiler64/Compile_Func.cpp

@@ -140 +140 @@
         char ObjectName[VN_SIZE];
         int RefType;
-        GetObjectName(name,ObjectName,&RefType);
+        SplitObjectName(name,ObjectName,&RefType);
 
         if(ObjectName[0]){

BasicCompiler64/Compile_Object.cpp

@@ -131 +131 @@
     pobj_c=(CClass *)*plpIndex;
 
-    if(pobj_c->IsHoldAbstractFunction()){
+    if(pobj_c->IsAbstract()){
         //抽象クラスだったとき
         SetError(125,pobj_c->name,cp);

BasicCompiler64/Compile_ProcOp.cpp

@@ -600 +600 @@
             //仮想関数テーブルを初期化
             if(pobj_CompilingClass->vtbl_num&&
-                pobj_CompilingClass->IsHoldAbstractFunction()==0){
-                //関数テーブルに値をセット
-                offset=(int)pobj_CompilingClass->GetVtblGlobalOffset();
-
-                //mov rax,offset
-                op_mov_RV(sizeof(_int64),REG_RAX,offset);
-                obp-=sizeof(long);
-                pobj_DataTableSchedule->add();
-                obp+=sizeof(long);
-
-                //Thisポインタをrcxにコピー
-                SetThisPtrToReg(REG_RCX);
-
-                //mov qword ptr[rcx],rax
-                op_mov_MR(sizeof(_int64),REG_RAX,REG_RCX,0,MOD_BASE);
+                pobj_CompilingClass->IsAbstract()==false){
+                    //関数テーブルに値をセット
+                    offset=(int)pobj_CompilingClass->GetVtblGlobalOffset();
+
+                    //mov rax,offset
+                    op_mov_RV(sizeof(_int64),REG_RAX,offset);
+                    obp-=sizeof(long);
+                    pobj_DataTableSchedule->add();
+                    obp+=sizeof(long);
+
+                    //Thisポインタをrcxにコピー
+                    SetThisPtrToReg(REG_RCX);
+
+                    //mov qword ptr[rcx],rax
+                    op_mov_MR(sizeof(_int64),REG_RAX,REG_RCX,0,MOD_BASE);
             }
         }

BasicCompiler64/Compile_Set_Var.cpp

@@ -77 +77 @@
 
 
-//TODO: 継承・派生関係にある場合は許容する
-    if(CalcType==DEF_OBJECT&&lpVarIndex==lpCalcIndex){
-        //双方のオブジェクト型が完全に一致したとき
-        //※コピーを行う
-
-        //mov rsi,RightTermReg
-        op_mov_RR(REG_RSI,RightTermReg);
-
-        //mov rdi,VarReg
-        op_mov_RR(REG_RDI,VarReg);
-
-        int object_size;
-        object_size=GetSizeOfClass((CClass *)lpVarIndex);
-
-        //mov rcx,object_size
-        op_mov_RV(sizeof(_int64),REG_RCX,object_size);
-
-        if(bUseHeap){
-            //mov rax,rsi
-            op_mov_RR(REG_RAX,REG_RSI);
-        }
-
-        //rep movs byte ptr[rdi],byte ptr[rsi]
-        op_rep_movs(sizeof(BYTE));
-
-        if(bUseHeap){
-            //mov rcx,rax
-            op_mov_RR(REG_RCX,REG_RAX);
-
-            //call free
-            extern SUBINFO *pSub_free;
-            op_call(pSub_free);
-        }
-
-        return;
-    }
-    else{
-        SetError(1,NULL,cp);
-    }
+    if( CalcType == DEF_OBJECT ){
+        CClass *pVarClass = (CClass *)lpVarIndex;
+        CClass *pCalcClass = (CClass *)lpCalcIndex;
+
+        if( pVarClass->IsEquals( pCalcClass )           //等しい
+            || pVarClass->IsSubClass( pCalcClass ) ){   //派生・継承関係
+
+                //双方のオブジェクト型が一致、または派生・継承関係にあるとき
+                //※コピーを行う
+
+                //mov rsi,RightTermReg
+                op_mov_RR(REG_RSI,RightTermReg);
+
+                //mov rdi,VarReg
+                op_mov_RR(REG_RDI,VarReg);
+
+                int object_size = GetSizeOfClass((CClass *)lpVarIndex);
+
+                //mov rcx,object_size
+                op_mov_RV(sizeof(_int64),REG_RCX,object_size);
+
+                if(bUseHeap){
+                    //mov rax,rsi
+                    op_mov_RR(REG_RAX,REG_RSI);
+                }
+
+                //rep movs byte ptr[rdi],byte ptr[rsi]
+                op_rep_movs(sizeof(BYTE));
+
+                if(bUseHeap){
+                    //mov rcx,rax
+                    op_mov_RR(REG_RCX,REG_RAX);
+
+                    //call free
+                    extern SUBINFO *pSub_free;
+                    op_call(pSub_free);
+                }
+
+                return;
+        }
+    }
+
+    SetError(1,NULL,cp);
 }
 

BasicCompiler64/Compile_Var.cpp

@@ -1229 +1229 @@
 
     if(TypeInfo.type==DEF_OBJECT){
-        if(TypeInfo.u.pobj_Class->IsHoldAbstractFunction()){
+        if(TypeInfo.u.pobj_Class->IsAbstract()){
             //抽象クラスだったとき
             SetError(125,TypeInfo.u.pobj_Class->name,cp);