[chore] Update scripts/kleef

misonijnik · misonijnik · commit ee3b20068b78 · 2023-11-08T14:58:21.000+03:00
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",

Original file line number	Diff line number	Diff line change
`@@ -3771,7 +3771,7 @@ void Executor::executeInstruction(ExecutionState &state, KInstruction *ki) {`
`3771`	`3771`	`case Instruction::SIToFP: {`
`3772`	`3772`	`SIToFPInst *fi = cast<SIToFPInst>(i);`
`3773`	`3773`	`Expr::Width resultType = getWidthForLLVMType(fi->getType());`
`3774`		`- if (Context::get().getPointerWidth() == 32) {`
	`3774`	`+ if (X86FPAsX87FP80 && Context::get().getPointerWidth() == 32) {`
`3775`	`3775`	`resultType = Expr::Fl80;`
`3776`	`3776`	`}`
`3777`	`3777`	`ref<Expr> arg = eval(ki, 0, state).value;`