test/Transforms/SSI/ssiphi.ll

   1 ; RUN: opt < %s -ssi-everything -S | FileCheck %s
   2
   3 declare void @use(i32)
   4 declare i32 @create()
   5
   6 define i32 @foo() {
   7 entry:
   8   %x = call i32 @create()
   9   %y = icmp slt i32 %x, 10
  10   br i1 %y, label %T, label %F
  11 T:
  12 ; CHECK: SSI_sigma
  13   call void @use(i32 %x)
  14   br label %join
  15 F:
  16 ; CHECK: SSI_sigma
  17   call void @use(i32 %x)
  18   br label %join
  19 join:
  20 ; CHECK: SSI_phi
  21   ret i32 %x
  22 }