Summary: References to information on PRE

The follwing is a summary of the references I gathered concerning Partial
Redundancy Elimination. Thanx to alle the people who contributed to it.




[1] "Global Optimization by Suppression of Partial Redundancies"
          Etienne Morel, Claude Renvoise
          CACM, vol. 22, no. 2, feb '79, pp 96-103


          the original paper




[2] "A Solution to a Problem with Morel and Renvoise's 'Global Optimization
          by Suppression of Partial Redundancies'"
          Karl-Heinz Drechsler, Manfred P. Stadel
          ACM Trans. on Progr. Lang. and Systems, vol. 10, no. 4, oct '88,
          pp 635-640




[3] "Some Comments on 'A Solution to a Problem with Morel and Renvoise's
          'Global Optimization by Suppression of Partial Redundancies''"
          Arther Sorkin
          ACM Trans. on Progr. Lang. and Systems, vol. 11, no. 4, '89, pp 666-668




[4] "Effective Partial Redundancy Elimination"
          Preston Briggs, Keith Cooper
          SIGPLAN 94-6/94, pp 159-170




[5] "Combining Analyses, Combining Optimizations"
          Cliff Click
          Phd-thesis '95, Rice University
          available at: ftp://cs.rice.edu/public/cliffc/thesis.ps.gz


          PRE based on SSA




[6] "The Interprocedural Coincidence Problem"
          J. Knoop, B.Steffen
          Proc. 4th Int. Conf. on CC, pp 125-140




[7] "Lazy Code Motion"
          J.Knoop, O. Ruething, B. Steffen
          ACM SIGPLAN Notices, vol. 27, no. 7, '92, pp 224-234




[8] "The Power Assignment Motion"
          J. Knoop, O. Ruething, B.Steffen
          Proc. ACM SIGPLAN '95 Conf. on Progr. Lang. Design and Impl., pp 233-245




[9] "Partial Dead Code Elimination for Parallel Programs"
          J. Knoop
          Proc. Euro-Par '96 Parallel Processing, pp 441-450




[10] "Optimal Code Motion: Theory and Practice"
          J. Knoop, O. Ruething, B. Steffen
          ACM Trans. on Progr. Lang. an Systems, vol. 16, no. 4, jul '94,
          pp 1117-1155




[11] "Suppression of Partial Redundancies"
          Max HailPerin
          available at:
          http://www.gac.edu/~max/prior-semesters/Spring-96/MC97/spr.ps


          handout summarizing Knoop, Ruething, and Steffen's approach




[12] ftp://titan.cs.rice.edu/public/compilers/ai/
          file: massively_scalar_compiler.tar.Z


          implementation of the PRE-algorithm by Morel & Renvoise, and of the Lazy
          Code Motion-algorithm by Knoop, et al. (and implementations of other
          optimization-related techniques)
--

Return to the comp.compilers page.
Search the comp.compilers archives again.