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

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

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

File size: 582 bytes
Line 
1
2(** This module translates a [LIN] program into a [ASM] program. *)
3
4(** Very few work here:
5
6    The globals are associated an offset from the bottom of the memory and
7    depending on there size.
8
9    The instruction that loads the address of a global into a register
10    actually loads the offset associated to the global.
11
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. *)
15
16val translate : LIN.program -> ASM.program
Note: See TracBrowser for help on using the repository browser.