Displaying 6 results from an estimated 6 matches for "setofdependents".
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 below)....
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 var...
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 var...
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 changed (m...
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