test/tint/expressions/binary/div/vec3-scalar/u32.wgsl.expected.dxc.hlsl

uint3 tint_div(uint3 lhs, uint rhs) {
  uint3 r = uint3((rhs).xxx);
  return (lhs / ((r == (0u).xxx) ? (1u).xxx : r));
}

[numthreads(1, 1, 1)]
void f() {
  uint3 a = uint3(1u, 2u, 3u);
  uint b = 4u;
  uint3 r = tint_div(a, b);
  return;
}