Vous avez reçu un message "Your GitLab account has been locked ..." ? Pas d'inquiétude : lisez cet article https://docs.gricad-pages.univ-grenoble-alpes.fr/help/unlock/

Commit c76bc86b authored by EXT Valentin Touzeau's avatar EXT Valentin Touzeau
Browse files

Break dependency on lrumc

parent 0b38dcc5
[elm-plugin]
name=lruzdd
deps=otawa/icat3;lrupreanalysis;lrumc
deps=otawa/icat3;lrupreanalysis;lruexact
description=Perform an exact May/Must analysis of L1 I cache
author=Valentin Touzeau
......@@ -29,7 +29,7 @@
#include <otawa/icat3/features.h>
#include <lruzdd/features.h>
#include <lruzdd/MayAnalysis/MayManager.h>
#include <lrumc/features.h>
#include <lruexact/features.h>
#include "../ZDD/MayAbstractValuePolicy.h"
#include "../ZDD/ZDDMayDomainPolicy.h"
#include "../GeneratorsSet/GSMayAbstractValuePolicy.h"
......@@ -185,17 +185,17 @@ private:
void processBag(std::set<const icat3::LBlock*>& set, Bag<icache::Access>& bag)
{
for(int i = 0; i < bag.size(); ++i) {
lrumc::RefinementCategory refCat = lrumc::REFINEMENT_CATEGORY(bag[i]);
lruexact::RefinementCategory refCat = lruexact::REFINEMENT_CATEGORY(bag[i]);
MissCategory e = MissCategory::NC;
if(refCat == lrumc::RefinementCategory::CLASSIFIED &&
if(refCat == lruexact::RefinementCategory::CLASSIFIED &&
icat3::CATEGORY(bag[i]) == icat3::AM)
e = MissCategory::AM;
MISS_CATEGORY(bag[i]) = e;
if(refCat == lrumc::RefinementCategory::AM_CANDIDATE ||
refCat == lrumc::RefinementCategory::AH_AM_CANDIDATE)
if(refCat == lruexact::RefinementCategory::AM_CANDIDATE ||
refCat == lruexact::RefinementCategory::AH_AM_CANDIDATE)
set.insert(icat3::LBLOCK(&bag[i]));
}
}
......@@ -267,7 +267,7 @@ private:
p::declare MayAnalysis::reg = p::init("lruzdd::MayAnalysis", Version(1, 0, 0))
.require(icat3::LBLOCKS_FEATURE)
.require(lrumc::REFINEMENT_CATEGORY_FEATURE)
.require(lruexact::REFINEMENT_CATEGORY_FEATURE)
.require(COLLECTED_CFG_FEATURE)
.provide(EXACT_MAY_ANALYSIS_FEATURE)
.make<MayAnalysis>();
......
......@@ -29,7 +29,7 @@
#include <otawa/icat3/features.h>
#include <lruzdd/features.h>
#include <lruzdd/MustAnalysis/MustManager.h>
#include <lrumc/features.h>
#include <lruexact/features.h>
#include "../ZDD/MustAbstractValuePolicy.h"
#include "../ZDD/ZDDMustDomainPolicy.h"
#include "../GeneratorsSet/GSMustAbstractValuePolicy.h"
......@@ -185,17 +185,17 @@ private:
void processBag(std::set<const icat3::LBlock*>& set, Bag<icache::Access>& bag)
{
for(int i = 0; i < bag.size(); ++i) {
lrumc::RefinementCategory refCat = lrumc::REFINEMENT_CATEGORY(bag[i]);
lruexact::RefinementCategory refCat = lruexact::REFINEMENT_CATEGORY(bag[i]);
HitCategory e = HitCategory::NC;
if(refCat == lrumc::RefinementCategory::CLASSIFIED &&
if(refCat == lruexact::RefinementCategory::CLASSIFIED &&
icat3::CATEGORY(bag[i]) == icat3::AH)
e = HitCategory::AH;
HIT_CATEGORY(bag[i]) = e;
if(refCat == lrumc::RefinementCategory::AH_CANDIDATE ||
refCat == lrumc::RefinementCategory::AH_AM_CANDIDATE)
if(refCat == lruexact::RefinementCategory::AH_CANDIDATE ||
refCat == lruexact::RefinementCategory::AH_AM_CANDIDATE)
set.insert(icat3::LBLOCK(&bag[i]));
}
}
......@@ -267,7 +267,7 @@ private:
p::declare MustAnalysis::reg = p::init("lruzdd::MustAnalysis", Version(1, 0, 0))
.require(icat3::LBLOCKS_FEATURE)
.require(lrumc::REFINEMENT_CATEGORY_FEATURE)
.require(lruexact::REFINEMENT_CATEGORY_FEATURE)
.require(COLLECTED_CFG_FEATURE)
.provide(EXACT_MUST_ANALYSIS_FEATURE)
.make<MustAnalysis>();
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment