search for: somefunctionanalysis

Displaying 13 results from an estimated 13 matches for "somefunctionanalysis".

[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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 t...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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 point...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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 `(SomeFunction...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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, function...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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, function...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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 Th...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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 TheM...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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 >>> `(SomeM...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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 `(SomeModuleA...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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 @baz...
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
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 n...