Home | History | Annotate | Download | only in Verifier
      1 ; RUN: not llvm-as < %s 2>&1 | FileCheck %s
      2 ; CHECK: PHI nodes not grouped at top
      3 
      4 define i32 @test(i32 %i, i32 %j, i1 %c) {
      5 	br i1 %c, label %A, label %B
      6 A:
      7 	br label %C
      8 B:
      9 	br label %C
     10 
     11 C:
     12 	%a = phi i32 [%i, %A], [%j, %B]
     13 	%x = add i32 %a, 0                 ; Error, PHI's should be grouped!
     14 	%b = phi i32 [%i, %A], [%j, %B]
     15 	ret i32 %x
     16 }
     17