source: Deliverables/D2.2/8051-indexed-labels-branch/src/clight/clightCasts.mli @ 1319

Last change on this file since 1319 was 740, checked in by ayache, 10 years ago

New memory model and bug fixes in 8051 branch. Added primitive operations in interpreters from Clight to LIN.

File size: 337 bytes
Line 
1
2(** [simplify p] removes unnecessary casts in the Clight program [p].
3
4    Example: [(char) ((int)x + (int)y)] where [x] and [y] are of type [char]
5    will be transformed into [x + y]. Primitive operations are thus supposed to
6    be polymorphic, but working only on homogene types. *)
7
8val simplify : Clight.program -> Clight.program
Note: See TracBrowser for help on using the repository browser.