Changeset 5452673 for doc/papers/concurrency/examples/Fib2.c

Timestamp:

Feb 27, 2020, 11:51:04 AM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

331eacbe, 37cdd97

Parents:

c886f4b (diff), 930b504 (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:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

File:

• doc/papers/concurrency/examples/Fib2.c (modified) (1 diff)

doc/papers/concurrency/examples/Fib2.c

@@ -1 +1 @@
 #include <stdio.h>
 
-void mary() {
-        printf( "MARY\n" );
-}
-
 #define FIB_INIT { 0 }
-typedef struct { int next; int fn1, fn2; } Fib;
+typedef struct { int restart; int fn1, fn2; } Fib;
 int fib( Fib * f ) {
-        static void * states[] = { &&s1, &&s2, &&s3 };
-        goto *states[f->next];
+        static void * states[] = { &&s0, &&s1, &&s2 };
+        goto *states[f->restart];
+  s0:
+        f->fn1 = 0;
+        f->restart = 1;
+        return f->fn1;
   s1:
-        mary();
-        f->fn1 = 0;
-        f->next = 1;
-        return f->fn1;
-  s2:
-        mary();
         f->fn2 = f->fn1;
         f->fn1 = 1;
-        f->next = 2;
+        f->restart = 2;
         return f->fn1;
-  s3:;
-        mary();
+  s2:;
         int fn = f->fn1 + f->fn2;
         f->fn2 = f->fn1;