glcpp: Rework handling of "defined" operator.

It's now done in the grammar, and as a result, can easily handle
parenthesis.  defined ( identifier ) is now supported.

Fixes glcpp/tests/065-if-defined-parens.c.

glcpp/tests: Add a test for #if defined (identifier)

Previously we only tested #if defined identifier (without parenthesis).

glcpp: Ignore junk tokens at end of #ifdef/#ifndef (with warning)

Both nVidia's compiler and GCC accept this.
Fixes CorrectPreprocess11.frag.

glcpp: Add glcpp_warning for printing warnings to the info log.

glcpp: Add boolean 'error' flag.

We used to check if the info log is non-empty, but when we print
warnings, this will no longer be valid.

glcpp: Rename "errors" to "info_log."

Eventually, we'll want to be be able to print out warnings as well.

glcpp: Don't include newlines as part of #version-passthrough.

Fixes glcpp/tests/064-version.c.

glcpp/tests: Add a test for #version followed by #define.

This isn't really a C file, but...that's probably okay.

glcpp: Fix line and column numbering.

Lines were off by one, and column numbering was completely daft.

glcpp: Remove calls to exit().

Calling exit() would be really bad once integrated into mesa.  Even in
the standalone binary, we want to print the error log first.

Since each case already flags an error, compilation will still fail,
but it may go on (with something fudged) and generate more errors.

glcpp: Add line locations to "Unterminated #if" error message.

glcpp: Add line locations to various mismatched #if error messages.

glcpp: Add line locations to "reserved name" error messages.

glcpp: Print locations in error messages where possible.

glcpp: Introduce new glcpp_error function.

glcpp: Set locations on tokens.

glcpp: Set line locations in the lexer.

glcpp: Add plumbing to support line locations.

glcpp: Add %error-verbose.

glcpp: Actually support #ifdef and #ifndef.

Strangely, the lexer never created these tokens, even though the parser
already had code to handle them.

glcpp: Build a reentrant parser.

glcpp: Print errors on stdout instead of stderr (non-standalone version).

Otherwise, piglit marks tests as "warn" when the shader was (correctly)
failing.

glcpp/tests: Add extra newline at the end of expected output.

This newline at EOF is harmless and generated by the previous commit.

glcpp: Handle missing newline at EOF.

Fixes CorrectFuncOverload.vert.

glcpp: Complain about unrecognized directives.

glcpp: Pass #version, #extension, and #pragma directives through unchanged.

Let the main compiler's lexer/parser handle them.

Make the main compiler call the preprocessor.

By using a single function, the main compiler doesn't need to include
glcpp.h, which currently has a lot of details about the preprocessor
internals.  In particular, this prevents the two yacc grammars from
seeing each other, which would be rather messy to sort out.

Complain and exit if the given shader file doesn't exist.

glcpp: Add support for lexing from a string.

The standalone binary still reads from stdin, however.

glcpp: Output to a buffer and error log rather than directly printing.

In the standalone case, simply print the buffers when done.

glcpp: Fix a case of == where = probably ought to be.

Caught by a GCC warning.

Add glcpp to the build.

Specify %option prefix="glcpp_" in the source code, not the Makefile.

Merge Carl's preprocessor into the glcpp subdirectory.

Print out the info log if compilation fails.

Change error/warning functions to print to the info log.

Initialize the shader info log

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

Make shader a talloc context.

Link against talloc.  We're going to be using it.

Fix crash when running glsl on a signle fragment shader.

Rename prog to shader.  Less confusing.

Fix compile on 64-bit.

Ensure that shader_in and shader_out are correctly set in declarations

glsl_lexer: centroid and invariant are not reserved words in GLSL 1.10

glsl_lexer: Handle interpolation qualifiers

linker: Add some function header comments

TODO: Add note about initializers for constants

Allow initializers for uniforms

Don't link shaders by default

Add a command line option to trigger linking.  This "fixes" all the
failing test cases.  Oops.

linker: Initial bits of the linker

No linking is done yet, but some of the semantic checking is done.

Use glsl_program instead of an open-coded vector of shaders

Add glsl_program that is similar to Mesa's gl_shader_program

Change glsl_program to glsl_shader

Compile multiple shaders listed on the command line

Extract compilation to a separate routine

Pull all of the code that actually compiles shaders into a separate
function.  Use a glsl_program to track data about the compiled shader.

Add glsl_program that is similar to Mesa's gl_program

This will be used as the header for individual compilation units.

Add TODO list

Don't want to forget anything, no do we?

Printing LIR is optional

Printing the AST is optional

Minor bits of code rearranging

Infer shader type from suffix on filename

Remove ability to read "IR shaders" from stand-alone compiler

Move stand-alone compiler main routine to main.cpp

ir_constant: Eliminate 'void *' constructor

All of the places that had been using the (glsl_type *, void *)
constructor were actually passing an ir_constant_data for the
'void *'.  The code can be greatly simplified by replacing this
constructor with a (glsl_type *, ir_constant_data *) constructor.
This should also help prevent one class of invalid uses of the old
constructor.

Use statically typed ir_constant constructors wherever possible

ir_reader: Use 'union ir_constant_data' in read_constant

ir_constant_visitor: Type of constant result is same as original expression

The type of the resulting constant must be the same as the type of the
original expression.  The changes to the code require that the case
where an unhandled expression is received, and there really shouldn't
be any of these, must be an exit point.

ir_constant_visitor: Types of ir_binop_{equal,nequal} must match

The types must match exactly, so there is no reason to check the types here.

ir_constant_visitor: Use 'union ir_constant_data' in expression handler

ir_constant_visitor: Use 'union ir_constant_data' instead of open-coded version

Matrix and vector constructors with a single constant scalar are constant

ir_constant_visitor: Handle bool-to-int and int-to-bool

Treat ?: with all constant subexpressions as a constant expression

Rearrange code in HIR conversion of ?: operator

There are no functional changes.  Code is just moved arround.  This
prepares for the next set of changes that do change the functionality.

ir_constant_visitor: Handle constant swizzles

ir_constant_visitor: Handle array access of constant vectors and matrices

Remove redundant type checks for constant constructors

All of the cases (e.g., arrays and structures) that were being
filtered by these tests were already filtered by the earlier
is_numeric and is_boolean tests.

Do simple constant folding while processing function call parameters

ir_constant_visitor: Handle dereferences of constant records

ir_constant: Add get_record_field query

Add glsl_types::field_index to get the location of a record field

Detect and process constant record constructors

Move parameter processing out of match_function_by_name

Eventually code that processes constant structure constructors will
need to use the processed list of parameters.

ir_constant_visitor: Use clone to create a constant from a variable reference

ir_constant: Support constant structures in clone

ir_constant: Add storage for multiple constants for arrays and records

Add glsl_type::is_record query

Add float/bool conversion to ir_constant_expression.cpp.

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.