Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 1 | /* |
| 2 | * Copyright © 2011 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 | |
| 24 | /** |
| 25 | * \file test_optpass.cpp |
| 26 | * |
| 27 | * Standalone test for optimization passes. |
| 28 | * |
| 29 | * This file provides the "optpass" command for the standalone |
| 30 | * glsl_test app. It accepts either GLSL or high-level IR as input, |
| 31 | * and performs the optimiation passes specified on the command line. |
| 32 | * It outputs the IR, both before and after optimiations. |
| 33 | */ |
| 34 | |
| 35 | #include <string> |
| 36 | #include <iostream> |
| 37 | #include <sstream> |
| 38 | #include <getopt.h> |
| 39 | |
| 40 | #include "ast.h" |
| 41 | #include "ir_optimization.h" |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 42 | #include "program.h" |
| 43 | #include "ir_reader.h" |
| 44 | #include "standalone_scaffolding.h" |
| 45 | |
| 46 | using namespace std; |
| 47 | |
| 48 | static string read_stdin_to_eof() |
| 49 | { |
| 50 | stringbuf sb; |
| 51 | cin.get(sb, '\0'); |
| 52 | return sb.str(); |
| 53 | } |
| 54 | |
| 55 | static GLboolean |
Paul Berry | b0bb610 | 2013-05-13 07:52:08 -0700 | [diff] [blame] | 56 | do_optimization(struct exec_list *ir, const char *optimization, |
| 57 | const struct gl_shader_compiler_options *options) |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 58 | { |
| 59 | int int_0; |
| 60 | int int_1; |
| 61 | int int_2; |
| 62 | int int_3; |
| 63 | int int_4; |
| 64 | |
Kenneth Graunke | da22221 | 2014-04-08 15:43:46 -0700 | [diff] [blame] | 65 | if (sscanf(optimization, "do_common_optimization ( %d ) ", &int_0) == 1) { |
| 66 | return do_common_optimization(ir, int_0 != 0, false, options, true); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 67 | } else if (strcmp(optimization, "do_algebraic") == 0) { |
Matt Turner | f043971 | 2014-02-28 17:49:20 -0800 | [diff] [blame] | 68 | return do_algebraic(ir, true, options); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 69 | } else if (strcmp(optimization, "do_constant_folding") == 0) { |
| 70 | return do_constant_folding(ir); |
| 71 | } else if (strcmp(optimization, "do_constant_variable") == 0) { |
| 72 | return do_constant_variable(ir); |
| 73 | } else if (strcmp(optimization, "do_constant_variable_unlinked") == 0) { |
| 74 | return do_constant_variable_unlinked(ir); |
| 75 | } else if (strcmp(optimization, "do_copy_propagation") == 0) { |
| 76 | return do_copy_propagation(ir); |
| 77 | } else if (strcmp(optimization, "do_copy_propagation_elements") == 0) { |
| 78 | return do_copy_propagation_elements(ir); |
| 79 | } else if (strcmp(optimization, "do_constant_propagation") == 0) { |
| 80 | return do_constant_propagation(ir); |
| 81 | } else if (strcmp(optimization, "do_dead_code") == 0) { |
Ian Romanick | 1d5d67f | 2011-10-21 11:17:39 -0700 | [diff] [blame] | 82 | return do_dead_code(ir, false); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 83 | } else if (strcmp(optimization, "do_dead_code_local") == 0) { |
| 84 | return do_dead_code_local(ir); |
| 85 | } else if (strcmp(optimization, "do_dead_code_unlinked") == 0) { |
| 86 | return do_dead_code_unlinked(ir); |
| 87 | } else if (strcmp(optimization, "do_dead_functions") == 0) { |
| 88 | return do_dead_functions(ir); |
| 89 | } else if (strcmp(optimization, "do_function_inlining") == 0) { |
| 90 | return do_function_inlining(ir); |
| 91 | } else if (sscanf(optimization, |
| 92 | "do_lower_jumps ( %d , %d , %d , %d , %d ) ", |
| 93 | &int_0, &int_1, &int_2, &int_3, &int_4) == 5) { |
| 94 | return do_lower_jumps(ir, int_0 != 0, int_1 != 0, int_2 != 0, |
| 95 | int_3 != 0, int_4 != 0); |
| 96 | } else if (strcmp(optimization, "do_lower_texture_projection") == 0) { |
| 97 | return do_lower_texture_projection(ir); |
| 98 | } else if (strcmp(optimization, "do_if_simplification") == 0) { |
| 99 | return do_if_simplification(ir); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 100 | } else if (sscanf(optimization, "lower_if_to_cond_assign ( %d ) ", |
| 101 | &int_0) == 1) { |
Marek Olšák | 83d9b8a | 2016-07-03 17:01:09 +0200 | [diff] [blame] | 102 | return lower_if_to_cond_assign(MESA_SHADER_VERTEX, ir, int_0); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 103 | } else if (strcmp(optimization, "do_mat_op_to_vec") == 0) { |
| 104 | return do_mat_op_to_vec(ir); |
Ian Romanick | ef1ca06 | 2017-10-31 23:37:14 -0700 | [diff] [blame^] | 105 | } else if (strcmp(optimization, "optimize_swizzles") == 0) { |
| 106 | return optimize_swizzles(ir); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 107 | } else if (strcmp(optimization, "do_structure_splitting") == 0) { |
| 108 | return do_structure_splitting(ir); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 109 | } else if (strcmp(optimization, "do_tree_grafting") == 0) { |
| 110 | return do_tree_grafting(ir); |
| 111 | } else if (strcmp(optimization, "do_vec_index_to_cond_assign") == 0) { |
| 112 | return do_vec_index_to_cond_assign(ir); |
| 113 | } else if (strcmp(optimization, "do_vec_index_to_swizzle") == 0) { |
| 114 | return do_vec_index_to_swizzle(ir); |
| 115 | } else if (strcmp(optimization, "lower_discard") == 0) { |
| 116 | return lower_discard(ir); |
| 117 | } else if (sscanf(optimization, "lower_instructions ( %d ) ", |
| 118 | &int_0) == 1) { |
| 119 | return lower_instructions(ir, int_0); |
| 120 | } else if (strcmp(optimization, "lower_noise") == 0) { |
| 121 | return lower_noise(ir); |
| 122 | } else if (sscanf(optimization, "lower_variable_index_to_cond_assign " |
| 123 | "( %d , %d , %d , %d ) ", &int_0, &int_1, &int_2, |
| 124 | &int_3) == 4) { |
Marek Olšák | fb800b3 | 2015-05-28 23:24:08 +0200 | [diff] [blame] | 125 | return lower_variable_index_to_cond_assign(MESA_SHADER_VERTEX, ir, |
| 126 | int_0 != 0, int_1 != 0, |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 127 | int_2 != 0, int_3 != 0); |
| 128 | } else if (sscanf(optimization, "lower_quadop_vector ( %d ) ", |
| 129 | &int_0) == 1) { |
| 130 | return lower_quadop_vector(ir, int_0 != 0); |
| 131 | } else if (strcmp(optimization, "optimize_redundant_jumps") == 0) { |
| 132 | return optimize_redundant_jumps(ir); |
| 133 | } else { |
| 134 | printf("Unrecognized optimization %s\n", optimization); |
| 135 | exit(EXIT_FAILURE); |
| 136 | return false; |
| 137 | } |
| 138 | } |
| 139 | |
| 140 | static GLboolean |
| 141 | do_optimization_passes(struct exec_list *ir, char **optimizations, |
Paul Berry | b0bb610 | 2013-05-13 07:52:08 -0700 | [diff] [blame] | 142 | int num_optimizations, bool quiet, |
| 143 | const struct gl_shader_compiler_options *options) |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 144 | { |
| 145 | GLboolean overall_progress = false; |
| 146 | |
| 147 | for (int i = 0; i < num_optimizations; ++i) { |
| 148 | const char *optimization = optimizations[i]; |
| 149 | if (!quiet) { |
| 150 | printf("*** Running optimization %s...", optimization); |
| 151 | } |
Paul Berry | b0bb610 | 2013-05-13 07:52:08 -0700 | [diff] [blame] | 152 | GLboolean progress = do_optimization(ir, optimization, options); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 153 | if (!quiet) { |
| 154 | printf("%s\n", progress ? "progress" : "no progress"); |
| 155 | } |
| 156 | validate_ir_tree(ir); |
| 157 | |
| 158 | overall_progress = overall_progress || progress; |
| 159 | } |
| 160 | |
| 161 | return overall_progress; |
| 162 | } |
| 163 | |
| 164 | int test_optpass(int argc, char **argv) |
| 165 | { |
| 166 | int input_format_ir = 0; /* 0=glsl, 1=ir */ |
| 167 | int loop = 0; |
| 168 | int shader_type = GL_VERTEX_SHADER; |
| 169 | int quiet = 0; |
| 170 | |
| 171 | const struct option optpass_opts[] = { |
| 172 | { "input-ir", no_argument, &input_format_ir, 1 }, |
| 173 | { "input-glsl", no_argument, &input_format_ir, 0 }, |
| 174 | { "loop", no_argument, &loop, 1 }, |
| 175 | { "vertex-shader", no_argument, &shader_type, GL_VERTEX_SHADER }, |
| 176 | { "fragment-shader", no_argument, &shader_type, GL_FRAGMENT_SHADER }, |
| 177 | { "quiet", no_argument, &quiet, 1 }, |
| 178 | { NULL, 0, NULL, 0 } |
| 179 | }; |
| 180 | |
| 181 | int idx = 0; |
| 182 | int c; |
| 183 | while ((c = getopt_long(argc, argv, "", optpass_opts, &idx)) != -1) { |
| 184 | if (c != 0) { |
| 185 | printf("*** usage: %s optpass <optimizations> <options>\n", argv[0]); |
| 186 | printf("\n"); |
| 187 | printf("Possible options are:\n"); |
| 188 | printf(" --input-ir: input format is IR\n"); |
| 189 | printf(" --input-glsl: input format is GLSL (the default)\n"); |
| 190 | printf(" --loop: run optimizations repeatedly until no progress\n"); |
| 191 | printf(" --vertex-shader: test with a vertex shader (the default)\n"); |
| 192 | printf(" --fragment-shader: test with a fragment shader\n"); |
| 193 | exit(EXIT_FAILURE); |
| 194 | } |
| 195 | } |
| 196 | |
| 197 | struct gl_context local_ctx; |
| 198 | struct gl_context *ctx = &local_ctx; |
Paul Berry | dbd6135 | 2012-11-27 12:26:51 -0800 | [diff] [blame] | 199 | initialize_context_to_defaults(ctx, API_OPENGL_COMPAT); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 200 | |
Ian Romanick | c87d09d | 2014-07-08 19:03:52 -0700 | [diff] [blame] | 201 | ir_variable::temporaries_allocate_names = true; |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 202 | |
| 203 | struct gl_shader *shader = rzalloc(NULL, struct gl_shader); |
| 204 | shader->Type = shader_type; |
Paul Berry | 65511e5 | 2014-01-07 10:58:56 -0800 | [diff] [blame] | 205 | shader->Stage = _mesa_shader_enum_to_shader_stage(shader_type); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 206 | |
| 207 | string input = read_stdin_to_eof(); |
| 208 | |
| 209 | struct _mesa_glsl_parse_state *state |
Paul Berry | 9110078 | 2014-01-07 09:46:10 -0800 | [diff] [blame] | 210 | = new(shader) _mesa_glsl_parse_state(ctx, shader->Stage, shader); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 211 | |
| 212 | if (input_format_ir) { |
| 213 | shader->ir = new(shader) exec_list; |
| 214 | _mesa_glsl_initialize_types(state); |
| 215 | _mesa_glsl_read_ir(state, shader->ir, input.c_str(), true); |
| 216 | } else { |
| 217 | shader->Source = input.c_str(); |
| 218 | const char *source = shader->Source; |
Dave Airlie | 88b0790 | 2012-09-14 10:13:01 +1000 | [diff] [blame] | 219 | state->error = glcpp_preprocess(state, &source, &state->info_log, |
Ilia Mirkin | e483cb9 | 2016-06-12 18:56:43 -0400 | [diff] [blame] | 220 | NULL, NULL, ctx) != 0; |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 221 | |
| 222 | if (!state->error) { |
| 223 | _mesa_glsl_lexer_ctor(state, source); |
| 224 | _mesa_glsl_parse(state); |
| 225 | _mesa_glsl_lexer_dtor(state); |
| 226 | } |
| 227 | |
| 228 | shader->ir = new(shader) exec_list; |
| 229 | if (!state->error && !state->translation_unit.is_empty()) |
| 230 | _mesa_ast_to_hir(shader->ir, state); |
| 231 | } |
| 232 | |
| 233 | /* Print out the initial IR */ |
| 234 | if (!state->error && !quiet) { |
| 235 | printf("*** pre-optimization IR:\n"); |
Eric Anholt | 1e3bd9f | 2014-02-20 18:00:23 -0800 | [diff] [blame] | 236 | _mesa_print_ir(stdout, shader->ir, state); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 237 | printf("\n--\n"); |
| 238 | } |
| 239 | |
| 240 | /* Optimization passes */ |
| 241 | if (!state->error) { |
| 242 | GLboolean progress; |
Paul Berry | b0bb610 | 2013-05-13 07:52:08 -0700 | [diff] [blame] | 243 | const struct gl_shader_compiler_options *options = |
Marek Olšák | 002211f | 2014-08-03 04:31:56 +0200 | [diff] [blame] | 244 | &ctx->Const.ShaderCompilerOptions[_mesa_shader_enum_to_shader_stage(shader_type)]; |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 245 | do { |
| 246 | progress = do_optimization_passes(shader->ir, &argv[optind], |
Paul Berry | b0bb610 | 2013-05-13 07:52:08 -0700 | [diff] [blame] | 247 | argc - optind, quiet != 0, options); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 248 | } while (loop && progress); |
| 249 | } |
| 250 | |
| 251 | /* Print out the resulting IR */ |
| 252 | if (!state->error) { |
| 253 | if (!quiet) { |
| 254 | printf("*** resulting IR:\n"); |
| 255 | } |
Eric Anholt | 1e3bd9f | 2014-02-20 18:00:23 -0800 | [diff] [blame] | 256 | _mesa_print_ir(stdout, shader->ir, state); |
Paul Berry | f1f76e1 | 2011-06-29 12:30:04 -0700 | [diff] [blame] | 257 | if (!quiet) { |
| 258 | printf("\n--\n"); |
| 259 | } |
| 260 | } |
| 261 | |
| 262 | if (state->error) { |
| 263 | printf("*** error(s) occurred:\n"); |
| 264 | printf("%s\n", state->info_log); |
| 265 | printf("--\n"); |
| 266 | } |
| 267 | |
| 268 | ralloc_free(state); |
| 269 | ralloc_free(shader); |
| 270 | |
| 271 | return state->error; |
| 272 | } |
| 273 | |