Techniques Dead Code Elimination SSA Value Numbering Constant Folding Function Inlining Common Subexpression Elimination