ir_constant_expression: Add support for matrix multiplication.

Also handles matrix/vector and vector/matrix multiplication.

Fixes piglit tests const-matrix-multiply-01.frag,
const-matrix-multiply-02.frag, and const-vec-mat.frag.

ir_constant_expression: Support scalar * vector and scalar * matrix.

The test here is slightly different since we need to keep matrix
multiplication separate.

Fixes piglit tests const-vec-scalar-03.frag and const-mat-scalar-03.frag.

ir_constant_expression: Support scalar / vector and scalar / matrix.

Fixes piglit tests const-vec-scalar-04.frag and const-mat-scalar-04.frag.

ir_constant_expression: Support scalar - vector and scalar - matrix.

Fixes piglit tests const-vec-scalar-02.frag and const-mat-scalar-02.frag.

ir_constant_expression: Support scalar + vector and scalar + matrix.

Fixes piglit tests const-vec-scalar-01.frag, const-vec-scalar-05.frag,
and const-mat-scalar-01.frag.

ir_constant_expression: Assert that both operands share a base type.

ir_constant_expression: Initialize op[0] and op[1] to NULL.

This makes it easy to check if there is a second argument.

ir_constant_expression: Initialize all components of constant data to 0.

This is probably just a good idea, and will come in useful when
implementing things like matrix multiplication.

Add hash table helper functions for using pointers as hash keys

Make hashtable.h be C++ friendly

ir_to_mesa: Use the compiler-assigned locations for builtin attrs/varyings.

The previous table didn't distinguish gl_Color for the VS and FS, so
we would use the FS's attribute index for the VS and read undefined.
This partially fixes glsl-routing to match its behavior on master.

Refresh autogenerated file builtin_function.cpp.

glcpp: Add #error support.

glsl2: Fix for dead strings being stored in the symbol table.

ir_to_mesa: Fix uninitalized value.

glsl2/builtins: Use vector ops in the 130 version of "sign."

glsl2/builtins: Use vector ops in "smoothstep."

ir_to_mesa: Fix up implementation of ir_unop_exp.

OPCODE_EXP is not to ir_unop_exp what OPCODE_EX2 is to ir_unop_exp2.
It's the weird VP approximation helper opcode.  Just implement it with
OPCODE_POW instead.

Fixes glsl-fs-exp.

i965: Add support for the DP2 opcode, which we use for dot(vec2, vec2).

The original glsl compiler would generate a.x * b.x + a.y * b.y, which
we would do mul+mul+add for instead of this mul+mac.

Fixes glsl-fs-dot-vec2.

ir_to_mesa: Add support for scalar * mat, vec * mat.

This is not tested by piglit currently.

ir_to_mesa: Add support for shadow comparison to texture instructions.

piglit lacks tests for this currently.

ir_to_mesa: Move projection handling out of ir_tex so txb and txl get it.

Fixes:
glsl-fs-texture2dproj-bias
glsl-fs-texture2dproj-bias-2

glsl2: Print the linking info log in the stand-alone compiler

ir_to_mesa: Add support for projected non-shadow/bias/lod texturing.

Fixes:
glsl-fs-texture2dproj
glsl-fs-texture2dproj-2

ir_to_mesa: Fix sparse swizzling of src regs when a writemask is present.

Fixes glsl-fs-texture2d-masked.

ir_to_mesa: Don't forget to run the Mesa IR optimization passes.

With how we generate assignments, the trivial copy propagation in it
is really important, and some drivers will really want the register
allocation, too.

glsl2: Add a pass to break ir_binop_div to _mul and _rcp.

This results in constant folding of a constant divisor.

glsl2: Conditionally allow optional extensions to be enabled

The only optional extension currently supported by the compiler is
GL_EXT_texture_array.

glsl2: Append _TOK to some parser tokens

This prevents conflicts with defines elsewhere in Mesa and allows
including mtypes.h in the compiler.

glsl2: Conditionally define preprocessor tokens for optional extensions

The only optional extension currently supported by the compiler is
GL_EXT_texture_array.

