test/Transforms/SimplifyCFG/UnreachableEliminate.ll

; RUN: opt %s -simplifycfg -S | not grep unreachable

define void @test1(i1 %C, i1* %BP) {
        br i1 %C, label %T, label %F
T:              ; preds = %0
        store i1 %C, i1* %BP
        unreachable
F:              ; preds = %0
        ret void
}

define void @test2() {
        invoke void @test2( )
                        to label %N unwind label %U
U:              ; preds = %0
        unreachable
N:              ; preds = %0
        ret void
}

define i32 @test3(i32 %v) {
        switch i32 %v, label %default [
                 i32 1, label %U
                 i32 2, label %T
        ]
default:                ; preds = %0
        ret i32 1
U:              ; preds = %0
        unreachable
T:              ; preds = %0
        ret i32 2
}