1 /* Loop optimizations over tree-ssa.
2 Copyright (C) 2003, 2005, 2006, 2007, 2008, 2009, 2010
3 Free Software Foundation, Inc.
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it
8 under the terms of the GNU General Public License as published by the
9 Free Software Foundation; either version 3, or (at your option) any
12 GCC is distributed in the hope that it will be useful, but WITHOUT
13 ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
23 #include "coretypes.h"
27 #include "basic-block.h"
29 #include "tree-flow.h"
30 #include "tree-dump.h"
31 #include "tree-pass.h"
35 #include "tree-inline.h"
36 #include "tree-scalar-evolution.h"
37 #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_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 PROP_loops
, /* properties_provided */
96 0, /* properties_destroyed */
97 0, /* todo_flags_start */
98 0 /* 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 0 /* 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_flags_finish */
174 /* Predictive commoning. */
177 run_tree_predictive_commoning (void)
182 return tree_predictive_commoning ();
186 gate_tree_predictive_commoning (void)
188 return flag_predictive_commoning
!= 0;
191 struct gimple_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_update_ssa_only_virtuals
/* todo_flags_finish */
210 /* Loop autovectorization. */
213 tree_vectorize (void)
215 if (number_of_loops () <= 1)
218 return vectorize_loops ();
222 gate_tree_vectorize (void)
224 return flag_tree_vectorize
;
227 struct gimple_opt_pass pass_vectorize
=
232 gate_tree_vectorize
, /* gate */
233 tree_vectorize
, /* execute */
236 0, /* static_pass_number */
237 TV_TREE_VECTORIZATION
, /* tv_id */
238 PROP_cfg
| PROP_ssa
, /* properties_required */
239 0, /* properties_provided */
240 0, /* properties_destroyed */
241 0, /* todo_flags_start */
243 | TODO_ggc_collect
/* todo_flags_finish */
247 /* GRAPHITE optimizations. */
250 graphite_transforms (void)
255 graphite_transform_loops ();
261 gate_graphite_transforms (void)
263 /* Enable -fgraphite pass if any one of the graphite optimization flags
266 || flag_loop_interchange
267 || flag_loop_strip_mine
268 || flag_graphite_identity
269 || flag_loop_parallelize_all
)
272 return flag_graphite
!= 0;
275 struct gimple_opt_pass pass_graphite
=
279 "graphite0", /* name */
280 gate_graphite_transforms
, /* gate */
284 0, /* static_pass_number */
285 TV_GRAPHITE
, /* tv_id */
286 PROP_cfg
| PROP_ssa
, /* properties_required */
287 0, /* properties_provided */
288 0, /* properties_destroyed */
289 0, /* todo_flags_start */
290 0 /* todo_flags_finish */
294 struct gimple_opt_pass pass_graphite_transforms
=
298 "graphite", /* name */
299 gate_graphite_transforms
, /* gate */
300 graphite_transforms
, /* execute */
303 0, /* static_pass_number */
304 TV_GRAPHITE_TRANSFORMS
, /* tv_id */
305 PROP_cfg
| PROP_ssa
, /* properties_required */
306 0, /* properties_provided */
307 0, /* properties_destroyed */
308 0, /* todo_flags_start */
309 0 /* todo_flags_finish */
313 /* Check the correctness of the data dependence analyzers. */
316 check_data_deps (void)
318 if (number_of_loops () <= 1)
321 tree_check_data_deps ();
326 gate_check_data_deps (void)
328 return flag_check_data_deps
!= 0;
331 struct gimple_opt_pass pass_check_data_deps
=
336 gate_check_data_deps
, /* gate */
337 check_data_deps
, /* execute */
340 0, /* static_pass_number */
341 TV_CHECK_DATA_DEPS
, /* tv_id */
342 PROP_cfg
| PROP_ssa
, /* properties_required */
343 0, /* properties_provided */
344 0, /* properties_destroyed */
345 0, /* todo_flags_start */
346 0 /* todo_flags_finish */
350 /* Canonical induction variable creation pass. */
353 tree_ssa_loop_ivcanon (void)
355 if (number_of_loops () <= 1)
358 return canonicalize_induction_variables ();
362 gate_tree_ssa_loop_ivcanon (void)
364 return flag_tree_loop_ivcanon
!= 0;
367 struct gimple_opt_pass pass_iv_canon
=
371 "ivcanon", /* name */
372 gate_tree_ssa_loop_ivcanon
, /* gate */
373 tree_ssa_loop_ivcanon
, /* execute */
376 0, /* static_pass_number */
377 TV_TREE_LOOP_IVCANON
, /* tv_id */
378 PROP_cfg
| PROP_ssa
, /* properties_required */
379 0, /* properties_provided */
380 0, /* properties_destroyed */
381 0, /* todo_flags_start */
382 0 /* todo_flags_finish */
386 /* Propagation of constants using scev. */
389 gate_scev_const_prop (void)
391 return flag_tree_scev_cprop
;
394 struct gimple_opt_pass pass_scev_cprop
=
399 gate_scev_const_prop
, /* gate */
400 scev_const_prop
, /* execute */
403 0, /* static_pass_number */
404 TV_SCEV_CONST
, /* tv_id */
405 PROP_cfg
| PROP_ssa
, /* properties_required */
406 0, /* properties_provided */
407 0, /* properties_destroyed */
408 0, /* todo_flags_start */
410 | TODO_update_ssa_only_virtuals
411 /* todo_flags_finish */
415 /* Record bounds on numbers of iterations of loops. */
418 tree_ssa_loop_bounds (void)
420 if (number_of_loops () <= 1)
423 estimate_numbers_of_iterations ();
428 struct gimple_opt_pass pass_record_bounds
=
432 "*record_bounds", /* name */
434 tree_ssa_loop_bounds
, /* execute */
437 0, /* static_pass_number */
438 TV_TREE_LOOP_BOUNDS
, /* tv_id */
439 PROP_cfg
| PROP_ssa
, /* properties_required */
440 0, /* properties_provided */
441 0, /* properties_destroyed */
442 0, /* todo_flags_start */
443 0 /* todo_flags_finish */
447 /* Complete unrolling of loops. */
450 tree_complete_unroll (void)
452 if (number_of_loops () <= 1)
455 return tree_unroll_loops_completely (flag_unroll_loops
457 || optimize
>= 3, true);
461 gate_tree_complete_unroll (void)
466 struct gimple_opt_pass pass_complete_unroll
=
470 "cunroll", /* name */
471 gate_tree_complete_unroll
, /* gate */
472 tree_complete_unroll
, /* execute */
475 0, /* static_pass_number */
476 TV_COMPLETE_UNROLL
, /* tv_id */
477 PROP_cfg
| PROP_ssa
, /* properties_required */
478 0, /* properties_provided */
479 0, /* properties_destroyed */
480 0, /* todo_flags_start */
481 TODO_ggc_collect
/* todo_flags_finish */
485 /* Complete unrolling of inner loops. */
488 tree_complete_unroll_inner (void)
492 loop_optimizer_init (LOOPS_NORMAL
493 | LOOPS_HAVE_RECORDED_EXITS
);
494 if (number_of_loops () > 1)
497 ret
= tree_unroll_loops_completely (optimize
>= 3, false);
498 free_numbers_of_iterations_estimates ();
501 loop_optimizer_finalize ();
507 gate_tree_complete_unroll_inner (void)
509 return optimize
>= 2;
512 struct gimple_opt_pass pass_complete_unrolli
=
516 "cunrolli", /* name */
517 gate_tree_complete_unroll_inner
, /* gate */
518 tree_complete_unroll_inner
, /* execute */
521 0, /* static_pass_number */
522 TV_COMPLETE_UNROLL
, /* tv_id */
523 PROP_cfg
| PROP_ssa
, /* properties_required */
524 0, /* properties_provided */
525 0, /* properties_destroyed */
526 0, /* todo_flags_start */
528 | TODO_ggc_collect
/* todo_flags_finish */
532 /* Parallelization. */
535 gate_tree_parallelize_loops (void)
537 return flag_tree_parallelize_loops
> 1;
541 tree_parallelize_loops (void)
543 if (number_of_loops () <= 1)
546 if (parallelize_loops ())
547 return TODO_cleanup_cfg
| TODO_rebuild_alias
;
551 struct gimple_opt_pass pass_parallelize_loops
=
555 "parloops", /* name */
556 gate_tree_parallelize_loops
, /* gate */
557 tree_parallelize_loops
, /* execute */
560 0, /* static_pass_number */
561 TV_TREE_PARALLELIZE_LOOPS
, /* tv_id */
562 PROP_cfg
| PROP_ssa
, /* properties_required */
563 0, /* properties_provided */
564 0, /* properties_destroyed */
565 0, /* todo_flags_start */
566 0 /* todo_flags_finish */
573 tree_ssa_loop_prefetch (void)
575 if (number_of_loops () <= 1)
578 return tree_ssa_prefetch_arrays ();
582 gate_tree_ssa_loop_prefetch (void)
584 return flag_prefetch_loop_arrays
> 0;
587 struct gimple_opt_pass pass_loop_prefetch
=
591 "aprefetch", /* name */
592 gate_tree_ssa_loop_prefetch
, /* gate */
593 tree_ssa_loop_prefetch
, /* execute */
596 0, /* static_pass_number */
597 TV_TREE_PREFETCH
, /* tv_id */
598 PROP_cfg
| PROP_ssa
, /* properties_required */
599 0, /* properties_provided */
600 0, /* properties_destroyed */
601 0, /* todo_flags_start */
602 0 /* todo_flags_finish */
606 /* Induction variable optimizations. */
609 tree_ssa_loop_ivopts (void)
611 if (number_of_loops () <= 1)
614 tree_ssa_iv_optimize ();
619 gate_tree_ssa_loop_ivopts (void)
621 return flag_ivopts
!= 0;
624 struct gimple_opt_pass pass_iv_optimize
=
629 gate_tree_ssa_loop_ivopts
, /* gate */
630 tree_ssa_loop_ivopts
, /* execute */
633 0, /* static_pass_number */
634 TV_TREE_LOOP_IVOPTS
, /* tv_id */
635 PROP_cfg
| PROP_ssa
, /* properties_required */
636 0, /* properties_provided */
637 0, /* properties_destroyed */
638 0, /* todo_flags_start */
639 TODO_update_ssa
| TODO_ggc_collect
/* todo_flags_finish */
643 /* Loop optimizer finalization. */
646 tree_ssa_loop_done (void)
648 free_numbers_of_iterations_estimates ();
650 loop_optimizer_finalize ();
654 struct gimple_opt_pass pass_tree_loop_done
=
658 "loopdone", /* name */
660 tree_ssa_loop_done
, /* execute */
663 0, /* static_pass_number */
664 TV_TREE_LOOP_FINI
, /* tv_id */
665 PROP_cfg
, /* properties_required */
666 0, /* properties_provided */
667 0, /* properties_destroyed */
668 0, /* todo_flags_start */
670 | TODO_verify_flow
/* todo_flags_finish */