glsl2: Add new tree grafting optimization pass.

glsl2: Factor out the variable refcounting part of ir_dead_code.cpp.

glsl2: Fix stack smash when ternary selection is used.

glsl2: Fix the implementation of atan(y, x).

So many problems here.  One is that we can't do the quadrant handling
for all the channels at the same time, so we call the float(y, x)
version multiple times.  I'd also left out the x == 0 handling.  Also,
the quadrant handling was broken for y == 0, so there was a funny
discontinuity on the +x side if you plugged in obvious values to test.

I generated the atan(float y, float x) code from a short segment of
GLSL and pasted it in by hand.  It would be nice to automate that
somehow.

Fixes:
glsl-fs-atan-1
glsl-fs-atan-2

ast: Initialize location data in constructor of all ast_node objects.

This prevents using uninitialized data in _msea_glsl_error in some
cases, (including at least 6 piglit tests). Thanks to valgrind for
pointing out the problem!

ir_to_mesa: Add the function name as a comment to BGNSUB and ENDSUB.

glsl2: Update the callee pointer of calls to newly-linked-in functions.

Otherwise, ir_function_inlining will see the body of the function from
the unlinked version of the shader, which won't have had the lowering
passes done on it or linking's variable remapping.

glsl2: Initialize ir_function_signature::is_built_in.

Fixes a valgrind error.

glcpp: Don't look for backslashes before the beginning of the string.

Fixes a valgrind error.

glsl2: Do ir_if_return on the way out, not the way in.

The problem with doing it on the way in is that for a function with
multiple early returns, we'll move an outer block in, then restart the
pass, then move the two inside returns out, then never move outer
blocks in again because the remaining early returns are inside an else
block and they don't know that there's a return just after their
block.  By going inside-out, we get the early returns stacked up so
that they all move out with a series of
move_returns_after_block().

Fixes (on i965):
glsl-fs-raytrace-bug27060
glsl-vs-raytrace-bug26691

glsl2: Make sure functions end with a return before doing ir_if_return.

This catches a few remaining functions that weren't getting inlined,
generally operating on global or out variables and using an early
return to skip work when possible.

Fixes for i965:
glsl1-function with early return (3)

glsl2: Make ir_if_return handle if () { return } else { not return }

This makes many remaining functions inlinable.

Fixes for i965:
glsl1-function with early return (1)
glsl1-function with early return (2)

glsl2: Refactor a bit of ir_if_return for the next changes.

ir_to_mesa: Don't emit a duplicate return at the end of a function.

It was harmless, but ugly.

glsl2: Allow use of _mesa_print_ir without a parse state on hand.

ir_constant_variable: Don't mark variable from outside our scope as constant.

Fixes (with software, except for alpha):
glsl1-function with early return(3)

glsl2: When dumping IR for debug, indent nested blocks.

No more trying to match parens in my head when looking at the body of
a short function containing an if statement.

glsl2: When dumping IR for debug, skip all the empty builtin prototypes.

glsl2: Fix spelling of "sentinel."

glsl2: Fix spelling of "initializer."

glsl2: Remove an inlined unvalued return statement.

We already have asserts that it was the last call in the function, so
it's safe to remove after it got cloned in.

Fixes:
glsl-fs-functions-4.

glsl2: Actually fix glsl-version-define.

glcpp: Add __VERSION__ define to the current language version.

Fixes:
glsl-version-define
glsl-version-define-110
glsl-version-define-120

glcpp: Print integer tokens as decimal, not hex.

glsl2: Make lowp, mediump, highp, and precision identifiers pre-1.20.

Fixes glsl-precision-110.

glsl2/Makefile: Append to DEFINES rather than replacing them.

Otherwise, we lose DEBUG, which causes mtypes.h to set NDEBUG, which
causes assertions to not happen, which is no fun for anyone.

ir_to_mesa: Respect the driver if it rejects a shader.

glsl2: Fix outerProduct builtin.

The type signatures were completely backwards.

