Forbid array comparisons in GLSL 1.10

This causes the following tests to pass:

    glslparsertest/shaders/array3.frag

Begin handling array declarations

This causes the following tests to pass:

    glslparsertest/shaders/array4.frag
    glslparsertest/shaders/array5.frag

This causes the following tests to fail.  These shaders were
previously failing to compile, but they were all failing for the wrong
reasons.

    glslparsertest/shaders/array3.frag

Implement array type handling

Since all glsl_type objects are flyweights, support is added to track all
known array types.  This accounts for most of the changes.

Add proper wrappers so that C++ code can use hash_table type

Initial bits of constant expression evaluator

Currently only works for constants.  The rest will be added later.

Add some array declaration tests

Arrays are not allowed as vertex shader inputs in GLSL 1.30 either

Add several tests for vertex shader attributes

Add some checking for vertex shader inputs / attributes

This causes the following tests to pass:

     glslparsertest/shaders/attribute.vert
     glslparsertest/shaders/attribute1.vert
     glslparsertest/shaders/attribute2.vert

Add parser support for texture rectangle types

Use call-by-reference for apply_implicit_conversion

I'm not sure if this is a win or not.  It makes the code in
apply_implicit_conversion more clear, but it obscures the fact that it
may change the pointers.

Apply implicit conversions to ?: operator

Apply implicit conversions to equality operators

Apply implicit conversions to relational operators

Apply implicit conversions to arithmetic operators

Add glsl_type::is_array and glsl_type::is_float queries

Allow single-component constructors

This causes the following tests to pass:

    glslparsertest/shaders/CorrectVersion.V110.frag
    shaders/glsl-vs-sqrt-zero.frag
    shaders/glsl-vs-sqrt-zero.vert

This causes the following tests to fail.  These shaders were
previously failing to compile, but they were all failing for the wrong
reasons.

    glslparsertest/shaders/attribute1.vert
    glslparsertest/shaders/attribute2.vert
    glslparsertest/shaders/main2.vert

Add tests for :? operator

Implement HIR conversion for ?: operator

Add generate_temporary to generate an anonymous temporary

Implement HIR conversion for ast_nequal and ast_equal

The following tests now pass:

    shaders/glsl-unused-varying.frag
    shaders/glsl-fs-sqrt-branch.frag

Add missing break-statements in ast_expression::hir

The ast_conditional case was flowing right into ast_pre_inc.

Implement ir_if (for if-statments) and conversion from AST

The following tests now pass:

    glslparsertest/shaders/if1.frag
    glslparsertest/shaders/if2.frag

The following tests that used to pass now fail.  It appears that most
of these fail because ast_nequal and ast_equal are not converted to HIR.

    shaders/glsl-unused-varying.frag
    shaders/glsl-fs-sqrt-branch.frag

Add several simple if-statement tests

Add a variable to the symbol table after processing the initializer

Trivial code cleanup in ir_dereference::is_lvalue

Add support for builtin radians() and degrees().

Add definitions for 1.10 built-in uniforms for ff state.

Don't let swizzles with duplicated components be considered as lvalues.

Fixes swizzle2.frag.

Reject main() declarations with a non-void return value.

Fixes main3.vert.

Reject variables marked with attribute in the fragment shader.

Fixes attribute.frag.

Add the instruction for the parameter variable declarations of builtin funcs.

Matches constructor setup, but I'm not really sure why we make the
variable twice.

Implement dot() builtin.

Implement exp2() and log2(), and make ir_unop_exp and ir_unop_log be base e.

Making the base e functions IR operations is not a clear win.  i965
doesn't support it, it doesn't look like r600 supports it, but r500
does. It should be easily supportable as a lowering pass, though.

Implement builtin length() function.

Add sqrt() builtin as an IR operation.

Following a discussion in #dri-devel, I think this makes more sense
than implementing it as RSQ RCP CMP as Mesa did.  The i965 has a
hardware sqrt that should work, and AMD is suppposed to be able to
implement it as RSQ RCP with an alternate floating point mode so that
the 0.0 case is handled like we want.

Add builtin pow() function.

Add support for builtin deprecated fs varyings.

Fixes glsl-color.frag.

Implement some binary gentype builtin functions.

Implement additional unary gentype builtins.

Implement the first builtin function: exp().

Generate more correctly diagnostics from some invalid initializers

Initial bits to process initializers in variable declarations

As a result, the following tests pass:

    glslparsertest/array3.frag
    glslparsertest/CGStandardLibrary.frag
    glslparsertest/ConstantConversions.frag
    glslparsertest/constructor1.frag
    glslparsertest/constructor2.frag
    glslparsertest/constructor3.V110.frag
    glslparsertest/dataType4.frag
    glslparsertest/dataType5.frag
    glslparsertest/dataType13.frag
    glslparsertest/dataType19.frag
    glslparsertest/matrix.V110.frag
    glslparsertest/parser7.frag
    glslparsertest/swizzle3.frag

The following tests also pass, but it is just by dumb luck.  In these
cases the shader fails to compile, but it fails for the wrong reason:

    glslparsertest/array6.frag
    glslparsertest/comma2.frag
    glslparsertest/conditional1.frag
    glslparsertest/conditional2.frag
    glslparsertest/conditional3.frag
    glslparsertest/constFunc.frag
    glslparsertest/ParseTest3.frag
    glslparsertest/ParseTest4.frag
    glslparsertest/varying3.frag
    glslparsertest/parser8.frag (also segfaults)
    glslparsertest/parser9.frag (also segfaults)

