1 ; RUN: opt -S -lowerswitch %s | FileCheck %s 2 3 ; CHECK-LABEL: @phi_in_dead_block( 4 ; CHECK-NOT: switch 5 define void @phi_in_dead_block() { 6 bb: 7 br i1 undef, label %bb2, label %bb3 8 9 bb1: ; No predecessors! 10 switch i32 undef, label %bb2 [ 11 i32 9, label %bb3 12 ] 13 14 bb2: ; preds = %bb1, %bb 15 %tmp = phi i64 [ undef, %bb1 ], [ undef, %bb ] 16 unreachable 17 18 bb3: ; preds = %bb1, %bb 19 unreachable 20 } 21 22 ; CHECK-LABEL: @phi_in_dead_block_br_to_self( 23 ; CHECK-NOT: switch 24 define void @phi_in_dead_block_br_to_self() { 25 bb: 26 br i1 undef, label %bb2, label %bb3 27 28 bb1: ; No predecessors! 29 switch i32 undef, label %bb2 [ 30 i32 9, label %bb3 31 i32 10, label %bb1 32 ] 33 34 bb2: ; preds = %bb1, %bb 35 %tmp = phi i64 [ undef, %bb1 ], [ undef, %bb ] 36 unreachable 37 38 bb3: ; preds = %bb1, %bb 39 unreachable 40 } 41
