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