From 4eb050e2999bef42f70dcc72a8ee283f8803ce67 Mon Sep 17 00:00:00 2001 From: Frank Busse Date: Tue, 30 Jul 2019 18:45:42 +0100 Subject: ExecutorTimers: refactor and move to support lib - moves timer handling from Executor into support lib - introduces TimerGroup, removes TimerInfo/WriteStatsTimer/UpdateReachableTimer/WriteIStatsTimer classes - removes ExecutorTimers.cpp and ExecutorTimerInfo.h - removes -max-instruction-time flag (see #1114) --- lib/Core/AddressSpace.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'lib/Core/AddressSpace.cpp') diff --git a/lib/Core/AddressSpace.cpp b/lib/Core/AddressSpace.cpp index 1a88e4ec..12e74c77 100644 --- a/lib/Core/AddressSpace.cpp +++ b/lib/Core/AddressSpace.cpp @@ -237,7 +237,7 @@ bool AddressSpace::resolve(ExecutionState &state, TimingSolver *solver, while (oi != begin) { --oi; const MemoryObject *mo = oi->first; - if (timeout && timeout < timer.check()) + if (timeout && timeout < timer.delta()) return true; int incomplete = @@ -256,7 +256,7 @@ bool AddressSpace::resolve(ExecutionState &state, TimingSolver *solver, // search forwards for (oi = start; oi != end; ++oi) { const MemoryObject *mo = oi->first; - if (timeout && timeout < timer.check()) + if (timeout && timeout < timer.delta()) return true; bool mustBeTrue; -- cgit 1.4.1