Changeset c9b3a41 for doc/papers/general/evaluation/cfa-bench.c

Timestamp:

Mar 2, 2018, 6:52:37 AM (5 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, 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:

000ff2c

Parents:

ab3251e

Message:

update CFA evaluation code

File:

• doc/papers/general/evaluation/cfa-bench.c (modified) (2 diffs)

doc/papers/general/evaluation/cfa-bench.c

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