relation_trio Class Reference

#include <value-relation.h>

Public Member Functions
	relation_trio ()
	relation_trio (relation_kind lhs_op1, relation_kind lhs_op2, relation_kind op1_op2)
relation_kind	lhs_op1 ()
relation_kind	lhs_op2 ()
relation_kind	op1_op2 ()
relation_trio	swap_op1_op2 ()

Static Public Member Functions
static relation_trio	lhs_op1 (relation_kind k)
static relation_trio	lhs_op2 (relation_kind k)
static relation_trio	op1_op2 (relation_kind k)

Protected Attributes
unsigned	m_val

Constructor & Destructor Documentation

relation_trio() [1/2]

relation_trio::relation_trio ( )

inline

References m_val, STATIC_ASSERT, TRIO_SHIFT, and VREL_LAST.

Referenced by lhs_op1(), lhs_op2(), op1_op2(), and swap_op1_op2().

relation_trio() [2/2]

relation_trio::relation_trio ( relation_kind lhs_op1, relation_kind lhs_op2, relation_kind op1_op2 )

inline

References ggc_alloc(), i1, i2, lhs_op1(), lhs_op2(), m_val, op1_op2(), STATIC_ASSERT, TRIO_SHIFT, and VREL_LAST.

Member Function Documentation

lhs_op1() [1/2]

relation_kind relation_trio::lhs_op1 ( )

inline

References m_val, and TRIO_MASK.

Referenced by phi_group::calculate_using_modifier(), gori_compute::compute_operand1_range(), gori_compute::compute_operand2_range(), operator_plus::op1_range(), operator_minus::op1_range(), pointer_plus_operator::op2_range(), pointer_plus_operator::op2_range(), gori_compute::refine_using_relation(), relation_trio(), and swap_op1_op2().

lhs_op1() [2/2]

relation_trio relation_trio::lhs_op1 ( relation_kind k )

inlinestatic

References ggc_alloc(), relation_trio(), and VREL_VARYING.

lhs_op2() [1/2]

relation_kind relation_trio::lhs_op2 ( )

inline

References m_val, TRIO_MASK, and TRIO_SHIFT.

Referenced by phi_group::calculate_using_modifier(), gori_compute::compute_operand1_range(), gori_compute::compute_operand2_range(), gori_compute::refine_using_relation(), relation_trio(), and swap_op1_op2().

lhs_op2() [2/2]

relation_trio relation_trio::lhs_op2 ( relation_kind k )

inlinestatic

References ggc_alloc(), relation_trio(), and VREL_VARYING.

op1_op2() [1/2]

relation_kind relation_trio::op1_op2 ( )

inline

References m_val, TRIO_MASK, and TRIO_SHIFT.

Referenced by gori_compute::compute_operand1_range(), gori_compute::compute_operand2_range(), range_operator::fold_range(), operator_not_equal::fold_range(), range_operator::fold_range(), frelop_early_resolve(), foperator_unordered::op1_range(), foperator_ordered::op1_range(), operator_equal::op1_range(), operator_not_equal::op1_range(), fold_using_range::range_of_range_op(), relation_trio(), relop_early_resolve(), swap_op1_op2(), and relation_oracle::validate_relation().

op1_op2() [2/2]

relation_trio relation_trio::op1_op2 ( relation_kind k )

inlinestatic

References ggc_alloc(), relation_trio(), and VREL_VARYING.

swap_op1_op2()

relation_trio relation_trio::swap_op1_op2 ( )

inline

References lhs_op1(), lhs_op2(), op1_op2(), relation_swap(), and relation_trio().

Field Documentation

m_val

unsigned relation_trio::m_val

protected

Referenced by lhs_op1(), lhs_op2(), op1_op2(), relation_trio(), and relation_trio().

---

The documentation for this class was generated from the following file:

• value-relation.h