diagnostic(off, derivative_uniformity);
diagnostic(off, chromium.unreachable_code);
enable f16;
struct _GlobalUniforms {
  unknownInput: f16,
  colorRed: vec4<f16>,
  colorGreen: vec4<f16>,
};
@group(0) @binding(0) var<uniform> _globalUniforms : _GlobalUniforms;
fn test_int_b() -> bool {
  {
    let unknown: i32 = i32(_globalUniforms.unknownInput);
    var ok: bool = true;
    ok = ok && all((vec4<i32>(0) / vec4<i32>(unknown)) == vec4<i32>(0));
    var val: vec4<i32> = vec4<i32>(unknown);
    val = val + vec4<i32>(1);
    val = val - vec4<i32>(1);
    val = val + vec4<i32>(1);
    val = val - vec4<i32>(1);
    ok = ok && all(val == vec4<i32>(unknown));
    val = val * vec4<i32>(2);
    val = val / vec4<i32>(2);
    val = val * vec4<i32>(2);
    val = val / vec4<i32>(2);
    ok = ok && all(val == vec4<i32>(unknown));
    return ok;
  }
}
fn _skslMain(coords: vec2<f32>) -> vec4<f16> {
  {
    let _0_unknown: f16 = _globalUniforms.unknownInput;
    var _1_ok: bool = true;
    _1_ok = _1_ok && all((vec4<f16>(0.0h) / vec4<f16>(_0_unknown)) == vec4<f16>(0.0h));
    var _2_val: vec4<f16> = vec4<f16>(_0_unknown);
    _2_val = _2_val + vec4<f16>(1.0h);
    _2_val = _2_val - vec4<f16>(1.0h);
    _2_val = _2_val + vec4<f16>(1.0h);
    _2_val = _2_val - vec4<f16>(1.0h);
    _1_ok = _1_ok && all(_2_val == vec4<f16>(_0_unknown));
    _2_val = _2_val * vec4<f16>(2.0h);
    _2_val = _2_val * vec4<f16>(0.5h);
    _2_val = _2_val * vec4<f16>(2.0h);
    _2_val = _2_val * vec4<f16>(0.5h);
    _1_ok = _1_ok && all(_2_val == vec4<f16>(_0_unknown));
    var _skTemp0: vec4<f16>;
    var _skTemp1: bool;
    if _1_ok {
      _skTemp1 = test_int_b();
    } else {
      _skTemp1 = false;
    }
    if _skTemp1 {
      _skTemp0 = _globalUniforms.colorGreen;
    } else {
      _skTemp0 = _globalUniforms.colorRed;
    }
    return _skTemp0;
  }
}
@fragment fn main(@location(0) _coords: vec2<f32>) -> @location(0) vec4<f16> {
  return _skslMain(_coords);
}