test/Transforms/CorrelatedExprs/2002-09-23-PHIUpdateBug.ll

   1 ; RUN: llvm-upgrade < %s | llvm-as | opt -cee
   2
   3 implementation
   4
   5 declare void %foo(int)
   6
   7 void %test(int %A, bool %C) {
   8         br bool %C, label %bb0, label %bb1
   9 bb0:
  10         br label %bb3
  11 Unreachable:
  12         br label %bb2
  13 bb1:                                    ;[#uses=0]
  14         %cond212 = setgt int %A, 9              ; <bool> [#uses=1]
  15         br bool %cond212, label %bb2, label %bb7
  16
  17 bb2:                                    ;[#uses=1]
  18         %cond = setgt int %A, 7
  19         br bool %cond, label %bb3, label %bb7
  20
  21 bb3:                                    ;[#uses=1]
  22         %X = phi int [ 0, %bb0], [ 12, %bb2]
  23         call void %foo( int %X )
  24         br label %bb7
  25
  26 bb7:                                    ;[#uses=2]
  27         ret void
  28 }
  29