[chore] Update scripts/kleef

UnitTestBot · Nov 8, 2023 · 42cdea3 · 42cdea3
1 parent 9230192
commit 42cdea3
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/lib/Core/Executor.cpp b/lib/Core/Executor.cpp
@@ -3771,7 +3771,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) {
   case Instruction::SIToFP: {
     SIToFPInst *fi = cast<SIToFPInst>(i);
     Expr::Width resultType = getWidthForLLVMType(fi->getType());
-    if (Context::get().getPointerWidth() == 32) {
+    if (X86FPAsX87FP80 && Context::get().getPointerWidth() == 32) {
       resultType = Expr::Fl80;
     }
     ref<Expr> arg = eval(ki, 0, state).value;

diff --git a/scripts/kleef b/scripts/kleef
@@ -49,7 +49,8 @@ def klee_options(
         "--cex-cache-validity-cores",
         # "--libc=uclibc",
         # "--posix-runtime",
-        # "--fp-runtime",
+        "--fp-runtime",
+        "--x86FP-as-x87FP80",
         # "--max-sym-array-size=4096",
         "--symbolic-allocation-threshold=8192",
         # "--dump-all-states=false",