fdo-mirrors/mesa
1
0
Fork 0
mirror of https://gitlab.freedesktop.org/mesa/mesa.git synced 2025-12-25 02:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity Actions 1
267 commits 64 branches 914 tags 1 GiB
Commit graph

267 commits

This branch
This branch
All branches
Author SHA1 Message Date
Eric Anholt
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
Eric Anholt
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
Eric Anholt
3fff009af1 Fold constant expressions in if conditionals. 
Fixes up 3 more expressions in CorrectParse2.frag.
 2010-04-06 11:42:34 -07:00
Eric Anholt
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
Eric Anholt
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
Eric Anholt
62735694a1 Add a constant folding optimization pass. 2010-04-06 11:42:31 -07:00
Eric Anholt
271e199673 Add definition of gl_ClipDistance[] 2010-04-05 16:45:02 -07:00
Ian Romanick
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
Ian Romanick
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
Ian Romanick
b2deb19dc3 Set correct type for ir_dereference of a matrix or a vector 2010-04-05 10:30:15 -07:00
Ian Romanick
0157f41e5e Propagate sizes when assigning a whole array to an unsized array 2010-04-02 17:44:39 -07:00
Ian Romanick
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
Ian Romanick
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
Ian Romanick
cb9cba20a0 Use glsl_type::element_type to get the type of array elements 2010-04-02 16:08:44 -07:00
Ian Romanick
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
Ian Romanick
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
Ian Romanick
45d8a70c12 Require that function formal parameters have names 2010-04-02 15:09:33 -07:00
Ian Romanick
3f9a73d121 Make built-in gl_TexCoord available in vertex and fragment shaders 2010-04-02 11:59:57 -07:00
Ian Romanick
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
Eric Anholt
c2cb84e17b Add bool/int conversion as IR operations. 
Fixes constructor-09.glsl and CorrectParse2.frag.
 2010-04-02 11:22:41 -07:00
Eric Anholt
dc58b3f8cc Add conversion of bool to float as an IR operation to match int to float. 2010-04-02 11:22:41 -07:00
Eric Anholt
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
Eric Anholt
3f15150932 Test that invalid quailfiers aren't used on variables in GLSL 1.10. 2010-04-02 11:22:41 -07:00
Eric Anholt
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
Eric Anholt
5150c567a0 Test for the type being different in parameter_lists_match. 
Fixes CorrectFuncOverload.frag.
 2010-04-02 11:22:41 -07:00
Eric Anholt
d251b92f8d Add some more operations to ir_constant_expression.cpp. 2010-04-02 11:22:41 -07:00
Eric Anholt
d98da9738e Make ir_constant_expression.cpp support multi-component types. 2010-04-02 11:22:41 -07:00
Eric Anholt
160d092507 Simplify ir_constant_expression.cpp by factoring operand computation out. 2010-04-02 11:22:41 -07:00
Eric Anholt
90b7825b0e Reject non-float varyings. 
Fixes varying2.frag.
 2010-04-02 11:22:41 -07:00
Eric Anholt
aeab105342 Remove fake ir_binop_logic_not. I think you meant ir_unop_logic_not. 2010-04-02 11:22:41 -07:00
Eric Anholt
528bb85359 Handle logic not in constant expression evaluation. 2010-04-02 11:22:41 -07:00
Eric Anholt
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
Eric Anholt
183d8c6394 Emit errors for unfinished ast_to_hir expression operations. 2010-04-02 11:22:41 -07:00
Eric Anholt
a5827fe8d0 Fix ast_logic_not handling to be unary, not binary. 2010-04-02 11:22:41 -07:00
Eric Anholt
65e1a7ac6a Add errors for type results of other expressions. 2010-04-02 11:22:41 -07:00
Eric Anholt
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
Eric Anholt
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
Eric Anholt
307c71bf24 Compute the constant value of a constant initializer. 
Fixes constFunc.frag.
 2010-04-02 11:05:16 -07:00
Eric Anholt
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
Eric Anholt
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
Ian Romanick
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
Ian Romanick
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
Ian Romanick
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
Ian Romanick
63af4b0e99 Fix type handling in ir_dereference array dereference constructor 2010-04-01 18:02:48 -07:00
Ian Romanick
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
Ian Romanick
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
Kenneth Graunke
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
Ian Romanick
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
Ian Romanick
acce380a3f Fix exec_list::move_nodes_to when the source list is empty 2010-03-31 18:15:50 -07:00
Ian Romanick
e29a585989 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.
 2010-03-31 17:54:26 -07:00