src/RTLabs/RTLabsToRTL.mli

   1
   2 (** This module provides a translation of [RTLabs] programs to [RTL]
   3     programs. *)
   4
   5 (** Most of the work consists in the instruction selection. We target the 8051
   6     processor, which has addresses coded on two machine words. *)
   7
   8 val translate : RTLabs.program -> RTL.program