test/tint/bug/fxc/dyn_array_idx/write/storage.wgsl.expected.fxc.hlsl

cbuffer cbuffer_ubo : register(b0) {
  uint4 ubo[1];
};

RWByteAddressBuffer result : register(u2);

RWByteAddressBuffer ssbo : register(u1);

[numthreads(1, 1, 1)]
void f() {
  ssbo.Store((4u * min(uint(asint(ubo[0].x)), 3u)), asuint(1));
  result.Store(0u, asuint(asint(ssbo.Load(12u))));
  return;
}