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);
100 struct tree_opt_pass pass_tree_loop_init =
102 "loopinit", /* name */
104 tree_ssa_loop_init, /* execute */
107 0, /* static_pass_number */
108 TV_TREE_LOOP_INIT, /* tv_id */
109 PROP_cfg, /* properties_required */
110 0, /* properties_provided */
111 0, /* properties_destroyed */
112 0, /* todo_flags_start */
113 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
117 /* Loop invariant motion pass. */
120 tree_ssa_loop_im (void)
125 tree_ssa_lim (current_loops);
129 gate_tree_ssa_loop_im (void)
131 return flag_tree_loop_im != 0;
134 struct tree_opt_pass pass_lim =
137 gate_tree_ssa_loop_im, /* gate */
138 tree_ssa_loop_im, /* execute */
141 0, /* static_pass_number */
143 PROP_cfg, /* properties_required */
144 0, /* properties_provided */
145 0, /* properties_destroyed */
146 0, /* todo_flags_start */
147 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
151 /* Loop unswitching pass. */
154 tree_ssa_loop_unswitch (void)
159 tree_ssa_unswitch_loops (current_loops);
163 gate_tree_ssa_loop_unswitch (void)
165 return flag_unswitch_loops != 0;
168 struct tree_opt_pass pass_tree_unswitch =
170 "unswitch", /* name */
171 gate_tree_ssa_loop_unswitch, /* gate */
172 tree_ssa_loop_unswitch, /* execute */
175 0, /* static_pass_number */
176 TV_TREE_LOOP_UNSWITCH, /* tv_id */
177 PROP_cfg, /* properties_required */
178 0, /* properties_provided */
179 0, /* properties_destroyed */
180 0, /* todo_flags_start */
181 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
185 /* Loop autovectorization. */
188 tree_vectorize (void)
190 vectorize_loops (current_loops);
194 gate_tree_vectorize (void)
196 return flag_tree_vectorize && current_loops;
199 struct tree_opt_pass pass_vectorize =
202 gate_tree_vectorize, /* gate */
203 tree_vectorize, /* execute */
206 0, /* static_pass_number */
207 TV_TREE_VECTORIZATION, /* tv_id */
208 PROP_cfg | PROP_ssa, /* properties_required */
209 0, /* properties_provided */
210 0, /* properties_destroyed */
211 TODO_verify_loops, /* todo_flags_start */
212 TODO_dump_func | TODO_update_ssa, /* todo_flags_finish */
216 /* Loop nest optimizations. */
219 tree_linear_transform (void)
224 linear_transform_loops (current_loops);
228 gate_tree_linear_transform (void)
230 return flag_tree_loop_linear != 0;
233 struct tree_opt_pass pass_linear_transform =
236 gate_tree_linear_transform, /* gate */
237 tree_linear_transform, /* execute */
240 0, /* static_pass_number */
241 TV_TREE_LINEAR_TRANSFORM, /* tv_id */
242 PROP_cfg | PROP_ssa, /* properties_required */
243 0, /* properties_provided */
244 0, /* properties_destroyed */
245 0, /* todo_flags_start */
246 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
250 /* Canonical induction variable creation pass. */
253 tree_ssa_loop_ivcanon (void)
258 canonicalize_induction_variables (current_loops);
262 gate_tree_ssa_loop_ivcanon (void)
264 return flag_tree_loop_ivcanon != 0;
267 struct tree_opt_pass pass_iv_canon =
269 "ivcanon", /* name */
270 gate_tree_ssa_loop_ivcanon, /* gate */
271 tree_ssa_loop_ivcanon, /* execute */
274 0, /* static_pass_number */
275 TV_TREE_LOOP_IVCANON, /* tv_id */
276 PROP_cfg | PROP_ssa, /* properties_required */
277 0, /* properties_provided */
278 0, /* properties_destroyed */
279 0, /* todo_flags_start */
280 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
284 /* Propagation of constants using scev. */
287 gate_scev_const_prop (void)
292 struct tree_opt_pass pass_scev_cprop =
295 gate_scev_const_prop, /* gate */
296 scev_const_prop, /* execute */
299 0, /* static_pass_number */
300 TV_SCEV_CONST, /* tv_id */
301 PROP_cfg | PROP_ssa, /* properties_required */
302 0, /* properties_provided */
303 0, /* properties_destroyed */
304 0, /* todo_flags_start */
305 TODO_dump_func | TODO_cleanup_cfg
306 | TODO_update_ssa_only_virtuals,
307 /* todo_flags_finish */
311 /* Remove empty loops. */
314 tree_ssa_empty_loop (void)
319 remove_empty_loops (current_loops);
322 struct tree_opt_pass pass_empty_loop =
326 tree_ssa_empty_loop, /* execute */
329 0, /* static_pass_number */
330 TV_COMPLETE_UNROLL, /* tv_id */
331 PROP_cfg | PROP_ssa, /* properties_required */
332 0, /* properties_provided */
333 0, /* properties_destroyed */
334 0, /* todo_flags_start */
335 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
339 /* Record bounds on numbers of iterations of loops. */
342 tree_ssa_loop_bounds (void)
347 estimate_numbers_of_iterations (current_loops);
351 struct tree_opt_pass pass_record_bounds =
355 tree_ssa_loop_bounds, /* execute */
358 0, /* static_pass_number */
359 TV_TREE_LOOP_BOUNDS, /* tv_id */
360 PROP_cfg | PROP_ssa, /* properties_required */
361 0, /* properties_provided */
362 0, /* properties_destroyed */
363 0, /* todo_flags_start */
364 0, /* todo_flags_finish */
368 /* Complete unrolling of loops. */
371 tree_complete_unroll (void)
376 tree_unroll_loops_completely (current_loops,
383 gate_tree_complete_unroll (void)
388 struct tree_opt_pass pass_complete_unroll =
390 "cunroll", /* name */
391 gate_tree_complete_unroll, /* gate */
392 tree_complete_unroll, /* execute */
395 0, /* static_pass_number */
396 TV_COMPLETE_UNROLL, /* tv_id */
397 PROP_cfg | PROP_ssa, /* properties_required */
398 0, /* properties_provided */
399 0, /* properties_destroyed */
400 0, /* todo_flags_start */
401 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
408 tree_ssa_loop_prefetch (void)
413 tree_ssa_prefetch_arrays (current_loops);
417 gate_tree_ssa_loop_prefetch (void)
419 return flag_prefetch_loop_arrays == 1;
422 struct tree_opt_pass pass_loop_prefetch =
424 "prefetch", /* name */
425 gate_tree_ssa_loop_prefetch, /* gate */
426 tree_ssa_loop_prefetch, /* execute */
429 0, /* static_pass_number */
430 TV_TREE_PREFETCH, /* tv_id */
431 PROP_cfg | PROP_ssa, /* properties_required */
432 0, /* properties_provided */
433 0, /* properties_destroyed */
434 0, /* todo_flags_start */
435 TODO_dump_func | TODO_verify_loops, /* todo_flags_finish */
439 /* Induction variable optimizations. */
442 tree_ssa_loop_ivopts (void)
447 tree_ssa_iv_optimize (current_loops);
451 gate_tree_ssa_loop_ivopts (void)
453 return flag_ivopts != 0;
456 struct tree_opt_pass pass_iv_optimize =
459 gate_tree_ssa_loop_ivopts, /* gate */
460 tree_ssa_loop_ivopts, /* execute */
463 0, /* static_pass_number */
464 TV_TREE_LOOP_IVOPTS, /* tv_id */
465 PROP_cfg | PROP_ssa, /* properties_required */
466 0, /* properties_provided */
467 0, /* properties_destroyed */
468 0, /* todo_flags_start */
471 | TODO_update_ssa, /* todo_flags_finish */
475 /* Loop optimizer finalization. */
478 tree_ssa_loop_done (void)
483 free_numbers_of_iterations_estimates (current_loops);
485 loop_optimizer_finalize (current_loops);
486 current_loops = NULL;
489 struct tree_opt_pass pass_tree_loop_done =
491 "loopdone", /* name */
493 tree_ssa_loop_done, /* execute */
496 0, /* static_pass_number */
497 TV_TREE_LOOP_FINI, /* tv_id */
498 PROP_cfg, /* properties_required */
499 0, /* properties_provided */
500 0, /* properties_destroyed */
501 0, /* todo_flags_start */
502 TODO_cleanup_cfg | TODO_dump_func, /* todo_flags_finish */