Changeset 8f1a99e for tests/concurrent/spinaphore.cfa

Timestamp:

Jul 5, 2021, 4:58:07 PM (3 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

b7d94ac5

Parents:

7f62b708

Message:

Step 3 Fixed tests

File:

• tests/concurrent/spinaphore.cfa (modified) (3 diffs)

tests/concurrent/spinaphore.cfa

@@ -21 +21 @@
 void main(Blocker & this);
 
-Blocker * from_thread($thread * t) {
+Blocker * from_thread(thread$ * t) {
         Blocker & nullb = *(Blocker*)0p;
-        $thread & nullt = (thread&)nullb;
+        thread$ & nullt = (thread&)nullb;
         uintptr_t offset  = (uintptr_t)&nullt;
         uintptr_t address = ((uintptr_t)t) - offset;
@@ -30 +30 @@
 
 void main(Blocker & this) {
-        $thread * me = active_thread();
+        thread$ * me = active_thread();
         Blocker * me1 = &this;
         Blocker * me2 = from_thread(me);
@@ -51 +51 @@
         unsigned me = (unsigned)(uintptr_t)&this;
         for(num_unblocks) {
-                $thread * t = V(sem, false);
+                thread$ * t = V(sem, false);
                 Blocker * b = from_thread(t);
                 b->sum += me;