Constant-fold constructor parameters after type conversion

This causes the following tests to pass:

         glslparsertest/shaders/CorrectMatComma2.frag

One of the incorrect errors in glslparsertest/shaders/CorrectComma.frag
is also eliminated.

Make constructors with all constant parameters generate in-line constants

Construct an ir_constant from a list of ir_constant values

Add queries to determine if a node is a list sentinal

Add methods to ir_constant to get scalar components in a particular type

Derefence components of constants smarter

During generation of calls to constructors, derefernce constants by creating
new constants instead of creating dereferences.

Construct an ir_constant from a scalar component of another ir_constant

Use ir_unop_b2i when converting a bool-to-int and add a missing break

The previous code just had dumb cut-and-paste errors.

Remove linux_list in favor of exec_list.

Add forgotten autogenerated EXT_texture_array_fs folder.

Implement 1.30 int/uint variants of min/max/clamp.

texture_builtins.py: The unsigned integer type is "uint", not "unsigned"

This doesn't actually affect anything yet, but is good to fix anyway.

Implement 1.30 hyperbolic trig builtins (sinh, cosh, tanh).

Implement 1.20 'transpose' builtin.

Implement 1.20 'outerProduct' builtin.

Implement matrixCompMult builtin - the last of the 110 builtins.

ir_constant_visitor: Add support for dFdx and dFdy operations.

If the argument is a constant expression...it's not changing per pixel,
so the result is simply 0.

Implement dFdx, dFdy, and fwidth via new expression opcodes.

Implement 'refract' builtin.

Fix some typing issues in asin.

CorrectFunction.vert now passes.

Add a completely bogus implementation of the noise[1234] builtins.

idr suggested this.  Eventually we will need a real one.

Implement 'acos' builtin.

This is tacked on to the end of the 'asin' file because acos calls asin,
whech means asin needs to be defined first.  Alphabetical order fail.

Implement 'faceforward' builtin.

Implement 'distance' builtin.

Add remaining signatures for 'clamp' builtin.

Add remaining signatures for 'max' builtin.

Add remaining signatures for 'min' builtin.

Add remaining signatures for 'mod' builtin.

ir_function_cloning_visitor: Add support for ir_texture.

Don't call _mesa_glsl_initialize_types for every builtin function.

This was clearly wrong; types are now only initialized once.

Only initialize types after #extension directives have been processed.

Since _mesa_glsl_initialize_types add types for various extensions, we
can't call it until after processing "#extension foo : disable" lines.

Fixes tex_rect_02.frag.

Commit output of texture_builtins.py and refresh builtin_function.cpp.

texture_builtins.py: Support the EXT_texture_array extension.

Add EXT_texture_array support.

generate_builtins.pl: Support stage-specific builtins even for extensions.

texture_builtins.py: Fixes for Array variants.

The array layer is now included as part of the texture coordinate.

texture_builtins.py: Add support for 130 Proj variants.

Add a python script to generate texture builtins.

generate_builtins.pl: Support directiories for each extension.

generate_builtins.pl: Support _fs directories as well as _vs.

Set the type of ir_texture properly; infer it from the sampler type.

ir_reader: Add support for reading ir_texture.

ir_reader: Refactor reading of dereferences for later reuse.

Add stub visitor support for ir_texture.

ir_print_visitor: Add support for ir_texture.

Add mappings between ir_texture_opcode and strings.

Define IR instruction for texture look-ups

Use array delete operator to delete an array

This was detected by valgrind.  I think GCC still does the right
thing, but the C++ spec allows the compiler to do something
stupid... like crash or only delete the first entry in the array.

Bump GL_MAX_TEXTURE_COORDS from 2 to 4

Every platform that supports GLSL sets GL_MAX_TEXTURE_COORDS to at
least 4, so hard-code 4 for now.

This causes the following tests to pass:

    glslparsertest/glsl2/norsetto-bumptbn_sh_fp.vert
    glslparsertest/glsl2/xreal-lighting-d-omni.vert
    glslparsertest/glsl2/xreal-lighting-db-omni.vert
    glslparsertest/glsl2/xreal-lighting-dbs-omni.vert

Only allow global precision qualifier for int and float

This causes the following tests to pass:

    glslparsertest/glsl2/precision-03.vert

Fix parsing of precision qualifiers

This causes the following tests to pass:

     glslparsertest/glsl2/precision-02.vert
     glslparsertest/glsl2/precision-04.vert
     glslparsertest/glsl2/precision-06.vert

This causes the following test to fail.  This shader was previously
failing to compile, but it was failing for the wrong reasons.

     glslparsertest/glsl2/precision-03.vert

Don't process empty shaders

Some valid shaders, such as 'precision highp float;', evaluate to
empty sets of instructions.  This causes some of the optimization
stages to enter infinite loops.  Instead, don't bother processing the
empty ones.

Generate an error on empty declaration lists

This causes an error for code such as 'float;'

Check variable mode when comparing qualifier lists.

Fixes function-05.vert.

ir_dereference_array always operates on an r-value

ir_dereference_array::array is always an r-value.  If the dereference
is of a varaible, that r-value will be an ir_dereference_variable.
This simplifies the code a bit.

There is no class ir_label, so there's no need for ir_instruction::as_label

