ETIME is now defined for two kinds of real

1 files changed, 12 insertions, 3 deletions

diff --git a/lib/System/System.cpp b/lib/System/System.cpp
index 1f6df53..44b1a83 100644
--- a/lib/System/System.cpp
+++ b/lib/System/System.cpp
@@ -19,12 +19,21 @@ LIBFLANG_ABI void  libflang_free(void *ptr) {
   free(ptr);
 }
 
-LIBFLANG_ABI float libflang_etime(float *time0, float *time1) {
+template<typename T>
+static T etime(T *time0, T* time1) {
   timeval stop;
   gettimeofday(&stop, nullptr);
   int64_t diff = stop.tv_usec - programStart.tv_usec;
 
-  *time0 = float(double(diff) / 1000000.0);
-  *time1 = 0.0f;
+  *time0 = T(double(diff) / 1000000.0);
+  *time1 = T(0.0);
   return *time0 + *time1;
 }
+
+LIBFLANG_ABI double libflang_etime(double *time0, double *time1) {
+  return etime(time0, time1);
+}
+
+LIBFLANG_ABI float libflang_etimef(float *time0, float *time1) {
+  return etime(time0, time1);
+}