void EdgeCAT2Builder::processCFG(otawa::WorkSpace *fw, otawa::CFG *cfg) {
//int i;
LBlockSet **lbsets = LBLOCKS(fw);
const hard::Cache *cache = fw->platform()->cache().instCache();
for (int i = 0; i < cache->rowCount(); i++) {
processLBlockSet(cfg, lbsets[i], cache );
}
}
void CATBuilder::processWorkSpace(otawa::WorkSpace *fw) {
//int i;
const BlockCollection *colls = DATA_BLOCK_COLLECTION(fw);
const hard::Cache *cache = hard::CACHE_CONFIGURATION(fw)->dataCache();
for (int i = 0; i < cache->rowCount(); i++) {
ASSERT(i == colls[i].cacheSet());
processLBlockSet(fw, colls[i], cache );
}
}
void Builder::processWorkSpace(WorkSpace *fw) {
ASSERT(fw);
// Check the cache
const hard::Cache *cache = hard::CACHE_CONFIGURATION(fw)->instCache();
if(!cache)
out << "WARNING: no instruction cache !\n";
// Process the l-block sets
LBlockSet **lbsets = LBLOCKS(fw);
ASSERT(lbsets);
for(int i = 0; i < cache->rowCount(); i++)
processLBlockSet(fw, lbsets[i]);
}