GCC Middle and Back End API Reference
|
|
privatevirtual |
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 from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
privatevirtual |
Reimplemented from range_operator.
|
virtual |
Reimplemented from range_operator.
References r.
|
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-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 from range_operator.
|
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.
|
virtualinherited |
Reimplemented in operator_identity, operator_cast, operator_plus, operator_minus, operator_bitwise_and, hybrid_and_operator, hybrid_or_operator, and operator_rshift.
|
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().
|
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.
|
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.
|
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.
|
virtualinherited |
Reimplemented in operator_plus.
References VREL_VARYING.
|
virtualinherited |
Reimplemented in operator_plus.
|
virtualinherited |
Reimplemented in operator_plus, and operator_plus.
References VREL_VARYING.
Referenced by range_op_handler::lhs_op2_relation().
|
virtualinherited |
Reimplemented in operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, and operator_ge.
References VREL_VARYING.
|
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.
|
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().
|
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.
|
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().
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, and operator_pointer_diff.
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, operator_pointer_diff, and operator_pointer_diff.
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, and operator_pointer_diff.
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, and operator_pointer_diff.
|
protectedvirtualinherited |
Reimplemented in operator_minus, operator_bitwise_xor, and operator_pointer_diff.
|
virtualinherited |
Reimplemented in cfn_sqrt, cfn_sincos, operator_abs, operator_negate, cfn_pass_through_arg1, cfn_signbit, cfn_sqrt, cfn_sincos, 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_identity, operator_cast, operator_plus, operator_abs, operator_minus, operator_negate, operator_mult, operator_addr_expr, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_exact_divide, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_trunc_mod, operator_logical_not, foperator_div, operator_identity, operator_plus, operator_minus, and operator_mult.
|
virtualinherited |
Reimplemented in cfn_signbit, operator_le, foperator_unordered_lt, cfn_pass_through_arg1, cfn_signbit, cfn_sqrt, cfn_sincos, 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_identity, operator_cast, operator_plus, operator_abs, operator_minus, operator_negate, operator_mult, operator_addr_expr, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_exact_divide, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_trunc_mod, operator_logical_not, foperator_unordered, foperator_ordered, foperator_unordered_le, foperator_unordered_gt, foperator_unordered_ge, foperator_unordered_equal, foperator_ltgt, operator_equal, operator_not_equal, operator_lt, operator_gt, and operator_ge.
|
virtualinherited |
Reimplemented in operator_rshift, pointer_or_operator, operator_logical_and, operator_logical_or, operator_logical_not, operator_identity, operator_cast, operator_negate, operator_addr_expr, operator_bitwise_not, operator_bitwise_xor, hybrid_and_operator, hybrid_or_operator, operator_lshift, operator_bitwise_and, operator_bitwise_or, operator_exact_divide, operator_trunc_mod, operator_plus, operator_abs, operator_minus, operator_mult, cfn_pass_through_arg1, cfn_signbit, cfn_sqrt, cfn_sincos, 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_identity, operator_cast, operator_plus, operator_abs, operator_minus, operator_negate, operator_mult, operator_addr_expr, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_exact_divide, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_trunc_mod, operator_logical_not, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_equal, and cfn_pass_through_arg1.
Referenced by operator_equal::update_bitmask().
|
virtualinherited |
Reimplemented in operator_cast, cfn_pass_through_arg1, cfn_signbit, cfn_sqrt, cfn_sincos, 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_identity, operator_cast, operator_plus, operator_abs, operator_minus, operator_negate, operator_mult, operator_addr_expr, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_exact_divide, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_trunc_mod, and operator_logical_not.
|
virtualinherited |
Reimplemented in operator_cast, cfn_pass_through_arg1, cfn_signbit, cfn_sqrt, cfn_sincos, 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_identity, operator_cast, operator_plus, operator_abs, operator_minus, operator_negate, operator_mult, operator_addr_expr, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_exact_divide, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_trunc_mod, operator_logical_not, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, and operator_equal.
|
virtualinherited |
Reimplemented in cfn_pass_through_arg1, cfn_signbit, cfn_sqrt, cfn_sincos, 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_identity, operator_cast, operator_plus, operator_abs, operator_minus, operator_negate, operator_mult, operator_addr_expr, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_exact_divide, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_trunc_mod, and operator_logical_not.
|
virtualinherited |
Reimplemented in operator_identity, operator_cast, operator_addr_expr, cfn_pass_through_arg1, cfn_signbit, cfn_sqrt, cfn_sincos, 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_identity, operator_cast, operator_plus, operator_abs, operator_minus, operator_negate, operator_mult, operator_addr_expr, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, pointer_or_operator, hybrid_and_operator, hybrid_or_operator, operator_exact_divide, operator_lshift, operator_rshift, operator_logical_and, operator_logical_or, operator_trunc_mod, operator_logical_not, and cfn_pass_through_arg1.
|
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.
|
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.
|
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().
|
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.
|
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.
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().
|
virtualinherited |
Reimplemented in operator_plus, operator_minus, and operator_mult.
Referenced by range_op_handler::overflow_free_p().
|
protectedvirtualinherited |
Reimplemented in operator_mult, foperator_div, operator_plus, and operator_minus.
References dconstinf, dconstninf, and r.
Referenced by range_operator::fold_range().
|
protectedvirtualinherited |
Reimplemented in operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_cast, operator_plus, operator_abs, operator_minus, operator_mult, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, operator_min, operator_max, pointer_plus_operator, operator_pointer_diff, hybrid_and_operator, hybrid_or_operator, hybrid_min_operator, hybrid_max_operator, operator_div, operator_lshift, operator_rshift, operator_trunc_mod, operator_absu, pointer_plus_operator, operator_pointer_diff, operator_div, operator_trunc_mod, operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_cast, operator_plus, operator_abs, operator_minus, operator_mult, operator_bitwise_not, operator_bitwise_xor, hybrid_and_operator, hybrid_or_operator, hybrid_min_operator, hybrid_max_operator, operator_lshift, operator_rshift, operator_absu, operator_bitwise_and, operator_bitwise_or, operator_min, and operator_max.
Referenced by range_operator::fold_range().
|
protectedvirtualinherited |
Reimplemented in operator_equal, operator_not_equal, operator_lt, operator_le, operator_gt, operator_ge, operator_cast, operator_plus, operator_abs, operator_minus, operator_mult, operator_bitwise_not, operator_bitwise_xor, operator_bitwise_and, operator_bitwise_or, operator_min, operator_max, pointer_plus_operator, operator_pointer_diff, hybrid_and_operator, hybrid_or_operator, hybrid_min_operator, hybrid_max_operator, operator_div, operator_lshift, operator_rshift, operator_trunc_mod, operator_absu, and operator_pointer_diff.
|
protectedvirtualinherited |
Reimplemented in pointer_plus_operator, pointer_min_max_operator, pointer_and_operator, pointer_or_operator, operator_widen_plus_signed, operator_widen_plus_unsigned, operator_widen_mult_signed, operator_widen_mult_unsigned, operator_trunc_mod, operator_absu, operator_plus, operator_abs, operator_minus, operator_mult, operator_bitwise_xor, hybrid_and_operator, hybrid_or_operator, hybrid_min_operator, hybrid_max_operator, operator_div, operator_lshift, operator_rshift, operator_bitwise_and, operator_bitwise_or, operator_min, and operator_max.
References gcc_checking_assert, and r.
Referenced by range_operator::wi_fold_in_parts(), and range_operator::wi_fold_in_parts_equiv().
|
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().
|
protectedinherited |
References ggc_alloc(), r, wi::sub(), TYPE_SIGN, and range_operator::wi_fold().
Referenced by range_operator::fold_range().