Changeset 1d66a91

Timestamp:

Jul 17, 2023, 3:58:48 PM (16 months ago)

Author:

caparsons <caparson@…>

Branches:

master

Children:

bf55f32

Parents:

66ac416

Message:

added support for general channel operators and cleaned up some cruft

File:

• src/Concurrency/Waituntil.cpp (modified) (7 diffs)

src/Concurrency/Waituntil.cpp

@@ -178 +178 @@
     CompoundStmt * genStmtBlock( const WhenClause * clause, const ClauseData * data );
     Stmt * genElseClauseBranch( const WaitUntilStmt * stmt, string & runName, string & arrName, vector<ClauseData *> & clauseData );
-    Stmt * genNoElseClauseBranch( const WaitUntilStmt * stmt, string & satName, string & runName, string & arrName, string & pCountName, vector<ClauseData *> & clauseData );
+    Stmt * genNoElseClauseBranch( const WaitUntilStmt * stmt, string & runName, string & arrName, string & pCountName, vector<ClauseData *> & clauseData );
     void genClauseInits( const WaitUntilStmt * stmt, vector<ClauseData *> & clauseData, CompoundStmt * body, string & statusName, string & elseWhenName );
     Stmt * recursiveOrIfGen( const WaitUntilStmt * stmt, vector<ClauseData *> & data, vector<ClauseData*>::size_type idx, string & elseWhenName );
@@ -625 +625 @@
 CompoundStmt * GenerateWaitUntilCore::genStmtBlock( const WhenClause * clause, const ClauseData * data ) {
     const CodeLocation & cLoc = clause->location;
-    // return new CompoundStmt( cLoc, // OLD
-    //     {
-    //         new ExprStmt( cLoc,
-    //             genSelectTraitCall( clause, data, "on_selected" )
-    //         ),
-    //         ast::deepCopy( clause->stmt )
-    //     }
-    // );
     return new CompoundStmt( cLoc,
         {
@@ -827 +819 @@
     );
 }
-// C_TODO remove unused param if change kept
-Stmt * GenerateWaitUntilCore::genNoElseClauseBranch( const WaitUntilStmt * stmt, string & satName, string & runName, string & arrName, string & pCountName, vector<ClauseData *> & clauseData ) {
+
+Stmt * GenerateWaitUntilCore::genNoElseClauseBranch( const WaitUntilStmt * stmt, string & runName, string & arrName, string & pCountName, vector<ClauseData *> & clauseData ) {
     CompoundStmt * whileBody = new CompoundStmt( stmt->location );
     const CodeLocation & loc = stmt->location;
@@ -843 +835 @@
 
     whileBody->push_back( genStatusCheckFor( stmt, clauseData, runName ) );
-    // whileBody->push_back( genStatusCheckFor( stmt, clauseData, satName ) ); // OLD
 
     return new CompoundStmt( loc,
@@ -849 +840 @@
             new WhileDoStmt( loc,
                 genNotSatExpr( stmt, runName, arrName ),
-                // genNotSatExpr( stmt, satName, arrName ), // OLD
                 whileBody,  // body
                 {}          // no inits
             )
-            // , // OLD
-            // genStatusCheckFor( stmt, clauseData, runName ) // OLD
         }
     );
@@ -878 +866 @@
                 new ObjectDecl( cLoc,
                     currClause->targetName,
-                    new ReferenceType( new TypeofType( ast::deepCopy( stmt->clauses.at(i)->target ) ) ),
+                    new ReferenceType( 
+                        new TypeofType( new UntypedExpr( cLoc,
+                            new NameExpr( cLoc, "__CFA_select_get_type" ),
+                            { ast::deepCopy( stmt->clauses.at(i)->target ) }
+                        ))
+                    ),
                     new SingleInit( cLoc, ast::deepCopy( stmt->clauses.at(i)->target ) )
                 )
@@ -1290 +1283 @@
                 new NameExpr( stmt->else_cond->location, elseWhenName ),
                 genElseClauseBranch( stmt, runName, statusArrName, clauseData ),
-                genNoElseClauseBranch( stmt, satName, runName, statusArrName, pCountName, clauseData )
+                genNoElseClauseBranch( stmt, runName, statusArrName, pCountName, clauseData )
             )
         );
     } else if ( !stmt->else_stmt ) { // normal gen
-        tryBody->push_back( genNoElseClauseBranch( stmt, satName, runName, statusArrName, pCountName, clauseData ) );
+        tryBody->push_back( genNoElseClauseBranch( stmt, runName, statusArrName, pCountName, clauseData ) );
     } else { // generate just else
         tryBody->push_back( genElseClauseBranch( stmt, runName, statusArrName, clauseData ) );