From 071d84e1094e532ea7313c7e7a2c1f106f1d424c Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Sat, 15 Aug 2009 20:12:18 +0000 Subject: SSI construction should just go ahead and ignore instructions in unreachable blocks. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@79132 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/SSI/2009-08-15-UnreachableBB.ll | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 test/Transforms/SSI/2009-08-15-UnreachableBB.ll (limited to 'test') diff --git a/test/Transforms/SSI/2009-08-15-UnreachableBB.ll b/test/Transforms/SSI/2009-08-15-UnreachableBB.ll new file mode 100644 index 0000000000..11a4f60b15 --- /dev/null +++ b/test/Transforms/SSI/2009-08-15-UnreachableBB.ll @@ -0,0 +1,19 @@ +; RUN: llvm-as < %s | opt -ssi-everything -disable-output + +declare fastcc i32 @ras_Empty(i8** nocapture) nounwind readonly + +define i32 @cc_Tautology() nounwind { +entry: + unreachable + +cc_InitData.exit: ; No predecessors! + %0 = call fastcc i32 @ras_Empty(i8** undef) nounwind ; [#uses=1] + %1 = icmp eq i32 %0, 0 ; [#uses=1] + br i1 %1, label %bb2, label %bb6 + +bb2: ; preds = %cc_InitData.exit + unreachable + +bb6: ; preds = %cc_InitData.exit + ret i32 undef +} -- cgit v1.2.3