From 3c22f088ce92854b9fcb5b41f67bf9a503ec9719 Mon Sep 17 00:00:00 2001 From: Julian Büning Date: Wed, 20 Mar 2019 22:05:09 +0100 Subject: remove tests for LLVM <= 3.7 --- .../regression/2007-08-16-invalid-constant-value.c | 1 - .../2007-08-16-invalid-constant-value.leq36.c | 33 ---------------------- test/regression/2018-10-28-alias-to-alias.leq36.ll | 21 -------------- test/regression/2018-10-28-alias-to-alias.leq37.ll | 23 --------------- test/regression/2018-10-28-alias-to-alias.ll | 3 -- 5 files changed, 81 deletions(-) delete mode 100644 test/regression/2007-08-16-invalid-constant-value.leq36.c delete mode 100644 test/regression/2018-10-28-alias-to-alias.leq36.ll delete mode 100644 test/regression/2018-10-28-alias-to-alias.leq37.ll (limited to 'test/regression') diff --git a/test/regression/2007-08-16-invalid-constant-value.c b/test/regression/2007-08-16-invalid-constant-value.c index 554a8db4..28f81268 100644 --- a/test/regression/2007-08-16-invalid-constant-value.c +++ b/test/regression/2007-08-16-invalid-constant-value.c @@ -1,4 +1,3 @@ -// REQUIRES: geq-llvm-3.7 // RUN: rm -f %t4.out %t4.err %t4.log // RUN: %clang %s -emit-llvm -O2 -c -o %t1.bc // RUN: llvm-as -f %p/../Feature/_utils._ll -o %t2.bc diff --git a/test/regression/2007-08-16-invalid-constant-value.leq36.c b/test/regression/2007-08-16-invalid-constant-value.leq36.c deleted file mode 100644 index f84216e3..00000000 --- a/test/regression/2007-08-16-invalid-constant-value.leq36.c +++ /dev/null @@ -1,33 +0,0 @@ -// REQUIRES: lt-llvm-3.7 -// RUN: rm -f %t4.out %t4.err %t4.log -// RUN: %clang %s -emit-llvm -O2 -c -o %t1.bc -// RUN: llvm-as -f %p/../Feature/_utils.leq36._ll -o %t2.bc -// RUN: llvm-link %t1.bc %t2.bc -o %t3.bc -// RUN: rm -rf %t.klee-out -// RUN: %klee --output-dir=%t.klee-out %t3.bc - -#include - -#include "../Feature/utils.h" - -int main() { - unsigned char a; - - klee_make_symbolic(&a, sizeof a, "a"); - - // demand was firing here because an invalid constant - // value was being created when implied value did not - // subtract using the proper type (so overflowed into - // invalid bits) - if (util_make_concat2(a+0xCD,0xCD) == 0xABCD) { - assert(!klee_is_symbolic(a)); - printf("add constant case: %d\n", a); - } - - if (util_make_concat2(0x0B-a,0xCD) == 0xABCD) { - assert(!klee_is_symbolic(a)); - printf("sub constant case: %d\n", a); - } - - return 0; -} diff --git a/test/regression/2018-10-28-alias-to-alias.leq36.ll b/test/regression/2018-10-28-alias-to-alias.leq36.ll deleted file mode 100644 index 2d4bd803..00000000 --- a/test/regression/2018-10-28-alias-to-alias.leq36.ll +++ /dev/null @@ -1,21 +0,0 @@ -; REQUIRES: lt-llvm-3.7 -; RUN: rm -rf %t.klee-out -; RUN: llvm-as -f %s -o - | %klee --output-dir=%t.klee-out -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" - -; @foo is not known yet -@foo2 = alias i32 (...)* @foo -@foo = alias bitcast (i32 ()* @__foo to i32 (...)*) - -define i32 @__foo() { -entry: - ret i32 42 -} - -define i32 @main() { -entry: - call i32 (...)* @foo() - call i32 (...)* @foo2() - ret i32 0 -} diff --git a/test/regression/2018-10-28-alias-to-alias.leq37.ll b/test/regression/2018-10-28-alias-to-alias.leq37.ll deleted file mode 100644 index 9ed5aa47..00000000 --- a/test/regression/2018-10-28-alias-to-alias.leq37.ll +++ /dev/null @@ -1,23 +0,0 @@ -; LLVM 3.7 no longer accepts '*' with a 'call' -; REQUIRES: geq-llvm-3.7 -; REQUIRES: lt-llvm-3.8 -; RUN: rm -rf %t.klee-out -; RUN: llvm-as -f %s -o - | %klee --output-dir=%t.klee-out -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" - -; @foo is not known yet -@foo2 = alias i32 (...)* @foo -@foo = alias bitcast (i32 ()* @__foo to i32 (...)*) - -define i32 @__foo() { -entry: - ret i32 42 -} - -define i32 @main() { -entry: - call i32 (...) @foo() - call i32 (...) @foo2() - ret i32 0 -} diff --git a/test/regression/2018-10-28-alias-to-alias.ll b/test/regression/2018-10-28-alias-to-alias.ll index 0e9415d8..a1af6d16 100644 --- a/test/regression/2018-10-28-alias-to-alias.ll +++ b/test/regression/2018-10-28-alias-to-alias.ll @@ -1,6 +1,3 @@ -; LLVM 3.8 requires a type as the first argument to 'alias' -; LLVM 3.7 no longer accepts '*' with a 'call' -; REQUIRES: geq-llvm-3.8 ; RUN: rm -rf %t.klee-out ; RUN: llvm-as -f %s -o - | %klee --output-dir=%t.klee-out 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" -- cgit 1.4.1