1 ; RUN: opt < %s -simplifycfg -S | FileCheck %s 2 3 define void @test(i32* %P, i32* %Q, i1 %A, i1 %B) { 4 ; CHECK: test 5 ; CHECK: br i1 6 ; CHECK-NOT: br i1 7 ; CHECK: ret 8 ; CHECK: ret 9 10 entry: 11 br i1 %A, label %a, label %b 12 a: 13 br i1 %B, label %b, label %c 14 b: 15 store i32 123, i32* %P 16 ret void 17 c: 18 ret void 19 } 20