1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -hoist-common-insts=true -S | FileCheck %s 3 4define void @test(i1 %C) { 5; CHECK-LABEL: @test( 6; CHECK-NEXT: X: 7; CHECK-NEXT: call void @test(i1 [[C:%.*]]) 8; CHECK-NEXT: ret void 9; 10 br i1 %C, label %A, label %B 11A: ; preds = %0 12 call void @test( i1 %C ) 13 br label %X 14B: ; preds = %0 15 call void @test( i1 %C ) 16 br label %X 17X: ; preds = %B, %A 18 ret void 19} 20 21