//TEST:SIMPLE(filecheck=CHECK):-target spirv -entry computeMain -stage compute -emit-spirv-directly

// The test check that if an array is used in function parameter, we don't decorate it with array stride decoration.

// The reason we have to check the SPIRV instead of using spirv-val is because slang uses spv1.6 as the target_env,
// but the issue only occurs when the target_env is vulkan1.2+

// CHECK: OpEntryPoint
// CHECK-NOT: OpDecorate %_arr_int_int_2_0 ArrayStride
struct S
{
    int[2] a;
}

ParameterBlock<S> input;

RWStructuredBuffer<int> output;

void myfunc(int[2] a)
{
    for (int i = 0; i < 2; i++)
    {
        output[i] = a[i];
    }
}

[shader("compute")]
void computeMain(uint3 id : SV_DispatchThreadID)
{
    myfunc(input.a);
}