DirectXShaderCompiler/tools/clang/test/CodeGenSPIRV/fn.ctbuffer.hlsl

// Run: %dxc -T ps_6_0 -E main

// %S  : generated from struct S, with    layout decorations
// %S_0: generated from struct S, without layout decorations

// CHECK: %type_MyCBuffer = OpTypeStruct %v4float
cbuffer MyCBuffer {
    float4 cb_val;

    float4 get_cb_val() { return cb_val; }
}

struct S {
    float3 s_val;

    float3 get_s_val() { return s_val; }
};

// CHECK: %type_MyTBuffer = OpTypeStruct %float %S
tbuffer MyTBuffer {
    float tb_val;
    S     tb_s;

    float get_tb_val() { return tb_val; }
}

float4 main() : SV_Target {
// %S vs %S_0: need destruction and construction
// CHECK:         %temp_var_S = OpVariable %_ptr_Function_S_0 Function
// CHECK:       [[tb_s:%\d+]] = OpAccessChain %_ptr_Uniform_S %MyTBuffer %int_1
// CHECK-NEXT:     [[s:%\d+]] = OpLoad %S [[tb_s]]
// CHECK-NEXT: [[s_val:%\d+]] = OpCompositeExtract %v3float [[s]] 0
// CHECK-NEXT:   [[tmp:%\d+]] = OpCompositeConstruct %S_0 [[s_val]]
// CHECK-NEXT:                  OpStore %temp_var_S [[tmp]]
// CHECK-NEXT:       {{%\d+}} = OpFunctionCall %v3float %S_get_s_val %temp_var_S
    return get_cb_val() + float4(tb_s.get_s_val(), 0.) * get_tb_val();
}

// CHECK:      %get_cb_val = OpFunction %v4float None {{%\d+}}
// CHECK:         {{%\d+}} = OpAccessChain %_ptr_Uniform_v4float %MyCBuffer %int_0

// CHECK:     %S_get_s_val = OpFunction %v3float None {{%\d+}}
// CHECK-NEXT: %param_this = OpFunctionParameter %_ptr_Function_S_0
// CHECK:         {{%\d+}} = OpAccessChain %_ptr_Function_v3float %param_this %int_0

// CHECK:      %get_tb_val = OpFunction %float None {{%\d+}}
// CHECK:         {{%\d+}} = OpAccessChain %_ptr_Uniform_float %MyTBuffer %int_0