source: Deliverables/D2.2/8051-indexed-labels-branch/src/RTLabs/copyPropagation.mli @ 1507

Last change on this file since 1507 was 1507, checked in by tranquil, 9 years ago
  • added an option to not use ternary expressions in costs, to accomodate frama-c explosion of such expressions
  • corrected some typos in comments
  • added a check for well behaved for loops in loop unrolling, but intelligent unrolling is not done yet
  • TODO: peeling and unrolling can contradict preciseness (with difference between introduced branches around 2 cycles). I guess it can be corrected easily
File size: 133 bytes
Line 
1(** Transformation that performs a pass of copy propagation with a very
2    rough analysis. *)
3
4val trans : Languages.transformation
Note: See TracBrowser for help on using the repository browser.