|
Last change
on this file since 2169 was
818,
checked in by ayache, 10 years ago
|
|
32 and 16 bits operations support in D2.2/8051
|
|
File size:
336 bytes
|
| Line | |
|---|
| 1 | (** This module translates a {!Clight} program into a {!Cminor} |
|---|
| 2 | program. *) |
|---|
| 3 | |
|---|
| 4 | val sizeof_ctype : Clight.ctype -> AST.abstract_size |
|---|
| 5 | |
|---|
| 6 | (** [translate cp] compiles a Clight program into a Cminor program. *) |
|---|
| 7 | (* Translation simplifies control structures and explicits memory operations *) |
|---|
| 8 | |
|---|
| 9 | val translate : Clight.program -> Cminor.program |
|---|
Note: See
TracBrowser
for help on using the repository browser.
