search for: scalarevolutionanalysis

...d(createBasicAliasAnalysisPass()); } ------ My goal is to use ScalarEvolutionAliasAnalysis in MemoryDependenceAnalysis. When I do, getPassName in MemoryDependenceAnalysis (by stepping into getAnalysisUsage), I get $39 = 0x399f778 "Basic Alias Analysis (stateless AA impl)" To switch to ScalarEvolutionAnalysis, I changed lib/Transforms/IPO/PassManagerBuilder.cpp: addInitialAliasAnalysisPasses to call createScalarEvolutionAliasAnalysisPass instead of createBasicAliasAnalysisPass. But, when I do getPassName() in MemoryDependenceAnalysis , I get TBAA and not Scalar Evolution Alias Analysis. What do I have...

...Evolution, > LoopInfo > MemoryDependenceAnalysis: Stores pointers to AliasAnalysis, > AssumptionCache, TargetLibraryInfo, DominatorTree > MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree > RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, DomFrontier > ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, > AssumptionCache, DominatorTree, LoopInfo > TargetLibraryAnalysis: Has no dependencies > TargetIRAnalysis: Has no dependencies. > > Function alias analyses: 3/5 keep pointers to other analyses > BasicAA: Keeps pointers to TargetLibraryInfo,...

...> ------ > > My goal is to use ScalarEvolutionAliasAnalysis in MemoryDependenceAnalysis. > When I do, getPassName in MemoryDependenceAnalysis (by stepping into > getAnalysisUsage), I get > $39 = 0x399f778 "Basic Alias Analysis (stateless AA impl)" > > To switch to ScalarEvolutionAnalysis, I changed > lib/Transforms/IPO/PassManagerBuilder.cpp: addInitialAliasAnalysisPasses to > call createScalarEvolutionAliasAnalysisPass instead of > createBasicAliasAnalysisPass. > But, when I do getPassName() in MemoryDependenceAnalysis , I get TBAA and > not Scalar Evolution Alias A...

Hey LLVMDev, I'm working on a ModulePass that uses ScalarEvolution along with several other analyses. After some debugging, it looks to me like ScalarEvolutionWrapperPass does not handle memory correctly for this case. Here's my current understanding of the problem. ScalarEvolutionWrapperPass maintains a unique_ptr to a ScalarEvolution. Calling getSE() dereferences this pointer.

On Tue, Jul 12, 2016 at 11:34 PM Sean Silva <chisophugis at gmail.com> wrote: > On Tue, Jul 12, 2016 at 11:32 PM, Xinliang David Li <davidxl at google.com> > wrote: > >> >> >> On Tue, Jul 12, 2016 at 10:57 PM, Chandler Carruth <chandlerc at gmail.com> >> wrote: >> >>> Yea, this is a nasty problem. >>> >>> One

...moryDependenceAnalysis: Stores pointers to AliasAnalysis, >>> AssumptionCache, TargetLibraryInfo, DominatorTree >>> MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree >>> RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, DomFrontier >>> ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, >>> AssumptionCache, DominatorTree, LoopInfo >>> TargetLibraryAnalysis: Has no dependencies >>> TargetIRAnalysis: Has no dependencies. >>> >>> Function alias analyses: 3/5 keep pointers to other analyses >>&gt...

...lution, LoopInfo > MemoryDependenceAnalysis: Stores pointers to AliasAnalysis, > AssumptionCache, TargetLibraryInfo, DominatorTree > MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree > RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, > DomFrontier > ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, > AssumptionCache, DominatorTree, LoopInfo > TargetLibraryAnalysis: Has no dependencies > TargetIRAnalysis: Has no dependencies. > Function alias analyses: 3/5 keep pointers to other analyses > BasicAA: Keeps pointers to TargetLibraryInfo, Ass...

...sis, >>>>> AssumptionCache, TargetLibraryInfo, DominatorTree >>>>> MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree >>>>> RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, >>>>> DomFrontier >>>>> ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, >>>>> AssumptionCache, DominatorTree, LoopInfo >>>>> TargetLibraryAnalysis: Has no dependencies >>>>> TargetIRAnalysis: Has no dependencies. >>>>> >>>>> Function alias analyses: 3/5 kee...

...s, > > > > > DominatorTree > > > > > > > > > > > > > > > RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, > > > > > DomFrontier > > > > > > > > > > > > > > > ScalarEvolutionAnalysis: Stores pointers to > > > > > TargetLibraryInfo, > > > > > AssumptionCache, DominatorTree, LoopInfo > > > > > > > > > > > > > > > TargetLibraryAnalysis: Has no dependencies > > > > > > > > >...

