Module: Mesa
Branch: 9.2
Commit: 5d6dc93490324cec64a9653068d4095505594a2c
URL:    
http://cgit.freedesktop.org/mesa/mesa/commit/?id=5d6dc93490324cec64a9653068d4095505594a2c

Author: Ian Romanick <ian.d.roman...@intel.com>
Date:   Thu Aug  8 17:23:01 2013 -0700

glsl: Move and refine test for unsized arrays in GLSL ES

GLSL ES does not allow unsized arrays, and GLSL ES 1.00 does not allow
array initializers.  However, GLSL ES 3.00 allows array initializers,
and the initializer can explicitly size the array.  The specification
even includes some examples of this:

    float x[] = float[2] (1.0, 2.0);     // declares an array of size 2
    float y[] = float[] (1.0, 2.0, 3.0); // declares an array of size 3

    float a[5];
    float b[] = a;

Move the unsized array check to after the initializer has been
processed.  If the array is still unsized, generate the error.  This
should have no effect in GLSL ES 1.00 because, as previously mentioned,
array initializers are not allowed.

Fixes piglit "glsl-es-3.00 compiler array-sized-by-initializer.vert".

Signed-off-by: Ian Romanick <ian.d.roman...@intel.com>
Reviewed-by: Kenneth Graunke <kenn...@whitecape.org>
Cc: "9.1 9.2" <mesa-sta...@lists.freedesktop.org>
(cherry picked from commit 42624b1c8145375f987e380bb78456658f845a17)

---

 src/glsl/ast_to_hir.cpp |   33 +++++++++++++++++++++++++++------
 1 files changed, 27 insertions(+), 6 deletions(-)

diff --git a/src/glsl/ast_to_hir.cpp b/src/glsl/ast_to_hir.cpp
index 932e38a..2706b38 100644
--- a/src/glsl/ast_to_hir.cpp
+++ b/src/glsl/ast_to_hir.cpp
@@ -1771,12 +1771,6 @@ process_array_type(YYLTYPE *loc, const glsl_type *base, 
ast_node *array_size,
            }
         }
       }
-   } else if (state->es_shader) {
-      /* Section 10.17 of the GLSL ES 1.00 specification states that unsized
-       * array declarations have been removed from the language.
-       */
-      _mesa_glsl_error(loc, state, "unsized array declarations are not "
-                      "allowed in GLSL ES 1.00.");
    }
 
    const glsl_type *array_type = glsl_type::get_array_instance(base, length);
@@ -3030,6 +3024,33 @@ ast_declarator_list::hir(exec_list *instructions,
                          decl->identifier);
       }
 
+      if (state->es_shader) {
+        const glsl_type *const t = (earlier == NULL)
+           ? var->type : earlier->type;
+
+         if (t->is_array() && t->length == 0)
+            /* Section 10.17 of the GLSL ES 1.00 specification states that
+             * unsized array declarations have been removed from the language.
+             * Arrays that are sized using an initializer are still explicitly
+             * sized.  However, GLSL ES 1.00 does not allow array
+             * initializers.  That is only allowed in GLSL ES 3.00.
+             *
+             * Section 4.1.9 (Arrays) of the GLSL ES 3.00 spec says:
+             *
+             *     "An array type can also be formed without specifying a size
+             *     if the definition includes an initializer:
+             *
+             *         float x[] = float[2] (1.0, 2.0);     // declares an 
array of size 2
+             *         float y[] = float[] (1.0, 2.0, 3.0); // declares an 
array of size 3
+             *
+             *         float a[5];
+             *         float b[] = a;"
+             */
+            _mesa_glsl_error(& loc, state,
+                             "unsized array declarations are not allowed in "
+                             "GLSL ES");
+      }
+
       /* If the declaration is not a redeclaration, there are a few additional
        * semantic checks that must be applied.  In addition, variable that was
        * created for the declaration should be added to the IR stream.

_______________________________________________
mesa-commit mailing list
mesa-commit@lists.freedesktop.org
http://lists.freedesktop.org/mailman/listinfo/mesa-commit

Reply via email to