|
Last change
on this file since 740 was
640,
checked in by ayache, 10 years ago
|
|
Hex output not too long for mcu anymore. Readable output added.
|
|
File size:
786 bytes
|
| Line | |
|---|
| 1 | |
|---|
| 2 | (** This module defines the instrumentation of a [Cminor] program. *) |
|---|
| 3 | |
|---|
| 4 | (** [instrument prog cost_map] instruments the program [prog]. First a fresh |
|---|
| 5 | global variable --- the so-called cost variable --- is added to the program. |
|---|
| 6 | Then, each cost label in the program is replaced by an increment of the cost |
|---|
| 7 | variable, following the mapping [cost_map]. The function also returns the |
|---|
| 8 | name of the cost variable and the name of the cost increment function. *) |
|---|
| 9 | |
|---|
| 10 | val instrument : Cminor.program -> int CostLabel.Map.t -> |
|---|
| 11 | Cminor.program * string * string |
|---|
| 12 | |
|---|
| 13 | val cost_labels : Cminor.program -> CostLabel.Set.t |
|---|
| 14 | val user_labels : Cminor.program -> Label.Set.t |
|---|
| 15 | val all_labels : Cminor.program -> StringTools.Set.t |
|---|
| 16 | |
|---|
| 17 | val prog_idents : Cminor.program -> StringTools.Set.t |
|---|
Note: See
TracBrowser
for help on using the repository browser.
