source: Deliverables/D2.2/8051/src/RTL/RTLConstPropagation.mli @ 1584

Last change on this file since 1584 was 1580, checked in by tranquil, 9 years ago

implemented constant propagation in LTL
cleaned up translations in optimizations, a new module for translations is available

File size: 175 bytes
1(** Transformation that performs a single pass of constant propagation on RTL.
2    A pass of dead code elimination is also performed. *)
4val trans : Languages.transformation
Note: See TracBrowser for help on using the repository browser.