search for: assumptionanalysi

Displaying 17 results from an estimated 17 matches for "assumptionanalysi".

Did you mean: assumptionanalysis
2017 Jan 28
2
AliasAnalysis supported by the new Pass Manager in v3.9 ?
Looking at the InstructionCombining.cpp code: PreservedAnalyses InstCombinePass::run(Function &F,                                        AnalysisManager<Function> &AM) {   auto &AC = AM.getResult<AssumptionAnalysis>(F);   auto &DT = AM.getResult<DominatorTreeAnalysis>(F);   auto &TLI = AM.getResult<TargetLibraryAnalysis>(F);   auto *LI = AM.getCachedResult<LoopAnalysis>(F);   // FIXME: The AliasAnalysis is not yet supported in the new pass manager Thanks, Welson -------------...
2016 Jul 15
5
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...> > > > > > > > > > > AAManager: Its Result holds TLI pointer and pointers to > > > > > individual > > > > > AA > > > > > result objects. > > > > > > > > > > > > > > > AssumptionAnalysis: No pointers to other analyses. > > > > > > > > > > > > > > > BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo > > > > > and > > > > > BPI. > > > > > > > > > > > >...
2016 Jul 15
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...er and pointers to > > > > > > > individual > > > > > > > AA > > > > > > > result objects. > > > > > > > > > > > > > > > > > > > > > > > > > > > > AssumptionAnalysis: No pointers to other analyses. > > > > > > > > > > > > > > > > > > > > > > > > > > > > BlockFrequencyAnalysis: Its Result holds pointers to > > > > > > > LoopInfo > > > > &g...
2016 Jul 15
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...er and pointers to > > > > > > > individual > > > > > > > AA > > > > > > > result objects. > > > > > > > > > > > > > > > > > > > > > > > > > > > > AssumptionAnalysis: No pointers to other analyses. > > > > > > > > > > > > > > > > > > > > > > > > > > > > BlockFrequencyAnalysis: Its Result holds pointers to > > > > > > > LoopInfo > > > > &g...
2016 Jul 15
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...I (this is a function analysis). >>>>>> >>>>>> Function analyses: 9/17 keep pointers to other analysis >>>>>> AAManager: Its Result holds TLI pointer and pointers to individual AA >>>>>> result objects. >>>>>> AssumptionAnalysis: No pointers to other analyses. >>>>>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and BPI. >>>>>> BranchProbabilityAnalysis: Stores no pointers to other analyses. >>>>>> (uses LoopInfo to "recalculate" though) >&...
2016 Aug 08
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...n analysis). >>>>>>> >>>>>>> Function analyses: 9/17 keep pointers to other analysis >>>>>>> AAManager: Its Result holds TLI pointer and pointers to individual >>>>>>> AA result objects. >>>>>>> AssumptionAnalysis: No pointers to other analyses. >>>>>>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and >>>>>>> BPI. >>>>>>> BranchProbabilityAnalysis: Stores no pointers to other analyses. >>>>>>> (uses LoopInfo...
2016 Jul 14
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...analysis. >>> GlobalsAA: Result keeps pointer to TLI (this is a function analysis). >>> >>> Function analyses: 9/17 keep pointers to other analysis >>> AAManager: Its Result holds TLI pointer and pointers to individual AA >>> result objects. >>> AssumptionAnalysis: No pointers to other analyses. >>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and BPI. >>> BranchProbabilityAnalysis: Stores no pointers to other analyses. (uses >>> LoopInfo to "recalculate" though) >>> DominatorTreeAnalysis: Store...
2016 Jul 25
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...able > restriction? What's the potential use case for getting an analysis outside of something in, or called by, run()? > One annoying problem is that I think that the dependency links will > need to be bidirectional. To use the example analysis cache from my > other post: > (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, > [(SomeModuleAnalysis, module TheModule)]) > (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, > [(SomeModuleAnalysis, module TheModule)]) > (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult >...
2016 Jul 16
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...keeps pointer to TLI (this is a function analysis). >>>>> >>>>> Function analyses: 9/17 keep pointers to other analysis >>>>> AAManager: Its Result holds TLI pointer and pointers to individual AA >>>>> result objects. >>>>> AssumptionAnalysis: No pointers to other analyses. >>>>> BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and BPI. >>>>> BranchProbabilityAnalysis: Stores no pointers to other analyses. (uses >>>>> LoopInfo to "recalculate" though) >>>>&...
2016 Jul 22
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...o that the dependencies are implicitly tracked via re-entrance > to get{,Cached}Result); is this a reasonable restriction? > > > One annoying problem is that I think that the dependency links will need > to be bidirectional. To use the example analysis cache from my other post: > (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, > [(SomeModuleAnalysis, module TheModule)]) > (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, > [(SomeModuleAnalysis, module TheModule)]) > (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult for &...
2016 Jul 13
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...dule alias analyses: 1/1 keeps pointer to other analysis. > GlobalsAA: Result keeps pointer to TLI (this is a function analysis). > > Function analyses: 9/17 keep pointers to other analysis > AAManager: Its Result holds TLI pointer and pointers to individual AA > result objects. > AssumptionAnalysis: No pointers to other analyses. > BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and BPI. > BranchProbabilityAnalysis: Stores no pointers to other analyses. (uses > LoopInfo to "recalculate" though) > DominatorTreeAnalysis: Stores no pointers to other analyses....
2016 Jul 26
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...ia re-entrance >>> to get{,Cached}Result); is this a reasonable restriction? >>> >>> >>> One annoying problem is that I think that the dependency links will need >>> to be bidirectional. To use the example analysis cache from my other post: >>> (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, >>> [(SomeModuleAnalysis, module TheModule)]) >>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, >>> [(SomeModuleAnalysis, module TheModule)]) >>> (SomeModuleAnalysis, module TheModule) ->...
2016 Jul 13
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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
2016 Jul 27
0
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...ached}Result); is this a reasonable restriction? >>>> >>>> >>>> One annoying problem is that I think that the dependency links will >>>> need to be bidirectional. To use the example analysis cache from my other >>>> post: >>>> (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, >>>> [(SomeModuleAnalysis, module TheModule)]) >>>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, >>>> [(SomeModuleAnalysis, module TheModule)]) >>>> (SomeModuleAnalysis, module...
2016 Jul 29
1
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...reasonable restriction? >>>>> >>>>> >>>>> One annoying problem is that I think that the dependency links will >>>>> need to be bidirectional. To use the example analysis cache from my other >>>>> post: >>>>> (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, >>>>> [(SomeModuleAnalysis, module TheModule)]) >>>>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, >>>>> [(SomeModuleAnalysis, module TheModule)]) >>>>> (SomeModuleA...
2016 Jul 13
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...; Module alias analyses: 1/1 keeps pointer to other analysis. > GlobalsAA: Result keeps pointer to TLI (this is a function analysis). > Function analyses: 9/17 keep pointers to other analysis > AAManager: Its Result holds TLI pointer and pointers to individual AA > result objects. > AssumptionAnalysis: No pointers to other analyses. > BlockFrequencyAnalysis: Its Result holds pointers to LoopInfo and > BPI. > BranchProbabilityAnalysis: Stores no pointers to other analyses. > (uses LoopInfo to "recalculate" though) > DominatorTreeAnalysis: Stores no pointers to other a...
2016 Jul 25
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...tracked via re-entrance to get{,Cached}Result); is this a reasonable restriction? >>>> >>>> >>>> One annoying problem is that I think that the dependency links will need to be bidirectional. To use the example analysis cache from my other post: >>>> (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, [(SomeModuleAnalysis, module TheModule)]) >>>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, [(SomeModuleAnalysis, module TheModule)]) >>>> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalys...