test/Verifier/AmbiguousPhi.ll

   1 ; RUN: not llvm-as < %s 2>&1 | grep "multiple entries for the same basic block"
   2
   3
   4
   5 define i32 @test(i32 %i, i32 %j, i1 %c) {
   6         br i1 %c, label %A, label %A
   7 A:
   8         %a = phi i32 [%i, %0], [%j, %0]  ; Error, different values from same block!
   9         ret i32 %a
  10 }