1 /* Loop optimizations over tree-ssa.
2 Copyright (C) 2003, 2005 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 2, 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 COPYING. If not, write to the Free
18 Software Foundation, 51 Franklin Street, Fifth Floor, Boston, MA
23 #include "coretypes.h"
28 #include "hard-reg-set.h"
29 #include "basic-block.h"
31 #include "diagnostic.h"
32 #include "tree-flow.h"
33 #include "tree-dump.h"
34 #include "tree-pass.h"
38 #include "tree-inline.h"
39 #include "tree-scalar-evolution.h"
41 /* The loop tree currently optimized. */
43 struct loops *current_loops = NULL;
45 /* Initializes the loop structures. */
48 tree_loop_optimizer_init (void)
52 loops = loop_optimizer_init (LOOPS_NORMAL
53 | LOOPS_HAVE_MARKED_SINGLE_EXITS);
58 rewrite_into_loop_closed_ssa (NULL, TODO_update_ssa);
63 /* The loop superpass. */
68 return flag_tree_loop_optimize != 0;
71 struct tree_opt_pass pass_tree_loop =
74 gate_tree_loop, /* gate */
78 0, /* static_pass_number */
79 TV_TREE_LOOP, /* tv_id */
80 PROP_cfg, /* properties_required */
81 0, /* properties_provided */
82 0, /* properties_destroyed */
83 TODO_ggc_collect, /* todo_flags_start */
84 TODO_dump_func | TODO_verify_ssa | TODO_ggc_collect, /* todo_flags_finish */
88 /* Loop optimizer initialization. */
91 tree_ssa_loop_init (void)
93 current_loops = tree_loop_optimizer_init ();
97 scev_initialize (current_loops);
101 struct tree_opt_pass pass_tree_loop_init =
103 "loopinit", /* name */
105 tree_ssa_loop_init, /* execute */
108 0, /* static_pass_number */
109 TV_TREE_LOOP_INIT, /* tv_id */
110 PROP_cfg, /* properties_required */
111 0, /* properties_provided */
112 0, /* properties_destroyed */
113 0, /* todo_flags_start */
114 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
118 /* Loop invariant motion pass. */
121 tree_ssa_loop_im (void)
126 tree_ssa_lim (current_loops);
131 gate_tree_ssa_loop_im (void)
133 return flag_tree_loop_im != 0;
136 struct tree_opt_pass pass_lim =
139 gate_tree_ssa_loop_im, /* gate */
140 tree_ssa_loop_im, /* execute */
143 0, /* static_pass_number */
145 PROP_cfg, /* properties_required */
146 0, /* properties_provided */
147 0, /* properties_destroyed */
148 0, /* todo_flags_start */
149 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
153 /* Loop unswitching pass. */
156 tree_ssa_loop_unswitch (void)
161 tree_ssa_unswitch_loops (current_loops);
166 gate_tree_ssa_loop_unswitch (void)
168 return flag_unswitch_loops != 0;
171 struct tree_opt_pass pass_tree_unswitch =
173 "unswitch", /* name */
174 gate_tree_ssa_loop_unswitch, /* gate */
175 tree_ssa_loop_unswitch, /* execute */
178 0, /* static_pass_number */
179 TV_TREE_LOOP_UNSWITCH, /* tv_id */
180 PROP_cfg, /* properties_required */
181 0, /* properties_provided */
182 0, /* properties_destroyed */
183 0, /* todo_flags_start */
184 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
188 /* Loop autovectorization. */
191 tree_vectorize (void)
193 vectorize_loops (current_loops);
198 gate_tree_vectorize (void)
200 return flag_tree_vectorize && current_loops;
203 struct tree_opt_pass pass_vectorize =
206 gate_tree_vectorize, /* gate */
207 tree_vectorize, /* execute */
210 0, /* static_pass_number */
211 TV_TREE_VECTORIZATION, /* tv_id */
212 PROP_cfg | PROP_ssa, /* properties_required */
213 0, /* properties_provided */
214 0, /* properties_destroyed */
215 TODO_verify_loops, /* todo_flags_start */
216 TODO_dump_func | TODO_update_ssa, /* todo_flags_finish */
220 /* Loop nest optimizations. */
223 tree_linear_transform (void)
228 linear_transform_loops (current_loops);
233 gate_tree_linear_transform (void)
235 return flag_tree_loop_linear != 0;
238 struct tree_opt_pass pass_linear_transform =
241 gate_tree_linear_transform, /* gate */
242 tree_linear_transform, /* execute */
245 0, /* static_pass_number */
246 TV_TREE_LINEAR_TRANSFORM, /* tv_id */
247 PROP_cfg | PROP_ssa, /* properties_required */
248 0, /* properties_provided */
249 0, /* properties_destroyed */
250 0, /* todo_flags_start */
251 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
255 /* Canonical induction variable creation pass. */
258 tree_ssa_loop_ivcanon (void)
263 canonicalize_induction_variables (current_loops);
268 gate_tree_ssa_loop_ivcanon (void)
270 return flag_tree_loop_ivcanon != 0;
273 struct tree_opt_pass pass_iv_canon =
275 "ivcanon", /* name */
276 gate_tree_ssa_loop_ivcanon, /* gate */
277 tree_ssa_loop_ivcanon, /* execute */
280 0, /* static_pass_number */
281 TV_TREE_LOOP_IVCANON, /* tv_id */
282 PROP_cfg | PROP_ssa, /* properties_required */
283 0, /* properties_provided */
284 0, /* properties_destroyed */
285 0, /* todo_flags_start */
286 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
290 /* Propagation of constants using scev. */
293 gate_scev_const_prop (void)
298 struct tree_opt_pass pass_scev_cprop =
301 gate_scev_const_prop, /* gate */
302 scev_const_prop, /* execute */
305 0, /* static_pass_number */
306 TV_SCEV_CONST, /* 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_cleanup_cfg
312 | TODO_update_ssa_only_virtuals,
313 /* todo_flags_finish */
317 /* Remove empty loops. */
320 tree_ssa_empty_loop (void)
325 remove_empty_loops (current_loops);
329 struct tree_opt_pass pass_empty_loop =
333 tree_ssa_empty_loop, /* execute */
336 0, /* static_pass_number */
337 TV_COMPLETE_UNROLL, /* tv_id */
338 PROP_cfg | PROP_ssa, /* properties_required */
339 0, /* properties_provided */
340 0, /* properties_destroyed */
341 0, /* todo_flags_start */
342 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
346 /* Record bounds on numbers of iterations of loops. */
349 tree_ssa_loop_bounds (void)
354 estimate_numbers_of_iterations (current_loops);
359 struct tree_opt_pass pass_record_bounds =
363 tree_ssa_loop_bounds, /* execute */
366 0, /* static_pass_number */
367 TV_TREE_LOOP_BOUNDS, /* tv_id */
368 PROP_cfg | PROP_ssa, /* properties_required */
369 0, /* properties_provided */
370 0, /* properties_destroyed */
371 0, /* todo_flags_start */
372 0, /* todo_flags_finish */
376 /* Complete unrolling of loops. */
379 tree_complete_unroll (void)
384 tree_unroll_loops_completely (current_loops,
392 gate_tree_complete_unroll (void)
397 struct tree_opt_pass pass_complete_unroll =
399 "cunroll", /* name */
400 gate_tree_complete_unroll, /* gate */
401 tree_complete_unroll, /* execute */
404 0, /* static_pass_number */
405 TV_COMPLETE_UNROLL, /* tv_id */
406 PROP_cfg | PROP_ssa, /* properties_required */
407 0, /* properties_provided */
408 0, /* properties_destroyed */
409 0, /* todo_flags_start */
410 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
417 tree_ssa_loop_prefetch (void)
422 tree_ssa_prefetch_arrays (current_loops);
427 gate_tree_ssa_loop_prefetch (void)
429 return flag_prefetch_loop_arrays != 0;
432 struct tree_opt_pass pass_loop_prefetch =
434 "prefetch", /* name */
435 gate_tree_ssa_loop_prefetch, /* gate */
436 tree_ssa_loop_prefetch, /* execute */
439 0, /* static_pass_number */
440 TV_TREE_PREFETCH, /* tv_id */
441 PROP_cfg | PROP_ssa, /* properties_required */
442 0, /* properties_provided */
443 0, /* properties_destroyed */
444 0, /* todo_flags_start */
445 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
449 /* Induction variable optimizations. */
452 tree_ssa_loop_ivopts (void)
457 tree_ssa_iv_optimize (current_loops);
462 gate_tree_ssa_loop_ivopts (void)
464 return flag_ivopts != 0;
467 struct tree_opt_pass pass_iv_optimize =
470 gate_tree_ssa_loop_ivopts, /* gate */
471 tree_ssa_loop_ivopts, /* execute */
474 0, /* static_pass_number */
475 TV_TREE_LOOP_IVOPTS, /* tv_id */
476 PROP_cfg | PROP_ssa, /* properties_required */
477 0, /* properties_provided */
478 0, /* properties_destroyed */
479 0, /* todo_flags_start */
482 | TODO_update_ssa, /* todo_flags_finish */
486 /* Loop optimizer finalization. */
489 tree_ssa_loop_done (void)
494 free_numbers_of_iterations_estimates (current_loops);
496 loop_optimizer_finalize (current_loops);
497 current_loops = NULL;
501 struct tree_opt_pass pass_tree_loop_done =
503 "loopdone", /* name */
505 tree_ssa_loop_done, /* execute */
508 0, /* static_pass_number */
509 TV_TREE_LOOP_FINI, /* tv_id */
510 PROP_cfg, /* properties_required */
511 0, /* properties_provided */
512 0, /* properties_destroyed */
513 0, /* todo_flags_start */
514 TODO_cleanup_cfg | TODO_dump_func, /* todo_flags_finish */