From 9be3e76ed1f9eb0ec86531e2437091f7f1f02c88 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Sat, 28 Nov 2020 20:56:14 +0000 Subject: Move all overflows from the vector instructions tests into a new file, as the overflow behaviour is different in LLVM 11. --- test/VectorInstructions/insert_element_symbolic.c | 21 --------------------- 1 file changed, 21 deletions(-) delete mode 100644 test/VectorInstructions/insert_element_symbolic.c (limited to 'test/VectorInstructions/insert_element_symbolic.c') diff --git a/test/VectorInstructions/insert_element_symbolic.c b/test/VectorInstructions/insert_element_symbolic.c deleted file mode 100644 index 6a0fbe03..00000000 --- a/test/VectorInstructions/insert_element_symbolic.c +++ /dev/null @@ -1,21 +0,0 @@ -// RUN: %clang %s -emit-llvm %O0opt -g -c -o %t1.bc -// RUN: rm -rf %t.klee-out -// RUN: not %klee --output-dir=%t.klee-out --exit-on-error %t1.bc > %t.log 2>&1 -// RUN: FileCheck -input-file=%t.log %s -#include "klee/klee.h" -#include -#include -#include - -typedef uint32_t v4ui __attribute__ ((vector_size (16))); -int main() { - v4ui f = { 0, 1, 2, 3 }; - unsigned index = 0; - klee_make_symbolic(&index, sizeof(unsigned), "index"); - // Performing write should be InsertElement instructions. - // For now this is an expected limitation. - // CHECK: insert_element_symbolic.c:[[@LINE+1]]: InsertElement, support for symbolic index not implemented - f[index] = 255; - klee_print_expr("f after write to [0]", f); - return 0; -} -- cgit 1.4.1