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