test/Verifier/PhiGrouping.ll

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