[SelectionDAG] Update Loop info after splitting critical edges.

The analysis is expected to be preserved by SelectionDAG.

llvm-svn: 305621

1 files changed, 27 insertions, 0 deletions

diff --git a/llvm/test/CodeGen/X86/pr33396.ll b/llvm/test/CodeGen/X86/pr33396.ll
new file mode 100644
index 00000000000..b2053a4ea33
--- /dev/null
+++ b/llvm/test/CodeGen/X86/pr33396.ll
@@ -0,0 +1,27 @@
+; Make sure we don't crash because we have stale loop infos.
+; REQUIRES: asserts
+; RUN: llc -o /dev/null -verify-loop-info %s
+
+target triple = "x86_64-unknown-linux-gnu"
+
+@global = external global [2 x i8], align 2
+@global.1 = external global [2 x i8], align 2
+
+define void @patatino(i8 %tinky) {
+bb:
+  br label %bb1
+
+bb1:
+  br i1 icmp ne (i8* getelementptr ([2 x i8], [2 x i8]* @global.1, i64 0, i64 1),
+                 i8* getelementptr ([2 x i8], [2 x i8]* @global, i64 0, i64 1)), label %bb2, label %bb3
+
+bb2:
+  br label %bb3
+
+bb3:
+  %tmp = phi i32 [ 60, %bb2 ],
+                 [ sdiv (i32 60, i32 zext (i1 icmp eq (i8* getelementptr ([2 x i8], [2 x i8]* @global.1, i64 0, i64 1),
+                                           i8* getelementptr ([2 x i8], [2 x i8]* @global, i64 0, i64 1)) to i32)), %bb1 ]
+  %tmp4 = icmp slt i8 %tinky, -4
+  br label %bb1
+}