source: Deliverables/D2.2/8051/src/clight/clight32ToClight8.mli

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

Update of D2.2 from Paris.

File size: 651 bytes
2(** This module performs a transformation of a [Clight] program with potentially
3    32 and 16 bits integers to an equivalent [Clight] program that only uses 8
4    bits integers.
6    The main changes are: defining two types that represent 32 and 16 bits
7    integers with a structure of 8 bits integers, making the substitution,
8    replacing primitive integer operations on 32 and 16 bits integers with new
9    functions emulating them on the new types, and finally defining a global
10    variable for each 32 and 16 bits integer constant, which is then replaced by
11    its associated variable. *)
13val translate : Clight.program -> Clight.program
Note: See TracBrowser for help on using the repository browser.