(**********************************************************************)
(* (c) Greg Morrisett, Steve Zdancewic                                *)
(*     June 1998, all rights reserved.                                *)
(**********************************************************************)

(* regalloc.mli
 *
 * Performs type-preserving register allocation on a given control flow graph.
 *)

open Cfg

(* Takes a control flow graph and performs x86 specific register allocation, *)
(* using a given number of registers. *)
val regalloc : cf_graph -> int -> cf_graph

(* EOF: regalloc.mli *)
