Changeset 930b504 for doc/papers/concurrency/examples/Format1.c

Timestamp:

Feb 26, 2020, 6:13:54 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

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:

04e6f93, 5452673, dac55004

Parents:

aeb5d0d (diff), 7dc2e015 (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/Format1.c (modified) (1 diff)

doc/papers/concurrency/examples/Format1.c

@@ -2 +2 @@
 
 typedef struct {
-        void * next;
+        int restart, g, b;
         char ch;
-        int g, b;
 } Fmt;
 
 void format( Fmt * f ) {
-        if ( __builtin_expect(f->next != 0, 1) ) goto *f->next;
-        f->next = &&s1;
+        static void * states[] = {&&s0, &&s1};
+        goto *states[f->restart];
+  s0: f->restart = 1;
         for ( ;; ) {
                 for ( f->g = 0; f->g < 5; f->g += 1 ) {                 // groups
                         for ( f->b = 0; f->b < 4; f->b += 1 ) {         // blocks
                                 return;
-                          s1: ;
-                                if ( f->ch == '\0' ) goto fini;                 // EOF ?
+                          s1: if ( f->ch == '\0' ) goto fini;           // EOF ?
                                 while ( f->ch == '\n' ) return;                 // ignore
-                                printf( "%c", f->ch );                                  // print character
+//                              printf( "%c", f->ch );                                  // print character
                         }
-                        printf( " " );                                                          // block separator
+//                      printf( " " );                                                          // block separator
                 }
-                printf( "\n" );                                                                 // group separator
+//              printf( "\n" );                                                                 // group separator
         }
-  fini:
-        if ( f->g != 0 || f->b != 0 ) printf( "\n" );
+  fini:;
+//      if ( f->g != 0 || f->b != 0 ) printf( "\n" );
 }
 
 int main() {
-        Fmt fmt = { NULL };
+        Fmt fmt = { 0 };
         format( &fmt );                                                                         // prime
-        for ( ;; ) {
-                scanf( "%c", &fmt.ch );                                                 // direct read into communication variable
-          if ( feof( stdin ) ) break;
+        fmt.ch = 'a';
+        for ( long int i = 0; i < 1000000000; i += 1 ) {
+//              scanf( "%c", &fmt.ch );                                                 // direct read into communication variable
+//        if ( feof( stdin ) ) break;
                 format( &fmt );
         }
-        fmt.ch = '\0';
+        fmt.ch = '\0';                                                                          // sentential (EOF)
         format( &fmt );
 }