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