#include <metal_stdlib>

using namespace metal;
int4 tint_ftoi(float4 v) {
  return select(int4(2147483647), select(int4(v), int4((-2147483647 - 1)), (v < float4(-2147483648.0f))), (v < float4(2147483520.0f)));
}

void f() {
  thread float4 tint_symbol = float4(1.0f);
  int4 const v = tint_ftoi(tint_symbol);
}