about summary refs log tree commit diff homepage
path: root/lib/Support/Timer.cpp
diff options
context:
space:
mode:
authorEmil Rakadjiev <emil.rakadjiev.bf@hitachi.com>2015-03-09 18:52:11 +0900
committerEmil Rakadjiev <emil.rakadjiev.bf@hitachi.com>2015-03-13 11:37:37 +0900
commit78946863d6d44475bb3363e07587fedb053d65d5 (patch)
tree6c2ce971840fad337f5107364381298054c999ec /lib/Support/Timer.cpp
parentd9b5b92cb1627edce7d476f8fd4328f5ee6f3bc8 (diff)
downloadklee-78946863d6d44475bb3363e07587fedb053d65d5.tar.gz
Timestamp improvements.
Replaced inefficient llvm::sys::Process::GetTimeUsage() with TimeValue::now(),
because in many cases only the wall clock time is needed, not the user
and sys times (which are significantly more expensive to get).
Updated TimingSolver and WallTimer accordingly.
Diffstat (limited to 'lib/Support/Timer.cpp')
-rw-r--r--lib/Support/Timer.cpp10
1 files changed, 3 insertions, 7 deletions
diff --git a/lib/Support/Timer.cpp b/lib/Support/Timer.cpp
index c61a90a3..da969810 100644
--- a/lib/Support/Timer.cpp
+++ b/lib/Support/Timer.cpp
@@ -10,19 +10,15 @@
 #include "klee/Config/Version.h"
 #include "klee/Internal/Support/Timer.h"
 
-#include "llvm/Support/Process.h"
+#include "klee/Internal/System/Time.h"
 
 using namespace klee;
 using namespace llvm;
 
 WallTimer::WallTimer() {
-  sys::TimeValue now(0,0),user(0,0),sys(0,0);
-  sys::Process::GetTimeUsage(now,user,sys);
-  startMicroseconds = now.usec();
+  startMicroseconds = util::getWallTimeVal().usec();
 }
 
 uint64_t WallTimer::check() {
-  sys::TimeValue now(0,0),user(0,0),sys(0,0);
-  sys::Process::GetTimeUsage(now,user,sys);
-  return now.usec() - startMicroseconds;
+  return util::getWallTimeVal().usec() - startMicroseconds;
 }