18 lines · plain
1; RUN: opt -passes=verify -S < %s | FileCheck %s2 3target triple = "x86_64-unknown-linux-gnu"4 5define i32 @check_verify_undef_token() gc "statepoint-example" {6 7entry:8 ; CHECK: ret i32 09 ret i32 010 11unreach:12 ; CHECK: token undef13 %token_call = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token undef, i32 0, i32 0)14 ret i32 115}16 17declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32, i32)18