Changeset c87cd93 for doc/generic_types/generic_types.tex

Timestamp:

Apr 17, 2017, 3:47:07 PM (7 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/generic_types.tex (modified) (2 diffs)

doc/generic_types/generic_types.tex

@@ -964 +964 @@
 \begin{figure}
 \begin{lstlisting}[xleftmargin=3\parindentlnth,aboveskip=0pt,belowskip=0pt]
-int main( int argc, char * argv[] ) {
+int main( int argc, char *argv[] ) {
         FILE * out = fopen( "cfa-out.txt", "w" );
-        int max = 0, vali = 42;
+        int maxi = 0, vali = 42;
         stack(int) si, ti;
 
-        REPEAT_TIMED( "push_int", push( &si, vali ); )
+        REPEAT_TIMED( "push_int", N, push( &si, vali ); )
         TIMED( "copy_int", ti = si; )
         TIMED( "clear_int", clear( &si ); )
-        REPEAT_TIMED( "pop_int", max = max( max, pop( &ti ) ); )
-        REPEAT_TIMED( "print_int", print( out, vali, ":", vali, "\n" ); )
-
-        pair(_Bool, char) maxp  = { (_Bool)0, '\0' }, valp = { (_Bool)0, 'a' };
+        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" ); )
+
+        pair(_Bool, char) maxp = { (_Bool)0, '\0' }, valp = { (_Bool)1, 'a' };
         stack(pair(_Bool, char)) sp, tp;
 
-        REPEAT_TIMED( "push_pair", push( &sp, valp ); )
+        REPEAT_TIMED( "push_pair", N, push( &sp, valp ); )
         TIMED( "copy_pair", tp = sp; )
         TIMED( "clear_pair", clear( &sp ); )
-        REPEAT_TIMED( "pop_pair", maxp = max( maxp, pop( &tp ) ); )
-        REPEAT_TIMED( "print_pair", print( out, valp, ":", valp, "\n" ); )
+        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);
 }
@@ -1008 +1012 @@
 \begin{tabular}{rrrrr}
                                                                         & \CT{C}        & \CT{\CFA}     & \CT{\CC}      & \CT{\CCV}             \\ \hline
-maximum memory usage (MB)                       & 10001         & 2501          & 2503          & 11253                 \\
-source code size (lines)                        & 301           & 224           & 188           & 437                   \\
-redundant type annotations (lines)      & 46            & 3                     & 2                     & 15                    \\
-binary size (KB)                                        & 18            & 234           & 18            & 42                    \\
+maximum memory usage (MB)                       & 10001         & 2502          & 2503          & 11253                 \\
+source code size (lines)                        & 247           & 223           & 165           & 339                   \\
+redundant type annotations (lines)      & 39            & 2                     & 2                     & 15                    \\
+binary size (KB)                                        & 14            & 229           & 18            & 38                    \\
 \end{tabular}
 \end{table}