OTAWA
2.0
Framework to perform machine analysis and compute WCET.
|
#include <otawa/cache/LBlockSet.h>
Classes | |
class | Iterator |
Public Member Functions | |
int | add (LBlock *node) |
Add a new l-block. More... | |
const hard::Cache * | cache (void) const |
int | cacheBlockCount (void) |
int | count (void) |
Get a number for a new l-block in the set. More... | |
LBlock * | lblock (int i) |
LBlockSet (int row, const hard::Cache *cache) | |
Build a l-block set. More... | |
int | line (void) |
int | set (void) |
Private Attributes | |
const hard::Cache * | _cache |
int | cblock_count |
int | linenumber |
elm::Vector< LBlock * > | listelbc |
Friends | |
class | CCGDFA |
This class represents the list of l-blocks of a task for a chosen cache row. It is useful to perform analysis on l-blocks. It is accessible through the property otawa::LBLOCKS.
otawa::cache::LBlockSet::LBlockSet | ( | int | line, |
const hard::Cache * | cache | ||
) |
int otawa::cache::LBlockSet::add | ( | LBlock * | lblock | ) |
Add a new l-block.
lblock | l-block to add. |
References otawa::cache::LBlock::cacheBlock(), cblock_count, lblock(), and listelbc.
|
inline |
|
inline |
Get the internal counter of l-block number (only used internally).
Referenced by otawa::ACSMayBuilder::processLBlockSet(), otawa::ACSBuilder::processLBlockSet(), otawa::EdgeACSBuilder::processLBlockSet(), and otawa::LinkedBlocksDetector::processWorkSpace().
|
inline |
Get a number for a new l-block in the set.
Used internally to build l-blocks.
Get the count of l-blocks in the set.
Referenced by otawa::cat::CATBuilder::buildLBLOCKSET(), otawa::ACSMayBuilder::processLBlockSet(), otawa::cat::CATBuilder::processLBlockSet(), otawa::EdgeCAT2ConstraintBuilder::processWorkSpace(), otawa::CAT2OnlyConstraintBuilder::processWorkSpace(), otawa::LinkedBlocksDetector::processWorkSpace(), otawa::cat::CATBuilder::setCATEGORISATION(), and otawa::cat::CATBuilder::worst().
|
inline |
Get the l-block with the given index.
i | Index of the looked block. |
Referenced by add(), and otawa::cat::CATBuilder::setCATEGORISATION().
|
inline |
|
inline |
Get the set number of the l-blocks in the cache.
|
friend |
|
private |
|
private |
Referenced by add().
|
private |
|
private |
Referenced by add().