clightSwitch.mli

   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
   6 val simplify : Clight.program -> Clight.program