Changes in src/ResolvExpr/Resolver.cc [b7d92b96:99d4584]

File:

• src/ResolvExpr/Resolver.cc (modified) (15 diffs)

src/ResolvExpr/Resolver.cc

@@ -29 +29 @@
 #include "typeops.h"                     // for extractResultType
 #include "Unify.h"                       // for unify
-#include "AST/Chain.hpp"
 #include "AST/Decl.hpp"
 #include "AST/Init.hpp"
@@ -165 +164 @@
                 void removeExtraneousCast( Expression *& expr, const SymTab::Indexer & indexer ) {
                         if ( CastExpr * castExpr = dynamic_cast< CastExpr * >( expr ) ) {
-                                if ( typesCompatible( castExpr->arg->result, castExpr->result, indexer ) ) {
+                                if ( ResolvExpr::typesCompatible( castExpr->arg->result, castExpr->result, indexer ) ) {
                                         // cast is to the same type as its argument, so it's unnecessary -- remove it
                                         expr = castExpr->arg;
@@ -411 +410 @@
 
         void Resolver_old::previsit( ObjectDecl * objectDecl ) {
-                // To handle initialization of routine pointers, e.g., int (*fp)(int) = foo(), means that
-                // class-variable initContext is changed multiple time because the LHS is analysed twice.
-                // The second analysis changes initContext because of a function type can contain object
-                // declarations in the return and parameter types. So each value of initContext is
+                // To handle initialization of routine pointers, e.g., int (*fp)(int) = foo(), means that 
+                // class-variable initContext is changed multiple time because the LHS is analysed twice. 
+                // The second analysis changes initContext because of a function type can contain object 
+                // declarations in the return and parameter types. So each value of initContext is 
                 // retained, so the type on the first analysis is preserved and used for selecting the RHS.
                 GuardValue( currentObject );
@@ -451 +450 @@
 
         void Resolver_old::postvisit( FunctionDecl * functionDecl ) {
-                // default value expressions have an environment which shouldn't be there and trips up
+                // default value expressions have an environment which shouldn't be there and trips up 
                 // later passes.
                 // xxx - it might be necessary to somehow keep the information from this environment, but I
@@ -965 +964 @@
                 }
 
-                /// always-accept candidate filter
-                bool anyCandidate( const Candidate & ) { return true; }
-
                 /// Calls the CandidateFinder and finds the single best candidate
                 CandidateRef findUnfinishedKindExpression(
                         const ast::Expr * untyped, const ast::SymbolTable & symtab, const std::string & kind, 
-                        std::function<bool(const Candidate &)> pred = anyCandidate, ResolvMode mode = {}
+                        std::function<bool(const Candidate &)> pred, ResolvMode mode = {}
                 ) {
                         if ( ! untyped ) return nullptr;
@@ -1059 +1055 @@
                                 ) {
                                         // generated cast is the same type as its argument, remove it after keeping env
-                                        return ast::mutate_field( 
-                                                castExpr->arg.get(), &ast::Expr::env, castExpr->env );
+                                        ast::ptr<ast::Expr> arg = castExpr->arg;
+                                        arg.get_and_mutate()->env = castExpr->env;
+                                        return arg;
                                 }
                                 return castExpr;
@@ -1070 +1067 @@
                         }
                 };
-
-                /// Removes cast to type of argument (unlike StripCasts, also handles non-generated casts)
-                void removeExtraneousCast( ast::ptr<ast::Expr> & expr, const ast::SymbolTable & symtab ) {
-                        if ( const ast::CastExpr * castExpr = expr.as< ast::CastExpr >() ) {
-                                if ( typesCompatible( castExpr->arg->result, castExpr->result, symtab ) ) {
-                                        // cast is to the same type as its argument, remove it
-                                        ast::ptr< ast::TypeSubstitution > env = castExpr->env;
-                                        expr.set_and_mutate( castExpr->arg )->env = env;
-                                }
-                        }
-                }
 
                 /// Establish post-resolver invariants for expressions
@@ -1095 +1081 @@
                         StripCasts_new::strip( expr );
                 }
-
-                /// Find the expression candidate that is the unique best match for `untyped` in a `void`
-                /// context.
-                ast::ptr< ast::Expr > resolveInVoidContext(
-                        const ast::Expr * expr, const ast::SymbolTable & symtab, ast::TypeEnvironment & env
-                ) {
-                        assertf( expr, "expected a non-null expression" );
-                        
-                        // set up and resolve expression cast to void
-                        ast::CastExpr * untyped = new ast::CastExpr{ expr->location, expr };
-                        CandidateRef choice = findUnfinishedKindExpression( 
-                                untyped, symtab, "", anyCandidate, ResolvMode::withAdjustment() );
-                        
-                        // a cast expression has either 0 or 1 interpretations (by language rules);
-                        // if 0, an exception has already been thrown, and this code will not run
-                        const ast::CastExpr * castExpr = choice->expr.strict_as< ast::CastExpr >();
-                        env = std::move( choice->env );
-
-                        return castExpr->arg;
-                }
-
-                /// Resolve `untyped` to the expression whose candidate is the best match for a `void` 
-                /// context.
-                ast::ptr< ast::Expr > findVoidExpression( 
-                        const ast::Expr * untyped, const ast::SymbolTable & symtab
-                ) {
-                        resetTyVarRenaming();
-                        ast::TypeEnvironment env;
-                        ast::ptr< ast::Expr > newExpr = resolveInVoidContext( untyped, symtab, env );
-                        finishExpr( newExpr, env, untyped->env );
-                        return newExpr;
-                }
-
+                
                 /// resolve `untyped` to the expression whose candidate satisfies `pred` with the 
                 /// lowest cost, returning the resolved version
@@ -1139 +1093 @@
                         finishExpr( choice->expr, choice->env, untyped->env );
                         return std::move( choice->expr );
-                }
-
-                /// Resolve `untyped` to the single expression whose candidate is the best match for the 
-                /// given type.
-                ast::ptr< ast::Expr > findSingleExpression(
-                        const ast::Expr * untyped, const ast::Type * type, const ast::SymbolTable & symtab
-                ) {
-                        assert( untyped && type );
-                        const ast::Expr * castExpr = new ast::CastExpr{ untyped->location, untyped, type };
-                        ast::ptr< ast::Expr > newExpr = 
-                                findKindExpression( castExpr, symtab, "", anyCandidate );
-                        removeExtraneousCast( newExpr, symtab );
-                        return newExpr;
                 }
 
@@ -1177 +1118 @@
         }
 