Remove some cruft from the Makefile

This was affecting the build, but the files don't actually exist.

Add builtin gl_LightSource[].

Fixes gst-gl-bumper.vert parsing.

builtins: Add support for reflect().

Fixes glsl-orangebook-ch06.frag parsing.

builtins: Add ftransform().

Fixes glsl-orangebook-ch06-bump.vert.

Allow arrays of floats as varyings.

The comment just above the code said arrays were OK, then it didn't
handle arrays.  Whoops.  Partially fixes CorrectUnsizedArray.frat.

gl_Normal is a vec3 not a vec4.

Fixes CorrectSwizzle1.vert.

builtins: Add the mix(gentype, gentype, float) variant.

The broken-in-mesa Regnum Online shader now parses, except for its
preprocessor usage.

Handle GLSL 1.20 implicit type conversions.

We were nicely constructing a new expression for the implicit type
conversion, but then checking that the previous types matched instead
of the new expression's type.  Fixes errors in Regnum Online shaders.

builtins: Add atan().

builtins: Add asin().

ir_constant_expression: Handle several floating point unops.

Cleans up a bunch of pointless operations in a GStreamer fragment shader.

ir_constant_variable: New pass to mark constant-assigned variables constant.

This removes a bunch of gratuitous moving around of constant values
from constructors.  Makes a shader ir I was looking at for structure
handling almost readable.

ir_constant_folding: Look at instructions in functions.

This was broken in the ir_label -> ir_function rework.

ir_swizzle_swizzle: Reduce swizzle chains to a single swizzle.

ir_vec_index_to_swizzle: Pass to convert indexing of vectors to swizzles.

This should remove the burden of handling constant vector indexing
well from backend codegen, and could help with swizzle optimizations.

ir_expression_flattening: Handle flattening values out of swizzles, too.

Fixes an uninlined normalize() in CorrectSwizzle2.vert.

ir_expression_flattening: Fix breakage from hierarchichal visitor.

Similar to other situations where the visitor pattern doesn't fit, in
this case we need the pointer to the base instruction in the
instruction stream for where to insert any new instructions we
generate (not the instruction in the tree we're looking at).  By
removing the code for setting the base_ir, flattened expressions would
end up, for example, before the function definition where they had appeared.

Reimplement ir_function_inlining_visitor using ir_hierarchical_vistor

Reimplement ir_copy_propagation_visitor using ir_hierarchical_vistor

Reimplement ir_expression_flattening_visitor using ir_hierarchical_vistor

ir_reader: Read record_refs.

Also changes the print visitor to not emit extraneous parenthesis.

ir_reader: Fix reading of array deferences and correct error messages.

Previously, the syntax was (array_ref <variable name> <index>), but the
subject is now a general rvalue (not a name).  In particular, it might
be a (var_ref ...).

Also, remove "expected ... or (swiz)" from error messages; swiz is not
allowed inside a var_ref.

Fix setting the maximum accessed array element

Array dereferences now point to variable dereferences instead of
pointing directly to variables.  This necessitated some changes to the
way the variable is accessed when setting the maximum index array element.

ir_dereference::mode is no longer used, kill with fire

Refactor whole-variable assigment checking into member function

Refactor ir_dereference data fields to subclasses

Replace open coded deref navigation with hierarchical visitors

Refactor ir_dereference support for ir_visitor

Move the accept method for visitors from ir_dereference to the derived
classes.

Refactor ir_dereference support for ir_hierarchical_visitor

Move the accept method for hierarchical visitors from ir_dereference
to the derived classes.  This was mostly straight-forward, but I
suspect that ir_dead_code_local may be broken now.

Begin refactoring ir_dereference

Create separate subclasses of ir_dereference for variable, array, and
record dereferences.  As a side effect, array and record dereferences
no longer point to ir_variable objects directly.  Instead they each
point to an ir_dereference_variable object.

This is the first of several steps in the refactoring process.  The
intention is that ir_dereference will eventually become an abstract
base class.

Use ir_rvalue::variable_referenced instead of open coding it

ir_visit_tree is no longer used, remove ir_visit_tree.{cpp,h}

Reimplement kill_for_derefs using ir_hierarchical_vistor

The output of all test cases was verified to be the same using diff.

Reimplement has_call_callback using ir_hierarchical_vistor

This has the added advantage that it will stop traversing the tree as
soon as the first call is found.

The output of all test cases was verified to be the same using diff.

Reimplement ir_if_simplicifation_visitor using ir_hierarchical_vistor

The output of all test cases was verified to be the same using diff.

Make visit_list_elements safe against node removals

Reimplement ir_function_can_inline_visitor using ir_hierarchical_vistor

The output of all test cases was verified to be the same using diff.

Reimplement ir_dead_code_visitor using ir_hierarchical_vistor

The output of all test cases was verified to be the same using diff.

Add ir_hierarchical_visitor base class and associated infrastructure

This type of visitor should eventually replace all or almost all
current uses of ir_visitor.

Replace find_dead_code with visit_exec_list

find_dead_code appears to be an open-coded version of visit_exec_list
that was implemented first.

Use ir_rvalue::variable_referenced instead of open-coding it

Add ir_rvalue::variable_referenced

Refresh autogenerated builtin_function.cpp.

Implement "tan" builtin.