| Perform partial redundancy elimination of a CFG in SSA form using the
SSA-based algorithm described in:
Fred Chow, Sun Chan, Robert Kennedy, Shin-Ming Liu, Raymond Lo,
and Peng Tu, "A New Algorithm for Partial Redundancy Elimination
based on SSA Form", Proc. PLDI '97: 273-286, 1997.
NOTE: The type for all occurrences of an inserted variable is the same as the
type of the first occurrence of the expression the variable replaces. This
type is guaranteed since we only group expression with equal types.
|