SKIP: FAILED

#include <metal_stdlib>
using namespace metal;

kernel void f() {
  int3 a = int3(1, 2, 3);
  int b = 0;
  int3 const v = a;
  int3 const r = tint_mod_v3i32(v, int3((b + b)));
}
int3 tint_mod_v3i32(int3 lhs, int3 rhs) {
  int3 const v_1 = select(rhs, int3(1), ((rhs == int3(0)) | ((lhs == int3((-2147483647 - 1))) & (rhs == int3(-1)))));
  return (lhs - ((lhs / v_1) * v_1));
}
program_source:8:18: error: use of undeclared identifier 'tint_mod_v3i32'
  int3 const r = tint_mod_v3i32(v, int3((b + b)));
                 ^

