test/tint/bug/tint/413.spvasm.expected.dxc.hlsl

Texture2D<uint4> Src : register(t0);
RWTexture2D<uint4> Dst : register(u1);

void main_1() {
  uint4 srcValue = uint4(0u, 0u, 0u, 0u);
  srcValue = Src.Load(int3(0, 0, 0));
  srcValue.x = (srcValue.x + 1u);
  uint4 x_27 = srcValue;
  Dst[(0).xx] = x_27;
  return;
}

[numthreads(1, 1, 1)]
void main() {
  main_1();
  return;
}