Data Fields | |
| enum value_range_type | type |
| tree | min |
| tree | max |
| bitmap | equiv |
Detailed Description
Support routines for Value Range Propagation (VRP). Copyright (C) 2005-2013 Free Software Foundation, Inc. Contributed by Diego Novillo dnovillo@redhat.com.
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/. Range of values that can be associated with an SSA_NAME after VRP has executed.
Field Documentation
| bitmap value_range_d::equiv |
Set of SSA names whose value ranges are equivalent to this one. This set is only valid when TYPE is VR_RANGE or VR_ANTI_RANGE.
Referenced by copy_value_range(), extract_range_from_comparison(), and vrp_operand_equal_p().
| tree value_range_d::max |
| tree value_range_d::min |
Minimum and maximum values represented by this range. These values should be interpreted as follows:
- If TYPE is VR_UNDEFINED or VR_VARYING then MIN and MAX must be NULL.
- If TYPE == VR_RANGE then MIN holds the minimum value and MAX holds the maximum value of the range [MIN, MAX].
- If TYPE == ANTI_RANGE the variable is known to NOT take any values in the range [MIN, MAX].
Referenced by add_equivalence(), compare_names(), extract_range_from_comparison(), quad_int_pair_sort(), range_fits_type_p(), update_value_range(), value_inside_range(), vrp_bitmap_equal_p(), vrp_int_const_binop(), and vrp_meet_1().
| enum value_range_type value_range_d::type |
Lattice value represented by this range.
Referenced by add_equivalence(), check_array_ref(), compare_names(), extract_range_from_comparison(), extract_range_from_cond_expr(), update_value_range(), value_inside_range(), and vrp_bitmap_equal_p().
The documentation for this struct was generated from the following file:
