src/glsl/main.cpp

   1 /*
   2  * Copyright © 2008, 2009 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 #include <cstdlib>
  24 #include <cstdio>
  25 #include <getopt.h>
  26
  27 #include <sys/types.h>
  28 #include <sys/stat.h>
  29 #include <fcntl.h>
  30 #include <unistd.h>
  31
  32 #include "ast.h"
  33 #include "glsl_parser_extras.h"
  34 #include "glsl_parser.h"
  35 #include "ir_optimization.h"
  36 #include "ir_print_visitor.h"
  37 #include "program.h"
  38
  39 /* Returned string will have 'ctx' as its talloc owner. */
  40 static char *
  41 load_text_file(void *ctx, const char *file_name)
  42 {
  43         char *text = NULL;
  44         struct stat st;
  45         ssize_t total_read = 0;
  46         int fd = open(file_name, O_RDONLY);
  47
  48         if (fd < 0) {
  49                 return NULL;
  50         }
  51
  52         if (fstat(fd, & st) == 0) {
  53            text = (char *) talloc_size(ctx, st.st_size + 1);
  54                 if (text != NULL) {
  55                         do {
  56                                 ssize_t bytes = read(fd, text + total_read,
  57                                                      st.st_size - total_read);
  58                                 if (bytes < 0) {
  59                                         free(text);
  60                                         text = NULL;
  61                                         break;
  62                                 }
  63
  64                                 if (bytes == 0) {
  65                                         break;
  66                                 }
  67
  68                                 total_read += bytes;
  69                         } while (total_read < st.st_size);
  70
  71                         text[total_read] = '\0';
  72                 }
  73         }
  74
  75         close(fd);
  76
  77         return text;
  78 }
  79
  80
  81 void
  82 usage_fail(const char *name)
  83 {
  84       printf("%s <filename.frag|filename.vert>\n", name);
  85       exit(EXIT_FAILURE);
  86 }
  87
  88
  89 int dump_ast = 0;
  90 int dump_hir = 0;
  91 int dump_lir = 0;
  92 int do_link = 0;
  93
  94 const struct option compiler_opts[] = {
  95    { "dump-ast", 0, &dump_ast, 1 },
  96    { "dump-hir", 0, &dump_hir, 1 },
  97    { "dump-lir", 0, &dump_lir, 1 },
  98    { "link",     0, &do_link,  1 },
  99    { NULL, 0, NULL, 0 }
 100 };
 101
 102 static void
 103 steal_memory(ir_instruction *ir, void *new_ctx)
 104 {
 105    talloc_steal(new_ctx, ir);
 106 }
 107
 108 void
 109 compile_shader(struct gl_shader *shader)
 110 {
 111    struct _mesa_glsl_parse_state *state;
 112    struct gl_extensions ext;
 113
 114    state = talloc_zero(talloc_parent(shader), struct _mesa_glsl_parse_state);
 115
 116    switch (shader->Type) {
 117    case GL_VERTEX_SHADER:   state->target = vertex_shader; break;
 118    case GL_FRAGMENT_SHADER: state->target = fragment_shader; break;
 119    case GL_GEOMETRY_SHADER: state->target = geometry_shader; break;
 120    }
 121
 122    state->scanner = NULL;
 123    state->translation_unit.make_empty();
 124    state->symbols = new(shader) glsl_symbol_table;
 125    state->info_log = talloc_strdup(shader, "");
 126    state->error = false;
 127    state->temp_index = 0;
 128    state->loop_or_switch_nesting = NULL;
 129    state->ARB_texture_rectangle_enable = true;
 130
 131    memset(&ext, 0, sizeof(ext));
 132    state->extensions = &ext;
 133    state->Const.MaxDrawBuffers = 2;
 134    state->Const.MaxTextureCoords = 4;
 135
 136    const char *source = shader->Source;
 137    state->error = preprocess(state, &source, &state->info_log, &ext);
 138
 139    if (!state->error) {
 140       _mesa_glsl_lexer_ctor(state, source);
 141       _mesa_glsl_parse(state);
 142       _mesa_glsl_lexer_dtor(state);
 143    }
 144
 145    if (dump_ast) {
 146       foreach_list_const(n, &state->translation_unit) {
 147          ast_node *ast = exec_node_data(ast_node, n, link);
 148          ast->print();
 149       }
 150       printf("\n\n");
 151    }
 152
 153    shader->ir = new(shader) exec_list;
 154    if (!state->error && !state->translation_unit.is_empty())
 155       _mesa_ast_to_hir(shader->ir, state);
 156
 157    validate_ir_tree(shader->ir);
 158
 159    /* Print out the unoptimized IR. */
 160    if (!state->error && dump_hir) {
 161       _mesa_print_ir(shader->ir, state);
 162    }
 163
 164    /* Optimization passes */
 165    if (!state->error && !shader->ir->is_empty()) {
 166       bool progress;
 167       do {
 168          progress = false;
 169
 170          progress = do_function_inlining(shader->ir) || progress;
 171          progress = do_if_simplification(shader->ir) || progress;
 172          progress = do_copy_propagation(shader->ir) || progress;
 173          progress = do_dead_code_local(shader->ir) || progress;
 174          progress = do_dead_code_unlinked(state, shader->ir) || progress;
 175          progress = do_constant_variable_unlinked(shader->ir) || progress;
 176          progress = do_constant_folding(shader->ir) || progress;
 177          progress = do_vec_index_to_swizzle(shader->ir) || progress;
 178          progress = do_vec_index_to_cond_assign(shader->ir) || progress;
 179          progress = do_swizzle_swizzle(shader->ir) || progress;
 180       } while (progress);
 181    }
 182
 183    validate_ir_tree(shader->ir);
 184
 185    /* Print out the resulting IR */
 186    if (!state->error && dump_lir) {
 187       _mesa_print_ir(shader->ir, state);
 188    }
 189
 190    shader->symbols = state->symbols;
 191    shader->CompileStatus = !state->error;
 192
 193    if (shader->InfoLog)
 194       talloc_free(shader->InfoLog);
 195
 196    shader->InfoLog = state->info_log;
 197
 198    /* Retain any live IR, but trash the rest. */
 199    foreach_list(node, shader->ir) {
 200       visit_tree((ir_instruction *) node, steal_memory, shader);
 201    }
 202
 203    talloc_free(state);
 204
 205    return;
 206 }
 207
 208 int
 209 main(int argc, char **argv)
 210 {
 211    int status = EXIT_SUCCESS;
 212
 213    int c;
 214    int idx = 0;
 215    while ((c = getopt_long(argc, argv, "", compiler_opts, &idx)) != -1)
 216       /* empty */ ;
 217
 218
 219    if (argc <= optind)
 220       usage_fail(argv[0]);
 221
 222    struct gl_shader_program *whole_program;
 223
 224    whole_program = talloc_zero (NULL, struct gl_shader_program);
 225    assert(whole_program != NULL);
 226
 227    for (/* empty */; argc > optind; optind++) {
 228       whole_program->Shaders = (struct gl_shader **)
 229          talloc_realloc(whole_program, whole_program->Shaders,
 230                         struct gl_shader *, whole_program->NumShaders + 1);
 231       assert(whole_program->Shaders != NULL);
 232
 233       struct gl_shader *shader = talloc_zero(whole_program, gl_shader);
 234
 235       whole_program->Shaders[whole_program->NumShaders] = shader;
 236       whole_program->NumShaders++;
 237
 238       const unsigned len = strlen(argv[optind]);
 239       if (len < 6)
 240          usage_fail(argv[0]);
 241
 242       const char *const ext = & argv[optind][len - 5];
 243       if (strncmp(".vert", ext, 5) == 0)
 244          shader->Type = GL_VERTEX_SHADER;
 245       else if (strncmp(".geom", ext, 5) == 0)
 246          shader->Type = GL_GEOMETRY_SHADER;
 247       else if (strncmp(".frag", ext, 5) == 0)
 248          shader->Type = GL_FRAGMENT_SHADER;
 249       else
 250          usage_fail(argv[0]);
 251
 252       shader->Source = load_text_file(whole_program, argv[optind]);
 253       if (shader->Source == NULL) {
 254          printf("File \"%s\" does not exist.\n", argv[optind]);
 255          exit(EXIT_FAILURE);
 256       }
 257
 258       compile_shader(shader);
 259
 260       if (!shader->CompileStatus) {
 261          printf("Info log for %s:\n%s\n", argv[optind], shader->InfoLog);
 262          status = EXIT_FAILURE;
 263          break;
 264       }
 265    }
 266
 267    if ((status == EXIT_SUCCESS) && do_link)  {
 268       link_shaders(whole_program);
 269       status = (whole_program->LinkStatus) ? EXIT_SUCCESS : EXIT_FAILURE;
 270
 271       if (strlen(whole_program->InfoLog) > 0)
 272          printf("Info log for linking:\n%s\n", whole_program->InfoLog);
 273    }
 274
 275    talloc_free(whole_program);
 276    _mesa_glsl_release_types();
 277
 278    return status;
 279 }