| Line | |
|---|
| 1 | (* Pasted from Pottier's PP compiler *) |
|---|
| 2 | |
|---|
| 3 | (** This module offers functions that count how many times each |
|---|
| 4 | pseudo-register is used within a piece of [ERTL] code. This is used |
|---|
| 5 | in [Coloring] to drive the spilling heuristics. *) |
|---|
| 6 | |
|---|
| 7 | (* [examine_procedure int_fun] counts how many times each pseudo-register |
|---|
| 8 | is used within procedure [int_fun]. It returns a function that maps |
|---|
| 9 | pseudo-registers to integer use counts. *) |
|---|
| 10 | |
|---|
| 11 | val examine_internal: ERTL.internal_function -> (Register.t -> int) |
|---|
| 12 | |
|---|
Note: See
TracBrowser
for help on using the repository browser.
