Optimizer passes & interpreter for an SSA IR
A simple interpreter
- Constant Folding
- Common Subexpression Elimination
- Strength Reduction
- Allocation Removal
- Parity Analysis
Allocation Removal in the Toy Optimizer
Abstract interpretation in the Toy Optimizer
A Knownbits Abstract Domain for the Toy Optimizer, Correctly