test/Transforms/SSI/ssiphi.ll


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

; RUN: opt %s -ssi-everything -S | FileCheck %s

declare void @use(i32)
declare i32 @create()

define i32 @foo() {
entry:
  %x = call i32 @create()
  %y = icmp slt i32 %x, 10
  br i1 %y, label %T, label %F
T:
; CHECK: SSI_sigma 
  call void @use(i32 %x)
  br label %join
F:
; CHECK: SSI_sigma
  call void @use(i32 %x)
  br label %join
join:
; CHECK: SSI_phi
  ret i32 %x
}