Changeset 4ae78c1

Timestamp:

Oct 30, 2020, 12:01:23 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

969e7ee7, f7e4f8e8

Parents:

6a77224 (diff), 3100754 (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

Files:

• AST/Pass.hpp (modified) (1 diff)
• AST/Pass.impl.hpp (modified) (2 diffs)
• Common/PassVisitor.h (modified) (2 diffs)
• Common/PassVisitor.impl.h (modified) (6 diffs)
• GenPoly/Specialize.cc (modified) (2 diffs)

src/AST/Pass.hpp

@@ -296 +296 @@
 private:
         bool inFunction = false;
+        bool atFunctionTop = false;
 };
 

src/AST/Pass.impl.hpp

@@ -502 +502 @@
                                 // foralls are still in function type
                                 maybe_accept( node, &FunctionDecl::type );
-                                // function body needs to have the same scope as parameters - CompoundStmt will not enter
-                                // a new scope if inFunction is true
+                                // First remember that we are now within a function.
                                 ValueGuard< bool > oldInFunction( inFunction );
                                 inFunction = true;
+                                // The function body needs to have the same scope as parameters.
+                                // A CompoundStmt will not enter a new scope if atFunctionTop is true.
+                                ValueGuard< bool > oldAtFunctionTop( atFunctionTop );
+                                atFunctionTop = true;
                                 maybe_accept( node, &FunctionDecl::stmts );
                                 maybe_accept( node, &FunctionDecl::attributes );
