1469d82e1c
As defined in LangRef, branching on `undef` is undefined behavior. This PR aims to remove undefined behavior from tests. As UB tests break Alive2 and may be the root cause of breaking future optimizations. Here's an Alive2 proof for one of the examples: https://alive2.llvm.org/ce/z/TncxhP
27 lines
1.1 KiB
LLVM
27 lines
1.1 KiB
LLVM
; XFAIL: *
|
|
; RUN: opt -safepoint-ir-verifier-print-only -verify-safepoint-ir -S %s 2>&1 | FileCheck %s
|
|
|
|
; In %merge %val.unrelocated, %ptr and %arg should be unrelocated.
|
|
; FIXME: if this test fails it is a false-positive alarm. IR is correct.
|
|
define void @test.unrelocated-phi.ok(ptr addrspace(1) %arg, i1 %new_arg) gc "statepoint-example" {
|
|
; CHECK-LABEL: Verifying gc pointers in function: test.unrelocated-phi.ok
|
|
bci_0:
|
|
%ptr = getelementptr i8, ptr addrspace(1) %arg, i64 4
|
|
br i1 %new_arg, label %left, label %right
|
|
|
|
left:
|
|
%safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr undef, i32 0, i32 0, i32 0, i32 5, i32 0, i32 -1, i32 0, i32 0, i32 0)
|
|
br label %merge
|
|
|
|
right:
|
|
br label %merge
|
|
|
|
merge:
|
|
; CHECK: No illegal uses found by SafepointIRVerifier in: test.unrelocated-phi.ok
|
|
%val.unrelocated = phi ptr addrspace(1) [ %arg, %left ], [ %ptr, %right ]
|
|
%c = icmp eq ptr addrspace(1) %val.unrelocated, %arg
|
|
ret void
|
|
}
|
|
|
|
declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)
|