Changes in src/Concurrency/Keywords.cc [2065609:97e3296]

File:

• src/Concurrency/Keywords.cc (modified) (18 diffs)

src/Concurrency/Keywords.cc ¶

@@ -19 +19 @@
 #include <string>                  // for string, operator==
 
-#include "Common/PassVisitor.h"    // for PassVisitor
 #include "Common/SemanticError.h"  // for SemanticError
 #include "Common/utility.h"        // for deleteAll, map_range
-#include "CodeGen/OperatorTable.h" // for isConstructor
-#include "InitTweak/InitTweak.h"   // for getPointerBase
+#include "InitTweak/InitTweak.h"   // for isConstructor
 #include "Parser/LinkageSpec.h"    // for Cforall
 #include "SymTab/AddVisit.h"       // for acceptAndAdd
@@ -47 +45 @@
 
         //=============================================================================================
-        // Pass declarations
+        // Visitors declaration
         //=============================================================================================
 
@@ -59 +57 @@
         //                                           static inline NewField_t * getter_name( MyType * this ) { return &this->newField; }
         //
-        class ConcurrentSueKeyword : public WithDeclsToAdd {
+        class ConcurrentSueKeyword : public Visitor {
+          protected:
+            template< typename Visitor >
+            friend void SymTab::acceptAndAdd( std::list< Declaration * > &translationUnit, Visitor &visitor );
           public:
 
@@ -67 +68 @@
                 virtual ~ConcurrentSueKeyword() {}
 
-                void postvisit( StructDecl * decl );
+                using Visitor::visit;
+                virtual void visit( StructDecl * decl ) override final;
 
                 void handle( StructDecl * );
@@ -83 +85 @@
                 bool needs_main;
 
+                std::list< Declaration * > declsToAdd, declsToAddAfter;
                 StructDecl* type_decl = nullptr;
         };
@@ -113 +116 @@
 
                 static void implement( std::list< Declaration * > & translationUnit ) {
-                        PassVisitor< ThreadKeyword > impl;
-                        acceptAll( translationUnit, impl );
+                        ThreadKeyword impl;
+                        SymTab::acceptAndAdd( translationUnit, impl );
                 }
         };
@@ -144 +147 @@
 
                 static void implement( std::list< Declaration * > & translationUnit ) {
-                        PassVisitor< CoroutineKeyword > impl;
-                        acceptAll( translationUnit, impl );
+                        CoroutineKeyword impl;
+                        SymTab::acceptAndAdd( translationUnit, impl );
                 }
         };
@@ -175 +178 @@
 
                 static void implement( std::list< Declaration * > & translationUnit ) {
-                        PassVisitor< MonitorKeyword > impl;
-                        acceptAll( translationUnit, impl );
+                        MonitorKeyword impl;
+                        SymTab::acceptAndAdd( translationUnit, impl );
                 }
         };
@@ -188 +191 @@
         // }                                                               }
         //
