Common sub-expression elimination  CSE
Loop unrolling
Partial redundancy elimination  PRE
Dead-code elimination
code never accessed, or result never used
Constant propagation and folding
Control-flow analysis
Program re-writing
Data-flow analysis