src/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 #pragma once
  25 #ifndef GLSL_PARSER_EXTRAS_H
  26 #define GLSL_PARSER_EXTRAS_H
  27
  28 /*
  29  * Most of the definitions here only apply to C++
  30  */
  31 #ifdef __cplusplus
  32
  33
  34 #include <stdlib.h>
  35 #include "glsl_symbol_table.h"
  36
  37 enum _mesa_glsl_parser_targets {
  38    vertex_shader,
  39    geometry_shader,
  40    fragment_shader
  41 };
  42
  43 struct gl_context;
  44
  45 struct glsl_switch_state {
  46    /** Temporary variables needed for switch statement. */
  47    ir_variable *test_var;
  48    ir_variable *is_fallthru_var;
  49    ir_variable *is_break_var;
  50    class ast_switch_statement *switch_nesting_ast;
  51
  52    /** Table of constant values already used in case labels */
  53    struct hash_table *labels_ht;
  54    class ast_case_label *previous_default;
  55
  56    bool is_switch_innermost; // if switch stmt is closest to break, ...
  57 };
  58
  59 const char *
  60 glsl_compute_version_string(void *mem_ctx, bool is_es, unsigned version);
  61
  62 typedef struct YYLTYPE {
  63    int first_line;
  64    int first_column;
  65    int last_line;
  66    int last_column;
  67    unsigned source;
  68 } YYLTYPE;
  69 # define YYLTYPE_IS_DECLARED 1
  70 # define YYLTYPE_IS_TRIVIAL 1
  71
  72 struct _mesa_glsl_parse_state {
  73    _mesa_glsl_parse_state(struct gl_context *_ctx, GLenum target,
  74                           void *mem_ctx);
  75
  76    /* Callers of this ralloc-based new need not call delete. It's
  77     * easier to just ralloc_free 'ctx' (or any of its ancestors). */
  78    static void* operator new(size_t size, void *ctx)
  79    {
  80       void *mem = rzalloc_size(ctx, size);
  81       assert(mem != NULL);
  82
  83       return mem;
  84    }
  85
  86    /* If the user *does* call delete, that's OK, we will just
  87     * ralloc_free in that case. */
  88    static void operator delete(void *mem)
  89    {
  90       ralloc_free(mem);
  91    }
  92
  93    /**
  94     * Generate a string representing the GLSL version currently being compiled
  95     * (useful for error messages).
  96     */
  97    const char *get_version_string()
  98    {
  99       return glsl_compute_version_string(this, this->es_shader,
 100                                          this->language_version);
 101    }
 102
 103    /**
 104     * Determine whether the current GLSL version is sufficiently high to
 105     * support a certain feature.
 106     *
 107     * \param required_glsl_version is the desktop GLSL version that is
 108     * required to support the feature, or 0 if no version of desktop GLSL
 109     * supports the feature.
 110     *
 111     * \param required_glsl_es_version is the GLSL ES version that is required
 112     * to support the feature, or 0 if no version of GLSL ES suports the
 113     * feature.
 114     */
 115    bool is_version(unsigned required_glsl_version,
 116                    unsigned required_glsl_es_version)
 117    {
 118       unsigned required_version = this->es_shader ?
 119          required_glsl_es_version : required_glsl_version;
 120       return required_version != 0
 121          && this->language_version >= required_version;
 122    }
 123
 124    bool check_version(unsigned required_glsl_version,
 125                       unsigned required_glsl_es_version,
 126                       YYLTYPE *locp, const char *fmt, ...) PRINTFLIKE(5, 6);
 127
 128    bool check_precision_qualifiers_allowed(YYLTYPE *locp)
 129    {
 130       return check_version(130, 100, locp,
 131                            "precision qualifiers are forbidden");
 132    }
 133
 134    bool check_bitwise_operations_allowed(YYLTYPE *locp)
 135    {
 136       return check_version(130, 300, locp, "bit-wise operations are forbidden");
 137    }
 138
 139    void process_version_directive(YYLTYPE *locp, int version,
 140                                   const char *ident);
 141
 142    struct gl_context *const ctx;
 143    void *scanner;
 144    exec_list translation_unit;
 145    glsl_symbol_table *symbols;
 146
 147    unsigned num_uniform_blocks;
 148    unsigned uniform_block_array_size;
 149    struct gl_uniform_block *uniform_blocks;
 150
 151    bool es_shader;
 152    unsigned language_version;
 153    enum _mesa_glsl_parser_targets target;
 154
 155    /**
 156     * Default uniform layout qualifiers tracked during parsing.
 157     * Currently affects uniform blocks and uniform buffer variables in
 158     * those blocks.
 159     */
 160    struct ast_type_qualifier *default_uniform_qualifier;
 161
 162    /**
 163     * Printable list of GLSL versions supported by the current context
 164     *
 165     * \note
 166     * This string should probably be generated per-context instead of per
 167     * invokation of the compiler.  This should be changed when the method of
 168     * tracking supported GLSL versions changes.
 169     */
 170    const char *supported_version_string;
 171
 172    /**
 173     * Implementation defined limits that affect built-in variables, etc.
 174     *
 175     * \sa struct gl_constants (in mtypes.h)
 176     */
 177    struct {
 178       /* 1.10 */
 179       unsigned MaxLights;
 180       unsigned MaxClipPlanes;
 181       unsigned MaxTextureUnits;
 182       unsigned MaxTextureCoords;
 183       unsigned MaxVertexAttribs;
 184       unsigned MaxVertexUniformComponents;
 185       unsigned MaxVaryingFloats;
 186       unsigned MaxVertexTextureImageUnits;
 187       unsigned MaxCombinedTextureImageUnits;
 188       unsigned MaxTextureImageUnits;
 189       unsigned MaxFragmentUniformComponents;
 190
 191       /* ARB_draw_buffers */
 192       unsigned MaxDrawBuffers;
 193
 194       /* 3.00 ES */
 195       int MinProgramTexelOffset;
 196       int MaxProgramTexelOffset;
 197    } Const;
 198
 199    /**
 200     * During AST to IR conversion, pointer to current IR function
 201     *
 202     * Will be \c NULL whenever the AST to IR conversion is not inside a
 203     * function definition.
 204     */
 205    class ir_function_signature *current_function;
 206
 207    /**
 208     * During AST to IR conversion, pointer to the toplevel IR
 209     * instruction list being generated.
 210     */
 211    exec_list *toplevel_ir;
 212
 213    /** Have we found a return statement in this function? */
 214    bool found_return;
 215
 216    /** Was there an error during compilation? */
 217    bool error;
 218
 219    /**
 220     * Are all shader inputs / outputs invariant?
 221     *
 222     * This is set when the 'STDGL invariant(all)' pragma is used.
 223     */
 224    bool all_invariant;
 225
 226    /** Loop or switch statement containing the current instructions. */
 227    class ast_iteration_statement *loop_nesting_ast;
 228
 229    struct glsl_switch_state switch_state;
 230
 231    /** List of structures defined in user code. */
 232    const glsl_type **user_structures;
 233    unsigned num_user_structures;
 234
 235    char *info_log;
 236
 237    /**
 238     * \name Enable bits for GLSL extensions
 239     */
 240    /*@{*/
 241    bool ARB_draw_buffers_enable;
 242    bool ARB_draw_buffers_warn;
 243    bool ARB_draw_instanced_enable;
 244    bool ARB_draw_instanced_warn;
 245    bool ARB_explicit_attrib_location_enable;
 246    bool ARB_explicit_attrib_location_warn;
 247    bool ARB_fragment_coord_conventions_enable;
 248    bool ARB_fragment_coord_conventions_warn;
 249    bool ARB_texture_rectangle_enable;
 250    bool ARB_texture_rectangle_warn;
 251    bool EXT_texture_array_enable;
 252    bool EXT_texture_array_warn;
 253    bool ARB_shader_texture_lod_enable;
 254    bool ARB_shader_texture_lod_warn;
 255    bool ARB_shader_stencil_export_enable;
 256    bool ARB_shader_stencil_export_warn;
 257    bool AMD_conservative_depth_enable;
 258    bool AMD_conservative_depth_warn;
 259    bool ARB_conservative_depth_enable;
 260    bool ARB_conservative_depth_warn;
 261    bool AMD_shader_stencil_export_enable;
 262    bool AMD_shader_stencil_export_warn;
 263    bool OES_texture_3D_enable;
 264    bool OES_texture_3D_warn;
 265    bool OES_EGL_image_external_enable;
 266    bool OES_EGL_image_external_warn;
 267    bool ARB_shader_bit_encoding_enable;
 268    bool ARB_shader_bit_encoding_warn;
 269    bool ARB_uniform_buffer_object_enable;
 270    bool ARB_uniform_buffer_object_warn;
 271    bool OES_standard_derivatives_enable;
 272    bool OES_standard_derivatives_warn;
 273    bool ARB_texture_cube_map_array_enable;
 274    bool ARB_texture_cube_map_array_warn;
 275    bool ARB_shading_language_packing_enable;
 276    bool ARB_shading_language_packing_warn;
 277    /*@}*/
 278
 279    /** Extensions supported by the OpenGL implementation. */
 280    const struct gl_extensions *extensions;
 281
 282    /** Shaders containing built-in functions that are used for linking. */
 283    struct gl_shader *builtins_to_link[16];
 284    unsigned num_builtins_to_link;
 285 };
 286
 287 # define YYLLOC_DEFAULT(Current, Rhs, N)                        \
 288 do {                                                            \
 289    if (N)                                                       \
 290    {                                                            \
 291       (Current).first_line   = YYRHSLOC(Rhs, 1).first_line;     \
 292       (Current).first_column = YYRHSLOC(Rhs, 1).first_column;   \
 293       (Current).last_line    = YYRHSLOC(Rhs, N).last_line;      \
 294       (Current).last_column  = YYRHSLOC(Rhs, N).last_column;    \
 295    }                                                            \
 296    else                                                         \
 297    {                                                            \
 298       (Current).first_line   = (Current).last_line =            \
 299          YYRHSLOC(Rhs, 0).last_line;                            \
 300       (Current).first_column = (Current).last_column =          \
 301          YYRHSLOC(Rhs, 0).last_column;                          \
 302    }                                                            \
 303    (Current).source = 0;                                        \
 304 } while (0)
 305
 306 extern void _mesa_glsl_error(YYLTYPE *locp, _mesa_glsl_parse_state *state,
 307                              const char *fmt, ...);
 308
 309 /**
 310  * Emit a warning to the shader log
 311  *
 312  * \sa _mesa_glsl_error
 313  */
 314 extern void _mesa_glsl_warning(const YYLTYPE *locp,
 315                                _mesa_glsl_parse_state *state,
 316                                const char *fmt, ...);
 317
 318 extern void _mesa_glsl_lexer_ctor(struct _mesa_glsl_parse_state *state,
 319                                   const char *string);
 320
 321 extern void _mesa_glsl_lexer_dtor(struct _mesa_glsl_parse_state *state);
 322
 323 union YYSTYPE;
 324 extern int _mesa_glsl_lex(union YYSTYPE *yylval, YYLTYPE *yylloc,
 325                           void *scanner);
 326
 327 extern int _mesa_glsl_parse(struct _mesa_glsl_parse_state *);
 328
 329 /**
 330  * Process elements of the #extension directive
 331  *
 332  * \return
 333  * If \c name and \c behavior are valid, \c true is returned.  Otherwise
 334  * \c false is returned.
 335  */
 336 extern bool _mesa_glsl_process_extension(const char *name, YYLTYPE *name_locp,
 337                                          const char *behavior,
 338                                          YYLTYPE *behavior_locp,
 339                                          _mesa_glsl_parse_state *state);
 340
 341 /**
 342  * Get the textual name of the specified shader target
 343  */
 344 extern const char *
 345 _mesa_glsl_shader_target_name(enum _mesa_glsl_parser_targets target);
 346
 347
 348 #endif /* __cplusplus */
 349
 350
 351 /*
 352  * These definitions apply to C and C++
 353  */
 354 #ifdef __cplusplus
 355 extern "C" {
 356 #endif
 357
 358 extern int glcpp_preprocess(void *ctx, const char **shader, char **info_log,
 359                       const struct gl_extensions *extensions, struct gl_context *gl_ctx);
 360
 361 extern void _mesa_destroy_shader_compiler(void);
 362 extern void _mesa_destroy_shader_compiler_caches(void);
 363
 364 #ifdef __cplusplus
 365 }
 366 #endif
 367
 368
 369 #endif /* GLSL_PARSER_EXTRAS_H */