summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorNick Lewycky <nicholas@mxc.ca>2009-08-15 20:12:18 +0000
committerNick Lewycky <nicholas@mxc.ca>2009-08-15 20:12:18 +0000
commit071d84e1094e532ea7313c7e7a2c1f106f1d424c (patch)
treeaca6cbecc7126b935424782959329aa8191c9fcd /test
parentbf230bf5ccd073c85b7a19dcf899031415171cec (diff)
downloadllvm-071d84e1094e532ea7313c7e7a2c1f106f1d424c.tar.gz
llvm-071d84e1094e532ea7313c7e7a2c1f106f1d424c.tar.bz2
llvm-071d84e1094e532ea7313c7e7a2c1f106f1d424c.tar.xz
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
Diffstat (limited to 'test')
-rw-r--r--test/Transforms/SSI/2009-08-15-UnreachableBB.ll19
1 files changed, 19 insertions, 0 deletions
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 ; <i32> [#uses=1]
+ %1 = icmp eq i32 %0, 0 ; <i1> [#uses=1]
+ br i1 %1, label %bb2, label %bb6
+
+bb2: ; preds = %cc_InitData.exit
+ unreachable
+
+bb6: ; preds = %cc_InitData.exit
+ ret i32 undef
+}