test/UBO/large_padding_std430.cl

// RUN: clspv -int8 -constant-args-ubo -inline-entry-points -std430-ubo-layout %s -o %t.spv
// RUN: spirv-dis %t.spv -o %t.spvasm
// RUN: FileCheck %s < %t.spvasm
// RUN: clspv-reflection -d %t.spv -o %t.map
// RUN: FileCheck -check-prefix=MAP %s < %t.map

// With std430 layouts in UBO, the padding array ([16 x i8]) can be generated
// with an ArrayStride of 1.
typedef struct {
  int4 a;
  int4 b __attribute__((aligned(32)));
  int4 c;
} S;

kernel void foo(global S* out, constant S* in) {
  out->c = in->c;
}

//      MAP: kernel,foo,arg,out,argOrdinal,0,descriptorSet,0,binding,0,offset,0,argKind,buffer
// MAP-NEXT: kernel,foo,arg,in,argOrdinal,1,descriptorSet,0,binding,1,offset,0,argKind,buffer_ubo

// CHECK-DAG: OpMemberDecorate [[s:%[0-9a-zA-Z_]+]] 0 Offset 0
// CHECK-DAG: OpMemberDecorate [[s]] 1 Offset 16
// CHECK-DAG: OpMemberDecorate [[s]] 2 Offset 32
// CHECK-DAG: OpMemberDecorate [[s]] 3 Offset 48
// CHECK-DAG: OpDecorate [[in:%[0-9a-zA-Z_]+]] Binding 1
// CHECK-DAG: OpDecorate [[in]] DescriptorSet 0
// CHECK-DAG: OpDecorate [[in]] NonWritable
// CHECK: OpDecorate [[char_array:%[0-9a-zA-Z_]+]] ArrayStride 1
// CHECK: OpDecorate [[ubo_array:%[0-9a-zA-Z_]+]] ArrayStride 64
// CHECK-DAG: [[int:%[0-9a-zA-Z_]+]] = OpTypeInt 32 0
// CHECK-DAG: [[char:%[0-9a-zA-Z_]+]] = OpTypeInt 8 0
// CHECK-DAG: [[int4:%[0-9a-zA-Z_]+]] = OpTypeVector [[int]] 4
// CHECK-DAG: [[int_16:%[0-9a-zA-Z_]+]] = OpConstant [[int]] 16
// CHECK-DAG: [[char_array]] = OpTypeArray [[char]] [[int_16]]
// CHECK: [[s]] = OpTypeStruct [[int4]] [[char_array]] [[int4]] [[int4]]
// CHECK-DAG: [[int_1024:%[0-9a-zA-Z_]+]] = OpConstant [[int]] 1024
// CHECK-DAG: [[ubo_array]] = OpTypeArray [[s]] [[int_1024]]
// CHECK-DAG: [[ubo_block:%[0-9a-zA-Z_]+]] = OpTypeStruct [[ubo_array]]
// CHECK-DAG: [[ubo_ptr:%[0-9a-zA-Z_]+]] = OpTypePointer Uniform [[ubo_block]]
// CHECK-DAG: [[in]] = OpVariable [[ubo_ptr]] Uniform