|
virtual void | configure (const PropList &props) |
| This method may be called for configuring a processor thanks to information passed in the property list. More...
|
|
| OnlyConsBuilder (p::declare &r=reg) |
|
| BBProcessor (AbstractRegistration ®) |
|
| BBProcessor (cstring name, const Version &version, AbstractRegistration ®) |
|
| BBProcessor (cstring name, elm::Version version=elm::Version::ZERO) |
| Buid a new named basic block processor. More...
|
|
| BBProcessor (void) |
| Build a new basic block processor. More...
|
|
| CFGProcessor (AbstractRegistration ®) |
| Build a new CFG processor with the given registration information. More...
|
|
| CFGProcessor (cstring name, const Version &version, AbstractRegistration ®) |
|
| CFGProcessor (cstring name, elm::Version version) |
| Build a new named processor. More...
|
|
| CFGProcessor (void) |
| Build a new CFG processor. More...
|
|
virtual void * | interfaceFor (const AbstractFeature &feature) |
| Get the interface corresponding to the given feature. More...
|
|
elm::String | name (void) const |
|
| Processor (AbstractRegistration ®istration) |
| For internal use only. More...
|
|
| Processor (const PropList &props) |
| Build a new processor. More...
|
|
| Processor (elm::String name, elm::Version version, const PropList &props) |
| Build a new processor with name and version. More...
|
|
| Processor (String name, Version version) |
| Build a new processor with name and version. More...
|
|
| Processor (String name, Version version, AbstractRegistration ®istration) |
| For internal use only. More...
|
|
| Processor (void) |
| Build a simple anonymous processor. More...
|
|
AbstractRegistration & | registration (void) const |
|
elm::Version | version (void) const |
|
virtual | ~Processor (void) |
|
void | configure (const PropList &props, string name="") |
|
bool | isQuiet () const |
|
bool | isVerbose () const |
|
bool | logFor (log_level_t tested) const |
|
log_level_t | logLevel (void) const |
|
| Monitor () |
|
| Monitor (Monitor &mon) |
| Build a monitor by copy. More...
|
|
WorkSpace * | workspace (void) |
|
| ~Monitor () |
|
|
virtual void | processBB (otawa::WorkSpace *, CFG *cfg, Block *bb) |
|
virtual void | setup (WorkSpace *ws) |
| This method is called before an anlysis to let the processor do some initialization. More...
|
|
const CFG & | blocks () const |
|
virtual void | cleanupBB (WorkSpace *ws, CFG *cfg, Block *bb) |
| When the function doCleanup() is called, this function is called for each basic block of the task. More...
|
|
void | cleanupCFG (WorkSpace *ws, CFG *cfg) override |
| This function may be overridden by a subclass to provide custom cleanup for a CFG. More...
|
|
virtual void | destroyBB (WorkSpace *ws, CFG *cfg, Block *b) |
| Propagate to blocks the destroy action. More...
|
|
void | destroyCFG (WorkSpace *ws, CFG *cfg) override |
| Propagate the destroy phase to CFG resources. More...
|
|
virtual void | dumpBB (Block *v, io::Output &out) |
| Function called when a dump of the result of the analysis is required. More...
|
|
void | dumpCFG (CFG *g, io::Output &out) override |
| The default implementation of CFGProcessor dump calls this function for each CFG of the program. More...
|
|
void | processCFG (WorkSpace *ws, CFG *cfg) override |
| See CFGProcessor::processCFG() More...
|
|
template<class T > |
void | trackBB (const AbstractFeature &feature, const Identifier< T * > &id) |
|
template<class T > |
void | trackBB (const AbstractFeature &feature, const Identifier< T > &id) |
|
CFG * | cfg (void) const |
|
const CFGCollection & | cfgs (void) const |
|
void | configure (const PropList &props) override |
| Configure the current processor. More...
|
|
void | destroy (WorkSpace *ws) override |
| This method is called when the properties produced by a processor are no more useful and can be release. More...
|
|
void | doCleanUp (void) |
| Trigger associated with CFG. More...
|
|
void | dump (WorkSpace *ws, Output &out) override |
| Function called for debugging purpose when dump properties (otawa::DUMP, otawa::DUMP_FOR) are provided. More...
|
|
Block * | entry () const |
|
Block * | exit () const |
|
virtual void | processAll (WorkSpace *ws) |
| This function is called once the CFG collection has been obtained. More...
|
|
void | processWorkSpace (WorkSpace *ws) override |
| Process the given framework. More...
|
|
string | str (const Address &address) |
| Transform an address to a smart string, that is, if a source line is available, transform it to "source_file:source_line", if the CFG has a label, it gives "label + 0xoffset", else return the address. More...
|
|
string | str (const Address &base, const Address &address) |
| Transform an address to a smart string, that is, if a source line is available, transform it to "source_file:source_line", if the CFG has a label, it gives "label + 0xoffset", else return the address. More...
|
|
CFG * | taskCFG () const |
|
Block * | taskEntry () const |
|
void | addCleaner (const AbstractFeature &feature, Cleaner *cleaner) |
|
template<class T > |
void | addDeletor (const AbstractFeature &feature, const Ref< T *, Identifier< T * > > &ref) |
|
template<class T > |
void | addRemover (const AbstractFeature &feature, const Ref< T, Identifier< T > > &ref) |
|
virtual void | cleanup (WorkSpace *ws) |
| This method is called after the end of the processor analysis to let it do some clean up. More...
|
|
virtual void | collectStats (WorkSpace *ws) |
| This method is invoked if the user has required to collect statistics about the processor. More...
|
|
virtual void | commit (WorkSpace *ws) |
| This processor is called as soon as all the required and invalidated features has been removed to let the processor install its own properties. More...
|
|
void | invalidate (const AbstractFeature &feature) |
| Usually called from a processor constructor, this method records a feature invalidated by the work of the current processor. More...
|
|
bool | isAllocated (void) const |
|
bool | isCollectingStats (void) const |
|
bool | isDone () const |
|
bool | isDumping () const |
|
bool | isPrepared (void) const |
|
bool | isTimed (void) const |
|
virtual void | prepare (WorkSpace *ws) |
| This method called to let the processor customize its requirements according to some generic feature. More...
|
|
Progress & | progress (void) |
|
void | provide (const AbstractFeature &feature) |
| Usually called from a processor constructor, this method records a feature provided by the work of the current processor. More...
|
|
void | record (StatCollector *collector) |
| Add a statistics collector to the current workspace collection. More...
|
|
bool | recordsStats (void) const |
|
void | recordStat (const AbstractFeature &feature, StatCollector *collector) |
| Add a statistics collector to the current workspace collection. More...
|
|
void | require (const AbstractFeature &feature) |
| Usually called from a processor constructor, this method records a required feature for the work of the current processor. More...
|
|
virtual void | requireDyn (WorkSpace *ws, const PropList &props) |
| Method called after registration requirements to support dynamic requirements. More...
|
|
void | track (Cleaner *cleaner) |
| Track the given cleaner, that is, record the cleaner in the analysis and trigger when the analysis is deleted. More...
|
|
template<class T > |
void | track (const AbstractFeature &feature, const Ref< T *, const Identifier< T * > > &ref) |
|
template<class T > |
void | track (const AbstractFeature &feature, const Ref< T *, Identifier< T * > > &ref) |
|
template<class T > |
void | track (const AbstractFeature &feature, const Ref< T, const Identifier< T > > &ref) |
|
template<class T > |
void | track (const AbstractFeature &feature, const Ref< T, Identifier< T > > &ref) |
|
template<class T > |
T * | track (const AbstractFeature &feature, T *object) |
|
template<class T > |
void | track (const Ref< T *, const Identifier< T * > > &ref) |
|
template<class T > |
void | track (const Ref< T, const Identifier< T > > &ref) |
|
template<class T > |
T * | track (T *object) |
|
void | use (const AbstractFeature &feature) |
| Usually called from a processor constructor, this method records a feature as used by the work of the current processor. More...
|
|
void | warn (const String &message) |
| Display a warning. More...
|
|
WorkSpace * | workspace (void) const |
|
void | setWorkspace (WorkSpace *workspace) |
| Update the workspace in the monitor. More...
|
|
This processor add to the current ILP the constraint requires to model the behavior of the BHT.
- Configuration
- Provided Features
-
- Required Features
-