File 0018-Disable-2018-10-30-llvm-pr39177.ll-for-new... of Package klee

Overview Repositories Revisions Requests Users Attributes Meta

File 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch of Package klee (Revision 9029606ab23fdae10ebcccee5daf34e3)

Currently displaying revision 9029606ab23fdae10ebcccee5daf34e3 , Show latest

From: Martin Nowack <m.nowack@imperial.ac.uk>
Date: Mon, 30 Oct 2023 14:57:41 +0000
Subject: Disable `2018-10-30-llvm-pr39177.ll` for newer LLVM versions.
Patch-mainline: no
References: llvm16

The optimiser generates different code and calls fwrite directly instead.

Signed-off-by: Jiri Slaby <jslaby@suse.cz>
---
 test/regression/2018-10-30-llvm-pr39177.ll | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/test/regression/2018-10-30-llvm-pr39177.ll b/test/regression/2018-10-30-llvm-pr39177.ll
index 027d0d30..b28947ab 100644
--- a/test/regression/2018-10-30-llvm-pr39177.ll
+++ b/test/regression/2018-10-30-llvm-pr39177.ll
@@ -1,5 +1,7 @@
+; REQUIRES: lt-llvm-15.0
+; The optimizer is more efficient and uses fwrite directly in newer LLVM versions
 ; RUN: rm -rf %t.klee-out
-; RUN: %llvmas -f %s -o - | %klee -optimize -output-dir=%t.klee-out | FileCheck %s
+; RUN: %klee -optimize -output-dir=%t.klee-out %s | FileCheck %s
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
 target triple = "x86_64-unknown-linux-gnu"
 
-- 
2.43.0

Places

File 0018-Disable-2018-10-30-llvm-pr39177.ll-for-newer-LLVM-ve.patch of Package klee (Revision 9029606ab23fdae10ebcccee5daf34e3)

Places