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.

ir_to_mesa: Fix binop_sqrt for multi-channel and negative source channels.

Fixes glsl-fs-sqrt-branch.

ir_to_mesa: Fix indexes of temps used in expressions.

It looks like I managed to horribly mangle this in some rebase of the
branch.  Fixes:
glsl-fs-fragcoord
glsl-fs-mix

ir_to_mesa: Notify the driver when we generate new Mesa programs for GLSL.

Fixes glsl-fs-if-*.

ir_to_mesa: Add support for the pow expression.

Fixes glsl-algebraic-pow-two.

ir_to_mesa: Fix EmitCondCodes for boolean vars as condition.

Fixes glsl-vs-if-bool.

ir_to_mesa: Respect EmitCondCodes for IF statements.

Fixes glsl-vs-if-* for the 965 driver.

ir_to_mesa: Traverse the "else" instrs after "else", instead of "then" again.

ir_to_mesa: Fix matrix * scalar multiplication.

We're accessing in terms of columns, so we need to do MUL/MAD/MAD/MAD
instead of DP4s.

Fixes:
glsl-fs-exp2
glsl-fs-log2
glsl-fs-mix-constant
glsl-fs-sqrt-zero
glsl-vs-sqrt-zero

ir_to_mesa: Check the right element for matrix * scalar multiplication.

glsl2: Add support for some builtin matrices.

ir_to_mesa: Fix copy and wasted InputsRead/OutputsWritten setup.

Use a more sensible context in copy propagation.

Use more sensible contexts in ir_dead_code_local.

glsl2: Add option to stand-alone GLSL compiler to dump IR before optimizations

glsl2: Use i2b and f2b IR opcodes for casting int or float to bool

glsl2: Add support for non-float constants in Mesa IR.

Fixes glsl-vs-vec4-indexing-4.

glsl2: Take out the spamming of debug flags I'd added.

glsl2: Don't clear swizzles for Mesa IR constants after fetching them.

Missed this while hacking in constants support.  Fixes:
glsl-algebraic-mul-*
glsl-algebraic-rcp-*
glsl-vs-swizzle-swizzle-lhs
glsl-vs-vec4-indexing-6

ir_reader: Free memory for S-Expressions earlier.

There's no point in keeping it around once we've read the IR.

Also, remove an unnecessary talloc_parent call.

glsl2: Start trying to hook up uniforms.

This should be resolved with linker.cpp's location assignment, as
currently we drop that location assignment on the ground.  However,
this gets basic programs using uniforms working for now.

glsl2: Associate the GLenum for the type with builtin GLSL types.

glsl2: Use the parser state as the talloc context for dead code elimination.

This cuts runtime by around 20% from talloc_parent() lookups.

glsl2: Emit OPCODE_END at the end of the Mesa program.

The 965 driver can now run a glsl2-generated shader!

glsl2: Hook up constant parameters in ir_to_mesa.

glsl2: Set InputsRead and OutputsWritten on the generated programs.

glsl2: Start integrating ir_to_mesa.cpp into shader_api.h

The compiler is now called by the driver, and generates program
instructions.  Parameter lists are still not set up, so the driver
chokes on it shortly thereafter.

glsl2: Use Mesa types instead of duping them into our program.h.

glsl2: Fix dependencies.  (at least partially)

glsl2: Replace the GLSL compiler with the glsl2 project.

glsl2: Wrap includes of C interfaces with extern "C".

glsl2: Remove files that had been imported for standalone.

glsl2: Stop .gitignoring the old standalone build system.

glsl2: Move the Mesa IR codegen into mesa/shader/

Merge branch 'glsl2-head' into glsl2

This brings in the standalone GLSL compiler that we are planning on
replacing the existing Mesa GLSL compiler.  It currently targets GLSL
1.20 and the Mesa IR.

glsl2: Add a README file for the new compiler.

glsl2: Move the compiler to the subdirectory it will live in in Mesa.

Merge branch 'mesa'

This brings in the ir_to_mesa.cpp code I've been developing to codegen
to the Mesa IR.  It does not actually generate a complete Mesa
fragment/vertex program yet.

Move the talloc_parent lookup down in a few hot paths.

talloc_parent is still 80% of our runtime, but likely talloc_parent
lookups will be reduced as we improve the handling of memory
ownership.