glsl2: Define preprocessor tokens for extensions

Currently only GL_ARB_draw_buffers and GL_ARB_texture_rectangle are
defined because those extensions are always enabled.  This make
tex_rect-03.frag pass.

glsl2: Support AST-to-IR translation of invariant keyword

glsl2: Initialize ast_declarator_list::invariant in constructor

glsl2: Don't bounds check unsize array redeclarations

This along with several previous commits fix test CorrectUnsizedArray.frag.

glsl2: Add gl_MaxTextureCoords

glsl2: Default delcaration of gl_TexCoord is unsized

glsl2: Change order of semaintic checks on variable declarations

This will make it easier to support more (valid) kinds of redeclarations.

ir_to_mesa: Fill in remaining ops, remove default case for expression types.

We should now have support for all the expression types we need for
GLSL 1.20.

ir_to_mesa: Add support for ir_unop_rcp.

This isn't used at the moment, but will be soon.

glsl2: Update README for what I've been thinking about with expr types work.

glsl2: Add a pass to convert mod(a, b) to b * fract(a/b).

This is used by the Mesa IR backend to implement mod, fixing glsl-fs-mod.

glsl2: Remove dead member from dead code visitor.

glsl2: Add ir_unop_fract as an expression type.

Most backends will prefer seeing this to seeing (a - floor(a)), so
represent it explicitly.

ir_to_mesa: Add support for discard instructions.

Fixes glsl-fs-discard-01.

glsl2: Don't break sign() down by vector components.

ir_to_mesa: Add support for ir_unop_sign.

Fixes glsl-fs-sign, glsl-vs-sign.

i965: Add support for OPCODE_SSG.

The old compiler didn't use SSG, and instead emitted SGT/SGT/SUB.  We
can do a little better for SSG than we do for the SGT series.

ir_to_mesa: Add missing no-op type conversions.

Fixes glsl-fs-step.

glsl2: Fix reversed value of step().

It's 0.0 if x < edge, not 1.0.  Partial fix for glsl-fs-step.

ir_to_mesa: Note which of our expr ops are unsupported 1.30 features.

glsl2: Fix up the implementation of fract() for vector types.

There's no need to split each vector component out, just do vector ops.

ir_to_mesa: Initialize the (we never use it) abs field of Mesa src regs.

ir_to_mesa: Send the negate field on to Mesa IR.

Fixes glsl-fs-neg.

ir_to_mesa: When generating a swizzle, respect the reg's current swizzle.

Fixes depth-tex-modes-glsl.

glsl2: Implement AST->HIR support for the "discard" instruction.

glsl2: Define new ir_discard instruction.

ir_to_mesa: Support gl_FragDepth.

Fixes glsl-bug-22603.

glsl2: Allow a fragment shader to not write a color.

I can't find any text justifying this check, and it caused a
reasonable-looking shader in glsl-bug-22603 (which writes only
gl_FragDepth) to fail.

mesa: Don't look in unallocatd param slots for parameter values.

glsl-derivs would add 40.0, 0.0, and 1.0 in order.  When we went
looking for 0.0, we'd find it in the second slot of the param, and use
it, but param->Size would still be 1.  When we went to add 1.0 and
didn't find it, we'd put allocate it to that second slot and the 0.0
would actualy end up being 1.0.

Fixes glsl-derivs, glsl-deriv-varyings.

ir_to_mesa: Fix the indexing of attributes in the program's Attributes.

This fixes GetAttribLocation returning VERT_ATTRIB_GENERIC1 instead of 1,
caught by glsl-dlist-getattriblocation.

glsl2: Fix storing of dead memory in the symbol table.

decl->identifier is part of the AST, so it doesn't live very long.
Instead, add var->name which is owned by var.

glsl2: Preprocessed source doesn't need to live past compile time.

glsl2: Create new talloc contexts the "right" way.

glsl2: Use _mesa_glsl_parse_state as the talloc parent, not glsl_shader.

