ir: Give ir_instruction a print visitor helper.
[mesa.git] / 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 /* Optimization passes */
152 if (!state.error && !shader->ir.is_empty()) {
153 bool progress;
154 do {
155 progress = false;
156
157 progress = do_function_inlining(&shader->ir) || progress;
158 progress = do_if_simplification(&shader->ir) || progress;
159 progress = do_copy_propagation(&shader->ir) || progress;
160 progress = do_dead_code_local(&shader->ir) || progress;
161 progress = do_dead_code_unlinked(&shader->ir) || progress;
162 progress = do_constant_variable_unlinked(&shader->ir) || progress;
163 progress = do_constant_folding(&shader->ir) || progress;
164 progress = do_vec_index_to_swizzle(&shader->ir) || progress;
165 progress = do_swizzle_swizzle(&shader->ir) || progress;
166 } while (progress);
167 }
168
169 /* Print out the resulting IR */
170 if (!state.error && dump_lir) {
171 _mesa_print_ir(&shader->ir, &state);
172 }
173
174 shader->symbols = state.symbols;
175 shader->CompileStatus = !state.error;
176
177 if (shader->InfoLog)
178 talloc_free(shader->InfoLog);
179
180 shader->InfoLog = state.info_log;
181
182 return;
183 }
184
185 int
186 main(int argc, char **argv)
187 {
188 int status = EXIT_SUCCESS;
189
190 int c;
191 int idx = 0;
192 while ((c = getopt_long(argc, argv, "", compiler_opts, &idx)) != -1)
193 /* empty */ ;
194
195
196 if (argc <= optind)
197 usage_fail(argv[0]);
198
199 struct glsl_program whole_program;
200 memset(&whole_program, 0, sizeof(whole_program));
201
202 for (/* empty */; argc > optind; optind++) {
203 whole_program.Shaders = (struct glsl_shader **)
204 realloc(whole_program.Shaders,
205 sizeof(struct glsl_shader *) * (whole_program.NumShaders + 1));
206 assert(whole_program.Shaders != NULL);
207
208 /* talloc context should probably be whole_program */
209 struct glsl_shader *shader = talloc_zero(NULL, glsl_shader);
210
211 whole_program.Shaders[whole_program.NumShaders] = shader;
212 whole_program.NumShaders++;
213
214 const unsigned len = strlen(argv[optind]);
215 if (len < 6)
216 usage_fail(argv[0]);
217
218 const char *const ext = & argv[optind][len - 5];
219 if (strncmp(".vert", ext, 5) == 0)
220 shader->Type = GL_VERTEX_SHADER;
221 else if (strncmp(".geom", ext, 5) == 0)
222 shader->Type = GL_GEOMETRY_SHADER;
223 else if (strncmp(".frag", ext, 5) == 0)
224 shader->Type = GL_FRAGMENT_SHADER;
225 else
226 usage_fail(argv[0]);
227
228 shader->Source = load_text_file(argv[optind], &shader->SourceLen);
229 if (shader->Source == NULL) {
230 printf("File \"%s\" does not exist.\n", argv[optind]);
231 exit(EXIT_FAILURE);
232 }
233
234 compile_shader(shader);
235
236 if (!shader->CompileStatus) {
237 printf("Info log for %s:\n%s\n", argv[optind], shader->InfoLog);
238 status = EXIT_FAILURE;
239 break;
240 }
241 }
242
243 if ((status == EXIT_SUCCESS) && do_link) {
244 link_shaders(&whole_program);
245 status = (whole_program.LinkStatus) ? EXIT_SUCCESS : EXIT_FAILURE;
246 }
247
248 return status;
249 }