Add a new testcase which breaks the sinker because the loop canonnicalization

pass does not do a canonnicalization that the sinker wants.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@10346 91177308-0d34-0410-b5e6-96231b3b80d8

diff --git a/test/Transforms/LICM/sink_critical_edge.ll b/test/Transforms/LICM/sink_critical_edge.ll
new file mode 100644 (file)
index 0000000..6cd0818
--- /dev/null
+++ b/test/Transforms/LICM/sink_critical_edge.ll
@@ -0,0 +1,19 @@
+; This testcase checks to make sure the sinker does not cause problems with
+; critical edges.
+
+; RUN: llvm-as < %s | opt -licm | llvm-dis | grep -C1 add | grep Exit
+
+implementation   ; Functions:
+
+void %test() {
+Entry:
+       br bool false, label %Loop, label %Exit
+
+Loop:
+       %X = add int 0, 1
+       br bool false, label %Loop, label %Exit
+
+Exit:
+       %Y = phi int [ 0, %Entry ], [ %X, %Loop ]
+       ret void
+}