Merge remote branch 'cworth/master'

Conflicts:
ast_to_hir.cpp
ir.cpp

This brings in the talloc-based memory management work, so that the
compiler (almost) no longer leaks memory.

ir_to_mesa: Handle a limited subset of matrix multiplication.

glsl-mvp.vert now generates believable code, and mesa mode fails only
5 tests that master doesn't.  I must have left out some asserts...

ir_to_mesa: Handle constant matrices.

There's not much to it since we're not actually storing constant data yet.

ir_to_mesa: Fix copy-and-wasted second argument to compare expresssion ops.

Fixes CorrectParse2.vert assertion due to uninitialized values.

ir_to_mesa: Don't allocate temps for swizzles.

We do them in place by actually, you know, swizzling.

ir_to_mesa: Set up storage for uniform vars.

ir_to_mesa: Move the classes into the file now that we don't have the burg.

At 1kloc, it doesn't look like I'll want to split the ir_to_mesa file
up even once it's feature-complete.  Move definitions closer to usage,
and prevent rebuilding the world when changing the definitions.

ir_to_mesa: Remove old monoburg structure.

ir_to_mesa: Restrict dst writemasks like we did in the monoburg setup.

ir_to_mesa: Fix copy-and-wasted DIV instruction sequence.

ir_to_mesa: Remove the BURG code.

The promise of the BURG was to recognize multi-instruction sequences
and emit reduced sequences for them.  It would have worked well for
recognizing MUL+ADD -> MAD and possibly even MIN(MAX(val, 0), 1) ->
MOV_SAT with some grammar changes.  However, that potential benefit in
making those optimizations easy is outweighed by the fragility of
monoburg, the amount of (incorrect, as I wrote it) code for using it,
and the burden it was going to cause for handling operations on
aggregate types.

ir_to_mesa: Fix mapping of FS texcoord inputs and color output.

ir_to_mesa: Try to fix up the dereference handling for the visitor rework.

One of the gstreamer shaders I play with now compiles, but input
mappings are wrong.

ir_to_mesa: Implement min and max expressions.

fixes glsl-orangebook-ch06-bump.frag.

ir_to_mesa: Don't assert over assignments with a constant-true condition.

ir_to_mesa: Add support for trunc/ceil/floor.

ir_to_mesa: Implement neg expression.

ir_to_mesa: Add sin/cos.

ir_to_mesa: Start trying to support struct storage.

ir_to_mesa: Fix up array indexing.

The grammar for array_reference_vec4_vec4 was set up wrong, so we
weren't generating instructions if necessary for the array index.

ir_to_mesa: Remove stale comment about monoburg.

ir_to_mesa: Add support for variable indexing of temporary arrays.

Fixes loop-01.vert, loop-02.vert.

ir_to_mesa: Clean up some handling of builtins and arrays.

Constant-index dereferences of arrays should work now.  One test is
regressed, but it should have been failing before this commit, too.

ir_to_mesa: Add support for loops.

Fixes CorrectParse1 and the glsl2 loop tests that don't use arrays.

Make loop jump mode public so I can switch on it.

ir_to_mesa: Add logic_or and logic_and to get CorrectFunction1.vert working.

ir_to_mesa: add logic_xor to get CorrectParse2.vert working.

ir_to_mesa: add logic_not and f2b to get CorrectParse2.frag working.

ir_to_mesa: Add support for ir_if.

ir_to_mesa: Add support for comparison operations.

ir_to_mesa: Introduce shorthand for common Mesa IR emit patterns.

ir_to_mesa: Add ir_unop_f2i -> OPCODE_TRUNC.

ir_to_mesa: Add codegen for rsq expression operation.

ir_to_mesa: Add exp/log expression operations.

ir_to_mesa: Add (almost) the rest of the builtin varyings.

ir_to_mesa: Support gl_Position output.

ir_to_mesa: Support gl_FragData[] output.

ir_to_mesa: Support gl_FragData[] output.

ir_to_mesa: Start doing some int support.

ir_to_mesa: Fix bugs in swizzle handling for scalar operations.

Looking at a vec2 / float codegen, the writemasks on the RCPs were wrong and
the swizzle on the multiply by the RCP results was wrong.

ir_to_mesa: Fix copy'n'paste bug where divide multiplied left by 1/left.

Multiply left by 1/right, please.