test/Transforms/CondProp/phisimplify2.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -condprop | llvm-dis | not grep phi
   2
   3 declare bool %foo()
   4
   5 int %test(uint %C) {
   6         %Val = call bool %foo()
   7         switch uint %C, label %T1 [
   8                  uint 4, label %T2
   9                  uint 17, label %T3
  10         ]
  11 T1:
  12         call void %a()
  13         br label %Cont
  14 T2:
  15         call void %b()
  16         br label %Cont
  17 T3:
  18         call void %c()
  19         br label %Cont
  20
  21 Cont:
  22         ;; PHI becomes dead after threading T2
  23         %C2 = phi bool [%Val, %T1], [true, %T2], [%Val, %T3]
  24         br bool %C2, label %L2, label %F2
  25 L2:
  26         call void %d()
  27         ret int 17
  28 F2:
  29         call void %e()
  30         ret int 1
  31 }
  32 declare void %a()
  33 declare void %b()
  34 declare void %c()
  35 declare void %d()
  36 declare void %e()