aboutsummaryrefslogtreecommitdiffstats
path: root/backend/IRC.mli
diff options
context:
space:
mode:
Diffstat (limited to 'backend/IRC.mli')
-rw-r--r--backend/IRC.mli4
1 files changed, 0 insertions, 4 deletions
diff --git a/backend/IRC.mli b/backend/IRC.mli
index 30b6d5c1..59471329 100644
--- a/backend/IRC.mli
+++ b/backend/IRC.mli
@@ -13,7 +13,6 @@
(* Iterated Register Coalescing: George and Appel's graph coloring algorithm *)
open Registers
-open Machregs
open Locations
open XTL
@@ -39,9 +38,6 @@ val add_pref: graph -> var -> var -> unit
(* Color the graph. Return an assignment of locations to variables. *)
val coloring: graph -> (var -> loc)
-(* Machine registers that are reserved and not available for allocation. *)
-val reserved_registers: mreg list ref
-
(* Auxiliaries to deal with register classes *)
val class_of_type: AST.typ -> int
val class_of_loc: loc -> int