glsl: ignore all but the rightmost layout qualifier name from the rightmost layout...
[mesa.git] / src / compiler / glsl / ast_type.cpp
index 1adb1f4752ab4aa0dd0a6151aee45d0862037c5e..91050a5877acfc1263c4106e05a24a3dd18883fc 100644 (file)
@@ -116,17 +116,90 @@ bool ast_type_qualifier::has_memory() const
           || this->flags.q.write_only;
 }
 
+static bool
+validate_prim_type(YYLTYPE *loc,
+                   _mesa_glsl_parse_state *state,
+                   const ast_type_qualifier &qualifier,
+                   const ast_type_qualifier &new_qualifier)
+{
+   /* Input layout qualifiers can be specified multiple
+    * times in separate declarations, as long as they match.
+    */
+   if (qualifier.flags.q.prim_type && new_qualifier.flags.q.prim_type
+       && qualifier.prim_type != new_qualifier.prim_type) {
+      _mesa_glsl_error(loc, state,
+                       "conflicting input primitive %s specified",
+                       state->stage == MESA_SHADER_GEOMETRY ?
+                       "type" : "mode");
+      return false;
+   }
+
+   return true;
+}
+
+static bool
+validate_vertex_spacing(YYLTYPE *loc,
+                        _mesa_glsl_parse_state *state,
+                        const ast_type_qualifier &qualifier,
+                        const ast_type_qualifier &new_qualifier)
+{
+   if (qualifier.flags.q.vertex_spacing && new_qualifier.flags.q.vertex_spacing
+       && qualifier.vertex_spacing != new_qualifier.vertex_spacing) {
+      _mesa_glsl_error(loc, state,
+                       "conflicting vertex spacing specified");
+      return false;
+   }
+
+   return true;
+}
+
+static bool
+validate_ordering(YYLTYPE *loc,
+                  _mesa_glsl_parse_state *state,
+                  const ast_type_qualifier &qualifier,
+                  const ast_type_qualifier &new_qualifier)
+{
+   if (qualifier.flags.q.ordering && new_qualifier.flags.q.ordering
+       && qualifier.ordering != new_qualifier.ordering) {
+      _mesa_glsl_error(loc, state,
+                       "conflicting ordering specified");
+      return false;
+   }
+
+   return true;
+}
+
+static bool
+validate_point_mode(YYLTYPE *loc,
+                    _mesa_glsl_parse_state *state,
+                    const ast_type_qualifier &qualifier,
+                    const ast_type_qualifier &new_qualifier)
+{
+   /* Point mode can only be true if the flag is set. */
+   assert (!qualifier.flags.q.point_mode || !new_qualifier.flags.q.point_mode
+           || (qualifier.point_mode && new_qualifier.point_mode));
+
+   return true;
+}
+
 /**
- * This function merges both duplicate identifies within a single layout and
- * multiple layout qualifiers on a single variable declaration. The
- * is_single_layout_merge param is used differentiate between the two.
+ * This function merges duplicate layout identifiers.
+ *
+ * It deals with duplicates within a single layout qualifier, among multiple
+ * layout qualifiers on a single declaration and on several declarations for
+ * the same variable.
+ *
+ * The is_single_layout_merge and is_multiple_layouts_merge parameters are
+ * used to differentiate among them.
  */
 bool
 ast_type_qualifier::merge_qualifier(YYLTYPE *loc,
                                     _mesa_glsl_parse_state *state,
                                     const ast_type_qualifier &q,
-                                    bool is_single_layout_merge)
+                                    bool is_single_layout_merge,
+                                    bool is_multiple_layouts_merge)
 {
+   bool r = true;
    ast_type_qualifier ubo_mat_mask;
    ubo_mat_mask.flags.i = 0;
    ubo_mat_mask.flags.q.row_major = 1;
@@ -196,19 +269,14 @@ ast_type_qualifier::merge_qualifier(YYLTYPE *loc,
    }
 
    if (q.flags.q.prim_type) {
-      if (this->flags.q.prim_type && this->prim_type != q.prim_type) {
-         _mesa_glsl_error(loc, state,
-                          "conflicting input primitive %s specified",
-                          state->stage == MESA_SHADER_GEOMETRY ?
-                          "type" : "mode");
-         return false;
-      }
+      r &= validate_prim_type(loc, state, *this, q);
       this->flags.q.prim_type = 1;
       this->prim_type = q.prim_type;
    }
 
    if (q.flags.q.max_vertices) {
-      if (this->flags.q.max_vertices && !is_single_layout_merge) {
+      if (this->flags.q.max_vertices
+          && !is_single_layout_merge && !is_multiple_layouts_merge) {
          this->max_vertices->merge_qualifier(q.max_vertices);
       } else {
          this->flags.q.max_vertices = 1;
@@ -226,7 +294,8 @@ ast_type_qualifier::merge_qualifier(YYLTYPE *loc,
    }
 
    if (q.flags.q.invocations) {
-      if (this->flags.q.invocations && !is_single_layout_merge) {
+      if (this->flags.q.invocations
+          && !is_single_layout_merge && !is_multiple_layouts_merge) {
          this->invocations->merge_qualifier(q.invocations);
       } else {
          this->flags.q.invocations = 1;
@@ -277,7 +346,7 @@ ast_type_qualifier::merge_qualifier(YYLTYPE *loc,
          if (process_qualifier_constant(state, loc, "xfb_buffer",
                                         this->xfb_buffer, &buff_idx)) {
             if (state->out_qualifier->out_xfb_stride[buff_idx]
-                && !is_single_layout_merge) {
+                && !is_single_layout_merge && !is_multiple_layouts_merge) {
                state->out_qualifier->out_xfb_stride[buff_idx]->merge_qualifier(
                   new(state->linalloc) ast_layout_expression(*loc, this->xfb_stride));
             } else {
@@ -289,7 +358,8 @@ ast_type_qualifier::merge_qualifier(YYLTYPE *loc,
    }
 
    if (q.flags.q.vertices) {
-      if (this->flags.q.vertices && !is_single_layout_merge) {
+      if (this->flags.q.vertices
+          && !is_single_layout_merge && !is_multiple_layouts_merge) {
          this->vertices->merge_qualifier(q.vertices);
       } else {
          this->flags.q.vertices = 1;
@@ -298,26 +368,19 @@ ast_type_qualifier::merge_qualifier(YYLTYPE *loc,
    }
 
    if (q.flags.q.vertex_spacing) {
-      if (this->flags.q.vertex_spacing && this->vertex_spacing != q.vertex_spacing) {
-         _mesa_glsl_error(loc, state, "conflicting vertex spacing used");
-         return false;
-      }
+      r &= validate_vertex_spacing(loc, state, *this, q);
       this->flags.q.vertex_spacing = 1;
       this->vertex_spacing = q.vertex_spacing;
    }
 
    if (q.flags.q.ordering) {
-      if (this->flags.q.ordering && this->ordering != q.ordering) {
-         _mesa_glsl_error(loc, state, "conflicting ordering used");
-         return false;
-      }
+      r &= validate_ordering(loc, state, *this, q);
       this->flags.q.ordering = 1;
       this->ordering = q.ordering;
    }
 
    if (q.flags.q.point_mode) {
-      /* Point mode can only be true if the flag is set. */
-      assert (!this->flags.q.point_mode || (this->point_mode && q.point_mode));
+      r &= validate_point_mode(loc, state, *this, q);
       this->flags.q.point_mode = 1;
       this->point_mode = q.point_mode;
    }
@@ -332,7 +395,8 @@ ast_type_qualifier::merge_qualifier(YYLTYPE *loc,
 
    for (int i = 0; i < 3; i++) {
       if (q.flags.q.local_size & (1 << i)) {
-         if (this->local_size[i] && !is_single_layout_merge) {
+         if (this->local_size[i]
+             && !is_single_layout_merge && !is_multiple_layouts_merge) {
             this->local_size[i]->merge_qualifier(q.local_size[i]);
          } else {
             this->local_size[i] = q.local_size[i];
@@ -377,7 +441,7 @@ ast_type_qualifier::merge_qualifier(YYLTYPE *loc,
       this->image_base_type = q.image_base_type;
    }
 
-   return true;
+   return r;
 }
 
 bool
@@ -552,38 +616,10 @@ ast_type_qualifier::validate_in_qualifier(YYLTYPE *loc,
     * error against the default global input qualifier as soon as we can, with
     * the closest error location in the shader.
     */
-
-   /* Input layout qualifiers can be specified multiple
-    * times in separate declarations, as long as they match.
-    */
-   if (state->in_qualifier->flags.q.prim_type && this->flags.q.prim_type
-       && state->in_qualifier->prim_type != this->prim_type) {
-      r = false;
-      _mesa_glsl_error(loc, state,
-                       "conflicting input primitive %s specified",
-                       state->stage == MESA_SHADER_GEOMETRY ?
-                       "type" : "mode");
-   }
-
-   if (state->in_qualifier->flags.q.vertex_spacing
-       && this->flags.q.vertex_spacing
-       && state->in_qualifier->vertex_spacing != this->vertex_spacing) {
-      r = false;
-      _mesa_glsl_error(loc, state,
-                       "conflicting vertex spacing specified");
-   }
-
-   if (state->in_qualifier->flags.q.ordering && this->flags.q.ordering
-       && state->in_qualifier->ordering != this->ordering) {
-      r = false;
-      _mesa_glsl_error(loc, state,
-                       "conflicting ordering specified");
-   }
-
-   /* Point mode can only be true if the flag is set. */
-   assert (!state->in_qualifier->flags.q.point_mode
-           || !this->flags.q.point_mode
-           || (state->in_qualifier->point_mode && this->point_mode));
+   r &= validate_prim_type(loc, state, *state->in_qualifier, *this);
+   r &= validate_vertex_spacing(loc, state, *state->in_qualifier, *this);
+   r &= validate_ordering(loc, state, *state->in_qualifier, *this);
+   r &= validate_point_mode(loc, state, *state->in_qualifier, *this);
 
    return r;
 }