#include <range-op.h>
Public Member Functions | |
| range_op_handler () | |
| range_op_handler (unsigned) | |
| operator bool () const | |
| range_operator * | range_op () const |
| bool | fold_range (vrange &r, tree type, const vrange &lh, const vrange &rh, relation_trio=TRIO_VARYING) const |
| bool | op1_range (vrange &r, tree type, const vrange &lhs, const vrange &op2, relation_trio=TRIO_VARYING) const |
| bool | op2_range (vrange &r, tree type, const vrange &lhs, const vrange &op1, relation_trio=TRIO_VARYING) const |
| relation_kind | lhs_op1_relation (const vrange &lhs, const vrange &op1, const vrange &op2, relation_kind=VREL_VARYING) const |
| relation_kind | lhs_op2_relation (const vrange &lhs, const vrange &op1, const vrange &op2, relation_kind=VREL_VARYING) const |
| relation_kind | op1_op2_relation (const vrange &lhs, const vrange &op1, const vrange &op2) const |
| bool | overflow_free_p (const vrange &lh, const vrange &rh, relation_trio=TRIO_VARYING) const |
| bool | operand_check_p (tree, tree, tree) const |
Protected Member Functions | |
| unsigned | dispatch_kind (const vrange &lhs, const vrange &op1, const vrange &op2) const |
| void | discriminator_fail (const vrange &, const vrange &, const vrange &) const |
Protected Attributes | |
| range_operator * | m_operator |
Constructor & Destructor Documentation
◆ range_op_handler() [1/2]
| range_op_handler::range_op_handler | ( | ) |
◆ range_op_handler() [2/2]
| range_op_handler::range_op_handler | ( | unsigned | code | ) |
References default_operator, m_operator, and operator_table.
Member Function Documentation
◆ discriminator_fail()
|
protected |
References gcc_checking_assert, and ggc_alloc().
◆ dispatch_kind()
|
protected |
References dispatch_trio(), and vrange::m_discriminator.
Referenced by fold_range(), lhs_op1_relation(), lhs_op2_relation(), op1_op2_relation(), op2_range(), overflow_free_p(), and operator_equal::update_bitmask().
◆ fold_range()
| bool range_op_handler::fold_range | ( | vrange & | r, |
| tree | type, | ||
| const vrange & | lh, | ||
| const vrange & | rh, | ||
| relation_trio | rel = TRIO_VARYING ) const |
References dispatch_kind(), range_operator::fold_range(), gcc_assert, gcc_checking_assert, ggc_alloc(), m_operator, range_operator::operand_check_p(), r, RO_IFF, RO_IFI, and RO_III.
Referenced by compute_distributive_range(), evaluate_conditions_for_known_args(), simplify_using_ranges::fold_cond_with_ops(), cfn_ubsan::fold_range(), operator_bitwise_not::fold_range(), operator_negate::fold_range(), range_query::get_tree_range(), ipa_value_range_from_jfunc(), ipa_vr_operation_and_type_effects(), operator_pointer_diff::op1_op2_relation_effect(), foperator_div::op1_range(), operator_cast::op1_range(), operator_exact_divide::op1_range(), operator_mult::op1_range(), propagate_vr_across_jump_function(), fold_using_range::range_of_range_op(), and relation_oracle::validate_relation().
◆ lhs_op1_relation()
| relation_kind range_op_handler::lhs_op1_relation | ( | const vrange & | lhs, |
| const vrange & | op1, | ||
| const vrange & | op2, | ||
| relation_kind | rel = VREL_VARYING ) const |
References dispatch_kind(), gcc_checking_assert, ggc_alloc(), range_operator::lhs_op1_relation(), m_operator, RO_FFF, RO_IFF, RO_III, RO_IPP, RO_PII, RO_PPP, and VREL_VARYING.
Referenced by fold_using_range::range_of_range_op().
◆ lhs_op2_relation()
| relation_kind range_op_handler::lhs_op2_relation | ( | const vrange & | lhs, |
| const vrange & | op1, | ||
| const vrange & | op2, | ||
| relation_kind | rel = VREL_VARYING ) const |
References dispatch_kind(), gcc_checking_assert, ggc_alloc(), range_operator::lhs_op2_relation(), m_operator, RO_FFF, RO_IFF, RO_III, and VREL_VARYING.
Referenced by fold_using_range::range_of_range_op().
◆ op1_op2_relation()
| relation_kind range_op_handler::op1_op2_relation | ( | const vrange & | lhs, |
| const vrange & | op1, | ||
| const vrange & | op2 ) const |
References dispatch_kind(), gcc_checking_assert, ggc_alloc(), m_operator, range_operator::op1_op2_relation(), RO_FFF, RO_IFF, RO_III, RO_IPP, and VREL_VARYING.
Referenced by gori_compute::compute_operand_range(), and fur_source::register_outgoing_edges().
◆ op1_range()
| bool range_op_handler::op1_range | ( | vrange & | r, |
| tree | type, | ||
| const vrange & | lhs, | ||
| const vrange & | op2, | ||
| relation_trio | rel = TRIO_VARYING ) const |
Referenced by gimple_range_op_handler::calc_op1().
◆ op2_range()
| bool range_op_handler::op2_range | ( | vrange & | r, |
| tree | type, | ||
| const vrange & | lhs, | ||
| const vrange & | op1, | ||
| relation_trio | rel = TRIO_VARYING ) const |
References dispatch_kind(), gcc_assert, gcc_checking_assert, ggc_alloc(), m_operator, range_operator::op2_range(), range_operator::operand_check_p(), r, RO_FFF, RO_FIF, RO_III, RO_IPP, RO_PIP, vrange::type(), and vrange::undefined_p().
Referenced by gimple_range_op_handler::calc_op1(), and gimple_range_op_handler::calc_op2().
◆ operand_check_p()
References gcc_checking_assert, m_operator, and range_operator::operand_check_p().
Referenced by ipa_value_range_from_jfunc(), ipa_vr_operation_and_type_effects(), and propagate_vr_across_jump_function().
◆ operator bool()
| range_op_handler::operator bool | ( | ) | const |
References default_operator.
◆ overflow_free_p()
| bool range_op_handler::overflow_free_p | ( | const vrange & | lh, |
| const vrange & | rh, | ||
| relation_trio | rel = TRIO_VARYING ) const |
References dispatch_kind(), gcc_checking_assert, ggc_alloc(), m_operator, range_operator::overflow_free_p(), and RO_III.
◆ range_op()
| range_operator * range_op_handler::range_op | ( | ) | const |
References default_operator, and m_operator.
Referenced by op1_range().
Field Documentation
◆ m_operator
|
protected |
Referenced by fold_range(), lhs_op1_relation(), lhs_op2_relation(), gimple_range_op_handler::maybe_builtin_call(), gimple_range_op_handler::maybe_non_standard(), op1_op2_relation(), op1_range(), cfn_pass_through_arg1::op1_range(), op2_range(), gimple_range_op_handler::operand1(), gimple_range_op_handler::operand2(), operand_check_p(), overflow_free_p(), range_op(), range_op_handler(), and operator_equal::update_bitmask().
The documentation for this class was generated from the following files:
