
RWByteAddressBuffer v : register(u0);
int tint_div_i32(int lhs, int rhs) {
  return (lhs / ((((rhs == int(0)) | ((lhs == int(-2147483648)) & (rhs == int(-1))))) ? (int(1)) : (rhs)));
}

void foo() {
  v.Store(0u, asuint(tint_div_i32(asint(v.Load(0u)), int(2))));
}

[numthreads(1, 1, 1)]
void unused_entry_point() {
}