xref: /llvm-project/llvm/test/Transforms/InstCombine/gc.relocate-verify.ll (revision 5fb9e840476d531cb5377c69941f2ccfe4145475) 
1; RUN: opt -passes=verify -S < %s | FileCheck %s
2
3target triple = "x86_64-unknown-linux-gnu"
4
5define i32 @check_verify_undef_token() gc "statepoint-example" {
6
7entry:
8    ; CHECK: ret i32 0
9    ret i32 0
10
11unreach:
12    ; CHECK: token undef
13    %token_call = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token undef, i32 0, i32 0)
14    ret i32 1
15}
16
17declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32, i32)
18