|
privatevirtual |
Floating point range operators. Copyright (C) 2022-2025 Free Software Foundation, Inc. Contributed by Aldy Hernandez <aldyh@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/>.
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
finaloverridevirtual |
Reimplemented from range_operator.
References b, range_operator::fold_range(), get_shift_range(), irange::lower_bound(), mult, op_mult, r, wi::set_bit_in_zero(), shift, irange::singleton_p(), generic_wide_int< storage >::to_uhwi(), TYPE_PRECISION, and vrange::undefined_p().
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Code for range operators. Copyright (C) 2017-2025 Free Software Foundation, Inc. Contributed by Andrew MacLeod <amacleod@redhat.com> and Aldy Hernandez <aldyh@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/>.
Reimplemented from range_operator.
|
virtualinherited |
Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, operator_rshift, and pointer_plus_operator.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, operator_rshift, and pointer_plus_operator.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, operator_rshift, and pointer_plus_operator.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, operator_rshift, and pointer_plus_operator.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, operator_rshift, and pointer_plus_operator.
|
virtualinherited |
Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, operator_rshift, and pointer_plus_operator.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_bitwise_and, operator_cast, operator_identity, operator_minus, operator_plus, operator_rshift, and pointer_plus_operator.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_plus.
|
virtualinherited |
Reimplemented in operator_plus.
|
virtualinherited |
Reimplemented in operator_plus.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_equal, operator_ge, operator_gt, operator_le, operator_lt, and operator_not_equal.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_equal, operator_ge, operator_gt, operator_le, operator_lt, and operator_not_equal.
|
virtualinherited |
Reimplemented in operator_equal, operator_ge, operator_gt, operator_le, operator_lt, and operator_not_equal.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_equal, operator_ge, operator_gt, operator_le, operator_lt, and operator_not_equal.
|
protectedvirtualinherited |
Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.
References op1_range(), and op2_range().
Referenced by fold_range().
|
protectedvirtualinherited |
Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.
|
protectedvirtualinherited |
Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.
|
protectedvirtualinherited |
Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.
|
protectedvirtualinherited |
Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.
|
protectedvirtualinherited |
Reimplemented in operator_bitwise_xor, operator_minus, and operator_pointer_diff.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
finaloverridevirtual |
Reimplemented from range_operator.
References wi::bit_or(), contains_zero_p(), wi::ge_p(), irange::lower_bound(), wi::lt_p(), wi::mask(), op_rshift, r, range_cast(), wi::set_bit(), shift, SIGNED, irange::singleton_p(), irange::type(), TYPE_PRECISION, TYPE_SIGN, wi::uhwi(), irange::union_(), UNSIGNED, unsigned_type_for(), and irange::upper_bound().
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
virtualinherited |
Reimplemented in foperator_div, foperator_ltgt, foperator_ordered, foperator_unordered, foperator_unordered_equal, foperator_unordered_ge, foperator_unordered_gt, foperator_unordered_le, foperator_unordered_lt, operator_bitwise_and, operator_bitwise_or, operator_bitwise_xor, operator_div, operator_equal, operator_ge, operator_gt, operator_le, operator_logical_and, operator_logical_or, operator_lt, operator_minus, operator_mult, operator_not_equal, operator_plus, operator_trunc_mod, and pointer_plus_operator.
References r.
|
virtualinherited |
Reimplemented in foperator_div, foperator_ltgt, foperator_ordered, foperator_unordered, foperator_unordered_equal, foperator_unordered_ge, foperator_unordered_gt, foperator_unordered_le, foperator_unordered_lt, operator_bitwise_and, operator_bitwise_or, operator_bitwise_xor, operator_div, operator_equal, operator_ge, operator_gt, operator_le, operator_logical_and, operator_logical_or, operator_lt, operator_minus, operator_mult, operator_not_equal, operator_plus, operator_trunc_mod, and pointer_plus_operator.
References r.
|
virtualinherited |
Reimplemented in foperator_div, foperator_ltgt, foperator_ordered, foperator_unordered, foperator_unordered_equal, foperator_unordered_ge, foperator_unordered_gt, foperator_unordered_le, foperator_unordered_lt, operator_bitwise_and, operator_bitwise_or, operator_bitwise_xor, operator_div, operator_equal, operator_ge, operator_gt, operator_le, operator_logical_and, operator_logical_or, operator_lt, operator_minus, operator_mult, operator_not_equal, operator_plus, operator_trunc_mod, and pointer_plus_operator.
References r.
Referenced by operator_pointer_diff::op1_op2_relation_effect(), op1_op2_relation_effect(), and range_op_table.
|
virtualinherited |
Reimplemented in foperator_div, foperator_ltgt, foperator_ordered, foperator_unordered, foperator_unordered_equal, foperator_unordered_ge, foperator_unordered_gt, foperator_unordered_le, foperator_unordered_lt, operator_bitwise_and, operator_bitwise_or, operator_bitwise_xor, operator_div, operator_equal, operator_ge, operator_gt, operator_le, operator_logical_and, operator_logical_or, operator_lt, operator_minus, operator_mult, operator_not_equal, operator_plus, operator_trunc_mod, and pointer_plus_operator.
|
virtualinherited |
Reimplemented in foperator_div, foperator_ltgt, foperator_ordered, foperator_unordered, foperator_unordered_equal, foperator_unordered_ge, foperator_unordered_gt, foperator_unordered_le, foperator_unordered_lt, operator_bitwise_and, operator_bitwise_or, operator_bitwise_xor, operator_div, operator_equal, operator_ge, operator_gt, operator_le, operator_logical_and, operator_logical_or, operator_lt, operator_minus, operator_mult, operator_not_equal, operator_plus, operator_trunc_mod, and pointer_plus_operator.
Reimplemented from range_operator.
References range_compatible_p().
|
virtualinherited |
Reimplemented in operator_minus, operator_mult, and operator_plus.
|
protectedvirtualinherited |
Reimplemented in foperator_div, operator_minus, operator_mult, and operator_plus.
References dconstinf, dconstninf, r, and REAL_VALUE_TYPE.
Referenced by fold_range().
|
privatevirtual |
Reimplemented from range_operator.
|
inlinefinaloverridevirtual |
Reimplemented from range_operator.
References r, and update_known_bitmask().
|
inherited |
References wi::eq_p(), wi::gt_p(), wi::max(), wi::min(), r, TYPE_SIGN, value_range_with_overflow(), and wi_op_overflows().
Referenced by operator_div::wi_fold(), operator_lshift::wi_fold(), operator_mult::wi_fold(), and operator_rshift::wi_fold().
|
finaloverridevirtual |
Reimplemented from range_operator.
References wi::eq_p(), wi::lts_p(), wi::ltu_p(), r, wi::set_bit_in_zero(), SIGNED, generic_wide_int< storage >::to_shwi(), TYPE_PRECISION, TYPE_SIGN, UNSIGNED, and cross_product_operator::wi_cross_product().
|
protectedinherited |
References r, wi::sub(), TYPE_SIGN, wi_fold(), and wi_fold_in_parts().
Referenced by fold_range(), and wi_fold_in_parts().
|
protectedinherited |
References r, wi::sub(), TYPE_SIGN, and wi_fold().
Referenced by fold_range().
|
finaloverridevirtual |
Implements cross_product_operator.
References wi::lshift(), wi::neg_p(), wi::rshift(), and TYPE_SIGN.