#include <metal_stdlib>
using namespace metal;

uint3 tint_div_v3u32(uint3 lhs, uint3 rhs) {
  return (lhs / select(rhs, uint3(1u), (rhs == uint3(0u))));
}

[[max_total_threads_per_threadgroup(1)]]
kernel void f() {
  uint3 const a = uint3(1u, 2u, 3u);
  uint const b = 4u;
  uint3 const r = tint_div_v3u32(a, uint3(b));
}