GCC Middle and Back End API Reference
|
Public Member Functions | |
void | set_relation (relation_kind kind, tree n1, tree n2) |
relation_kind | kind () const |
tree | op1 () const |
tree | op2 () const |
relation_trio | create_trio (tree lhs, tree op1, tree op2) |
bool | union_ (value_relation &p) |
bool | intersect (value_relation &p) |
void | negate () |
bool | apply_transitive (const value_relation &rel) |
void | dump (FILE *f) const |
Data Fields | |
relation_chain * | m_next |
Private Attributes | |
relation_kind | related |
tree | name1 |
tree | name2 |
|
inherited |
References kind(), name1, name2, op1(), op2(), related, relation_swap(), relation_transitive(), value_relation(), and VREL_VARYING.
|
inherited |
References name1, name2, op1(), op2(), related, relation_swap(), VREL_EQ, and VREL_VARYING.
Referenced by gori_compute::compute_operand1_range(), and gori_compute::compute_operand2_range().
|
inherited |
References fputc(), kind(), name1, name2, op1(), op2(), print_generic_expr(), print_relation(), and TDF_SLIM.
Referenced by dom_oracle::dump(), equiv_oracle::dump(), path_oracle::dump(), path_oracle::record(), relation_oracle::record(), relation_oracle::record(), and dom_oracle::set_one_relation().
|
inherited |
References kind(), op1(), op2(), related, relation_intersect(), relation_swap(), and value_relation().
Referenced by dom_oracle::set_one_relation().
|
inlineinherited |
References related.
Referenced by apply_transitive(), dump(), dom_oracle::find_relation_block(), intersect(), dom_oracle::register_transitives(), union_(), and value_relation().
|
inherited |
References related, and relation_negate().
|
inlineinherited |
References name1.
Referenced by apply_transitive(), gori_compute::compute_operand_range(), create_trio(), dump(), dom_oracle::find_relation_block(), intersect(), dom_oracle::register_transitives(), and union_().
|
inlineinherited |
References name2.
Referenced by apply_transitive(), gori_compute::compute_operand_range(), create_trio(), dump(), dom_oracle::find_relation_block(), intersect(), dom_oracle::register_transitives(), and union_().
|
inlineinherited |
References gcc_checking_assert, name1, name2, r, related, and TREE_CODE.
Referenced by gori_compute::compute_operand_range(), path_oracle::record(), dom_oracle::set_one_relation(), and value_relation().
|
inherited |
References kind(), op1(), op2(), related, relation_swap(), relation_union(), and value_relation().
relation_chain* relation_chain::m_next |
|
privateinherited |
Referenced by apply_transitive(), create_trio(), dump(), op1(), set_relation(), and value_relation().
|
privateinherited |
Referenced by apply_transitive(), create_trio(), dump(), op2(), set_relation(), and value_relation().
|
privateinherited |
Referenced by apply_transitive(), create_trio(), intersect(), kind(), negate(), set_relation(), union_(), and value_relation().