ir_constant_expression: Add support for the "outerProduct" builtin.

ir_constant_expression: Add support for the "mix" builtin.

Both 1.10 and 1.30 variants.

ir_constant_expression: Add support for the "transpose" builtin.

ir_constant_expression: Add support for the "smoothstep" builtin.

ir_constant_expression: Add support for the "clamp" builtin.

ir_constant_expression: Add support for the "step" builtin.

ir_constant_expression: Add support for the "faceforward" builtin.

ir_constant_expression: Add support for the "refract" builtin.

ir_constant_expression: Add support for the "reflect" builtin.

ir_constant_expression: Add support for the "normalize" builtin.

ir_constant_expression: Add support for the "matrixCompMult" builtin.

ir_constant_expression: Simplify code that implements the "dot" builtin.

There's no need to use an ir_expression; we have a handy C function.

ir_constant_expression: Add support for the "length" builtin.

ir_constant_expression: Extract dot product calculation for reuse.

ir_constant_expression: Remove support for dot products of integers.

This shouldn't be required since dot is only defined for floating point
types, even in GLSL 4.0.

ir_constant_expression: Add support for the "greaterThanEqual" builtin.

ir_constant_expression: Add support for the "greaterThan" builtin.

ir_constant_expression: Add support for the "lessThanEqual" builtin.

ir_constant_expression: Add support for the "lessThan" builtin.

ir_constant_expression: Add support for the "notEqual" builtin.

ir_constant_expression: Add support for the "equal" builtin.

ir_constant_expression: Add support for the "distance" builtin.

ir_constant_expression: Add support for the "degrees" builtin.

ir_constant_expression: Add support for the "radians" builtin.

ir_constant_expression: Add support for the "tanh" builtin.

ir_constant_expression: Add support for the "tan" builtin.

ir_constant_expression: Add support for the "sinh" builtin.

ir_constant_expression: Add support for the "cosh" builtin.

ir_constant_expression: Add support for "atan" builtins.

ir_constant_expression: Add support for "acos" builtin.

ir_constant_expression: Add support for "asin" builtin.

ir_constant_expression: Add support for "any" builtin.

ir_constant_expression: Add support for "all" builtin.

ir_constant_expression: Implement builtins that wrap an expression.

These builtin functions are represented by ir_expression_operations, so
we can just create one of those and ask for its value.

ir_constant_expression: Add support for builtins dFdx, dFdy, and fwidth.

These always return zero (the derivative of a constant).

ast_function: Set constant_value on return value temporaries in 1.20+.

ir_constant_expression: Stub out support for constant builtins.

ir_constant_expression: Use Mesa's MIN2/MAX2 instead of our own.

ir_algebraic: Use ir_constant::zero.

glsl2: Add new ir_constant::zero static method.

This conveniently creates a zero value of whatever type you want.

glsl2: Add the define for ARB_fragment_coord_conventions when present.

Fixes:
glsl-arb-fragment-coord-conventions-define

glsl2: Add support for redeclaring layout of gl_FragCoord for ARB_fcc.

Fixes:
glsl-arb-fragment-coord-conventions

glsl2: Perform some semantic checking of ARB_fcc layout qualifiers

The rest cannot be handled until built-in variables (i.e.,
gl_FragCoord) can be redeclared to add qualifiers.

glsl2: Parser support for GL_ARB_fragment_coord_conventions

glsl2: Fail linking where the FS reads a varying that the VS doesn't write.

Fixes:
glsl1-varying read but not written
glsl1-varying var mismatch

glsl2: Unmark unwritten varyings as varying.

This fixes an assertion failure in ir_to_mesa, and the varying won't
take up varying space.

glcpp: Add generated source files.

This is now consistent with other usage of flex/bison througout mesa,
(which is that these generated files are added to source control so
that the build system does not require external tools like flex/bison
for non-developers).

glsl: Ignore glsl_compiler and glsl_parser.output files.

