Fix PR5023: The instruction form of DominatorTree::dominates did not
[oota-llvm.git] / test / Transforms / Mem2Reg / crash.ll
diff --git a/test/Transforms/Mem2Reg/crash.ll b/test/Transforms/Mem2Reg/crash.ll
new file mode 100644 (file)
index 0000000..ce795aa
--- /dev/null
@@ -0,0 +1,24 @@
+; RUN: opt < %s -mem2reg -S
+; PR5023
+
+declare i32 @bar()
+
+define i32 @foo() {
+entry:
+  %whichFlag = alloca i32
+  %A = invoke i32 @bar()
+          to label %invcont2 unwind label %lpad86
+
+invcont2:
+  store i32 %A, i32* %whichFlag
+  br label %bb15
+
+bb15:
+  %B = load i32* %whichFlag
+  ret i32 %B
+
+lpad86:
+  br label %bb15
+  
+}
+