blob: 5c0f6475e0b4253509317acb3d464367b96ec7f5 [file] [log] [blame]
Ian Romanick61d4aa02010-06-14 14:46:09 -07001/*
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>
Ian Romanick7babbdb2010-06-15 12:47:07 -070025#include <getopt.h>
Ian Romanick61d4aa02010-06-14 14:46:09 -070026
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"
Ian Romanick8ce55db2010-06-17 12:01:18 -070037#include "program.h"
Ian Romanick61d4aa02010-06-14 14:46:09 -070038
Ian Romanick3fb87872010-07-09 14:09:34 -070039extern "C" struct gl_shader *
40_mesa_new_shader(GLcontext *ctx, GLuint name, GLenum type);
41
42/* Copied from shader_api.c for the stand-alone compiler.
43 */
44struct gl_shader *
45_mesa_new_shader(GLcontext *ctx, GLuint name, GLenum type)
46{
47 struct gl_shader *shader;
48 assert(type == GL_FRAGMENT_SHADER || type == GL_VERTEX_SHADER);
49 shader = talloc_zero(NULL, struct gl_shader);
50 if (shader) {
51 shader->Type = type;
52 shader->Name = name;
53 shader->RefCount = 1;
54 }
55 return shader;
56}
57
Carl Wortha9696e72010-06-18 17:37:02 -070058/* Returned string will have 'ctx' as its talloc owner. */
Ian Romanick61d4aa02010-06-14 14:46:09 -070059static char *
Eric Anholt16b68b12010-06-30 11:05:43 -070060load_text_file(void *ctx, const char *file_name)
Ian Romanick61d4aa02010-06-14 14:46:09 -070061{
62 char *text = NULL;
63 struct stat st;
64 ssize_t total_read = 0;
65 int fd = open(file_name, O_RDONLY);
66
Ian Romanick61d4aa02010-06-14 14:46:09 -070067 if (fd < 0) {
68 return NULL;
69 }
70
71 if (fstat(fd, & st) == 0) {
Carl Wortha9696e72010-06-18 17:37:02 -070072 text = (char *) talloc_size(ctx, st.st_size + 1);
Ian Romanick61d4aa02010-06-14 14:46:09 -070073 if (text != NULL) {
74 do {
75 ssize_t bytes = read(fd, text + total_read,
76 st.st_size - total_read);
77 if (bytes < 0) {
78 free(text);
79 text = NULL;
80 break;
81 }
82
83 if (bytes == 0) {
84 break;
85 }
86
87 total_read += bytes;
88 } while (total_read < st.st_size);
89
90 text[total_read] = '\0';
Ian Romanick61d4aa02010-06-14 14:46:09 -070091 }
92 }
93
94 close(fd);
95
96 return text;
97}
98
99
Ian Romanick2b368952010-06-15 12:00:37 -0700100void
101usage_fail(const char *name)
102{
103 printf("%s <filename.frag|filename.vert>\n", name);
104 exit(EXIT_FAILURE);
105}
106
107
Ian Romanick7babbdb2010-06-15 12:47:07 -0700108int dump_ast = 0;
Ian Romanick22c23de2010-06-25 15:27:47 -0700109int dump_hir = 0;
Ian Romanick81e17472010-06-15 12:51:38 -0700110int dump_lir = 0;
Ian Romanickc648a122010-06-17 19:51:48 -0700111int do_link = 0;
Ian Romanick7babbdb2010-06-15 12:47:07 -0700112
113const struct option compiler_opts[] = {
114 { "dump-ast", 0, &dump_ast, 1 },
Ian Romanick22c23de2010-06-25 15:27:47 -0700115 { "dump-hir", 0, &dump_hir, 1 },
Ian Romanick81e17472010-06-15 12:51:38 -0700116 { "dump-lir", 0, &dump_lir, 1 },
Ian Romanickc648a122010-06-17 19:51:48 -0700117 { "link", 0, &do_link, 1 },
Ian Romanick7babbdb2010-06-15 12:47:07 -0700118 { NULL, 0, NULL, 0 }
119};
120
Ian Romanick8ce55db2010-06-17 12:01:18 -0700121void
Eric Anholt16b68b12010-06-30 11:05:43 -0700122compile_shader(struct gl_shader *shader)
Ian Romanick61d4aa02010-06-14 14:46:09 -0700123{
Kenneth Graunkeaa9f86a2010-07-22 16:20:36 -0700124 struct _mesa_glsl_parse_state *state =
125 new(shader) _mesa_glsl_parse_state(NULL, shader->Type, shader);
Eric Anholtf8946692010-07-20 14:03:35 -0700126
Kenneth Graunke04ba86a2010-06-16 12:18:00 -0700127 const char *source = shader->Source;
Kenneth Graunkeaa9f86a2010-07-22 16:20:36 -0700128 state->error = preprocess(state, &source, &state->info_log,
129 state->extensions);
Kenneth Graunke04ba86a2010-06-16 12:18:00 -0700130
Carl Worth2d2561e2010-06-23 15:43:38 -0700131 if (!state->error) {
132 _mesa_glsl_lexer_ctor(state, source);
133 _mesa_glsl_parse(state);
134 _mesa_glsl_lexer_dtor(state);
Kenneth Graunke04ba86a2010-06-16 12:18:00 -0700135 }
Ian Romanick61d4aa02010-06-14 14:46:09 -0700136
Ian Romanick7babbdb2010-06-15 12:47:07 -0700137 if (dump_ast) {
Carl Worth2d2561e2010-06-23 15:43:38 -0700138 foreach_list_const(n, &state->translation_unit) {
Ian Romanick7babbdb2010-06-15 12:47:07 -0700139 ast_node *ast = exec_node_data(ast_node, n, link);
140 ast->print();
141 }
142 printf("\n\n");
Ian Romanick61d4aa02010-06-14 14:46:09 -0700143 }
144
Eric Anholt16b68b12010-06-30 11:05:43 -0700145 shader->ir = new(shader) exec_list;
Carl Worth2d2561e2010-06-23 15:43:38 -0700146 if (!state->error && !state->translation_unit.is_empty())
Eric Anholt16b68b12010-06-30 11:05:43 -0700147 _mesa_ast_to_hir(shader->ir, state);
Ian Romanick54992c32010-06-14 14:47:26 -0700148
Ian Romanick22c23de2010-06-25 15:27:47 -0700149 /* Print out the unoptimized IR. */
150 if (!state->error && dump_hir) {
Ian Romanick5a2e0b82010-07-20 11:37:45 -0700151 validate_ir_tree(shader->ir);
Eric Anholt16b68b12010-06-30 11:05:43 -0700152 _mesa_print_ir(shader->ir, state);
Ian Romanick22c23de2010-06-25 15:27:47 -0700153 }
154
Ian Romanick61d4aa02010-06-14 14:46:09 -0700155 /* Optimization passes */
Eric Anholt16b68b12010-06-30 11:05:43 -0700156 if (!state->error && !shader->ir->is_empty()) {
Ian Romanick61d4aa02010-06-14 14:46:09 -0700157 bool progress;
158 do {
159 progress = false;
160
Eric Anholt16b68b12010-06-30 11:05:43 -0700161 progress = do_function_inlining(shader->ir) || progress;
162 progress = do_if_simplification(shader->ir) || progress;
163 progress = do_copy_propagation(shader->ir) || progress;
164 progress = do_dead_code_local(shader->ir) || progress;
165 progress = do_dead_code_unlinked(state, shader->ir) || progress;
166 progress = do_constant_variable_unlinked(shader->ir) || progress;
167 progress = do_constant_folding(shader->ir) || progress;
168 progress = do_vec_index_to_swizzle(shader->ir) || progress;
Eric Anholta36334b2010-07-06 17:53:32 -0700169 progress = do_vec_index_to_cond_assign(shader->ir) || progress;
Eric Anholt16b68b12010-06-30 11:05:43 -0700170 progress = do_swizzle_swizzle(shader->ir) || progress;
Ian Romanick61d4aa02010-06-14 14:46:09 -0700171 } while (progress);
Ian Romanick5a2e0b82010-07-20 11:37:45 -0700172
173 validate_ir_tree(shader->ir);
Ian Romanick61d4aa02010-06-14 14:46:09 -0700174 }
175
Eric Anholt53cdb7e2010-06-22 12:07:21 -0700176
Ian Romanick61d4aa02010-06-14 14:46:09 -0700177 /* Print out the resulting IR */
Carl Worth2d2561e2010-06-23 15:43:38 -0700178 if (!state->error && dump_lir) {
Eric Anholt16b68b12010-06-30 11:05:43 -0700179 _mesa_print_ir(shader->ir, state);
Ian Romanick61d4aa02010-06-14 14:46:09 -0700180 }
181
Carl Worth2d2561e2010-06-23 15:43:38 -0700182 shader->symbols = state->symbols;
183 shader->CompileStatus = !state->error;
Ian Romanick25f51d32010-07-16 15:51:50 -0700184 shader->Version = state->language_version;
Ian Romanickd5be2ac2010-07-20 11:29:46 -0700185 memcpy(shader->builtins_to_link, state->builtins_to_link,
186 sizeof(shader->builtins_to_link[0]) * state->num_builtins_to_link);
187 shader->num_builtins_to_link = state->num_builtins_to_link;
Ian Romanickca97bd32010-06-19 01:39:14 -0700188
189 if (shader->InfoLog)
190 talloc_free(shader->InfoLog);
191
Carl Worth2d2561e2010-06-23 15:43:38 -0700192 shader->InfoLog = state->info_log;
193
Kenneth Graunke116f1d42010-06-25 14:10:01 -0700194 /* Retain any live IR, but trash the rest. */
Ian Romanick60e2d062010-07-20 11:27:38 -0700195 reparent_ir(shader->ir, shader);
Kenneth Graunke116f1d42010-06-25 14:10:01 -0700196
Carl Worth2d2561e2010-06-23 15:43:38 -0700197 talloc_free(state);
Ian Romanickca97bd32010-06-19 01:39:14 -0700198
Ian Romanick8ce55db2010-06-17 12:01:18 -0700199 return;
200}
Ian Romanick61d4aa02010-06-14 14:46:09 -0700201
Ian Romanick8ce55db2010-06-17 12:01:18 -0700202int
203main(int argc, char **argv)
204{
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700205 int status = EXIT_SUCCESS;
Ian Romanick8ce55db2010-06-17 12:01:18 -0700206
207 int c;
208 int idx = 0;
209 while ((c = getopt_long(argc, argv, "", compiler_opts, &idx)) != -1)
210 /* empty */ ;
211
212
213 if (argc <= optind)
214 usage_fail(argv[0]);
215
Eric Anholt849e1812010-06-30 11:49:17 -0700216 struct gl_shader_program *whole_program;
Carl Worthbe83eb82010-06-23 13:34:05 -0700217
Eric Anholt849e1812010-06-30 11:49:17 -0700218 whole_program = talloc_zero (NULL, struct gl_shader_program);
Carl Worthbe83eb82010-06-23 13:34:05 -0700219 assert(whole_program != NULL);
Ian Romanick8ce55db2010-06-17 12:01:18 -0700220
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700221 for (/* empty */; argc > optind; optind++) {
Eric Anholt16b68b12010-06-30 11:05:43 -0700222 whole_program->Shaders = (struct gl_shader **)
Carl Worth26bbfb72010-06-23 19:09:56 -0700223 talloc_realloc(whole_program, whole_program->Shaders,
Eric Anholt16b68b12010-06-30 11:05:43 -0700224 struct gl_shader *, whole_program->NumShaders + 1);
Carl Worthbe83eb82010-06-23 13:34:05 -0700225 assert(whole_program->Shaders != NULL);
Ian Romanick8ce55db2010-06-17 12:01:18 -0700226
Eric Anholt16b68b12010-06-30 11:05:43 -0700227 struct gl_shader *shader = talloc_zero(whole_program, gl_shader);
Ian Romanick8ce55db2010-06-17 12:01:18 -0700228
Carl Worthbe83eb82010-06-23 13:34:05 -0700229 whole_program->Shaders[whole_program->NumShaders] = shader;
230 whole_program->NumShaders++;
Ian Romanick8ce55db2010-06-17 12:01:18 -0700231
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700232 const unsigned len = strlen(argv[optind]);
233 if (len < 6)
234 usage_fail(argv[0]);
Ian Romanick8ce55db2010-06-17 12:01:18 -0700235
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700236 const char *const ext = & argv[optind][len - 5];
237 if (strncmp(".vert", ext, 5) == 0)
Kenneth Graunke29e60872010-06-17 15:28:34 -0700238 shader->Type = GL_VERTEX_SHADER;
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700239 else if (strncmp(".geom", ext, 5) == 0)
Kenneth Graunke29e60872010-06-17 15:28:34 -0700240 shader->Type = GL_GEOMETRY_SHADER;
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700241 else if (strncmp(".frag", ext, 5) == 0)
Kenneth Graunke29e60872010-06-17 15:28:34 -0700242 shader->Type = GL_FRAGMENT_SHADER;
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700243 else
244 usage_fail(argv[0]);
245
Eric Anholt16b68b12010-06-30 11:05:43 -0700246 shader->Source = load_text_file(whole_program, argv[optind]);
Kenneth Graunke2848c4c2010-06-16 12:10:55 -0700247 if (shader->Source == NULL) {
248 printf("File \"%s\" does not exist.\n", argv[optind]);
249 exit(EXIT_FAILURE);
250 }
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700251
Kenneth Graunke29e60872010-06-17 15:28:34 -0700252 compile_shader(shader);
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700253
Kenneth Graunke29e60872010-06-17 15:28:34 -0700254 if (!shader->CompileStatus) {
Kenneth Graunkef3eb42d2010-06-19 11:31:01 -0700255 printf("Info log for %s:\n%s\n", argv[optind], shader->InfoLog);
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700256 status = EXIT_FAILURE;
257 break;
258 }
259 }
260
Ian Romanickc648a122010-06-17 19:51:48 -0700261 if ((status == EXIT_SUCCESS) && do_link) {
Carl Worthbe83eb82010-06-23 13:34:05 -0700262 link_shaders(whole_program);
263 status = (whole_program->LinkStatus) ? EXIT_SUCCESS : EXIT_FAILURE;
Ian Romanick4d962e62010-07-02 14:43:01 -0700264
265 if (strlen(whole_program->InfoLog) > 0)
266 printf("Info log for linking:\n%s\n", whole_program->InfoLog);
Ian Romanick832dfa52010-06-17 15:04:20 -0700267 }
268
Ian Romanick3fb87872010-07-09 14:09:34 -0700269 for (unsigned i = 0; i < whole_program->_NumLinkedShaders; i++)
270 talloc_free(whole_program->_LinkedShaders[i]);
271
Carl Worthbe83eb82010-06-23 13:34:05 -0700272 talloc_free(whole_program);
Ian Romanickefc15f82010-06-28 13:17:18 -0700273 _mesa_glsl_release_types();
Ian Romanickd5be2ac2010-07-20 11:29:46 -0700274 _mesa_glsl_release_functions();
Carl Worthbe83eb82010-06-23 13:34:05 -0700275
Ian Romanick6fd9fb22010-06-17 12:22:16 -0700276 return status;
Ian Romanick61d4aa02010-06-14 14:46:09 -0700277}