...> > RegionInfoAnalysis: Stores pointers to DomTree, > > > > > > > PostDomTree, > > > > > > > DomFrontier > > > > > > > > > > > > > > > > > > > > > > > > > > > > ScalarEvolutionAnalysis: Stores pointers to > > > > > > > TargetLibraryInfo, > > > > > > > AssumptionCache, DominatorTree, LoopInfo > > > > > > > > > > > > > > > > > > > > > > > > > > > > Tar...

...> > RegionInfoAnalysis: Stores pointers to DomTree, > > > > > > > PostDomTree, > > > > > > > DomFrontier > > > > > > > > > > > > > > > > > > > > > > > > > > > > ScalarEvolutionAnalysis: Stores pointers to > > > > > > > TargetLibraryInfo, > > > > > > > AssumptionCache, DominatorTree, LoopInfo > > > > > > > > > > > > > > > > > > > > > > > > > > > > Tar...

...> > RegionInfoAnalysis: Stores pointers to DomTree, > > > > > > > PostDomTree, > > > > > > > DomFrontier > > > > > > > > > > > > > > > > > > > > > > > > > > > > ScalarEvolutionAnalysis: Stores pointers to > > > > > > > TargetLibraryInfo, > > > > > > > AssumptionCache, DominatorTree, LoopInfo > > > > > > > > > > > > > > > > > > > > > > > > > > > > Tar...

...;>> AssumptionCache, TargetLibraryInfo, DominatorTree >>>>>> MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree >>>>>> RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, >>>>>> DomFrontier >>>>>> ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, >>>>>> AssumptionCache, DominatorTree, LoopInfo >>>>>> TargetLibraryAnalysis: Has no dependencies >>>>>> TargetIRAnalysis: Has no dependencies. >>>>>> >>>>>> Function ali...

...tionCache, TargetLibraryInfo, DominatorTree >>>>>>> MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree >>>>>>> RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, >>>>>>> DomFrontier >>>>>>> ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, >>>>>>> AssumptionCache, DominatorTree, LoopInfo >>>>>>> TargetLibraryAnalysis: Has no dependencies >>>>>>> TargetIRAnalysis: Has no dependencies. >>>>>>> >>>>>&...

...tionCache, TargetLibraryInfo, DominatorTree >>>>>>> MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree >>>>>>> RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, >>>>>>> DomFrontier >>>>>>> ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, >>>>>>> AssumptionCache, DominatorTree, LoopInfo >>>>>>> TargetLibraryAnalysis: Has no dependencies >>>>>>> TargetIRAnalysis: Has no dependencies. >>>>>>> >>>>>&...

...minatorTree >>>>>>>>> MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree >>>>>>>>> RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, >>>>>>>>> DomFrontier >>>>>>>>> ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, >>>>>>>>> AssumptionCache, DominatorTree, LoopInfo >>>>>>>>> TargetLibraryAnalysis: Has no dependencies >>>>>>>>> TargetIRAnalysis: Has no dependencies. >>>>>>&g...

...he, TargetLibraryInfo, DominatorTree >>>>>>>>>> MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree >>>>>>>>>> RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, DomFrontier >>>>>>>>>> ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, AssumptionCache, DominatorTree, LoopInfo >>>>>>>>>> TargetLibraryAnalysis: Has no dependencies >>>>>>>>>> TargetIRAnalysis: Has no dependencies. >>>>>>>>>> >>>&g...

...>>>>>>>>> MemorySSAAnalysis: Stores pointers to AliasAnalysis, DominatorTree >>>>>>>>>> RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, >>>>>>>>>> DomFrontier >>>>>>>>>> ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, >>>>>>>>>> AssumptionCache, DominatorTree, LoopInfo >>>>>>>>>> TargetLibraryAnalysis: Has no dependencies >>>>>>>>>> TargetIRAnalysis: Has no dependencies. >>>&g...

...tores pointers to AliasAnalysis, >>>>>>>>>>> DominatorTree >>>>>>>>>>> RegionInfoAnalysis: Stores pointers to DomTree, PostDomTree, >>>>>>>>>>> DomFrontier >>>>>>>>>>> ScalarEvolutionAnalysis: Stores pointers to TargetLibraryInfo, >>>>>>>>>>> AssumptionCache, DominatorTree, LoopInfo >>>>>>>>>>> TargetLibraryAnalysis: Has no dependencies >>>>>>>>>>> TargetIRAnalysis: Has no dependencies. &g...