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 extern "C" {
  33 #include <talloc.h>
  34 }
  35
  36 #include "ast.h"
  37 #include "glsl_parser_extras.h"
  38 #include "glsl_parser.h"
  39 #include "ir_optimization.h"
  40 #include "ir_print_visitor.h"
  41 #include "program.h"
  42
  43
  44 static char *
  45 load_text_file(const char *file_name, size_t *size)
  46 {
  47         char *text = NULL;
  48         struct stat st;
  49         ssize_t total_read = 0;
  50         int fd = open(file_name, O_RDONLY);
  51
  52         *size = 0;
  53         if (fd < 0) {
  54                 return NULL;
  55         }
  56
  57         if (fstat(fd, & st) == 0) {
  58            text = (char *) malloc(st.st_size + 1);
  59                 if (text != NULL) {
  60                         do {
  61                                 ssize_t bytes = read(fd, text + total_read,
  62                                                      st.st_size - total_read);
  63                                 if (bytes < 0) {
  64                                         free(text);
  65                                         text = NULL;
  66                                         break;
  67                                 }
  68
  69                                 if (bytes == 0) {
  70                                         break;
  71                                 }
  72
  73                                 total_read += bytes;
  74                         } while (total_read < st.st_size);
  75
  76                         text[total_read] = '\0';
  77                         *size = total_read;
  78                 }
  79         }
  80
  81         close(fd);
  82
  83         return text;
  84 }
  85
  86
  87 void
  88 usage_fail(const char *name)
  89 {
  90       printf("%s <filename.frag|filename.vert>\n", name);
  91       exit(EXIT_FAILURE);
  92 }
  93
  94
  95 int dump_ast = 0;
  96 int dump_lir = 0;
  97 int do_link = 0;
  98
  99 const struct option compiler_opts[] = {
 100    { "dump-ast", 0, &dump_ast, 1 },
 101    { "dump-lir", 0, &dump_lir, 1 },
 102    { "link",     0, &do_link,  1 },
 103    { NULL, 0, NULL, 0 }
 104 };
 105
 106 void
 107 compile_shader(struct glsl_shader *shader)
 108 {
 109    struct _mesa_glsl_parse_state state;
 110
 111    memset(& state, 0, sizeof(state));
 112    switch (shader->Type) {
 113    case GL_VERTEX_SHADER:   state.target = vertex_shader; break;
 114    case GL_FRAGMENT_SHADER: state.target = fragment_shader; break;
 115    case GL_GEOMETRY_SHADER: state.target = geometry_shader; break;
 116    }
 117
 118    state.scanner = NULL;
 119    state.translation_unit.make_empty();
 120    state.symbols = new glsl_symbol_table;
 121    state.info_log = talloc_strdup(shader, "");
 122    state.error = false;
 123    state.temp_index = 0;
 124    state.loop_or_switch_nesting = NULL;
 125    state.ARB_texture_rectangle_enable = true;
 126
 127    /* Create a new context for the preprocessor output.  Ultimately, this
 128     * should probably be the parser context, but there isn't one yet.
 129    */
 130    const char *source = shader->Source;
 131    state.error = preprocess(shader, &source, &state.info_log);
 132
 133    if (!state.error) {
 134       _mesa_glsl_lexer_ctor(& state, source);
 135       _mesa_glsl_parse(& state);
 136       _mesa_glsl_lexer_dtor(& state);
 137    }
 138
 139    if (dump_ast) {
 140       foreach_list_const(n, &state.translation_unit) {
 141          ast_node *ast = exec_node_data(ast_node, n, link);
 142          ast->print();
 143       }
 144       printf("\n\n");
 145    }
 146
 147    shader->ir.make_empty();
 148    if (!state.error && !state.translation_unit.is_empty())
 149       _mesa_ast_to_hir(&shader->ir, &state);
 150
 151    validate_ir_tree(&shader->ir);
 152
 153    /* Optimization passes */
 154    if (!state.error && !shader->ir.is_empty()) {
 155       bool progress;
 156       do {
 157          progress = false;
 158
 159          progress = do_function_inlining(&shader->ir) || progress;
 160          progress = do_if_simplification(&shader->ir) || progress;
 161          progress = do_copy_propagation(&shader->ir) || progress;
 162          progress = do_dead_code_local(&shader->ir) || progress;
 163          progress = do_dead_code_unlinked(&shader->ir) || progress;
 164          progress = do_constant_variable_unlinked(&shader->ir) || progress;
 165          progress = do_constant_folding(&shader->ir) || progress;
 166          progress = do_vec_index_to_swizzle(&shader->ir) || progress;
 167          progress = do_swizzle_swizzle(&shader->ir) || progress;
 168       } while (progress);
 169    }
 170
 171    validate_ir_tree(&shader->ir);
 172
 173    /* Print out the resulting IR */
 174    if (!state.error && dump_lir) {
 175       _mesa_print_ir(&shader->ir, &state);
 176    }
 177
 178    shader->symbols = state.symbols;
 179    shader->CompileStatus = !state.error;
 180
 181    if (shader->InfoLog)
 182       talloc_free(shader->InfoLog);
 183
 184    shader->InfoLog = state.info_log;
 185
 186    return;
 187 }
 188
 189 int
 190 main(int argc, char **argv)
 191 {
 192    int status = EXIT_SUCCESS;
 193
 194    int c;
 195    int idx = 0;
 196    while ((c = getopt_long(argc, argv, "", compiler_opts, &idx)) != -1)
 197       /* empty */ ;
 198
 199
 200    if (argc <= optind)
 201       usage_fail(argv[0]);
 202
 203    struct glsl_program whole_program;
 204    memset(&whole_program, 0, sizeof(whole_program));
 205
 206    for (/* empty */; argc > optind; optind++) {
 207       whole_program.Shaders = (struct glsl_shader **)
 208          realloc(whole_program.Shaders,
 209                  sizeof(struct glsl_shader *) * (whole_program.NumShaders + 1));
 210       assert(whole_program.Shaders != NULL);
 211
 212       /* talloc context should probably be whole_program */
 213       struct glsl_shader *shader = talloc_zero(NULL, glsl_shader);
 214
 215       whole_program.Shaders[whole_program.NumShaders] = shader;
 216       whole_program.NumShaders++;
 217
 218       const unsigned len = strlen(argv[optind]);
 219       if (len < 6)
 220          usage_fail(argv[0]);
 221
 222       const char *const ext = & argv[optind][len - 5];
 223       if (strncmp(".vert", ext, 5) == 0)
 224          shader->Type = GL_VERTEX_SHADER;
 225       else if (strncmp(".geom", ext, 5) == 0)
 226          shader->Type = GL_GEOMETRY_SHADER;
 227       else if (strncmp(".frag", ext, 5) == 0)
 228          shader->Type = GL_FRAGMENT_SHADER;
 229       else
 230          usage_fail(argv[0]);
 231
 232       shader->Source = load_text_file(argv[optind], &shader->SourceLen);
 233       if (shader->Source == NULL) {
 234          printf("File \"%s\" does not exist.\n", argv[optind]);
 235          exit(EXIT_FAILURE);
 236       }
 237
 238       compile_shader(shader);
 239
 240       if (!shader->CompileStatus) {
 241          printf("Info log for %s:\n%s\n", argv[optind], shader->InfoLog);
 242          status = EXIT_FAILURE;
 243          break;
 244       }
 245    }
 246
 247    if ((status == EXIT_SUCCESS) && do_link)  {
 248       link_shaders(&whole_program);
 249       status = (whole_program.LinkStatus) ? EXIT_SUCCESS : EXIT_FAILURE;
 250    }
 251
 252    return status;
 253 }