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 4fcd6fe9 authored by Maeva Ramarjiaona's avatar Maeva Ramarjiaona
Browse files

starting to understand how everything works together

parent 6f1c9107
...@@ -10,7 +10,12 @@ namespace lrusecurity ...@@ -10,7 +10,12 @@ namespace lrusecurity
public class ACSSecurity : class otawa::icat3::ACS public class ACSSecurity : class otawa::icat3::ACS
{ {
public: public:
ACSSecurity(icat3::ACS acs); inline ACSSecurity(icat3::ACS acs) {
for (int i = 0; i < ms; i++){
this[i] = acs[i];
}
this._prev = otawa::Bag<icache::Access>::Bag();
}
otawa::Bag<icache::Access> _prev; otawa::Bag<icache::Access> _prev;
} }
......
...@@ -4,7 +4,7 @@ ...@@ -4,7 +4,7 @@
#include <otawa/proc/Processor.h> #include <otawa/proc/Processor.h>
#include <otawa/icat3/features.h> #include <otawa/icat3/features.h>
#include <otawa/cfg/features.h> #include <otawa/cfg/features.h>
#include "ACSSecurity.h"
namespace lrusecurity namespace lrusecurity
{ {
......
...@@ -79,7 +79,7 @@ void ExistHitPrevAnalysis::processSet(int set, WorkSpace* ws) ...@@ -79,7 +79,7 @@ void ExistHitPrevAnalysis::processSet(int set, WorkSpace* ws)
// store the results // store the results
for(CFGCollection::BlockIter b(_cfgs); b; b++) for(CFGCollection::BlockIter b(_cfgs); b; b++)
if(b->isBasic()) { if(b->isBasic()) {
ada.domain().copy((*EXIST_HIT_PREV_IN(b))[set], ada.store().get(b)); ada.domain().copy((*EXIST_HIT_PREV_IN(b))[set], ACSSecurity(ada.store().get(b)));
if(logFor(LOG_BLOCK)) if(logFor(LOG_BLOCK))
log << "\t\t\t" << *b << ": " << ada.domain().print(ada.store().get(b)) << io::endl; log << "\t\t\t" << *b << ": " << ada.domain().print(ada.store().get(b)) << io::endl;
} }
......
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