llvm/test/Transforms/InstSimplify/gc_relocate.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=instsimplify -S < %s | FileCheck %s
   3
   4 declare void @func()
   5
   6 define void @dead_relocate(ptr addrspace(1) %in) gc "statepoint-example" {
   7 ; CHECK-LABEL: @dead_relocate(
   8 ; CHECK-NEXT:  entry:
   9 ; CHECK-NEXT:    [[SAFEPOINT_TOKEN:%.*]] = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @func, i32 0, i32 0, i32 0, i32 0) [ "gc-live"(ptr addrspace(1) [[IN:%.*]]) ]
  10 ; CHECK-NEXT:    ret void
  11 ;
  12 entry:
  13   %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @func, i32 0, i32 0, i32 0, i32 0) ["gc-live"(ptr addrspace(1) %in)]
  14   %a = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %safepoint_token, i32 0, i32 0)
  15   ret void
  16 }
  17
  18 define ptr addrspace(1) @relocate_undef() gc "statepoint-example" {
  19 ; CHECK-LABEL: @relocate_undef(
  20 ; CHECK-NEXT:  entry:
  21 ; CHECK-NEXT:    [[SAFEPOINT_TOKEN:%.*]] = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @func, i32 0, i32 0, i32 0, i32 0) [ "gc-live"(ptr addrspace(1) undef) ]
  22 ; CHECK-NEXT:    ret ptr addrspace(1) undef
  23 ;
  24 entry:
  25   %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @func, i32 0, i32 0, i32 0, i32 0) ["gc-live"(ptr addrspace(1) undef)]
  26   %a = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %safepoint_token, i32 0, i32 0)
  27   ret ptr addrspace(1) %a
  28 }
  29
  30 define ptr addrspace(1) @relocate_null() gc "statepoint-example" {
  31 ; CHECK-LABEL: @relocate_null(
  32 ; CHECK-NEXT:  entry:
  33 ; CHECK-NEXT:    [[SAFEPOINT_TOKEN:%.*]] = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @func, i32 0, i32 0, i32 0, i32 0) [ "gc-live"(ptr addrspace(1) null) ]
  34 ; CHECK-NEXT:    ret ptr addrspace(1) null
  35 ;
  36 entry:
  37   %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @func, i32 0, i32 0, i32 0, i32 0) ["gc-live"(ptr addrspace(1) null)]
  38   %a = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %safepoint_token, i32 0, i32 0)
  39   ret ptr addrspace(1) %a
  40 }
  41
  42
  43 declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)
  44 declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32, i32)