Changeset 2b59f55 for src/ResolvExpr/Resolver.cc

Timestamp:

Jun 6, 2019, 5:46:10 PM (5 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

5684736

Parents:

1a4323e

Message:

More resolver porting

File:

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

src/ResolvExpr/Resolver.cc

@@ -1131 +1131 @@
                 /// lowest cost, returning the resolved version
                 ast::ptr< ast::Expr > findKindExpression(
-                        const ast::Expr * untyped, const ast::SymbolTable & symtab, const std::string & kind, 
-                        std::function<bool(const Candidate &)> pred, ResolvMode mode = {}
+                        const ast::Expr * untyped, const ast::SymbolTable & symtab, 
+                        std::function<bool(const Candidate &)> pred = anyCandidate, 
+                        const std::string & kind = "", ResolvMode mode = {}
                 ) {
                         if ( ! untyped ) return {};
@@ -1148 +1149 @@
                         assert( untyped && type );
                         const ast::Expr * castExpr = new ast::CastExpr{ untyped->location, untyped, type };
-                        ast::ptr< ast::Expr > newExpr = 
-                                findKindExpression( castExpr, symtab, "", anyCandidate );
+                        ast::ptr< ast::Expr > newExpr = findKindExpression( castExpr, symtab );
                         removeExtraneousCast( newExpr, symtab );
                         return newExpr;
@@ -1173 +1173 @@
                         const ast::Expr * untyped, const ast::SymbolTable & symtab 
                 ) {
-                        return findKindExpression( untyped, symtab, "condition", hasIntegralType );
+                        return findKindExpression( untyped, symtab, hasIntegralType, "condition" );
                 }
         }
@@ -1183 +1183 @@
 
                 ast::ptr< ast::Type > functionReturn = nullptr;
-                ast::CurrentObject currentObject = nullptr;
+                ast::CurrentObject currentObject;
                 bool inEnumDecl = false;
 
@@ -1199 +1199 @@
                 void previsit( const ast::PointerType * );
 
-                const ast::ExprStmt * previsit( const ast::ExprStmt * );
-                const ast::AsmExpr * 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::ExprStmt *   previsit( const ast::ExprStmt * );
+                const ast::AsmExpr *    previsit( const ast::AsmExpr * );
+                const ast::AsmStmt *    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::CaseStmt *   previsit( const ast::CaseStmt * );
                 const ast::BranchStmt * previsit( const ast::BranchStmt * );
-                void previsit( const ast::ReturnStmt * );
-                void previsit( const ast::ThrowStmt * );
-                void previsit( const ast::CatchStmt * );
+                const ast::ReturnStmt * previsit( const ast::ReturnStmt * );
+                const ast::ThrowStmt *  previsit( const ast::ThrowStmt * );
+                const ast::CatchStmt *  previsit( const ast::CatchStmt * );
                 void previsit( const ast::WaitForStmt * );
 
@@ -1261 +1261 @@
                 // selecting the RHS.
                 GuardValue( currentObject );
-                currentObject = ast::CurrentObject{ objectDecl->get_type() };
+                currentObject = ast::CurrentObject{ objectDecl->location, 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 } };
+                        currentObject = ast::CurrentObject{ 
+                                objectDecl->location, new ast::BasicType{ ast::BasicType::SignedInt } };
                 }
         }
@@ -1320 +1321 @@
         }
 
-        void Resolver_new::previsit( const ast::AsmStmt * asmStmt ) {
-                #warning unimplemented; Resolver port in progress
-                (void)asmStmt;
-                assert(false);
+        const ast::AsmStmt * Resolver_new::previsit( const ast::AsmStmt * asmStmt ) {
+                visitor->maybe_accept( asmStmt, &ast::AsmStmt::input );
+                visitor->maybe_accept( asmStmt, &ast::AsmStmt::output );
+                visit_children = false;
+                return asmStmt;
         }
 
@@ -1355 +1357 @@
                         switchStmt, &ast::SwitchStmt::cond, 
                         findIntegralExpression( switchStmt->cond, symtab ) );
