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.
25 #ifndef GLSL_PARSER_EXTRAS_H
26 #define GLSL_PARSER_EXTRAS_H
29 * Most of the definitions here only apply to C++
35 #include "glsl_symbol_table.h"
39 struct glsl_switch_state
{
40 /** Temporary variables needed for switch statement. */
41 ir_variable
*test_var
;
42 ir_variable
*is_fallthru_var
;
43 class ast_switch_statement
*switch_nesting_ast
;
45 /** Used to detect if 'continue' was called inside a switch. */
46 ir_variable
*continue_inside
;
48 /** Used to set condition if 'default' label should be chosen. */
49 ir_variable
*run_default
;
51 /** Table of constant values already used in case labels */
52 struct hash_table
*labels_ht
;
53 class ast_case_label
*previous_default
;
55 bool is_switch_innermost
; // if switch stmt is closest to break, ...
59 glsl_compute_version_string(void *mem_ctx
, bool is_es
, unsigned version
);
61 typedef struct YYLTYPE
{
68 # define YYLTYPE_IS_DECLARED 1
69 # define YYLTYPE_IS_TRIVIAL 1
71 extern void _mesa_glsl_error(YYLTYPE
*locp
, _mesa_glsl_parse_state
*state
,
72 const char *fmt
, ...);
75 struct _mesa_glsl_parse_state
{
76 _mesa_glsl_parse_state(struct gl_context
*_ctx
, gl_shader_stage stage
,
79 DECLARE_RALLOC_CXX_OPERATORS(_mesa_glsl_parse_state
);
82 * Generate a string representing the GLSL version currently being compiled
83 * (useful for error messages).
85 const char *get_version_string()
87 return glsl_compute_version_string(this, this->es_shader
,
88 this->language_version
);
92 * Determine whether the current GLSL version is sufficiently high to
93 * support a certain feature.
95 * \param required_glsl_version is the desktop GLSL version that is
96 * required to support the feature, or 0 if no version of desktop GLSL
97 * supports the feature.
99 * \param required_glsl_es_version is the GLSL ES version that is required
100 * to support the feature, or 0 if no version of GLSL ES supports the
103 bool is_version(unsigned required_glsl_version
,
104 unsigned required_glsl_es_version
) const
106 unsigned required_version
= this->es_shader
?
107 required_glsl_es_version
: required_glsl_version
;
108 unsigned this_version
= this->forced_language_version
109 ? this->forced_language_version
: this->language_version
;
110 return required_version
!= 0
111 && this_version
>= required_version
;
114 bool check_version(unsigned required_glsl_version
,
115 unsigned required_glsl_es_version
,
116 YYLTYPE
*locp
, const char *fmt
, ...) PRINTFLIKE(5, 6);
118 bool check_arrays_of_arrays_allowed(YYLTYPE
*locp
)
120 if (!(ARB_arrays_of_arrays_enable
|| is_version(430, 310))) {
121 const char *const requirement
= this->es_shader
123 : "GL_ARB_arrays_of_arrays or GLSL 4.30";
124 _mesa_glsl_error(locp
, this,
125 "%s required for defining arrays of arrays.",
132 bool check_precision_qualifiers_allowed(YYLTYPE
*locp
)
134 return check_version(130, 100, locp
,
135 "precision qualifiers are forbidden");
138 bool check_bitwise_operations_allowed(YYLTYPE
*locp
)
140 return check_version(130, 300, locp
, "bit-wise operations are forbidden");
143 bool check_explicit_attrib_stream_allowed(YYLTYPE
*locp
)
145 if (!this->has_explicit_attrib_stream()) {
146 const char *const requirement
= "GL_ARB_gpu_shader5 extension or GLSL 4.00";
148 _mesa_glsl_error(locp
, this, "explicit stream requires %s",
156 bool check_explicit_attrib_location_allowed(YYLTYPE
*locp
,
157 const ir_variable
*var
)
159 if (!this->has_explicit_attrib_location()) {
160 const char *const requirement
= this->es_shader
162 : "GL_ARB_explicit_attrib_location extension or GLSL 3.30";
164 _mesa_glsl_error(locp
, this, "%s explicit location requires %s",
165 mode_string(var
), requirement
);
172 bool check_separate_shader_objects_allowed(YYLTYPE
*locp
,
173 const ir_variable
*var
)
175 if (!this->has_separate_shader_objects()) {
176 const char *const requirement
= this->es_shader
177 ? "GL_EXT_separate_shader_objects extension or GLSL ES 3.10"
178 : "GL_ARB_separate_shader_objects extension or GLSL 4.20";
180 _mesa_glsl_error(locp
, this, "%s explicit location requires %s",
181 mode_string(var
), requirement
);
188 bool check_explicit_uniform_location_allowed(YYLTYPE
*locp
,
191 if (!this->has_explicit_attrib_location() ||
192 !this->has_explicit_uniform_location()) {
193 const char *const requirement
= this->es_shader
195 : "GL_ARB_explicit_uniform_location and either "
196 "GL_ARB_explicit_attrib_location or GLSL 3.30.";
198 _mesa_glsl_error(locp
, this,
199 "uniform explicit location requires %s",
207 bool has_atomic_counters() const
209 return ARB_shader_atomic_counters_enable
|| is_version(420, 310);
212 bool has_enhanced_layouts() const
214 return ARB_enhanced_layouts_enable
|| is_version(440, 0);
217 bool has_explicit_attrib_stream() const
219 return ARB_gpu_shader5_enable
|| is_version(400, 0);
222 bool has_explicit_attrib_location() const
224 return ARB_explicit_attrib_location_enable
|| is_version(330, 300);
227 bool has_explicit_uniform_location() const
229 return ARB_explicit_uniform_location_enable
|| is_version(430, 310);
232 bool has_uniform_buffer_objects() const
234 return ARB_uniform_buffer_object_enable
|| is_version(140, 300);
237 bool has_shader_storage_buffer_objects() const
239 return ARB_shader_storage_buffer_object_enable
|| is_version(430, 310);
242 bool has_separate_shader_objects() const
244 return ARB_separate_shader_objects_enable
|| is_version(410, 310)
245 || EXT_separate_shader_objects_enable
;
248 bool has_double() const
250 return ARB_gpu_shader_fp64_enable
|| is_version(400, 0);
253 bool has_420pack() const
255 return ARB_shading_language_420pack_enable
|| is_version(420, 0);
258 bool has_420pack_or_es31() const
260 return ARB_shading_language_420pack_enable
|| is_version(420, 310);
263 bool has_compute_shader() const
265 return ARB_compute_shader_enable
|| is_version(430, 310);
268 bool has_geometry_shader() const
270 return OES_geometry_shader_enable
|| is_version(150, 320);
273 void process_version_directive(YYLTYPE
*locp
, int version
,
276 struct gl_context
*const ctx
;
278 exec_list translation_unit
;
279 glsl_symbol_table
*symbols
;
281 unsigned num_supported_versions
;
285 } supported_versions
[15];
288 unsigned language_version
;
289 unsigned forced_language_version
;
290 gl_shader_stage stage
;
293 * Number of nested struct_specifier levels
295 * Outside a struct_specifier, this is zero.
297 unsigned struct_specifier_depth
;
300 * Default uniform layout qualifiers tracked during parsing.
301 * Currently affects uniform blocks and uniform buffer variables in
304 struct ast_type_qualifier
*default_uniform_qualifier
;
307 * Default shader storage layout qualifiers tracked during parsing.
308 * Currently affects shader storage blocks and shader storage buffer
309 * variables in those blocks.
311 struct ast_type_qualifier
*default_shader_storage_qualifier
;
314 * Variables to track different cases if a fragment shader redeclares
315 * built-in variable gl_FragCoord.
317 * Note: These values are computed at ast_to_hir time rather than at parse
320 bool fs_redeclares_gl_fragcoord
;
321 bool fs_origin_upper_left
;
322 bool fs_pixel_center_integer
;
323 bool fs_redeclares_gl_fragcoord_with_no_layout_qualifiers
;
326 * True if a geometry shader input primitive type or tessellation control
327 * output vertices were specified using a layout directive.
329 * Note: these values are computed at ast_to_hir time rather than at parse
332 bool gs_input_prim_type_specified
;
333 bool tcs_output_vertices_specified
;
336 * Input layout qualifiers from GLSL 1.50 (geometry shader controls),
337 * and GLSL 4.00 (tessellation evaluation shader)
339 struct ast_type_qualifier
*in_qualifier
;
342 * True if a compute shader input local size was specified using a layout
345 * Note: this value is computed at ast_to_hir time rather than at parse
348 bool cs_input_local_size_specified
;
351 * If cs_input_local_size_specified is true, the local size that was
352 * specified. Otherwise ignored.
354 unsigned cs_input_local_size
[3];
357 * Output layout qualifiers from GLSL 1.50 (geometry shader controls),
358 * and GLSL 4.00 (tessellation control shader).
360 struct ast_type_qualifier
*out_qualifier
;
363 * Printable list of GLSL versions supported by the current context
366 * This string should probably be generated per-context instead of per
367 * invokation of the compiler. This should be changed when the method of
368 * tracking supported GLSL versions changes.
370 const char *supported_version_string
;
373 * Implementation defined limits that affect built-in variables, etc.
375 * \sa struct gl_constants (in mtypes.h)
380 unsigned MaxClipPlanes
;
381 unsigned MaxTextureUnits
;
382 unsigned MaxTextureCoords
;
383 unsigned MaxVertexAttribs
;
384 unsigned MaxVertexUniformComponents
;
385 unsigned MaxVertexTextureImageUnits
;
386 unsigned MaxCombinedTextureImageUnits
;
387 unsigned MaxTextureImageUnits
;
388 unsigned MaxFragmentUniformComponents
;
390 /* ARB_draw_buffers */
391 unsigned MaxDrawBuffers
;
393 /* ARB_blend_func_extended */
394 unsigned MaxDualSourceDrawBuffers
;
397 int MinProgramTexelOffset
;
398 int MaxProgramTexelOffset
;
401 unsigned MaxVertexOutputComponents
;
402 unsigned MaxGeometryInputComponents
;
403 unsigned MaxGeometryOutputComponents
;
404 unsigned MaxFragmentInputComponents
;
405 unsigned MaxGeometryTextureImageUnits
;
406 unsigned MaxGeometryOutputVertices
;
407 unsigned MaxGeometryTotalOutputComponents
;
408 unsigned MaxGeometryUniformComponents
;
410 /* ARB_shader_atomic_counters */
411 unsigned MaxVertexAtomicCounters
;
412 unsigned MaxTessControlAtomicCounters
;
413 unsigned MaxTessEvaluationAtomicCounters
;
414 unsigned MaxGeometryAtomicCounters
;
415 unsigned MaxFragmentAtomicCounters
;
416 unsigned MaxCombinedAtomicCounters
;
417 unsigned MaxAtomicBufferBindings
;
419 /* These are also atomic counter related, but they weren't added to
420 * until atomic counters were added to core in GLSL 4.20 and GLSL ES
423 unsigned MaxVertexAtomicCounterBuffers
;
424 unsigned MaxTessControlAtomicCounterBuffers
;
425 unsigned MaxTessEvaluationAtomicCounterBuffers
;
426 unsigned MaxGeometryAtomicCounterBuffers
;
427 unsigned MaxFragmentAtomicCounterBuffers
;
428 unsigned MaxCombinedAtomicCounterBuffers
;
429 unsigned MaxAtomicCounterBufferSize
;
431 /* ARB_compute_shader */
432 unsigned MaxComputeWorkGroupCount
[3];
433 unsigned MaxComputeWorkGroupSize
[3];
435 /* ARB_shader_image_load_store */
436 unsigned MaxImageUnits
;
437 unsigned MaxCombinedShaderOutputResources
;
438 unsigned MaxImageSamples
;
439 unsigned MaxVertexImageUniforms
;
440 unsigned MaxTessControlImageUniforms
;
441 unsigned MaxTessEvaluationImageUniforms
;
442 unsigned MaxGeometryImageUniforms
;
443 unsigned MaxFragmentImageUniforms
;
444 unsigned MaxCombinedImageUniforms
;
446 /* ARB_viewport_array */
447 unsigned MaxViewports
;
449 /* ARB_tessellation_shader */
450 unsigned MaxPatchVertices
;
451 unsigned MaxTessGenLevel
;
452 unsigned MaxTessControlInputComponents
;
453 unsigned MaxTessControlOutputComponents
;
454 unsigned MaxTessControlTextureImageUnits
;
455 unsigned MaxTessEvaluationInputComponents
;
456 unsigned MaxTessEvaluationOutputComponents
;
457 unsigned MaxTessEvaluationTextureImageUnits
;
458 unsigned MaxTessPatchComponents
;
459 unsigned MaxTessControlTotalOutputComponents
;
460 unsigned MaxTessControlUniformComponents
;
461 unsigned MaxTessEvaluationUniformComponents
;
465 * During AST to IR conversion, pointer to current IR function
467 * Will be \c NULL whenever the AST to IR conversion is not inside a
468 * function definition.
470 class ir_function_signature
*current_function
;
473 * During AST to IR conversion, pointer to the toplevel IR
474 * instruction list being generated.
476 exec_list
*toplevel_ir
;
478 /** Have we found a return statement in this function? */
481 /** Was there an error during compilation? */
485 * Are all shader inputs / outputs invariant?
487 * This is set when the 'STDGL invariant(all)' pragma is used.
491 /** Loop or switch statement containing the current instructions. */
492 class ast_iteration_statement
*loop_nesting_ast
;
494 struct glsl_switch_state switch_state
;
496 /** List of structures defined in user code. */
497 const glsl_type
**user_structures
;
498 unsigned num_user_structures
;
503 * \name Enable bits for GLSL extensions
506 /* ARB extensions go here, sorted alphabetically.
508 bool ARB_arrays_of_arrays_enable
;
509 bool ARB_arrays_of_arrays_warn
;
510 bool ARB_compute_shader_enable
;
511 bool ARB_compute_shader_warn
;
512 bool ARB_conservative_depth_enable
;
513 bool ARB_conservative_depth_warn
;
514 bool ARB_derivative_control_enable
;
515 bool ARB_derivative_control_warn
;
516 bool ARB_draw_buffers_enable
;
517 bool ARB_draw_buffers_warn
;
518 bool ARB_draw_instanced_enable
;
519 bool ARB_draw_instanced_warn
;
520 bool ARB_enhanced_layouts_enable
;
521 bool ARB_enhanced_layouts_warn
;
522 bool ARB_explicit_attrib_location_enable
;
523 bool ARB_explicit_attrib_location_warn
;
524 bool ARB_explicit_uniform_location_enable
;
525 bool ARB_explicit_uniform_location_warn
;
526 bool ARB_fragment_coord_conventions_enable
;
527 bool ARB_fragment_coord_conventions_warn
;
528 bool ARB_fragment_layer_viewport_enable
;
529 bool ARB_fragment_layer_viewport_warn
;
530 bool ARB_gpu_shader5_enable
;
531 bool ARB_gpu_shader5_warn
;
532 bool ARB_gpu_shader_fp64_enable
;
533 bool ARB_gpu_shader_fp64_warn
;
534 bool ARB_sample_shading_enable
;
535 bool ARB_sample_shading_warn
;
536 bool ARB_separate_shader_objects_enable
;
537 bool ARB_separate_shader_objects_warn
;
538 bool ARB_shader_atomic_counters_enable
;
539 bool ARB_shader_atomic_counters_warn
;
540 bool ARB_shader_bit_encoding_enable
;
541 bool ARB_shader_bit_encoding_warn
;
542 bool ARB_shader_clock_enable
;
543 bool ARB_shader_clock_warn
;
544 bool ARB_shader_draw_parameters_enable
;
545 bool ARB_shader_draw_parameters_warn
;
546 bool ARB_shader_image_load_store_enable
;
547 bool ARB_shader_image_load_store_warn
;
548 bool ARB_shader_image_size_enable
;
549 bool ARB_shader_image_size_warn
;
550 bool ARB_shader_precision_enable
;
551 bool ARB_shader_precision_warn
;
552 bool ARB_shader_stencil_export_enable
;
553 bool ARB_shader_stencil_export_warn
;
554 bool ARB_shader_storage_buffer_object_enable
;
555 bool ARB_shader_storage_buffer_object_warn
;
556 bool ARB_shader_subroutine_enable
;
557 bool ARB_shader_subroutine_warn
;
558 bool ARB_shader_texture_image_samples_enable
;
559 bool ARB_shader_texture_image_samples_warn
;
560 bool ARB_shader_texture_lod_enable
;
561 bool ARB_shader_texture_lod_warn
;
562 bool ARB_shading_language_420pack_enable
;
563 bool ARB_shading_language_420pack_warn
;
564 bool ARB_shading_language_packing_enable
;
565 bool ARB_shading_language_packing_warn
;
566 bool ARB_tessellation_shader_enable
;
567 bool ARB_tessellation_shader_warn
;
568 bool ARB_texture_cube_map_array_enable
;
569 bool ARB_texture_cube_map_array_warn
;
570 bool ARB_texture_gather_enable
;
571 bool ARB_texture_gather_warn
;
572 bool ARB_texture_multisample_enable
;
573 bool ARB_texture_multisample_warn
;
574 bool ARB_texture_query_levels_enable
;
575 bool ARB_texture_query_levels_warn
;
576 bool ARB_texture_query_lod_enable
;
577 bool ARB_texture_query_lod_warn
;
578 bool ARB_texture_rectangle_enable
;
579 bool ARB_texture_rectangle_warn
;
580 bool ARB_uniform_buffer_object_enable
;
581 bool ARB_uniform_buffer_object_warn
;
582 bool ARB_vertex_attrib_64bit_enable
;
583 bool ARB_vertex_attrib_64bit_warn
;
584 bool ARB_viewport_array_enable
;
585 bool ARB_viewport_array_warn
;
587 /* KHR extensions go here, sorted alphabetically.
590 /* OES extensions go here, sorted alphabetically.
592 bool OES_EGL_image_external_enable
;
593 bool OES_EGL_image_external_warn
;
594 bool OES_geometry_shader_enable
;
595 bool OES_geometry_shader_warn
;
596 bool OES_standard_derivatives_enable
;
597 bool OES_standard_derivatives_warn
;
598 bool OES_texture_3D_enable
;
599 bool OES_texture_3D_warn
;
600 bool OES_texture_storage_multisample_2d_array_enable
;
601 bool OES_texture_storage_multisample_2d_array_warn
;
603 /* All other extensions go here, sorted alphabetically.
605 bool AMD_conservative_depth_enable
;
606 bool AMD_conservative_depth_warn
;
607 bool AMD_shader_stencil_export_enable
;
608 bool AMD_shader_stencil_export_warn
;
609 bool AMD_shader_trinary_minmax_enable
;
610 bool AMD_shader_trinary_minmax_warn
;
611 bool AMD_vertex_shader_layer_enable
;
612 bool AMD_vertex_shader_layer_warn
;
613 bool AMD_vertex_shader_viewport_index_enable
;
614 bool AMD_vertex_shader_viewport_index_warn
;
615 bool EXT_blend_func_extended_enable
;
616 bool EXT_blend_func_extended_warn
;
617 bool EXT_draw_buffers_enable
;
618 bool EXT_draw_buffers_warn
;
619 bool EXT_separate_shader_objects_enable
;
620 bool EXT_separate_shader_objects_warn
;
621 bool EXT_shader_integer_mix_enable
;
622 bool EXT_shader_integer_mix_warn
;
623 bool EXT_shader_samples_identical_enable
;
624 bool EXT_shader_samples_identical_warn
;
625 bool EXT_texture_array_enable
;
626 bool EXT_texture_array_warn
;
629 /** Extensions supported by the OpenGL implementation. */
630 const struct gl_extensions
*extensions
;
632 bool uses_builtin_functions
;
633 bool fs_uses_gl_fragcoord
;
636 * For geometry shaders, size of the most recently seen input declaration
637 * that was a sized array, or 0 if no sized input array declarations have
640 * Unused for other shader types.
642 unsigned gs_input_size
;
644 bool fs_early_fragment_tests
;
647 * For tessellation control shaders, size of the most recently seen output
648 * declaration that was a sized array, or 0 if no sized output array
649 * declarations have been seen.
651 * Unused for other shader types.
653 unsigned tcs_output_size
;
655 /** Atomic counter offsets by binding */
656 unsigned atomic_counter_offsets
[MAX_COMBINED_ATOMIC_BUFFERS
];
658 bool allow_extension_directive_midshader
;
661 * Known subroutine type declarations.
663 int num_subroutine_types
;
664 ir_function
**subroutine_types
;
667 * Functions that are associated with
671 ir_function
**subroutines
;
674 * field selection temporary parser storage -
675 * did the parser just parse a dot.
680 # define YYLLOC_DEFAULT(Current, Rhs, N) \
684 (Current).first_line = YYRHSLOC(Rhs, 1).first_line; \
685 (Current).first_column = YYRHSLOC(Rhs, 1).first_column; \
686 (Current).last_line = YYRHSLOC(Rhs, N).last_line; \
687 (Current).last_column = YYRHSLOC(Rhs, N).last_column; \
691 (Current).first_line = (Current).last_line = \
692 YYRHSLOC(Rhs, 0).last_line; \
693 (Current).first_column = (Current).last_column = \
694 YYRHSLOC(Rhs, 0).last_column; \
696 (Current).source = 0; \
700 * Emit a warning to the shader log
702 * \sa _mesa_glsl_error
704 extern void _mesa_glsl_warning(const YYLTYPE
*locp
,
705 _mesa_glsl_parse_state
*state
,
706 const char *fmt
, ...);
708 extern void _mesa_glsl_lexer_ctor(struct _mesa_glsl_parse_state
*state
,
711 extern void _mesa_glsl_lexer_dtor(struct _mesa_glsl_parse_state
*state
);
714 extern int _mesa_glsl_lexer_lex(union YYSTYPE
*yylval
, YYLTYPE
*yylloc
,
717 extern int _mesa_glsl_parse(struct _mesa_glsl_parse_state
*);
720 * Process elements of the #extension directive
723 * If \c name and \c behavior are valid, \c true is returned. Otherwise
724 * \c false is returned.
726 extern bool _mesa_glsl_process_extension(const char *name
, YYLTYPE
*name_locp
,
727 const char *behavior
,
728 YYLTYPE
*behavior_locp
,
729 _mesa_glsl_parse_state
*state
);
731 #endif /* __cplusplus */
735 * These definitions apply to C and C++
741 extern int glcpp_preprocess(void *ctx
, const char **shader
, char **info_log
,
742 const struct gl_extensions
*extensions
, struct gl_context
*gl_ctx
);
744 extern void _mesa_destroy_shader_compiler(void);
745 extern void _mesa_destroy_shader_compiler_caches(void);
752 #endif /* GLSL_PARSER_EXTRAS_H */