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 struct _mesa_glsl_parse_state {
  60    _mesa_glsl_parse_state(struct gl_context *_ctx, GLenum target,
  61                           void *mem_ctx);
  62
  63    /* Callers of this ralloc-based new need not call delete. It's
  64     * easier to just ralloc_free 'ctx' (or any of its ancestors). */
  65    static void* operator new(size_t size, void *ctx)
  66    {
  67       void *mem = rzalloc_size(ctx, size);
  68       assert(mem != NULL);
  69
  70       return mem;
  71    }
  72
  73    /* If the user *does* call delete, that's OK, we will just
  74     * ralloc_free in that case. */
  75    static void operator delete(void *mem)
  76    {
  77       ralloc_free(mem);
  78    }
  79
  80    struct gl_context *const ctx;
  81    void *scanner;
  82    exec_list translation_unit;
  83    glsl_symbol_table *symbols;
  84
  85    bool es_shader;
  86    unsigned language_version;
  87    const char *version_string;
  88    enum _mesa_glsl_parser_targets target;
  89
  90    /**
  91     * Printable list of GLSL versions supported by the current context
  92     *
  93     * \note
  94     * This string should probably be generated per-context instead of per
  95     * invokation of the compiler.  This should be changed when the method of
  96     * tracking supported GLSL versions changes.
  97     */
  98    const char *supported_version_string;
  99
 100    /**
 101     * Implementation defined limits that affect built-in variables, etc.
 102     *
 103     * \sa struct gl_constants (in mtypes.h)
 104     */
 105    struct {
 106       /* 1.10 */
 107       unsigned MaxLights;
 108       unsigned MaxClipPlanes;
 109       unsigned MaxTextureUnits;
 110       unsigned MaxTextureCoords;
 111       unsigned MaxVertexAttribs;
 112       unsigned MaxVertexUniformComponents;
 113       unsigned MaxVaryingFloats;
 114       unsigned MaxVertexTextureImageUnits;
 115       unsigned MaxCombinedTextureImageUnits;
 116       unsigned MaxTextureImageUnits;
 117       unsigned MaxFragmentUniformComponents;
 118
 119       /* ARB_draw_buffers */
 120       unsigned MaxDrawBuffers;
 121
 122       /**
 123        * Set of GLSL versions supported by the current context
 124        *
 125        * Knowing that version X is supported doesn't mean that versions before
 126        * X are also supported.  Version 1.00 is only supported in an ES2
 127        * context or when GL_ARB_ES2_compatibility is supported.  In an OpenGL
 128        * 3.0 "forward compatible" context, GLSL 1.10 and 1.20 are \b not
 129        * supported.
 130        */
 131       /*@{*/
 132       unsigned GLSL_100ES:1;
 133       unsigned GLSL_110:1;
 134       unsigned GLSL_120:1;
 135       unsigned GLSL_130:1;
 136       unsigned GLSL_140:1;
 137       /*@}*/
 138    } Const;
 139
 140    /**
 141     * During AST to IR conversion, pointer to current IR function
 142     *
 143     * Will be \c NULL whenever the AST to IR conversion is not inside a
 144     * function definition.
 145     */
 146    class ir_function_signature *current_function;
 147
 148    /**
 149     * During AST to IR conversion, pointer to the toplevel IR
 150     * instruction list being generated.
 151     */
 152    exec_list *toplevel_ir;
 153
 154    /** Have we found a return statement in this function? */
 155    bool found_return;
 156
 157    /** Was there an error during compilation? */
 158    bool error;
 159
 160    /**
 161     * Are all shader inputs / outputs invariant?
 162     *
 163     * This is set when the 'STDGL invariant(all)' pragma is used.
 164     */
 165    bool all_invariant;
 166
 167    /** Loop or switch statement containing the current instructions. */
 168    class ast_iteration_statement *loop_nesting_ast;
 169
 170    struct glsl_switch_state switch_state;
 171
 172    /** List of structures defined in user code. */
 173    const glsl_type **user_structures;
 174    unsigned num_user_structures;
 175
 176    char *info_log;
 177
 178    /**
 179     * \name Enable bits for GLSL extensions
 180     */
 181    /*@{*/
 182    bool ARB_draw_buffers_enable;
 183    bool ARB_draw_buffers_warn;
 184    bool ARB_draw_instanced_enable;
 185    bool ARB_draw_instanced_warn;
 186    bool ARB_explicit_attrib_location_enable;
 187    bool ARB_explicit_attrib_location_warn;
 188    bool ARB_fragment_coord_conventions_enable;
 189    bool ARB_fragment_coord_conventions_warn;
 190    bool ARB_texture_rectangle_enable;
 191    bool ARB_texture_rectangle_warn;
 192    bool EXT_texture_array_enable;
 193    bool EXT_texture_array_warn;
 194    bool ARB_shader_texture_lod_enable;
 195    bool ARB_shader_texture_lod_warn;
 196    bool ARB_shader_stencil_export_enable;
 197    bool ARB_shader_stencil_export_warn;
 198    bool AMD_conservative_depth_enable;
 199    bool AMD_conservative_depth_warn;
 200    bool ARB_conservative_depth_enable;
 201    bool ARB_conservative_depth_warn;
 202    bool AMD_shader_stencil_export_enable;
 203    bool AMD_shader_stencil_export_warn;
 204    bool OES_texture_3D_enable;
 205    bool OES_texture_3D_warn;
 206    bool OES_EGL_image_external_enable;
 207    bool OES_EGL_image_external_warn;
 208    /*@}*/
 209
 210    /** Extensions supported by the OpenGL implementation. */
 211    const struct gl_extensions *extensions;
 212
 213    /** Shaders containing built-in functions that are used for linking. */
 214    struct gl_shader *builtins_to_link[16];
 215    unsigned num_builtins_to_link;
 216 };
 217
 218 typedef struct YYLTYPE {
 219    int first_line;
 220    int first_column;
 221    int last_line;
 222    int last_column;
 223    unsigned source;
 224 } YYLTYPE;
 225 # define YYLTYPE_IS_DECLARED 1
 226 # define YYLTYPE_IS_TRIVIAL 1
 227
 228 # define YYLLOC_DEFAULT(Current, Rhs, N)                        \
 229 do {                                                            \
 230    if (N)                                                       \
 231    {                                                            \
 232       (Current).first_line   = YYRHSLOC(Rhs, 1).first_line;     \
 233       (Current).first_column = YYRHSLOC(Rhs, 1).first_column;   \
 234       (Current).last_line    = YYRHSLOC(Rhs, N).last_line;      \
 235       (Current).last_column  = YYRHSLOC(Rhs, N).last_column;    \
 236    }                                                            \
 237    else                                                         \
 238    {                                                            \
 239       (Current).first_line   = (Current).last_line =            \
 240          YYRHSLOC(Rhs, 0).last_line;                            \
 241       (Current).first_column = (Current).last_column =          \
 242          YYRHSLOC(Rhs, 0).last_column;                          \
 243    }                                                            \
 244    (Current).source = 0;                                        \
 245 } while (0)
 246
 247 extern void _mesa_glsl_error(YYLTYPE *locp, _mesa_glsl_parse_state *state,
 248                              const char *fmt, ...);
 249
 250 /**
 251  * Emit a warning to the shader log
 252  *
 253  * \sa _mesa_glsl_error
 254  */
 255 extern void _mesa_glsl_warning(const YYLTYPE *locp,
 256                                _mesa_glsl_parse_state *state,
 257                                const char *fmt, ...);
 258
 259 extern void _mesa_glsl_lexer_ctor(struct _mesa_glsl_parse_state *state,
 260                                   const char *string);
 261
 262 extern void _mesa_glsl_lexer_dtor(struct _mesa_glsl_parse_state *state);
 263
 264 union YYSTYPE;
 265 extern int _mesa_glsl_lex(union YYSTYPE *yylval, YYLTYPE *yylloc,
 266                           void *scanner);
 267
 268 extern int _mesa_glsl_parse(struct _mesa_glsl_parse_state *);
 269
 270 /**
 271  * Process elements of the #extension directive
 272  *
 273  * \return
 274  * If \c name and \c behavior are valid, \c true is returned.  Otherwise
 275  * \c false is returned.
 276  */
 277 extern bool _mesa_glsl_process_extension(const char *name, YYLTYPE *name_locp,
 278                                          const char *behavior,
 279                                          YYLTYPE *behavior_locp,
 280                                          _mesa_glsl_parse_state *state);
 281
 282 /**
 283  * Get the textual name of the specified shader target
 284  */
 285 extern const char *
 286 _mesa_glsl_shader_target_name(enum _mesa_glsl_parser_targets target);
 287
 288
 289 #endif /* __cplusplus */
 290
 291
 292 /*
 293  * These definitions apply to C and C++
 294  */
 295 #ifdef __cplusplus
 296 extern "C" {
 297 #endif
 298
 299 extern int preprocess(void *ctx, const char **shader, char **info_log,
 300                       const struct gl_extensions *extensions, int api);
 301
 302 extern void _mesa_destroy_shader_compiler(void);
 303 extern void _mesa_destroy_shader_compiler_caches(void);
 304
 305 #ifdef __cplusplus
 306 }
 307 #endif
 308
 309
 310 #endif /* GLSL_PARSER_EXTRAS_H */