Changeset 9d32bc8 for src/benchmark

Timestamp:

May 2, 2018, 5:36:57 PM (6 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, with_gc

Children:

b68fc85

Parents:

161cdf1

Message:

Fixed benchmarks for non-cforall code

File:

• src/benchmark/bench.h (modified) (2 diffs)

src/benchmark/bench.h

@@ -6 +6 @@
         #include <stdlib.h>
         #include <unistd.h>                                     // sysconf
-#if defined(__cforall)
+#if ! defined(__cforall)
+        #include <time.h>
+        #include <sys/time.h>
+#else
 }
 #include <time>
@@ -39 +42 @@
         }                                               \
         long long int StartTime, EndTime;       \
-        StartTime = bench_time();                       \
+        StartTime = bench_time();               \
         statement;                                      \
-        EndTime = bench_time();                         \
+        EndTime = bench_time();                 \
         unsigned long long int output =         \
         ( EndTime - StartTime ) / n;
 
+#if defined(__cforall)
 Duration default_preemption() {
         return 0;
 }
+#endif