source: Deliverables/D2.2/8051/src/RTLabs/redundancyElimination.mli @ 1569

Last change on this file since 1569 was 1569, checked in by tranquil, 8 years ago
  • added in repository some missing files...
File size: 366 bytes
Line 
1(** This module implements partial redundancy elimination, which subsumes
2    common subexpression elimination and loop-invariant code motion.
3    This is a reformulation of material found in Muchnick, Advanced compiler
4    design and implementation.
5    Along the way we also perform a first rough liveness analysis. *)
6       
7val trans : Languages.transformation
Note: See TracBrowser for help on using the repository browser.