replacement implementation for clock_gettime() on mac os x, build portability (resolving mac os x issues), code cleanup, fix compiler warnings

1 files changed, 69 insertions, 0 deletions

diff --git a/src/lib/clock_gettime.c b/src/lib/clock_gettime.c
new file mode 100644
index 000000000..682269458
--- /dev/null
+++ b/src/lib/clock_gettime.c
@@ -0,0 +1,69 @@
+/*********************                                                        */
+/*! \file clock_gettime.c
+ ** \verbatim
+ ** Original author: 
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
+ ** Courant Institute of Mathematical Sciences
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.\endverbatim
+ **
+ ** \brief Replacement for clock_gettime() for systems without it (like
+ ** Mac OS X)
+ **
+ ** Replacement for clock_gettime() for systems without it (like Mac
+ ** OS X).
+ **/
+
+#include <stdio.h>
+#include <errno.h>
+#include <time.h>
+
+#include "lib/clock_gettime.h"
+
+#ifdef __cplusplus
+extern "C" {
+#endif /* __cplusplus */
+
+#ifndef __APPLE__
+#  warning This code assumes you're on Mac OS X, and you don't seem to be.  You'll likely have problems.
+#endif /* __APPLE__ */
+
+#include <mach/mach_time.h>
+
+static double s_clockconv = 0.0;
+
+long clock_gettime(clockid_t which_clock, struct timespec *tp) {
+  if( s_clockconv == 0.0 ) {
+    mach_timebase_info_data_t tb;
+    kern_return_t err = mach_timebase_info(&tb);
+    if(err == 0) {
+      s_clockconv = ((double) tb.numer) / tb.denom;
+    } else {
+      return -EINVAL;
+    }
+  }
+
+  switch(which_clock) {
+  case CLOCK_REALTIME:
+  case CLOCK_REALTIME_HR:
+  case CLOCK_MONOTONIC:
+  case CLOCK_MONOTONIC_HR: {
+      uint64_t t = mach_absolute_time() * s_clockconv;
+      tp->tv_sec = t / 1000000000ul;
+      tp->tv_nsec = t % 1000000000ul;
+    }
+    break;
+  default:
+    return -EINVAL;
+  }
+
+  return 0;
+}
+
+#ifdef __cplusplus
+}/* extern "C" */
+#endif /* __cplusplus */