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