test/Verifier/PhiGrouping.ll

   1 ; RUN: not llvm-as -f %s -o /dev/null
   2
   3
   4
   5 int "test"(int %i, int %j, bool %c) {
   6         br bool %c, label %A, label %B
   7 A:
   8         br label %C
   9 B:
  10         br label %C
  11
  12 C:
  13         %a = phi int [%i, %A], [%j, %B]
  14         %x = add int %a, 0                 ; Error, PHI's should be grouped!
  15         %b = phi int [%i, %A], [%j, %B]
  16         ret int %x
  17 }