1 /* Loop optimizations over tree-ssa.
2 Copyright (C) 2003, 2005, 2006, 2007, 2008 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"
26 #include "basic-block.h"
28 #include "tree-flow.h"
29 #include "tree-dump.h"
30 #include "tree-pass.h"
34 #include "tree-inline.h"
35 #include "tree-scalar-evolution.h"
36 #include "diagnostic-core.h"
38 #include "tree-vectorizer.h"
40 /* The loop superpass. */
45 return flag_tree_loop_optimize != 0;
48 struct gimple_opt_pass pass_tree_loop =
53 gate_tree_loop, /* gate */
57 0, /* static_pass_number */
58 TV_TREE_LOOP, /* tv_id */
59 PROP_cfg, /* properties_required */
60 0, /* properties_provided */
61 0, /* properties_destroyed */
62 TODO_ggc_collect, /* todo_flags_start */
63 TODO_dump_func | TODO_verify_ssa | TODO_ggc_collect /* todo_flags_finish */
67 /* Loop optimizer initialization. */
70 tree_ssa_loop_init (void)
72 loop_optimizer_init (LOOPS_NORMAL
73 | LOOPS_HAVE_RECORDED_EXITS);
74 rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa);
76 if (number_of_loops () <= 1)
83 struct gimple_opt_pass pass_tree_loop_init =
87 "loopinit", /* name */
89 tree_ssa_loop_init, /* execute */
92 0, /* static_pass_number */
93 TV_TREE_LOOP_INIT, /* tv_id */
94 PROP_cfg, /* properties_required */
95 0, /* properties_provided */
96 0, /* properties_destroyed */
97 0, /* todo_flags_start */
98 TODO_dump_func /* todo_flags_finish */
102 /* Loop invariant motion pass. */
105 tree_ssa_loop_im (void)
107 if (number_of_loops () <= 1)
110 return tree_ssa_lim ();
114 gate_tree_ssa_loop_im (void)
116 return flag_tree_loop_im != 0;
119 struct gimple_opt_pass pass_lim =
124 gate_tree_ssa_loop_im, /* gate */
125 tree_ssa_loop_im, /* execute */
128 0, /* static_pass_number */
130 PROP_cfg, /* properties_required */
131 0, /* properties_provided */
132 0, /* properties_destroyed */
133 0, /* todo_flags_start */
134 TODO_dump_func /* todo_flags_finish */
138 /* Loop unswitching pass. */
141 tree_ssa_loop_unswitch (void)
143 if (number_of_loops () <= 1)
146 return tree_ssa_unswitch_loops ();
150 gate_tree_ssa_loop_unswitch (void)
152 return flag_unswitch_loops != 0;
155 struct gimple_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 /* todo_flags_finish */
174 /* Predictive commoning. */
177 run_tree_predictive_commoning (void)
182 tree_predictive_commoning ();
187 gate_tree_predictive_commoning (void)
189 return flag_predictive_commoning != 0;
192 struct gimple_opt_pass pass_predcom =
197 gate_tree_predictive_commoning, /* gate */
198 run_tree_predictive_commoning, /* execute */
201 0, /* static_pass_number */
202 TV_PREDCOM, /* tv_id */
203 PROP_cfg, /* properties_required */
204 0, /* properties_provided */
205 0, /* properties_destroyed */
206 0, /* todo_flags_start */
208 | TODO_update_ssa_only_virtuals /* todo_flags_finish */
212 /* Loop autovectorization. */
215 tree_vectorize (void)
217 if (number_of_loops () <= 1)
220 return vectorize_loops ();
224 gate_tree_vectorize (void)
226 return flag_tree_vectorize;
229 struct gimple_opt_pass pass_vectorize =
234 gate_tree_vectorize, /* gate */
235 tree_vectorize, /* execute */
238 0, /* static_pass_number */
239 TV_TREE_VECTORIZATION, /* tv_id */
240 PROP_cfg | PROP_ssa, /* properties_required */
241 0, /* properties_provided */
242 0, /* properties_destroyed */
243 0, /* todo_flags_start */
244 TODO_dump_func | TODO_update_ssa
245 | TODO_ggc_collect /* todo_flags_finish */
249 /* Loop nest optimizations. */
252 tree_linear_transform (void)
254 if (number_of_loops () <= 1)
257 linear_transform_loops ();
262 gate_tree_linear_transform (void)
264 return flag_tree_loop_linear != 0;
267 struct gimple_opt_pass pass_linear_transform =
272 gate_tree_linear_transform, /* gate */
273 tree_linear_transform, /* execute */
276 0, /* static_pass_number */
277 TV_TREE_LINEAR_TRANSFORM, /* tv_id */
278 PROP_cfg | PROP_ssa, /* properties_required */
279 0, /* properties_provided */
280 0, /* properties_destroyed */
281 0, /* todo_flags_start */
283 | TODO_update_ssa_only_virtuals
284 | TODO_ggc_collect /* todo_flags_finish */
288 /* GRAPHITE optimizations. */
291 graphite_transforms (void)
296 graphite_transform_loops ();
302 gate_graphite_transforms (void)
304 /* Enable -fgraphite pass if any one of the graphite optimization flags
306 if (flag_loop_block || flag_loop_interchange || flag_loop_strip_mine
307 || flag_graphite_identity || flag_loop_parallelize_all)
310 return flag_graphite != 0;
313 struct gimple_opt_pass pass_graphite =
317 "graphite0", /* name */
318 gate_graphite_transforms, /* gate */
322 0, /* static_pass_number */
323 TV_GRAPHITE, /* tv_id */
324 PROP_cfg | PROP_ssa, /* properties_required */
325 0, /* properties_provided */
326 0, /* properties_destroyed */
327 0, /* todo_flags_start */
328 0 /* todo_flags_finish */
332 struct gimple_opt_pass pass_graphite_transforms =
336 "graphite", /* name */
337 gate_graphite_transforms, /* gate */
338 graphite_transforms, /* execute */
341 0, /* static_pass_number */
342 TV_GRAPHITE_TRANSFORMS, /* tv_id */
343 PROP_cfg | PROP_ssa, /* properties_required */
344 0, /* properties_provided */
345 0, /* properties_destroyed */
346 0, /* todo_flags_start */
347 0 /* todo_flags_finish */
351 /* Check the correctness of the data dependence analyzers. */
354 check_data_deps (void)
356 if (number_of_loops () <= 1)
359 tree_check_data_deps ();
364 gate_check_data_deps (void)
366 return flag_check_data_deps != 0;
369 struct gimple_opt_pass pass_check_data_deps =
374 gate_check_data_deps, /* gate */
375 check_data_deps, /* execute */
378 0, /* static_pass_number */
379 TV_CHECK_DATA_DEPS, /* tv_id */
380 PROP_cfg | PROP_ssa, /* properties_required */
381 0, /* properties_provided */
382 0, /* properties_destroyed */
383 0, /* todo_flags_start */
384 TODO_dump_func /* todo_flags_finish */
388 /* Canonical induction variable creation pass. */
391 tree_ssa_loop_ivcanon (void)
393 if (number_of_loops () <= 1)
396 return canonicalize_induction_variables ();
400 gate_tree_ssa_loop_ivcanon (void)
402 return flag_tree_loop_ivcanon != 0;
405 struct gimple_opt_pass pass_iv_canon =
409 "ivcanon", /* name */
410 gate_tree_ssa_loop_ivcanon, /* gate */
411 tree_ssa_loop_ivcanon, /* execute */
414 0, /* static_pass_number */
415 TV_TREE_LOOP_IVCANON, /* tv_id */
416 PROP_cfg | PROP_ssa, /* properties_required */
417 0, /* properties_provided */
418 0, /* properties_destroyed */
419 0, /* todo_flags_start */
420 TODO_dump_func /* todo_flags_finish */
424 /* Propagation of constants using scev. */
427 gate_scev_const_prop (void)
429 return flag_tree_scev_cprop;
432 struct gimple_opt_pass pass_scev_cprop =
437 gate_scev_const_prop, /* gate */
438 scev_const_prop, /* execute */
441 0, /* static_pass_number */
442 TV_SCEV_CONST, /* tv_id */
443 PROP_cfg | PROP_ssa, /* properties_required */
444 0, /* properties_provided */
445 0, /* properties_destroyed */
446 0, /* todo_flags_start */
447 TODO_dump_func | TODO_cleanup_cfg
448 | TODO_update_ssa_only_virtuals
449 /* todo_flags_finish */
453 /* Record bounds on numbers of iterations of loops. */
456 tree_ssa_loop_bounds (void)
458 if (number_of_loops () <= 1)
461 estimate_numbers_of_iterations (true);
466 struct gimple_opt_pass pass_record_bounds =
470 "*record_bounds", /* name */
472 tree_ssa_loop_bounds, /* execute */
475 0, /* static_pass_number */
476 TV_TREE_LOOP_BOUNDS, /* tv_id */
477 PROP_cfg | PROP_ssa, /* properties_required */
478 0, /* properties_provided */
479 0, /* properties_destroyed */
480 0, /* todo_flags_start */
481 0 /* todo_flags_finish */
485 /* Complete unrolling of loops. */
488 tree_complete_unroll (void)
490 if (number_of_loops () <= 1)
493 return tree_unroll_loops_completely (flag_unroll_loops
495 || optimize >= 3, true);
499 gate_tree_complete_unroll (void)
504 struct gimple_opt_pass pass_complete_unroll =
508 "cunroll", /* name */
509 gate_tree_complete_unroll, /* gate */
510 tree_complete_unroll, /* execute */
513 0, /* static_pass_number */
514 TV_COMPLETE_UNROLL, /* tv_id */
515 PROP_cfg | PROP_ssa, /* properties_required */
516 0, /* properties_provided */
517 0, /* properties_destroyed */
518 0, /* todo_flags_start */
520 | TODO_ggc_collect /* todo_flags_finish */
524 /* Complete unrolling of inner loops. */
527 tree_complete_unroll_inner (void)
531 loop_optimizer_init (LOOPS_NORMAL
532 | LOOPS_HAVE_RECORDED_EXITS);
533 if (number_of_loops () > 1)
536 ret = tree_unroll_loops_completely (optimize >= 3, false);
537 free_numbers_of_iterations_estimates ();
540 loop_optimizer_finalize ();
546 gate_tree_complete_unroll_inner (void)
548 return optimize >= 2;
551 struct gimple_opt_pass pass_complete_unrolli =
555 "cunrolli", /* name */
556 gate_tree_complete_unroll_inner, /* gate */
557 tree_complete_unroll_inner, /* execute */
560 0, /* static_pass_number */
561 TV_COMPLETE_UNROLL, /* tv_id */
562 PROP_cfg | PROP_ssa, /* properties_required */
563 0, /* properties_provided */
564 0, /* properties_destroyed */
565 0, /* todo_flags_start */
567 | TODO_ggc_collect /* todo_flags_finish */
571 /* Parallelization. */
574 gate_tree_parallelize_loops (void)
576 return flag_tree_parallelize_loops > 1;
580 tree_parallelize_loops (void)
582 if (number_of_loops () <= 1)
585 if (parallelize_loops ())
586 return TODO_cleanup_cfg | TODO_rebuild_alias;
590 struct gimple_opt_pass pass_parallelize_loops =
594 "parloops", /* name */
595 gate_tree_parallelize_loops, /* gate */
596 tree_parallelize_loops, /* execute */
599 0, /* static_pass_number */
600 TV_TREE_PARALLELIZE_LOOPS, /* tv_id */
601 PROP_cfg | PROP_ssa, /* properties_required */
602 0, /* properties_provided */
603 0, /* properties_destroyed */
604 0, /* todo_flags_start */
605 TODO_dump_func /* todo_flags_finish */
612 tree_ssa_loop_prefetch (void)
614 if (number_of_loops () <= 1)
617 return tree_ssa_prefetch_arrays ();
621 gate_tree_ssa_loop_prefetch (void)
623 return flag_prefetch_loop_arrays > 0;
626 struct gimple_opt_pass pass_loop_prefetch =
630 "aprefetch", /* name */
631 gate_tree_ssa_loop_prefetch, /* gate */
632 tree_ssa_loop_prefetch, /* execute */
635 0, /* static_pass_number */
636 TV_TREE_PREFETCH, /* tv_id */
637 PROP_cfg | PROP_ssa, /* properties_required */
638 0, /* properties_provided */
639 0, /* properties_destroyed */
640 0, /* todo_flags_start */
641 TODO_dump_func /* todo_flags_finish */
645 /* Induction variable optimizations. */
648 tree_ssa_loop_ivopts (void)
650 if (number_of_loops () <= 1)
653 tree_ssa_iv_optimize ();
658 gate_tree_ssa_loop_ivopts (void)
660 return flag_ivopts != 0;
663 struct gimple_opt_pass pass_iv_optimize =
668 gate_tree_ssa_loop_ivopts, /* gate */
669 tree_ssa_loop_ivopts, /* execute */
672 0, /* static_pass_number */
673 TV_TREE_LOOP_IVOPTS, /* tv_id */
674 PROP_cfg | PROP_ssa, /* properties_required */
675 0, /* properties_provided */
676 0, /* properties_destroyed */
677 0, /* todo_flags_start */
678 TODO_dump_func | TODO_update_ssa | TODO_ggc_collect /* todo_flags_finish */
682 /* Loop optimizer finalization. */
685 tree_ssa_loop_done (void)
687 free_numbers_of_iterations_estimates ();
689 loop_optimizer_finalize ();
693 struct gimple_opt_pass pass_tree_loop_done =
697 "loopdone", /* name */
699 tree_ssa_loop_done, /* execute */
702 0, /* static_pass_number */
703 TV_TREE_LOOP_FINI, /* tv_id */
704 PROP_cfg, /* properties_required */
705 0, /* properties_provided */
706 0, /* properties_destroyed */
707 0, /* todo_flags_start */
708 TODO_cleanup_cfg | TODO_dump_func /* todo_flags_finish */