source: Deliverables/D2.2/8051/src/ERTL/uses.mli @ 1585

Last change on this file since 1585 was 486, checked in by ayache, 9 years ago

Deliverable D2.2

File size: 494 bytes
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
11val examine_internal: ERTL.internal_function -> (Register.t -> int)
12
Note: See TracBrowser for help on using the repository browser.