1; Test CFG simplify removal of branch instructions. 2; 3; RUN: opt < %s -simplifycfg -S | FileCheck %s 4; RUN: opt < %s -passes=simplify-cfg -S | FileCheck %s 5 6define void @test1() { 7 br label %1 8 ret void 9; CHECK-LABEL: @test1( 10; CHECK-NEXT: ret void 11} 12 13define void @test2() { 14 ret void 15 ret void 16; CHECK-LABEL: @test2( 17; CHECK-NEXT: ret void 18; CHECK-NEXT: } 19} 20 21define void @test3(i1 %T) { 22 br i1 %T, label %1, label %1 23 ret void 24; CHECK-LABEL: @test3( 25; CHECK-NEXT: ret void 26} 27 28 29; PR5795 30define void @test5(i32 %A) { 31 switch i32 %A, label %return [ 32 i32 2, label %1 33 i32 10, label %2 34 ] 35 36 ret void 37 38 ret void 39 40return: ; preds = %entry 41 ret void 42; CHECK-LABEL: @test5( 43; CHECK-NEXT: ret void 44} 45 46 47; PR14893 48define i8 @test6f() { 49; CHECK-LABEL: @test6f 50; CHECK: alloca i8, align 1 51; CHECK-NEXT: call i8 @test6g 52; CHECK-NEXT: icmp eq i8 %tmp, 0 53; CHECK-NEXT: load i8, i8* %r, align 1{{$}} 54 55bb0: 56 %r = alloca i8, align 1 57 %tmp = call i8 @test6g(i8* %r) 58 %tmp1 = icmp eq i8 %tmp, 0 59 br i1 %tmp1, label %bb2, label %bb1 60bb1: 61 %tmp3 = load i8, i8* %r, align 1, !range !2, !tbaa !1 62 %tmp4 = icmp eq i8 %tmp3, 1 63 br i1 %tmp4, label %bb2, label %bb3 64bb2: 65 br label %bb3 66bb3: 67 %tmp6 = phi i8 [ 0, %bb2 ], [ 1, %bb1 ] 68 ret i8 %tmp6 69} 70declare i8 @test6g(i8*) 71 72!0 = !{!1, !1, i64 0} 73!1 = !{!"foo"} 74!2 = !{i8 0, i8 2} 75