test/vk-gl-cts/spirv_assembly/instruction/compute/arraylength/array-stride-larger-than-element-size/1.spvasm

               OpCapability Shader
          %1 = OpExtInstImport "GLSL.std.450"
               OpMemoryModel Logical GLSL450
               OpEntryPoint GLCompute %main "main"
               OpExecutionMode %main LocalSize 1 1 1
               OpSource ESSL 320
               OpName %main "main"
               OpName %Buf1 "Buf1"
               OpMemberName %Buf1 0 "result"
               OpName %_ ""
               OpName %i "i"
               OpName %Buf0 "Buf0"
               OpMemberName %Buf0 0 "values"
               OpName %__0 ""
               OpMemberDecorate %Buf1 0 Offset 0
               OpDecorate %Buf1 Block
               OpDecorate %_ DescriptorSet 0
               OpDecorate %_ Binding 1
               OpDecorate %_runtimearr_uint ArrayStride 4
               OpMemberDecorate %Buf0 0 Offset 0
               OpDecorate %Buf0 Block
               OpDecorate %__0 DescriptorSet 0
               OpDecorate %__0 Binding 0
               OpDecorate %gl_WorkGroupSize BuiltIn WorkgroupSize
       %void = OpTypeVoid
         %11 = OpTypeFunction %void
        %int = OpTypeInt 32 1
       %Buf1 = OpTypeStruct %int
%_ptr_StorageBuffer_Buf1 = OpTypePointer StorageBuffer %Buf1
          %_ = OpVariable %_ptr_StorageBuffer_Buf1 StorageBuffer
      %int_0 = OpConstant %int 0
      %int_1 = OpConstant %int 1
%_ptr_StorageBuffer_int = OpTypePointer StorageBuffer %int
       %uint = OpTypeInt 32 0
%_ptr_Function_uint = OpTypePointer Function %uint
     %uint_0 = OpConstant %uint 0
   %uint_512 = OpConstant %uint 512
       %bool = OpTypeBool
%_runtimearr_uint = OpTypeRuntimeArray %uint
       %Buf0 = OpTypeStruct %_runtimearr_uint
%_ptr_StorageBuffer_Buf0 = OpTypePointer StorageBuffer %Buf0
        %__0 = OpVariable %_ptr_StorageBuffer_Buf0 StorageBuffer
     %uint_2 = OpConstant %uint 2
%_ptr_StorageBuffer_uint = OpTypePointer StorageBuffer %uint
     %v3uint = OpTypeVector %uint 3
     %uint_1 = OpConstant %uint 1
%gl_WorkGroupSize = OpConstantComposite %v3uint %uint_1 %uint_1 %uint_1
       %main = OpFunction %void None %11
         %27 = OpLabel
          %i = OpVariable %_ptr_Function_uint Function
         %28 = OpAccessChain %_ptr_StorageBuffer_int %_ %int_0
               OpStore %28 %int_1
               OpStore %i %uint_0
               OpBranch %29
         %29 = OpLabel
               OpLoopMerge %30 %31 None
               OpBranch %32
         %32 = OpLabel
         %33 = OpLoad %uint %i
         %34 = OpULessThan %bool %33 %uint_512
               OpBranchConditional %34 %35 %30
         %35 = OpLabel
         %36 = OpLoad %uint %i
         %37 = OpIMul %uint %36 %uint_2
         %38 = OpAccessChain %_ptr_StorageBuffer_uint %__0 %int_0 %37
         %39 = OpLoad %uint %38
         %40 = OpLoad %uint %i
         %41 = OpINotEqual %bool %39 %40
               OpSelectionMerge %42 None
               OpBranchConditional %41 %43 %42
         %43 = OpLabel
         %44 = OpAccessChain %_ptr_StorageBuffer_int %_ %int_0
               OpStore %44 %int_0
               OpBranch %42
         %42 = OpLabel
               OpBranch %31
         %31 = OpLabel
         %45 = OpLoad %uint %i
         %46 = OpIAdd %uint %45 %int_1
               OpStore %i %46
               OpBranch %29
         %30 = OpLabel
               OpReturn
               OpFunctionEnd