Data Fields | |
| struct loop * | max_loop |
| struct loop * | tgt_loop |
| struct loop * | always_executed_in |
| unsigned | cost |
| vec< gimple > | depends |
Detailed Description
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 |
| unsigned lim_aux_data::cost |
The outermost loop for that we are sure the statement is executed if the loop is entered.
Referenced by determine_max_movement(), and outermost_invariant_loop().
Referenced by outermost_invariant_loop().
| struct loop* lim_aux_data::max_loop |
Referenced by outermost_invariant_loop().
| struct loop* lim_aux_data::tgt_loop |
The documentation for this struct was generated from the following file:
