1 /* Loop optimizations over tree-ssa.
2 Copyright (C) 2003, 2005, 2006, 2007 Free Software Foundation, Inc.
4 This file is part of GCC.
6 GCC is free software; you can redistribute it and/or modify it
7 under the terms of the GNU General Public License as published by the
8 Free Software Foundation; either version 3, or (at your option) any
11 GCC is distributed in the hope that it will be useful, but WITHOUT
12 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
13 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
16 You should have received a copy of the GNU General Public License
17 along with GCC; see the file COPYING3. If not see
18 <http://www.gnu.org/licenses/>. */
22 #include "coretypes.h"
27 #include "hard-reg-set.h"
28 #include "basic-block.h"
30 #include "diagnostic.h"
31 #include "tree-flow.h"
32 #include "tree-dump.h"
33 #include "tree-pass.h"
37 #include "tree-inline.h"
38 #include "tree-scalar-evolution.h"
40 /* Initializes the loop structures. */
43 tree_loop_optimizer_init (void)
45 loop_optimizer_init (LOOPS_NORMAL
46 | LOOPS_HAVE_RECORDED_EXITS);
47 rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa);
50 /* The loop superpass. */
55 return flag_tree_loop_optimize != 0;
58 struct tree_opt_pass pass_tree_loop =
61 gate_tree_loop, /* gate */
65 0, /* static_pass_number */
66 TV_TREE_LOOP, /* tv_id */
67 PROP_cfg, /* properties_required */
68 0, /* properties_provided */
69 0, /* properties_destroyed */
70 TODO_ggc_collect, /* todo_flags_start */
71 TODO_dump_func | TODO_verify_ssa | TODO_ggc_collect, /* todo_flags_finish */
75 /* Loop optimizer initialization. */
78 tree_ssa_loop_init (void)
80 tree_loop_optimizer_init ();
81 if (number_of_loops () <= 1)
88 struct tree_opt_pass pass_tree_loop_init =
90 "loopinit", /* name */
92 tree_ssa_loop_init, /* execute */
95 0, /* static_pass_number */
96 TV_TREE_LOOP_INIT, /* tv_id */
97 PROP_cfg, /* properties_required */
98 0, /* properties_provided */
99 0, /* properties_destroyed */
100 0, /* todo_flags_start */
101 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
105 /* Loop invariant motion pass. */
108 tree_ssa_loop_im (void)
110 if (number_of_loops () <= 1)
118 gate_tree_ssa_loop_im (void)
120 return flag_tree_loop_im != 0;
123 struct tree_opt_pass pass_lim =
126 gate_tree_ssa_loop_im, /* gate */
127 tree_ssa_loop_im, /* execute */
130 0, /* static_pass_number */
132 PROP_cfg, /* properties_required */
133 0, /* properties_provided */
134 0, /* properties_destroyed */
135 0, /* todo_flags_start */
136 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
140 /* Loop unswitching pass. */
143 tree_ssa_loop_unswitch (void)
145 if (number_of_loops () <= 1)
148 return tree_ssa_unswitch_loops ();
152 gate_tree_ssa_loop_unswitch (void)
154 return flag_unswitch_loops != 0;
157 struct tree_opt_pass pass_tree_unswitch =
159 "unswitch", /* name */
160 gate_tree_ssa_loop_unswitch, /* gate */
161 tree_ssa_loop_unswitch, /* execute */
164 0, /* static_pass_number */
165 TV_TREE_LOOP_UNSWITCH, /* tv_id */
166 PROP_cfg, /* properties_required */
167 0, /* properties_provided */
168 0, /* properties_destroyed */
169 0, /* todo_flags_start */
170 TODO_ggc_collect | TODO_dump_func
171 | TODO_verify_loops, /* todo_flags_finish */
175 /* Predictive commoning. */
178 run_tree_predictive_commoning (void)
183 tree_predictive_commoning ();
188 gate_tree_predictive_commoning (void)
190 return flag_predictive_commoning != 0;
193 struct tree_opt_pass pass_predcom =
196 gate_tree_predictive_commoning, /* gate */
197 run_tree_predictive_commoning, /* execute */
200 0, /* static_pass_number */
201 TV_PREDCOM, /* tv_id */
202 PROP_cfg, /* properties_required */
203 0, /* properties_provided */
204 0, /* properties_destroyed */
205 0, /* todo_flags_start */
206 TODO_dump_func | TODO_verify_loops
207 | TODO_update_ssa_only_virtuals, /* todo_flags_finish */
211 /* Loop autovectorization. */
214 tree_vectorize (void)
216 return vectorize_loops ();
220 gate_tree_vectorize (void)
222 return flag_tree_vectorize && number_of_loops () > 1;
225 struct tree_opt_pass pass_vectorize =
228 gate_tree_vectorize, /* gate */
229 tree_vectorize, /* execute */
232 0, /* static_pass_number */
233 TV_TREE_VECTORIZATION, /* tv_id */
234 PROP_cfg | PROP_ssa, /* properties_required */
235 0, /* properties_provided */
236 0, /* properties_destroyed */
237 TODO_verify_loops, /* todo_flags_start */
238 TODO_dump_func | TODO_update_ssa
239 | TODO_ggc_collect, /* todo_flags_finish */
243 /* Loop nest optimizations. */
246 tree_linear_transform (void)
248 if (number_of_loops () <= 1)
251 linear_transform_loops ();
256 gate_tree_linear_transform (void)
258 return flag_tree_loop_linear != 0;
261 struct tree_opt_pass pass_linear_transform =
264 gate_tree_linear_transform, /* gate */
265 tree_linear_transform, /* execute */
268 0, /* static_pass_number */
269 TV_TREE_LINEAR_TRANSFORM, /* tv_id */
270 PROP_cfg | PROP_ssa, /* properties_required */
271 0, /* properties_provided */
272 0, /* properties_destroyed */
273 0, /* todo_flags_start */
274 TODO_dump_func | TODO_verify_loops
275 | TODO_update_ssa_only_virtuals
276 | TODO_ggc_collect, /* todo_flags_finish */
280 /* Check the correctness of the data dependence analyzers. */
283 check_data_deps (void)
285 if (number_of_loops () <= 1)
288 tree_check_data_deps ();
293 gate_check_data_deps (void)
295 return flag_check_data_deps != 0;
298 struct tree_opt_pass pass_check_data_deps =
301 gate_check_data_deps, /* gate */
302 check_data_deps, /* execute */
305 0, /* static_pass_number */
306 TV_CHECK_DATA_DEPS, /* tv_id */
307 PROP_cfg | PROP_ssa, /* properties_required */
308 0, /* properties_provided */
309 0, /* properties_destroyed */
310 0, /* todo_flags_start */
311 TODO_dump_func, /* todo_flags_finish */
315 /* Canonical induction variable creation pass. */
318 tree_ssa_loop_ivcanon (void)
320 if (number_of_loops () <= 1)
323 return canonicalize_induction_variables ();
327 gate_tree_ssa_loop_ivcanon (void)
329 return flag_tree_loop_ivcanon != 0;
332 struct tree_opt_pass pass_iv_canon =
334 "ivcanon", /* name */
335 gate_tree_ssa_loop_ivcanon, /* gate */
336 tree_ssa_loop_ivcanon, /* execute */
339 0, /* static_pass_number */
340 TV_TREE_LOOP_IVCANON, /* tv_id */
341 PROP_cfg | PROP_ssa, /* properties_required */
342 0, /* properties_provided */
343 0, /* properties_destroyed */
344 0, /* todo_flags_start */
345 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
349 /* Propagation of constants using scev. */
352 gate_scev_const_prop (void)
354 return flag_tree_scev_cprop;
357 struct tree_opt_pass pass_scev_cprop =
360 gate_scev_const_prop, /* gate */
361 scev_const_prop, /* execute */
364 0, /* static_pass_number */
365 TV_SCEV_CONST, /* tv_id */
366 PROP_cfg | PROP_ssa, /* properties_required */
367 0, /* properties_provided */
368 0, /* properties_destroyed */
369 0, /* todo_flags_start */
370 TODO_dump_func | TODO_cleanup_cfg
371 | TODO_update_ssa_only_virtuals,
372 /* todo_flags_finish */
376 /* Remove empty loops. */
379 tree_ssa_empty_loop (void)
381 if (number_of_loops () <= 1)
384 return remove_empty_loops ();
387 struct tree_opt_pass pass_empty_loop =
391 tree_ssa_empty_loop, /* execute */
394 0, /* static_pass_number */
395 TV_COMPLETE_UNROLL, /* tv_id */
396 PROP_cfg | PROP_ssa, /* properties_required */
397 0, /* properties_provided */
398 0, /* properties_destroyed */
399 0, /* todo_flags_start */
400 TODO_dump_func | TODO_verify_loops
401 | TODO_ggc_collect, /* todo_flags_finish */
405 /* Record bounds on numbers of iterations of loops. */
408 tree_ssa_loop_bounds (void)
410 if (number_of_loops () <= 1)
413 estimate_numbers_of_iterations ();
418 struct tree_opt_pass pass_record_bounds =
422 tree_ssa_loop_bounds, /* execute */
425 0, /* static_pass_number */
426 TV_TREE_LOOP_BOUNDS, /* tv_id */
427 PROP_cfg | PROP_ssa, /* properties_required */
428 0, /* properties_provided */
429 0, /* properties_destroyed */
430 0, /* todo_flags_start */
431 0, /* todo_flags_finish */
435 /* Complete unrolling of loops. */
438 tree_complete_unroll (void)
440 if (number_of_loops () <= 1)
443 return tree_unroll_loops_completely (flag_unroll_loops
449 gate_tree_complete_unroll (void)
454 struct tree_opt_pass pass_complete_unroll =
456 "cunroll", /* name */
457 gate_tree_complete_unroll, /* gate */
458 tree_complete_unroll, /* execute */
461 0, /* static_pass_number */
462 TV_COMPLETE_UNROLL, /* tv_id */
463 PROP_cfg | PROP_ssa, /* properties_required */
464 0, /* properties_provided */
465 0, /* properties_destroyed */
466 0, /* todo_flags_start */
467 TODO_dump_func | TODO_verify_loops
468 | TODO_ggc_collect, /* todo_flags_finish */
472 /* Parallelization. */
475 gate_tree_parallelize_loops (void)
477 return flag_tree_parallelize_loops > 1;
481 tree_parallelize_loops (void)
483 if (number_of_loops () <= 1)
486 if (parallelize_loops ())
487 return TODO_cleanup_cfg | TODO_rebuild_alias;
491 struct tree_opt_pass pass_parallelize_loops =
493 "parloops", /* name */
494 gate_tree_parallelize_loops, /* gate */
495 tree_parallelize_loops, /* execute */
498 0, /* static_pass_number */
499 TV_TREE_PARALLELIZE_LOOPS, /* tv_id */
500 PROP_cfg | PROP_ssa, /* properties_required */
501 0, /* properties_provided */
502 0, /* properties_destroyed */
503 0, /* todo_flags_start */
504 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
511 tree_ssa_loop_prefetch (void)
513 if (number_of_loops () <= 1)
516 return tree_ssa_prefetch_arrays ();
520 gate_tree_ssa_loop_prefetch (void)
522 return flag_prefetch_loop_arrays != 0;
525 struct tree_opt_pass pass_loop_prefetch =
527 "aprefetch", /* name */
528 gate_tree_ssa_loop_prefetch, /* gate */
529 tree_ssa_loop_prefetch, /* execute */
532 0, /* static_pass_number */
533 TV_TREE_PREFETCH, /* tv_id */
534 PROP_cfg | PROP_ssa, /* properties_required */
535 0, /* properties_provided */
536 0, /* properties_destroyed */
537 0, /* todo_flags_start */
538 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
542 /* Induction variable optimizations. */
545 tree_ssa_loop_ivopts (void)
547 if (number_of_loops () <= 1)
550 tree_ssa_iv_optimize ();
555 gate_tree_ssa_loop_ivopts (void)
557 return flag_ivopts != 0;
560 struct tree_opt_pass pass_iv_optimize =
563 gate_tree_ssa_loop_ivopts, /* gate */
564 tree_ssa_loop_ivopts, /* execute */
567 0, /* static_pass_number */
568 TV_TREE_LOOP_IVOPTS, /* tv_id */
569 PROP_cfg | PROP_ssa, /* properties_required */
570 0, /* properties_provided */
571 0, /* properties_destroyed */
572 0, /* todo_flags_start */
573 TODO_dump_func | TODO_verify_loops
574 | TODO_update_ssa | TODO_ggc_collect, /* todo_flags_finish */
578 /* Loop optimizer finalization. */
581 tree_ssa_loop_done (void)
583 free_numbers_of_iterations_estimates ();
585 loop_optimizer_finalize ();
589 struct tree_opt_pass pass_tree_loop_done =
591 "loopdone", /* name */
593 tree_ssa_loop_done, /* execute */
596 0, /* static_pass_number */
597 TV_TREE_LOOP_FINI, /* tv_id */
598 PROP_cfg, /* properties_required */
599 0, /* properties_provided */
600 0, /* properties_destroyed */
601 0, /* todo_flags_start */
602 TODO_cleanup_cfg | TODO_dump_func, /* todo_flags_finish */