xref: /llvm-project/llvm/test/CodeGen/SPIRV/opencl/basic/get_global_offset.ll (revision 43222bd3091db5403e3320d23a241a534c1eefec)
1ec7baca1SMichal Paszkowski; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s
28468e674SAndrey Tretyakov
3*43222bd3SMichal Paszkowski; CHECK-DAG: OpEntryPoint Kernel %[[#test_func:]] "test"
4*43222bd3SMichal Paszkowski; CHECK-DAG: OpDecorate %[[#f2_decl:]] LinkageAttributes "BuiltInGlobalOffset" Import
5*43222bd3SMichal Paszkowski; CHECK-DAG: %[[#int32_ty:]] = OpTypeInt 32 0
6*43222bd3SMichal Paszkowski; CHECK-DAG: %[[#i32ptr_ty:]] = OpTypePointer CrossWorkgroup  %[[#int32_ty]]
7*43222bd3SMichal Paszkowski; CHECK-DAG: %[[#void_ty:]] = OpTypeVoid
8*43222bd3SMichal Paszkowski; CHECK-DAG: %[[#func_ty:]] = OpTypeFunction %[[#void_ty]] %[[#i32ptr_ty]]
9*43222bd3SMichal Paszkowski; CHECK-DAG: %[[#int64_ty:]] = OpTypeInt 64 0
10*43222bd3SMichal Paszkowski; CHECK-DAG: %[[#vec_ty:]] = OpTypeVector %[[#int64_ty]] 3
11*43222bd3SMichal Paszkowski; CHECK-DAG: %[[#func2_ty:]] = OpTypeFunction %[[#vec_ty]]
128468e674SAndrey Tretyakov;; TODO: add 64-bit constant defs
13*43222bd3SMichal Paszkowski; CHECK-DAG: %[[#f2_decl]] = OpFunction %[[#vec_ty]] Pure %[[#func2_ty]]
148468e674SAndrey Tretyakov; CHECK: OpFunctionEnd
158468e674SAndrey Tretyakov;; Check that the function register name does not match other registers
168468e674SAndrey Tretyakov; CHECK-NOT: %[[#void_ty]] = OpFunction
178468e674SAndrey Tretyakov; CHECK-NOT: %[[#func_ty]] = OpFunction
188468e674SAndrey Tretyakov; CHECK-NOT: %[[#int64_ty]] = OpFunction
198468e674SAndrey Tretyakov; CHECK-NOT: %[[#vec_ty]] = OpFunction
208468e674SAndrey Tretyakov; CHECK-NOT: %[[#func2_ty]] = OpFunction
218468e674SAndrey Tretyakov; CHECK-NOT: %[[#f2_decl]] = OpFunction
228468e674SAndrey Tretyakov
238468e674SAndrey Tretyakovdefine spir_kernel void @test(i32 addrspace(1)* %outOffsets) {
248468e674SAndrey Tretyakoventry:
258468e674SAndrey Tretyakov  %0 = call spir_func <3 x i64> @BuiltInGlobalOffset() #1
268468e674SAndrey Tretyakov  %call = extractelement <3 x i64> %0, i32 0
278468e674SAndrey Tretyakov  %conv = trunc i64 %call to i32
28b4cfb50cSMichal Paszkowski; CHECK: %[[#i1:]] = OpInBoundsPtrAccessChain %[[#i32ptr_ty]] %[[#outOffsets:]]
298468e674SAndrey Tretyakov; CHECK: OpStore %[[#i1:]] %[[#]] Aligned 4
308468e674SAndrey Tretyakov  %arrayidx = getelementptr inbounds i32, i32 addrspace(1)* %outOffsets, i64 0
318468e674SAndrey Tretyakov  store i32 %conv, i32 addrspace(1)* %arrayidx, align 4
328468e674SAndrey Tretyakov  %1 = call spir_func <3 x i64> @BuiltInGlobalOffset() #1
338468e674SAndrey Tretyakov  %call1 = extractelement <3 x i64> %1, i32 1
348468e674SAndrey Tretyakov  %conv2 = trunc i64 %call1 to i32
356c6f8b1aSNatalie Chouinard; CHECK: %[[#i2:]] = OpInBoundsPtrAccessChain %[[#i32ptr_ty]] %[[#outOffsets]]
368468e674SAndrey Tretyakov; CHECK: OpStore %[[#i2:]] %[[#]] Aligned 4
378468e674SAndrey Tretyakov  %arrayidx3 = getelementptr inbounds i32, i32 addrspace(1)* %outOffsets, i64 1
388468e674SAndrey Tretyakov  store i32 %conv2, i32 addrspace(1)* %arrayidx3, align 4
398468e674SAndrey Tretyakov  %2 = call spir_func <3 x i64> @BuiltInGlobalOffset() #1
408468e674SAndrey Tretyakov  %call4 = extractelement <3 x i64> %2, i32 2
418468e674SAndrey Tretyakov  %conv5 = trunc i64 %call4 to i32
426c6f8b1aSNatalie Chouinard; CHECK: %[[#i3:]] = OpInBoundsPtrAccessChain %[[#i32ptr_ty]] %[[#outOffsets]]
438468e674SAndrey Tretyakov; CHECK: OpStore %[[#i3:]] %[[#]] Aligned 4
448468e674SAndrey Tretyakov  %arrayidx6 = getelementptr inbounds i32, i32 addrspace(1)* %outOffsets, i64 2
458468e674SAndrey Tretyakov  store i32 %conv5, i32 addrspace(1)* %arrayidx6, align 4
468468e674SAndrey Tretyakov  ret void
478468e674SAndrey Tretyakov}
488468e674SAndrey Tretyakov
498468e674SAndrey Tretyakovdeclare spir_func <3 x i64> @BuiltInGlobalOffset() #1
508468e674SAndrey Tretyakov
518468e674SAndrey Tretyakovattributes #1 = { nounwind readnone }
52