2 * Copyright © 2010 Intel Corporation
4 * Permission is hereby granted, free of charge, to any person obtaining a
5 * copy of this software and associated documentation files (the "Software"),
6 * to deal in the Software without restriction, including without limitation
7 * the rights to use, copy, modify, merge, publish, distribute, sublicense,
8 * and/or sell copies of the Software, and to permit persons to whom the
9 * Software is furnished to do so, subject to the following conditions:
11 * The above copyright notice and this permission notice (including the next
12 * paragraph) shall be included in all copies or substantial portions of the
15 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
16 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
17 * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL
18 * THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
19 * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
20 * FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER
21 * DEALINGS IN THE SOFTWARE.
27 ast_type_specifier::print(void) const
32 printf("%s ", type_name
);
35 if (array_specifier
) {
36 array_specifier
->print();
41 ast_fully_specified_type::has_qualifiers(_mesa_glsl_parse_state
*state
) const
43 /* 'subroutine' isnt a real qualifier. */
44 ast_type_qualifier subroutine_only
;
45 subroutine_only
.flags
.i
= 0;
46 subroutine_only
.flags
.q
.subroutine
= 1;
47 if (state
->has_explicit_uniform_location()) {
48 subroutine_only
.flags
.q
.explicit_index
= 1;
50 return (this->qualifier
.flags
.i
& ~subroutine_only
.flags
.i
) != 0;
53 bool ast_type_qualifier::has_interpolation() const
55 return this->flags
.q
.smooth
57 || this->flags
.q
.noperspective
;
61 ast_type_qualifier::has_layout() const
63 return this->flags
.q
.origin_upper_left
64 || this->flags
.q
.pixel_center_integer
65 || this->flags
.q
.depth_type
66 || this->flags
.q
.std140
67 || this->flags
.q
.std430
68 || this->flags
.q
.shared
69 || this->flags
.q
.column_major
70 || this->flags
.q
.row_major
71 || this->flags
.q
.packed
72 || this->flags
.q
.bindless_sampler
73 || this->flags
.q
.bindless_image
74 || this->flags
.q
.bound_sampler
75 || this->flags
.q
.bound_image
76 || this->flags
.q
.explicit_align
77 || this->flags
.q
.explicit_component
78 || this->flags
.q
.explicit_location
79 || this->flags
.q
.explicit_image_format
80 || this->flags
.q
.explicit_index
81 || this->flags
.q
.explicit_binding
82 || this->flags
.q
.explicit_offset
83 || this->flags
.q
.explicit_stream
84 || this->flags
.q
.explicit_xfb_buffer
85 || this->flags
.q
.explicit_xfb_offset
86 || this->flags
.q
.explicit_xfb_stride
;
90 ast_type_qualifier::has_storage() const
92 return this->flags
.q
.constant
93 || this->flags
.q
.attribute
94 || this->flags
.q
.varying
97 || this->flags
.q
.uniform
98 || this->flags
.q
.buffer
99 || this->flags
.q
.shared_storage
;
103 ast_type_qualifier::has_auxiliary_storage() const
105 return this->flags
.q
.centroid
106 || this->flags
.q
.sample
107 || this->flags
.q
.patch
;
110 bool ast_type_qualifier::has_memory() const
112 return this->flags
.q
.coherent
113 || this->flags
.q
._volatile
114 || this->flags
.q
.restrict_flag
115 || this->flags
.q
.read_only
116 || this->flags
.q
.write_only
;
119 bool ast_type_qualifier::is_subroutine_decl() const
121 return this->flags
.q
.subroutine
&& !this->subroutine_list
;
125 validate_prim_type(YYLTYPE
*loc
,
126 _mesa_glsl_parse_state
*state
,
127 const ast_type_qualifier
&qualifier
,
128 const ast_type_qualifier
&new_qualifier
)
130 /* Input layout qualifiers can be specified multiple
131 * times in separate declarations, as long as they match.
133 if (qualifier
.flags
.q
.prim_type
&& new_qualifier
.flags
.q
.prim_type
134 && qualifier
.prim_type
!= new_qualifier
.prim_type
) {
135 _mesa_glsl_error(loc
, state
,
136 "conflicting input primitive %s specified",
137 state
->stage
== MESA_SHADER_GEOMETRY
?
146 validate_vertex_spacing(YYLTYPE
*loc
,
147 _mesa_glsl_parse_state
*state
,
148 const ast_type_qualifier
&qualifier
,
149 const ast_type_qualifier
&new_qualifier
)
151 if (qualifier
.flags
.q
.vertex_spacing
&& new_qualifier
.flags
.q
.vertex_spacing
152 && qualifier
.vertex_spacing
!= new_qualifier
.vertex_spacing
) {
153 _mesa_glsl_error(loc
, state
,
154 "conflicting vertex spacing specified");
162 validate_ordering(YYLTYPE
*loc
,
163 _mesa_glsl_parse_state
*state
,
164 const ast_type_qualifier
&qualifier
,
165 const ast_type_qualifier
&new_qualifier
)
167 if (qualifier
.flags
.q
.ordering
&& new_qualifier
.flags
.q
.ordering
168 && qualifier
.ordering
!= new_qualifier
.ordering
) {
169 _mesa_glsl_error(loc
, state
,
170 "conflicting ordering specified");
178 validate_point_mode(MAYBE_UNUSED
const ast_type_qualifier
&qualifier
,
179 MAYBE_UNUSED
const ast_type_qualifier
&new_qualifier
)
181 /* Point mode can only be true if the flag is set. */
182 assert (!qualifier
.flags
.q
.point_mode
|| !new_qualifier
.flags
.q
.point_mode
183 || (qualifier
.point_mode
&& new_qualifier
.point_mode
));
189 merge_bindless_qualifier(_mesa_glsl_parse_state
*state
)
191 if (state
->default_uniform_qualifier
->flags
.q
.bindless_sampler
) {
192 state
->bindless_sampler_specified
= true;
193 state
->default_uniform_qualifier
->flags
.q
.bindless_sampler
= false;
196 if (state
->default_uniform_qualifier
->flags
.q
.bindless_image
) {
197 state
->bindless_image_specified
= true;
198 state
->default_uniform_qualifier
->flags
.q
.bindless_image
= false;
201 if (state
->default_uniform_qualifier
->flags
.q
.bound_sampler
) {
202 state
->bound_sampler_specified
= true;
203 state
->default_uniform_qualifier
->flags
.q
.bound_sampler
= false;
206 if (state
->default_uniform_qualifier
->flags
.q
.bound_image
) {
207 state
->bound_image_specified
= true;
208 state
->default_uniform_qualifier
->flags
.q
.bound_image
= false;
213 * This function merges duplicate layout identifiers.
215 * It deals with duplicates within a single layout qualifier, among multiple
216 * layout qualifiers on a single declaration and on several declarations for
219 * The is_single_layout_merge and is_multiple_layouts_merge parameters are
220 * used to differentiate among them.
223 ast_type_qualifier::merge_qualifier(YYLTYPE
*loc
,
224 _mesa_glsl_parse_state
*state
,
225 const ast_type_qualifier
&q
,
226 bool is_single_layout_merge
,
227 bool is_multiple_layouts_merge
)
230 ast_type_qualifier ubo_mat_mask
;
231 ubo_mat_mask
.flags
.i
= 0;
232 ubo_mat_mask
.flags
.q
.row_major
= 1;
233 ubo_mat_mask
.flags
.q
.column_major
= 1;
235 ast_type_qualifier ubo_layout_mask
;
236 ubo_layout_mask
.flags
.i
= 0;
237 ubo_layout_mask
.flags
.q
.std140
= 1;
238 ubo_layout_mask
.flags
.q
.packed
= 1;
239 ubo_layout_mask
.flags
.q
.shared
= 1;
240 ubo_layout_mask
.flags
.q
.std430
= 1;
242 ast_type_qualifier ubo_binding_mask
;
243 ubo_binding_mask
.flags
.i
= 0;
244 ubo_binding_mask
.flags
.q
.explicit_binding
= 1;
245 ubo_binding_mask
.flags
.q
.explicit_offset
= 1;
247 ast_type_qualifier stream_layout_mask
;
248 stream_layout_mask
.flags
.i
= 0;
249 stream_layout_mask
.flags
.q
.stream
= 1;
251 /* FIXME: We should probably do interface and function param validation
254 ast_type_qualifier input_layout_mask
;
255 input_layout_mask
.flags
.i
= 0;
256 input_layout_mask
.flags
.q
.centroid
= 1;
257 /* Function params can have constant */
258 input_layout_mask
.flags
.q
.constant
= 1;
259 input_layout_mask
.flags
.q
.explicit_component
= 1;
260 input_layout_mask
.flags
.q
.explicit_location
= 1;
261 input_layout_mask
.flags
.q
.flat
= 1;
262 input_layout_mask
.flags
.q
.in
= 1;
263 input_layout_mask
.flags
.q
.invariant
= 1;
264 input_layout_mask
.flags
.q
.noperspective
= 1;
265 input_layout_mask
.flags
.q
.origin_upper_left
= 1;
266 /* Function params 'inout' will set this */
267 input_layout_mask
.flags
.q
.out
= 1;
268 input_layout_mask
.flags
.q
.patch
= 1;
269 input_layout_mask
.flags
.q
.pixel_center_integer
= 1;
270 input_layout_mask
.flags
.q
.precise
= 1;
271 input_layout_mask
.flags
.q
.sample
= 1;
272 input_layout_mask
.flags
.q
.smooth
= 1;
273 input_layout_mask
.flags
.q
.non_coherent
= 1;
275 if (state
->has_bindless()) {
276 /* Allow to use image qualifiers with shader inputs/outputs. */
277 input_layout_mask
.flags
.q
.coherent
= 1;
278 input_layout_mask
.flags
.q
._volatile
= 1;
279 input_layout_mask
.flags
.q
.restrict_flag
= 1;
280 input_layout_mask
.flags
.q
.read_only
= 1;
281 input_layout_mask
.flags
.q
.write_only
= 1;
282 input_layout_mask
.flags
.q
.explicit_image_format
= 1;
285 /* Uniform block layout qualifiers get to overwrite each
286 * other (rightmost having priority), while all other
287 * qualifiers currently don't allow duplicates.
289 ast_type_qualifier allowed_duplicates_mask
;
290 allowed_duplicates_mask
.flags
.i
=
291 ubo_mat_mask
.flags
.i
|
292 ubo_layout_mask
.flags
.i
|
293 ubo_binding_mask
.flags
.i
;
295 /* Geometry shaders can have several layout qualifiers
296 * assigning different stream values.
298 if (state
->stage
== MESA_SHADER_GEOMETRY
) {
299 allowed_duplicates_mask
.flags
.i
|=
300 stream_layout_mask
.flags
.i
;
303 if (is_single_layout_merge
&& !state
->has_enhanced_layouts() &&
304 (this->flags
.i
& q
.flags
.i
& ~allowed_duplicates_mask
.flags
.i
) != 0) {
305 _mesa_glsl_error(loc
, state
, "duplicate layout qualifiers used");
309 if (is_multiple_layouts_merge
&& !state
->has_420pack_or_es31()) {
310 _mesa_glsl_error(loc
, state
,
311 "duplicate layout(...) qualifiers");
315 if (q
.flags
.q
.prim_type
) {
316 r
&= validate_prim_type(loc
, state
, *this, q
);
317 this->flags
.q
.prim_type
= 1;
318 this->prim_type
= q
.prim_type
;
321 if (q
.flags
.q
.max_vertices
) {
322 if (this->flags
.q
.max_vertices
323 && !is_single_layout_merge
&& !is_multiple_layouts_merge
) {
324 this->max_vertices
->merge_qualifier(q
.max_vertices
);
326 this->flags
.q
.max_vertices
= 1;
327 this->max_vertices
= q
.max_vertices
;
331 if (q
.subroutine_list
) {
332 if (this->subroutine_list
) {
333 _mesa_glsl_error(loc
, state
,
334 "conflicting subroutine qualifiers used");
336 this->subroutine_list
= q
.subroutine_list
;
340 if (q
.flags
.q
.invocations
) {
341 if (this->flags
.q
.invocations
342 && !is_single_layout_merge
&& !is_multiple_layouts_merge
) {
343 this->invocations
->merge_qualifier(q
.invocations
);
345 this->flags
.q
.invocations
= 1;
346 this->invocations
= q
.invocations
;
350 if (state
->stage
== MESA_SHADER_GEOMETRY
&&
351 state
->has_explicit_attrib_stream()) {
352 if (!this->flags
.q
.explicit_stream
) {
353 if (q
.flags
.q
.stream
) {
354 this->flags
.q
.stream
= 1;
355 this->stream
= q
.stream
;
356 } else if (!this->flags
.q
.stream
&& this->flags
.q
.out
&&
358 /* Assign default global stream value */
359 this->flags
.q
.stream
= 1;
360 this->stream
= state
->out_qualifier
->stream
;
365 if (state
->has_enhanced_layouts()) {
366 if (!this->flags
.q
.explicit_xfb_buffer
) {
367 if (q
.flags
.q
.xfb_buffer
) {
368 this->flags
.q
.xfb_buffer
= 1;
369 this->xfb_buffer
= q
.xfb_buffer
;
370 } else if (!this->flags
.q
.xfb_buffer
&& this->flags
.q
.out
&&
372 /* Assign global xfb_buffer value */
373 this->flags
.q
.xfb_buffer
= 1;
374 this->xfb_buffer
= state
->out_qualifier
->xfb_buffer
;
378 if (q
.flags
.q
.explicit_xfb_stride
) {
379 this->flags
.q
.xfb_stride
= 1;
380 this->flags
.q
.explicit_xfb_stride
= 1;
381 this->xfb_stride
= q
.xfb_stride
;
385 if (q
.flags
.q
.vertices
) {
386 if (this->flags
.q
.vertices
387 && !is_single_layout_merge
&& !is_multiple_layouts_merge
) {
388 this->vertices
->merge_qualifier(q
.vertices
);
390 this->flags
.q
.vertices
= 1;
391 this->vertices
= q
.vertices
;
395 if (q
.flags
.q
.vertex_spacing
) {
396 r
&= validate_vertex_spacing(loc
, state
, *this, q
);
397 this->flags
.q
.vertex_spacing
= 1;
398 this->vertex_spacing
= q
.vertex_spacing
;
401 if (q
.flags
.q
.ordering
) {
402 r
&= validate_ordering(loc
, state
, *this, q
);
403 this->flags
.q
.ordering
= 1;
404 this->ordering
= q
.ordering
;
407 if (q
.flags
.q
.point_mode
) {
408 r
&= validate_point_mode(*this, q
);
409 this->flags
.q
.point_mode
= 1;
410 this->point_mode
= q
.point_mode
;
413 if (q
.flags
.q
.early_fragment_tests
)
414 this->flags
.q
.early_fragment_tests
= true;
416 if ((q
.flags
.i
& ubo_mat_mask
.flags
.i
) != 0)
417 this->flags
.i
&= ~ubo_mat_mask
.flags
.i
;
418 if ((q
.flags
.i
& ubo_layout_mask
.flags
.i
) != 0)
419 this->flags
.i
&= ~ubo_layout_mask
.flags
.i
;
421 for (int i
= 0; i
< 3; i
++) {
422 if (q
.flags
.q
.local_size
& (1 << i
)) {
423 if (this->local_size
[i
]
424 && !is_single_layout_merge
&& !is_multiple_layouts_merge
) {
425 this->local_size
[i
]->merge_qualifier(q
.local_size
[i
]);
427 this->local_size
[i
] = q
.local_size
[i
];
432 if (q
.flags
.q
.local_size_variable
)
433 this->flags
.q
.local_size_variable
= true;
435 if (q
.flags
.q
.bindless_sampler
)
436 this->flags
.q
.bindless_sampler
= true;
438 if (q
.flags
.q
.bindless_image
)
439 this->flags
.q
.bindless_image
= true;
441 if (q
.flags
.q
.bound_sampler
)
442 this->flags
.q
.bound_sampler
= true;
444 if (q
.flags
.q
.bound_image
)
445 this->flags
.q
.bound_image
= true;
447 if (q
.flags
.q
.derivative_group
) {
448 this->flags
.q
.derivative_group
= true;
449 this->derivative_group
= q
.derivative_group
;
452 this->flags
.i
|= q
.flags
.i
;
454 if (this->flags
.q
.in
&&
455 (this->flags
.i
& ~input_layout_mask
.flags
.i
) != 0) {
456 _mesa_glsl_error(loc
, state
, "invalid input layout qualifier used");
460 if (q
.flags
.q
.explicit_align
)
461 this->align
= q
.align
;
463 if (q
.flags
.q
.explicit_location
)
464 this->location
= q
.location
;
466 if (q
.flags
.q
.explicit_index
)
467 this->index
= q
.index
;
469 if (q
.flags
.q
.explicit_component
)
470 this->component
= q
.component
;
472 if (q
.flags
.q
.explicit_binding
)
473 this->binding
= q
.binding
;
475 if (q
.flags
.q
.explicit_offset
|| q
.flags
.q
.explicit_xfb_offset
)
476 this->offset
= q
.offset
;
478 if (q
.precision
!= ast_precision_none
)
479 this->precision
= q
.precision
;
481 if (q
.flags
.q
.explicit_image_format
) {
482 this->image_format
= q
.image_format
;
483 this->image_base_type
= q
.image_base_type
;
486 if (q
.flags
.q
.bindless_sampler
||
487 q
.flags
.q
.bindless_image
||
488 q
.flags
.q
.bound_sampler
||
489 q
.flags
.q
.bound_image
)
490 merge_bindless_qualifier(state
);
492 if (state
->EXT_gpu_shader4_enable
&&
493 state
->stage
== MESA_SHADER_FRAGMENT
&&
494 this->flags
.q
.varying
&& q
.flags
.q
.out
) {
495 this->flags
.q
.varying
= 0;
496 this->flags
.q
.out
= 1;
503 ast_type_qualifier::validate_out_qualifier(YYLTYPE
*loc
,
504 _mesa_glsl_parse_state
*state
)
507 ast_type_qualifier valid_out_mask
;
508 valid_out_mask
.flags
.i
= 0;
510 switch (state
->stage
) {
511 case MESA_SHADER_GEOMETRY
:
512 if (this->flags
.q
.prim_type
) {
513 /* Make sure this is a valid output primitive type. */
514 switch (this->prim_type
) {
517 case GL_TRIANGLE_STRIP
:
521 _mesa_glsl_error(loc
, state
, "invalid geometry shader output "
527 valid_out_mask
.flags
.q
.stream
= 1;
528 valid_out_mask
.flags
.q
.explicit_stream
= 1;
529 valid_out_mask
.flags
.q
.explicit_xfb_buffer
= 1;
530 valid_out_mask
.flags
.q
.xfb_buffer
= 1;
531 valid_out_mask
.flags
.q
.explicit_xfb_stride
= 1;
532 valid_out_mask
.flags
.q
.xfb_stride
= 1;
533 valid_out_mask
.flags
.q
.max_vertices
= 1;
534 valid_out_mask
.flags
.q
.prim_type
= 1;
536 case MESA_SHADER_TESS_CTRL
:
537 valid_out_mask
.flags
.q
.vertices
= 1;
538 valid_out_mask
.flags
.q
.explicit_xfb_buffer
= 1;
539 valid_out_mask
.flags
.q
.xfb_buffer
= 1;
540 valid_out_mask
.flags
.q
.explicit_xfb_stride
= 1;
541 valid_out_mask
.flags
.q
.xfb_stride
= 1;
543 case MESA_SHADER_TESS_EVAL
:
544 case MESA_SHADER_VERTEX
:
545 valid_out_mask
.flags
.q
.explicit_xfb_buffer
= 1;
546 valid_out_mask
.flags
.q
.xfb_buffer
= 1;
547 valid_out_mask
.flags
.q
.explicit_xfb_stride
= 1;
548 valid_out_mask
.flags
.q
.xfb_stride
= 1;
550 case MESA_SHADER_FRAGMENT
:
551 valid_out_mask
.flags
.q
.blend_support
= 1;
555 _mesa_glsl_error(loc
, state
,
556 "out layout qualifiers only valid in "
557 "geometry, tessellation, vertex and fragment shaders");
560 /* Generate an error when invalid output layout qualifiers are used. */
561 if ((this->flags
.i
& ~valid_out_mask
.flags
.i
) != 0) {
563 _mesa_glsl_error(loc
, state
, "invalid output layout qualifiers used");
570 ast_type_qualifier::merge_into_out_qualifier(YYLTYPE
*loc
,
571 _mesa_glsl_parse_state
*state
,
574 const bool r
= state
->out_qualifier
->merge_qualifier(loc
, state
,
577 switch (state
->stage
) {
578 case MESA_SHADER_GEOMETRY
:
579 /* Allow future assignments of global out's stream id value */
580 state
->out_qualifier
->flags
.q
.explicit_stream
= 0;
582 case MESA_SHADER_TESS_CTRL
:
583 node
= new(state
->linalloc
) ast_tcs_output_layout(*loc
);
589 /* Allow future assignments of global out's */
590 state
->out_qualifier
->flags
.q
.explicit_xfb_buffer
= 0;
591 state
->out_qualifier
->flags
.q
.explicit_xfb_stride
= 0;
597 ast_type_qualifier::validate_in_qualifier(YYLTYPE
*loc
,
598 _mesa_glsl_parse_state
*state
)
601 ast_type_qualifier valid_in_mask
;
602 valid_in_mask
.flags
.i
= 0;
604 switch (state
->stage
) {
605 case MESA_SHADER_TESS_EVAL
:
606 if (this->flags
.q
.prim_type
) {
607 /* Make sure this is a valid input primitive type. */
608 switch (this->prim_type
) {
615 _mesa_glsl_error(loc
, state
,
616 "invalid tessellation evaluation "
617 "shader input primitive type");
622 valid_in_mask
.flags
.q
.prim_type
= 1;
623 valid_in_mask
.flags
.q
.vertex_spacing
= 1;
624 valid_in_mask
.flags
.q
.ordering
= 1;
625 valid_in_mask
.flags
.q
.point_mode
= 1;
627 case MESA_SHADER_GEOMETRY
:
628 if (this->flags
.q
.prim_type
) {
629 /* Make sure this is a valid input primitive type. */
630 switch (this->prim_type
) {
633 case GL_LINES_ADJACENCY
:
635 case GL_TRIANGLES_ADJACENCY
:
639 _mesa_glsl_error(loc
, state
,
640 "invalid geometry shader input primitive type");
645 valid_in_mask
.flags
.q
.prim_type
= 1;
646 valid_in_mask
.flags
.q
.invocations
= 1;
648 case MESA_SHADER_FRAGMENT
:
649 valid_in_mask
.flags
.q
.early_fragment_tests
= 1;
650 valid_in_mask
.flags
.q
.inner_coverage
= 1;
651 valid_in_mask
.flags
.q
.post_depth_coverage
= 1;
652 valid_in_mask
.flags
.q
.pixel_interlock_ordered
= 1;
653 valid_in_mask
.flags
.q
.pixel_interlock_unordered
= 1;
654 valid_in_mask
.flags
.q
.sample_interlock_ordered
= 1;
655 valid_in_mask
.flags
.q
.sample_interlock_unordered
= 1;
657 case MESA_SHADER_COMPUTE
:
658 valid_in_mask
.flags
.q
.local_size
= 7;
659 valid_in_mask
.flags
.q
.local_size_variable
= 1;
660 valid_in_mask
.flags
.q
.derivative_group
= 1;
664 _mesa_glsl_error(loc
, state
,
665 "input layout qualifiers only valid in "
666 "geometry, tessellation, fragment and compute shaders");
670 /* Generate an error when invalid input layout qualifiers are used. */
671 if ((this->flags
.i
& ~valid_in_mask
.flags
.i
) != 0) {
673 _mesa_glsl_error(loc
, state
, "invalid input layout qualifiers used");
676 /* The checks below are also performed when merging but we want to spit an
677 * error against the default global input qualifier as soon as we can, with
678 * the closest error location in the shader.
680 r
&= validate_prim_type(loc
, state
, *state
->in_qualifier
, *this);
681 r
&= validate_vertex_spacing(loc
, state
, *state
->in_qualifier
, *this);
682 r
&= validate_ordering(loc
, state
, *state
->in_qualifier
, *this);
683 r
&= validate_point_mode(*state
->in_qualifier
, *this);
689 ast_type_qualifier::merge_into_in_qualifier(YYLTYPE
*loc
,
690 _mesa_glsl_parse_state
*state
,
694 void *lin_ctx
= state
->linalloc
;
696 /* We create the gs_input_layout node before merging so, in the future, no
697 * more repeated nodes will be created as we will have the flag set.
699 if (state
->stage
== MESA_SHADER_GEOMETRY
700 && this->flags
.q
.prim_type
&& !state
->in_qualifier
->flags
.q
.prim_type
) {
701 node
= new(lin_ctx
) ast_gs_input_layout(*loc
, this->prim_type
);
704 r
= state
->in_qualifier
->merge_qualifier(loc
, state
, *this, false);
706 if (state
->in_qualifier
->flags
.q
.early_fragment_tests
) {
707 state
->fs_early_fragment_tests
= true;
708 state
->in_qualifier
->flags
.q
.early_fragment_tests
= false;
711 if (state
->in_qualifier
->flags
.q
.inner_coverage
) {
712 state
->fs_inner_coverage
= true;
713 state
->in_qualifier
->flags
.q
.inner_coverage
= false;
716 if (state
->in_qualifier
->flags
.q
.post_depth_coverage
) {
717 state
->fs_post_depth_coverage
= true;
718 state
->in_qualifier
->flags
.q
.post_depth_coverage
= false;
721 if (state
->fs_inner_coverage
&& state
->fs_post_depth_coverage
) {
722 _mesa_glsl_error(loc
, state
,
723 "inner_coverage & post_depth_coverage layout qualifiers "
724 "are mutally exclusives");
728 if (state
->in_qualifier
->flags
.q
.pixel_interlock_ordered
) {
729 state
->fs_pixel_interlock_ordered
= true;
730 state
->in_qualifier
->flags
.q
.pixel_interlock_ordered
= false;
733 if (state
->in_qualifier
->flags
.q
.pixel_interlock_unordered
) {
734 state
->fs_pixel_interlock_unordered
= true;
735 state
->in_qualifier
->flags
.q
.pixel_interlock_unordered
= false;
738 if (state
->in_qualifier
->flags
.q
.sample_interlock_ordered
) {
739 state
->fs_sample_interlock_ordered
= true;
740 state
->in_qualifier
->flags
.q
.sample_interlock_ordered
= false;
743 if (state
->in_qualifier
->flags
.q
.sample_interlock_unordered
) {
744 state
->fs_sample_interlock_unordered
= true;
745 state
->in_qualifier
->flags
.q
.sample_interlock_unordered
= false;
748 if (state
->fs_pixel_interlock_ordered
+
749 state
->fs_pixel_interlock_unordered
+
750 state
->fs_sample_interlock_ordered
+
751 state
->fs_sample_interlock_unordered
> 1) {
752 _mesa_glsl_error(loc
, state
,
753 "only one interlock mode can be used at any time.");
757 if (state
->in_qualifier
->flags
.q
.derivative_group
) {
758 if (state
->cs_derivative_group
!= DERIVATIVE_GROUP_NONE
) {
759 if (state
->in_qualifier
->derivative_group
!= DERIVATIVE_GROUP_NONE
&&
760 state
->cs_derivative_group
!= state
->in_qualifier
->derivative_group
) {
761 _mesa_glsl_error(loc
, state
,
762 "conflicting derivative groups.");
766 state
->cs_derivative_group
= state
->in_qualifier
->derivative_group
;
770 /* We allow the creation of multiple cs_input_layout nodes. Coherence among
771 * all existing nodes is checked later, when the AST node is transformed
774 if (state
->in_qualifier
->flags
.q
.local_size
) {
775 node
= new(lin_ctx
) ast_cs_input_layout(*loc
,
776 state
->in_qualifier
->local_size
);
777 state
->in_qualifier
->flags
.q
.local_size
= 0;
778 for (int i
= 0; i
< 3; i
++)
779 state
->in_qualifier
->local_size
[i
] = NULL
;
782 if (state
->in_qualifier
->flags
.q
.local_size_variable
) {
783 state
->cs_input_local_size_variable_specified
= true;
784 state
->in_qualifier
->flags
.q
.local_size_variable
= false;
791 ast_type_qualifier::push_to_global(YYLTYPE
*loc
,
792 _mesa_glsl_parse_state
*state
)
794 if (this->flags
.q
.xfb_stride
) {
795 this->flags
.q
.xfb_stride
= 0;
798 if (process_qualifier_constant(state
, loc
, "xfb_buffer",
799 this->xfb_buffer
, &buff_idx
)) {
800 if (state
->out_qualifier
->out_xfb_stride
[buff_idx
]) {
801 state
->out_qualifier
->out_xfb_stride
[buff_idx
]->merge_qualifier(
802 new(state
->linalloc
) ast_layout_expression(*loc
,
805 state
->out_qualifier
->out_xfb_stride
[buff_idx
] =
806 new(state
->linalloc
) ast_layout_expression(*loc
,
816 * Check if the current type qualifier has any illegal flags.
818 * If so, print an error message, followed by a list of illegal flags.
820 * \param message The error message to print.
821 * \param allowed_flags A list of valid flags.
824 ast_type_qualifier::validate_flags(YYLTYPE
*loc
,
825 _mesa_glsl_parse_state
*state
,
826 const ast_type_qualifier
&allowed_flags
,
827 const char *message
, const char *name
)
829 ast_type_qualifier bad
;
830 bad
.flags
.i
= this->flags
.i
& ~allowed_flags
.flags
.i
;
831 if (bad
.flags
.i
== 0)
834 _mesa_glsl_error(loc
, state
,
836 "%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s"
837 "%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s"
838 "%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s%s\n",
840 bad
.flags
.q
.invariant
? " invariant" : "",
841 bad
.flags
.q
.precise
? " precise" : "",
842 bad
.flags
.q
.constant
? " constant" : "",
843 bad
.flags
.q
.attribute
? " attribute" : "",
844 bad
.flags
.q
.varying
? " varying" : "",
845 bad
.flags
.q
.in
? " in" : "",
846 bad
.flags
.q
.out
? " out" : "",
847 bad
.flags
.q
.centroid
? " centroid" : "",
848 bad
.flags
.q
.sample
? " sample" : "",
849 bad
.flags
.q
.patch
? " patch" : "",
850 bad
.flags
.q
.uniform
? " uniform" : "",
851 bad
.flags
.q
.buffer
? " buffer" : "",
852 bad
.flags
.q
.shared_storage
? " shared_storage" : "",
853 bad
.flags
.q
.smooth
? " smooth" : "",
854 bad
.flags
.q
.flat
? " flat" : "",
855 bad
.flags
.q
.noperspective
? " noperspective" : "",
856 bad
.flags
.q
.origin_upper_left
? " origin_upper_left" : "",
857 bad
.flags
.q
.pixel_center_integer
? " pixel_center_integer" : "",
858 bad
.flags
.q
.explicit_align
? " align" : "",
859 bad
.flags
.q
.explicit_component
? " component" : "",
860 bad
.flags
.q
.explicit_location
? " location" : "",
861 bad
.flags
.q
.explicit_index
? " index" : "",
862 bad
.flags
.q
.explicit_binding
? " binding" : "",
863 bad
.flags
.q
.explicit_offset
? " offset" : "",
864 bad
.flags
.q
.depth_type
? " depth_type" : "",
865 bad
.flags
.q
.std140
? " std140" : "",
866 bad
.flags
.q
.std430
? " std430" : "",
867 bad
.flags
.q
.shared
? " shared" : "",
868 bad
.flags
.q
.packed
? " packed" : "",
869 bad
.flags
.q
.column_major
? " column_major" : "",
870 bad
.flags
.q
.row_major
? " row_major" : "",
871 bad
.flags
.q
.prim_type
? " prim_type" : "",
872 bad
.flags
.q
.max_vertices
? " max_vertices" : "",
873 bad
.flags
.q
.local_size
? " local_size" : "",
874 bad
.flags
.q
.local_size_variable
? " local_size_variable" : "",
875 bad
.flags
.q
.early_fragment_tests
? " early_fragment_tests" : "",
876 bad
.flags
.q
.explicit_image_format
? " image_format" : "",
877 bad
.flags
.q
.coherent
? " coherent" : "",
878 bad
.flags
.q
._volatile
? " _volatile" : "",
879 bad
.flags
.q
.restrict_flag
? " restrict_flag" : "",
880 bad
.flags
.q
.read_only
? " read_only" : "",
881 bad
.flags
.q
.write_only
? " write_only" : "",
882 bad
.flags
.q
.invocations
? " invocations" : "",
883 bad
.flags
.q
.stream
? " stream" : "",
884 bad
.flags
.q
.explicit_stream
? " stream" : "",
885 bad
.flags
.q
.explicit_xfb_offset
? " xfb_offset" : "",
886 bad
.flags
.q
.xfb_buffer
? " xfb_buffer" : "",
887 bad
.flags
.q
.explicit_xfb_buffer
? " xfb_buffer" : "",
888 bad
.flags
.q
.xfb_stride
? " xfb_stride" : "",
889 bad
.flags
.q
.explicit_xfb_stride
? " xfb_stride" : "",
890 bad
.flags
.q
.vertex_spacing
? " vertex_spacing" : "",
891 bad
.flags
.q
.ordering
? " ordering" : "",
892 bad
.flags
.q
.point_mode
? " point_mode" : "",
893 bad
.flags
.q
.vertices
? " vertices" : "",
894 bad
.flags
.q
.subroutine
? " subroutine" : "",
895 bad
.flags
.q
.blend_support
? " blend_support" : "",
896 bad
.flags
.q
.inner_coverage
? " inner_coverage" : "",
897 bad
.flags
.q
.bindless_sampler
? " bindless_sampler" : "",
898 bad
.flags
.q
.bindless_image
? " bindless_image" : "",
899 bad
.flags
.q
.bound_sampler
? " bound_sampler" : "",
900 bad
.flags
.q
.bound_image
? " bound_image" : "",
901 bad
.flags
.q
.post_depth_coverage
? " post_depth_coverage" : "",
902 bad
.flags
.q
.pixel_interlock_ordered
? " pixel_interlock_ordered" : "",
903 bad
.flags
.q
.pixel_interlock_unordered
? " pixel_interlock_unordered": "",
904 bad
.flags
.q
.sample_interlock_ordered
? " sample_interlock_ordered": "",
905 bad
.flags
.q
.sample_interlock_unordered
? " sample_interlock_unordered": "",
906 bad
.flags
.q
.non_coherent
? " noncoherent" : "");
911 ast_layout_expression::process_qualifier_constant(struct _mesa_glsl_parse_state
*state
,
912 const char *qual_indentifier
,
917 bool first_pass
= true;
923 for (exec_node
*node
= layout_const_expressions
.get_head_raw();
924 !node
->is_tail_sentinel(); node
= node
->next
) {
926 exec_list dummy_instructions
;
927 ast_node
*const_expression
= exec_node_data(ast_node
, node
, link
);
929 ir_rvalue
*const ir
= const_expression
->hir(&dummy_instructions
, state
);
931 ir_constant
*const const_int
=
932 ir
->constant_expression_value(ralloc_parent(ir
));
934 if (const_int
== NULL
|| !const_int
->type
->is_integer()) {
935 YYLTYPE loc
= const_expression
->get_location();
936 _mesa_glsl_error(&loc
, state
, "%s must be an integral constant "
937 "expression", qual_indentifier
);
941 if (const_int
->value
.i
[0] < min_value
) {
942 YYLTYPE loc
= const_expression
->get_location();
943 _mesa_glsl_error(&loc
, state
, "%s layout qualifier is invalid "
944 "(%d < %d)", qual_indentifier
,
945 const_int
->value
.i
[0], min_value
);
949 if (!first_pass
&& *value
!= const_int
->value
.u
[0]) {
950 YYLTYPE loc
= const_expression
->get_location();
951 _mesa_glsl_error(&loc
, state
, "%s layout qualifier does not "
952 "match previous declaration (%d vs %d)",
953 qual_indentifier
, *value
, const_int
->value
.i
[0]);
957 *value
= const_int
->value
.u
[0];
960 /* If the location is const (and we've verified that
961 * it is) then no instructions should have been emitted
962 * when we converted it to HIR. If they were emitted,
963 * then either the location isn't const after all, or
964 * we are emitting unnecessary instructions.
966 assert(dummy_instructions
.is_empty());
973 process_qualifier_constant(struct _mesa_glsl_parse_state
*state
,
975 const char *qual_indentifier
,
976 ast_expression
*const_expression
,
979 exec_list dummy_instructions
;
981 if (const_expression
== NULL
) {
986 ir_rvalue
*const ir
= const_expression
->hir(&dummy_instructions
, state
);
988 ir_constant
*const const_int
=
989 ir
->constant_expression_value(ralloc_parent(ir
));
990 if (const_int
== NULL
|| !const_int
->type
->is_integer()) {
991 _mesa_glsl_error(loc
, state
, "%s must be an integral constant "
992 "expression", qual_indentifier
);
996 if (const_int
->value
.i
[0] < 0) {
997 _mesa_glsl_error(loc
, state
, "%s layout qualifier is invalid (%d < 0)",
998 qual_indentifier
, const_int
->value
.u
[0]);
1002 /* If the location is const (and we've verified that
1003 * it is) then no instructions should have been emitted
1004 * when we converted it to HIR. If they were emitted,
1005 * then either the location isn't const after all, or
1006 * we are emitting unnecessary instructions.
1008 assert(dummy_instructions
.is_empty());
1010 *value
= const_int
->value
.u
[0];