Changeset a381b46 for doc/generic_types/evaluation/c-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/c-bench.c (modified) (4 diffs)

doc/generic_types/evaluation/c-bench.c

@@ -25 +25 @@
 
 void* copy_bool( const void* p ) { return new_bool( *(const _Bool*)p ); } /***/
-
 void* copy_char( const void* p ) { return new_char( *(const char*)p ); } /***/
-
 void* copy_int( const void* p ) { return new_int( *(const int*)p ); } /***/
-
 void* copy_pair_bool_char( const void* p ) { return copy_pair( p, copy_bool, copy_char ); } /***/
-
 void free_pair_bool_char( void* p ) { free_pair( p, free, free ); } /***/
 
-int cmp_bool( const void* a, const void* b ) {
-        return *(const _Bool*)a == *(const _Bool*)b ? 0 : *(const _Bool*)a < *(const _Bool*)b ? -1 : 1; /***/
+int cmp_bool( const void* a, const void* b ) { /***/
+        return *(const _Bool*)a == *(const _Bool*)b ? 0 : *(const _Bool*)a < *(const _Bool*)b ? -1 : 1; 
 }
 
@@ -44 +40 @@
 int main(int argc, char** argv) {
         FILE* out = fopen("c-out.txt", "w");
-        srand(20171025);
-
-        struct stack s = new_stack();
-        REPEAT_TIMED( "push_int",
-                push_stack(&s, new_int( rand() ));
-        )
-
-        struct stack t;
-        TIMED( "copy_int",
-                copy_stack(&t, &s, copy_int); /***/
-        )
-
-        TIMED( "clear_int",
-                clear_stack(&s, free); /***/
-        )
-
         int max = 0;
+        struct stack s = new_stack(), t;
+        REPEAT_TIMED( "push_int", push_stack(&s, new_int( _i )); )
+        TIMED( "copy_int",      copy_stack(&t, &s, copy_int); /***/ )
+        TIMED( "clear_int", clear_stack(&s, free); /***/ )
         REPEAT_TIMED( "pop_int", 
                 int* x = pop_stack(&t); /***/
                 if ( *x > max ) { max = *x; }
-                free(x);
-        )
-        print( out, "d", max, "\n" ); /***/
-
-        REPEAT_N_TIMED( "print_int", N/2, 
-                print( out, "dsds", rand(), ":", rand(), "\n" ); /***/
-        )
-
-        struct stack s2 = new_stack();
-        REPEAT_TIMED( "push_bool_char", 
-                push_stack(&s2, new_pair( new_bool( rand() & 0x1 ), new_char( rand() & 0x7F ) ));
-        )
-
-        struct stack t2;
-        TIMED( "copy_bool_char", 
-                copy_stack(&t2, &s2, copy_pair_bool_char); /***/
-        )
-
-        TIMED( "clear_bool_char", 
-                clear_stack(&s2, free_pair_bool_char); /***/
-        )
+                free(x); )
+        REPEAT_N_TIMED( "print_int", N/2, print( out, "dsds", _i, ":", _i, "\n" ); /***/ )
 
         struct pair* max2 = new_pair( new_bool(0), new_char('\0') );
+        struct stack s2 = new_stack(), t2;
+
+        REPEAT_TIMED( "push_bool_char", 
+                push_stack(&s2, new_pair( new_bool( _i & 0x1 ), new_char( _i & 0x7F ) )); )
+        TIMED( "copy_bool_char", copy_stack(&t2, &s2, copy_pair_bool_char); /***/ )
+        TIMED( "clear_bool_char", clear_stack(&s2, free_pair_bool_char); /***/ )
         REPEAT_TIMED( "pop_bool_char", 
                 struct pair* x = pop_stack(&t2); /***/
@@ -94 +65 @@
                 } else {
                         free_pair_bool_char( x ); /***/
-                }
-        )
-        print( out, "pbc", *max2, "\n" ); /***/
-        free_pair_bool_char( max2 ); /***/
-
+                } )
         REPEAT_N_TIMED( "print_pair", N/2, 
                 struct pair p1 = ((struct pair){ new_bool(rand() & 0x1), new_char(rand() & 0x7F) }); /***/
@@ -104 +71 @@
                 print( out, "pbcspbcs", p1, ":", p2, "\n" ); /***/
                 free(p1.first); free(p1.second); /***/
-                free(p2.first); free(p2.second); /***/
-        )
-        
+                free(p2.first); free(p2.second); /***/ )
+        free_pair_bool_char( max2 ); /***/
         fclose(out);
 }