float3 f(int x) {
  float3x3 m = float3x3(float3(1.0f, 2.0f, 3.0f), float3(4.0f, 5.0f, 6.0f), float3(7.0f, 8.0f, 9.0f));
  int i = x;
  uint v = min(uint(i), 2u);
  return m[v];
}

[numthreads(1, 1, 1)]
void main() {
  f(int(1));
}