Data Fields | |
| struct loop * | max_loop |
| struct loop * | tgt_loop |
| struct loop * | always_executed_in |
| unsigned | cost |
| vec< gimple > | depends |
Detailed Description
@verbatim Loop invariant motion.
Copyright (C) 2003-2013 Free Software Foundation, Inc.
This file is part of GCC.
GCC is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 3, or (at your option) any later version.
GCC is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with GCC; see the file COPYING3. If not see http://www.gnu.org/licenses/.
TODO: Support for predicated code motion. I.e.
while (1)
{
if (cond)
{
a = inv;
something;
}
}
Where COND and INV are invariants, but evaluating INV may trap or be
invalid from some other reason if !COND. This may be transformed to
if (cond)
a = inv;
while (1)
{
if (cond)
something;
} The auxiliary data kept for each statement.
Field Documentation
| struct loop* lim_aux_data::always_executed_in |
Referenced by determine_invariantness_stmt(), and ref_always_accessed::operator()().
| unsigned lim_aux_data::cost |
Referenced by add_dependency(), determine_invariantness_stmt(), determine_max_movement(), and move_computations_stmt().
Referenced by add_dependency(), free_lim_aux_data(), and set_level().
| struct loop* lim_aux_data::max_loop |
| struct loop* lim_aux_data::tgt_loop |
Referenced by execute_sm(), move_computations_stmt(), and set_level().
The documentation for this struct was generated from the following file:
