#include <metal_stdlib>

using namespace metal;
uint tint_div(uint lhs, uint rhs) {
  return (lhs / select(rhs, 1u, (rhs == 0u)));
}

kernel void f() {
  uint a = 1u;
  uint b = 0u;
  uint const r = tint_div(a, (b + b));
  return;
}