GCC Middle and Back End API Reference
relation_oracle Class Reference

#include <value-relation.h>

Inheritance diagram for relation_oracle:

Public Member Functions

virtual ~relation_oracle ()
 
void record (gimple *, relation_kind, tree, tree)
 
void record (edge, relation_kind, tree, tree)
 
virtual void record (basic_block, relation_kind, tree, tree)
 
relation_kind query (gimple *s, tree ssa1, tree ssa2)
 
relation_kind query (edge e, tree ssa1, tree ssa2)
 
virtual relation_kind query (basic_block, tree, tree)
 
virtual void dump (FILE *, basic_block) const
 
virtual void dump (FILE *) const
 
void debug () const
 

Protected Member Functions

virtual const_bitmap equiv_set (tree, basic_block)
 
virtual const class pe_slicepartial_equiv_set (tree)
 
void valid_equivs (bitmap b, const_bitmap equivs, basic_block bb)
 
virtual relation_kind query (basic_block, const_bitmap, const_bitmap)
 

Friends

class equiv_relation_iterator
 
class path_oracle
 

Constructor & Destructor Documentation

◆ ~relation_oracle()

virtual relation_oracle::~relation_oracle ( )
inlinevirtual

Member Function Documentation

◆ debug()

void relation_oracle::debug ( ) const

References dump().

◆ dump() [1/2]

virtual void relation_oracle::dump ( FILE * ) const
inlinevirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

◆ dump() [2/2]

virtual void relation_oracle::dump ( FILE * ,
basic_block  ) const
inlinevirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

Referenced by debug(), and ranger_cache::dump_bb().

◆ equiv_set()

virtual const_bitmap relation_oracle::equiv_set ( tree ,
basic_block  )
inlineprotectedvirtual

◆ partial_equiv_set()

virtual const class pe_slice * relation_oracle::partial_equiv_set ( tree )
inlineprotectedvirtual

◆ query() [1/4]

virtual relation_kind relation_oracle::query ( basic_block ,
const_bitmap ,
const_bitmap  )
inlineprotectedvirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

References VREL_VARYING.

◆ query() [2/4]

virtual relation_kind relation_oracle::query ( basic_block ,
tree ,
tree  )
inlinevirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

References VREL_VARYING.

◆ query() [3/4]

relation_kind relation_oracle::query ( edge e,
tree ssa1,
tree ssa2 )

◆ query() [4/4]

◆ record() [1/3]

virtual void relation_oracle::record ( basic_block ,
relation_kind ,
tree ,
tree  )
inlinevirtual

Reimplemented in dom_oracle, equiv_oracle, and path_oracle.

◆ record() [2/3]

◆ record() [3/3]

◆ valid_equivs()

Friends And Related Symbol Documentation

◆ equiv_relation_iterator

friend class equiv_relation_iterator
friend

◆ path_oracle

friend class path_oracle
friend

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