-        class Resolver_new final
-        : public ast::WithSymbolTable, public ast::WithGuards,
-          public ast::WithVisitorRef<Resolver_new>, public ast::WithShortCircuiting,
+        class Resolver_new final 
+        : public ast::WithSymbolTable, public ast::WithGuards, 
+          public ast::WithVisitorRef<Resolver_new>, public ast::WithShortCircuiting, 
           public ast::WithStmtsToAdd<> {
-
+        
                 ast::ptr< ast::Type > functionReturn = nullptr;
-                ast::CurrentObject currentObject = nullptr;
+                // ast::CurrentObject currentObject = nullptr;
                 bool inEnumDecl = false;
 
-        public:
+        public: 
                 Resolver_new() = default;
                 Resolver_new( const ast::SymbolTable & syms ) { symtab = syms; }
@@ -1199 +1140 @@
                 void previsit( const ast::PointerType * );
 
-                const ast::ExprStmt * previsit( const ast::ExprStmt * );
-                const ast::AsmExpr * previsit( const ast::AsmExpr * );
+                void previsit( const ast::ExprStmt * );
+                void previsit( const ast::AsmExpr * );
                 void previsit( const ast::AsmStmt * );
-                const ast::IfStmt * previsit( const ast::IfStmt * );
-                const ast::WhileStmt * previsit( const ast::WhileStmt * );
-                const ast::ForStmt * previsit( const ast::ForStmt * );
-                const ast::SwitchStmt * previsit( const ast::SwitchStmt * );
-                const ast::CaseStmt * previsit( const ast::CaseStmt * );
-                const ast::BranchStmt * previsit( const ast::BranchStmt * );
+                void previsit( const ast::IfStmt * );
+                void previsit( const ast::WhileStmt * );
+                void previsit( const ast::ForStmt * );
+                void previsit( const ast::SwitchStmt * );
+                void previsit( const ast::CaseStmt * );
+                void previsit( const ast::BranchStmt * );
                 void previsit( const ast::ReturnStmt * );
                 void previsit( const ast::ThrowStmt * );
@@ -1229 +1170 @@
 
         const ast::FunctionDecl * Resolver_new::postvisit( const ast::FunctionDecl * functionDecl ) {
-                // default value expressions have an environment which shouldn't be there and trips up
+                // default value expressions have an environment which shouldn't be there and trips up 
                 // later passes.
                 ast::ptr< ast::FunctionDecl > ret = functionDecl;
                 for ( unsigned i = 0; i < functionDecl->type->params.size(); ++i ) {
                         const ast::ptr<ast::DeclWithType> & d = functionDecl->type->params[i];
-
+                        
                         if ( const ast::ObjectDecl * obj = d.as< ast::ObjectDecl >() ) {
                                 if ( const ast::SingleInit * init = obj->init.as< ast::SingleInit >() ) {
                                         if ( init->value->env == nullptr ) continue;
                                         // clone initializer minus the initializer environment
-                                        ast::chain_mutate( ret )
-                                                ( &ast::FunctionDecl::type )
-                                                        ( &ast::FunctionType::params )[i]
-                                                                ( &ast::ObjectDecl::init )
-                                                                        ( &ast::SingleInit::value )->env = nullptr;
-
-                                        assert( functionDecl != ret.get() || functionDecl->unique() );
-                                        assert( ! ret->type->params[i].strict_as< ast::ObjectDecl >()->init.strict_as< ast::SingleInit >()->value->env );
+                                        strict_dynamic_cast< ast::SingleInit * >(
+                                                strict_dynamic_cast< ast::ObjectDecl * >( 
+                                                        ret.get_and_mutate()->type.get_and_mutate()->params[i].get_and_mutate()
+                                                )->init.get_and_mutate()
+                                        )->value.get_and_mutate()->env = nullptr;
                                 }
                         }
@@ -1254 +1192 @@
 
         void Resolver_new::previsit( const ast::ObjectDecl * objectDecl ) {
-                // To handle initialization of routine pointers [e.g. int (*fp)(int) = foo()], 
-                // class-variable `initContext` is changed multiple times because the LHS is analyzed 
-                // twice. The second analysis changes `initContext` because a function type can contain 
-                // object declarations in the return and parameter types. Therefore each value of 
-                // `initContext` is retained so the type on the first analysis is preserved and used for 
-                // selecting the RHS.
-                GuardValue( currentObject );
-                currentObject = ast::CurrentObject{ objectDecl->get_type() };
-                if ( inEnumDecl && dynamic_cast< const ast::EnumInstType * >( objectDecl->get_type() ) ) {
-                        // enumerator initializers should not use the enum type to initialize, since the 
-                        // enum type is still incomplete at this point. Use `int` instead.
-                        currentObject = ast::CurrentObject{ new ast::BasicType{ ast::BasicType::SignedInt } };
-                }
+                #warning unimplemented; Resolver port in progress
+                (void)objectDecl;
+                assert(false);
         }
 
@@ -1278 +1206 @@
                 const ast::StaticAssertDecl * assertDecl 
         ) {
-                return ast::mutate_field( 
-                        assertDecl, &ast::StaticAssertDecl::cond, 
-                        findIntegralExpression( assertDecl->cond, symtab ) );
-        }
-
-        template< typename PtrType >
-        void handlePtrType( const PtrType * type, const ast::SymbolTable & symtab ) {
-                #warning unimplemented; needs support for new Validate::SizeType global
-                (void)type; (void)symtab;
-                assert( false );
+                ast::ptr< ast::Expr > cond = findIntegralExpression( assertDecl->cond, symtab );
+                if ( cond == assertDecl->cond ) return assertDecl;
+                
+                ast::StaticAssertDecl * ret = mutate( assertDecl );
+                ret->cond = cond;
+                return ret;
         }
 
         void Resolver_new::previsit( const ast::ArrayType * at ) {
-                handlePtrType( at, symtab );
+                #warning unimplemented; Resolver port in progress
+                (void)at;
+                assert(false);
         }
 
         void Resolver_new::previsit( const ast::PointerType * pt ) {
-                handlePtrType( pt, symtab );
-        }
-
-        const ast::ExprStmt * Resolver_new::previsit( const ast::ExprStmt * exprStmt ) {
-                visit_children = false;
-                assertf( exprStmt->expr, "ExprStmt has null expression in resolver" );
-                
-                return ast::mutate_field( 
-                        exprStmt, &ast::ExprStmt::expr, findVoidExpression( exprStmt->expr, symtab ) );
-        }
-
-        const ast::AsmExpr * Resolver_new::previsit( const ast::AsmExpr * asmExpr ) {
-                visit_children = false;
-
-                asmExpr = ast::mutate_field( 
-                        asmExpr, &ast::AsmExpr::operand, findVoidExpression( asmExpr->operand, symtab ) );
-                
-                if ( asmExpr->inout ) {
-                        asmExpr = ast::mutate_field(
-                                asmExpr, &ast::AsmExpr::inout, findVoidExpression( asmExpr->inout, symtab ) );
-                }
-                
-                return asmExpr;
+                #warning unimplemented; Resolver port in progress
+                (void)pt;
+                assert(false);
+        }
+
+        void Resolver_new::previsit( const ast::ExprStmt * exprStmt ) {
+                #warning unimplemented; Resolver port in progress
+                (void)exprStmt;
+                assert(false);
+        }
+
+        void Resolver_new::previsit( const ast::AsmExpr * asmExpr ) {
+                #warning unimplemented; Resolver port in progress
+                (void)asmExpr;
+                assert(false);
         }
 
@@ -1326 +1244 @@
         }
 
-        const ast::IfStmt * Resolver_new::previsit( const ast::IfStmt * ifStmt ) {
-                return ast::mutate_field(
-                        ifStmt, &ast::IfStmt::cond, findIntegralExpression( ifStmt->cond, symtab ) );
-        }
-
-        const ast::WhileStmt * Resolver_new::previsit( const ast::WhileStmt * whileStmt ) {
-                return ast::mutate_field( 
-                        whileStmt, &ast::WhileStmt::cond, findIntegralExpression( whileStmt->cond, symtab ) );
-        }
-
-        const ast::ForStmt * Resolver_new::previsit( const ast::ForStmt * forStmt ) {
-                if ( forStmt->cond ) {
-                        forStmt = ast::mutate_field(
-                                forStmt, &ast::ForStmt::cond, findIntegralExpression( forStmt->cond, symtab ) );
-                }
-
-                if ( forStmt->inc ) {
-                        forStmt = ast::mutate_field(
-                                forStmt, &ast::ForStmt::inc, findVoidExpression( forStmt->inc, symtab ) );
-                }
-
-                return forStmt;
-        }
-
-        const ast::SwitchStmt * Resolver_new::previsit( const ast::SwitchStmt * switchStmt ) {
-                GuardValue( currentObject );
-                switchStmt = ast::mutate_field(
-                        switchStmt, &ast::SwitchStmt::cond, 
-                        findIntegralExpression( switchStmt->cond, symtab ) );
-                currentObject = ast::CurrentObject{ switchStmt->cond->result };
-                return switchStmt;
-        }
-
-        const ast::CaseStmt * Resolver_new::previsit( const ast::CaseStmt * caseStmt ) {
-                if ( caseStmt->cond ) {
-                        #warning unimplemented, depends on currentObject implementation
-                        assert(false);
-                }
-                return caseStmt;
-        }
-
-        const ast::BranchStmt * Resolver_new::previsit( const ast::BranchStmt * branchStmt ) {
-                visit_children = false;
-                // must resolve the argument of a computed goto
-                if ( branchStmt->kind == ast::BranchStmt::Goto && branchStmt->computedTarget ) {
-                        // computed goto argument is void*
-                        branchStmt = ast::mutate_field(
-                                branchStmt, &ast::BranchStmt::computedTarget, 
-                                findSingleExpression( 
-                                        branchStmt->computedTarget, new ast::PointerType{ new ast::VoidType{} }, 
-                                        symtab ) );
-                }
-                return branchStmt;
+        void Resolver_new::previsit( const ast::IfStmt * ifStmt ) {
+                #warning unimplemented; Resolver port in progress
+                (void)ifStmt;
+                assert(false);
+        }
+
+        void Resolver_new::previsit( const ast::WhileStmt * whileStmt ) {
+                #warning unimplemented; Resolver port in progress
+                (void)whileStmt;
+                assert(false);
+        }
+
+        void Resolver_new::previsit( const ast::ForStmt * forStmt ) {
+                #warning unimplemented; Resolver port in progress
+                (void)forStmt;
+                assert(false);
+        }
+
+        void Resolver_new::previsit( const ast::SwitchStmt * switchStmt ) {
+                #warning unimplemented; Resolver port in progress
+                (void)switchStmt;
+                assert(false);
+        }
+
+        void Resolver_new::previsit( const ast::CaseStmt * caseStmt ) {
+                #warning unimplemented; Resolver port in progress
+                (void)caseStmt;
+                assert(false);
+        }
+
+        void Resolver_new::previsit( const ast::BranchStmt * branchStmt ) {
+                #warning unimplemented; Resolver port in progress
+                (void)branchStmt;
+                assert(false);
         }