view test/Verifier/AmbiguousPhi.ll @ 146:3fc4d5c3e21e

set tail call flag for code segment in CGCAll
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Sun, 23 Dec 2018 19:23:36 +0900
parents 95c75e76d11b
children
line wrap: on
line source

; 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
}