1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
2; RUN: opt < %s -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