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 00000000000..8a3dc1e8051 --- /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 +}