xref: /aosp_15_r20/external/deqp/data/gles2/shaders/functions.test (revision 35238bce31c2a825756842865a792f8cf7f89930)

# Tests todo:
# - inout with varyings, attributes, uniforms (and arrays of 'em)
# - inout with arrays, array elements
# - inout with array elements
# - inout by-value semantics (arrays & elements & structs)

# Done:
# - control flow: return, return in loop, etc.

group datatypes "Function Parameter Data Types"

    case float_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                return -a;
            }

            void main()
            {
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case float_vec2
        values
        {
            input vec2 in0 = [ vec2(0.0, 1.0) | vec2(2.0, 2.5) ];
            output float out0 = [ -1.0 | -4.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (vec2 a)
            {
                return -(a.x + a.y);
            }

            void main()
            {
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case float_vec3
        values
        {
            input vec3 in0 = [ vec3(0.0, 1.0, -2.0) | vec3(2.0, 2.5, -4.0) ];
            output float out0 = [ 1.0 | -0.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (vec3 a)
            {
                return -(a.x + a.y + a.z);
            }

            void main()
            {
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case float_vec4
        values
        {
            input vec4 in0 = [ vec4(0.0, 1.0, -2.0, 0.5) | vec4(2.0, 2.5, 4.0, -7.0) ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (vec4 a)
            {
                return -(a.x + a.y + a.z + a.w);
            }

            void main()
            {
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case float_mat2
        values
        {
            input mat2 in0 = [ mat2(0.0, 1.0, -2.0, 0.5) | mat2(2.0, 2.5, 4.0, -7.0) ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (mat2 a)
            {
                return -(a[0][0] + a[0][1] + a[1][0] + a[1][1]);
            }

            void main()
            {
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case float_mat3
        values
        {
            input mat3 in0 = [ mat3(0.0, 1.0, -2.0, 0.5, 1.0, -1.0, 2.0, 4.0, -1.0) | mat3(2.0, 2.5, 4.0, -7.0, 2.5, 3.0, 0.5, -3.5, 1.0) ];
            output float out0 = [ -4.5 | -5.0 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (mat3 a)
            {
                return -(a[0][0] + a[0][1] + a[0][2] + a[1][0] + a[1][1] + a[1][2] + a[2][0] + a[2][1] + a[2][2]);
            }

            void main()
            {
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case float_mat4
        values
        {
            input mat4 in0 = [ mat4(0.0, 1.0, -2.0, 0.5, 1.0, -1.0, 2.0, 4.0, -1.0, 1.0, 1.0, 1.0, 1.0, 1.0, -2.0, -2.0) | mat4(2.0, 2.5, 4.0, -7.0, 2.5, 3.0, 0.5, -3.5, 1.0, 0.0, 2.0, -1.0, 1.0, 0.0, -1.0, 3.0) ];
            output float out0 = [ -5.5 | -9.0 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (mat4 a)
            {
                return -(a[0][0] + a[0][1] + a[0][2] + a[0][3] + a[1][0] + a[1][1] + a[1][2] + a[1][3] + a[2][0] + a[2][1] + a[2][2] + a[2][3] + a[3][0] + a[3][1] + a[3][2] + a[3][3]);
            }

            void main()
            {
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case int_int
        values
        {
            input int in0 = [ -1 | 0 | 1 | 4 ];
            output int out0 = [ 1 | 0 | -1 | -4 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (int a)
            {
                return -a;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case int_ivec2
        values
        {
            input ivec2 in0 = [ ivec2(-1, 0) | ivec2(1, 4) ];
            output int out0 = [ 1 | -5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (ivec2 a)
            {
                return -(a.x + a.y);
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case int_ivec3
        values
        {
            input ivec3 in0 = [ ivec3(-1, 0, 2) | ivec3(1, 4, -8) ];
            output int out0 = [ -1 | 3 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (ivec3 a)
            {
                return -(a.x + a.y + a.z);
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case int_ivec4
        values
        {
            input ivec4 in0 = [ ivec4(-1, 0, 2, 2) | ivec4(1, 4, -8, 2) ];
            output int out0 = [ -3 | 1 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (ivec4 a)
            {
                return -(a.x + a.y + a.z + a.w);
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case bool_bool
        values
        {
            input bool in0 = [ true | false ];
            output bool out0 = [ false | true ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            bool func (bool a)
            {
                return !a;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case bool_bvec2
        values
        {
            input bvec2 in0 = [ bvec2(true, true) | bvec2(false, true) ];
            output bool out0 = [ false | true ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            bool func (bvec2 a)
            {
                return !(a.x == a.y);
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case bool_bvec3
        values
        {
            input bvec3 in0 = [ bvec3(true, true, false) | bvec3(true, false, false) ];
            output bool out0 = [ false | true ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            bool func (bvec3 a)
            {
                return (a.x == a.y) == a.z;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case bool_bvec4
        values
        {
            input bvec4 in0 = [ bvec4(true, true, true, false) | bvec4(false, false, true, true) | bvec4(true, false, false, true) ];
            output bool out0 = [ false | true | true ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            bool func (bvec4 a)
            {
                return ((a.x == a.y) == (a.z == a.w));
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case mat2
        values
        {
            input mat2 in0 = [ mat2(-2.0, 0.5, -1.0, 1.0) | mat2(1.0, -3.5, -3.5, 2.5) | mat2(-2.0, -2.0, 3.5, 0.0) ];
            output mat2 out0 = [ mat2(4.0, -1.0, 2.0, -2.0) | mat2(-2.0, 7.0, 7.0, -5.0) | mat2(4.0, 4.0, -7.0, -0.0) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            mat2 func (mat2 a)
            {
                return -2.0*a;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end


    case mat3
        values
        {
            input mat3 in0 = [ mat3(2.5, 0.0, 1.0, -2.5, 1.0, 3.0, 0.0, 2.0, 1.5) | mat3(-3.5, 2.0, 0.5, -1.5, -3.5, 2.5, 0.0, 1.5, 3.0) | mat3(1.5, 3.0, -1.0, 2.5, -0.5, 3.5, 3.0, -3.0, -2.5) ];
            output mat3 out0 = [ mat3(-5.0, -0.0, -2.0, 5.0, -2.0, -6.0, -0.0, -4.0, -3.0) | mat3(7.0, -4.0, -1.0, 3.0, 7.0, -5.0, -0.0, -3.0, -6.0) | mat3(-3.0, -6.0, 2.0, -5.0, 1.0, -7.0, -6.0, 6.0, 5.0) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            mat3 func (mat3 a)
            {
                return -2.0*a;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end


    case mat4
        values
        {
            input mat4 in0 = [ mat4(-2.0, 3.5, -0.5, 1.0, -1.5, 0.0, -1.0, -1.0, 0.5, 0.5, 3.0, 1.5, 3.0, 2.5, 3.5, 1.5) | mat4(-2.5, 2.5, 3.5, 3.0, 0.5, 1.5, -2.0, 2.5, 0.5, -1.5, -3.5, 2.5, 3.5, -3.0, 2.5, -0.5) | mat4(-2.5, -1.5, 2.0, 3.0, -3.5, 1.0, -3.5, 1.5, -1.5, 3.0, 3.5, 0.0, 3.5, -1.5, -3.0, 0.5) ];
            output mat4 out0 = [ mat4(4.0, -7.0, 1.0, -2.0, 3.0, -0.0, 2.0, 2.0, -1.0, -1.0, -6.0, -3.0, -6.0, -5.0, -7.0, -3.0) | mat4(5.0, -5.0, -7.0, -6.0, -1.0, -3.0, 4.0, -5.0, -1.0, 3.0, 7.0, -5.0, -7.0, 6.0, -5.0, 1.0) | mat4(5.0, 3.0, -4.0, -6.0, 7.0, -2.0, 7.0, -3.0, 3.0, -6.0, -7.0, -0.0, -7.0, 3.0, 6.0, -1.0) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            mat4 func (mat4 a)
            {
                return -2.0*a;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case float_struct
        values
        {
            input vec3 in0 = [ vec3(0.0, 1.0, -2.0) | vec3(2.0, 2.5, -4.0) ];
            output float out0 = [ 1.0 | -0.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            struct Pos { float a, b, c; };

            float func (Pos p)
            {
                return -(p.a + p.b + p.c);
            }

            void main()
            {
                Pos p = Pos(in0.x, in0.y, in0.z);
                out0 = func(p);
                ${OUTPUT}
            }
        ""
    end

    case struct_struct
        values
        {
            input vec3 in0 = [ vec3(0.0, 1.0, -2.0) | vec3(2.0, 2.5, -4.0) ];
            output float out0 = [ 1.0 | -0.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            struct Pos { float a, b, c; };

            Pos func (Pos p)
            {
                return Pos(-p.a, -p.b, -p.c);
            }

            void main()
            {
                Pos p = Pos(in0.x, in0.y, in0.z);
                p = func(p);
                out0 = p.a + p.b + p.c;
                ${OUTPUT}
            }
        ""
    end

    case struct_nested_struct
        values
        {
            input vec3 in0 = [ vec3(0.0, 1.0, -2.0) | vec3(2.0, 2.5, -4.0) ];
            output float out0 = [ 1.0 | -0.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            struct Pos { float a, b, c; };
            struct Line { Pos start, end; };

            Line func (Pos p)
            {
                return Line(p, Pos(-p.a, -p.b, -p.c));
            }

            float sum (Pos p)
            {
                return (p.a + p.b + p.c);
            }

            void main()
            {
                Pos p = Pos(in0.x, in0.y, in0.z);
                Line line = func(p);
                out0 = sum(line.start) + (2.0 * sum(line.end));
                ${OUTPUT}
            }
        ""
    end

    case struct_constructor_highp_in_fragment
        desc "passing highp vector to struct constructor in fragment shader yields all zeros"
        vertex ""
            ${VERTEX_DECLARATIONS}
            void main()
            {
                ${VERTEX_OUTPUT}
            }
        ""
        fragment ""
            #ifdef GL_FRAGMENT_PRECISION_HIGH
            #define PRECISION highp
            #else
            #define PRECISION mediump
            #endif
            struct Test {
                PRECISION vec3 color;
            } ;
            void main() {
                PRECISION vec3 color = vec3(0.2, 2.0, 0.1);
                Test test = Test(color);
                // Bias the color so all components are guaranteed > 1.0.
                gl_FragColor = vec4(vec3(0.25, 0.55, 0.65) + vec3(4.0, 0.25, 4.0) * test.color, 1.0);
            }
        ""
    end

end # datatypes

group qualifiers "Function Parameter Qualifiers"

    case in_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            float func (in float a)
            {
                a = -a;
                return 2.0 * a;
            }

            void main()
            {
                ${SETUP}
                float f = in0;
                float g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case out_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (out float a)
            {
                a = -1.0;
            }

            void main()
            {
                ${SETUP}
                float f = 1.0;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case inout_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (inout float a)
            {
                a = -a;
            }

            void main()
            {
                ${SETUP}
                float f = 1.0;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case in_lowp_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            float func (in lowp float a)
            {
                a = -a;
                return 2.0 * a;
            }

            void main()
            {
                ${SETUP}
                float f = in0;
                float g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case out_lowp_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (out lowp float a)
            {
                a = -1.0;
            }

            void main()
            {
                ${SETUP}
                float f = 1.0;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case inout_lowp_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (inout lowp float a)
            {
                a = -a;
            }

            void main()
            {
                ${SETUP}
                float f = 1.0;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case in_highp_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            float func (in highp float a)
            {
                a = -a;
                return 2.0 * a;
            }

            void main()
            {
                ${SETUP}
                float f = in0;
                float g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case out_highp_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (out highp float a)
            {
                a = -1.0;
            }

            void main()
            {
                ${SETUP}
                float f = 1.0;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case inout_highp_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (inout highp float a)
            {
                a = -a;
            }

            void main()
            {
                ${SETUP}
                float f = 1.0;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case const_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            float func (const float a)
            {
                float b = -a;
                return 2.0 * b;
            }

            void main()
            {
                ${SETUP}
                float f = in0;
                float g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case const_in_float
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            float func (const in float a)
            {
                float b = -a;
                return 2.0 * b;
            }

            void main()
            {
                ${SETUP}
                float f = in0;
                float g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case in_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 4 ];
            output int out0 = [ 0 | -1 | 2 | -4 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (in int a)
            {
                a = -a;
                return 2 * a;
            }

            void main()
            {
                ${SETUP}
                int f = in0;
                int g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case out_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 6 ];
            output int out0 = [ 0 | -1 | 2 | -6 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (out int a)
            {
                a = -1;
            }

            void main()
            {
                ${SETUP}
                int f = 1;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case inout_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 6 ];
            output int out0 = [ 0 | -1 | 2 | -6 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (inout int a)
            {
                a = -a;
            }

            void main()
            {
                ${SETUP}
                int f = 1;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case in_lowp_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 4 ];
            output int out0 = [ 0 | -1 | 2 | -4 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (in lowp int a)
            {
                a = -a;
                return 2 * a;
            }

            void main()
            {
                ${SETUP}
                int f = in0;
                int g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case out_lowp_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 6 ];
            output int out0 = [ 0 | -1 | 2 | -6 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (out lowp int a)
            {
                a = -1;
            }

            void main()
            {
                ${SETUP}
                int f = 1;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case inout_lowp_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 6 ];
            output int out0 = [ 0 | -1 | 2 | -6 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (inout lowp int a)
            {
                a = -a;
            }

            void main()
            {
                ${SETUP}
                int f = 1;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case in_highp_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 4 ];
            output int out0 = [ 0 | -1 | 2 | -4 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (in highp int a)
            {
                a = -a;
                return 2 * a;
            }

            void main()
            {
                ${SETUP}
                int f = in0;
                int g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case out_highp_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 6 ];
            output int out0 = [ 0 | -1 | 2 | -6 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (out highp int a)
            {
                a = -1;
            }

            void main()
            {
                ${SETUP}
                int f = 1;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case inout_highp_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 6 ];
            output int out0 = [ 0 | -1 | 2 | -6 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            void func (inout highp int a)
            {
                a = -a;
            }

            void main()
            {
                ${SETUP}
                int f = 1;
                func(f);
                out0 = f * in0;
                ${OUTPUT}
            }
        ""
    end

    case const_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 4 ];
            output int out0 = [ 0 | -1 | 2 | -4 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (const int a)
            {
                int b = -a;
                return 2 * b;
            }

            void main()
            {
                ${SETUP}
                int f = in0;
                int g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case const_in_int
        values
        {
            input int in0 = [ 0 | 1 | -2 | 4 ];
            output int out0 = [ 0 | -1 | 2 | -4 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (const in int a)
            {
                int b = -a;
                return 2 * b;
            }

            void main()
            {
                ${SETUP}
                int f = in0;
                int g = func(f);
                out0 = f + g;
                ${OUTPUT}
            }
        ""
    end

    case in_bool
        values
        {
            input bool in0 = [ true | false ];
            output bool out0 = [ true | true ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            bool func (in bool a)
            {
                a = !a;
                return a;
            }

            void main()
            {
                ${SETUP}
                bool f = in0;
                bool g = func(f);
                out0 = (f != g);
                ${OUTPUT}
            }
        ""
    end

    case out_bool
        values
        {
            input bool in0 = [ true | false ];
            output bool out0 = [ false | true ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            void func (out bool a)
            {
                a = false;
            }

            void main()
            {
                ${SETUP}
                bool f = true;
                func(f);
                out0 = (in0 == f);
                ${OUTPUT}
            }
        ""
    end

    case inout_bool
        values
        {
            input bool in0 = [ true | false ];
            output bool out0 = [ false | true ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            void func (inout bool a)
            {
                a = !a;
            }

            void main()
            {
                ${SETUP}
                bool f = true;
                func(f);
                out0 = (in0 == f);
                ${OUTPUT}
            }
        ""
    end

end # qualifiers

group declarations "Function Declarations"

    case void_vs_no_void
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func ();

            void main()
            {
                out0 = func() * in0;
                ${OUTPUT}
            }

            float func (void)
            {
                return -1.0;
            }
        ""
    end

    case in_vs_no_in
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float f);

            void main()
            {
                out0 = func(in0);
                ${OUTPUT}
            }

            float func (in float f)
            {
                return -f;
            }
        ""
    end

    case default_vs_explicit_precision
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float f);

            void main()
            {
                out0 = func(in0);
                ${OUTPUT}
            }

            float func (mediump float f)
            {
                return -f;
            }
        ""
    end

end # declarations

group overloading "Function Overloading"

    case user_func_arg_type_simple
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            float func (float a)
            {
                return -a;
            }

            int func (int a)
            {
                return -a;
            }

            void main()
            {
                out0 = func(in0) * float(func(-1));
                ${OUTPUT}
            }
        ""
    end

    case user_func_arg_float_types
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            float func (float a) { return -a; }
            vec2 func (vec2 a) { return a.yx; }
            vec3 func (vec3 a) { return a.xxx; }
            vec4 func (vec4 a) { return a.wwww; }

            void main()
            {
                out0 = func(func(func(func(vec4(in0)).xyz).xy).x);
                ${OUTPUT}
            }
        ""
    end

    case user_func_arg_int_types
        values
        {
            input int in0 = [ 0 | 1 | -2 | 6 ];
            output int out0 = [ 0 | -1 | 2 | -6 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (int a) { return -a; }
            ivec2 func (ivec2 a) { return a.yx; }
            ivec3 func (ivec3 a) { return a.xxx; }
            ivec4 func (ivec4 a) { return a.wwww; }

            void main()
            {
                ${SETUP}
                out0 = func(func(func(func(ivec4(in0)).xyz).xy).x);
                ${OUTPUT}
            }
        ""
    end

    case user_func_arg_bool_types
        values
        {
            input bool in0 = [ true | false ];
            output bool out0 = [ false | true ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            bool func (bool a) { return !a; }
            bvec2 func (bvec2 a) { return a.yx; }
            bvec3 func (bvec3 a) { return a.xxx; }
            bvec4 func (bvec4 a) { return a.wwww; }

            void main()
            {
                ${SETUP}
                out0 = func(func(func(func(bvec4(in0)).xyz).xy).x);
                ${OUTPUT}
            }
        ""
    end

    case user_func_arg_basic_types
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            float func (float a) { return -a; }
            vec2 func (vec2 a) { return a.yx; }
            vec3 func (vec3 a) { return a.xxx; }
            vec4 func (vec4 a) { return a.wwww; }
            int func (int a) { return -a; }
            ivec2 func (ivec2 a) { return a.yx; }
            ivec3 func (ivec3 a) { return a.xxx; }
            ivec4 func (ivec4 a) { return a.wwww; }
            bool func (bool a) { return !a; }
            bvec2 func (bvec2 a) { return a.yx; }
            bvec3 func (bvec3 a) { return a.xxx; }
            bvec4 func (bvec4 a) { return a.wwww; }

            void main()
            {
                ${SETUP}
                if (func(func(bvec4(false)).x))
                    out0 = func(in0) * float(func(-1));
                else
                    out0 = float(func(func(ivec4(func(func(func(vec4(0.5)).xyz).xy).xxxx)).xy).x);
                ${OUTPUT}
            }
        ""
    end

    case user_func_arg_complex_types
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            struct Pos { float a, b, c; };
            struct Line { Pos start, end; };

            float func (float a) { return -a; }
            float func (float a[4]) { return a[0] + a[3]; }
            vec2 func (vec2 a) { return a.yx; }
            vec3 func (vec3 a) { return a.xxx; }
            vec4 func (vec4 a) { return a.wwww; }
            vec4 func (vec4 a[4]) { return a[1] + a[2]; }
            int func (int a) { return -a; }
            ivec2 func (ivec2 a) { return a.yx; }
            ivec3 func (ivec3 a) { return a.xxx; }
            ivec4 func (ivec4 a) { return a.wwww; }
            bool func (bool a) { return !a; }
            bvec2 func (bvec2 a) { return a.yx; }
            bvec3 func (bvec3 a) { return a.xxx; }
            bvec4 func (bvec4 a) { return a.wwww; }
            Pos func (Pos a) { return a; }
            Line func (Line a) { return Line(a.end, a.start); }

            void main()
            {
                ${SETUP}
                float arr[4];
                vec4 arr2[4];
                out0 = func(arr) + func(arr2).x;
                if (func(func(bvec4(false)).x))
                    out0 = func(in0) * float(func(-1));
                else
                    out0 = float(func(func(ivec4(func(func(func(vec4(0.5)).xyz).xy).xxxx)).xy).x);
                ${OUTPUT}
            }
        ""
    end

    case user_func_arguments
        values
        {
            input float in0 = [ 0.0 | 1.0 | -2.0 | 2.5 ];
            output float out0 = [ 0.0 | -1.0 | 2.0 | -2.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                return -a;
            }

            float func (float a, float b)
            {
                return a * b;
            }

            void main()
            {
                out0 = func(in0) * func(-0.5, -2.0);
                ${OUTPUT}
            }
        ""
    end

    case builtin_sin
        values
        {
            input int in0 = [ -1 | 0 | 1 | 4 ];
            output int out0 = [ 1 | 0 | -1 | -4 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int sin(int a) { return -a; }

            void main()
            {
                ${SETUP}
                out0 = sin(in0);
                ${OUTPUT}
            }
        ""
    end

    case builtin_step
        values
        {
            input int in0 = [ -1 | 0 | 1 | 4 ];
            output int out0 = [ 1 | 0 | -1 | -4 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int step (float i, float j, int a) { return -a; }

            void main()
            {
                ${SETUP}
                out0 = step(0.0, 1.0, in0);
                ${OUTPUT}
            }
        ""
    end

    case array_size
        values
        {
            output float out0 = [ 1.0 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float f[3])
            {
                return f[0];
            }

            float func (float f[4])
            {
                return f[1];
            }

            void main ()
            {
                ${SETUP}
                float x[4];
                x[0] = -1.0;
                x[1] = 1.0;
                x[2] = x[3] = 0.0;
                out0 = func(x);
                ${OUTPUT}
            }
        ""
    end

end # overloading

group array_arguments "Arrays as Arguments"

    case local_in_float
        values
        {
            input vec4 in0 = [ vec4(0.0, 1.0, 2.0, -4.0) | vec4(-7.5, 12.125, -0.25, 16.0) ];
            output vec4 out0 = [ vec4(0.0, -1.0, -2.0, 4.0) | vec4(7.5, -12.125, 0.25, -16.0) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (in float a[4])
            {
                a[0] = -1.0;
                a[2] = -4.0;
                a[3] = -3.0 * a[1];
                return a[0];
            }

            void main()
            {
                float arr[4];
                arr[0] = in0.x;
                arr[1] = in0.y;
                arr[2] = in0.z;
                arr[3] = in0.w;
                float f = func(arr);
                out0 = f * vec4(arr[0], arr[1], arr[2], arr[3]);
                ${OUTPUT}
            }
        ""
    end

    case global_in_float
        values
        {
            input vec4 in0 = [ vec4(0.0, 1.0, 2.0, -4.0) | vec4(-7.5, 12.125, -0.25, 16.0) ];
            output vec4 out0 = [ vec4(0.0, -1.0, -2.0, 4.0) | vec4(7.5, -12.125, 0.25, -16.0) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (in float a[4])
            {
                a[0] = -1.0;
                a[2] = -4.0;
                a[3] = -3.0 * a[1];
                return a[0];
            }

            float arr[4];

            void main()
            {
                arr[0] = in0.x;
                arr[1] = in0.y;
                arr[2] = in0.z;
                arr[3] = in0.w;
                float f = func(arr);
                out0 = f * vec4(arr[0], arr[1], arr[2], arr[3]);
                ${OUTPUT}
            }
        ""
    end

    case local_in_int
        values
        {
            input ivec4 in0 = [ ivec4(0, 1, 2, -4) | ivec4(-7, -11, 13, 19) ];
            output ivec4 out0 = [ ivec4(0, -1, -2, 4) | ivec4(7, 11, -13, -19) ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (in int a[4])
            {
                a[0] = -1;
                a[2] = -4;
                a[3] = -3 * a[1];
                return a[0];
            }

            void main()
            {
                ${SETUP}
                int arr[4];
                arr[0] = in0.x;
                arr[1] = in0.y;
                arr[2] = in0.z;
                arr[3] = in0.w;
                int f = func(arr);
                out0 = f * ivec4(arr[0], arr[1], arr[2], arr[3]);
                ${OUTPUT}
            }
        ""
    end

    case global_in_int
        values
        {
            input ivec4 in0 = [ ivec4(0, 1, 2, 4) | ivec4(-7, -11, 13, 19) ];
            output ivec4 out0 = [ ivec4(0, -1, -2, -4) | ivec4(7, 11, -13, -19) ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (in int a[4])
            {
                a[0] = -1;
                a[2] = -4;
                a[3] = -3 * a[1];
                return a[0];
            }

            int arr[4];

            void main()
            {
                ${SETUP}
                arr[0] = in0.x;
                arr[1] = in0.y;
                arr[2] = in0.z;
                arr[3] = in0.w;
                int f = func(arr);
                out0 = f * ivec4(arr[0], arr[1], arr[2], arr[3]);
                ${OUTPUT}
            }

        ""
    end

    case local_in_bool
        values
        {
            input bvec4 in0 = [ bvec4(true, true, false, true) | bvec4(false, false, false, false) ];
            output bvec4 out0 = [ bvec4(false, false, true, false) | bvec4(true, true, true, true) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            bool func (in bool a[4])
            {
                a[0] = false;
                a[2] = true;
                a[3] = !a[1];
                return a[0];
            }

            void main()
            {
                ${SETUP}
                bool arr[4];
                arr[0] = !in0.x;
                arr[1] = !in0.y;
                arr[2] = !in0.z;
                arr[3] = !in0.w;
                func(arr);
                out0 = bvec4(arr[0], arr[1], arr[2], arr[3]);
                ${OUTPUT}
            }
        ""
    end

    case global_in_bool
        values
        {
            input bvec4 in0 = [ bvec4(true, true, false, true) | bvec4(false, false, false, false) ];
            output bvec4 out0 = [ bvec4(false, false, true, false) | bvec4(true, true, true, true) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            bool func (in bool a[4])
            {
                a[0] = false;
                a[2] = true;
                a[3] = !a[1];
                return a[0];
            }

            bool arr[4];

            void main()
            {
                ${SETUP}
                arr[0] = !in0.x;
                arr[1] = !in0.y;
                arr[2] = !in0.z;
                arr[3] = !in0.w;
                func(arr);
                out0 = bvec4(arr[0], arr[1], arr[2], arr[3]);
                ${OUTPUT}
            }
        ""
    end

    case test_helpers
        desc "Check that helper functions are supported properly."
        values
        {
            input vec4 in0 = [ vec4(0.0, 1.0, 2.0, -4.0) | vec4(-7.5, 12.125, -0.25, 16.0) ];
            output float out0 = [ 1.0 | 1.0 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            vec4 get (in float arr[4]);
            void set (out float arr[4], vec4 val);
            void negate (inout float arr[4]);
            bool test (in float arr[4], vec4 ref);
            bool isEqual (in float a[4], in float b[4]);

            void main()
            {
                float arr[4];
                set(arr, in0);
                negate(arr);
                out0 = float(test(arr, -in0));
                ${OUTPUT}
            }

            float absDiff (vec4 a, vec4 b) { vec4 d = abs(a - b); return max(max(d.x, d.y), max(d.z, d.w)); }
            vec4 get (in float arr[4]) { return vec4(arr[0], arr[1], arr[2], arr[3]); }
            void set (out float arr[4], vec4 val) { arr[0] = val.x; arr[1] = val.y; arr[2] = val.z; arr[3] = val.w; }
            void negate (inout float arr[4]) { set(arr, -get(arr)); }
            bool test (in float arr[4], vec4 ref) { return (absDiff(get(arr), ref) < 0.1); }
            bool isEqual (in float a[4], in float b[4]) { return (absDiff(get(a), get(b)) < 0.1); }
        ""
    end

    case copy_local_in_on_call
        desc "Check that local 'in' arguments are copied on call and don't alias."
        values
        {
            input vec4 in0 = [ vec4(0.0, 1.0, 2.0, -4.0) | vec4(-7.5, 12.125, -0.25, 16.0) ];
            output vec4 out0 = [ vec4(0.0, -1.0, -2.0, 4.0) | vec4(7.5, -12.125, 0.25, -16.0) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            vec4 get (in float arr[4]);
            void set (out float arr[4], vec4 val);
            void negate (inout float arr[4]);
            bool test (in float arr[4], vec4 ref);
            bool isEqual (in float a[4], in float b[4]);

            float func (in float a[4], in float b[4])
            {
                a[0] = 2.123;
                a[2] = -4.123;
                return isEqual(a, b) ? 1.0 : -1.0;
            }

            void main()
            {
                float arr[4];
                set(arr, in0);
                out0 = in0 * func(arr, arr);
                ${OUTPUT}
            }

            float absDiff (vec4 a, vec4 b) { vec4 d = abs(a - b); return max(max(d.x, d.y), max(d.z, d.w)); }
            vec4 get (in float arr[4]) { return vec4(arr[0], arr[1], arr[2], arr[3]); }
            void set (out float arr[4], vec4 val) { arr[0] = val.x; arr[1] = val.y; arr[2] = val.z; arr[3] = val.w; }
            void negate (inout float arr[4]) { set(arr, -get(arr)); }
            bool test (in float arr[4], vec4 ref) { return (absDiff(get(arr), ref) < 0.1); }
            bool isEqual (in float a[4], in float b[4]) { return (absDiff(get(a), get(b)) < 0.1); }
        ""
    end

    case copy_global_in_on_call
        desc "Check that global 'in' arguments are copied on call and don't alias."
        values
        {
            input vec4 in0 = [ vec4(0.0, 1.0, 2.0, -4.0) | vec4(-7.5, 12.125, -0.25, 16.0) ];
            output vec4 out0 = [ vec4(0.0, -1.0, -2.0, 4.0) | vec4(7.5, -12.125, 0.25, -16.0) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            vec4 get (in float arr[4]);
            void set (out float arr[4], vec4 val);
            void negate (inout float arr[4]);
            bool test (in float arr[4], vec4 ref);
            bool isEqual (in float a[4], in float b[4]);

            float func (in float a[4], in float b[4])
            {
                a[0] = 2.123;
                a[2] = -4.123;
                return isEqual(a, b) ? 1.0 : -1.0;
            }

            float arr[4];

            void main()
            {
                set(arr, in0);
                out0 = in0 * func(arr, arr);
                ${OUTPUT}
            }

            float absDiff (vec4 a, vec4 b) { vec4 d = abs(a - b); return max(max(d.x, d.y), max(d.z, d.w)); }
            vec4 get (in float arr[4]) { return vec4(arr[0], arr[1], arr[2], arr[3]); }
            void set (out float arr[4], vec4 val) { arr[0] = val.x; arr[1] = val.y; arr[2] = val.z; arr[3] = val.w; }
            void negate (inout float arr[4]) { set(arr, -get(arr)); }
            bool test (in float arr[4], vec4 ref) { return (absDiff(get(arr), ref) < 0.1); }
            bool isEqual (in float a[4], in float b[4]) { return (absDiff(get(a), get(b)) < 0.1); }
        ""
    end

    case copy_local_inout_on_call
        desc "Check that local 'in' arguments are copied on call and don't alias."
        values
        {
            input vec4 in0 = [ vec4(0.0, 1.0, 2.0, -4.0) | vec4(-7.5, 12.125, -0.25, 16.0) ];
            output vec4 out0 = [ vec4(0.0, -1.0, -2.0, 4.0) | vec4(7.5, -12.125, 0.25, -16.0) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            vec4 get (in float arr[4]);
            void set (out float arr[4], vec4 val);
            void negate (inout float arr[4]);
            bool test (in float arr[4], vec4 ref);
            bool isEqual (in float a[4], in float b[4]);

            float func (inout float a[4], inout float b[4])
            {
                negate(a);
                return isEqual(a, b) ? 1.0 : -1.0;
            }

            void main()
            {
                float arr[4];
                set(arr, in0);
                float m = func(arr, arr); // returns -1.0
                float n = float(test(arr, in0) || test(arr, -in0));
                out0 = in0 * m * n;
                ${OUTPUT}
            }

            float absDiff (vec4 a, vec4 b) { vec4 d = abs(a - b); return max(max(d.x, d.y), max(d.z, d.w)); }
            vec4 get (in float arr[4]) { return vec4(arr[0], arr[1], arr[2], arr[3]); }
            void set (out float arr[4], vec4 val) { arr[0] = val.x; arr[1] = val.y; arr[2] = val.z; arr[3] = val.w; }
            void negate (inout float arr[4]) { set(arr, -get(arr)); }
            bool test (in float arr[4], vec4 ref) { return (absDiff(get(arr), ref) < 0.1); }
            bool isEqual (in float a[4], in float b[4]) { return (absDiff(get(a), get(b)) < 0.1); }
        ""
    end

    case copy_global_inout_on_call
        desc "Check that global 'in' arguments are copied on call and don't alias."
        values
        {
            input vec4 in0 = [ vec4(0.0, 1.0, 2.0, -4.0) | vec4(-7.5, 12.125, -0.25, 16.0) ];
            output vec4 out0 = [ vec4(0.0, -1.0, -2.0, 4.0) | vec4(7.5, -12.125, 0.25, -16.0) ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            vec4 get (in float arr[4]);
            void set (out float arr[4], vec4 val);
            void negate (inout float arr[4]);
            bool test (in float arr[4], vec4 ref);
            bool isEqual (in float a[4], in float b[4]);

            float func (in float a[4], in float b[4])
            {
                negate(a);
                return isEqual(a, b) ? 1.0 : -1.0;
            }

            float arr[4];

            void main()
            {
                set(arr, in0);
                float m = func(arr, arr); // returns -1.0
                float n = float(test(arr, in0) || test(arr, -in0));
                out0 = in0 * m * n;
                ${OUTPUT}
            }

            float absDiff (vec4 a, vec4 b) { vec4 d = abs(a - b); return max(max(d.x, d.y), max(d.z, d.w)); }
            vec4 get (in float arr[4]) { return vec4(arr[0], arr[1], arr[2], arr[3]); }
            void set (out float arr[4], vec4 val) { arr[0] = val.x; arr[1] = val.y; arr[2] = val.z; arr[3] = val.w; }
            void negate (inout float arr[4]) { set(arr, -get(arr)); }
            bool test (in float arr[4], vec4 ref) { return (absDiff(get(arr), ref) < 0.1); }
            bool isEqual (in float a[4], in float b[4]) { return (absDiff(get(a), get(b)) < 0.1); }
        ""
    end

#            vec4 get (in float arr[4]);
#            void set (out float arr[4], vec4 val);
#            void negate (inout float arr[4]);
#            bool test (in float arr[4], vec4 ref);
#            bool isEqual (in float a[4], in float b[4]);

#            float absDiff (vec4 a, vec4 b) { vec4 d = abs(a - b); return max(max(d.x, d.y), max(d.z, d.w)); }
#            vec4 get (in float arr[4]) { return vec4(arr[0], arr[1], arr[2], arr[3]); }
#            void set (out float arr[4], vec4 val) { arr[0] = val.x; arr[1] = val.y; arr[2] = val.z; arr[3] = val.w; }
#            void negate (inout float arr[4]) { set(arr, -get(arr)); }
#            bool test (in float arr[4], vec4 ref) { return (absDiff(get(arr), ref) < 0.1); }
#            bool isEqual (in float a[4], in float b[4]) { return (absDiff(get(a), get(b)) < 0.1); }

end # array_arguments

#group qualifiers "Function Parameter Qualifiers"
#
#end # qualifiers

group control_flow "Control Flow In Functions"

    case simple_return
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                return -a;
                a = a * -1.0;
                return 1.0;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case return_in_if
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                if (a != 0.0)
                    return -a;
                return 1.0;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case return_in_else
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                if (a == 0.0)
                    return 1.0;
                else
                    return -a;
                return 1.0;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case return_in_loop
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                for (int i = 0; i < 1; i++)
                    return -a;
                return 1.0;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case return_in_loop_if
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                for (int i = 0; i < 3; i++)
                {
                    if (i == 1)
                        return a;
                    else if (i > 1)
                        return -1.0;
                    a = -a;
                }
                return 1.0;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case return_after_loop
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                for (int i = 0; i < 5; i++)
                    a = -a;
                return a;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case return_after_break
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                for (int i = 0; i < 6; i++)
                {
                    a = -a;
                    if (i == 4)
                        break;
                }
                return a;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case return_after_continue
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                for (int i = 0; i < 6; i++)
                {
                    if (i == 4)
                        continue;
                    a = -a;
                }
                return a;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case return_in_nested_loop
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                for (int i = 0; i < 6; i++)
                {
                    a = -a;
                    for (int j = 0; j < 4; j++)
                    {
                        a = -a;
                        if (i == 1)
                            return a;
                    }
                    if (i == 4)
                        return 1.0;
                }
                return 1.0;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case return_after_loop_sequence
        require full_glsl_es_100_support

        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                int i;
                for (i = 0; i < 6; i++) // negate a
                {
                    a = -a;
                    if (i == 4)
                        a = -a;
                }

                for (; i < 10; i++) // keep a
                {
                    if (i == 8)
                        continue;
                    else if (i == 9)
                        break;
                    a = -a;
                }

                return a;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

    case mixed_return_break_continue
        values
        {
            input float in0 = [ -0.5 | 1.5 ];
            output float out0 = [ 0.5 | -1.5 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float a)
            {
                for (int i = 0; i < 6; i++)
                {
                    if (i == 0)
                        continue;
                    else if (i == 1)
                    {
                    }
                    else if (i == 3)
                        break;
                    else
                        return a;
                    a = -a;
                }

                return 1.0;
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

end # control_flow

group misc "Miscellaneous"

    case multi_arg_float
        values
        {
            input vec4 in0 = [ vec4(0.0, 1.0, -2.0, 0.5) | vec4(2.0, 2.5, 4.0, -7.0) ];
            output float out0 = [ 0.5 | -1.5 ]; # -sum(in0)
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            float sum(vec4 v) { return (v.x + v.y + v.z + v.w); }

            float func (float a, vec3 b, vec2 c, vec2 d, vec4 e)
            {
                return -sum(vec4(a, b) + vec4(c, d)) + sum(e);
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0.y, in0.xzw, in0.wz, in0.yx, in0);
                ${OUTPUT}
            }
        ""
    end

    case multi_arg_int
        values
        {
            input ivec4 in0 = [ ivec4(-1, 0, 2, 2) | ivec4(1, 4, -8, 2) ];
            output int out0 = [ -3 | 1 ];
        }

        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int sum(ivec4 v) { return (v.x + v.y + v.z + v.w); }

            int func (int a, ivec3 b, ivec2 c, ivec2 d, ivec4 e)
            {
                return -sum(ivec4(a, b) + ivec4(c, d)) + sum(e);
            }

            void main()
            {
                ${SETUP}
                out0 = func(in0.y, in0.xzw, in0.wz, in0.yx, in0);
                ${OUTPUT}
            }
        ""
    end

    case argument_eval_order_1
        values
        {
            input int in0 = [  0 | 1 | 3 | 5 ];
            output int out0 = [ -1 | 5 | 11 | 17 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            int func (float a, int b, bool c, int d)
            {
                if (c)
                    return b + int(a) + d;
                else
                    return -1;
            }

            void main ()
            {
                ${SETUP}
                float v0 = float(in0);
                int v1 = in0;
                out0 = func((v0 += 1.0), v1++, (v0 > 1.5), v1);
                ${OUTPUT}
            }
        ""
    end

    case argument_eval_order_2
        values
        {
            input int in0 = [ 0 | -1 | 3 | 5 ];
            output int out0 = [ 3 | -1 | 9 | 13 ];
        }

        both ""
            precision mediump float;
            ${DECLARATIONS}

            int g;

            int modG (int v)
            {
                g += v;
                return v;
            }

            int func (float a, int b, bool c, int d)
            {
                if (c)
                    return b + int(a) + d;
                else
                    return -1;
            }

            void main ()
            {
                ${SETUP}
                out0 = func(float(g = in0), modG(2), --g > 0, g);
                ${OUTPUT}
            }
        ""
    end

    case missing_returns
        values
        {
            input float in0 = [ 1.0 | 2.0 | 3.0 ];
            output float out0 = [ -1.0 | -2.0 | -3.0 ];
        }
        both ""
            // Note specification says that returned value is undefined if no return
            // statement has been executed. In this case func() is called only with
            // positive values.
            precision mediump float;
            ${DECLARATIONS}

            float func (float f)
            {
                if (f > 0.0)
                    return -f;
            }

            void main ()
            {
                ${SETUP}
                out0 = func(in0);
                ${OUTPUT}
            }
        ""
    end

end # misc

group invalid "Invalid Functions"
    case break_in_body
        expect compile_fail
        both ""
            precision mediump float;

            void func ()
            {
                break;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case continue_in_body
        expect compile_fail
        both ""
            precision mediump float;

            void func ()
            {
                continue;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case return_value_from_void_function
        expect compile_fail
        both ""
            precision mediump float;

            void func ()
            {
                return 1.0;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case extra_arguments
        expect compile_fail
        both ""
            precision mediump float;

            void func (float f)
            {
            }

            void main ()
            {
                func(1.0, 2.0);
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case missing_arguments
        expect compile_fail
        both ""
            precision mediump float;

            void func (float f)
            {
            }

            void main ()
            {
                func();
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case missing_argument_type
        expect compile_fail
        both ""
            precision mediump float;

            void func (in f)
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case argument_basetype_mismatch
        expect compile_fail
        both ""
            precision mediump float;
            precision mediump int;

            void func (float f)
            {
            }

            void main ()
            {
                func(2);
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case argument_scalar_vector_mismatch
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec2 f)
            {
            }

            void main ()
            {
                func(2.0);
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case argument_vector_size_mismatch
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f)
            {
            }

            void main ()
            {
                func(vec2(2.0));
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case duplicate_function
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f);

            void func (vec3 f)
            {
            }

            void func (vec3 f)
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case prototype_mismatch_return_type
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f);

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }

            float func (vec3 f)
            {
                return f.x;
            }
        ""
    end

    case prototype_unspecified_array_size
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f[]);

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case call_mismatch_argument_array_size
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f[3]);
            void func (vec3 f[3])
            {
            }

            void main ()
            {
                vec3 array[4];
                func(array);
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case prototype_mismatch_argument_const
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f);
            void func (const vec3 f)
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case prototype_mismatch_argument_array_const
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f[3]);
            void func (const vec3 f[3])
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case prototype_mismatch_array_inout
        expect compile_fail
        both ""
            precision mediump float;

            void func (out vec3 f);
            void func (inout vec3 f)
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case missing_return_type
        expect compile_fail
        both ""
            precision mediump float;

            func (float f);
            func (inout vec3 f[3])
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case call_before_definition
        expect compile_fail
        both ""
            precision mediump float;

            void main ()
            {
                func(1.0);
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }

            void func (float f)
            {
            }

        ""
    end

    case return_array_in_struct
        expect compile_fail
        both ""
            precision mediump float;

            struct Foo
            {
                float f;
                float arr[2];
            };

            Foo func ()
            {
                Foo f;
                f.f = 1.0;
                f.arr[0] = 2.0;
                return f;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case argument_precision_overload
        expect compile_fail
        both ""
            precision mediump float;

            float func (lowp float f)
            {
                return f;
            }

            float func (mediump float f)
            {
                return f;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case argument_in_out_overload
        expect compile_fail
        both ""
            precision mediump float;

            void func (in float f)
            {
            }

            void func (out float f)
            {
                f = 1.0;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case argument_in_inout_overload
        expect compile_fail
        both ""
            precision mediump float;

            void func (in float f)
            {
            }

            void func (inout float f)
            {
                f = -f;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case argument_out_inout_overload
        expect compile_fail
        both ""
            precision mediump float;

            void func (out float f)
            {
                f = -1.0;
            }

            void func (inout float f)
            {
                f = -f;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case return_type_overload
        expect compile_fail
        both ""
            precision mediump float;

            float func (float f)
            {
                return f;
            }

            int func (float f)
            {
                return int(f);
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case return_type_precision_overload
        expect compile_fail
        both ""
            precision mediump float;

            lowp float func (float f)
            {
                return f;
            }

            mediump float func (float f)
            {
                return f;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case return_type_const_overload
        expect compile_fail
        both ""
            precision mediump float;

            float func (float f)
            {
                return f;
            }

            const float func (float f)
            {
                return f;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case return_without_value
        expect compile_fail
        both ""
            precision mediump float;

            float func (float f)
            {
                return;
                return 1.0;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case local_function_prototype
        expect compile_fail
        both ""
            precision mediump float;

            void main ()
            {
                float func (float f);

                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case local_function_definition
        expect compile_fail
        both ""
            precision mediump float;

            void main ()
            {
                float func (float f)
                {
                    return 1.0;
                }

                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case name_type_conflict
        expect compile_fail
        both ""
            precision mediump float;

            struct foo { float a; }

            float foo (float f)
            {
                return 1.0;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case const_overload
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f)
            {
            }

            void func (const vec3 f)
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case uniform_local
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f)
            {
                uniform float u;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case varying_local
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f)
            {
                varying float v;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case attribute_local
        expect compile_fail
        both ""
            precision mediump float;

            void func (vec3 f)
            {
                attribute float a;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case uniform_argument
        expect compile_fail
        both ""
            precision mediump float;

            void func (uniform vec3 f)
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case varying_argument
        expect compile_fail
        both ""
            precision mediump float;

            void func (varying vec3 f)
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case attribute_argument
        expect compile_fail
        both ""
            precision mediump float;

            void func (attribute vec3 f)
            {
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case uniform_return_type
        expect compile_fail
        both ""
            precision mediump float;

            uniform float func (vec3 f)
            {
                return f.x;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case varying_return_type
        expect compile_fail
        both ""
            precision mediump float;

            varying float func (vec3 f)
            {
                return f.x;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case attribute_return_type
        expect compile_fail
        both ""
            precision mediump float;

            attribute float func (vec3 f)
            {
                return f.x;
            }

            void main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case main_invalid_return_type
        expect compile_fail
        both ""
            precision mediump float;

            float main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case main_has_arguments
        expect compile_fail
        both ""
            precision mediump float;

            void main (float f)
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case main_missing_return_type
        expect compile_fail
        both ""
            precision mediump float;

            main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case write_const_arg
        expect compile_fail
        both ""
            precision mediump float;

            func (const float f)
            {
                f = 1.0;
            }

            main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case write_const_array_arg
        expect compile_fail
        both ""
            precision mediump float;

            func (const float f[3])
            {
                f[0] = 1.0;
            }

            main ()
            {
                ${POSITION_FRAG_COLOR} = vec4(1.0);
            }
        ""
    end

    case modify_const_arg
        expect compile_fail
        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (const int a)
            {
                a = -a;
                return 2 * a;
            }

            void main()
            {
                ${POSITION_FRAG_COLOR} = vec4(func(3));
            }
        ""
    end

    case init_const_local_from_const_arg
        expect compile_fail
        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (const int a)
            {
                const int b = -a;
                return 2 * b;
            }

            void main()
            {
                ${POSITION_FRAG_COLOR} = vec4(func(3));
            }
        ""
    end

    case array_size_from_const_arg
        expect compile_fail
        both ""
            precision mediump float;
            precision mediump int;
            ${DECLARATIONS}

            int func (const int a)
            {
                int arr[a];
                arr[1] = 3;
                return arr[1];
            }

            void main()
            {
                ${POSITION_FRAG_COLOR} = vec4(func(3));
            }
        ""
    end

    case double_declare
        expect compile_fail
        both ""
            precision mediump float;
            ${DECLARATIONS}

            float func (float f);
            float func (float f);

            float func (float f)
            {
                return -f;
            }

            void main()
            {
                ${POSITION_FRAG_COLOR} = vec4(func(1.0));
            }
        ""
    end

end # invalid