Changeset bc07190 for src/ResolvExpr

Timestamp:

Jun 29, 2024, 7:33:28 AM (19 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

011c29e

Parents:

62a38e7 (diff), 115ac1ce (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

Location:

src/ResolvExpr

Files:

• CandidateFinder.cpp (modified) (4 diffs)
• CastCost.cpp (modified) (4 diffs)
• CommonType.cpp (modified) (2 diffs)
• ConversionCost.cpp (modified) (6 diffs)
• Unify.cpp (modified) (5 diffs)

src/ResolvExpr/CandidateFinder.cpp

@@ -698 +698 @@
                 void postvisit( const ast::CountExpr * countExpr );
 
-                const ast::Expr * makeEnumOffsetCast( const ast::EnumInstType * src, 
-                        const ast::EnumInstType * dst
-                        , const ast::Expr * expr, Cost minCost );
-
                 void postvisit( const ast::InitExpr * ) {
                         assertf( false, "CandidateFinder should never see a resolved InitExpr." );
@@ -1213 +1209 @@
         }
 
-        // src is a subset of dst
-        const ast::Expr * Finder::makeEnumOffsetCast( const ast::EnumInstType * src, 
-                const ast::EnumInstType * dst,
-                const ast::Expr * expr,
-                Cost minCost ) {
-                
-                auto srcDecl = src->base;
-                auto dstDecl = dst->base;
-
-                if (srcDecl->name == dstDecl->name) return expr;
-
-                for (auto& dstChild: dstDecl->inlinedDecl) {
-                        Cost c = castCost(src, dstChild, false, symtab, tenv);
-                        ast::CastExpr * castToDst;
-                        if (c<minCost) {
-                                unsigned offset = dstDecl->calChildOffset(dstChild.get());
-                                if (offset > 0) {
-                                        auto untyped = ast::UntypedExpr::createCall(
-                                                expr->location, 
-                                                "?+?", 
-                                                { new ast::CastExpr( expr, new ast::BasicType(ast::BasicKind::SignedInt) ),
-                                                ast::ConstantExpr::from_int(expr->location, offset)});
-                                        CandidateFinder finder(context, tenv);
-                                        finder.find( untyped );
-                                        CandidateList winners = findMinCost( finder.candidates );
-                                        CandidateRef & choice = winners.front();
-                                        // choice->expr = referenceToRvalueConversion( choice->expr, choice->cost );
-                                        choice->expr = new ast::CastExpr(expr->location, choice->expr, dstChild, ast::GeneratedFlag::ExplicitCast);
-                                        // castToDst = new ast::CastExpr(choice->expr, dstChild);
-                                        castToDst = new ast::CastExpr( 
-                                                makeEnumOffsetCast( src, dstChild, choice->expr, minCost ),
-                                         dst);
-
-                                } else {
-                                        castToDst = new ast::CastExpr( expr, dst );
-                                }
-                                return castToDst;
-                        }
-                }
-                SemanticError(expr, src->base->name + " is not a subtype of " + dst->base->name);
-                return nullptr;
-        }
-
         void Finder::postvisit( const ast::CastExpr * castExpr ) {
                 ast::ptr< ast::Type > toType = castExpr->result;
@@ -1309 +1262 @@
                         auto argAsEnum = cand->expr->result.as<ast::EnumInstType>();
                         auto toAsEnum = toType.as<ast::EnumInstType>();
-                        if ( argAsEnum && toAsEnum && argAsEnum->name != toAsEnum->name ) {     
-                                ast::ptr<ast::Expr> offsetExpr = makeEnumOffsetCast(argAsEnum, toAsEnum, cand->expr, thisCost);
+                        if ( argAsEnum && toAsEnum && argAsEnum->name != toAsEnum->name ) {
+                                CandidateFinder subFinder(context, tenv);
+                                ast::ptr<ast::Expr> offsetExpr = subFinder.makeEnumOffsetCast(argAsEnum, toAsEnum, cand->expr, thisCost);
                                 cand->expr = offsetExpr;
                         }
@@ -2193 +2147 @@
                                         expr->location, 
                                         "?+?", 
-                                        { new ast::CastExpr( expr, new ast::BasicType(ast::BasicKind::SignedInt) ),
-                                        ast::ConstantExpr::from_int(expr->location, offset)});
+                                        { new ast::CastExpr( expr->location,
+                                                expr,
+                                                new ast::BasicType(ast::BasicKind::SignedInt),
+                                                ast::GeneratedFlag::ExplicitCast ),
+                                                ast::ConstantExpr::from_int(expr->location, offset)} );
                                 CandidateFinder finder(context, env);
                                 finder.find( untyped );

src/ResolvExpr/CastCost.cpp

@@ -53 +53 @@
                 void postvisit( const ast::EnumInstType * enumInst ) {
                         cost = conversionCost( enumInst, dst, srcIsLvalue, symtab, env );
+                        if ( enumInst->base->isTyped() ) {
+                                auto baseConversionCost = 
+                                        castCost( enumInst->base->base, dst, srcIsLvalue, symtab, env );
+                                cost = baseConversionCost < cost? baseConversionCost: cost;
+                        }
+                        static ast::ptr<ast::BasicType> integer = { new ast::BasicType( ast::BasicKind::SignedInt ) };
+                        Cost intCost = costCalc( integer, dst, srcIsLvalue, symtab, env );
+                        intCost.incSafe();
+                        cost = intCost < cost? intCost: cost;
                 }
 
@@ -63 +72 @@
                                 cost = conversionCost( basicType, dst, srcIsLvalue, symtab, env );
                                 if ( Cost::unsafe < cost ) {
-                                        if (auto enumInst = dynamic_cast<const ast::EnumInstType *>(dst)) {
-                                                // Always explict cast only for typed enum
-                                                if (enumInst->base->isTyped) cost = Cost::unsafe;
+                                        if ( dynamic_cast<const ast::EnumInstType *>(dst)) {
+                                                cost = Cost::unsafe;
                                         }
                                 }
@@ -74 +82 @@
                         cost = conversionCost( zero, dst, srcIsLvalue, symtab, env );
                         if ( Cost::unsafe < cost ) {
-                                if (auto enumInst =  dynamic_cast<const ast::EnumInstType *>(dst)) {
-                                        if (enumInst->base->isTyped) cost = Cost::unsafe;
+                                if ( dynamic_cast<const ast::EnumInstType *>(dst)) {
+                                        cost = Cost::unsafe;
                                 }
                         }
@@ -83 +91 @@
                         cost = conversionCost( one, dst, srcIsLvalue, symtab, env );
                         if ( Cost::unsafe < cost ) {
-                                if (auto enumInst = dynamic_cast<const ast::EnumInstType *>(dst)) {
-                                        if (enumInst->base->isTyped) cost = Cost::unsafe;
+                                if ( dynamic_cast<const ast::EnumInstType *>(dst)) {
+                                        cost = Cost::unsafe;
                                 }
                         }

src/ResolvExpr/CommonType.cpp

@@ -386 +386 @@
                 } else if ( const ast::EnumInstType * enumInst = dynamic_cast< const ast::EnumInstType * >( type2 ) ) {
                         const ast::EnumDecl* enumDecl = enumInst->base;
-                        if ( !enumDecl->base ) {
+                        if ( !enumDecl->isCfa  ) {
                                 ast::BasicKind kind = commonTypes[ basic->kind ][ ast::BasicKind::SignedInt ];
                                 if (
@@ -642 +642 @@
                         const ast::EnumDecl* argDecl = argAsEnumInst->base;
                         if (argDecl->isSubTypeOf(paramDecl)) result = param;
-                } else if ( param->base && !param->base->isTyped ) {
+                } else if ( param->base && !param->base->isCfa ) {
                         auto basicType = new ast::BasicType( ast::BasicKind::UnsignedInt );
                         result = commonType( basicType, type2, tenv, need, have, open, widen);

src/ResolvExpr/ConversionCost.cpp

@@ -162 +162 @@
 Cost conversionCost(
         const ast::Type * src, const ast::Type * dst, bool srcIsLvalue,
-        const ast::SymbolTable & symtab, const ast::TypeEnvironment & env
+const ast::SymbolTable & symtab, const ast::TypeEnvironment & env
 ) {
         if ( const ast::TypeInstType * inst = dynamic_cast< const ast::TypeInstType * >( dst ) ) {
@@ -235 +235 @@
                         return ast::Pass<ConversionCost>::read( src, dst, srcIsLvalue, symtab, env, conversionCost );
                 }
+                if (const ast::EnumInstType * srcAsInst = dynamic_cast< const ast::EnumInstType * >( src )) {
+                        if (srcAsInst->base && !srcAsInst->base->isCfa) {
+                                static const ast::BasicType* integer = new ast::BasicType( ast::BasicKind::UnsignedInt );
+                                return ast::Pass<ConversionCost>::read( integer, dst, srcIsLvalue, symtab, env, conversionCost );
+                        }
+                }
         } else {
                 assert( -1 == diff );
                 const ast::ReferenceType * dstAsRef = dynamic_cast< const ast::ReferenceType * >( dst );
                 assert( dstAsRef );
-                if ( typesCompatibleIgnoreQualifiers( src, dstAsRef->base, env ) ) {
+                auto dstBaseType = dstAsRef->base;
+                const ast::Type * newSrc = src;
+                if ( dynamic_cast< const ast::EnumInstType * >( src ) && dstBaseType.as<ast::BasicType>() ) {
+                        newSrc = new ast::BasicType( ast::BasicKind::UnsignedInt );
+                }
+                if ( typesCompatibleIgnoreQualifiers( newSrc, dstAsRef->base, env ) ) {
                         if ( srcIsLvalue ) {
                                 if ( src->qualifiers == dstAsRef->base->qualifiers ) {
@@ -284 +295 @@
         if ( const ast::BasicType * dstAsBasic = dynamic_cast< const ast::BasicType * >( dst ) ) {
                 conversionCostFromBasicToBasic( basicType, dstAsBasic );
-        }       else if ( auto dstAsEnumInst = dynamic_cast< const ast::EnumInstType * >( dst ) ) {
-                if ( dstAsEnumInst->base && !dstAsEnumInst->base->isTyped ) {
-                        cost = Cost::unsafe;
+        } else if ( auto dstAsEnumInst = dynamic_cast< const ast::EnumInstType * >( dst ) ) {
+                if ( dstAsEnumInst->base && !dstAsEnumInst->base->isCfa ) {
+                        cost = Cost::safe;
                 }
         }
@@ -366 +377 @@
         if ( auto dstInst = dynamic_cast<const ast::EnumInstType *>( dst ) ) {
                 cost = enumCastCost(inst, dstInst, symtab, env);
-                return;
-        }
-        static ast::ptr<ast::BasicType> integer = { new ast::BasicType( ast::BasicKind::SignedInt ) };
-        cost = costCalc( integer, dst, srcIsLvalue, symtab, env );
-        if ( !inst->base->isTyped ) {
-                if ( cost < Cost::unsafe ) {
-                        cost.incSafe();
-                }
-                return;
-        }
-        cost.incUnsafe();
+        } else if ( !inst->base->isCfa ) {
+                static ast::ptr<ast::BasicType> integer = { new ast::BasicType( ast::BasicKind::SignedInt ) };
+                cost = costCalc( integer, dst, srcIsLvalue, symtab, env );
+        }
+        // cost.incUnsafe();
 }
 
@@ -454 +459 @@
                 // assuming 0p is supposed to be used for pointers?
         } else if ( auto dstAsEnumInst = dynamic_cast< const ast::EnumInstType * >( dst ) ) {
-                if ( dstAsEnumInst->base && !dstAsEnumInst->base->isTyped ) {
-                        cost = Cost::unsafe;
+                if ( dstAsEnumInst->base && !dstAsEnumInst->base->isCfa ) {
+                        cost = Cost::safe;
                 }
         }
@@ -475 +480 @@
                 }
         } else if ( auto dstAsEnumInst = dynamic_cast< const ast::EnumInstType * >( dst ) ) {
-                if ( dstAsEnumInst->base && !dstAsEnumInst->base->isTyped ) {
-                        cost = Cost::unsafe;
+                if ( dstAsEnumInst->base && !dstAsEnumInst->base->isCfa ) {
+                        cost = Cost::safe;
                 }
         }

src/ResolvExpr/Unify.cpp

@@ -276 +276 @@
         void postvisit( const ast::VoidType * ) {
                 result = dynamic_cast< const ast::VoidType * >( type2 );
-                        // || tryToUnifyWithEnumValue(vt, type2, tenv, need, have, open, noWiden());
-                ;
         }
 
@@ -284 +282 @@
                         result = basic->kind == basic2->kind;
                 }
-                // result = result || tryToUnifyWithEnumValue(basic, type2, tenv, need, have, open, noWiden());
         }
 
@@ -293 +290 @@
                                 noWiden());
                 }
-                // result = result || tryToUnifyWithEnumValue(pointer, type2, tenv, need, have, open, noWiden());
         }
 
@@ -312 +308 @@
                 result = unifyExact(
                         array->base, array2->base, tenv, need, have, open, noWiden());
-                        // || tryToUnifyWithEnumValue(array, type2, tenv, need, have, open, noWiden());
         }
 
@@ -607 +602 @@
 
                 result = unifyList( types, types2, tenv, need, have, open );
-                        // || tryToUnifyWithEnumValue(tuple, type2, tenv, need, have, open, noWiden());
         }
 
         void postvisit( const ast::VarArgsType * ) {
                 result = dynamic_cast< const ast::VarArgsType * >( type2 );
-                        // || tryToUnifyWithEnumValue(vat, type2, tenv, need, have, open, noWiden());
         }
 
         void postvisit( const ast::ZeroType * ) {
                 result = dynamic_cast< const ast::ZeroType * >( type2 );
-                        // || tryToUnifyWithEnumValue(zt, type2, tenv, need, have, open, noWiden());
         }
 
         void postvisit( const ast::OneType * ) {
                 result = dynamic_cast< const ast::OneType * >( type2 );
-                        // || tryToUnifyWithEnumValue(ot, type2, tenv, need, have, open, noWiden());
         }
 };