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 0b38dcc5 authored by EXT Valentin Touzeau's avatar EXT Valentin Touzeau
Browse files

Rename dependency module

parent b9d3201d
[elm-plugin] [elm-plugin]
name=lruzdd name=lruzdd
deps=otawa/icat3;otawalru;lrumc deps=otawa/icat3;lrupreanalysis;lrumc
description=Perform an exact May/Must analysis of L1 I cache description=Perform an exact May/Must analysis of L1 I cache
author=Valentin Touzeau author=Valentin Touzeau
...@@ -4,7 +4,7 @@ ...@@ -4,7 +4,7 @@
#include <otawa/icat3/features.h> #include <otawa/icat3/features.h>
#include <otawa/icache/features.h> #include <otawa/icache/features.h>
#include <otawalru/features.h> #include <lrupreanalysis/features.h>
using namespace otawa; using namespace otawa;
...@@ -53,11 +53,11 @@ protected: ...@@ -53,11 +53,11 @@ protected:
ASSERT((hCat != HitCategory::AH || mCat != MissCategory::AM) && "Access cannot be AH and AM"); ASSERT((hCat != HitCategory::AH || mCat != MissCategory::AM) && "Access cannot be AH and AM");
if(hCat == HitCategory::AH) if(hCat == HitCategory::AH)
otawalru::EXACT_CATEGORY(access) = otawalru::ExactCategory::AH; lrupreanalysis::EXACT_CATEGORY(access) = lrupreanalysis::ExactCategory::AH;
else if(mCat == MissCategory::AM) else if(mCat == MissCategory::AM)
otawalru::EXACT_CATEGORY(access) = otawalru::ExactCategory::AM; lrupreanalysis::EXACT_CATEGORY(access) = lrupreanalysis::ExactCategory::AM;
else else
otawalru::EXACT_CATEGORY(access) = otawalru::ExactCategory::DU; lrupreanalysis::EXACT_CATEGORY(access) = lrupreanalysis::ExactCategory::DU;
} }
}; };
...@@ -65,7 +65,7 @@ p::declare ClassificationBuilder::reg = p::init("lruzdd::ClassificationBuilder", ...@@ -65,7 +65,7 @@ p::declare ClassificationBuilder::reg = p::init("lruzdd::ClassificationBuilder",
.require(icache::ACCESSES_FEATURE) .require(icache::ACCESSES_FEATURE)
.require(EXACT_MAY_ANALYSIS_FEATURE) .require(EXACT_MAY_ANALYSIS_FEATURE)
.require(EXACT_MUST_ANALYSIS_FEATURE) .require(EXACT_MUST_ANALYSIS_FEATURE)
.provide(otawalru::LRU_CLASSIFICATION_FEATURE) .provide(lrupreanalysis::LRU_CLASSIFICATION_FEATURE)
.make<ClassificationBuilder>(); .make<ClassificationBuilder>();
} // namespace lruzdd } // namespace lruzdd
......
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