|
Last change
on this file since 1664 was
740,
checked in by ayache, 9 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 | |
|---|
| 8 | val simplify : Clight.program -> Clight.program |
|---|
Note: See
TracBrowser
for help on using the repository browser.