@@ -672 +675 @@
         VISIT_START( node );
         VISIT({
-                // do not enter a new scope if inFunction is true - needs to check old state before the assignment
-                auto guard1 = makeFuncGuard( [this, inFunctionCpy = this->inFunction]() {
-                        if ( ! inFunctionCpy ) __pass::symtab::enter(core, 0);
-                }, [this, inFunctionCpy = this->inFunction]() {
-                        if ( ! inFunctionCpy ) __pass::symtab::leave(core, 0);
+                // Do not enter (or leave) a new scope if atFunctionTop. Remember to save the result.
+                auto guard1 = makeFuncGuard( [this, enterScope = !this->atFunctionTop]() {
+                        if ( enterScope ) __pass::symtab::enter(core, 0);
+                }, [this, leaveScope = !this->atFunctionTop]() {
+                        if ( leaveScope ) __pass::symtab::leave(core, 0);
                 });
                 ValueGuard< bool > guard2( inFunction );

src/Common/PassVisitor.h

@@ -360 +360 @@
 private:
         bool inFunction = false;
+        bool atFunctionTop = false;
 
         template<typename pass_t> friend void acceptAll( std::list< Declaration* > &decls, PassVisitor< pass_t >& visitor );
@@ -532 +533 @@
 
         bool isInFunction() const {
-                return visitor->inFunction;
+                return visitor->isInFunction();
         }
 };

src/Common/PassVisitor.impl.h

@@ -532 +532 @@
                         indexerAddId( &func );
                         maybeAccept_impl( node->type, *this );
-                        // function body needs to have the same scope as parameters - CompoundStmt will not enter
-                        // a new scope if inFunction is true
+                        // First remember that we are now within a function.
                         ValueGuard< bool > oldInFunction( inFunction );
                         inFunction = true;
+                        // The function body needs to have the same scope as parameters.
+                        // A CompoundStmt will not enter a new scope if atFunctionTop is true.
+                        ValueGuard< bool > oldAtFunctionTop( atFunctionTop );
+                        atFunctionTop = true;
                         maybeAccept_impl( node->statements, *this );
                         maybeAccept_impl( node->attributes, *this );
@@ -567 +570 @@
                         indexerAddId( &func );
                         maybeAccept_impl( node->type, *this );
-                        // function body needs to have the same scope as parameters - CompoundStmt will not enter
-                        // a new scope if inFunction is true
+                        // First remember that we are now within a function.
                         ValueGuard< bool > oldInFunction( inFunction );
                         inFunction = true;
+                        // The function body needs to have the same scope as parameters.
+                        // A CompoundStmt will not enter a new scope if atFunctionTop is true.
+                        ValueGuard< bool > oldAtFunctionTop( atFunctionTop );
+                        atFunctionTop = true;
                         maybeAccept_impl( node->statements, *this );
                         maybeAccept_impl( node->attributes, *this );
@@ -601 +607 @@
                         indexerAddId( &func );
                         maybeMutate_impl( node->type, *this );
-                        // function body needs to have the same scope as parameters - CompoundStmt will not enter
-                        // a new scope if inFunction is true
+                        // First remember that we are now within a function.
                         ValueGuard< bool > oldInFunction( inFunction );
                         inFunction = true;
+                        // The function body needs to have the same scope as parameters.
+                        // A CompoundStmt will not enter a new scope if atFunctionTop is true.
+                        ValueGuard< bool > oldAtFunctionTop( atFunctionTop );
+                        atFunctionTop = true;
                         maybeMutate_impl( node->statements, *this );
                         maybeMutate_impl( node->attributes, *this );
@@ -1007 +1016 @@
         VISIT_START( node );
         {
-                // do not enter a new scope if inFunction is true - needs to check old state before the assignment
-                ValueGuard< bool > oldInFunction( inFunction );
-                auto guard1 = makeFuncGuard( [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeEnter(); }, [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeLeave(); } );
+                // Do not enter a new scope if atFunctionTop is true, don't leave one either.
+                ValueGuard< bool > oldAtFunctionTop( atFunctionTop );
+                auto guard1 = makeFuncGuard( [this, go = !atFunctionTop]() { if ( go ) indexerScopeEnter(); }, [this, go = !atFunctionTop]() { if ( go ) indexerScopeLeave(); } );
                 auto guard2 = makeFuncGuard( [this]() { call_beginScope();   }, [this]() { call_endScope();     } );
-                inFunction = false;
+                atFunctionTop = false;
                 visitStatementList( node->kids );
         }
@@ -1021 +1030 @@
         VISIT_START( node );
         {
-                // do not enter a new scope if inFunction is true - needs to check old state before the assignment
-                ValueGuard< bool > oldInFunction( inFunction );
-                auto guard1 = makeFuncGuard( [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeEnter(); }, [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeLeave(); } );
+                // Do not enter a new scope if atFunctionTop is true, don't leave one either.
+                ValueGuard< bool > oldAtFunctionTop( atFunctionTop );
+                auto guard1 = makeFuncGuard( [this, go = !atFunctionTop]() { if ( go ) indexerScopeEnter(); }, [this, go = !atFunctionTop]() { if ( go ) indexerScopeLeave(); } );
                 auto guard2 = makeFuncGuard( [this]() { call_beginScope();   }, [this]() { call_endScope();     } );
-                inFunction = false;
+                atFunctionTop = false;
                 visitStatementList( node->kids );
         }
@@ -1035 +1044 @@
         MUTATE_START( node );
         {
-                // do not enter a new scope if inFunction is true - needs to check old state before the assignment
-                ValueGuard< bool > oldInFunction( inFunction );
-                auto guard1 = makeFuncGuard( [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeEnter(); }, [this, &oldInFunction]() { if ( ! oldInFunction.old ) indexerScopeLeave(); } );
+                // Do not enter a new scope if atFunctionTop is true, don't leave one either.
+                ValueGuard< bool > oldAtFunctionTop( atFunctionTop );
+                auto guard1 = makeFuncGuard( [this, go = !atFunctionTop]() { if ( go ) indexerScopeEnter(); }, [this, go = !atFunctionTop]() { if ( go ) indexerScopeLeave(); } );
                 auto guard2 = makeFuncGuard( [this]() { call_beginScope();   }, [this]() { call_endScope();     } );
-                inFunction = false;
+                atFunctionTop = false;
                 mutateStatementList( node->kids );
         }

src/GenPoly/Specialize.cc

@@ -218 +218 @@
                 thunkFunc->get_attributes().push_back( new Attribute( "unused" ) );
 
+                // Thunks at the global level must be static to avoid collisions between files.
+                // (Conversly thunks inside a function must be unique and not static.)
+                thunkFunc->storageClasses.is_static = !isInFunction();
+
                 // thread thunk parameters into call to actual function, naming thunk parameters as we go
                 UniqueName paramNamer( paramPrefix );
@@ -321 +325 @@
         }
 
-        // Fold it into Specialize if we find a good way.
-        struct StaticThunks final : public WithShortCircuiting {
-                void previsit( Declaration * ) {
-                        visit_children = false;
-                }
-                void postvisit( FunctionDecl * decl ) {
-                        if ( isPrefix( decl->name, "_thunk" ) ) {
-                                decl->storageClasses.is_static = true;
-                        }
-                }
-        };
-
         void convertSpecializations( std::list< Declaration* >& translationUnit ) {
                 PassVisitor<Specialize> spec;
                 mutateAll( translationUnit, spec );
-                PassVisitor<StaticThunks> staticThunks;
-                acceptAll( translationUnit, staticThunks );
         }
 } // namespace GenPoly