1 /* Loop optimizations over tree-ssa.
2 Copyright (C) 2003 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, 59 Temple Place - Suite 330, Boston, MA
23 #include "coretypes.h"
28 #include "hard-reg-set.h"
29 #include "basic-block.h"
31 #include "diagnostic.h"
32 #include "basic-block.h"
33 #include "tree-flow.h"
34 #include "tree-dump.h"
35 #include "tree-pass.h"
39 #include "tree-inline.h"
41 /* The loop tree currently optimized. */
43 struct loops
*current_loops
;
45 /* Initializes the loop structures. DUMP is the file to that the details
46 about the analysis should be dumped. */
49 tree_loop_optimizer_init (FILE *dump
)
51 struct loops
*loops
= loop_optimizer_init (dump
);
56 /* Creation of preheaders may create redundant phi nodes if the loop is
57 entered by more than one edge, but the initial value of the induction
58 variable is the same on all of them. */
59 kill_redundant_phi_nodes ();
60 rewrite_into_ssa (false);
61 bitmap_clear (vars_to_rename
);
66 /* The loop superpass. */
71 return flag_tree_loop_optimize
!= 0;
74 struct tree_opt_pass pass_loop
=
81 0, /* static_pass_number */
82 TV_TREE_LOOP
, /* tv_id */
83 PROP_cfg
, /* properties_required */
84 0, /* properties_provided */
85 0, /* properties_destroyed */
86 TODO_ggc_collect
, /* todo_flags_start */
87 TODO_dump_func
| TODO_verify_ssa
| TODO_ggc_collect
/* todo_flags_finish */
90 /* Loop optimizer initialization. */
93 tree_ssa_loop_init (void)
95 current_loops
= tree_loop_optimizer_init (dump_file
);
98 struct tree_opt_pass pass_loop_init
=
100 "loopinit", /* name */
102 tree_ssa_loop_init
, /* execute */
105 0, /* static_pass_number */
107 PROP_cfg
, /* properties_required */
108 0, /* properties_provided */
109 0, /* properties_destroyed */
110 0, /* todo_flags_start */
111 0 /* todo_flags_finish */
114 /* Loop optimizer finalization. */
117 tree_ssa_loop_done (void)
122 loop_optimizer_finalize (current_loops
,
123 (dump_flags
& TDF_DETAILS
? dump_file
: NULL
));
124 current_loops
= NULL
;
128 struct tree_opt_pass pass_loop_done
=
130 "loopdone", /* name */
132 tree_ssa_loop_done
, /* execute */
135 0, /* static_pass_number */
137 PROP_cfg
, /* properties_required */
138 0, /* properties_provided */
139 0, /* properties_destroyed */
140 0, /* todo_flags_start */
141 0 /* todo_flags_finish */