llvm/test/Transforms/SimplifyCFG/BrUnwind.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

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