IonMonkey/Optimization passes

Over the years we accumulated different optimization passes that all try to optimize the generated MIR code in order to increase the execution speed.

Overview

One of the main properties of IonMonkey is to separate the different optimizations. The reason is to make it easier to work on one specific pass, without having to worry too much about the other passes.

• RegExp hoisting
• Pruning of branches
• Fold tests
• Split critical edges
• Eliminate phis
• Scalar replacement
• Eager SIMD unboxing
• Alignment mask analysis
• Alias analysis
• Global value numbering
• Loop invariant code motion
• Range analysis
• Unreachable code elimination
• Remove unnecessary bitops
• Fold linear arithmetic constants
• Dead code elimination
• Bounds check elimination