Ejemplo n.º 1
0
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 );
	}	
}
Ejemplo n.º 2
0
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]);
}