xref: /aosp_15_r20/external/llvm/test/Verifier/AmbiguousPhi.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1; RUN: not llvm-as < %s 2>&1 | FileCheck %s
2; CHECK: multiple entries for the same basic block
3
4define i32 @test(i32 %i, i32 %j, i1 %c) {
5	br i1 %c, label %A, label %A
6A:
7	%a = phi i32 [%i, %0], [%j, %0]  ; Error, different values from same block!
8	ret i32 %a
9}
10