Displaying 17 results from an estimated 17 matches for "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
> > > > >...
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
> > > > >...
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)
>&g...
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: Stores...
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
> f...
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)
>>>>&g...
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
&g...
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 T...
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)])
>>>>> (SomeModuleAn...
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 an...
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) -> (SomeModuleAnalysi...