bae5be356e
Perform constant folding on array indices.
...
Replaces a constant var deref with a constant value in CorrectParse1.frag.
2010-04-06 11:42:34 -07:00
af18641f0a
Add float/int conversion to ir_constant_expression.cpp.
...
Gives CorrectParse2.frag one more constant folding.
2010-04-06 11:42:34 -07:00
326c676236
Handle constant expressions using derefs of const values.
...
Fixes CorrectParse1.frag and makes for a ton of folding in
CorrectParse2.frag.
2010-04-06 11:42:34 -07:00
3fff009af1
Fold constant expressions in if conditionals.
...
Fixes up 3 more expressions in CorrectParse2.frag.
2010-04-06 11:42:34 -07:00
ec1949e804
Add support for =, != to ir_constant_expresion.cpp
...
This results in constant folding of one more expression in CorrectParse2.frag.
2010-04-06 11:42:34 -07:00
85171c2dd8
Add ir_constant_expression.cpp support for <, >, <=, >=.
...
This results in folding one more constant expression in CorrectParse2.frag.
2010-04-06 11:42:34 -07:00
62735694a1
Add a constant folding optimization pass.
2010-04-06 11:42:31 -07:00
271e199673
Add definition of gl_ClipDistance[]
2010-04-05 16:45:02 -07:00
63f394203a
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
2010-04-05 14:35:47 -07:00
63038e18ad
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
2010-04-05 13:16:00 -07:00
b2deb19dc3
Set correct type for ir_dereference of a matrix or a vector
2010-04-05 10:30:15 -07:00
0157f41e5e
Propagate sizes when assigning a whole array to an unsized array
2010-04-02 17:44:39 -07:00
9d975377ca
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
2010-04-02 17:17:47 -07:00
2d946634eb
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.
2010-04-02 17:06:57 -07:00
cb9cba20a0
Use glsl_type::element_type to get the type of array elements
2010-04-02 16:08:44 -07:00
c35bb00130
Ensure that 'in' and 'inout' formal parameters are valid lvalues
...
This causes the following tests to pass:
glslparsertest/shaders/function10.frag
2010-04-02 15:51:02 -07:00
cf37c9e8da
Additional void parameter checks
...
If there is a void parameter it must not have a name, and it must be
the only parameter.
2010-04-02 15:30:45 -07:00
45d8a70c12
Require that function formal parameters have names
2010-04-02 15:09:33 -07:00
3f9a73d121
Make built-in gl_TexCoord available in vertex and fragment shaders
2010-04-02 11:59:57 -07:00
fe1c7ff6c6
Fix matching of integer function parameters
...
This causes the following tests to pass:
glslparsertest/shaders/function10.frag
2010-04-02 11:45:06 -07:00
c2cb84e17b
Add bool/int conversion as IR operations.
...
Fixes constructor-09.glsl and CorrectParse2.frag.
2010-04-02 11:22:41 -07:00
dc58b3f8cc
Add conversion of bool to float as an IR operation to match int to float.
2010-04-02 11:22:41 -07:00
106d122318
Add PASS / FAIL annotations to tests missing them.
...
This tricked my import of the tests into piglit.
2010-04-02 11:22:41 -07:00
3f15150932
Test that invalid quailfiers aren't used on variables in GLSL 1.10.
2010-04-02 11:22:41 -07:00
c7da28b4be
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.
2010-04-02 11:22:41 -07:00
5150c567a0
Test for the type being different in parameter_lists_match.
...
Fixes CorrectFuncOverload.frag.
2010-04-02 11:22:41 -07:00
d251b92f8d
Add some more operations to ir_constant_expression.cpp.
2010-04-02 11:22:41 -07:00
d98da9738e
Make ir_constant_expression.cpp support multi-component types.
2010-04-02 11:22:41 -07:00
160d092507
Simplify ir_constant_expression.cpp by factoring operand computation out.
2010-04-02 11:22:41 -07:00
90b7825b0e
Reject non-float varyings.
...
Fixes varying2.frag.
2010-04-02 11:22:41 -07:00
aeab105342
Remove fake ir_binop_logic_not. I think you meant ir_unop_logic_not.
2010-04-02 11:22:41 -07:00
528bb85359
Handle logic not in constant expression evaluation.
2010-04-02 11:22:41 -07:00
ebbf14b980
Fix error handling of logic operators.
...
They were always throwing a type error because type wasn't being set.
2010-04-02 11:22:41 -07:00
183d8c6394
Emit errors for unfinished ast_to_hir expression operations.
2010-04-02 11:22:41 -07:00
a5827fe8d0
Fix ast_logic_not handling to be unary, not binary.
2010-04-02 11:22:41 -07:00
65e1a7ac6a
Add errors for type results of other expressions.
2010-04-02 11:22:41 -07:00
a13bb1490c
Emit errors from failure in arithmetic_result_type.
...
Signed-off-by: Ian Romanick <ian.d.romanick@intel.com >
2010-04-02 11:22:35 -07:00
a576f9d84c
Start trying to fill in a few bits of ir_constant_expression.cpp
...
This makes a little progress on CorrectParse2.frag.
2010-04-02 11:05:16 -07:00
307c71bf24
Compute the constant value of a constant initializer.
...
Fixes constFunc.frag.
2010-04-02 11:05:16 -07:00
ac3af37d27
Allow initializers of constant values to succeed.
...
This regresses constFunc.frag, but that's just unexpectedly passing
because of the FINISHME just above.
2010-04-02 11:05:16 -07:00
068c80cfe0
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 >
2010-04-02 11:05:16 -07:00
03d3f3ab71
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.
2010-04-02 11:05:16 -07:00
b8a21cc6df
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
2010-04-01 18:35:08 -07:00
27e3cf8c0d
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)
2010-04-01 18:34:56 -07:00
63af4b0e99
Fix type handling in ir_dereference array dereference constructor
2010-04-01 18:02:48 -07:00
a4f308f066
Allow unsized arrays to be redeclared with a size
...
Test glslparsertest/shaders/array11.frag now passes for the right reason.
2010-04-01 17:25:11 -07:00
00e517616b
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.
2010-04-01 17:17:34 -07:00
ebfdef7a83
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 >
2010-03-31 18:26:27 -07:00
92318a9479
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
2010-03-31 18:23:21 -07:00
acce380a3f
Fix exec_list::move_nodes_to when the source list is empty
2010-03-31 18:15:50 -07:00
Eric Anholt