1 2uniform vec4 colorRed; 3uniform vec4 colorGreen; 4uniform float unknownInput; 5vec4 main() { 6 float _0_unknown = unknownInput; 7 bool _1_ok = true; 8 float _2_x = 34.0; 9 _1_ok = _1_ok && _2_x == 34.0; 10 _2_x = 30.0; 11 _1_ok = _1_ok && _2_x == 30.0; 12 _2_x = 64.0; 13 _1_ok = _1_ok && _2_x == 64.0; 14 _2_x = 16.0; 15 _1_ok = _1_ok && _2_x == 16.0; 16 _2_x = 19.0; 17 _1_ok = _1_ok && _2_x == 19.0; 18 _2_x = 1.0; 19 _1_ok = _1_ok && _2_x == 1.0; 20 _2_x = -2.0; 21 _1_ok = _1_ok && _2_x == -2.0; 22 _2_x = 3.0; 23 _1_ok = _1_ok && _2_x == 3.0; 24 _2_x = -4.0; 25 _1_ok = _1_ok && _2_x == -4.0; 26 _2_x = 5.0; 27 _1_ok = _1_ok && _2_x == 5.0; 28 _2_x = -6.0; 29 _1_ok = _1_ok && _2_x == -6.0; 30 _2_x = 7.0; 31 _1_ok = _1_ok && _2_x == 7.0; 32 _2_x = -8.0; 33 _1_ok = _1_ok && _2_x == -8.0; 34 _2_x = 9.0; 35 _1_ok = _1_ok && _2_x == 9.0; 36 _2_x = -10.0; 37 _1_ok = _1_ok && _2_x == -10.0; 38 _2_x = 11.0; 39 _1_ok = _1_ok && _2_x == 11.0; 40 _2_x = -12.0; 41 _1_ok = _1_ok && _2_x == -12.0; 42 _2_x = _0_unknown; 43 _1_ok = _1_ok && _2_x == _0_unknown; 44 _2_x = _0_unknown; 45 _1_ok = _1_ok && _2_x == _0_unknown; 46 _2_x = _0_unknown; 47 _1_ok = _1_ok && _2_x == _0_unknown; 48 _2_x = 0.0; 49 _1_ok = _1_ok && _2_x == 0.0; 50 _2_x = _0_unknown; 51 _1_ok = _1_ok && _2_x == _0_unknown; 52 _2_x = _0_unknown; 53 _1_ok = _1_ok && _2_x == _0_unknown; 54 _2_x = 0.0; 55 _1_ok = _1_ok && _2_x == 0.0; 56 _2_x = _0_unknown; 57 _1_ok = _1_ok && _2_x == _0_unknown; 58 _2_x = 0.0 / _0_unknown; 59 _1_ok = _1_ok && _2_x == 0.0; 60 _2_x += 1.0; 61 _1_ok = _1_ok && _2_x == 1.0; 62 _1_ok = _1_ok && _2_x == 1.0; 63 _2_x -= 2.0; 64 _1_ok = _1_ok && _2_x == -1.0; 65 _1_ok = _1_ok && _2_x == -1.0; 66 _1_ok = _1_ok && _2_x == -1.0; 67 _2_x *= 2.0; 68 _1_ok = _1_ok && _2_x == -2.0; 69 _1_ok = _1_ok && _2_x == -2.0; 70 _2_x *= 0.5; 71 _1_ok = _1_ok && _2_x == -1.0; 72 return _1_ok ? colorGreen : colorRed; 73} 74