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: as < %s | opt -adce | dis | grep BB1
   4
   5
   6 int "test"(bool %C, int %A, int %B) {
   7         br bool %C, label %BB1, label %BB2
   8 BB1:
   9         br label %BB2
  10 BB2:
  11         %R = phi int [%A, %0], [%B, %BB1]
  12         ret int %R
  13 }