source: Deliverables/D2.2/8051/src/clight/runtime.mli @ 624

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

Update of D2.2 from Paris.

File size: 645 bytes
Line 
1
2(** This module adds runtime functions in a [Clight] program. Some of these
3    newly defined functions will be used in the Clight32ToClight8 transformation
4    to replace primitive unary or binary operations. They are returned as
5    association lists. The other functions implement unsupported functions by
6    the target architecture that introduce a branch. We need to define them at
7    the [Clight] level in order to have a correct labelling. *)
8
9val add : Clight.program ->
10  (Clight.program *
11     ((Clight.unary_operation * Clight.ctype) * string) list *
12     ((Clight.binary_operation * Clight.ctype * Clight.ctype) *
13         string) list)
Note: See TracBrowser for help on using the repository browser.