1 (***********************************************************************)
5 (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *)
7 (* Copyright 1996 Institut National de Recherche en Informatique et *)
8 (* en Automatique. All rights reserved. This file is distributed *)
9 (* under the terms of the Q Public License version 1.0. *)
11 (***********************************************************************)
13 (* $Id: split.mli 2553 1999-11-17 18:59:06Z xleroy $ *)
15 (* Renaming of registers at reload points to split live ranges. *)
17 val fundecl: Mach.fundecl -> Mach.fundecl