; This testcases makes sure that mem2reg can handle unreachable blocks. ; RUN: llvm-as < %s | opt -mem2reg define i32 @test() { %X = alloca i32 ; <i32*> [#uses=2] store i32 6, i32* %X br label %Loop Loop: ; preds = %EndOfLoop, %0 store i32 5, i32* %X br label %EndOfLoop Unreachable: ; No predecessors! br label %EndOfLoop EndOfLoop: ; preds = %Unreachable, %Loop br label %Loop }