Changeset 154fdc8 for doc/generic_types/evaluation/c-bench.c

Timestamp:

Apr 19, 2017, 10:15:45 AM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

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:

cd348e7

Parents:

221c2de7 (diff), de4ce0e (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/generic_types/evaluation/c-bench.c (modified) (1 diff)

doc/generic_types/evaluation/c-bench.c

@@ +1 @@
+#include <stdio.h>
 #include <stdlib.h>
 #include "bench.h"
+#include "c-pair.h"
 #include "c-stack.h"
+#include "c-print.h"
+
+_Bool* new_bool( _Bool b ) {
+        _Bool* q = malloc(sizeof(_Bool)); /***/
+        *q = b;
+        return q;
+}
+
+char* new_char( char c ) {
+        char* q = malloc(sizeof(char)); /***/
+        *q = c;
+        return q;
+}
+
+int* new_int( int i ) {
+        int* q = malloc(sizeof(int)); /***/
+        *q = i;
+        return q;
+}
+
+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_char( const void* a, const void* b ) { /***/
+        return *(const char*)a == *(const char*)b ? 0 : *(const char*)a < *(const char*)b ? -1 : 1;
+}
 
 int main(int argc, char** argv) {
-        srand(20171025);
+        FILE * out = fopen("c-out.txt", "w");
+        int maxi = 0, vali = 42;
+        struct stack si = new_stack(), ti;
 
-        struct stack s = new_stack();
+        REPEAT_TIMED( "push_int", N, push_stack( &si, new_int( vali ) ); )
+        TIMED( "copy_int",      copy_stack( &ti, &si, copy_int ); /***/ )
+        TIMED( "clear_int", clear_stack( &si, free ); /***/ )
+        REPEAT_TIMED( "pop_int", N, 
+                int* xi = pop_stack( &ti );
+                if ( *xi > maxi ) { maxi = *xi; }
+                free(xi); )
+        REPEAT_TIMED( "print_int", N/2, print( out, "dsds", vali, ":", vali, "\n" ); /***/ )
 
-        REPEAT_TIMED( "push_int",
-                int* x = malloc(sizeof(int));
-                *x = rand();
-                push_stack(&s, x);
-        )
+        struct pair * maxp = new_pair( new_bool(0), new_char('\0') ),
+                * valp = new_pair( new_bool(1), new_char('a') );
+        struct stack sp = new_stack(), tp;
 
-        clear_stack(&s);
+        REPEAT_TIMED( "push_pair", N, push_stack( &sp, copy_pair_bool_char( valp ) ); )
+        TIMED( "copy_pair", copy_stack( &tp, &sp, copy_pair_bool_char ); /***/ )
+        TIMED( "clear_pair", clear_stack( &sp, free_pair_bool_char ); /***/ )
+        REPEAT_TIMED( "pop_pair", N, 
+                struct pair * xp = pop_stack( &tp );
+                if ( cmp_pair( xp, maxp, cmp_bool, cmp_char /***/ ) > 0 ) {
+                        free_pair_bool_char( maxp ); /***/
+                        maxp = xp;
+                } else {
+                        free_pair_bool_char( xp ); /***/
+                } )
+        REPEAT_TIMED( "print_pair", N/2, print( out, "pbcspbcs", *valp, ":", *valp, "\n" ); /***/ )
+        free_pair_bool_char( maxp ); /***/
+        free_pair_bool_char( valp ); /***/
+        fclose(out);
 }