search for: somemoduleanalysi

...sis, function @foo)]) > (AssumptionAnalysis, function @foo) -> (AssumptionCache for @foo, > [(DemandedBitsAnalysis, function @foo)]) > (DemandedBitsAnalysis, function @foo) -> (DemandedBits for @foo, []) > (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, > [(SomeModuleAnalysis, module TheModule)]) > (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, > [(SomeModuleAnalysis, module TheModule)]) > (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult > for TheModule, [(SomeFunctionAnalysis, function @baz)]) > (SomeFunctionA...

...alysis 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 > for TheModule, [(SomeFunctionAnalysis, function @baz)]) > (SomeFunctionA...

...@foo, > > > [(DemandedBitsAnalysis, function @foo)]) > > > > > > (DemandedBitsAnalysis, function @foo) -> (DemandedBits for @foo, > > > []) > > > > > > (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, > > > [(SomeModuleAnalysis, module TheModule)]) > > > > > > (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, > > > [(SomeModuleAnalysis, module TheModule)]) > > > > > > (SomeModuleAnalysis, module TheModule) -> > > > (SomeModuleAnalysisResult &...

...@foo, > > > [(DemandedBitsAnalysis, function @foo)]) > > > > > > (DemandedBitsAnalysis, function @foo) -> (DemandedBits for @foo, > > > []) > > > > > > (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, > > > [(SomeModuleAnalysis, module TheModule)]) > > > > > > (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, > > > [(SomeModuleAnalysis, module TheModule)]) > > > > > > (SomeModuleAnalysis, module TheModule) -> > > > (SomeModuleAnalysisResult &...

...) >> (AssumptionAnalysis, function @foo) -> (AssumptionCache for @foo, >> [(DemandedBitsAnalysis, function @foo)]) >> (DemandedBitsAnalysis, function @foo) -> (DemandedBits for @foo, []) >> (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, >> [(SomeModuleAnalysis, module TheModule)]) >> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, >> [(SomeModuleAnalysis, module TheModule)]) >> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult for >> TheModule, [(SomeFunctionAnalysis, function @baz)]) &gt...

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

...,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 > TheModule, [(SomeFunctionAnalysis, function @baz)]) > (SomeFunctionA...

...mptionAnalysis, function @foo) -> (AssumptionCache for @foo, >>> [(DemandedBitsAnalysis, function @foo)]) >>> (DemandedBitsAnalysis, function @foo) -> (DemandedBits for @foo, []) >>> (AssumptionAnalysis, function @bar) -> (AssumptionCache for @bar, >>> [(SomeModuleAnalysis, module TheModule)]) >>> (AssumptionAnalysis, function @baz) -> (AssumptionCache for @baz, >>> [(SomeModuleAnalysis, module TheModule)]) >>> (SomeModuleAnalysis, module TheModule) -> (SomeModuleAnalysisResult for >>> TheModule, [(SomeFunctionAnalysis, func...

...n? >>> >>> >>> 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 >>> TheModule, [(SomeFunctionAnalysis, func...

...>>> 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 >>>> TheModule, [(SomeFuncti...

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

...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 TheModu...

...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 TheModule, [(SomeFunctionAnalysis, function @baz)]) >&...