-                currentObject = ast::CurrentObject{ switchStmt->cond->result };
+                currentObject = ast::CurrentObject{ switchStmt->location, switchStmt->cond->result };
                 return switchStmt;
         }
@@ -1361 +1363 @@
         const ast::CaseStmt * Resolver_new::previsit( const ast::CaseStmt * caseStmt ) {
                 if ( caseStmt->cond ) {
-                        #warning unimplemented, depends on currentObject implementation
-                        assert(false);
+                        std::vector< ast::InitAlternative > initAlts = currentObject.getOptions();
+                        assertf( initAlts.size() == 1, "SwitchStmt did not correctly resolve an integral "
+                                "expression." );
+                        
+                        const ast::Expr * untyped = 
+                                new ast::CastExpr{ caseStmt->location, caseStmt->cond, initAlts.front().type };
+                        ast::ptr< ast::Expr > newExpr = findKindExpression( untyped, symtab );
+                        
+                        // case condition cannot have a cast in C, so it must be removed here, regardless of 
+                        // whether it would perform a conversion.
+                        if ( const ast::CastExpr * castExpr = newExpr.as< ast::CastExpr >() ) {
+                                ast::ptr< ast::TypeSubstitution > env = castExpr->env;
+                                newExpr.set_and_mutate( castExpr->arg )->env = env;
+                        }
+                        
+                        caseStmt = ast::mutate_field( caseStmt, &ast::CaseStmt::cond, newExpr );
                 }
                 return caseStmt;
@@ -1381 +1397 @@
         }
 
-        void Resolver_new::previsit( const ast::ReturnStmt * returnStmt ) {
-                #warning unimplemented; Resolver port in progress
-                (void)returnStmt;
-                assert(false);
-        }
-
-        void Resolver_new::previsit( const ast::ThrowStmt * throwStmt ) {
-                #warning unimplemented; Resolver port in progress
-                (void)throwStmt;
-                assert(false);
-        }
-
-        void Resolver_new::previsit( const ast::CatchStmt * catchStmt ) {
-                #warning unimplemented; Resolver port in progress
-                (void)catchStmt;
-                assert(false);
+        const ast::ReturnStmt * Resolver_new::previsit( const ast::ReturnStmt * returnStmt ) {
+                visit_children = false;
+                if ( returnStmt->expr ) {
+                        returnStmt = ast::mutate_field(
+                                returnStmt, &ast::ReturnStmt::expr, 
+                                findSingleExpression( returnStmt->expr, functionReturn, symtab ) );
+                }
+                return returnStmt;
+        }
+
+        const ast::ThrowStmt * Resolver_new::previsit( const ast::ThrowStmt * throwStmt ) {
+                visit_children = false;
+                if ( throwStmt->expr ) {
+                        const ast::StructDecl * exceptionDecl = 
+                                symtab.lookupStruct( "__cfaabi_ehm__base_exception_t" );
+                        assert( exceptionDecl );
+                        ast::ptr< ast::Type > exceptType = 
+                                new ast::PointerType{ new ast::StructInstType{ exceptionDecl } };
+                        throwStmt = ast::mutate_field(
+                                throwStmt, &ast::ThrowStmt::expr, 
+                                findSingleExpression( throwStmt->expr, exceptType, symtab ) );
+                }
+                return throwStmt;
+        }
+
+        const ast::CatchStmt * Resolver_new::previsit( const ast::CatchStmt * catchStmt ) {
+                if ( catchStmt->cond ) {
+                        ast::ptr< ast::Type > boolType = new ast::BasicType{ ast::BasicType::Bool };
+                        catchStmt = ast::mutate_field( 
+                                catchStmt, &ast::CatchStmt::cond, 
+                                findSingleExpression( catchStmt->cond, boolType, symtab ) );
+                }
+                return catchStmt;
         }