#include <cfgloop.h>
Data Fields | |
| gimple | stmt |
| double_int | bound |
| bool | is_exit |
| struct nb_iter_bound * | next |
Detailed Description
The structure describing a bound on number of iterations of a loop.
Field Documentation
| double_int nb_iter_bound::bound |
... BOUND + 1 times (BOUND must be an unsigned constant). The + 1 is added for the following reasons:
a) 0 would otherwise be unused, while we would need to care more about overflows (as MAX + 1 is sometimes produced as the estimate on number of executions of STMT). b) it is consistent with the result of number_of_iterations_exit.
Referenced by estimated_loop_iterations(), max_stmt_executions(), and n_of_executions_at_most().
| bool nb_iter_bound::is_exit |
True if the statement will cause the loop to be leaved the (at most) BOUND + 1-st time it is executed, that is, all the statements after it are executed at most BOUND times.
| struct nb_iter_bound* nb_iter_bound::next |
The next bound in the list.
Referenced by n_of_executions_at_most().
| gimple nb_iter_bound::stmt |
The statement STMT is executed at most ...
Referenced by remove_exits_and_undefined_stmts().
The documentation for this struct was generated from the following file:
