llvm-for-llvmta/test/Verifier/AmbiguousPhi.ll

10 lines
262 B
LLVM

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