Value-driven redundancy elimination

Files in this item

Files Size Format View
9631092.PDF 6.720Mb application/pdf Thumbnail

Show simple item record

Item Metadata

dc.contributor.advisor Cooper, Keith D.
dc.creator Simpson, Loren Taylor 2009-06-03T23:55:46Z 2009-06-03T23:55:46Z 1996
dc.description.abstract Value-driven redundancy elimination is a combination of value numbering and code motion. Value numbering is an optimization that assigns numbers to values in such a way that two values are assigned the same number if the compiler can prove they are equal. When this optimization discovers two computations that produce the same value, it can (under certain circumstances) eliminate one of them. Code motion is an optimization that attempts to move instructions to less frequently executed locations. Traditional techniques must assume that every definition produces a distinct value. Therefore, an instruction cannot move past a definition of one of its subexpressions. This restriction can be relaxed when certain definitions are known to produce redundant values. By understanding how these two optimizations interact, we can simplify each of them, and the resulting combination will be more powerful than the sum of the two parts. Value numbering will be simpler because it need not be concerned with eliminating instructions, and code motion will be simpler because identifying subexpressions is not necessary. This research investigates this value-driven approach to redundancy elimination. We improve upon the known algorithms for both value numbering and code motion, and we show experimental evidence of their effectiveness.
dc.format.extent 140 p.
dc.format.mimetype application/pdf
dc.language.iso eng
dc.subject Computer Science
dc.title Value-driven redundancy elimination
dc.type.genre Thesis
dc.type.material Text Computer Science Engineering Rice University Doctoral Doctor of Philosophy
dc.identifier.citation Simpson, Loren Taylor. (1996) "Value-driven redundancy elimination." Doctoral Thesis, Rice University.

This item appears in the following Collection(s)