1RWByteAddressBuffer sb_rw : register(u0, space0);
2
3void arrayLength_61b1c7() {
4  uint tint_symbol_2 = 0u;
5  sb_rw.GetDimensions(tint_symbol_2);
6  const uint tint_symbol_3 = ((tint_symbol_2 - 0u) / 4u);
7  uint res = tint_symbol_3;
8}
9
10struct tint_symbol {
11  float4 value : SV_Position;
12};
13
14float4 vertex_main_inner() {
15  arrayLength_61b1c7();
16  return float4(0.0f, 0.0f, 0.0f, 0.0f);
17}
18
19tint_symbol vertex_main() {
20  const float4 inner_result = vertex_main_inner();
21  tint_symbol wrapper_result = (tint_symbol)0;
22  wrapper_result.value = inner_result;
23  return wrapper_result;
24}
25
26void fragment_main() {
27  arrayLength_61b1c7();
28  return;
29}
30
31[numthreads(1, 1, 1)]
32void compute_main() {
33  arrayLength_61b1c7();
34  return;
35}
36