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

Sometimes a conditional can be reordered:

 IF Condition THEN		IF NOT Condition THEN
   Null				A
 ELSE A 				ENDIF
 ENDIF