GCC Middle and Back End API Reference
bounds Struct Reference

Data Fields

mpz_t below
mpz_t up

Detailed Description

Functions to determine/estimate number of iterations of a loop.
   Copyright (C) 2004-2026 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/>.   
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: