From de7d94e27bc92292c74fd045b2565581694314a7 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Fri, 20 Jul 2012 15:29:12 +0000 Subject: Fixed bug FPToSI bug reported by Peng Li. Added a simple test case. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@160547 91177308-0d34-0410-b5e6-96231b3b80d8 --- lib/Core/Executor.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'lib/Core') diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp index c6bd379a..278f8941 100644 --- a/lib/Core/Executor.cpp +++ b/lib/Core/Executor.cpp @@ -2148,7 +2148,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) { llvm::APFloat Arg(arg->getAPValue()); uint64_t value = 0; bool isExact = true; - Arg.convertToInteger(&value, resultType, false, + Arg.convertToInteger(&value, resultType, true, llvm::APFloat::rmTowardZero, &isExact); bindLocal(ki, state, ConstantExpr::alloc(value, resultType)); break; -- cgit 1.4.1