Changeset b6838214 for src/Concurrency

Timestamp:

Jan 23, 2018, 5:46:43 PM (8 years ago)

Author:

Alan Kennedy <afakenne@…>

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, resolv-new, with_gc

Children:

258e6ad5

Parents:

b158d8f (diff), 15d248e (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:

add context switch for ARM

Location:

src/Concurrency

Files:

• Keywords.cc (modified) (5 diffs)
• Waitfor.cc (modified) (1 diff)

src/Concurrency/Keywords.cc

@@ -257 +257 @@
         // Generic keyword implementation
         //=============================================================================================
+        void fixupGenerics(FunctionType * func, StructDecl * decl) {
+                cloneAll(decl->parameters, func->forall);
+                for ( TypeDecl * td : func->forall ) {
+                        strict_dynamic_cast<StructInstType*>(
+                                func->parameters.front()->get_type()->stripReferences()
+                        )->parameters.push_back(
+                                new TypeExpr( new TypeInstType( noQualifiers, td->name, td ) )
+                        );
+                }
+        }
+
         void ConcurrentSueKeyword::postvisit(StructDecl * decl) {
                 if( decl->name == type_name && decl->body ) {
@@ -301 +312 @@
                 );
 
-                get_type->get_parameters().push_back( this_decl );
+                get_type->get_parameters().push_back( this_decl->clone() );
                 get_type->get_returnVals().push_back(
                         new ObjectDecl(
@@ -318 +329 @@
                         )
                 );
+                fixupGenerics(get_type, decl);
 
                 FunctionDecl * get_decl = new FunctionDecl(
@@ -343 +355 @@
                                 nullptr
                         );
-                }
+                        fixupGenerics(main_type, decl);
+                }
+
+                delete this_decl;
 
                 declsToAddBefore.push_back( forward );
@@ -377 +392 @@
                                         new MemberExpr(
                                                 field,
-                                                UntypedExpr::createDeref( new VariableExpr( func->get_functionType()->get_parameters().front() ) )
+                                                new CastExpr(
+                                                        new VariableExpr( func->get_functionType()->get_parameters().front() ),
+                                                        func->get_functionType()->get_parameters().front()->get_type()->stripReferences()->clone()
+                                                )
                                         )
                                 )

src/Concurrency/Waitfor.cc

@@ -507 +507 @@
                         new ListInit({
                                 new SingleInit( new AddressExpr( new VariableExpr( index ) ) ),
-                                new SingleInit( new VariableExpr( acceptables ) ),
-                                new SingleInit( new ConstantExpr( Constant::from_ulong( count ) ) )
+                                new ListInit({
+                                        new SingleInit( new VariableExpr( acceptables ) ),
+                                        new SingleInit( new ConstantExpr( Constant::from_ulong( count ) ) )
+                                })
                         })
                 );