Compiler Optimization

Theories

• Full Employment Theorem for Compiler Writers
• Optimization Recommendations
• Optimizations Stages

Methods

• SSA
• Three Address Code
• Dataflow Analysis

Types

• Transformation Pass
• Analysis Pass

Techniques

Specific Subset Classes

• Peephole Optimization
• Bit Twiddling

Specific

• Dead Code Elimination
• Common Subexpression Elimination
• Value Numbering
• Constant Folding
• Constant Propogation
• Function Inlining
• Function Outlining
• Reassociation of Expressions
• Distributivity Optimization
• Strength Reduction
• Loop Invariant Code Motion
• Loop Unrolling
• Check Elimination
• Copy Propogation
• Tail Call Optimization
• mem2reg
• Value Range Propogation
• Sparse Conditional Constant Propogation
• Global Value Numbering
• Partial Redundancy Elimination
• Register Allocation

Courses

• CS744