source: Deliverables/D2.2/8051-indexed-labels-branch/src/RTLabs/constPropagation.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: 167 bytes
Line 
1(** Transformation that performs a single pass of constant propagation.
2    A pass of dead code elimination is also performed. *)
3
4val trans : Languages.transformation
Note: See TracBrowser for help on using the repository browser.