|
OTAWA
2.0
Framework to perform machine analysis and compute WCET.
|
Go to the documentation of this file.
24 #ifndef OTAWA_DATA_CLP_ANALYSIS_H_
25 #define OTAWA_DATA_CLP_ANALYSIS_H_
32 namespace hard {
class Memory; }
clp::STAT_UINT get_nb_inst(void)
Definition: ClpAnalysis.h:47
clp::STAT_UINT _nb_sem_inst
Definition: ClpAnalysis.h:77
clp::STAT_UINT _nb_top_filters
Definition: ClpAnalysis.h:87
clp::STAT_UINT get_nb_top_load(void) const
Definition: ClpAnalysis.h:69
clp::STAT_UINT get_nb_top_store_addr(void)
Definition: ClpAnalysis.h:59
clp::STAT_UINT get_nb_top_filters(void)
Definition: ClpAnalysis.h:67
Definition: WorkSpace.h:71
clp::STAT_UINT _nb_top_store_addr
Definition: ClpAnalysis.h:82
WorkSpace * ws
Definition: Processor.h:189
bool verbose
Definition: ClpAnalysis.h:88
Definition: Processor.h:50
Vector< init_t > inits
Definition: ClpAnalysis.h:74
void configure(const PropList &props) override
Build the initial configuration of the Analysis fro a property list.
Definition: clp_analysis.cpp:3532
clp::STAT_UINT get_nb_set(void)
Definition: ClpAnalysis.h:51
void setup(WorkSpace *ws) override
This method is called before an anlysis to let the processor do some initialization.
Definition: clp_analysis.cpp:3392
clp::STAT_UINT get_nb_filters(void)
Definition: ClpAnalysis.h:65
Definition: ClpAnalysis.h:36
clp::STAT_UINT get_nb_store(void)
Definition: ClpAnalysis.h:55
clp::STAT_UINT _nb_load
Definition: ClpAnalysis.h:83
clp::STAT_UINT get_nb_top_set(void)
Definition: ClpAnalysis.h:53
static p::declare reg
Definition: ClpAnalysis.h:41
Definition: Identifier.h:50
clp::STAT_UINT _nb_inst
Definition: ClpAnalysis.h:77
clp::STAT_UINT _nb_filters
Definition: ClpAnalysis.h:86
clp::STAT_UINT _nb_top_store
Definition: ClpAnalysis.h:81
const hard::Memory * mem
Definition: ClpAnalysis.h:76
static Identifier< init_t > INITIAL
Initial state of the analysis.
Definition: ClpAnalysis.h:40
clp::STAT_UINT get_nb_load(void)
Definition: ClpAnalysis.h:61
clp::STAT_UINT _nb_store
Definition: ClpAnalysis.h:80
clp::STAT_UINT _nb_load_top_addr
Definition: ClpAnalysis.h:85
clp::STAT_UINT _nb_set
Definition: ClpAnalysis.h:78
clp::STAT_UINT get_nb_top_store(void)
Definition: ClpAnalysis.h:57
Definition: Registration.h:188
t::uint64 STAT_UINT
Definition: ClpValue.h:38
void processWorkSpace(WorkSpace *ws) override
Perform the analysis by processing the workspace.
Definition: clp_analysis.cpp:3401
clp::STAT_UINT _nb_top_load
Definition: ClpAnalysis.h:84
clp::STAT_UINT _nb_top_set
Definition: ClpAnalysis.h:79
Pair< const hard::Register *, Address > init_t
Definition: ClpAnalysis.h:38
Definition: PropList.h:67
clp::STAT_UINT get_nb_load_top_addr(void)
Definition: ClpAnalysis.h:63
clp::STAT_UINT get_nb_sem_inst(void)
Definition: ClpAnalysis.h:49
Analysis(p::declare &r=reg)
Definition: clp_analysis.cpp:3371
Development Note Letting the ToDo / ToDoList class visible in the header is clumsy.
Definition: ArrayStore.h:25