Changeset 2b59f55 for src/ResolvExpr

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

Location:

src/ResolvExpr

Files:

• CurrentObject.cc (modified) (2 diffs)
• CurrentObject.h (modified) (2 diffs)
• Resolver.cc (modified) (10 diffs)

src/ResolvExpr/CurrentObject.cc

@@ -20 +20 @@
 #include <string>                      // for string, operator<<, allocator
 
+#include "AST/Expr.hpp"                // for InitAlternative
+#include "AST/Init.hpp"                // for Designation
+#include "AST/Node.hpp"                // for readonly
 #include "Common/Indenter.h"           // for Indenter, operator<<
 #include "Common/SemanticError.h"      // for SemanticError
@@ -585 +588 @@
         public:
                 virtual ~MemberIterator() {}
+
+                /// retrieve the list of possible (Type,Designation) pairs for the current position in the 
+                /// current object
+                virtual std::vector< InitAlternative > operator* () const = 0;
+        
+        protected:
+                /// helper for operator*; aggregates must add designator to each init alternative, but 
+                /// adding designators in operator* creates duplicates
+                virtual std::vector< InitAlternative > first() const = 0;
         };
 
         /// Iterates "other" types (e.g. basic, pointer) which do not change at list initializer entry
         class SimpleIterator final : public MemberIterator {
-                const Type * type = nullptr;
-        public:
-                SimpleIterator( const Type * t ) : type( t ) {}
-        };
-
-        CurrentObject::CurrentObject( const ast::Type * type ) : objStack() {
-                objStack.emplace_back( new SimpleIterator{ type } );
-        }
-
-        #warning ast::CurrentObject port incomplete
+                CodeLocation location;
+                readonly< Type > type = nullptr;
+        public:
+                SimpleIterator( const CodeLocation & loc, const Type * t ) : location( loc ), type( t ) {}
+
+                std::vector< InitAlternative > operator* () const override { return first(); }
+
+        protected:
+                std::vector< InitAlternative > first() const override {
+                        if ( type ) return { InitAlternative{ type, new Designation{ location } } };
+                        return {};
+                }
+        };
+
+        CurrentObject::CurrentObject( const CodeLocation & loc, const Type * type ) : objStack() {
+                objStack.emplace_back( new SimpleIterator{ loc, type } );
+        }
+
+        std::vector< InitAlternative > CurrentObject::getOptions() {
+                PRINT( std::cerr << "____getting current options" << std::endl; )
+                assertf( ! objStack.empty(), "objstack empty in getOptions" );
+                return **objStack.back();
+        }
 }
 

src/ResolvExpr/CurrentObject.h

@@ -20 +20 @@
 #include <stack>  // for stack
 #include <vector>
+
+#include "Common/CodeLocation.h"
 
 class Designation;
@@ -69 +71 @@
         public:
                 CurrentObject() = default;
-                CurrentObject( const Type * type );
+                CurrentObject( const CodeLocation & loc, const Type * type );
+
+                /// produces a list of alternatives (Type *, Designation *) for the current sub-object's 
+                /// initializer.
+                std::vector< InitAlternative > getOptions();
         };
 } // namespace ast

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;
         }