SSA Optimizations
All SSA optimization modules satisfy the signature SSA_OPTIMIZATION, which is defined as:
signature SSA_OPTIMIZATION = sig
structure SSA : SSA
val optimize : SSA.ssa -> SSA.ssa
end
The following SSA based scalar optimizations have been implemented in MLRISC.
- Dead code elimination
- Global value numbering, constant folding, algebraic simplication
- Global code motion
- Conditional constant propagation
- Strength reduction
|
|
||
| Generated by mltex2html | |||
| Last modified: Sun Sep 29 05:30:37 UTC 2019 by vorlon@virgil |