; 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
}