Avoid generating ir_if for &&, || short-circuiting with constant LHS.

It was breaking constant expression detection for constant
initializers, i.e. CorrectParse2.frag, CorrectParse2.vert.

Add support for inlining calls done inside of expressions.

Make && and || only evaluate the RHS when the LHS requires it.

Add an ir_if simplification pass.

This is relatively simple at the moment, recognizing only constant
values, and not (for example) values that are restricted to a range
that make the branching constant.  However, it does remove 59 lines
from the printout of CorrectParse2.vert.

Check that the return type of function definition matches its prototype.

Doesn't fix any testcases, but fixes a FINISHME.

Check that function definition parameter qualifiers match proto qualifiers.

Fixes function9.frag.

Return the rvalue of a variable decl to fix while (bool b = condition) {}

Fix the type of gl_FogFragCoord.

Add an implementation of gentype-only clamp().

Add builtin implementations of vector comparison functions.

Fixes CorrectFunction1.vert, glsl-fs-notequal.frag.

Add support for builtin gentype mix(gentype a, gentype b)

Fixes glsl-fs-mix.frag, glsl-fs-mix-constant.frag.

Add buitlin functions for any(), all(), not().

Add builtin normalize() functions.

Fixes CorrectSqizzle2.vert.

Repeat the optimization passes until we stop making progress.

Add inlining support for array dereferences.

Inline functions consisting of a return of an expression.

Remove extraneous base-class constructor calls

Make function bodies rely on the parameter variable declarations.

Previously, generating inlined function bodies was going to be
difficult, as there was no mapping between the body's declaration of
variables where parameter values were supposed to live and the
parameter variables that a caller would use in paramater setup.
Presumably this also have been a problem for actual codegen.

Make dot() take the right number of args.

Fix the returns of builtin functions to actually return.

Put function bodies under function signatures, instead of flat in the parent.

This will let us know the length of function bodies for the purpose of
inlining (among other uses).

Clarify the types of various exec_list in ir.h

Treat texture rectangles as an extension that is enabled be default

Add support for GL_ARB_draw_buffers extension

Clean up error reporting in _mesa_glsl_process_extension

Add tracking for extension based warnings

Using '#extension foo: warn' instructs the compiler to generate a
warning when some feature of the extension 'foo' is used.  This patch
adds some infrastructure needed to support that for variables.

Similar changes will be needed for types and built-in functions.

Emit a warning when an unknown extension is used with #extension

Add _mesa_glsl_warning to emit warnings to the shader log

Begin processing #extension directive

Nowhere near complete.  It just parses correctly at this point.

Use _mesa_glsl_shader_target_name

Add utility function to get the name of a shader target

Call glsl_type::get_instance correctly: the number of rows must be at least 1

This causes the following tests to pass:

    shaders/glsl-tex-mvp.vert

Eat whitespace while in the PP state

Partially fix comment handling in preprocessor directives.

Multi-line /* */ comments are still broken.  I think this will wait to
be fixed until we have a real preprocessor.

Add support for bool to ir_equal and ir_nequal constant handling

Add gl_ClipDistance in fragment shader

Generate correct IR for do-while loops

Previously the same code was generated for a while loop and a do-while
loop.  This pulls the code that generates the conditional break into a
separate method.  This method is called either at the beginning or the
end depending on the loop type.

Reported-by: Kenneth Graunke <kenneth@whitecape.org>

Process ast_jump_statement into ir_loop_jump

Specifically, handle 'break' and 'continue' inside loops.

This causes the following tests to pass:

    glslparsertest/shaders/break.frag
    glslparsertest/shaders/continue.frag

Add dynamic cast for ir_loop

Begin tracking the nesting of loops and switch-statements

Use switch based on mode in ast_jump_statement::hir

Add some newlines when printing ir_loop instructions

Process ast_iteration_statement into ir_loop

This causes the following tests to pass:
     glslparsertest/shaders/dowhile.frag
     glslparsertest/shaders/while.frag
     glslparsertest/shaders/while1.frag
     glslparsertest/shaders/while2.frag

Add ir_loop_jump to represent 'break' and 'continue' in loops

Add ir_loop to represent loops

This touches a lot of files because everything derived from ir_visitor
has to be updated.  This is the primary disadvantage of the visitor pattern.

Add some linebreaks in the ir_print_visitor of if statement bodies.

Make constant folding descend into if statements.

Descend down the tree in more locations in constant folding.

Perform constant folding on array indices.

Replaces a constant var deref with a constant value in CorrectParse1.frag.

Add float/int conversion to ir_constant_expression.cpp.

Gives CorrectParse2.frag one more constant folding.

Handle constant expressions using derefs of const values.

Fixes CorrectParse1.frag and makes for a ton of folding in
CorrectParse2.frag.

Fold constant expressions in if conditionals.

Fixes up 3 more expressions in CorrectParse2.frag.

Add support for =, != to ir_constant_expresion.cpp

This results in constant folding of one more expression in CorrectParse2.frag.

Add ir_constant_expression.cpp support for <, >, <=, >=.

This results in folding one more constant expression in CorrectParse2.frag.

Add a constant folding optimization pass.

Add definition of gl_ClipDistance[]

Set lower bound on size implied by whole-array assignment

