test/Transforms/LCSSA/unused-phis.ll

   1 ; RUN: opt < %s -lcssa -S | FileCheck %s
   2 ; CHECK: exit1:
   3 ; CHECK: .lcssa =
   4 ; CHECK: exit2:
   5 ; CHECK: .lcssa2 =
   6 ; CHECK: exit3:
   7 ; CHECK-NOT: .lcssa1 =
   8
   9 ; Test to ensure that when there are multiple exit blocks, PHI nodes are
  10 ; only inserted by LCSSA when there is a use dominated by a given exit
  11 ; block.
  12
  13 declare void @printf(i32 %i)
  14
  15 define i32 @unused_phis() nounwind {
  16 entry:
  17   br label %loop
  18
  19 loop:
  20   %i = phi i32 [0, %entry], [1, %then2]
  21   br i1 undef, label %exit1, label %then1
  22
  23 then1:
  24   br i1 undef, label %exit2, label %then2
  25
  26 then2:
  27   br i1 undef, label %exit3, label %loop
  28
  29 exit1:
  30   call void @printf(i32 %i)
  31   ret i32 %i
  32
  33 exit2:
  34   ret i32 %i
  35
  36 exit3:
  37   ret i32 0
  38 }