Changeset d3aa55e9 for src/ResolvExpr/CandidateFinder.cpp

Timestamp:

Jun 27, 2024, 4:42:01 PM (3 weeks ago)

Author:

JiadaL <j82liang@…>

Branches:

master

Children:

7552fde

Parents:

d5efcb7

Message:

1. Disallow implicit conversion from cfa enum to int during on the function call site; 2. implement the reverse enum loop

File:

• src/ResolvExpr/CandidateFinder.cpp (modified) (4 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 );