-        class MutexKeyword final {
+        class MutexKeyword final : public Visitor {
           public:
 
-                void postvisit( FunctionDecl * decl );
-                void postvisit(   StructDecl * decl );
+                using Visitor::visit;
+                virtual void visit( FunctionDecl * decl ) override final;
+                virtual void visit(   StructDecl * decl ) override final;
 
                 std::list<DeclarationWithType*> findMutexArgs( FunctionDecl* );
@@ -199 +203 @@
 
                 static void implement( std::list< Declaration * > & translationUnit ) {
-                        PassVisitor< MutexKeyword > impl;
+                        MutexKeyword impl;
                         acceptAll( translationUnit, impl );
                 }
@@ -225 +229 @@
         // }                                                               }
         //
-        class ThreadStarter final {
+        class ThreadStarter final : public Visitor {
           public:
 
-                void postvisit( FunctionDecl * decl );
+                using Visitor::visit;
+                virtual void visit( FunctionDecl * decl ) override final;
 
                 void addStartStatement( FunctionDecl * decl, DeclarationWithType * param );
 
                 static void implement( std::list< Declaration * > & translationUnit ) {
-                        PassVisitor< ThreadStarter > impl;
+                        ThreadStarter impl;
                         acceptAll( translationUnit, impl );
                 }
@@ -258 +263 @@
         // Generic keyword implementation
         //=============================================================================================
-        void ConcurrentSueKeyword::postvisit(StructDecl * decl) {
+        void ConcurrentSueKeyword::visit(StructDecl * decl) {
+                Visitor::visit(decl);
                 if( decl->get_name() == type_name && decl->has_body() ) {
                         assert( !type_decl );
@@ -292 +298 @@
                         LinkageSpec::Cforall,
                         nullptr,
-                        new ReferenceType(
+                        new PointerType(
                                 noQualifiers,
                                 new StructInstType(
@@ -346 +352 @@
                 }
 
-                declsToAddBefore.push_back( forward );
-                if( needs_main ) declsToAddBefore.push_back( main_decl );
-                declsToAddBefore.push_back( get_decl );
+                declsToAdd.push_back( forward );
+                if( needs_main ) declsToAdd.push_back( main_decl );
+                declsToAdd.push_back( get_decl );
 
                 return get_decl;
@@ -398 +404 @@
         //=============================================================================================
 
-        void MutexKeyword::postvisit(FunctionDecl* decl) {
+        void MutexKeyword::visit(FunctionDecl* decl) {
+                Visitor::visit(decl);
 
                 std::list<DeclarationWithType*> mutexArgs = findMutexArgs( decl );
@@ -416 +423 @@
         }
 
-        void MutexKeyword::postvisit(StructDecl* decl) {
+        void MutexKeyword::visit(StructDecl* decl) {
+                Visitor::visit(decl);
 
                 if( decl->get_name() == "monitor_desc" ) {
@@ -447 +455 @@
 
                 //Makes sure it's not a copy
-                ReferenceType* rty = dynamic_cast< ReferenceType * >( ty );
-                if( ! rty ) throw SemanticError( "Mutex argument must be of reference type ", arg );
+                PointerType* pty = dynamic_cast< PointerType * >( ty );
+                if( ! pty ) throw SemanticError( "Mutex argument must be of pointer/reference type ", arg );
 
                 //Make sure the we are pointing directly to a type
-                Type* base = rty->get_base();
-                if( dynamic_cast< ReferenceType * >( base ) ) throw SemanticError( "Mutex argument have exactly one level of indirection ", arg );
-                if( dynamic_cast< PointerType * >( base ) ) throw SemanticError( "Mutex argument have exactly one level of indirection ", arg );
+                Type* base = pty->get_base();
+                if(  dynamic_cast< PointerType * >( base ) ) throw SemanticError( "Mutex argument have exactly one level of indirection ", arg );
 
                 //Make sure that typed isn't mutex
@@ -523 +530 @@
         // General entry routine
         //=============================================================================================
-        void ThreadStarter::postvisit(FunctionDecl * decl) {
-                if( ! CodeGen::isConstructor(decl->get_name()) ) return;
+        void ThreadStarter::visit(FunctionDecl * decl) {
+                Visitor::visit(decl);
+
+                if( ! InitTweak::isConstructor(decl->get_name()) ) return;
 
                 DeclarationWithType * param = decl->get_functionType()->get_parameters().front();
-                auto type  = dynamic_cast< StructInstType * >( InitTweak::getPointerBase( param->get_type() ) );
+                auto ptr = dynamic_cast< PointerType * >( param->get_type() );
+                // if( ptr ) std::cerr << "FRED1" << std::endl;
+                auto type  = dynamic_cast< StructInstType * >( ptr->get_base() );
                 // if( type ) std::cerr << "FRED2" << std::endl;
                 if( type && type->get_baseStruct()->is_thread() ) {