Jiri Slaby
e18feb65f3
OBS-URL: https://build.opensuse.org/package/show/devel:tools:statica/klee?expand=0&rev=51
35 lines
1.2 KiB
Diff
35 lines
1.2 KiB
Diff
From: Jiri Slaby <jirislaby@gmail.com>
|
|
Date: Fri, 15 Jun 2018 07:51:10 +0200
|
|
Subject: llvm38: no rounding in APFloat
|
|
Patch-mainline: no
|
|
|
|
The rounding was removed because it was never needed:
|
|
llvm-mirror/llvm@ff278be
|
|
|
|
Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
|
|
---
|
|
lib/Core/Executor.cpp | 5 +++++
|
|
1 file changed, 5 insertions(+)
|
|
|
|
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
|
|
index 24fcea8811c4..b846947e5455 100644
|
|
--- a/lib/Core/Executor.cpp
|
|
+++ b/lib/Core/Executor.cpp
|
|
@@ -2210,8 +2210,13 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) {
|
|
!fpWidthToSemantics(right->getWidth()))
|
|
return terminateStateOnExecError(state, "Unsupported FRem operation");
|
|
llvm::APFloat Res(*fpWidthToSemantics(left->getWidth()), left->getAPValue());
|
|
+#if LLVM_VERSION_CODE >= LLVM_VERSION(3, 8)
|
|
+ Res.mod(
|
|
+ APFloat(*fpWidthToSemantics(right->getWidth()), right->getAPValue()));
|
|
+#else
|
|
Res.mod(APFloat(*fpWidthToSemantics(right->getWidth()),right->getAPValue()),
|
|
APFloat::rmNearestTiesToEven);
|
|
+#endif
|
|
bindLocal(ki, state, ConstantExpr::alloc(Res.bitcastToAPInt()));
|
|
break;
|
|
}
|
|
--
|
|
2.17.1
|
|
|