Flow analysis and optimization with computed gotos

[Brad Lucier]

> 
> Brad Lucier <lucier@math.purdue.edu> writes:
> 
> > The reference given in Muchnick (can't find Morgan's book in this town)
> > for interprocedural PRE is
> > 
> > E. Morel and C. Renvoise, Interprocedural Elimination of
> > Partial Redundancies, in {\it Program Flow Analysis: Theory and
> > Applications,} S. S. Muchnick and N. D. Jones, eds., Prentice-Hall,
> > Englewood Cliffs, NJ, 1981, pp. 160--188.
> 
> Morgan references
> 
> Morel, E. and Renvoise, C., 1979, _Global optimization by suppression of
> partial redundancies_, CACM 22(2):96--103.
> 
> I guess this is an earlier version of the same paper (?). (It is
> certainly much shorter.)

My understanding is that the paper I cited extends the earlier paper to
interprocedural analysis.

Brad