; RUN: opt -S -passes=verify < %s | FileCheck %s

target triple = "x86_64-unknown-linux-gnu"

define i32 @check_verify_undef_token() gc "statepoint-example" {

entry:
    ; CHECK: ret i32 0
    ret i32 0

unreach:
    ; CHECK: token undef
    %token_call = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token undef, i32 0, i32 0)
    ret i32 1
}

declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token, i32, i32)