2 * Copyright © 2008, 2009 Intel Corporation
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:
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
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.
27 #include <sys/types.h>
33 #include "glsl_parser_extras.h"
34 #include "glsl_parser.h"
35 #include "ir_optimization.h"
36 #include "ir_print_visitor.h"
38 #include "loop_analysis.h"
40 extern "C" struct gl_shader
*
41 _mesa_new_shader(GLcontext
*ctx
, GLuint name
, GLenum type
);
43 /* Copied from shader_api.c for the stand-alone compiler.
46 _mesa_new_shader(GLcontext
*ctx
, GLuint name
, GLenum type
)
48 struct gl_shader
*shader
;
52 assert(type
== GL_FRAGMENT_SHADER
|| type
== GL_VERTEX_SHADER
);
53 shader
= talloc_zero(NULL
, struct gl_shader
);
63 initialize_context(GLcontext
*ctx
, gl_api api
)
65 memset(ctx
, 0, sizeof(*ctx
));
69 ctx
->Extensions
.ARB_draw_buffers
= GL_TRUE
;
70 ctx
->Extensions
.ARB_fragment_coord_conventions
= GL_TRUE
;
71 ctx
->Extensions
.EXT_texture_array
= GL_TRUE
;
72 ctx
->Extensions
.NV_texture_rectangle
= GL_TRUE
;
75 ctx
->Const
.MaxLights
= 8;
76 ctx
->Const
.MaxClipPlanes
= 8;
77 ctx
->Const
.MaxTextureUnits
= 2;
79 /* More than the 1.10 minimum to appease parser tests taken from
80 * apps that (hopefully) already checked the number of coords.
82 ctx
->Const
.MaxTextureCoordUnits
= 4;
84 ctx
->Const
.VertexProgram
.MaxAttribs
= 16;
85 ctx
->Const
.VertexProgram
.MaxUniformComponents
= 512;
86 ctx
->Const
.MaxVarying
= 8;
87 ctx
->Const
.MaxVertexTextureImageUnits
= 0;
88 ctx
->Const
.MaxCombinedTextureImageUnits
= 2;
89 ctx
->Const
.MaxTextureImageUnits
= 2;
90 ctx
->Const
.FragmentProgram
.MaxUniformComponents
= 64;
92 ctx
->Const
.MaxDrawBuffers
= 2;
94 ctx
->Driver
.NewShader
= _mesa_new_shader
;
97 /* Returned string will have 'ctx' as its talloc owner. */
99 load_text_file(void *ctx
, const char *file_name
)
103 ssize_t total_read
= 0;
104 int fd
= open(file_name
, O_RDONLY
);
110 if (fstat(fd
, & st
) == 0) {
111 text
= (char *) talloc_size(ctx
, st
.st_size
+ 1);
114 ssize_t bytes
= read(fd
, text
+ total_read
,
115 st
.st_size
- total_read
);
127 } while (total_read
< st
.st_size
);
129 text
[total_read
] = '\0';
140 usage_fail(const char *name
)
142 printf("%s <filename.frag|filename.vert>\n", name
);
152 const struct option compiler_opts
[] = {
153 { "dump-ast", 0, &dump_ast
, 1 },
154 { "dump-hir", 0, &dump_hir
, 1 },
155 { "dump-lir", 0, &dump_lir
, 1 },
156 { "link", 0, &do_link
, 1 },
161 compile_shader(GLcontext
*ctx
, struct gl_shader
*shader
)
163 struct _mesa_glsl_parse_state
*state
=
164 new(shader
) _mesa_glsl_parse_state(ctx
, shader
->Type
, shader
);
166 const char *source
= shader
->Source
;
167 state
->error
= preprocess(state
, &source
, &state
->info_log
,
168 state
->extensions
, ctx
->API
);
171 _mesa_glsl_lexer_ctor(state
, source
);
172 _mesa_glsl_parse(state
);
173 _mesa_glsl_lexer_dtor(state
);
177 foreach_list_const(n
, &state
->translation_unit
) {
178 ast_node
*ast
= exec_node_data(ast_node
, n
, link
);
184 shader
->ir
= new(shader
) exec_list
;
185 if (!state
->error
&& !state
->translation_unit
.is_empty())
186 _mesa_ast_to_hir(shader
->ir
, state
);
188 /* Print out the unoptimized IR. */
189 if (!state
->error
&& dump_hir
) {
190 validate_ir_tree(shader
->ir
);
191 _mesa_print_ir(shader
->ir
, state
);
194 /* Optimization passes */
195 if (!state
->error
&& !shader
->ir
->is_empty()) {
200 progress
= do_function_inlining(shader
->ir
) || progress
;
201 progress
= do_if_simplification(shader
->ir
) || progress
;
202 progress
= do_copy_propagation(shader
->ir
) || progress
;
203 progress
= do_dead_code_local(shader
->ir
) || progress
;
204 progress
= do_dead_code_unlinked(shader
->ir
) || progress
;
205 progress
= do_tree_grafting(shader
->ir
) || progress
;
206 progress
= do_constant_propagation(shader
->ir
) || progress
;
207 progress
= do_constant_variable_unlinked(shader
->ir
) || progress
;
208 progress
= do_constant_folding(shader
->ir
) || progress
;
209 progress
= do_algebraic(shader
->ir
) || progress
;
210 progress
= do_vec_index_to_swizzle(shader
->ir
) || progress
;
211 progress
= do_vec_index_to_cond_assign(shader
->ir
) || progress
;
212 progress
= do_swizzle_swizzle(shader
->ir
) || progress
;
214 loop_state
*ls
= analyze_loop_variables(shader
->ir
);
215 progress
= set_loop_controls(shader
->ir
, ls
) || progress
;
216 progress
= unroll_loops(shader
->ir
, ls
) || progress
;
220 validate_ir_tree(shader
->ir
);
224 /* Print out the resulting IR */
225 if (!state
->error
&& dump_lir
) {
226 _mesa_print_ir(shader
->ir
, state
);
229 shader
->symbols
= state
->symbols
;
230 shader
->CompileStatus
= !state
->error
;
231 shader
->Version
= state
->language_version
;
232 memcpy(shader
->builtins_to_link
, state
->builtins_to_link
,
233 sizeof(shader
->builtins_to_link
[0]) * state
->num_builtins_to_link
);
234 shader
->num_builtins_to_link
= state
->num_builtins_to_link
;
237 talloc_free(shader
->InfoLog
);
239 shader
->InfoLog
= state
->info_log
;
241 /* Retain any live IR, but trash the rest. */
242 reparent_ir(shader
->ir
, shader
);
250 main(int argc
, char **argv
)
252 int status
= EXIT_SUCCESS
;
254 GLcontext
*ctx
= &local_ctx
;
258 while ((c
= getopt_long(argc
, argv
, "", compiler_opts
, &idx
)) != -1)
265 initialize_context(ctx
, API_OPENGL
);
267 struct gl_shader_program
*whole_program
;
269 whole_program
= talloc_zero (NULL
, struct gl_shader_program
);
270 assert(whole_program
!= NULL
);
272 for (/* empty */; argc
> optind
; optind
++) {
273 whole_program
->Shaders
= (struct gl_shader
**)
274 talloc_realloc(whole_program
, whole_program
->Shaders
,
275 struct gl_shader
*, whole_program
->NumShaders
+ 1);
276 assert(whole_program
->Shaders
!= NULL
);
278 struct gl_shader
*shader
= talloc_zero(whole_program
, gl_shader
);
280 whole_program
->Shaders
[whole_program
->NumShaders
] = shader
;
281 whole_program
->NumShaders
++;
283 const unsigned len
= strlen(argv
[optind
]);
287 const char *const ext
= & argv
[optind
][len
- 5];
288 if (strncmp(".vert", ext
, 5) == 0)
289 shader
->Type
= GL_VERTEX_SHADER
;
290 else if (strncmp(".geom", ext
, 5) == 0)
291 shader
->Type
= GL_GEOMETRY_SHADER
;
292 else if (strncmp(".frag", ext
, 5) == 0)
293 shader
->Type
= GL_FRAGMENT_SHADER
;
297 shader
->Source
= load_text_file(whole_program
, argv
[optind
]);
298 if (shader
->Source
== NULL
) {
299 printf("File \"%s\" does not exist.\n", argv
[optind
]);
303 compile_shader(ctx
, shader
);
305 if (!shader
->CompileStatus
) {
306 printf("Info log for %s:\n%s\n", argv
[optind
], shader
->InfoLog
);
307 status
= EXIT_FAILURE
;
312 if ((status
== EXIT_SUCCESS
) && do_link
) {
313 link_shaders(ctx
, whole_program
);
314 status
= (whole_program
->LinkStatus
) ? EXIT_SUCCESS
: EXIT_FAILURE
;
316 if (strlen(whole_program
->InfoLog
) > 0)
317 printf("Info log for linking:\n%s\n", whole_program
->InfoLog
);
320 for (unsigned i
= 0; i
< whole_program
->_NumLinkedShaders
; i
++)
321 talloc_free(whole_program
->_LinkedShaders
[i
]);
323 talloc_free(whole_program
);
324 _mesa_glsl_release_types();
325 _mesa_glsl_release_functions();