From 7053e13398d6aa15bf0aec8f6567f8a78a87a557 Mon Sep 17 00:00:00 2001 From: Cristian Cadar Date: Wed, 28 Nov 2012 18:19:07 +0000 Subject: Removed fragile test which does not work anymore with clang/llvm 3.1. git-svn-id: https://llvm.org/svn/llvm-project/klee/trunk@168798 91177308-0d34-0410-b5e6-96231b3b80d8 --- .../2008-02-11-phi-nodes-after-invoke.ll | 47 ---------------------- 1 file changed, 47 deletions(-) delete mode 100644 test/regression/2008-02-11-phi-nodes-after-invoke.ll (limited to 'test/regression') diff --git a/test/regression/2008-02-11-phi-nodes-after-invoke.ll b/test/regression/2008-02-11-phi-nodes-after-invoke.ll deleted file mode 100644 index f6077f25..00000000 --- a/test/regression/2008-02-11-phi-nodes-after-invoke.ll +++ /dev/null @@ -1,47 +0,0 @@ -; RUN: llvm-as -f %s -o - | %klee --no-output --exit-on-error - -declare void @klee_abort() - -define i32 @foo(i32 %val, i32 %fail) { - %code = icmp ne i32 0, %fail - br i1 %code, label %failing, label %return -failing: - unwind -return: - ret i32 %val -} - -define void @test(i32 %should_fail) { -entry: - %res0 = invoke i32 (i32, i32)* @foo(i32 0, i32 %should_fail) - to label %check_phi unwind label %error - -error: - %res1 = zext i8 1 to i32 - br label %check_phi - -check_phi: - %val = phi i32 [%never_used, %never_used_label], [%res0, %entry], [%res1, %error] - %ok = icmp eq i32 %val, %should_fail - br i1 %ok, label %exit, label %on_error - call void @klee_abort() - unreachable - -on_error: - call void @klee_abort() - unreachable - -exit: - ret void - - ;; this is so we hopefully fail if incomingBBIndex isn't set properly -never_used_label: - %never_used = zext i8 undef to i32 - br label %check_phi -} - -define i32 @main() { - call void (i32)* @test(i32 0) - call void (i32)* @test(i32 1) - ret i32 0 -} -- cgit 1.4.1