search for: setofdepend

Displaying 6 results from an estimated 6 matches for "setofdepend".

2016 Jul 15
5
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...f other AnalysisResult's currently maintained in this > mapping. In order to invalidate any AnalysisResult you need to > invalidate all AnalysisResult's that transitively depend on it. > Therefore the right-hand side of this mapping needs to be something > like `(AnalysisResult, SetOfDependents)`. > So the mapping is really `(Analysis, IRUnit) -> (AnalysisResult, > SetOfDependents)` > Also, this mapping can be updated at any point during the execution > of a transformation pass (and various other places) and must stay > correct as the IR is changed (more on this belo...
2016 Jul 15
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...is > > > mapping. In order to invalidate any AnalysisResult you need to > > > invalidate all AnalysisResult's that transitively depend on it. > > > Therefore the right-hand side of this mapping needs to be > > > something > > > like `(AnalysisResult, SetOfDependents)`. > > > > > > So the mapping is really `(Analysis, IRUnit) -> (AnalysisResult, > > > SetOfDependents)` > > > > > > Also, this mapping can be updated at any point during the > > > execution > > > of a transformation pass (and...
2016 Jul 15
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...is > > > mapping. In order to invalidate any AnalysisResult you need to > > > invalidate all AnalysisResult's that transitively depend on it. > > > Therefore the right-hand side of this mapping needs to be > > > something > > > like `(AnalysisResult, SetOfDependents)`. > > > > > > So the mapping is really `(Analysis, IRUnit) -> (AnalysisResult, > > > SetOfDependents)` > > > > > > Also, this mapping can be updated at any point during the > > > execution > > > of a transformation pass (and...
2016 Jul 15
4
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...Result's currently maintained in this >> mapping. In order to invalidate any AnalysisResult you need to invalidate >> all AnalysisResult's that transitively depend on it. Therefore the >> right-hand side of this mapping needs to be something like >> `(AnalysisResult, SetOfDependents)`. >> So the mapping is really `(Analysis, IRUnit) -> (AnalysisResult, >> SetOfDependents)` >> Also, this mapping can be updated at any point during the execution of a >> transformation pass (and various other places) and must stay correct as the >> IR is change...
2016 Aug 08
2
[PM] I think that the new PM needs to learn about inter-analysis dependencies...
...rently maintained in this >>> mapping. In order to invalidate any AnalysisResult you need to invalidate >>> all AnalysisResult's that transitively depend on it. Therefore the >>> right-hand side of this mapping needs to be something like >>> `(AnalysisResult, SetOfDependents)`. >>> So the mapping is really `(Analysis, IRUnit) -> (AnalysisResult, >>> SetOfDependents)` >>> Also, this mapping can be updated at any point during the execution of a >>> transformation pass (and various other places) and must stay correct as the >&...
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