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

Update of D2.2 from Paris.

File size:
651 bytes

Rev  Line  

[619]  1  

 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. 

 5  

 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. *) 

 12  

 13  val translate : Clight.program > Clight.program 

Note: See
TracBrowser
for help on using the repository browser.