source: doc/papers/general/evaluation/cfa-bench.c@ ac7d921

ADT aaron-thesis arm-eh ast-experimental cleanup-dtors deferred_resn demangler enum forall-pointer-decay jacob/cs343-translation jenkins-sandbox new-ast new-ast-unique-expr new-env no_list persistent-indexer pthread-emulation qualifiedEnum resolv-new with_gc
Last change on this file since ac7d921 was 604e76d, checked in by Peter A. Buhr <pabuhr@…>, 8 years ago

initial setup for general and concurrency papers
  • Property mode set to 100644
File size: 937 bytes
RevLine 
[604e76d]1#include <stdio.h>
2#include "bench.h"
3#include "cfa-stack.h"
4#include "cfa-pair.h"
5#include "cfa-print.h"
6
7int main( int argc, char *argv[] ) {
8 FILE * out = fopen( "/dev/null", "w" );
9 int maxi = 0, vali = 42;
10 stack(int) si, ti;
11
12 REPEAT_TIMED( "push_int", N, push( &si, vali ); )
13 TIMED( "copy_int", ti = si; )
14 TIMED( "clear_int", clear( &si ); )
15 REPEAT_TIMED( "pop_int", N,
16 int xi = pop( &ti );
17 if ( xi > maxi ) { maxi = xi; } )
18 REPEAT_TIMED( "print_int", N/2, print( out, vali, ":", vali, "\n" ); )
19
20 pair(_Bool, char) maxp = { (_Bool)0, '\0' }, valp = { (_Bool)1, 'a' };
21 stack(pair(_Bool, char)) sp, tp;
22
23 REPEAT_TIMED( "push_pair", N, push( &sp, valp ); )
24 TIMED( "copy_pair", tp = sp; )
25 TIMED( "clear_pair", clear( &sp ); )
26 REPEAT_TIMED( "pop_pair", N,
27 pair(_Bool, char) xp = pop( &tp );
28 if ( xp > maxp ) { maxp = xp; } )
29 REPEAT_TIMED( "print_pair", N/2, print( out, valp, ":", valp, "\n" ); )
30 fclose(out);
31}
Note: See TracBrowser for help on using the repository browser.