; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt < %s -passes=simplifycfg -simplifycfg-require-and-preserve-domtree=1 -hoist-common-insts=true -S | FileCheck %s
define void @test(i1 %C) {
; CHECK-LABEL: @test(
; CHECK-NEXT: X:
; CHECK-NEXT: call void @test(i1 [[C:%.*]])
; CHECK-NEXT: ret void
;
br i1 %C, label %A, label %B
A: ; preds = %0
call void @test( i1 %C )
br label %X
B: ; preds = %0
call void @test( i1 %C )
br label %X
X: ; preds = %B, %A
ret void
}