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

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

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

File size: 228 bytes
Line 
1
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. *)
5
6val simplify : Clight.program -> Clight.program
Note: See TracBrowser for help on using the repository browser.