Changeset 673 in dev

Timestamp:

Jun 29, 2008, 1:44:08 PM (16 years ago)

Author:

dai_9181

Message:

・オーバーロード解決時、戻り値に型パラメータだった場合に型解決されずに、正しいオーバーロード解決が行われない不具合を修正。
・演算子メソッドの戻り値が型パラメータだったとき、型解決が行われない不具合を修正。

Location:

trunk/ab5.0/abdev

Files:

• BasicCompiler_Common/ParamImpl.cpp (modified) (1 diff)
• compiler_x86/NumOpe.cpp (modified) (6 diffs)
• compiler_x86/Opcode.h (modified) (1 diff)
• compiler_x86/OperatorProc.cpp (modified) (2 diffs)

trunk/ab5.0/abdev/BasicCompiler_Common/ParamImpl.cpp

@@ -202 +202 @@
     if( !targetResultType.IsNull() ){
         //戻り値も比較対象にする
-        if( !returnType.Equals( targetResultType ) ){
+
+        Type temp( targetResultType );
+        ResolveFormalGenericTypeParameter( temp, leftType, &userProc );
+
+        if( !returnType.Equals( temp ) ){
             return false;
         }

trunk/ab5.0/abdev/compiler_x86/NumOpe.cpp

@@ -8 +8 @@
 using namespace ActiveBasic::Compiler;
 
-void PushReturnValue(int type){
+void PushReturnValue( const Type &type )
+{
     //関数の戻り値をスタックへプッシュする
     //※この処理内では、esi、ediは使用不可
 
-    if(type==DEF_OBJECT || type==DEF_STRUCT){
+    if( type.IsObject() || type.IsStruct() )
+    {
         //push eax
         compiler.codeGenerator.op_push(REG_EAX);
     }
-    else if(type==DEF_DOUBLE){
+    else if( type.IsDouble() )
+    {
         //sub esp,8
         compiler.codeGenerator.op_sub_esp(8);
@@ -23 +26 @@
         compiler.codeGenerator.op_fstp_basereg( DEF_DOUBLE, REG_ESP );
     }
-    else if(type==DEF_SINGLE){
+    else if( type.IsSingle() )
+    {
         //sub esp,4
         compiler.codeGenerator.op_sub_esp(4);
@@ -30 +34 @@
         compiler.codeGenerator.op_fstp_basereg( DEF_SINGLE, REG_ESP );
     }
-    else if(type==DEF_INT64||type==DEF_QWORD){
+    else if( type.Is64() )
+    {
         //push edx
         compiler.codeGenerator.op_push(REG_EDX);
@@ -37 +42 @@
         compiler.codeGenerator.op_push(REG_EAX);
     }
-    else if(type==DEF_LONG){
-        //push eax
-        compiler.codeGenerator.op_push(REG_EAX);
-    }
-    else if(type==DEF_INTEGER || (compiler.IsUnicode()&&type==DEF_CHAR)){
+    else if( type.IsInteger() || ( compiler.IsUnicode() && type.GetBasicType() == DEF_CHAR ) )
+    {
         //movsx ebx,ax
         compiler.codeGenerator.op_movsx_R32R16( REG_EBX, REG_EAX );
@@ -48 +50 @@
         compiler.codeGenerator.op_push(REG_EBX);
     }
-    else if(type==DEF_SBYTE || (compiler.IsUnicode()==false&&type==DEF_CHAR)){
+    else if( type.IsSByte() || ( !compiler.IsUnicode() && type.GetBasicType() == DEF_CHAR ) )
+    {
         //movsx ebx,al
         compiler.codeGenerator.op_movsx_R32R8( REG_EBX, REG_EAX );
@@ -55 +58 @@
         compiler.codeGenerator.op_push(REG_EBX);
     }
-    else if(type==DEF_DWORD||type==DEF_WORD||type==DEF_BYTE||type==DEF_BOOLEAN||
-        IsPtrType(type)){
+    else if( type.IsLong() || type.IsDWord() || type.IsWord() || type.IsByte() || type.IsBoolean() || type.IsPointer() )
+    {
         //push eax
         compiler.codeGenerator.op_push(REG_EAX);

trunk/ab5.0/abdev/compiler_x86/Opcode.h

@@ -56 +56 @@
 
 //NumOpe.cpp
-void PushReturnValue(int type);
+void PushReturnValue( const Type &type );
 bool TermOpeOnlyVariable( const char *term, Type &resultType, RELATIVE_VAR &relativeVar, bool isWriteAccess );
 bool TermOpe(

trunk/ab5.0/abdev/compiler_x86/OperatorProc.cpp

@@ -195 +195 @@
     if( !pUserProc->ReturnType().IsNull() ){
         //スタックへプッシュ
-        PushReturnValue(pUserProc->ReturnType().GetBasicType());
+        PushReturnValue( pUserProc->ReturnType() );
     }
 
@@ -205 +205 @@
     }
 
+    Type temp( pUserProc->ReturnType() );
+    ResolveFormalGenericTypeParameter( temp, leftType, pUserProc );
+
     sp--;
-    type_stack[sp-1]=pUserProc->ReturnType().GetBasicType();
-    index_stack[sp-1]=pUserProc->ReturnType().GetIndex();
+    type_stack[sp-1] = temp.GetBasicType();
+    index_stack[sp-1] = temp.GetIndex();
 
     if( pUserProc->ReturnType().IsStruct() )