Changeset 9a705dc8 for src/Concurrency

Timestamp:

Apr 19, 2018, 5:18:46 PM (6 years ago)

Author:

Rob Schluntz <rschlunt@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, with_gc

Children:

da9d79b

Parents:

60ba456

Message:

Implement concurrency keyword casts

File:

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

src/Concurrency/Keywords.cc

@@ -53 +53 @@
           public:
 
-                ConcurrentSueKeyword( std::string&& type_name, std::string&& field_name, std::string&& getter_name, std::string&& context_error, bool needs_main ) :
-                  type_name( type_name ), field_name( field_name ), getter_name( getter_name ), context_error( context_error ), needs_main( needs_main ) {}
+                ConcurrentSueKeyword( std::string&& type_name, std::string&& field_name, std::string&& getter_name, std::string&& context_error, bool needs_main, KeywordCastExpr::Target cast_target ) :
+                  type_name( type_name ), field_name( field_name ), getter_name( getter_name ), context_error( context_error ), needs_main( needs_main ), cast_target( cast_target ) {}
 
                 virtual ~ConcurrentSueKeyword() {}
 
-                void postvisit( StructDecl * decl );
+                Declaration * postmutate( StructDecl * decl );
 
                 void handle( StructDecl * );
@@ -66 +66 @@
 
                 virtual bool is_target( StructDecl * decl ) = 0;
+
+                Expression * postmutate( KeywordCastExpr * cast );
 
           private:
@@ -73 +75 @@
                 const std::string context_error;
                 bool needs_main;
+                KeywordCastExpr::Target cast_target;
 
                 StructDecl* type_decl = nullptr;
@@ -95 +98 @@
                         "get_thread",
                         "thread keyword requires threads to be in scope, add #include <thread>",
-                        true
+                        true,
+                        KeywordCastExpr::Thread
                 )
                 {}
@@ -105 +109 @@
                 static void implement( std::list< Declaration * > & translationUnit ) {
                         PassVisitor< ThreadKeyword > impl;
-                        acceptAll( translationUnit, impl );
+                        mutateAll( translationUnit, impl );
                 }
         };
@@ -126 +130 @@
                         "get_coroutine",
                         "coroutine keyword requires coroutines to be in scope, add #include <coroutine>",
-                        true
+                        true,
+                        KeywordCastExpr::Coroutine
                 )
                 {}
@@ -136 +141 @@
                 static void implement( std::list< Declaration * > & translationUnit ) {
                         PassVisitor< CoroutineKeyword > impl;
-                        acceptAll( translationUnit, impl );
+                        mutateAll( translationUnit, impl );
                 }
         };
@@ -157 +162 @@
                         "get_monitor",
                         "monitor keyword requires monitors to be in scope, add #include <monitor>",
-                        false
+                        false,
+                        KeywordCastExpr::Monitor
                 )
                 {}
@@ -167 +173 @@
                 static void implement( std::list< Declaration * > & translationUnit ) {
                         PassVisitor< MonitorKeyword > impl;
-                        acceptAll( translationUnit, impl );
+                        mutateAll( translationUnit, impl );
                 }
         };
@@ -267 +273 @@
         }
 
-        void ConcurrentSueKeyword::postvisit(StructDecl * decl) {
+        Declaration * ConcurrentSueKeyword::postmutate(StructDecl * decl) {
                 if( decl->name == type_name && decl->body ) {
                         assert( !type_decl );
@@ -275 +281 @@
                         handle( decl );
                 }
-        }
+                return decl;
+        }
+
+        Expression * ConcurrentSueKeyword::postmutate( KeywordCastExpr * cast ) {
+                if ( cast_target == cast->target ) {
+                        // convert (thread &)t to (thread_desc &)*get_thread(t), etc.
+                        if( !type_decl ) SemanticError( cast, context_error );
+                        Expression * arg = cast->arg;
+                        cast->arg = nullptr;
+                        delete cast;
+                        return new CastExpr(
+                                UntypedExpr::createDeref(
+                                        new UntypedExpr( new NameExpr( getter_name ), { arg } )
+                                ),
+                                new ReferenceType(
+                                        noQualifiers,
+                                        new StructInstType( noQualifiers, type_decl ) )
+                                );
+                }
+                return cast;
+        }
+
 
         void ConcurrentSueKeyword::handle( StructDecl * decl ) {