diff options
Diffstat (limited to 'lib/Support/Time.cpp')
-rw-r--r-- | lib/Support/Time.cpp | 32 |
1 files changed, 32 insertions, 0 deletions
diff --git a/lib/Support/Time.cpp b/lib/Support/Time.cpp index be5eaf18..f508e6fa 100644 --- a/lib/Support/Time.cpp +++ b/lib/Support/Time.cpp @@ -10,12 +10,43 @@ #include "klee/Config/Version.h" #include "klee/Internal/System/Time.h" +#if LLVM_VERSION_CODE >= LLVM_VERSION(4, 0) +#include <chrono> + +#include <llvm/Support/Chrono.h> +#else #include "llvm/Support/TimeValue.h" +#endif + #include "llvm/Support/Process.h" using namespace llvm; using namespace klee; +#if LLVM_VERSION_CODE >= LLVM_VERSION(4, 0) +double util::durationToDouble(std::chrono::nanoseconds dur) +{ + return dur.count() / 1e9; +} + +double util::getUserTime() { + sys::TimePoint<> now; + std::chrono::nanoseconds user, sys; + + sys::Process::GetTimeUsage(now, user, sys); + + return durationToDouble(user); +} + +double util::getWallTime() { + return durationToDouble(getWallTimeVal().time_since_epoch()); +} + +sys::TimePoint<> util::getWallTimeVal() { + return std::chrono::system_clock::now(); +} + +#else double util::getUserTime() { sys::TimeValue now(0,0),user(0,0),sys(0,0); sys::Process::GetTimeUsage(now,user,sys); @@ -30,3 +61,4 @@ double util::getWallTime() { sys::TimeValue util::getWallTimeVal() { return sys::TimeValue::now(); } +#endif |