Changeset 20 in dev for BasicCompiler64/CParameter.cpp

Timestamp:

Dec 28, 2006, 5:24:48 AM (17 years ago)

Author:

dai_9181

Message:

参照型パラメータに関数の戻り値オブジェクトを指定した場合などの、一時オブジェクトの扱いを可能にした。
Dimで指定される初期値を見分けることで、As指定を省略できるようにした。

File:

• BasicCompiler64/CParameter.cpp (modified) (3 diffs)

BasicCompiler64/CParameter.cpp

@@ -329 +329 @@
     }
 }
+
+void CParameter::NewTempParameters( char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum ){
+    ///////////////////////////////////////////////////////
+    // 一時オブジェクトをあらかじめスタックに積んでおく
+    ///////////////////////////////////////////////////////
+
+    useTempObject = false;
+
+    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(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( &reg, Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex );
+
+                //スタックフレームへコピー
+                StackOffsetOfTempObject[i2] = pobj_sf->push(reg);
+
+                useTempParameters[i2] = true;
+                useTempObject = true;
+
+                types[i2].type = type;
+                types[i2].u.lpIndex = lpVarIndex;
+            }
+        }
+    }
+}
+void CParameter::DeleteTempParameters(){
+    ///////////////////////////////////////////////////////
+    // 一時オブジェクトを破棄
+    ///////////////////////////////////////////////////////
+    if( !useTempObject ) return;
+
+    for(int i2=ParmsNum-1;i2>=0;i2--){
+        if( useTempParameters[i2] ){
+            //スタックフレームから取得
+            pobj_sf->ref(REG_RCX);
+
+            //デストラクタを呼び出す
+
+            //call destructor
+            int i5 = types[i2].u.pobj_Class->DestructorMemberSubIndex;
+            op_call( types[i2].u.pobj_Class->ppobj_Method[i5]->psi );
+
+            //メモリを解放する
+
+            pobj_sf->pop(REG_RCX);
+
+            //call free
+            extern SUBINFO *pSub_free;
+            op_call(pSub_free);
+        }
+    }
+}
+
 void CParameter::SetObjectParameter(int reg,CClass *pobj_Class,LPSTR Parameter){
     //////////////////////////////////////////////////////
@@ -427 +526 @@
     op_mov_RR(reg,REG_R11);
 }
+
 void CParameter::SetParameter(char *FuncName,PARAMETER_INFO *ppi,int pi_num,int SecondParmNum){
     ///////////////////////////////////////////////////////////
@@ -616 +716 @@
                 int VarType;
                 LONG_PTR lpVarIndex;
-                if(!GetVarOffsetReadOnly(
+                if(GetVarOffset(
+                    false,
+                    false,
                     Parms[i2],
                     &VarType,
                     &RelativeVar,
-                    &lpVarIndex)) continue;
-
-                if(DummyTypeInfo.type!=DEF_ANY){
-                    //型チェックを行う
-                    if(DummyTypeInfo.type==VarType){
-                        if(DummyTypeInfo.type==DEF_OBJECT){
-                            if(DummyTypeInfo.u.lpIndex!=lpVarIndex){
+                    &lpVarIndex)){
+
+                        if(DummyTypeInfo.type!=DEF_ANY){
+                            //型チェックを行う
+                            if(DummyTypeInfo.type==VarType){
+                                if(DummyTypeInfo.type==DEF_OBJECT){
+                                    if(DummyTypeInfo.u.lpIndex!=lpVarIndex){
+                                        SetError(11,Parms[i2],cp);
+                                    }
+                                }
+                            }
+                            else if((VarType&FLAG_PTR)&&((VarType^FLAG_PTR)==DummyTypeInfo.type)){
+                                //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
+                            }
+                            else{
                                 SetError(11,Parms[i2],cp);
                             }
                         }
-                    }
-                    else if((VarType&FLAG_PTR)&&((VarType^FLAG_PTR)==DummyTypeInfo.type)){
-                        //仮引数がポインタ参照で、実引数が配列の先頭ポインタのとき
-                    }
-                    else{
-                        SetError(11,Parms[i2],cp);
-                    }
-                }
-
-                //変数アドレスをレジスタにセット
-                SetVarPtrToReg(reg,&RelativeVar);
+
+                        //変数アドレスをレジスタにセット
+                        SetVarPtrToReg(reg,&RelativeVar);
+
+                }
+                else{
+                    //一時オブジェクトをコピー
+
+                    //mov reg, qword ptr[rsp+offset]
+                    pobj_sf->ref_offset_data( reg, StackOffsetOfTempObject[i2] );
+
+                    //VarType = NumOpe( &reg, Parms[i2], DummyTypeInfo.type, DummyTypeInfo.u.lpIndex, &lpVarIndex );
+                }
             }
         }