Copy Propagation

Use g for f after assignment f = g

Dead Code Elimination

Dead Operation : Unreachable by any path produces a value not used

• If whose true and false arcs are same
• If whose B expr known at compile time
  loop not to be executed
  procedure not to be called