aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll17
1 files changed, 17 insertions, 0 deletions
diff --git a/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll b/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll
new file mode 100644
index 0000000000..8a3dc1e805
--- /dev/null
+++ b/test/Transforms/Mem2Reg/2003-04-18-DeadBlockProblem.ll
@@ -0,0 +1,17 @@
+; This testcases makes sure that mem2reg can handle unreachable blocks.
+; RUN: as < %s | opt -mem2reg
+
+int %test() {
+ %X = alloca int
+
+ store int 6, int* %X
+ br label %Loop
+Loop:
+ store int 5, int* %X
+ br label %EndOfLoop
+Unreachable:
+ br label %EndOfLoop
+
+EndOfLoop:
+ br label %Loop
+}