69 lines · plain
1; RUN: opt < %s -passes=instcombine -S | FileCheck %s2target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"3 4; Uses InstCombine with DataLayout to propagate dereferenceable5; attribute via gc.relocate: if the derived ptr is dereferenceable(N),6; then the return attribute of gc.relocate is dereferenceable(N).7 8declare zeroext i1 @return_i1()9declare token @llvm.experimental.gc.statepoint.p0(i64, i32, ptr, i32, i32, ...)10declare ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token, i32, i32)11 12define i32 @explicit_nonnull(ptr addrspace(1) nonnull %dparam) gc "statepoint-example" {13; Checks that a nonnull pointer14; CHECK-LABEL: @explicit_nonnull15; CHECK: ret i32 116entry:17 %load = load i32, ptr addrspace(1) %dparam18 %tok = tail call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(i1 ()) @return_i1, i32 0, i32 0, i32 0, i32 0) ["gc-live"(ptr addrspace(1) %dparam)]19 %relocate = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %tok, i32 0, i32 0)20 %cmp = icmp eq ptr addrspace(1) %relocate, null21 %ret_val = select i1 %cmp, i32 0, i32 122 ret i32 %ret_val23}24 25define i32 @implicit_nonnull(ptr addrspace(1) %dparam) gc "statepoint-example" {26; Checks that a nonnull pointer27; CHECK-LABEL: @implicit_nonnull28; CHECK: ret i32 129entry:30 %cond = icmp eq ptr addrspace(1) %dparam, null31 br i1 %cond, label %no_gc, label %gc32gc:33 %load = load i32, ptr addrspace(1) %dparam34 %tok = tail call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(i1 ()) @return_i1, i32 0, i32 0, i32 0, i32 0) ["gc-live"(ptr addrspace(1) %dparam)]35 %relocate = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %tok, i32 0, i32 0)36 %cmp = icmp eq ptr addrspace(1) %relocate, null37 %ret_val = select i1 %cmp, i32 0, i32 138 ret i32 %ret_val39no_gc:40 unreachable41}42 43 44; Make sure we don't crash when processing vectors45define <2 x ptr addrspace(1)> @vector(<2 x ptr addrspace(1)> %obj) gc "statepoint-example" {46entry:47; CHECK-LABEL: @vector48; CHECK: gc.statepoint49; CHECK: gc.relocate50 %safepoint_token = call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(void ()) @do_safepoint, i32 0, i32 0, i32 0, i32 0) ["gc-live"(<2 x ptr addrspace(1)> %obj)]51 %obj.relocated = call coldcc <2 x ptr addrspace(1)> @llvm.experimental.gc.relocate.v2p1(token %safepoint_token, i32 0, i32 0) ; (%obj, %obj)52 ret <2 x ptr addrspace(1)> %obj.relocated53}54 55define ptr addrspace(1) @canonical_base(ptr addrspace(1) %dparam) gc "statepoint-example" {56; Checks that a nonnull pointer57; CHECK-LABEL: @canonical_base58; CHECK: (token %tok, i32 0, i32 0) ; (%dparam, %dparam)59entry:60 %tok = tail call token (i64, i32, ptr, i32, i32, ...) @llvm.experimental.gc.statepoint.p0(i64 0, i32 0, ptr elementtype(i1 ()) @return_i1, i32 0, i32 0, i32 0, i32 0) ["gc-live"(ptr addrspace(1) %dparam, ptr addrspace(1) %dparam)]61 %relocate = call ptr addrspace(1) @llvm.experimental.gc.relocate.p1(token %tok, i32 0, i32 1)62 ret ptr addrspace(1) %relocate63}64 65 66declare void @do_safepoint()67 68declare <2 x ptr addrspace(1)> @llvm.experimental.gc.relocate.v2p1(token, i32, i32)69