src/ERTL/uses.mli

   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