Redundant (Common) Subexpression Elimination

Global Constant Folding and Propagation

Dead Code Elimination

Conditional Pruning

Conditional Reordering

Assignment Elimination Due to Equality

GOTO Chasing

Array Temporary Elimination

The general cases for Example 14 are:

 IF True THEN
   A			A
 ELSE
   B
 

and

 IF False THEN
   A			B
 ELSE
   B