1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s
3 define void @test1(i1 %C, i1* %BP) {
8 br i1 %C, label %T, label %F
16 define void @test2() {
17 ; CHECK-LABEL: @test2(
19 ; CHECK-NEXT: call void @test2()
20 ; CHECK-NEXT: ret void
23 to label %N unwind label %U
30 define i32 @test3(i32 %v) {
31 ; CHECK-LABEL: @test3(
33 ; CHECK-NEXT: [[CMP:%[A-Za-z0-9]+]] = icmp eq i32 %v, 2
34 ; CHECK-NEXT: select i1 [[CMP]], i32 2, i32 1
37 switch i32 %v, label %default [
50 define i32 @test4(i32 %v, i32 %w) {
52 ; CHECK-NEXT: switch i32 %v, label %T [
53 ; CHECK-NEXT: i32 3, label %V
54 ; CHECK-NEXT: i32 2, label %U
62 switch i32 %v, label %default [
76 ;; We can either convert the following control-flow to a select or remove the
77 ;; unreachable control flow because of the undef store of null. Make sure we do
80 define void @test5(i1 %cond, i8* %ptr) {
85 ; CHECK: store i8 2, i8* %ptr
89 br i1 %cond, label %bb1, label %bb3
98 %ptr.2 = phi i8* [ %ptr, %bb3 ], [ null, %bb1 ]
99 store i8 2, i8* %ptr.2, align 8
106 ; CHECK: store i8 2, i8* %ptr
109 define void @test6(i1 %cond, i8* %ptr) {
111 br i1 %cond, label %bb1, label %bb2
117 %ptr.2 = phi i8* [ %ptr, %entry ], [ null, %bb1 ]
118 store i8 2, i8* %ptr.2, align 8