summaryrefslogtreecommitdiff
path: root/src/glsl/glsl_parser.ypp
AgeCommit message (Collapse)Author
2011-02-11glsl: Finish out the reduce/reduce error fixesIan Romanick
Track variables, functions, and types during parsing. Use this information in the lexer to return the currect "type" for identifiers. Change the handling of structure constructors. They will now show up in the AST as constructors (instead of plain function calls). Fixes piglit tests constructor-18.vert, constructor-19.vert, and constructor-20.vert. Also fixes bugzilla #29926. NOTE: This is a candidate for the 7.9 and 7.10 branches.
2011-02-11glsl: Eliminate reduce/reduce conflicts in glsl grammarKeith Packard
This requires lexical disambiguation between variable and type identifiers (as most C compilers do). Signed-off-by: Keith Packard <keithp@keithp.com> NOTE: This is a candidate for the 7.9 and 7.10 branches.
2011-01-31glsl: Reject shader versions not supported by the implementationIan Romanick
Previously we'd happily compile GLSL 1.30 shaders on any driver. We'd also happily compile GLSL 1.10 and 1.20 shaders in an ES2 context. This has been a long standing FINISHME in the compiler. NOTE: This is a candidate for the 7.9 and 7.10 branches
2011-01-31Convert everything from the talloc API to the ralloc API.Kenneth Graunke
2011-01-26glsl: Add support for AMD_conservative_depth to parserChad Versace
When AMD_conservative_depth is enabled: * Let 'layout' be a token. * Extend the production rule of layout_qualifier_id to process the tokens: depth_any depth_greater depth_less depth_unchanged
2011-01-17glsl: Remove redundant semantic check in parserChad Versace
The removed semantic check also exists in ast_type_specifier::hir(), which is a more natural location for it. The check verified that precision statements are applied only to types float and int.
2011-01-17glsl: Add support for default precision statementsChad Versace
* Add new field ast_type_specifier::is_precision_statement. * Add semantic checks in ast_type_specifier::hir(). * Alter parser rules accordingly.
2011-01-17glsl: Fix parser rule for type_specifierChad Versace
Do not assign a value to ast_type_specifier::precision when no precision qualifier is present.
2011-01-10glsl: Add version_string containing properly formatted GLSL versionIan Romanick
2011-01-06glsl: Support the 'invariant(all)' pragmaIan Romanick
Previously the 'STDGL invariant(all)' pragma added in GLSL 1.20 was simply ignored by the compiler. This adds support for setting all variable invariant. In GLSL 1.10 and GLSL ES 1.00 the pragma is ignored, per the specs, but a warning is generated. Fixes piglit test glsl-invariant-pragma and bugzilla #31925. NOTE: This is a candidate for the 7.9 and 7.10 branches.
2010-11-15glsl: Add new keywords and reserved words for GLSL 1.30.Kenneth Graunke
2010-10-18glsl: Fix copy and paste error in ast_bit_and node creation.Kenneth Graunke
All & operations were incorrectly being generated as ast_bit_or.
2010-10-08glsl: Add parser support for GL_ARB_explicit_attrib_location layoutsIan Romanick
Only layout(location=#) is supported. Setting the index requires GLSL 1.30 and GL_ARB_blend_func_extended.
2010-10-08glsl: Wrap ast_type_qualifier contents in a struct in a unionIan Romanick
This will ease adding non-bit fields in the near future.
2010-10-08glsl: Clear type_qualifier using memsetIan Romanick
2010-10-08glsl: Slight refactor of error / warning checking for ARB_fcc layoutIan Romanick
2010-10-08glsl: Refactor 'layout' grammar to match GLSL 1.60 spec grammarIan Romanick
2010-09-07glsl: Recognize GLSL ES 1.00 keywords.Kenneth Graunke
2010-09-07glsl: Accept language version 100 and make it the default on ES2.Kenneth Graunke
2010-09-07glsl: Set default language version in mesa_glsl_parse_state constructor.Kenneth Graunke
This should make it easier to change the default version based on the API (say, version 1.00 for OpenGL ES). Also, synchronize the symbol table's version with the parse state's version just before doing AST-to-HIR. This way, it will be set when it matters, but the main initialization code doesn't have to care about the symbol table.
2010-09-07glsl: Change grammar rules for selection statements to match the spec.Kenneth Graunke
Fixes piglit test case loop-06.vert. Unfortunately, causes 1 shift/reduce conflict.
2010-08-30glsl2: Parse #pragma linesIan Romanick
All pragmas are currently ignored. Also, the error messages when a pragma is used incorrectly (i.e., '#pragma debug(on)' inside a function) are crap, but I think this is sufficient for now. Fixes piglit test cases pragma-0[1-8].(vert|frag).
2010-08-26glsl: Use a single shared namespace in the symbol table.Kenneth Graunke
As of 1.20, variable names, function names, and structure type names all share a single namespace, and should conflict with one another in the same scope, or hide each other in nested scopes. However, in 1.10, variables and functions can share the same name in the same scope. Structure types, however, conflict with/hide both. Fixes piglit tests redeclaration-06.vert, redeclaration-11.vert, redeclaration-19.vert, and struct-05.vert.
2010-08-13glsl2: Remove unnecessary use of 'struct' before type namesIan Romanick
In C++ you don't have to say 'struct' or 'class' if the declaration of the type has been seen. Some compilers will complain if you use 'struct' when 'class' should have been used and vice versa. Fixes bugzilla #29539.
2010-08-13glsl2: Avoid token name collisions with names used by Windows header filesIan Romanick
2010-08-13glsl2: Eliminate tokens for square matrix short namesIan Romanick
MAT2 and MAT2X2, for example, are treated identically by the parser. The language version based error checking (becuase mat2x2 is not available in GLSL 1.10) is already done in the lexer.
2010-08-11glsl2: Use bison command line option to set prefixIan Romanick
Bison version 2.3 doesn't seem to support %name-prefix in the source. This should fix bugzilla #29207.
2010-08-11glsl2: Emit error from lexer when illegal reserved word is encounteredIan Romanick
Without this, the parser will generate obtuse, useless error diagnostics when reservered word that are not used by the grammar are encountered in a shader. Fixes bugzilla #29519.
2010-08-10glsl2: Initialize location structure at beginning of parse.Carl Worth
Since we have a custom structure for YYLTYPE locations, we need to use an %initial-action directive to avoid triggering use of uninitialized memory when, for example, printing error messages. Thanks to valgrind for noticing this bug.
2010-08-07glsl2: Add the 1.30 reserved keywords.Kenneth Graunke
2010-08-02glsl2: Fix spelling of "precision" in error output.Eric Anholt
2010-07-28glsl2: Parser support for GL_ARB_fragment_coord_conventionsIan Romanick
2010-07-20glsl2: Remove incorrect assertion in the parser.Kenneth Graunke
This assertion is triggered by method calls (i.e. array.length()), where subexpressions[1] is an ast_function_call expression. Since the assertion itself had a comment saying it could be removed eventually, simply do so. Causes negative glslparser tests array-length-110.frag, array-length-args.frag, and array-length-unsized.frag to pass, but only because the length() method is not supported yet.
2010-07-01glsl2: Append _TOK to some parser tokensIan Romanick
This prevents conflicts with defines elsewhere in Mesa and allows including mtypes.h in the compiler.
2010-06-30glsl2: Use _mesa_glsl_parse_state as the talloc parent, not glsl_shader.Kenneth Graunke
_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.
2010-06-24glsl2: Move the compiler to the subdirectory it will live in in Mesa.Eric Anholt
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-17 01:53:56 +0000