| ; 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) |
