A practical adoption of partial redundancy elimination

Partial redundancy elimination is a powerful optimization technique which needs little introduction. The original formulation was introduced in 1979 by Morel and Renvoise. More efficient formulations have since been offered. We introduce an ever more simple and efficient formulation. We also show how PRE can be used to deal with partially redundant register loads and stores introduced by spilling.