cps & contification
Matthew Fluet
fluet@CS.Cornell.EDU
Thu, 18 Jan 2001 16:03:08 -0500 (EST)
> > I also added a proof of the claim that
> > A'(f) = Uncalled iff there does not exist a path from fm to f.
>
> Here is a shorter proof of half of the claim
Nice.
> Matthew, are you interested in doing the analysis implementation? It shouldn't
> be too bad given that the dominators algorithm is already there. If you do, it
> might be nice for you to catch up with the latest snapshot, which contains a new
> CPS IL, in which many of the lists have been changed to vectors.
Sure. I'll try to set it up the way I attempted to earlier, with
diagnostics for the three analyses. That should be useful for comparisons
and benchmarks.