85 lines · plain
1; RUN: llc -O0 -verify-machineinstrs -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s2; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}3 4; CHECK: OpCapability Kernel5; CHECK: OpCapability Addresses6; CHECK: OpCapability GenericPointer7; CHECK: OpCapability Int648; CHECK: OpCapability Int89; CHECK: OpCapability Linkage10 11; CHECK: OpExtInstImport "OpenCL.std"12; CHECK: OpMemoryModel Physical64 OpenCL13; CHECK: OpEntryPoint Kernel %[[#]] "foo" %[[#]]14; CHECK: OpSource OpenCL_C 20000015 16; CHECK-DAG: OpName %[[#]]17; CHECK-DAG: OpDecorate %[[#]]18 19 20; CHECK: %[[#I8:]] = OpTypeInt 8 021; CHECK: %[[#PTR_CW_I8:]] = OpTypePointer CrossWorkgroup %[[#I8]]22; CHECK: %[[#I32:]] = OpTypeInt 32 023; CHECK: %[[#VEC4:]] = OpTypeVector %[[#I32]] 424; CHECK: %[[#VOID:]] = OpTypeVoid25; CHECK: %[[#FUNC_TYPE0:]] = OpTypeFunction %[[#VOID]] %[[#PTR_CW_I8]] %[[#VEC4]]26; CHECK: %[[#FUNC_TYPE1:]] = OpTypeFunction %[[#VOID]] %[[#PTR_CW_I8]]27; CHECK: %[[#VEC3:]] = OpTypeVector %[[#I32]] 328; CHECK: %[[#FUNC_TYPE2:]] = OpTypeFunction %[[#VOID]] %[[#PTR_CW_I8]] %[[#VEC3]]29; CHECK: %[[#PTR_GEN_I8:]] = OpTypePointer Generic %[[#I8]]30; CHECK: %[[#STRUCT_B:]] = OpTypeStruct %[[#I32]] %[[#PTR_GEN_I8]]31; CHECK: %[[#STRUCT_C:]] = OpTypeStruct %[[#I32]] %[[#STRUCT_B]]32; CHECK: %[[#STRUCT_A:]] = OpTypeStruct %[[#I32]] %[[#STRUCT_C]]33; CHECK: %[[#F32:]] = OpTypeFloat 3234; CHECK: %[[#CONST_2:]] = OpConstant %[[#I32]] 235; CHECK: %[[#ARRAY_F:]] = OpTypeArray %[[#F32]] %[[#CONST_2]]36; CHECK: %[[#ARRAY_I:]] = OpTypeArray %[[#I32]] %[[#CONST_2]]37; CHECK: %[[#PTR_CW_STRUCT_A:]] = OpTypePointer CrossWorkgroup %[[#STRUCT_A]]38; CHECK: %[[#PTR_UC_VEC4:]] = OpTypePointer UniformConstant %[[#VEC4]]39; CHECK: %[[#PTR_UC_ARRAY_F:]] = OpTypePointer UniformConstant %[[#ARRAY_F]]40; CHECK: %[[#PTR_CW_PTR_CW_I8:]] = OpTypePointer CrossWorkgroup %[[#PTR_CW_I8]]41; CHECK: %[[#I64:]] = OpTypeInt 64 042; CHECK: %[[#PTR_CW_ARRAY_I:]] = OpTypePointer CrossWorkgroup %[[#ARRAY_I]]43 44; CHECK: %[[#NULL_I32:]] = OpConstantNull %[[#I32]]45; CHECK: %[[#CONST_I64_4:]] = OpConstant %[[#I64]] 446; CHECK: %[[#CONST_I32_1:]] = OpConstant %[[#I32]] 147; CHECK: %[[#COMP_I32:]] = OpConstantComposite %[[#ARRAY_I]] %[[#CONST_I32_1]] %[[#CONST_2]]48 49; CHECK: %[[#VAR_V:]] = OpVariable %[[#PTR_CW_ARRAY_I]] CrossWorkgroup %[[#COMP_I32]]50; CHECK: %[[#SPECCONSTOP:]] = OpSpecConstantOp %[[#PTR_CW_I8]] InBoundsPtrAccessChain %[[#VAR_V]] %[[#NULL_I32]] %[[#CONST_I64_4]]51; CHECK: %[[#VAR_S:]] = OpVariable %[[#PTR_CW_PTR_CW_I8]] CrossWorkgroup %[[#SPECCONSTOP]]52; CHECK: %[[#NULL_ARRAY_F:]] = OpConstantNull %[[#ARRAY_F]]53; CHECK: %[[#VAR_F:]] = OpVariable %[[#PTR_UC_ARRAY_F]] UniformConstant %[[#NULL_ARRAY_F]]54; CHECK: %[[#NULL_STRUCT_A:]] = OpConstantNull %[[#STRUCT_A]]55; CHECK: %[[#VAR_A:]] = OpVariable %[[#PTR_CW_STRUCT_A]] CrossWorkgroup %[[#NULL_STRUCT_A]]56 57; CHECK: %[[#FN_BAR1:]] = OpFunction %[[#VOID]] None %[[#FUNC_TYPE1]]58; CHECK: %[[#P_BAR1:]] = OpFunctionParameter %[[#PTR_CW_I8]]59; CHECK: OpFunctionEnd60 61@v = addrspace(1) global [2 x i32] [i32 1, i32 2], align 462@s = addrspace(1) global ptr addrspace(1) getelementptr inbounds ([2 x i32], ptr addrspace(1) @v, i32 0, i32 1), align 463 64%struct.A = type { i32, %struct.C }65%struct.C = type { i32, %struct.B }66%struct.B = type { i32, ptr addrspace(4) }67 68@f = addrspace(2) constant [2 x float] zeroinitializer, align 469@b = external addrspace(2) constant <4 x i32>70@a = common addrspace(1) global %struct.A zeroinitializer, align 471 72define spir_kernel void @foo(ptr addrspace(1) %a, <4 x i32> %vec_in) {73entry:74 call spir_func void @bar1(ptr addrspace(1) %a)75 %extractVec = shufflevector <4 x i32> %vec_in, <4 x i32> %vec_in, <3 x i32> <i32 0, i32 1, i32 2>76 call spir_func void @bar2(ptr addrspace(1) %a, <3 x i32> %extractVec)77 ret void78}79 80declare spir_func void @bar1(ptr addrspace(1))81declare spir_func void @bar2(ptr addrspace(1), <3 x i32>)82 83!opencl.ocl.version = !{!7}84!7 = !{i32 2, i32 0}85