117 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 22; RUN: opt -S -mcpu=gfx900 -amdgpu-lower-buffer-fat-pointers < %s | FileCheck %s3; RUN: opt -S -mcpu=gfx900 -passes=amdgpu-lower-buffer-fat-pointers < %s | FileCheck %s4 5target triple = "amdgcn--"6 7define ptr addrspace(7) @recur.inner.1(ptr addrspace(7) %x, i32 %v) {8; CHECK-LABEL: define { ptr addrspace(8), i32 } @recur.inner.19; CHECK-SAME: ({ ptr addrspace(8), i32 } [[X:%.*]], i32 [[V:%.*]]) #[[ATTR0:[0-9]+]] {10; CHECK-NEXT: bb:11; CHECK-NEXT: [[X_RSRC:%.*]] = extractvalue { ptr addrspace(8), i32 } [[X]], 012; CHECK-NEXT: [[X_OFF:%.*]] = extractvalue { ptr addrspace(8), i32 } [[X]], 113; CHECK-NEXT: [[ISBASE:%.*]] = icmp sgt i32 [[V]], 014; CHECK-NEXT: br i1 [[ISBASE]], label [[RECUR:%.*]], label [[ELSE:%.*]]15; CHECK: recur:16; CHECK-NEXT: [[DEC:%.*]] = sub i32 [[V]], 117; CHECK-NEXT: [[INC:%.*]] = call { ptr addrspace(8), i32 } @recur.inner.2(i32 [[DEC]], { ptr addrspace(8), i32 } [[X]])18; CHECK-NEXT: [[INC_RSRC:%.*]] = extractvalue { ptr addrspace(8), i32 } [[INC]], 019; CHECK-NEXT: [[INC_OFF:%.*]] = extractvalue { ptr addrspace(8), i32 } [[INC]], 120; CHECK-NEXT: br label [[END:%.*]]21; CHECK: else:22; CHECK-NEXT: br label [[END]]23; CHECK: end:24; CHECK-NEXT: [[RET_RSRC:%.*]] = phi ptr addrspace(8) [ [[INC_RSRC]], [[RECUR]] ], [ [[X_RSRC]], [[ELSE]] ]25; CHECK-NEXT: [[RET_OFF:%.*]] = phi i32 [ [[INC_OFF]], [[RECUR]] ], [ [[X_OFF]], [[ELSE]] ]26; CHECK-NEXT: [[TMP0:%.*]] = insertvalue { ptr addrspace(8), i32 } poison, ptr addrspace(8) [[RET_RSRC]], 027; CHECK-NEXT: [[RET:%.*]] = insertvalue { ptr addrspace(8), i32 } [[TMP0]], i32 [[RET_OFF]], 128; CHECK-NEXT: ret { ptr addrspace(8), i32 } [[RET]]29;30bb:31 %isBase = icmp sgt i32 %v, 032 br i1 %isBase, label %recur, label %else33recur:34 %dec = sub i32 %v, 135 %inc = call ptr addrspace(7) @recur.inner.2(i32 %dec, ptr addrspace(7) %x)36 br label %end37else:38 br label %end39end:40 %ret = phi ptr addrspace(7) [%inc, %recur], [%x, %else]41 ret ptr addrspace(7) %ret42}43 44define ptr addrspace(7) @recur.inner.2(i32 %v, ptr addrspace(7) %x) {45; CHECK-LABEL: define { ptr addrspace(8), i32 } @recur.inner.246; CHECK-SAME: (i32 [[V:%.*]], { ptr addrspace(8), i32 } [[X:%.*]]) #[[ATTR0]] {47; CHECK-NEXT: [[X_RSRC:%.*]] = extractvalue { ptr addrspace(8), i32 } [[X]], 048; CHECK-NEXT: [[X_OFF:%.*]] = extractvalue { ptr addrspace(8), i32 } [[X]], 149; CHECK-NEXT: [[INC:%.*]] = add i32 [[X_OFF]], 450; CHECK-NEXT: [[TMP1:%.*]] = insertvalue { ptr addrspace(8), i32 } [[X]], i32 [[INC]], 151; CHECK-NEXT: [[RET:%.*]] = call { ptr addrspace(8), i32 } @recur.inner.1({ ptr addrspace(8), i32 } [[TMP1]], i32 [[V]])52; CHECK-NEXT: ret { ptr addrspace(8), i32 } [[RET]]53;54 %inc = getelementptr i32, ptr addrspace(7) %x, i32 155 %ret = call ptr addrspace(7) @recur.inner.1(ptr addrspace(7) %inc, i32 %v)56 ret ptr addrspace(7) %ret57}58 59define void @recur.outer(ptr addrspace(7) %x, ptr %arg) {60; CHECK-LABEL: define void @recur.outer61; CHECK-SAME: ({ ptr addrspace(8), i32 } [[X:%.*]], ptr [[ARG:%.*]]) #[[ATTR0]] {62; CHECK-NEXT: [[BOUND:%.*]] = load i32, ptr [[ARG]], align 463; CHECK-NEXT: [[RET:%.*]] = call { ptr addrspace(8), i32 } @recur.inner.1({ ptr addrspace(8), i32 } [[X]], i32 [[BOUND]])64; CHECK-NEXT: [[RET_RSRC:%.*]] = extractvalue { ptr addrspace(8), i32 } [[RET]], 065; CHECK-NEXT: [[RET_OFF:%.*]] = extractvalue { ptr addrspace(8), i32 } [[RET]], 166; CHECK-NEXT: [[RET_INT_RSRC:%.*]] = ptrtoint ptr addrspace(8) [[RET_RSRC]] to i16067; CHECK-NEXT: [[TMP1:%.*]] = shl nuw i160 [[RET_INT_RSRC]], 3268; CHECK-NEXT: [[RET_INT_OFF:%.*]] = zext i32 [[RET_OFF]] to i16069; CHECK-NEXT: [[RET_INT:%.*]] = or i160 [[TMP1]], [[RET_INT_OFF]]70; CHECK-NEXT: store i160 [[RET_INT]], ptr [[ARG]], align 3271; CHECK-NEXT: ret void72;73 %bound = load i32, ptr %arg74 %ret = call ptr addrspace(7) @recur.inner.1(ptr addrspace(7) %x, i32 %bound)75 store ptr addrspace(7) %ret, ptr %arg76 ret void77}78 79declare ptr addrspace(7) @extern(ptr addrspace(7) %arg)80define void @caller(ptr addrspace(7) noundef nonnull %arg) {81; CHECK-LABEL: define void @caller82; CHECK-SAME: ({ ptr addrspace(8), i32 } noundef [[ARG:%.*]]) #[[ATTR0]] {83; CHECK-NEXT: [[ARG_RSRC:%.*]] = extractvalue { ptr addrspace(8), i32 } [[ARG]], 084; CHECK-NEXT: [[ARG_OFF:%.*]] = extractvalue { ptr addrspace(8), i32 } [[ARG]], 185; CHECK-NEXT: [[V:%.*]] = call { ptr addrspace(8), i32 } @extern({ ptr addrspace(8), i32 } [[ARG]])86; CHECK-NEXT: [[V_RSRC:%.*]] = extractvalue { ptr addrspace(8), i32 } [[V]], 087; CHECK-NEXT: [[V_OFF:%.*]] = extractvalue { ptr addrspace(8), i32 } [[V]], 188; CHECK-NEXT: [[V_INT_RSRC:%.*]] = ptrtoint ptr addrspace(8) [[V_RSRC]] to i16089; CHECK-NEXT: [[TMP1:%.*]] = shl nuw i160 [[V_INT_RSRC]], 3290; CHECK-NEXT: [[V_INT_OFF:%.*]] = zext i32 [[V_OFF]] to i16091; CHECK-NEXT: [[V_INT:%.*]] = or i160 [[TMP1]], [[V_INT_OFF]]92; CHECK-NEXT: [[V_INT_LEGAL:%.*]] = bitcast i160 [[V_INT]] to <5 x i32>93; CHECK-NEXT: [[V_INT_SLICE_0:%.*]] = shufflevector <5 x i32> [[V_INT_LEGAL]], <5 x i32> poison, <4 x i32> <i32 0, i32 1, i32 2, i32 3>94; CHECK-NEXT: call void @llvm.amdgcn.raw.ptr.buffer.store.v4i32(<4 x i32> [[V_INT_SLICE_0]], ptr addrspace(8) align 32 [[ARG_RSRC]], i32 [[ARG_OFF]], i32 0, i32 0)95; CHECK-NEXT: [[ARG_PART_4:%.*]] = add nuw i32 [[ARG_OFF]], 1696; CHECK-NEXT: [[V_INT_SLICE_4:%.*]] = extractelement <5 x i32> [[V_INT_LEGAL]], i64 497; CHECK-NEXT: call void @llvm.amdgcn.raw.ptr.buffer.store.i32(i32 [[V_INT_SLICE_4]], ptr addrspace(8) align 16 [[ARG_RSRC]], i32 [[ARG_PART_4]], i32 0, i32 0)98; CHECK-NEXT: ret void99;100 %v = call ptr addrspace(7) @extern(ptr addrspace(7) %arg)101 store ptr addrspace(7) %v, ptr addrspace(7) %arg102 ret void103}104 105define internal noalias noundef nonnull ptr addrspace(7) @foo(ptr addrspace(7) noalias noundef nonnull %arg) {106; CHECK-LABEL: define internal noundef { ptr addrspace(8), i32 } @foo107; CHECK-SAME: ({ ptr addrspace(8), i32 } noundef [[ARG:%.*]]) #[[ATTR0]] {108; CHECK-NEXT: [[ARG_RSRC:%.*]] = extractvalue { ptr addrspace(8), i32 } [[ARG]], 0109; CHECK-NEXT: [[ARG_OFF:%.*]] = extractvalue { ptr addrspace(8), i32 } [[ARG]], 1110; CHECK-NEXT: [[RET:%.*]] = add nuw i32 [[ARG_OFF]], 4111; CHECK-NEXT: [[TMP1:%.*]] = insertvalue { ptr addrspace(8), i32 } [[ARG]], i32 [[RET]], 1112; CHECK-NEXT: ret { ptr addrspace(8), i32 } [[TMP1]]113;114 %ret = getelementptr inbounds i32, ptr addrspace(7) %arg, i32 1115 ret ptr addrspace(7) %ret116}117