#include <include/dataflow.h>
This class collects all uses (live variables) that will be defined by the statement that contains this collector (or the UserProc that contains it). Typically the entries are not subscripted, like parameters or locations on the LHS of assignments
Definition at line 222 of file dataflow.h.
Public Types | |
typedef LocationSet::iterator | iterator |
Public Member Functions | |
iterator | begin () |
void | clear () |
void | dump () |
iterator | end () |
bool | exists (Exp *e) |
void | fromSSAform (UserProc *proc, Statement *def) |
LocationSet & | getLocSet () |
void | insert (Exp *e) |
bool | isInitialised () |
void | makeCloneOf (UseCollector &other) |
makeCloneOf(): clone the given Collector into this one | |
bool | operator== (UseCollector &other) |
void | print (std::ostream &os, bool html=false) |
char * | prints () |
void | remove (iterator it) |
void | remove (Exp *loc) |
void | updateLocs (Statement *u) |
UseCollector () | |
Constructor. | |
Private Attributes | |
bool | initialised |
LocationSet | locs |
The set of locations. |
|
Definition at line 271 of file dataflow.h. |
|
Constructor.
Definition at line 236 of file dataflow.h. |
|
Definition at line 272 of file dataflow.h. References LocationSet::begin(), and locs. Referenced by CallStatement::accept(), UserProc::initialParameters(), makeCloneOf(), and UserProc::propagateToCollector(). |
|
Definition at line 251 of file dataflow.h. References LocationSet::clear(), initialised, and locs. Referenced by CallStatement::clearUseCollector(), UserProc::clearUses(), and CallStatement::removeAllLive(). |
|
Definition at line 672 of file dataflow.cpp. References print(). |
|
Definition at line 273 of file dataflow.h. References LocationSet::end(), and locs. Referenced by CallStatement::accept(), UserProc::initialParameters(), makeCloneOf(), and UserProc::propagateToCollector(). |
|
Definition at line 274 of file dataflow.h. References LocationSet::exists(), and locs. Referenced by CallStatement::calcResults(). |
|
Definition at line 705 of file dataflow.cpp. References LocationSet::begin(), LocationSet::end(), LocationSet::insert(), and locs. Referenced by CallStatement::useColFromSsaForm(). |
|
Definition at line 275 of file dataflow.h. References locs. |
|
Definition at line 256 of file dataflow.h. References LocationSet::insert(), and locs. Referenced by CallStatement::useBeforeDefine(), and UserProc::useBeforeDefine(). |
|
Definition at line 246 of file dataflow.h. References initialised. |
|
makeCloneOf(): clone the given Collector into this one
Definition at line 684 of file dataflow.cpp. References begin(), LocationSet::clear(), end(), initialised, LocationSet::insert(), and locs. |
|
Definition at line 725 of file dataflow.cpp. References LocationSet::begin(), LocationSet::end(), initialised, locs, and LocationSet::size(). |
|
Definition at line 618 of file dataflow.cpp. References LocationSet::begin(), LocationSet::end(), and locs. Referenced by dump(), UserProc::print(), and prints(). |
|
Definition at line 656 of file dataflow.cpp. References debug_buffer, DEBUG_BUFSIZE, and print(). |
|
Definition at line 284 of file dataflow.h. References locs, and LocationSet::remove(). |
|
Definition at line 281 of file dataflow.h. References locs, and LocationSet::remove(). Referenced by CallStatement::removeLiveness(). |
|
|
|
Definition at line 227 of file dataflow.h. Referenced by clear(), isInitialised(), makeCloneOf(), and operator==(). |
|
The set of locations. Use lessExpStar to compare properly Definition at line 231 of file dataflow.h. Referenced by begin(), clear(), end(), exists(), fromSSAform(), getLocSet(), insert(), makeCloneOf(), operator==(), print(), and remove(). |