1; This testcases makes sure that mem2reg can handle unreachable blocks. 2; RUN: opt < %s -mem2reg 3 4define i32 @test() { 5 %X = alloca i32 ; <i32*> [#uses=2] 6 store i32 6, i32* %X 7 br label %Loop 8Loop: ; preds = %EndOfLoop, %0 9 store i32 5, i32* %X 10 br label %EndOfLoop 11Unreachable: ; No predecessors! 12 br label %EndOfLoop 13EndOfLoop: ; preds = %Unreachable, %Loop 14 br label %Loop 15} 16 17