61 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -O1 -mtriple=amdgcn-amd-amdhsa %s -o - | FileCheck --check-prefix=INFER %s3; RUN: opt -S -O2 -mtriple=amdgcn-amd-amdhsa %s -o - | FileCheck --check-prefix=INFER %s4; RUN: opt -S -O3 -mtriple=amdgcn-amd-amdhsa %s -o - | FileCheck --check-prefix=INFER %s5; RUN: opt -S -passes='lto<O1>' -mtriple=amdgcn-amd-amdhsa %s -o - | FileCheck --check-prefix=NO-INFER %s6; RUN: opt -S -passes='lto<O2>' -mtriple=amdgcn-amd-amdhsa %s -o - | FileCheck --check-prefix=INFER %s7; RUN: opt -S -passes='lto<O3>' -mtriple=amdgcn-amd-amdhsa %s -o - | FileCheck --check-prefix=INFER %s8 9%struct.data = type { ptr, i32 }10 11declare void @external_use(i32)12 13define internal void @callee(ptr %ptr_as0, i32 %val) {14; NO-INFER-LABEL: define internal void @callee(15; NO-INFER-SAME: ptr [[PTR_AS0:%.*]], i32 [[VAL:%.*]]) #[[ATTR1:[0-9]+]] {16; NO-INFER-NEXT: [[LOADED:%.*]] = load i32, ptr [[PTR_AS0]], align 417; NO-INFER-NEXT: [[COMPUTED:%.*]] = add i32 [[LOADED]], [[VAL]]18; NO-INFER-NEXT: store i32 [[COMPUTED]], ptr [[PTR_AS0]], align 419; NO-INFER-NEXT: call void @external_use(i32 [[COMPUTED]])20; NO-INFER-NEXT: ret void21;22 %loaded = load i32, ptr %ptr_as0, align 423 %computed = add i32 %loaded, %val24 store i32 %computed, ptr %ptr_as0, align 425 call void @external_use(i32 %computed)26 ret void27}28 29define void @caller(ptr addrspace(1) %ptr_as1, i32 %value) {30; INFER-LABEL: define void @caller(31; INFER-SAME: ptr addrspace(1) captures(none) [[PTR_AS1:%.*]], i32 [[VALUE:%.*]]) local_unnamed_addr #[[ATTR1:[0-9]+]] {32; INFER-NEXT: [[LOADED_I:%.*]] = load i32, ptr addrspace(1) [[PTR_AS1]], align 433; INFER-NEXT: [[COMPUTED_I:%.*]] = add i32 [[LOADED_I]], [[VALUE]]34; INFER-NEXT: store i32 [[COMPUTED_I]], ptr addrspace(1) [[PTR_AS1]], align 435; INFER-NEXT: tail call void @external_use(i32 [[COMPUTED_I]])36; INFER-NEXT: ret void37;38; NO-INFER-LABEL: define void @caller(39; NO-INFER-SAME: ptr addrspace(1) [[PTR_AS1:%.*]], i32 [[VALUE:%.*]]) #[[ATTR1]] {40; NO-INFER-NEXT: [[DATA:%.*]] = alloca [[STRUCT_DATA:%.*]], align 8, addrspace(5)41; NO-INFER-NEXT: [[VAL_FIELD:%.*]] = getelementptr [[STRUCT_DATA]], ptr addrspace(5) [[DATA]], i32 0, i32 142; NO-INFER-NEXT: store i32 [[VALUE]], ptr addrspace(5) [[VAL_FIELD]], align 443; NO-INFER-NEXT: [[GENERIC_INPUT:%.*]] = addrspacecast ptr addrspace(1) [[PTR_AS1]] to ptr44; NO-INFER-NEXT: store ptr [[GENERIC_INPUT]], ptr addrspace(5) [[DATA]], align 845; NO-INFER-NEXT: [[RETRIEVED_PTR:%.*]] = load ptr, ptr addrspace(5) [[DATA]], align 846; NO-INFER-NEXT: [[RETRIEVED_VAL:%.*]] = load i32, ptr addrspace(5) [[VAL_FIELD]], align 447; NO-INFER-NEXT: call void @callee(ptr [[RETRIEVED_PTR]], i32 [[RETRIEVED_VAL]])48; NO-INFER-NEXT: ret void49;50 %data = alloca %struct.data, align 8, addrspace(5)51 %ptr_field = getelementptr %struct.data, ptr addrspace(5) %data, i32 0, i32 052 %val_field = getelementptr %struct.data, ptr addrspace(5) %data, i32 0, i32 153 store i32 %value, ptr addrspace(5) %val_field, align 454 %generic_input = addrspacecast ptr addrspace(1) %ptr_as1 to ptr55 store ptr %generic_input, ptr addrspace(5) %ptr_field, align 856 %retrieved_ptr = load ptr, ptr addrspace(5) %ptr_field, align 857 %retrieved_val = load i32, ptr addrspace(5) %val_field, align 458 call void @callee(ptr %retrieved_ptr, i32 %retrieved_val)59 ret void60}61