Define read_time() for SystemZ (s390)

Author: Ulrich Weigand Contributed by: Jonas Paulsson
csmith-project · May 31, 2017 · 7b871ac · 7b871ac
1 parent 56af2b6
commit 7b871ac
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/platform.cpp b/src/platform.cpp
@@ -75,6 +75,13 @@ static unsigned __int64 read_time(void)
 	}
 	return (h << 32) + l;
 }
+#  elif defined(__s390__)
+static unsigned long long read_time(void)
+{
+	unsigned long long clk;
+	asm volatile("stckf %0" : "=Q" (clk) : : "cc");
+	return clk;
+}
 #  else
 static long long read_time(void)
 {