test/Transforms/ADCE/2002-05-22-PHITest.ll

   1 ; It is illegal to remove BB1 because it will mess up the PHI node!
   2 ;
   3 ; RUN: opt < %s -adce -S | grep BB1
   4
   5 define i32 @test(i1 %C, i32 %A, i32 %B) {
   6 ; <label>:0
   7         br i1 %C, label %BB1, label %BB2
   8
   9 BB1:            ; preds = %0
  10         br label %BB2
  11
  12 BB2:            ; preds = %BB1, %0
  13         %R = phi i32 [ %A, %0 ], [ %B, %BB1 ]           ; <i32> [#uses=1]
  14         ret i32 %R
  15 }
  16