(***********************************************************************) (* *) (* Objective Caml *) (* *) (* Xavier Leroy, projet Cristal, INRIA Rocquencourt *) (* *) (* Copyright 1996 Institut National de Recherche en Informatique et *) (* en Automatique. All rights reserved. This file is distributed *) (* under the terms of the Q Public License version 1.0. *) (* *) (***********************************************************************) (* $Id: interf.mli 2553 1999-11-17 18:59:06Z xleroy $ *) (* Construction of the interference graph. Annotate pseudoregs with interference lists and preference lists. *) val build_graph: Mach.fundecl -> unit