The following tests now fail.  As far as I can tell, these are all
cases where the shader was failing to compile, but it was failing for
the wrong reason.

    glslparsertest/CorrectMatComma.frag
    glslparsertest/CorrectModule.frag
    glslparsertest/CorrectSwizzle2.vert
    glslparsertest/shaders/glsl-fs-bug25902.frag

Reject uniform initializers in GLSL 1.10 mode

Now both glslparsertest/dataType3.frag and glslparsertest/dataType2.frag pass.

Set variables with the sampler base type to read only.

Fixes increment3.frag.

Set the var_type for arrays to error_type until it's implemented.

"Fixes" segfaults in array tests.

Add support for ast_to_hir of pre inc/dec.

Add support for ast_to_hir of post inc/dec.

Make read-only variables not be considered lvalues.

This should fix tests trying to assign to builtin "in" variables, and
will also be relied on for post_inc/dec handling.

Add constructors for immediate hir constants.

This will make ast_to_hir for inc/dec easier.

Add support for %= in ast_to_hir.

Factor out assignment setup in ast_to_hir.

IR print visitor: Print out something for the operator.

IR print visitor: Print expressions a little better

Initial implementation of constructor handling code

All of the scalar, vector, and matrix constructors *except* "from
bool" constructors should be handled.  Array and structure
constructors are also not yet handled.

IR print visitor: print function calls

Add hack ir_call::callee_name to get the name of the called function

Be sure to set ir_function_signature::definition for constructors

Add ir_call::iterator to iterate over actual parameters

Add missing parenthesis in foreach_iter

This allows uses like 'foreach_iter(exec_list_iterator, iter, *list_ptr)'.

Add some simple constructor tests

Add unary operator to convert unsigned integer to float

Slightly change the representation of numeric types

For numeric types, vector_elements and matrix_columns must be at least
1.  Previously matrix_columns was 0 for vectors, and both were 0 for
scalars.  This change simplifies things in some places.

Add glsl_type::components to query total number of components in a type

Replace remaining use of is_error_type with glsl_type::is_error

Replace remaining uses of is_numeric_base_type with glsl_type::is_numeric

Replace is_integer_base_type macro with glsl_type::is_integer method

Make glsl_*_type glsl_type class static data

Use glsl_type::is_error instead of comparison with glsl_error_type pointer

Move swizzles out of ir_dereference and into their own class.

Also turn generate_swizzle into a static "create" method of the new
class; we'll want to use it for the IR reader as well.

Signed-off-by: Ian Romanick <ian.d.romanick@intel.com>

Add new abstract ir_rvalue class; rework accordingly.

Signed-off-by: Ian Romanick <ian.d.romanick@intel.com>

Replace "mode" type tag with virtual as_foo() downcasting functions.

These should work well even in a non-flat IR hierarchy.

Signed-off-by: Ian Romanick <ian.d.romanick@intel.com>

Merge branch 'anholt'

IR print visitor: Finish printing constants

IR print visitor: Remove most of the newlines from the printed output

This makes it a lot easier to read... if you have a really wide display.

IR print visitor: print expressions

Not quite complete.  The operator is not yet printed.

IR print visitor: print ir_dereference instructions

Also make a slight change to ir_variable.  The ir_dereference tracks
the number of nested dereferences.  If an ir_variable is visited and
the count is non-zero, just print the name of the variable.

IR print visitor: Less newlines when printing ir_variables

Fix assignment operators: *=, /=, +=, -=.

Basically, replace everything different from operator_assign other
than the creation of the rhs value from the lvalue and rvalue with the
contents of operator_assign.  Fixes a segfault in
CorrectSwizzle1.frag, and fixes parser10.frag.

Before generating HIR for user code, generate constructors for built-in types

Add dereference constructor for array element dereferences

This should have gone in before the previous commit.

Add functions to generate constructors for built-in types.

Currently only vector and matrix types are supported.  Structure types will be
added later.

Fix up the operator printing for the logic or and beyond, check array bounds.

Merge branch 'anholt'

Set up fragment shader builtin variables.

Make the standalone parser return an exit code so we can automate testing.

More matrix compilation tests

Merge branch 'kwg'

Fix matrix dimensioning

Newb GL mistake: matrices in GL are column-major.  This means that
vector_elements is the number of rows.  Making these changes causes
matrix-08.glsl to pass.

Use glsl_type::row_type and glsl_type::column type in arithmetic_result_type

This substantially clarifies the code for matching matrix types.  It
also eliminates some uses of glsl_type member data.

Replace several glsl_type field comparisons with a single pointer comparison

This simplifies the process of matching function parameter types.
More simplifications are probably possible here, but arrays and
structures need to be implemented first.

Add queries to get the glsl_type of a row or column of a matrix

Widen num_components to handle vec4 correctly.

Typo fixes: de/re/ference.

Replace several field comparisons with a single pointer comparison

The only way the specified type fields can match is if the types are the
same.  Previous tests (and assertions) have filtered away all other possible
cases.

Remove unused _mesa_glsl_get_vector_type

This function has been completely replaced by glsl_type::get_instance.

Use glsl_type::get_instance instead of _mesa_glsl_get_vector_type

Use glsl_type::get_instance instead of symbol table look-up

Add some matrix math tests

Add glsl_type::get_instance method

Gets the singleton corresponding to a particular scalar, vector, or
matrix type.