These are generated files where we can do the sane thing, and keep
them out of version control.

glsl: Add generated files from flex/bison.

The mesa build environment does not (currently) accept external
dependencies such as flex and bison. The compromise is to commit the
generated output files, (in spite of the pain that comes from having
generated files under version control).

glcpp: Add expected output for a recently-added test.

I simply forgot to add this file when adding the test case originally.

ir_to_mesa: Add remaining state variable (builtin uniforms) support.

Fixes:
glsl1-GL state variable reference (diffuse product)
glsl1-GL state variable reference (gl_FrontMaterial.ambient)
glsl1-GL state variable reference (gl_LightSource[0].diffuse)
glsl1-GL state variable reference (point attenuation)
glsl1-GL state variable reference (point size)
glsl1-linear fog

glsl2: Add the remaining builtin uniforms.

glsl2: Size builtin arrays according to the context constants.

Cleans up some of the FINISHMEs in this file.

glcpp: Explicitly expect 0 shift/reduce conflicts.

The "%expect 0" construct will make bison emit an error if any future
changes to the grammar introduce shift/reduce conflicts, (without also
increasing the number after "%expect").

glcpp: Remove 2 shift/reduce conflicts from the grammar.

Since we have productions to turn "defined FOO" and "defined ( FOO )"
into a conditional_token we don't need to list DEFINED as an operator
as well. Doing so just introduces the shift/reduce ambiguity with no
benefit.

glsl2: When stealing var->constant_value, steal its children as well.

Fixes:
glsl1-GLSL 1.20 uniform array constructor

ir_to_mesa: Provide a restricted type size to _mesa_add_uniform.

Fixes:
glsl-uniform-out-of-bounds.

glsl2: Actually use the linked dead code eliminator.

I managed to revert the change from unlinked at some point while
cleaning up the changes.  glsl-fs-raytrace-bug27060 drops from 389
instructions to 370.

glsl2: Don't dereference a NULL var in CE handling during a compile error.

If an undeclared variable was dereferenced in an expression that
needed constant expression handling, we would walk off a null ir->var
pointer.

Fixes:
glsl1-TIntermediate::addUnaryMath

ir_to_mesa: Add support for array constants.

Fixes:
glsl1-GLSL 1.20 array constructor 1
glsl1-GLSL 1.20 array constructor 2
glsl1-GLSL 1.20 array.length()
glsl1-GLSL 1.20 const array constructor 1
glsl1-GLSL 1.20 const array constructor 2

glsl2: Use ir_dead_code's linked version after linking.

glsl-fs-raytrace-bug27060 goes from 485 Mesa IR instructions to 389
before Mesa IR optimization.

glsl2: Fix the linked version of ir_dead_code.

If we don't walk into functions, we won't see any usage of variables
in the functions.

glsl2: Make the dead code handler make its own talloc context.

This way, we don't need to pass in a parse state, and the context
doesn't grow with the number of passes through optimization.

mesa: Allow large temporary indices coming into the temporary reg allocator.

This gets glsl-vs-raytrace, glsl-fs-raytrace running on the new
compiler.

glsl2: Talloc type names.

Otherwise, we end up losing structure names after compile time, and
dumping IR often ends up reporting some other mysterious string.

ir_to_mesa: Set the swizzle on constant struct src regs.

MESA_GLSL=nopt now produces believable output for glsl-fs-raytrace.

ir_to_mesa: Fix stray "break" that broke functions of >1 argument.

glsl2: Add optimization pass for algebraic simplifications.

This cleans up the assembly output of almost all the non-logic tests
glsl-algebraic-*.  glsl-algebraic-pow-two needs love (basically,
flattening to a temporary and squaring it).

ir_validate: Check the types of expression operations.

glsl2: Fix missing visit_continue return in ir_validate.

ir_to_mesa: Fix up handling of void function returns.

void functions have a type of glsl_type::void_type, not a null type.

ir_to_mesa: Actually allocate the right size for constant matrix temps.