Protected Attributes | |
| tree_code | m_code |
Constructor & Destructor Documentation
◆ operator_exact_divide()
|
inline |
Member Function Documentation
◆ fold_range() [1/10]
|
virtualinherited |
Floating point range operators. Copyright (C) 2022-2024 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 in cfn_sqrt, cfn_sincos, cfn_copysign, cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, operator_unknown, operator_abs, operator_identity, operator_cst, and operator_negate.
References empty_range_varying(), frange::known_isnan(), frange::lower_bound(), frange::maybe_isnan(), relation_trio::op1_op2(), r, range_operator::rv_fold(), and frange::upper_bound().
◆ fold_range() [2/10]
|
virtualinherited |
Reimplemented in cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, and operator_unknown.
◆ fold_range() [3/10]
|
virtualinherited |
Reimplemented in cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, operator_unknown, operator_not_equal, operator_le, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, foperator_unordered, foperator_ordered, operator_equal, operator_lt, operator_gt, and operator_ge.
◆ fold_range() [4/10]
|
virtualinherited |
Reimplemented in cfn_constant_float_p, cfn_signbit, cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, and operator_unknown.
◆ fold_range() [5/10]
|
virtualinherited |
Reimplemented in cfn_parity, cfn_constant_p, cfn_toupper_tolower, cfn_ffs, cfn_clrsb, cfn_goacc_dim, cfn_popcount, cfn_ubsan, operator_logical_and, operator_logical_or, operator_logical_not, operator_bitwise_not, cfn_clz, cfn_ctz, cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, operator_unknown, operator_unknown, operator_identity, operator_cst, operator_cast, operator_negate, operator_addr_expr, operator_lshift, operator_rshift, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, and cfn_pass_through_arg1.
References empty_range_varying(), gcc_checking_assert, ggc_alloc(), relation_trio::op1_op2(), range_operator::op1_op2_relation_effect(), r, relation_equiv_p(), range_operator::update_bitmask(), range_operator::wi_fold_in_parts(), range_operator::wi_fold_in_parts_equiv(), and y.
Referenced by operator_lshift::fold_range(), operator_rshift::fold_range(), range_op_handler::fold_range(), operator_rshift::op1_range(), and foperator_div::op2_range().
◆ fold_range() [6/10]
|
virtualinherited |
Reimplemented in cfn_strlen, cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, operator_unknown, and operator_cast.
◆ fold_range() [7/10]
|
virtualinherited |
Reimplemented in cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, operator_unknown, operator_not_equal, operator_equal, operator_lt, operator_le, operator_gt, and operator_ge.
◆ fold_range() [8/10]
|
virtualinherited |
Reimplemented in cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, operator_unknown, and operator_cast.
◆ fold_range() [9/10]
|
virtualinherited |
Reimplemented in cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, operator_unknown, and pointer_plus_operator.
◆ fold_range() [10/10]
|
virtualinherited |
Code for range operators. Copyright (C) 2017-2024 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 in cfn_constant_float_p, cfn_constant_p, cfn_pass_through_arg1, cfn_signbit, cfn_copysign, cfn_sqrt, cfn_sincos, cfn_toupper_tolower, cfn_ffs, cfn_popcount, cfn_clz, cfn_ctz, cfn_clrsb, cfn_ubsan, cfn_strlen, cfn_goacc_dim, cfn_parity, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_identity, operator_cst, operator_cast, operator_abs, operator_minus, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_and, operator_min, operator_max, pointer_plus_operator, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_logical_not, operator_unknown, operator_identity, operator_cst, operator_cast, operator_bitwise_and, operator_min, operator_max, and cfn_pass_through_arg1.
◆ lhs_op1_relation() [1/6]
|
virtualinherited |
Reimplemented in operator_identity, operator_cast, operator_plus, operator_minus, operator_bitwise_and, hybrid_and_operator, hybrid_or_operator, and operator_rshift.
References VREL_VARYING.
◆ lhs_op1_relation() [2/6]
|
virtualinherited |
Reimplemented in operator_identity, operator_cast, operator_plus, operator_minus, operator_bitwise_and, hybrid_and_operator, hybrid_or_operator, and operator_rshift.
◆ lhs_op1_relation() [3/6]
|
virtualinherited |
Reimplemented in operator_identity, operator_plus, operator_minus, hybrid_and_operator, operator_rshift, operator_cast, operator_bitwise_and, operator_identity, operator_cast, operator_plus, operator_minus, operator_bitwise_and, hybrid_and_operator, hybrid_or_operator, and operator_rshift.
References VREL_VARYING.
Referenced by range_op_handler::lhs_op1_relation().
◆ lhs_op1_relation() [4/6]
|
virtualinherited |
Reimplemented in operator_cast, operator_identity, operator_cast, operator_plus, operator_minus, operator_bitwise_and, hybrid_and_operator, hybrid_or_operator, and operator_rshift.
References VREL_VARYING.
◆ lhs_op1_relation() [5/6]
|
virtualinherited |
Reimplemented in operator_cast, operator_identity, operator_cast, operator_plus, operator_minus, operator_bitwise_and, hybrid_and_operator, hybrid_or_operator, and operator_rshift.
References VREL_VARYING.
◆ lhs_op1_relation() [6/6]
|
virtualinherited |
Reimplemented in operator_identity, operator_cast, operator_identity, operator_cast, operator_plus, operator_minus, operator_bitwise_and, hybrid_and_operator, hybrid_or_operator, and operator_rshift.
◆ lhs_op2_relation() [1/3]
|
virtualinherited |
Reimplemented in operator_plus.
References VREL_VARYING.
◆ lhs_op2_relation() [2/3]
|
virtualinherited |
Reimplemented in operator_plus.
◆ lhs_op2_relation() [3/3]
|
virtualinherited |
Reimplemented in operator_plus, and operator_plus.
References VREL_VARYING.
Referenced by range_op_handler::lhs_op2_relation().
◆ op1_op2_relation() [1/4]
|
virtualinherited |
Reimplemented in operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, and operator_ge.
References VREL_VARYING.
◆ op1_op2_relation() [2/4]
|
virtualinherited |
Reimplemented in operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, and operator_ge.
◆ op1_op2_relation() [3/4]
|
virtualinherited |
Reimplemented in operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, and operator_ge.
References VREL_VARYING.
Referenced by range_op_handler::op1_op2_relation().
◆ op1_op2_relation() [4/4]
|
virtualinherited |
Reimplemented in operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, and operator_ge.
◆ op1_op2_relation_effect() [1/6]
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, operator_pointer_diff, operator_pointer_diff, operator_minus, and operator_bitwise_xor.
Referenced by range_operator::fold_range().
◆ op1_op2_relation_effect() [2/6]
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, and operator_pointer_diff.
◆ op1_op2_relation_effect() [3/6]
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, operator_pointer_diff, and operator_pointer_diff.
◆ op1_op2_relation_effect() [4/6]
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, and operator_pointer_diff.
◆ op1_op2_relation_effect() [5/6]
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, and operator_pointer_diff.
◆ op1_op2_relation_effect() [6/6]
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, and operator_pointer_diff.
◆ op1_range() [1/8]
|
privatevirtual |
Reimplemented from range_operator.
◆ op1_range() [2/8]
|
privatevirtual |
Reimplemented from range_operator.
◆ op1_range() [3/8]
|
virtual |
Reimplemented from range_operator.
References range_op_handler::fold_range(), ggc_alloc(), offset, r, irange::singleton_p(), and vrange::undefined_p().
◆ op1_range() [4/8]
|
privatevirtual |
Reimplemented from range_operator.
◆ op1_range() [5/8]
|
privatevirtual |
Reimplemented from range_operator.
◆ op1_range() [6/8]
|
privatevirtual |
Reimplemented from range_operator.
◆ op1_range() [7/8]
|
privatevirtual |
Reimplemented from range_operator.
◆ op1_range() [8/8]
|
privatevirtual |
Reimplemented from range_operator.
◆ op2_range() [1/5]
|
virtualinherited |
Reimplemented in foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, foperator_div, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_plus, operator_minus, operator_mult, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_plus_operator, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_logical_and, operator_logical_or, operator_trunc_mod, foperator_div, operator_plus, operator_minus, and operator_mult.
◆ op2_range() [2/5]
|
virtualinherited |
Reimplemented in foperator_unordered, foperator_ordered, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_le, foperator_unordered_lt, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, foperator_div, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_plus, operator_minus, operator_mult, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_plus_operator, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_logical_and, operator_logical_or, operator_trunc_mod, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, operator_not_equal, operator_lt, operator_gt, and operator_ge.
◆ op2_range() [3/5]
|
virtualinherited |
Reimplemented in pointer_or_operator, operator_logical_and, operator_logical_or, operator_bitwise_xor, hybrid_and_operator, hybrid_or_operator, operator_bitwise_and, operator_bitwise_or, operator_trunc_mod, operator_plus, operator_minus, operator_mult, foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, foperator_div, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_plus, operator_minus, operator_mult, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_plus_operator, pointer_plus_operator, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_logical_and, operator_logical_or, operator_trunc_mod, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, and operator_equal.
Referenced by operator_pointer_diff::op1_op2_relation_effect(), operator_pointer_diff::op1_op2_relation_effect(), and range_op_handler::op2_range().
◆ op2_range() [4/5]
|
virtualinherited |
Reimplemented in foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, foperator_div, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_plus, operator_minus, operator_mult, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_plus_operator, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_logical_and, operator_logical_or, operator_trunc_mod, and pointer_plus_operator.
◆ op2_range() [5/5]
|
virtualinherited |
Reimplemented in foperator_unordered, foperator_ordered, foperator_unordered_lt, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, foperator_div, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_plus, operator_minus, operator_mult, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_plus_operator, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_logical_and, operator_logical_or, operator_trunc_mod, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, and operator_equal.
◆ operand_check_p()
Reimplemented in operator_not_equal, operator_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_plus, operator_minus, operator_mult, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, operator_min, operator_max, operator_logical_and, operator_logical_or, operator_abs, operator_negate, operator_lshift, operator_rshift, and operator_logical_not.
Referenced by range_op_handler::fold_range(), range_op_handler::op2_range(), range_op_handler::operand_check_p(), and operator_equal::update_bitmask().
◆ overflow_free_p()
|
virtualinherited |
Reimplemented in operator_plus, operator_minus, and operator_mult.
Referenced by range_op_handler::overflow_free_p().
◆ rv_fold()
|
protectedvirtualinherited |
Reimplemented in operator_mult, foperator_div, operator_plus, and operator_minus.
References dconstinf, dconstninf, and r.
Referenced by range_operator::fold_range().
◆ update_bitmask() [1/3]
|
privatevirtualinherited |
Reimplemented from range_operator.
◆ update_bitmask() [2/3]
|
privatevirtualinherited |
Reimplemented from range_operator.
◆ update_bitmask() [3/3]
|
inlinevirtualinherited |
Reimplemented from range_operator.
References ggc_alloc(), operator_div::m_code, r, and update_known_bitmask().
◆ wi_cross_product()
|
inherited |
References wi::eq_p(), ggc_alloc(), wi::gt_p(), wi::max(), wi::min(), r, TYPE_SIGN, value_range_with_overflow(), and cross_product_operator::wi_op_overflows().
Referenced by operator_mult::wi_fold(), operator_div::wi_fold(), operator_lshift::wi_fold(), and operator_rshift::wi_fold().
◆ wi_fold()
|
finaloverridevirtualinherited |
Reimplemented from range_operator.
References gcc_checking_assert, ggc_alloc(), wi::gt_p(), wi::minus_one(), wi::neg_p(), wi::one(), r, TYPE_PRECISION, TYPE_SIGN, cross_product_operator::wi_cross_product(), wi_includes_zero_p(), wi_zero_p(), and wi::zero().
◆ wi_fold_in_parts()
|
protectedinherited |
References ggc_alloc(), r, wi::sub(), TYPE_SIGN, range_operator::wi_fold(), and range_operator::wi_fold_in_parts().
Referenced by range_operator::fold_range(), and range_operator::wi_fold_in_parts().
◆ wi_fold_in_parts_equiv()
|
protectedinherited |
References ggc_alloc(), r, wi::sub(), TYPE_SIGN, and range_operator::wi_fold().
Referenced by range_operator::fold_range().
◆ wi_op_overflows()
|
finaloverridevirtualinherited |
Implements cross_product_operator.
References wi::div_ceil(), wi::div_floor(), wi::div_round(), wi::div_trunc(), gcc_unreachable, ggc_alloc(), operator_div::m_code, wi::max_value(), wi::OVF_NONE, TYPE_OVERFLOW_UNDEFINED, and TYPE_SIGN.
Field Documentation
◆ m_code
|
protectedinherited |
Referenced by operator_div::operator_div(), operator_div::update_bitmask(), and operator_div::wi_op_overflows().
The documentation for this class was generated from the following file:
