value_relation Class Reference

#include <value-relation.h>

Inheritance diagram for value_relation:

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]

value_relation::value_relation ( )

inline

References name1, name2, NULL_TREE, related, and VREL_VARYING.

value_relation() [2/2]

value_relation::value_relation ( relation_kind kind, tree n1, tree n2 )

inline

References kind(), and set_relation().

Member Function Documentation

apply_transitive()

bool value_relation::apply_transitive

(

const value_relation &

rel

)

References ggc_alloc(), kind(), name1, name2, related, relation_swap(), relation_transitive(), and VREL_VARYING.

create_trio()

relation_trio value_relation::create_trio	(	tree	lhs,
		tree	op1,
		tree	op2 )

References ggc_alloc(), name1, name2, op1(), op2(), related, relation_swap(), VREL_EQ, and VREL_VARYING.

dump()

void value_relation::dump

(

FILE *

f

)

const

References fputc(), ggc_alloc(), kind(), name1, name2, op1(), op2(), print_generic_expr(), print_relation(), and TDF_SLIM.

Referenced by dom_oracle::dump(), equiv_oracle::dump(), relation_oracle::register_edge(), path_oracle::register_relation(), relation_oracle::register_stmt(), 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()

relation_kind value_relation::kind ( ) const

inline

References related.

Referenced by apply_transitive(), dump(), dom_oracle::find_relation_block(), intersect(), union_(), and value_relation().

negate()

void value_relation::negate

(

)

References related, and relation_negate().

op1()

tree value_relation::op1 ( ) const

inline

References name1.

Referenced by create_trio(), dump(), dom_oracle::find_relation_block(), intersect(), dom_oracle::register_transitives(), and union_().

op2()

tree value_relation::op2 ( ) const

inline

References name2.

Referenced by create_trio(), dump(), dom_oracle::find_relation_block(), intersect(), dom_oracle::register_transitives(), and union_().

set_relation()

void value_relation::set_relation ( relation_kind kind, tree n1, tree n2 )

inline

References gcc_checking_assert, name1, name2, r, related, and TREE_CODE.

Referenced by path_oracle::register_relation(), 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

tree value_relation::name1

private

Referenced by apply_transitive(), create_trio(), dump(), op1(), set_relation(), and value_relation().

name2

tree value_relation::name2

private

Referenced by apply_transitive(), create_trio(), dump(), op2(), set_relation(), and value_relation().

related

relation_kind 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:

• value-relation.h
• value-relation.cc