search for: assumptioncachetracker

Displaying 20 results from an estimated 24 matches for "assumptioncachetracker".

2019 Mar 26
2
On-the-fly passes
...etter = [this] (Function &F) -> ScalarEvolution & { return this->getAnalysis<ScalarEvolutionWrapperPass>(F).getSE(); }; auto AssumptionCacheGetter = [this] (Function &F) -> AssumptionCache & { return this->getAnalysis<AssumptionCacheTracker>().getAssumptionCache(F); }; auto OREGetter = [this] (Function &F) -> OptimizationRemarkEmitter & { return this-> getAnalysis<OptimizationRemarkEmitterWrapperPass>(F).getORE(); }; }
2016 Mar 21
2
[Inliner] Loop info in the inliner
...nfo.h" #include "llvm/ADT/SmallPtrSet.h" #include "llvm/ADT/Statistic.h" #include "llvm/Analysis/AliasAnalysis.h"@@ -58,6 +59,7 @@ Inliner::Inliner(char &ID, bool InsertLifetime) void Inliner::getAnalysisUsage(AnalysisUsage &AU) const { AU.addRequired<AssumptionCacheTracker>(); AU.addRequired<TargetLibraryInfoWrapperPass>();+ AU.addRequired<LoopInfoWrapperPass>(); getAAResultsAnalysisUsage(AU); CallGraphSCCPass::getAnalysisUsage(AU);} I get llvm_unreachable in `void PMDataManager::addLowerLevelRequiredPass(Pass *P, Pass *RequiredPass)' Thanks...
2018 Jan 28
4
Polly Dependency Analysis in MyPass
Hello, I need to analyze dependencies in my llvm ir by using polly. i created a new pass called mypass there i added polly dependency analysis pass but when i execute this pass in gdb i get no data. Why is that so? My code is follows; namespace { struct mypass : public FunctionPass { static char ID; mypass() : FunctionPass(ID) { } virtual bool runOnFunction(Function &F) {
2018 Jan 29
1
Polly Dependency Analysis in MyPass
...tAnalysis<LoopInfoWrapperPass>().getLoopInfo(); auto &AA2 = getAnalysis<AAResultsWrapperPass>().getAAResults(); auto const &DL2 = F.getParent()->getDataLayout(); auto &DT2 = getAnalysis<DominatorTreeWrapperPass>().getDomTree(); auto &AC2 = getAnalysis<AssumptionCacheTracker>().getAssumptionCache(F); Result.reset(new ScopInfo{DL2, SD2, SE2, LI2, AA2, DT2, AC2}); polly::DependenceInfoWrapperPass dp; auto &SI = *getAnalysis<polly::ScopInfoWrapperPass>().getSI(); for (auto &It : SI) { assert(It.second && "Invalid SCoP object!&quot...
2016 Mar 22
0
[Inliner] Loop info in the inliner
...m/ADT/SmallPtrSet.h" > #include "llvm/ADT/Statistic.h" > #include "llvm/Analysis/AliasAnalysis.h" > @@ -58,6 +59,7 @@ Inliner::Inliner(char &ID, bool InsertLifetime) > void Inliner::getAnalysisUsage(AnalysisUsage &AU) const { > AU.addRequired<AssumptionCacheTracker>(); > AU.addRequired<TargetLibraryInfoWrapperPass>(); > + AU.addRequired<LoopInfoWrapperPass>(); > getAAResultsAnalysisUsage(AU); > CallGraphSCCPass::getAnalysisUsage(AU); > } > > I get llvm_unreachable in `void > PMDataManager::addLowerLevelRequire...
2018 Jan 29
0
Polly Dependency Analysis in MyPass
How do you compile the code? Within the Polly subdirectory using CMake? How do you run your pass. Using "opt -mypass inputfile.ll"? Michael 2018-01-28 9:30 GMT-06:00 hameeza ahmed via llvm-dev <llvm-dev at lists.llvm.org>: > Hello, > > I need to analyze dependencies in my llvm ir by using polly. i created a new > pass called mypass there i added polly dependency
2018 Jan 28
0
Polly Dependency Analysis in MyPass
...tAnalysis<LoopInfoWrapperPass>().getLoopInfo(); auto &AA2 = getAnalysis<AAResultsWrapperPass>().getAAResults(); auto const &DL2 = F.getParent()->getDataLayout(); auto &DT2 = getAnalysis<DominatorTreeWrapperPass>().getDomTree(); auto &AC2 = getAnalysis<AssumptionCacheTracker>().getAssumptionCache(F); Result.reset(new ScopInfo{DL2, SD2, SE2, LI2, AA2, DT2, AC2}); polly::DependenceInfoWrapperPass dp; auto &SI = *getAnalysis<polly::ScopInfoWrapperPass>().getSI(); for (auto &It : SI) { assert(It.second && "Invalid SCoP object!&quo...
2018 Jan 28
1
Polly Dependency Analysis in MyPass
...oWrapperPass>().getLoopInfo(); > auto &AA2 = getAnalysis<AAResultsWrapperPass>().getAAResults(); > auto const &DL2 = F.getParent()->getDataLayout(); > auto &DT2 = getAnalysis<DominatorTreeWrapperPass>().getDomTree(); > auto &AC2 = getAnalysis<AssumptionCacheTracker>().getAssumptionCache(F); > > Result.reset(new ScopInfo{DL2, SD2, SE2, LI2, AA2, DT2, AC2}); > > > polly::DependenceInfoWrapperPass dp; > > auto &SI = *getAnalysis<polly::ScopInfoWrapperPass>().getSI(); > > for (auto &It : SI) { > assert(It.sec...
2016 Jul 14
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...of analyses of the same IRUnit intermingled with transformation passes on that same IRUnit, so you only have the "analysis" part of the tuple above, making things much simpler (and handling dependencies is much simpler too). We've obviously outgrown this model with examples like LAA, AssumptionCacheTracker, etc. that hack around this in the old PM. We may want to have a fresh re-examination of what problems we are exactly trying to solve. For me, my main concern now is what changes need to be made in order to feel confident running a pipeline in the new PM without assertions+ASan. Sorry for the lo...
2017 Mar 28
2
llvm 3.9 Alias Analysis result for function's by-ref arguments
Hi, I'm writing an analysis pass which is supposed to find instructions in a function that modify function's by-ref arguments. For that I'm using llvm AliasAnalysis pass, particularly querying for ModRef info for instructions and function arguments, to see if a given instruction modifies a given argument. However, for functions with more than one by-ref argument, I get strange
2016 Jul 16
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...> intermingled with transformation passes on that same IRUnit, so you only >> have the "analysis" part of the tuple above, making things much simpler >> (and handling dependencies is much simpler too). We've obviously outgrown >> this model with examples like LAA, AssumptionCacheTracker, etc. that hack >> around this in the old PM. We may want to have a fresh re-examination of >> what problems we are exactly trying to solve. >> >> For me, my main concern now is what changes need to be made in order to >> feel confident running a pipeline in the new PM...
2016 Jul 15
5
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...s>),some-module-pass-that-makes-no-changes,cgscc(some-cgscc-pass-that-uses-foo-cgscc-analysis))` > but that seems like a restriction we can live with. > Again, sorry for the braindump. > -- Sean Silva > > We've obviously outgrown this model with examples like LAA, > > AssumptionCacheTracker, etc. that hack around this in the old PM. > > We > > may want to have a fresh re-examination of what problems we are > > exactly trying to solve. > > > For me, my main concern now is what changes need to be made in > > order > > to feel confident running a...
2016 Jul 25
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...> > > > only have the "analysis" part of the tuple above, making things > > > > much > > > > simpler (and handling dependencies is much simpler too). We've > > > > obviously outgrown this model with examples like LAA, > > > > AssumptionCacheTracker, etc. that hack around this in the old > > > > PM. > > > > We > > > > may want to have a fresh re-examination of what problems we are > > > > exactly trying to solve. > > > > > > > > > > For me, my main concern now is...
2016 Jul 15
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...gt; > > but that seems like a restriction we can live with. > > > > > > Again, sorry for the braindump. > > > > > > -- Sean Silva > > > > > > > We've obviously outgrown this model with examples like LAA, > > > > AssumptionCacheTracker, etc. that hack around this in the old > > > > PM. > > > > We > > > > may want to have a fresh re-examination of what problems we are > > > > exactly trying to solve. > > > > > > > > > > For me, my main concern now is...
2016 Jul 15
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...gt; > > but that seems like a restriction we can live with. > > > > > > Again, sorry for the braindump. > > > > > > -- Sean Silva > > > > > > > We've obviously outgrown this model with examples like LAA, > > > > AssumptionCacheTracker, etc. that hack around this in the old > > > > PM. > > > > We > > > > may want to have a fresh re-examination of what problems we are > > > > exactly trying to solve. > > > > > > > > > > For me, my main concern now is...
2018 Jul 13
2
Giving up using implicit control flow in guards
Hi Sanjoy, Thanks for feedback! As for memory effects, currently I use " inaccessiblememonly " for it. It allows to prove that it doesn't alias with any other load/store in the function, but doesn't allow CSE to eliminate it. It is not actually super-cool, because there is no way that we can safely hoist it out of loop (and sometimes we want to, for example to make unswitching).
2016 Jul 15
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...hat-uses-foo-cgscc-analysis))` >> but that seems like a restriction we can live with. >> >> >> Again, sorry for the braindump. >> >> >> -- Sean Silva >> >> >>> We've obviously outgrown this model with examples like LAA, >>> AssumptionCacheTracker, etc. that hack around this in the old PM. We may >>> want to have a fresh re-examination of what problems we are exactly trying >>> to solve. >>> >>> For me, my main concern now is what changes need to be made in order to >>> feel confident running a pi...
2016 Jul 22
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...ransformation passes on that same IRUnit, so you only >>>> have the "analysis" part of the tuple above, making things much simpler >>>> (and handling dependencies is much simpler too). We've obviously outgrown >>>> this model with examples like LAA, AssumptionCacheTracker, etc. that hack >>>> around this in the old PM. We may want to have a fresh re-examination of >>>> what problems we are exactly trying to solve. >>>> >>>> For me, my main concern now is what changes need to be made in order to >>>> feel co...
2016 Aug 08
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...but that seems like a restriction we can live with. >>> >>> >>> Again, sorry for the braindump. >>> >>> >>> -- Sean Silva >>> >>> >>>> We've obviously outgrown this model with examples like LAA, >>>> AssumptionCacheTracker, etc. that hack around this in the old PM. We may >>>> want to have a fresh re-examination of what problems we are exactly trying >>>> to solve. >>>> >>>> For me, my main concern now is what changes need to be made in order to >>>> feel co...
2016 Jul 26
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...that same IRUnit, so you only >>>>>> have the "analysis" part of the tuple above, making things much simpler >>>>>> (and handling dependencies is much simpler too). We've obviously outgrown >>>>>> this model with examples like LAA, AssumptionCacheTracker, etc. that hack >>>>>> around this in the old PM. We may want to have a fresh re-examination of >>>>>> what problems we are exactly trying to solve. >>>>>> >>>>>> For me, my main concern now is what changes need to be made in o...