Changeset c1ea11b for benchmark/mutex

Timestamp:

Jun 24, 2019, 11:12:01 AM (7 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct

Children:

b58affe7, c1398e4

Parents:

18e683b (diff), 9e0a360 (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

Location:

benchmark/mutex

Files:

• cfa1.cfa (modified) (2 diffs)
• cfa2.cfa (modified) (2 diffs)
• cfa4.cfa (modified) (2 diffs)
• pthreads.c (modified) (1 diff)
• upp.cc (modified) (1 diff)

benchmark/mutex/cfa1.cfa

@@ -10 +10 @@
         M m;
         BENCH(
-                for (size_t i = 0; i < n; i++) {
+                for ( i; n ) {
                         call(m);
                 },
@@ -16 +16 @@
         )
 
-        printf("%llu\n", result);
+        printf("%g\n", result);
 }

benchmark/mutex/cfa2.cfa

@@ -10 +10 @@
         M m1, m2;
         BENCH(
-                for (size_t i = 0; i < n; i++) {
+                for ( i; n ) {
                         call(m1, m2);
                 },
@@ -16 +16 @@
         )
 
-        printf("%llu\n", result);
+        printf("%g\n", result);
 }

benchmark/mutex/cfa4.cfa

@@ -11 +11 @@
         M m1, m2, m3, m4;
         BENCH(
-                for (size_t i = 0; i < n; i++) {
+                for ( i; n ) {
                         call(m1, m2, m3, m4);
                 },
@@ -17 +17 @@
         )
 
-        printf("%llu\n", result);
+        printf("%g\n", result);
 }

benchmark/mutex/pthreads.c

@@ -19 +19 @@
         )
 
-        printf("%llu\n", result);
+        printf("%g\n", result);
 }

benchmark/mutex/upp.cc

@@ -17 +17 @@
         )
 
-        printf("%llu\n", result);
+        printf("%g\n", result);
 }