When an unsized array is accessed with a constant extension index this
sets a lower bound on the allowable sizes.  When the unsized array
gets a size set due to a whole-array assignment, this size must be at
least as large as the implied lower bound.

This causes the following tests to pass:

    glslparsertest/glsl2/array-16.vert

Allow dereference of vectors and matrices with []

This causes the following tests to pass:
     glslparsertest/glsl2/matrix-11.vert
     glslparsertest/glsl2/matrix-12.vert
     glslparsertest/shaders/CorrectParse2.vert
     glslparsertest/shaders/CorrectSwizzle2.frag

Set correct type for ir_dereference of a matrix or a vector

Propagate sizes when assigning a whole array to an unsized array

Track whether whole-arrays are assignable

In GLSL 1.10 this was not allowed, but in GLSL 1.20 and later it is.

This causes the following tests to pass:

    glslparsertest/glsl2/array-09.vert
    glslparsertest/glsl2/array-13.vert

Whole structures are assignable

Whole arrays are assignable in GLSL 1.20 and later, but it's not clear
how to handle that within the IR because the IR is supposed to be
shading language version agnostic.

Use glsl_type::element_type to get the type of array elements

Ensure that 'in' and 'inout' formal parameters are valid lvalues

This causes the following tests to pass:

    glslparsertest/shaders/function10.frag

Additional void parameter checks

If there is a void parameter it must not have a name, and it must be
the only parameter.

Require that function formal parameters have names

Make built-in gl_TexCoord available in vertex and fragment shaders

Fix matching of integer function parameters

This causes the following tests to pass:

    glslparsertest/shaders/function10.frag

Add bool/int conversion as IR operations.

Fixes constructor-09.glsl and CorrectParse2.frag.

Add conversion of bool to float as an IR operation to match int to float.

Add PASS / FAIL annotations to tests missing them.

This tricked my import of the tests into piglit.

Test that invalid quailfiers aren't used on variables in GLSL 1.10.

Allow array dereferences to be considered as lvalues.

Fixes glsl-vs-arrays.vert and glsl-vs-mov-after-deref.vert.
Regresses parser3.frag which was failing for the wrong reason.

Test for the type being different in parameter_lists_match.

Fixes CorrectFuncOverload.frag.

Add some more operations to ir_constant_expression.cpp.

Make ir_constant_expression.cpp support multi-component types.

Simplify ir_constant_expression.cpp by factoring operand computation out.

Reject non-float varyings.

Fixes varying2.frag.

Remove fake ir_binop_logic_not.  I think you meant ir_unop_logic_not.

Handle logic not in constant expression evaluation.

Fix error handling of logic operators.

They were always throwing a type error because type wasn't being set.

Emit errors for unfinished ast_to_hir expression operations.

Fix ast_logic_not handling to be unary, not binary.

Add errors for type results of other expressions.

Emit errors from failure in arithmetic_result_type.

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

Start trying to fill in a few bits of ir_constant_expression.cpp

This makes a little progress on CorrectParse2.frag.

Compute the constant value of a constant initializer.

Fixes constFunc.frag.

Allow initializers of constant values to succeed.

This regresses constFunc.frag, but that's just unexpectedly passing
because of the FINISHME just above.

Don't create a parameter declaration for a (void) parameter.

Fixes segfaults in a shader consisting of just:

    void main(void) { }

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

Remove ast_node::type

It isn't a type (is was enum specifying the kind of node), it was
unused, and it was easily confused with actual type fields.  Kill with fire.

Track max accessed array element, reject additional out-of-bounds accesses

For unsized arrays, we can't flag out-of-bounds accesses until the
array is redeclared with a size.  Track the maximum accessed element
and generate an error if the declaration specifies a size that would
cause that access to be out-of-bounds.

This causes the following tests to pass:

    glslparsertest/shaders/array10.frag

Begin processing ast_array_index nodes

This causes the following tests to pass:

    glslparsertest/shaders/parser3.frag
    glslparsertest/shaders/varying3.frag (also generates spurious error)

Fix type handling in ir_dereference array dereference constructor

Allow unsized arrays to be redeclared with a size

Test glslparsertest/shaders/array11.frag now passes for the right reason.

Add glsl_type::element_type and glsl_type::array_size queries

The former gets the type of elements in an array, and the later gets
the declared size, if any, of the array.

Set source locations on AST nodes so error messages print locations.

I haven't verified that these are all correct, but it's still a lot
better than not having anything.

Signed-off-by: Kenneth Graunke <kenneth@whitecape.org>

Add ast_function::hir

ast_function::hir consists of bits pulled out of
ast_function_definition::hir.  In fact, the later uses the former to
do a lot of its processing.  Several class private data fields were
added to ast_function to facilitate communicate between the two.

This causes the following tests to pass:

    glslparsertest/shaders/CorrectModule.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/function9.frag
    glslparsertest/shaders/function10.frag

Fix exec_list::move_nodes_to when the source list is empty

Use ir_variable::clone to copy parameters to the function body

Several other code movements were also done.  This partitions this
function into two halves.  The first half processes the prototype
part, and the second have processes the actual function definition.
The coming patch series will parition ast_function_definition::hir
into (at least) two separate functions.

Add ir_variable::clone