Displaying 13 results from an estimated 13 matches for "somefunctionanalysi".
Did you mean:
somefunctionanalysis
2016 Jul 25
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...-> (AssumptionCache for @bar,
> [(SomeModuleAnalysis, module TheModule)])
> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
> [(SomeModuleAnalysis, module TheModule)])
> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult
> for TheModule, [(SomeFunctionAnalysis, function @baz)])
> (SomeFunctionAnalysis, function @baz) -> (SomeFunctionAnalysisResult
> for @baz, [])
> if we delete function @baz, then the dependent list
> [(SomeFunctionAnalysis, function @baz)] for ` (SomeModuleAnalysis,
> module TheModule)` will now have a stale pointer...
2016 Jul 16
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
On Fri, Jul 15, 2016 at 8:39 PM, Sean Silva <chisophugis at gmail.com> wrote:
> It looks like there is really no sane fix within the current
> infrastructure. I've had to essentially trigger invalidation (except in the
> PreservedAnalyses::all() case) in the function pass manager and function to
> loop adapters.
>
invalidation of *everything* I mean.
-- Sean Silva
2016 Jul 22
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...-> (AssumptionCache for @bar,
> [(SomeModuleAnalysis, module TheModule)])
> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
> [(SomeModuleAnalysis, module TheModule)])
> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult for
> TheModule, [(SomeFunctionAnalysis, function @baz)])
> (SomeFunctionAnalysis, function @baz) -> (SomeFunctionAnalysisResult for
> @baz, [])
>
> if we delete function @baz, then the dependent list [(SomeFunctionAnalysis,
> function @baz)] for `(SomeModuleAnalysis, module TheModule)` will now
> have a stale poin...
2016 Jul 15
5
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...-> (AssumptionCache for @bar,
> [(SomeModuleAnalysis, module TheModule)])
> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
> [(SomeModuleAnalysis, module TheModule)])
> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult
> for TheModule, [(SomeFunctionAnalysis, function @baz)])
> (SomeFunctionAnalysis, function @baz) -> (SomeFunctionAnalysisResult
> for @baz, [])
> So for example, when a transformation pass invalidates
> `(AssumptionAnalysis, function @bar)`, we need to walk
> `(SomeModuleAnalysis, module TheModule)` and `(SomeFunctio...
2016 Jul 15
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...;
>
> > > (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
> > > [(SomeModuleAnalysis, module TheModule)])
> >
>
> > > (SomeModuleAnalysis, module TheModule) ->
> > > (SomeModuleAnalysisResult
> > > for TheModule, [(SomeFunctionAnalysis, function @baz)])
> >
>
> > > (SomeFunctionAnalysis, function @baz) ->
> > > (SomeFunctionAnalysisResult
> > > for @baz, [])
> >
>
> > > So for example, when a transformation pass invalidates
> > > `(AssumptionAnalysis, functio...
2016 Jul 15
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...;
>
> > > (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
> > > [(SomeModuleAnalysis, module TheModule)])
> >
>
> > > (SomeModuleAnalysis, module TheModule) ->
> > > (SomeModuleAnalysisResult
> > > for TheModule, [(SomeFunctionAnalysis, function @baz)])
> >
>
> > > (SomeFunctionAnalysis, function @baz) ->
> > > (SomeFunctionAnalysisResult
> > > for @baz, [])
> >
>
> > > So for example, when a transformation pass invalidates
> > > `(AssumptionAnalysis, functio...
2016 Jul 15
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...che for @bar,
>> [(SomeModuleAnalysis, module TheModule)])
>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
>> [(SomeModuleAnalysis, module TheModule)])
>> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult for
>> TheModule, [(SomeFunctionAnalysis, function @baz)])
>> (SomeFunctionAnalysis, function @baz) -> (SomeFunctionAnalysisResult for
>> @baz, [])
>>
>> So for example, when a transformation pass invalidates
>> `(AssumptionAnalysis, function @bar)`, we need to walk
>> `(SomeModuleAnalysis, module T...
2016 Jul 26
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...t;> [(SomeModuleAnalysis, module TheModule)])
>>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
>>> [(SomeModuleAnalysis, module TheModule)])
>>> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult for
>>> TheModule, [(SomeFunctionAnalysis, function @baz)])
>>> (SomeFunctionAnalysis, function @baz) -> (SomeFunctionAnalysisResult for
>>> @baz, [])
>>>
>>> if we delete function @baz, then the dependent list [(SomeFunctionAnalysis,
>>> function @baz)] for `(SomeModuleAnalysis, module The...
2016 Aug 08
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...t;> [(SomeModuleAnalysis, module TheModule)])
>>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
>>> [(SomeModuleAnalysis, module TheModule)])
>>> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult for
>>> TheModule, [(SomeFunctionAnalysis, function @baz)])
>>> (SomeFunctionAnalysis, function @baz) -> (SomeFunctionAnalysisResult for
>>> @baz, [])
>>>
>>> So for example, when a transformation pass invalidates
>>> `(AssumptionAnalysis, function @bar)`, we need to walk
>>> `(Some...
2016 Jul 27
0
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...uleAnalysis, module TheModule)])
>>>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
>>>> [(SomeModuleAnalysis, module TheModule)])
>>>> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult for
>>>> TheModule, [(SomeFunctionAnalysis, function @baz)])
>>>> (SomeFunctionAnalysis, function @baz) -> (SomeFunctionAnalysisResult
>>>> for @baz, [])
>>>>
>>>> if we delete function @baz, then the dependent list [(SomeFunctionAnalysis,
>>>> function @baz)] for `(SomeModule...
2016 Jul 29
1
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...ule TheModule)])
>>>>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz,
>>>>> [(SomeModuleAnalysis, module TheModule)])
>>>>> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult
>>>>> for TheModule, [(SomeFunctionAnalysis, function @baz)])
>>>>> (SomeFunctionAnalysis, function @baz) -> (SomeFunctionAnalysisResult
>>>>> for @baz, [])
>>>>>
>>>>> if we delete function @baz, then the dependent list [(SomeFunctionAnalysis,
>>>>> function @ba...
2016 Jul 14
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
On Wed, Jul 13, 2016 at 1:48 AM, Sean Silva <chisophugis at gmail.com> wrote:
>
>
> On Wed, Jul 13, 2016 at 12:34 AM, Chandler Carruth <chandlerc at gmail.com>
> wrote:
>
>> On Wed, Jul 13, 2016 at 12:25 AM Sean Silva <chisophugis at gmail.com>
>> wrote:
>>
>>> On Tue, Jul 12, 2016 at 11:39 PM, Chandler Carruth <chandlerc at
2016 Jul 25
3
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...ssumptionCache for @bar, [(SomeModuleAnalysis, module TheModule)])
>>>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, [(SomeModuleAnalysis, module TheModule)])
>>>> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult for TheModule, [(SomeFunctionAnalysis, function @baz)])
>>>> (SomeFunctionAnalysis, function @baz) -> (SomeFunctionAnalysisResult for @baz, [])
>>>>
>>>> if we delete function @baz, then the dependent list [(SomeFunctionAnalysis, function @baz)] for `(SomeModuleAnalysis, module TheModule)` will...