source: Deliverables/D2.2/8051/src/LIN/LINToASM.mli @ 685

Last change on this file since 685 was 685, checked in by ayache, 11 years ago

Bug fix in LINToASM (wrong conditional translation) in 8051 branch.

File size: 582 bytes
2(** This module translates a [LIN] program into a [ASM] program. *)
4(** Very few work here:
6    The globals are associated an offset from the bottom of the memory and
7    depending on there size.
9    The instruction that loads the address of a global into a register
10    actually loads the offset associated to the global.
12    In 8051, a program is supposed to run forever. A preamble that contains
13    two instructions is added: the first calls the main, and the second
14    infinitely jumps to itself once the main has returned. *)
16val translate : LIN.program -> ASM.program
Note: See TracBrowser for help on using the repository browser.