llvm/test/Verifier/gc_none_token.ll

   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
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 define i32 @check_verify_none_token() gc "statepoint-example" {
   7
   8 entry:
   9     ret i32 0
  10
  11 unreach:
  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
  18 declare i32 addrspace(1)* @llvm.experimental.gc.relocate.p1i32(token, i32, i32)