xref: /llvm-project/llvm/test/Verifier/gc_none_token.ll (revision 44af5924b1cbbb395e7e71250a5445053c4ec4a3) 
1; RUN: not opt -passes=verify -S %s 2>&1 | FileCheck %s
2; Check that verifier doesn't crash on relocate with none token
3
4target triple = "x86_64-unknown-linux-gnu"
5
6define i32 @check_verify_none_token() gc "statepoint-example" {
7
8entry:
9    ret i32 0
10
11unreach:
12    ; CHECK: gc relocate is incorrectly tied to the statepoint
13    ; CHECK: (undef, undef)
14    %token_call = call i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token none, i32 0, i32 0)
15    ret i32 1
16}
17
18declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token, i32, i32)
19