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

Timestamp:

Apr 17, 2017, 3:47:07 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:

4ae83a4b

Parents:

33e22da

Message:

Final version of the benchmark code

File:

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

doc/generic_types/evaluation/cfa-bench.c

@@ -1 +1 @@
 #include <stdlib>
 #include <stdio.h>
-#include "pair"
 #include "bench.h"
 #include "cfa-stack.h"
+#include "cfa-pair.h"
 #include "cfa-print.h"
 
 int main( int argc, char *argv[] ) {
         FILE * out = fopen( "cfa-out.txt", "w" );
-        int max = 0;
-        stack(int) s, t;
+        int maxi = 0, vali = 42;
+        stack(int) si, ti;
 
-        REPEAT_TIMED( "push_int", push( &s, _i ); )
-        TIMED( "copy_int", t = s; )
-        TIMED( "clear_int", clear( &s ); )
-        REPEAT_TIMED( "pop_int", 
-                int x = pop(&t); 
-                if ( x > max ) { max = x; } )
-        REPEAT_TIMED( "print_int", print( out, _i, ":", _i, "\n" ); )
+        REPEAT_TIMED( "push_int", N, push( &si, vali ); )
+        TIMED( "copy_int", ti = si; )
+        TIMED( "clear_int", clear( &si ); )
+        REPEAT_TIMED( "pop_int", N, 
+                int xi = pop( &ti ); 
+                if ( xi > maxi ) { maxi = xi; } )
+        REPEAT_TIMED( "print_int", N/2, print( out, vali, ":", vali, "\n" ); )
 
-        stack(pair(_Bool, char)) s1, t1;
-        pair(_Bool, char) max = { (_Bool)0, '\0' };
+        pair(_Bool, char) maxp = { (_Bool)0, '\0' }, valp = { (_Bool)1, 'a' };
+        stack(pair(_Bool, char)) sp, tp;
 
-        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",
-                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" ); )
+        REPEAT_TIMED( "push_pair", N, push( &sp, valp ); )
+        TIMED( "copy_pair", tp = sp; )
+        TIMED( "clear_pair", clear( &sp ); )
+        REPEAT_TIMED( "pop_pair", N, 
+                pair(_Bool, char) xp = pop( &tp ); 
+                if ( xp > maxp ) { maxp = xp; } )
+        REPEAT_TIMED( "print_pair", N/2, print( out, valp, ":", valp, "\n" ); )
         fclose(out);
 }