10.3.1 Redundant (Common) Subexpression Elimination

Figure 1 shows an expression X op Y which may be computed once on each path and then used.