Changeset a381b46 for doc/generic_types/evaluation/cfa-bench.c

Timestamp:

Apr 15, 2017, 7:09:59 PM (8 years ago)

Author:

Aaron Moss <a3moss@…>

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:

c57d1935

Parents:

308880c

Message:

Minor cleanup, also filled in benchmark source appendix

File:

• doc/generic_types/evaluation/cfa-bench.c (modified) (1 diff)

doc/generic_types/evaluation/cfa-bench.c

@@ -10 +10 @@
         int max = 0;
         stack(int) s, t;
+
         REPEAT_TIMED( "push_int", push( &s, _i ); )
         TIMED( "copy_int", t = s; )
         TIMED( "clear_int", clear( &s ); )
-        REPEAT_TIMED( "pop_int", max = max( max, pop( &t ) ); )
+        REPEAT_TIMED( "pop_int", 
+                int x = pop(&t); 
+                if ( x > max ) { max = x; } )
         REPEAT_TIMED( "print_int", print( out, _i, ":", _i, "\n" ); )
 
         stack(pair(_Bool, char)) s1, t1;
         pair(_Bool, char) max = { (_Bool)0, '\0' };
+
         REPEAT_TIMED( "push_pair", push( &s1, (pair(_Bool, char)){ _i & 1, _i &0x7F } ); )
         TIMED( "copy_pair", t1 = s1; )
         TIMED( "clear_pair", clear( &s1 ); )
-        REPEAT_TIMED( "pop_pair", max = max( max, pop( &t1 ) ); )
+        REPEAT_TIMED( "pop_pair",
+                pair(_Bool, char) x = pop(&t1); 
+                if ( x > max ) { max = x; } )
         REPEAT_TIMED( "print_pair",
-                 print( out, (pair(_Bool, char)){  _i & 1, _i &0x7F }, ":", (pair(_Bool, char)){  _i & 1, _i &0x7F }, "\n" ); )
+                 print( out, (pair(_Bool, char)){  _i & 1, _i &0x7F }, ":", 
+                        (pair(_Bool, char)){  _i & 1, _i &0x7F }, "\n" ); )
         fclose(out);
 }