_mesa_glsl_parse_state should be the parent for all temporary allocation
done while compiling a shader.  glsl_shader should only be used as the
parent for the shader's final IR---the _result_ of compilation.

Since many IR instructions may be added or discarded during optimization
passes, IR should not ever be allocated to glsl_shader directly.

Done via sed -i s/talloc_parent(state)/state/g and s/talloc_parent(st)/st/g.

This also removes a ton of talloc_parent calls, which may help performance.

glsl2: Steal the live IR and free the rest of the junk.

linker: Don't dynamically allocate slots for linked shaders

The can be at most one shader per stage.  There are currently only two
stages.  There is zero reason to dynamically size this array.

ir_to_mesa: Tell Mesa about our choices for vertex attribute locations.

linker: Don't automatically allocate VERT_ATTRIB_GENERIC0

glsl2: Use Mesa's gl_shader_program instead of our own struct glsl_program.

This avoids more allocation and shuffling of data around.

glsl2: Make function names and variable names be children of the node.

This avoids losing their memory when the parser state is freed.

glsl2: Move our data from a glsl_shader* on the side to the main gl_shader *.

This saves recompiling at link time.  gl_shader->ir is made a pointer
so that we don't have to bring exec_list into mtypes.h.

ir_to_mesa: Add support for ir_unop_abs.

ir_to_mesa: Add support for dFdx, dFdy.

ir_to_mesa: Start adding support for texture instructions.

Fixes:
glsl-fs-bug25902
glsl-fs-sampler-numbering
glsl-lod-bias

glsl2: Keep the same number of components in implicit conversions.

Fixes piglit test glsl-implicit-conversion-01.

glsl2: Make gl_MaxDrawBuffers available in the vertex shader

glsl2: Make gl_MaxDrawBuffers available in the fragment shader

glsl2: Make gl_FragData be available in GLSL 1.10 too

glsl2: Pass MaxDrawBuffers from core Mesa into the GLSL compiler

glsl_type: Add _mesa_glsl_release_types to release all type related storage

glsl_type: All glsl_type objects live in their own talloc context

glsl_type: Record type constructors are private

glsl_type: Add get_record_instance method

glsl_type: Vector, matrix, and sampler type constructors are private

glsl_type: Make all static objects be class private

glsl2: Use talloc_strdup when generating constructor temporary names

glsl_type: Remove vector and matrix constructor generators

All scalar, vector, and matrix constructors are generated in-line
during AST-to-HIR translation.  There is no longer any need to
generate function versions of the constructors.

glsl2: Don't flatten constructor parameters to scalars

Now that all scalar, vector, and matrix constructors are emitted
in-line, the parameters to these constructors should not be flattened
to a pile of scalars.  Instead, the functions that emit the in-line
constructor bodies can directly write the parameters to the correct
locations in the objects being constructed.

glsl2: Always emit matrix constructors inline

glsl2: Always emit vector constructors inline

ir_swizzle: Add new constructor, refactor constructors

Adds a new constructor that takes an array of component values.  Refactors
the meat of the two constructors to an init_mask method.

glsl2: Update TODO.

glsl2: Check for non-void functions that don't have a return statement.

This doesn't do any control flow analysis to ensure that the return
statements are actually reached.

Fixes piglit tests function5.frag and function-07.vert.

glsl2: Reject return types with qualifiers.

Fixes piglit test return-qualifier.frag.

glsl2: Add a method for querying if an AST type has any qualifiers.

glsl2: Check that returned expressions match the function return type.

From my reading of the specification, implicit conversions are not
allowed.  ATI seems to agree, though nVidia allows it without warning.

glsl2: Invoke preprocessor before calling the compiler proper

ir_to_mesa: Actually initialize the undef register for scalar_op1.

Fixes glsl-sin, glsl-cos on 965, where we rely on unused src arguments
in the VS having a file of PROGRAM_UNDEFINED.

ir_to_mesa: Support user-defined varyings using the linker's locations.

Fixes glsl-reload-source.

ir_to_mesa: Actually add the header file for the interface.