llvm/test/Transforms/LCSSA/remove-phis.ll

   1 ; RUN: opt < %s -passes=lcssa,verify -S -o /dev/null
   2
   3 ; This bugpoint reduced test case used to assert when removing unused PHI nodes.
   4 ; Just verify that we do not assert/crash.
   5
   6 define void @test() {
   7 entry:
   8   br label %gazank
   9
  10 gazank:
  11   %value = phi i16 [ 0, %entry ], [ undef, %gazonk ]
  12   br i1 undef, label %gazink, label %qqq
  13
  14 gazink:
  15   br i1 undef, label %gazonk, label %infinite.loop.pred
  16
  17 gazonk:
  18   br i1 undef, label %exit1, label %gazank
  19
  20 qqq:
  21   br i1 undef, label %www, label %exit2
  22
  23 www:
  24   br i1 undef, label %qqq, label %foo.pred
  25
  26 foo.pred:
  27   br label %foo
  28
  29 foo:
  30   br i1 undef, label %bar, label %exit1.pred
  31
  32 bar:
  33   br i1 undef, label %foo, label %exit2.pred
  34
  35 unreachable1:
  36   br i1 undef, label %foo, label %exit2.pred
  37
  38 exit1.pred:
  39   br label %exit1
  40
  41 exit1:
  42   ret void
  43
  44 exit2.pred:
  45   br label %exit2
  46
  47 exit2:
  48   ret void
  49
  50 infinite.loop.pred:
  51   br label %infinite.loop
  52
  53 infinite.loop:
  54   %dead = phi i16 [ %value, %infinite.loop.pred ], [ 0, %infinite.loop ]
  55   br label %infinite.loop
  56 }