#include <value-relation.h>
Public Member Functions | |
| value_relation () | |
| value_relation (relation_kind kind, tree n1, tree n2) | |
| 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 |
Private Attributes | |
| relation_kind | related |
| tree | name1 |
| tree | name2 |
Constructor & Destructor Documentation
◆ value_relation() [1/2]
|
inline |
References name1, name2, NULL_TREE, related, and VREL_VARYING.
◆ value_relation() [2/2]
|
inline |
References kind(), and set_relation().
Member Function Documentation
◆ apply_transitive()
| bool value_relation::apply_transitive | ( | const value_relation & | rel | ) |
References kind(), name1, name2, op1(), op2(), related, relation_swap(), relation_transitive(), and VREL_VARYING.
◆ create_trio()
| relation_trio value_relation::create_trio | ( | tree | lhs, |
| tree | op1, | ||
| tree | op2 ) |
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().
◆ dump()
| void value_relation::dump | ( | FILE * | f | ) | const |
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().
◆ intersect()
| bool value_relation::intersect | ( | value_relation & | p | ) |
References kind(), op1(), op2(), related, relation_intersect(), and relation_swap().
Referenced by dom_oracle::set_one_relation().
◆ kind()
|
inline |
References related.
Referenced by apply_transitive(), dump(), dom_oracle::find_relation_block(), intersect(), dom_oracle::register_transitives(), union_(), and value_relation().
◆ negate()
| void value_relation::negate | ( | ) |
References related, and relation_negate().
◆ op1()
|
inline |
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_().
◆ op2()
|
inline |
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_().
◆ set_relation()
|
inline |
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().
◆ union_()
| bool value_relation::union_ | ( | value_relation & | p | ) |
References kind(), op1(), op2(), related, relation_swap(), and relation_union().
Field Documentation
◆ name1
|
private |
Referenced by apply_transitive(), create_trio(), dump(), op1(), set_relation(), and value_relation().
◆ name2
|
private |
Referenced by apply_transitive(), create_trio(), dump(), op2(), set_relation(), and value_relation().
◆ related
|
private |
Referenced by apply_transitive(), create_trio(), intersect(), kind(), negate(), set_relation(), union_(), and value_relation().
The documentation for this class was generated from the following files:
