1 2 3 4 5 6 7 8
open Registers open Locations open RTL open RTLtyping open InterfGraph val graph_coloring: coq_function -> graph -> regenv -> Regset.t -> (reg -> loc)