#include <value-relation.h>
Public Member Functions | |
| equiv_relation_iterator (relation_oracle *oracle, basic_block bb, tree name, bool full=true, bool partial=false) | |
| void | next () |
| tree | get_name (relation_kind *rel=NULL) |
Protected Attributes | |
| relation_oracle * | m_oracle |
| const_bitmap | m_bm |
| const pe_slice * | m_pe |
| bitmap_iterator | m_bi |
| unsigned | m_y |
| tree | m_name |
Constructor & Destructor Documentation
◆ equiv_relation_iterator()
| equiv_relation_iterator::equiv_relation_iterator | ( | relation_oracle * | oracle, |
| basic_block | bb, | ||
| tree | name, | ||
| bool | full = true, | ||
| bool | partial = false ) |
References bmp_iter_set_init(), relation_oracle::equiv_set(), m_bi, m_bm, m_name, m_oracle, m_pe, m_y, NULL, and relation_oracle::partial_equiv_set().
Member Function Documentation
◆ get_name()
| tree equiv_relation_iterator::get_name | ( | relation_kind * | rel = NULL | ) |
References bmp_iter_set(), bmp_iter_set_init(), pe_slice::code, get_name(), m_bi, m_bm, m_name, m_oracle, m_pe, m_y, pe_slice::members, next(), NULL_TREE, pe_min(), relation_equiv_p(), ssa_name, VREL_EQ, and VREL_VARYING.
Referenced by get_name().
◆ next()
| void equiv_relation_iterator::next | ( | ) |
References bmp_iter_next(), m_bi, and m_y.
Referenced by get_name().
Field Documentation
◆ m_bi
|
protected |
Referenced by equiv_relation_iterator(), get_name(), and next().
◆ m_bm
|
protected |
Referenced by equiv_relation_iterator(), and get_name().
◆ m_name
|
protected |
Referenced by equiv_relation_iterator(), and get_name().
◆ m_oracle
|
protected |
Referenced by equiv_relation_iterator(), and get_name().
◆ m_pe
|
protected |
Referenced by equiv_relation_iterator(), and get_name().
◆ m_y
|
protected |
Referenced by equiv_relation_iterator(), get_name(), and next().
The documentation for this class was generated from the following files:
