// RUN: %dxc -T ps_6_0 -Od -E main %s | FileCheck %s

// Used to check the following, but allocas are now gone, so they no longer exist.
//
//    %precise = alloca float, align 4
//    %globallycoherent = alloca i32, align 4
//    %sample = alloca float, align 4
//    %center = alloca float, align 4

// CHECK: call %dx.types.ResRet.f32 @dx.op.bufferLoad.f32(i32 68, %dx.types.Handle %MyBuffer_UAV_structbuf, i32 0, i32 0)
// CHECK: call %dx.types.ResRet.f32 @dx.op.bufferLoad.f32(i32 68, %dx.types.Handle %MyBuffer_UAV_structbuf, i32 0, i32 16)
// CHECK: call %dx.types.ResRet.f32 @dx.op.bufferLoad.f32(i32 68, %dx.types.Handle %MyBuffer_UAV_structbuf, i32 0, i32 32)
// CHECK: call %dx.types.ResRet.f32 @dx.op.bufferLoad.f32(i32 68, %dx.types.Handle %MyBuffer_UAV_structbuf, i32 0, i32 48)

// Check function parameters are accepted
float3 foo(float3 sample) {
    return sample;
}

// Check member fields are accepted
struct S {
  float4 center;
  float4 precise;
  float4 sample;
  float4 globallycoherent;
};

RWStructuredBuffer<S> MyBuffer;

float4 main(float4 input : SV_POSITION) : SV_TARGET
{
    // Check declarations are accepted
    float precise = 1.0f;
    int globallycoherent = 1;
    float sample;

    // Check assignments are accepted
    sample = 1.0f;
    globallycoherent += 10;

    // Check declaration group is accepted
    float left, center = 1.0, right;

    // Check parentheses are accepted
    // (they go through the path for type cast in frontend)
    float w = (center).x;

    return float4(foo(float3(precise, globallycoherent, sample)), w) +
           MyBuffer[0].center + MyBuffer[0].precise +
           MyBuffer[0].sample + MyBuffer[0].globallycoherent;
}