Interval Analysis

Backward Analysis

Available Expression

Live Variable Analysis

Very Busy Expression

Common Sub-expression Elimination

Copy Propagation

Loop Invariant Computations

Performing Code Motion

Elimination of Induction Variable

Detection of Induction Variables

Strength Reduction

Pointers

A Simple Pointer Language

Transfer Function