Merge pull request #41 from marxin/fix-get-time-for-targets

Implement read_time for targets that do not support rdtsc insn.
csmith-project · Jun 4, 2017 · 30a3c86 · 30a3c86
2 parents 7b871ac + 2885f5c
commit 30a3c86
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/platform.cpp b/src/platform.cpp
@@ -83,6 +83,7 @@ static unsigned long long read_time(void)
 	return clk;
 }
 #  else
+#    if defined (__i386__) || defined (__x86_64__)
 static long long read_time(void)
 {
 	long long l;
@@ -91,6 +92,13 @@ static long long read_time(void)
 				 );
 	return l;
 }
+    #else
+#include <time.h>
+static long long read_time(void) {
+	time_t t = time(NULL);
+	return t;
+}
+    #endif
 #  endif
 #endif // HAVE_ARC4RANDOM_BUF