bounds Struct Reference

Data Fields
mpz_t	below
mpz_t	up

Detailed Description

Bounds on some value, BELOW <= X <= UP.   

Field Documentation

below

mpz_t bounds::below

Referenced by assert_loop_rolls_lt(), bound_difference(), bound_difference_of_offsetted_base(), bounds_add(), bounds_negate(), number_of_iterations_cond(), number_of_iterations_lt(), number_of_iterations_lt_to_ne(), number_of_iterations_ne_max(), and refine_bounds_using_guard().

up

mpz_t bounds::up

Referenced by assert_loop_rolls_lt(), bound_difference(), bound_difference_of_offsetted_base(), bounds_add(), bounds_negate(), number_of_iterations_cond(), number_of_iterations_lt(), number_of_iterations_ne_max(), and refine_bounds_using_guard().

---

The documentation for this struct was generated from the following file:

• tree-ssa-loop-niter.cc