source: Deliverables/D2.2/8051/src/clight/clightSwitch.mli

Last change on this file was 818, checked in by ayache, 9 years ago

32 and 16 bits operations support in D2.2/8051

File size: 228 bytes
2(** This module performs a switch simplification: they are replaced by
3    equivalent if-then-else statements. This is a temporary hack before
4    implementing switch tables. *)
6val simplify : Clight.program -> Clight.program
Note: See TracBrowser for help on using the repository browser.