source: Deliverables/D2.2/8051/src/RTLabs/RTLabsToRTL.mli @ 486

Last change on this file since 486 was 486, checked in by ayache, 8 years ago

Deliverable D2.2

File size: 280 bytes
Line 
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
8val translate : RTLabs.program -> RTL.program
Note: See TracBrowser for help on using the repository browser.