src/compiler/glsl/glsl_parser_extras.h

   1 /*
   2  * Copyright © 2010 Intel Corporation
   3  *
   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:
  10  *
  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
  13  * Software.
  14  *
  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.
  22  */
  23
  24 #ifndef GLSL_PARSER_EXTRAS_H
  25 #define GLSL_PARSER_EXTRAS_H
  26
  27 /*
  28  * Most of the definitions here only apply to C++
  29  */
  30 #ifdef __cplusplus
  31
  32
  33 #include <stdlib.h>
  34 #include "glsl_symbol_table.h"
  35
  36 /* THIS is a macro defined somewhere deep in the Windows MSVC header files.
  37  * Undefine it here to avoid collision with the lexer's THIS token.
  38  */
  39 #undef THIS
  40
  41 struct gl_context;
  42
  43 struct glsl_switch_state {
  44    /** Temporary variables needed for switch statement. */
  45    ir_variable *test_var;
  46    ir_variable *is_fallthru_var;
  47    class ast_switch_statement *switch_nesting_ast;
  48
  49    /** Used to detect if 'continue' was called inside a switch. */
  50    ir_variable *continue_inside;
  51
  52    /** Used to set condition if 'default' label should be chosen. */
  53    ir_variable *run_default;
  54
  55    /** Table of constant values already used in case labels */
  56    struct hash_table *labels_ht;
  57    class ast_case_label *previous_default;
  58
  59    bool is_switch_innermost; // if switch stmt is closest to break, ...
  60 };
  61
  62 const char *
  63 glsl_compute_version_string(void *mem_ctx, bool is_es, unsigned version);
  64
  65 typedef struct YYLTYPE {
  66    int first_line;
  67    int first_column;
  68    int last_line;
  69    int last_column;
  70    unsigned source;
  71 } YYLTYPE;
  72 # define YYLTYPE_IS_DECLARED 1
  73 # define YYLTYPE_IS_TRIVIAL 1
  74
  75 extern void _mesa_glsl_error(YYLTYPE *locp, _mesa_glsl_parse_state *state,
  76                              const char *fmt, ...);
  77
  78
  79 struct _mesa_glsl_parse_state {
  80    _mesa_glsl_parse_state(struct gl_context *_ctx, gl_shader_stage stage,
  81                           void *mem_ctx);
  82
  83    DECLARE_RZALLOC_CXX_OPERATORS(_mesa_glsl_parse_state);
  84
  85    /**
  86     * Generate a string representing the GLSL version currently being compiled
  87     * (useful for error messages).
  88     */
  89    const char *get_version_string()
  90    {
  91       return glsl_compute_version_string(this, this->es_shader,
  92                                          this->language_version);
  93    }
  94
  95    /**
  96     * Determine whether the current GLSL version is sufficiently high to
  97     * support a certain feature.
  98     *
  99     * \param required_glsl_version is the desktop GLSL version that is
 100     * required to support the feature, or 0 if no version of desktop GLSL
 101     * supports the feature.
 102     *
 103     * \param required_glsl_es_version is the GLSL ES version that is required
 104     * to support the feature, or 0 if no version of GLSL ES supports the
 105     * feature.
 106     */
 107    bool is_version(unsigned required_glsl_version,
 108                    unsigned required_glsl_es_version) const
 109    {
 110       unsigned required_version = this->es_shader ?
 111          required_glsl_es_version : required_glsl_version;
 112       unsigned this_version = this->forced_language_version
 113          ? this->forced_language_version : this->language_version;
 114       return required_version != 0
 115          && this_version >= required_version;
 116    }
 117
 118    bool check_version(unsigned required_glsl_version,
 119                       unsigned required_glsl_es_version,
 120                       YYLTYPE *locp, const char *fmt, ...) PRINTFLIKE(5, 6);
 121
 122    bool check_arrays_of_arrays_allowed(YYLTYPE *locp)
 123    {
 124       if (!(ARB_arrays_of_arrays_enable || is_version(430, 310))) {
 125          const char *const requirement = this->es_shader
 126             ? "GLSL ES 3.10"
 127             : "GL_ARB_arrays_of_arrays or GLSL 4.30";
 128          _mesa_glsl_error(locp, this,
 129                           "%s required for defining arrays of arrays.",
 130                           requirement);
 131          return false;
 132       }
 133       return true;
 134    }
 135
 136    bool check_precision_qualifiers_allowed(YYLTYPE *locp)
 137    {
 138       return check_version(130, 100, locp,
 139                            "precision qualifiers are forbidden");
 140    }
 141
 142    bool check_bitwise_operations_allowed(YYLTYPE *locp)
 143    {
 144       return check_version(130, 300, locp, "bit-wise operations are forbidden");
 145    }
 146
 147    bool check_explicit_attrib_stream_allowed(YYLTYPE *locp)
 148    {
 149       if (!this->has_explicit_attrib_stream()) {
 150          const char *const requirement = "GL_ARB_gpu_shader5 extension or GLSL 4.00";
 151
 152          _mesa_glsl_error(locp, this, "explicit stream requires %s",
 153                           requirement);
 154          return false;
 155       }
 156
 157       return true;
 158    }
 159
 160    bool check_explicit_attrib_location_allowed(YYLTYPE *locp,
 161                                                const ir_variable *var)
 162    {
 163       if (!this->has_explicit_attrib_location()) {
 164          const char *const requirement = this->es_shader
 165             ? "GLSL ES 3.00"
 166             : "GL_ARB_explicit_attrib_location extension or GLSL 3.30";
 167
 168          _mesa_glsl_error(locp, this, "%s explicit location requires %s",
 169                           mode_string(var), requirement);
 170          return false;
 171       }
 172
 173       return true;
 174    }
 175
 176    bool check_separate_shader_objects_allowed(YYLTYPE *locp,
 177                                               const ir_variable *var)
 178    {
 179       if (!this->has_separate_shader_objects()) {
 180          const char *const requirement = this->es_shader
 181             ? "GL_EXT_separate_shader_objects extension or GLSL ES 3.10"
 182             : "GL_ARB_separate_shader_objects extension or GLSL 4.20";
 183
 184          _mesa_glsl_error(locp, this, "%s explicit location requires %s",
 185                           mode_string(var), requirement);
 186          return false;
 187       }
 188
 189       return true;
 190    }
 191
 192    bool check_explicit_uniform_location_allowed(YYLTYPE *locp,
 193                                                 const ir_variable *)
 194    {
 195       if (!this->has_explicit_attrib_location() ||
 196           !this->has_explicit_uniform_location()) {
 197          const char *const requirement = this->es_shader
 198             ? "GLSL ES 3.10"
 199             : "GL_ARB_explicit_uniform_location and either "
 200               "GL_ARB_explicit_attrib_location or GLSL 3.30.";
 201
 202          _mesa_glsl_error(locp, this,
 203                           "uniform explicit location requires %s",
 204                           requirement);
 205          return false;
 206       }
 207
 208       return true;
 209    }
 210
 211    bool has_atomic_counters() const
 212    {
 213       return ARB_shader_atomic_counters_enable || is_version(420, 310);
 214    }
 215
 216    bool has_enhanced_layouts() const
 217    {
 218       return ARB_enhanced_layouts_enable || is_version(440, 0);
 219    }
 220
 221    bool has_explicit_attrib_stream() const
 222    {
 223       return ARB_gpu_shader5_enable || is_version(400, 0);
 224    }
 225
 226    bool has_explicit_attrib_location() const
 227    {
 228       return ARB_explicit_attrib_location_enable || is_version(330, 300);
 229    }
 230
 231    bool has_explicit_uniform_location() const
 232    {
 233       return ARB_explicit_uniform_location_enable || is_version(430, 310);
 234    }
 235
 236    bool has_uniform_buffer_objects() const
 237    {
 238       return ARB_uniform_buffer_object_enable || is_version(140, 300);
 239    }
 240
 241    bool has_shader_storage_buffer_objects() const
 242    {
 243       return ARB_shader_storage_buffer_object_enable || is_version(430, 310);
 244    }
 245
 246    bool has_separate_shader_objects() const
 247    {
 248       return ARB_separate_shader_objects_enable || is_version(410, 310)
 249          || EXT_separate_shader_objects_enable;
 250    }
 251
 252    bool has_double() const
 253    {
 254       return ARB_gpu_shader_fp64_enable || is_version(400, 0);
 255    }
 256
 257    bool has_int64() const
 258    {
 259       return ARB_gpu_shader_int64_enable ||
 260              AMD_gpu_shader_int64_enable;
 261    }
 262
 263    bool has_420pack() const
 264    {
 265       return ARB_shading_language_420pack_enable || is_version(420, 0);
 266    }
 267
 268    bool has_420pack_or_es31() const
 269    {
 270       return ARB_shading_language_420pack_enable || is_version(420, 310);
 271    }
 272
 273    bool has_compute_shader() const
 274    {
 275       return ARB_compute_shader_enable || is_version(430, 310);
 276    }
 277
 278    bool has_shader_io_blocks() const
 279    {
 280       /* The OES_geometry_shader_specification says:
 281        *
 282        *    "If the OES_geometry_shader extension is enabled, the
 283        *     OES_shader_io_blocks extension is also implicitly enabled."
 284        *
 285        * The OES_tessellation_shader extension has similar wording.
 286        */
 287       return OES_shader_io_blocks_enable ||
 288              EXT_shader_io_blocks_enable ||
 289              OES_geometry_shader_enable ||
 290              EXT_geometry_shader_enable ||
 291              OES_tessellation_shader_enable ||
 292              EXT_tessellation_shader_enable ||
 293
 294              is_version(150, 320);
 295    }
 296
 297    bool has_geometry_shader() const
 298    {
 299       return OES_geometry_shader_enable || EXT_geometry_shader_enable ||
 300              is_version(150, 320);
 301    }
 302
 303    bool has_tessellation_shader() const
 304    {
 305       return ARB_tessellation_shader_enable ||
 306              OES_tessellation_shader_enable ||
 307              EXT_tessellation_shader_enable ||
 308              is_version(400, 320);
 309    }
 310
 311    bool has_clip_distance() const
 312    {
 313       return EXT_clip_cull_distance_enable || is_version(130, 0);
 314    }
 315
 316    bool has_cull_distance() const
 317    {
 318       return EXT_clip_cull_distance_enable ||
 319              ARB_cull_distance_enable ||
 320              is_version(450, 0);
 321    }
 322
 323    bool has_framebuffer_fetch() const
 324    {
 325       return EXT_shader_framebuffer_fetch_enable ||
 326              EXT_shader_framebuffer_fetch_non_coherent_enable;
 327    }
 328
 329    bool has_texture_cube_map_array() const
 330    {
 331       return ARB_texture_cube_map_array_enable ||
 332              EXT_texture_cube_map_array_enable ||
 333              OES_texture_cube_map_array_enable ||
 334              is_version(400, 320);
 335    }
 336
 337    bool has_shader_image_load_store() const
 338    {
 339       return ARB_shader_image_load_store_enable || is_version(420, 310);
 340    }
 341
 342    bool has_bindless() const
 343    {
 344       return ARB_bindless_texture_enable;
 345    }
 346
 347    bool has_image_load_formatted() const
 348    {
 349       return EXT_shader_image_load_formatted_enable;
 350    }
 351
 352    bool has_implicit_conversions() const
 353    {
 354       return EXT_shader_implicit_conversions_enable || is_version(120, 0);
 355    }
 356
 357    bool has_implicit_uint_to_int_conversion() const
 358    {
 359       return ARB_gpu_shader5_enable ||
 360              MESA_shader_integer_functions_enable ||
 361              EXT_shader_implicit_conversions_enable ||
 362              is_version(400, 0);
 363    }
 364
 365    void process_version_directive(YYLTYPE *locp, int version,
 366                                   const char *ident);
 367
 368    struct gl_context *const ctx;
 369    void *scanner;
 370    exec_list translation_unit;
 371    glsl_symbol_table *symbols;
 372
 373    void *linalloc;
 374
 375    unsigned num_supported_versions;
 376    struct {
 377       unsigned ver;
 378       uint8_t gl_ver;
 379       bool es;
 380    } supported_versions[17];
 381
 382    bool es_shader;
 383    bool compat_shader;
 384    unsigned language_version;
 385    unsigned forced_language_version;
 386    bool zero_init;
 387    unsigned gl_version;
 388    gl_shader_stage stage;
 389
 390    /**
 391     * Default uniform layout qualifiers tracked during parsing.
 392     * Currently affects uniform blocks and uniform buffer variables in
 393     * those blocks.
 394     */
 395    struct ast_type_qualifier *default_uniform_qualifier;
 396
 397    /**
 398     * Default shader storage layout qualifiers tracked during parsing.
 399     * Currently affects shader storage blocks and shader storage buffer
 400     * variables in those blocks.
 401     */
 402    struct ast_type_qualifier *default_shader_storage_qualifier;
 403
 404    /**
 405     * Variables to track different cases if a fragment shader redeclares
 406     * built-in variable gl_FragCoord.
 407     *
 408     * Note: These values are computed at ast_to_hir time rather than at parse
 409     * time.
 410     */
 411    bool fs_redeclares_gl_fragcoord;
 412    bool fs_origin_upper_left;
 413    bool fs_pixel_center_integer;
 414    bool fs_redeclares_gl_fragcoord_with_no_layout_qualifiers;
 415
 416    /**
 417     * True if a geometry shader input primitive type or tessellation control
 418     * output vertices were specified using a layout directive.
 419     *
 420     * Note: these values are computed at ast_to_hir time rather than at parse
 421     * time.
 422     */
 423    bool gs_input_prim_type_specified;
 424    bool tcs_output_vertices_specified;
 425
 426    /**
 427     * Input layout qualifiers from GLSL 1.50 (geometry shader controls),
 428     * and GLSL 4.00 (tessellation evaluation shader)
 429     */
 430    struct ast_type_qualifier *in_qualifier;
 431
 432    /**
 433     * True if a compute shader input local size was specified using a layout
 434     * directive.
 435     *
 436     * Note: this value is computed at ast_to_hir time rather than at parse
 437     * time.
 438     */
 439    bool cs_input_local_size_specified;
 440
 441    /**
 442     * If cs_input_local_size_specified is true, the local size that was
 443     * specified.  Otherwise ignored.
 444     */
 445    unsigned cs_input_local_size[3];
 446
 447    /**
 448     * True if a compute shader input local variable size was specified using
 449     * a layout directive as specified by ARB_compute_variable_group_size.
 450     */
 451    bool cs_input_local_size_variable_specified;
 452
 453    /**
 454     * Arrangement of invocations used to calculate derivatives in a compute
 455     * shader.  From NV_compute_shader_derivatives.
 456     */
 457    enum gl_derivative_group cs_derivative_group;
 458
 459    /**
 460     * True if a shader declare bindless_sampler/bindless_image, and
 461     * respectively bound_sampler/bound_image at global scope as specified by
 462     * ARB_bindless_texture.
 463     */
 464    bool bindless_sampler_specified;
 465    bool bindless_image_specified;
 466    bool bound_sampler_specified;
 467    bool bound_image_specified;
 468
 469    /**
 470     * Output layout qualifiers from GLSL 1.50 (geometry shader controls),
 471     * and GLSL 4.00 (tessellation control shader).
 472     */
 473    struct ast_type_qualifier *out_qualifier;
 474
 475    /**
 476     * Printable list of GLSL versions supported by the current context
 477     *
 478     * \note
 479     * This string should probably be generated per-context instead of per
 480     * invokation of the compiler.  This should be changed when the method of
 481     * tracking supported GLSL versions changes.
 482     */
 483    const char *supported_version_string;
 484
 485    /**
 486     * Implementation defined limits that affect built-in variables, etc.
 487     *
 488     * \sa struct gl_constants (in mtypes.h)
 489     */
 490    struct {
 491       /* 1.10 */
 492       unsigned MaxLights;
 493       unsigned MaxClipPlanes;
 494       unsigned MaxTextureUnits;
 495       unsigned MaxTextureCoords;
 496       unsigned MaxVertexAttribs;
 497       unsigned MaxVertexUniformComponents;
 498       unsigned MaxVertexTextureImageUnits;
 499       unsigned MaxCombinedTextureImageUnits;
 500       unsigned MaxTextureImageUnits;
 501       unsigned MaxFragmentUniformComponents;
 502
 503       /* ARB_draw_buffers */
 504       unsigned MaxDrawBuffers;
 505
 506       /* ARB_enhanced_layouts */
 507       unsigned MaxTransformFeedbackBuffers;
 508       unsigned MaxTransformFeedbackInterleavedComponents;
 509
 510       /* ARB_blend_func_extended */
 511       unsigned MaxDualSourceDrawBuffers;
 512
 513       /* 3.00 ES */
 514       int MinProgramTexelOffset;
 515       int MaxProgramTexelOffset;
 516
 517       /* 1.50 */
 518       unsigned MaxVertexOutputComponents;
 519       unsigned MaxGeometryInputComponents;
 520       unsigned MaxGeometryOutputComponents;
 521       unsigned MaxGeometryShaderInvocations;
 522       unsigned MaxFragmentInputComponents;
 523       unsigned MaxGeometryTextureImageUnits;
 524       unsigned MaxGeometryOutputVertices;
 525       unsigned MaxGeometryTotalOutputComponents;
 526       unsigned MaxGeometryUniformComponents;
 527
 528       /* ARB_shader_atomic_counters */
 529       unsigned MaxVertexAtomicCounters;
 530       unsigned MaxTessControlAtomicCounters;
 531       unsigned MaxTessEvaluationAtomicCounters;
 532       unsigned MaxGeometryAtomicCounters;
 533       unsigned MaxFragmentAtomicCounters;
 534       unsigned MaxCombinedAtomicCounters;
 535       unsigned MaxAtomicBufferBindings;
 536
 537       /* These are also atomic counter related, but they weren't added to
 538        * until atomic counters were added to core in GLSL 4.20 and GLSL ES
 539        * 3.10.
 540        */
 541       unsigned MaxVertexAtomicCounterBuffers;
 542       unsigned MaxTessControlAtomicCounterBuffers;
 543       unsigned MaxTessEvaluationAtomicCounterBuffers;
 544       unsigned MaxGeometryAtomicCounterBuffers;
 545       unsigned MaxFragmentAtomicCounterBuffers;
 546       unsigned MaxCombinedAtomicCounterBuffers;
 547       unsigned MaxAtomicCounterBufferSize;
 548
 549       /* ARB_compute_shader */
 550       unsigned MaxComputeAtomicCounterBuffers;
 551       unsigned MaxComputeAtomicCounters;
 552       unsigned MaxComputeImageUniforms;
 553       unsigned MaxComputeTextureImageUnits;
 554       unsigned MaxComputeUniformComponents;
 555       unsigned MaxComputeWorkGroupCount[3];
 556       unsigned MaxComputeWorkGroupSize[3];
 557
 558       /* ARB_shader_image_load_store */
 559       unsigned MaxImageUnits;
 560       unsigned MaxCombinedShaderOutputResources;
 561       unsigned MaxImageSamples;
 562       unsigned MaxVertexImageUniforms;
 563       unsigned MaxTessControlImageUniforms;
 564       unsigned MaxTessEvaluationImageUniforms;
 565       unsigned MaxGeometryImageUniforms;
 566       unsigned MaxFragmentImageUniforms;
 567       unsigned MaxCombinedImageUniforms;
 568
 569       /* ARB_viewport_array */
 570       unsigned MaxViewports;
 571
 572       /* ARB_tessellation_shader */
 573       unsigned MaxPatchVertices;
 574       unsigned MaxTessGenLevel;
 575       unsigned MaxTessControlInputComponents;
 576       unsigned MaxTessControlOutputComponents;
 577       unsigned MaxTessControlTextureImageUnits;
 578       unsigned MaxTessEvaluationInputComponents;
 579       unsigned MaxTessEvaluationOutputComponents;
 580       unsigned MaxTessEvaluationTextureImageUnits;
 581       unsigned MaxTessPatchComponents;
 582       unsigned MaxTessControlTotalOutputComponents;
 583       unsigned MaxTessControlUniformComponents;
 584       unsigned MaxTessEvaluationUniformComponents;
 585
 586       /* GL 4.5 / OES_sample_variables */
 587       unsigned MaxSamples;
 588    } Const;
 589
 590    /**
 591     * During AST to IR conversion, pointer to current IR function
 592     *
 593     * Will be \c NULL whenever the AST to IR conversion is not inside a
 594     * function definition.
 595     */
 596    class ir_function_signature *current_function;
 597
 598    /**
 599     * During AST to IR conversion, pointer to the toplevel IR
 600     * instruction list being generated.
 601     */
 602    exec_list *toplevel_ir;
 603
 604    /** Have we found a return statement in this function? */
 605    bool found_return;
 606
 607    /** Was there an error during compilation? */
 608    bool error;
 609
 610    /**
 611     * Are all shader inputs / outputs invariant?
 612     *
 613     * This is set when the 'STDGL invariant(all)' pragma is used.
 614     */
 615    bool all_invariant;
 616
 617    /** Loop or switch statement containing the current instructions. */
 618    class ast_iteration_statement *loop_nesting_ast;
 619
 620    struct glsl_switch_state switch_state;
 621
 622    /** List of structures defined in user code. */
 623    const glsl_type **user_structures;
 624    unsigned num_user_structures;
 625
 626    char *info_log;
 627
 628    /**
 629     * Are warnings enabled?
 630     *
 631     * Emission of warngins is controlled by '#pragma warning(...)'.
 632     */
 633    bool warnings_enabled;
 634
 635    /**
 636     * \name Enable bits for GLSL extensions
 637     */
 638    /*@{*/
 639    /* ARB extensions go here, sorted alphabetically.
 640     */
 641    bool ARB_ES3_1_compatibility_enable;
 642    bool ARB_ES3_1_compatibility_warn;
 643    bool ARB_ES3_2_compatibility_enable;
 644    bool ARB_ES3_2_compatibility_warn;
 645    bool ARB_arrays_of_arrays_enable;
 646    bool ARB_arrays_of_arrays_warn;
 647    bool ARB_bindless_texture_enable;
 648    bool ARB_bindless_texture_warn;
 649    bool ARB_compatibility_enable;
 650    bool ARB_compatibility_warn;
 651    bool ARB_compute_shader_enable;
 652    bool ARB_compute_shader_warn;
 653    bool ARB_compute_variable_group_size_enable;
 654    bool ARB_compute_variable_group_size_warn;
 655    bool ARB_conservative_depth_enable;
 656    bool ARB_conservative_depth_warn;
 657    bool ARB_cull_distance_enable;
 658    bool ARB_cull_distance_warn;
 659    bool ARB_derivative_control_enable;
 660    bool ARB_derivative_control_warn;
 661    bool ARB_draw_buffers_enable;
 662    bool ARB_draw_buffers_warn;
 663    bool ARB_draw_instanced_enable;
 664    bool ARB_draw_instanced_warn;
 665    bool ARB_enhanced_layouts_enable;
 666    bool ARB_enhanced_layouts_warn;
 667    bool ARB_explicit_attrib_location_enable;
 668    bool ARB_explicit_attrib_location_warn;
 669    bool ARB_explicit_uniform_location_enable;
 670    bool ARB_explicit_uniform_location_warn;
 671    bool ARB_fragment_coord_conventions_enable;
 672    bool ARB_fragment_coord_conventions_warn;
 673    bool ARB_fragment_layer_viewport_enable;
 674    bool ARB_fragment_layer_viewport_warn;
 675    bool ARB_fragment_shader_interlock_enable;
 676    bool ARB_fragment_shader_interlock_warn;
 677    bool ARB_gpu_shader5_enable;
 678    bool ARB_gpu_shader5_warn;
 679    bool ARB_gpu_shader_fp64_enable;
 680    bool ARB_gpu_shader_fp64_warn;
 681    bool ARB_gpu_shader_int64_enable;
 682    bool ARB_gpu_shader_int64_warn;
 683    bool ARB_post_depth_coverage_enable;
 684    bool ARB_post_depth_coverage_warn;
 685    bool ARB_sample_shading_enable;
 686    bool ARB_sample_shading_warn;
 687    bool ARB_separate_shader_objects_enable;
 688    bool ARB_separate_shader_objects_warn;
 689    bool ARB_shader_atomic_counter_ops_enable;
 690    bool ARB_shader_atomic_counter_ops_warn;
 691    bool ARB_shader_atomic_counters_enable;
 692    bool ARB_shader_atomic_counters_warn;
 693    bool ARB_shader_ballot_enable;
 694    bool ARB_shader_ballot_warn;
 695    bool ARB_shader_bit_encoding_enable;
 696    bool ARB_shader_bit_encoding_warn;
 697    bool ARB_shader_clock_enable;
 698    bool ARB_shader_clock_warn;
 699    bool ARB_shader_draw_parameters_enable;
 700    bool ARB_shader_draw_parameters_warn;
 701    bool ARB_shader_group_vote_enable;
 702    bool ARB_shader_group_vote_warn;
 703    bool ARB_shader_image_load_store_enable;
 704    bool ARB_shader_image_load_store_warn;
 705    bool ARB_shader_image_size_enable;
 706    bool ARB_shader_image_size_warn;
 707    bool ARB_shader_precision_enable;
 708    bool ARB_shader_precision_warn;
 709    bool ARB_shader_stencil_export_enable;
 710    bool ARB_shader_stencil_export_warn;
 711    bool ARB_shader_storage_buffer_object_enable;
 712    bool ARB_shader_storage_buffer_object_warn;
 713    bool ARB_shader_subroutine_enable;
 714    bool ARB_shader_subroutine_warn;
 715    bool ARB_shader_texture_image_samples_enable;
 716    bool ARB_shader_texture_image_samples_warn;
 717    bool ARB_shader_texture_lod_enable;
 718    bool ARB_shader_texture_lod_warn;
 719    bool ARB_shader_viewport_layer_array_enable;
 720    bool ARB_shader_viewport_layer_array_warn;
 721    bool ARB_shading_language_420pack_enable;
 722    bool ARB_shading_language_420pack_warn;
 723    bool ARB_shading_language_packing_enable;
 724    bool ARB_shading_language_packing_warn;
 725    bool ARB_tessellation_shader_enable;
 726    bool ARB_tessellation_shader_warn;
 727    bool ARB_texture_cube_map_array_enable;
 728    bool ARB_texture_cube_map_array_warn;
 729    bool ARB_texture_gather_enable;
 730    bool ARB_texture_gather_warn;
 731    bool ARB_texture_multisample_enable;
 732    bool ARB_texture_multisample_warn;
 733    bool ARB_texture_query_levels_enable;
 734    bool ARB_texture_query_levels_warn;
 735    bool ARB_texture_query_lod_enable;
 736    bool ARB_texture_query_lod_warn;
 737    bool ARB_texture_rectangle_enable;
 738    bool ARB_texture_rectangle_warn;
 739    bool ARB_uniform_buffer_object_enable;
 740    bool ARB_uniform_buffer_object_warn;
 741    bool ARB_vertex_attrib_64bit_enable;
 742    bool ARB_vertex_attrib_64bit_warn;
 743    bool ARB_viewport_array_enable;
 744    bool ARB_viewport_array_warn;
 745
 746    /* KHR extensions go here, sorted alphabetically.
 747     */
 748    bool KHR_blend_equation_advanced_enable;
 749    bool KHR_blend_equation_advanced_warn;
 750
 751    /* OES extensions go here, sorted alphabetically.
 752     */
 753    bool OES_EGL_image_external_enable;
 754    bool OES_EGL_image_external_warn;
 755    bool OES_EGL_image_external_essl3_enable;
 756    bool OES_EGL_image_external_essl3_warn;
 757    bool OES_geometry_point_size_enable;
 758    bool OES_geometry_point_size_warn;
 759    bool OES_geometry_shader_enable;
 760    bool OES_geometry_shader_warn;
 761    bool OES_gpu_shader5_enable;
 762    bool OES_gpu_shader5_warn;
 763    bool OES_primitive_bounding_box_enable;
 764    bool OES_primitive_bounding_box_warn;
 765    bool OES_sample_variables_enable;
 766    bool OES_sample_variables_warn;
 767    bool OES_shader_image_atomic_enable;
 768    bool OES_shader_image_atomic_warn;
 769    bool OES_shader_io_blocks_enable;
 770    bool OES_shader_io_blocks_warn;
 771    bool OES_shader_multisample_interpolation_enable;
 772    bool OES_shader_multisample_interpolation_warn;
 773    bool OES_standard_derivatives_enable;
 774    bool OES_standard_derivatives_warn;
 775    bool OES_tessellation_point_size_enable;
 776    bool OES_tessellation_point_size_warn;
 777    bool OES_tessellation_shader_enable;
 778    bool OES_tessellation_shader_warn;
 779    bool OES_texture_3D_enable;
 780    bool OES_texture_3D_warn;
 781    bool OES_texture_buffer_enable;
 782    bool OES_texture_buffer_warn;
 783    bool OES_texture_cube_map_array_enable;
 784    bool OES_texture_cube_map_array_warn;
 785    bool OES_texture_storage_multisample_2d_array_enable;
 786    bool OES_texture_storage_multisample_2d_array_warn;
 787    bool OES_viewport_array_enable;
 788    bool OES_viewport_array_warn;
 789
 790    /* All other extensions go here, sorted alphabetically.
 791     */
 792    bool AMD_conservative_depth_enable;
 793    bool AMD_conservative_depth_warn;
 794    bool AMD_gpu_shader_int64_enable;
 795    bool AMD_gpu_shader_int64_warn;
 796    bool AMD_shader_stencil_export_enable;
 797    bool AMD_shader_stencil_export_warn;
 798    bool AMD_shader_trinary_minmax_enable;
 799    bool AMD_shader_trinary_minmax_warn;
 800    bool AMD_texture_texture4_enable;
 801    bool AMD_texture_texture4_warn;
 802    bool AMD_vertex_shader_layer_enable;
 803    bool AMD_vertex_shader_layer_warn;
 804    bool AMD_vertex_shader_viewport_index_enable;
 805    bool AMD_vertex_shader_viewport_index_warn;
 806    bool ANDROID_extension_pack_es31a_enable;
 807    bool ANDROID_extension_pack_es31a_warn;
 808    bool EXT_blend_func_extended_enable;
 809    bool EXT_blend_func_extended_warn;
 810    bool EXT_clip_cull_distance_enable;
 811    bool EXT_clip_cull_distance_warn;
 812    bool EXT_draw_buffers_enable;
 813    bool EXT_draw_buffers_warn;
 814    bool EXT_frag_depth_enable;
 815    bool EXT_frag_depth_warn;
 816    bool EXT_geometry_point_size_enable;
 817    bool EXT_geometry_point_size_warn;
 818    bool EXT_geometry_shader_enable;
 819    bool EXT_geometry_shader_warn;
 820    bool EXT_gpu_shader5_enable;
 821    bool EXT_gpu_shader5_warn;
 822    bool EXT_primitive_bounding_box_enable;
 823    bool EXT_primitive_bounding_box_warn;
 824    bool EXT_separate_shader_objects_enable;
 825    bool EXT_separate_shader_objects_warn;
 826    bool EXT_shader_framebuffer_fetch_enable;
 827    bool EXT_shader_framebuffer_fetch_warn;
 828    bool EXT_shader_framebuffer_fetch_non_coherent_enable;
 829    bool EXT_shader_framebuffer_fetch_non_coherent_warn;
 830    bool EXT_shader_image_load_formatted_enable;
 831    bool EXT_shader_image_load_formatted_warn;
 832    bool EXT_shader_implicit_conversions_enable;
 833    bool EXT_shader_implicit_conversions_warn;
 834    bool EXT_shader_integer_mix_enable;
 835    bool EXT_shader_integer_mix_warn;
 836    bool EXT_shader_io_blocks_enable;
 837    bool EXT_shader_io_blocks_warn;
 838    bool EXT_shader_samples_identical_enable;
 839    bool EXT_shader_samples_identical_warn;
 840    bool EXT_tessellation_point_size_enable;
 841    bool EXT_tessellation_point_size_warn;
 842    bool EXT_tessellation_shader_enable;
 843    bool EXT_tessellation_shader_warn;
 844    bool EXT_texture_array_enable;
 845    bool EXT_texture_array_warn;
 846    bool EXT_texture_buffer_enable;
 847    bool EXT_texture_buffer_warn;
 848    bool EXT_texture_cube_map_array_enable;
 849    bool EXT_texture_cube_map_array_warn;
 850    bool EXT_texture_query_lod_enable;
 851    bool EXT_texture_query_lod_warn;
 852    bool INTEL_conservative_rasterization_enable;
 853    bool INTEL_conservative_rasterization_warn;
 854    bool INTEL_shader_atomic_float_minmax_enable;
 855    bool INTEL_shader_atomic_float_minmax_warn;
 856    bool MESA_shader_integer_functions_enable;
 857    bool MESA_shader_integer_functions_warn;
 858    bool NV_compute_shader_derivatives_enable;
 859    bool NV_compute_shader_derivatives_warn;
 860    bool NV_fragment_shader_interlock_enable;
 861    bool NV_fragment_shader_interlock_warn;
 862    bool NV_image_formats_enable;
 863    bool NV_image_formats_warn;
 864    bool NV_shader_atomic_float_enable;
 865    bool NV_shader_atomic_float_warn;
 866    /*@}*/
 867
 868    /** Extensions supported by the OpenGL implementation. */
 869    const struct gl_extensions *extensions;
 870
 871    bool uses_builtin_functions;
 872    bool fs_uses_gl_fragcoord;
 873
 874    /**
 875     * For geometry shaders, size of the most recently seen input declaration
 876     * that was a sized array, or 0 if no sized input array declarations have
 877     * been seen.
 878     *
 879     * Unused for other shader types.
 880     */
 881    unsigned gs_input_size;
 882
 883    bool fs_early_fragment_tests;
 884
 885    bool fs_inner_coverage;
 886
 887    bool fs_post_depth_coverage;
 888
 889    bool fs_pixel_interlock_ordered;
 890    bool fs_pixel_interlock_unordered;
 891    bool fs_sample_interlock_ordered;
 892    bool fs_sample_interlock_unordered;
 893
 894    unsigned fs_blend_support;
 895
 896    /**
 897     * For tessellation control shaders, size of the most recently seen output
 898     * declaration that was a sized array, or 0 if no sized output array
 899     * declarations have been seen.
 900     *
 901     * Unused for other shader types.
 902     */
 903    unsigned tcs_output_size;
 904
 905    /** Atomic counter offsets by binding */
 906    unsigned atomic_counter_offsets[MAX_COMBINED_ATOMIC_BUFFERS];
 907
 908    bool allow_extension_directive_midshader;
 909    bool allow_builtin_variable_redeclaration;
 910    bool allow_layout_qualifier_on_function_parameter;
 911
 912    /**
 913     * Known subroutine type declarations.
 914     */
 915    int num_subroutine_types;
 916    ir_function **subroutine_types;
 917
 918    /**
 919     * Functions that are associated with
 920     * subroutine types.
 921     */
 922    int num_subroutines;
 923    ir_function **subroutines;
 924
 925    /**
 926     * field selection temporary parser storage -
 927     * did the parser just parse a dot.
 928     */
 929    bool is_field;
 930
 931    /**
 932     * seen values for clip/cull distance sizes
 933     * so we can check totals aren't too large.
 934     */
 935    unsigned clip_dist_size, cull_dist_size;
 936 };
 937
 938 # define YYLLOC_DEFAULT(Current, Rhs, N)                        \
 939 do {                                                            \
 940    if (N)                                                       \
 941    {                                                            \
 942       (Current).first_line   = YYRHSLOC(Rhs, 1).first_line;     \
 943       (Current).first_column = YYRHSLOC(Rhs, 1).first_column;   \
 944       (Current).last_line    = YYRHSLOC(Rhs, N).last_line;      \
 945       (Current).last_column  = YYRHSLOC(Rhs, N).last_column;    \
 946    }                                                            \
 947    else                                                         \
 948    {                                                            \
 949       (Current).first_line   = (Current).last_line =            \
 950          YYRHSLOC(Rhs, 0).last_line;                            \
 951       (Current).first_column = (Current).last_column =          \
 952          YYRHSLOC(Rhs, 0).last_column;                          \
 953    }                                                            \
 954    (Current).source = 0;                                        \
 955 } while (0)
 956
 957 /**
 958  * Emit a warning to the shader log
 959  *
 960  * \sa _mesa_glsl_error
 961  */
 962 extern void _mesa_glsl_warning(const YYLTYPE *locp,
 963                                _mesa_glsl_parse_state *state,
 964                                const char *fmt, ...);
 965
 966 extern void _mesa_glsl_lexer_ctor(struct _mesa_glsl_parse_state *state,
 967                                   const char *string);
 968
 969 extern void _mesa_glsl_lexer_dtor(struct _mesa_glsl_parse_state *state);
 970
 971 union YYSTYPE;
 972 extern int _mesa_glsl_lexer_lex(union YYSTYPE *yylval, YYLTYPE *yylloc,
 973                                 void *scanner);
 974
 975 extern int _mesa_glsl_parse(struct _mesa_glsl_parse_state *);
 976
 977 /**
 978  * Process elements of the #extension directive
 979  *
 980  * \return
 981  * If \c name and \c behavior are valid, \c true is returned.  Otherwise
 982  * \c false is returned.
 983  */
 984 extern bool _mesa_glsl_process_extension(const char *name, YYLTYPE *name_locp,
 985                                          const char *behavior,
 986                                          YYLTYPE *behavior_locp,
 987                                          _mesa_glsl_parse_state *state);
 988
 989 #endif /* __cplusplus */
 990
 991
 992 /*
 993  * These definitions apply to C and C++
 994  */
 995 #ifdef __cplusplus
 996 extern "C" {
 997 #endif
 998
 999 struct glcpp_parser;
1000
1001 typedef void (*glcpp_extension_iterator)(
1002               struct _mesa_glsl_parse_state *state,
1003               void (*add_builtin_define)(struct glcpp_parser *, const char *, int),
1004               struct glcpp_parser *data,
1005               unsigned version,
1006               bool es);
1007
1008 extern int glcpp_preprocess(void *ctx, const char **shader, char **info_log,
1009                             glcpp_extension_iterator extensions,
1010                             struct _mesa_glsl_parse_state *state,
1011                             struct gl_context *gl_ctx);
1012
1013 extern void _mesa_destroy_shader_compiler(void);
1014 extern void _mesa_destroy_shader_compiler_caches(void);
1015
1016 extern void
1017 _mesa_glsl_copy_symbols_from_table(struct exec_list *shader_ir,
1018                                    struct glsl_symbol_table *src,
1019                                    struct glsl_symbol_table *dest);
1020
1021 #ifdef __cplusplus
1022 }
1023 #endif
1024
1025
1026 #endif /* GLSL_PARSER_EXTRAS_H */