129 lines · plain
1; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefixes=CHECK-SPIRV,CHECK-SPIRV642; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; RUN: llc -O0 -mtriple=spirv32-unknown-unknown %s -o - | FileCheck %s --check-prefixes=CHECK-SPIRV,CHECK-SPIRV325; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv32-unknown-unknown %s -o - -filetype=obj | spirv-val %}6 7; CHECK-SPIRV: OpName %[[#Var:]] "var"8; CHECK-SPIRV: OpName %[[#GVar:]] "g_var"9; CHECK-SPIRV: OpName %[[#AVar:]] "a_var"10; CHECK-SPIRV: OpName %[[#PVar:]] "p_var"11 12; CHECK-SPIRV-DAG: %[[#CharTy:]] = OpTypeInt 8 013; CHECK-SPIRV-DAG: %[[#IntTy:]] = OpTypeInt 32 014; CHECK-SPIRV-DAG: %[[#V2CharTy:]] = OpTypeVector %[[#CharTy]] 215; CHECK-SPIRV-DAG: %[[#V2ConstNull:]] = OpConstantNull %[[#V2CharTy]]16; CHECK-SPIRV-DAG: %[[#Const1:]] = OpConstant %[[#CharTy]] 117; CHECK-SPIRV-DAG: %[[#Const2:]] = OpConstant %[[#IntTy]] 218; CHECK-SPIRV-DAG: %[[#Arr2V2CharTy:]] = OpTypeArray %[[#V2CharTy]] %[[#Const2]]19; CHECK-SPIRV-DAG: %[[#LongTy:]] = OpTypeInt 64 020; CHECK-SPIRV-DAG: %[[#PtrV2CharTy:]] = OpTypePointer CrossWorkgroup %[[#V2CharTy]]21; CHECK-SPIRV-DAG: %[[#V2Char1:]] = OpConstantComposite %[[#V2CharTy]] %[[#Const1]] %[[#Const1]]22; CHECK-SPIRV-DAG: %[[#Arr2V2Char:]] = OpConstantComposite %[[#Arr2V2CharTy]] %[[#V2Char1]] %[[#V2Char1]]23; CHECK-SPIRV-DAG: %[[#PtrCharTy:]] = OpTypePointer CrossWorkgroup %[[#CharTy]]24; CHECK-SPIRV-DAG: %[[#PtrArr2V2CharTy:]] = OpTypePointer CrossWorkgroup %[[#Arr2V2CharTy]]25; CHECK-SPIRV-DAG: %[[#IntZero:]] = OpConstantNull %[[#IntTy]]26; CHECK-SPIRV-DAG: %[[#LongZero:]] = OpConstantNull %[[#LongTy]]27; CHECK-SPIRV64-DAG: %[[#ConstLong2:]] = OpConstant %[[#LongTy]] 228; CHECK-SPIRV64-DAG: %[[#PvarInit:]] = OpSpecConstantOp %[[#PtrCharTy]] InBoundsPtrAccessChain %[[#VarV2Char:]] %[[#IntZero]] %[[#ConstLong2]]29; CHECK-SPIRV32-DAG: %[[#PvarInit:]] = OpSpecConstantOp %[[#PtrCharTy]] InBoundsPtrAccessChain %[[#VarV2Char:]] %[[#IntZero]] %[[#Const2]]30; CHECK-SPIRV-DAG: %[[#PtrPtrCharTy:]] = OpTypePointer CrossWorkgroup %[[#PtrCharTy]]31; CHECK-SPIRV-DAG: %[[#AVar]] = OpVariable %[[#PtrArr2V2CharTy]] CrossWorkgroup %[[#Arr2V2Char]]32; CHECK-SPIRV-DAG: %[[#PVar]] = OpVariable %[[#PtrPtrCharTy]] CrossWorkgroup %[[#PvarInit]]33; CHECK-SPIRV-DAG: %[[#GVar]] = OpVariable %[[#PtrV2CharTy]] CrossWorkgroup %[[#V2Char1]]34; CHECK-SPIRV-DAG: %[[#]] = OpVariable %[[#PtrV2CharTy]] CrossWorkgroup %[[#V2ConstNull]]35 36; As an option: %[[#Const0:]] = OpConstant %[[#CharTy]] 037; %[[#V2CharZero:]] = OpConstantComposite %[[#V2CharTy]] %[[#Const0]] %[[#Const0]]38; %[[#]] = OpVariable %[[#PtrV2CharTy]] CrossWorkgroup %[[#V2CharZero]]39 40@var = addrspace(1) global <2 x i8> zeroinitializer, align 241@g_var = addrspace(1) global <2 x i8> <i8 1, i8 1>, align 242@a_var = addrspace(1) global [2 x <2 x i8>] [<2 x i8> <i8 1, i8 1>, <2 x i8> <i8 1, i8 1>], align 243@p_var = addrspace(1) global ptr addrspace(1) getelementptr (i8, ptr addrspace(1) @a_var, i64 2), align 844 45define spir_func <2 x i8> @from_buf(<2 x i8> %a) #0 {46entry:47 ret <2 x i8> %a48}49 50define spir_func <2 x i8> @to_buf(<2 x i8> %a) #0 {51entry:52 ret <2 x i8> %a53}54 55define spir_kernel void @writer(ptr addrspace(1) %src, i32 %idx) #0 !kernel_arg_addr_space !5 !kernel_arg_access_qual !6 !kernel_arg_type !7 !kernel_arg_type_qual !8 !kernel_arg_base_type !7 !spirv.ParameterDecorations !9 {56entry:57 %arrayidx = getelementptr inbounds <2 x i8>, ptr addrspace(1) %src, i64 058 %0 = load <2 x i8>, ptr addrspace(1) %arrayidx, align 259 %call = call spir_func <2 x i8> @from_buf(<2 x i8> %0) #060 store <2 x i8> %call, ptr addrspace(1) @var, align 261 %arrayidx1 = getelementptr inbounds <2 x i8>, ptr addrspace(1) %src, i64 162 %1 = load <2 x i8>, ptr addrspace(1) %arrayidx1, align 263 %call2 = call spir_func <2 x i8> @from_buf(<2 x i8> %1) #064 store <2 x i8> %call2, ptr addrspace(1) @g_var, align 265 %arrayidx3 = getelementptr inbounds <2 x i8>, ptr addrspace(1) %src, i64 266 %2 = load <2 x i8>, ptr addrspace(1) %arrayidx3, align 267 %call4 = call spir_func <2 x i8> @from_buf(<2 x i8> %2) #068 %3 = getelementptr inbounds [2 x <2 x i8>], ptr addrspace(1) @a_var, i64 0, i64 069 store <2 x i8> %call4, ptr addrspace(1) %3, align 270 %arrayidx5 = getelementptr inbounds <2 x i8>, ptr addrspace(1) %src, i64 371 %4 = load <2 x i8>, ptr addrspace(1) %arrayidx5, align 272 %call6 = call spir_func <2 x i8> @from_buf(<2 x i8> %4) #073 %5 = getelementptr inbounds [2 x <2 x i8>], ptr addrspace(1) @a_var, i64 0, i64 174 store <2 x i8> %call6, ptr addrspace(1) %5, align 275 %idx.ext = zext i32 %idx to i6476 %add.ptr = getelementptr inbounds <2 x i8>, ptr addrspace(1) %3, i64 %idx.ext77 store ptr addrspace(1) %add.ptr, ptr addrspace(1) @p_var, align 878 ret void79}80 81define spir_kernel void @reader(ptr addrspace(1) %dest, <2 x i8> %ptr_write_val) #0 !kernel_arg_addr_space !5 !kernel_arg_access_qual !6 !kernel_arg_type !10 !kernel_arg_type_qual !8 !kernel_arg_base_type !10 !spirv.ParameterDecorations !9 {82entry:83 %call = call spir_func <2 x i8> @from_buf(<2 x i8> %ptr_write_val) #084 %0 = load ptr addrspace(1), ptr addrspace(1) @p_var, align 885 store volatile <2 x i8> %call, ptr addrspace(1) %0, align 286 %1 = load <2 x i8>, ptr addrspace(1) @var, align 287 %call1 = call spir_func <2 x i8> @to_buf(<2 x i8> %1) #088 %arrayidx = getelementptr inbounds <2 x i8>, ptr addrspace(1) %dest, i64 089 store <2 x i8> %call1, ptr addrspace(1) %arrayidx, align 290 %2 = load <2 x i8>, ptr addrspace(1) @g_var, align 291 %call2 = call spir_func <2 x i8> @to_buf(<2 x i8> %2) #092 %arrayidx3 = getelementptr inbounds <2 x i8>, ptr addrspace(1) %dest, i64 193 store <2 x i8> %call2, ptr addrspace(1) %arrayidx3, align 294 %3 = getelementptr inbounds [2 x <2 x i8>], ptr addrspace(1) @a_var, i64 0, i64 095 %4 = load <2 x i8>, ptr addrspace(1) %3, align 296 %call4 = call spir_func <2 x i8> @to_buf(<2 x i8> %4) #097 %arrayidx5 = getelementptr inbounds <2 x i8>, ptr addrspace(1) %dest, i64 298 store <2 x i8> %call4, ptr addrspace(1) %arrayidx5, align 299 %5 = getelementptr inbounds [2 x <2 x i8>], ptr addrspace(1) @a_var, i64 0, i64 1100 %6 = load <2 x i8>, ptr addrspace(1) %5, align 2101 %call6 = call spir_func <2 x i8> @to_buf(<2 x i8> %6) #0102 %arrayidx7 = getelementptr inbounds <2 x i8>, ptr addrspace(1) %dest, i64 3103 store <2 x i8> %call6, ptr addrspace(1) %arrayidx7, align 2104 ret void105}106 107attributes #0 = { nounwind }108 109!spirv.MemoryModel = !{!0}110!opencl.enable.FP_CONTRACT = !{}111!spirv.Source = !{!1}112!opencl.spir.version = !{!2}113!opencl.ocl.version = !{!2}114!opencl.used.extensions = !{!3}115!opencl.used.optional.core.features = !{!3}116!spirv.Generator = !{!4}117 118!0 = !{i32 2, i32 2}119!1 = !{i32 3, i32 200000}120!2 = !{i32 2, i32 0}121!3 = !{}122!4 = !{i16 6, i16 14}123!5 = !{i32 1, i32 0}124!6 = !{!"none", !"none"}125!7 = !{!"char2*", !"int"}126!8 = !{!"", !""}127!9 = !{!3, !3}128!10 = !{!"char2*", !"char2"}129