Index of values

add r s returns a set containing all elements of s, plus r.

add_color r s c affects the pseudo-register r to the real register s in c

add an interference edge between two register

add a preference edge between two register

add a register as a node of the graph

add_spill r c decides to spill the pseudo-register r in c

choose g returns some node of g (pseudo or real register)

Return one element of the given set, or raise Not_found if the set is empty.

copy_color r s c copies the decision made for r in c to s

empty coloring

The empty set.

find r c finds the decision associated to r in the coloring c

find_preference p g returns a preference edge of g satisfying a predicate p, at least one of the nodes is assumed to be a pseudo-register, not a real register

find_register p g returns a pseudo-register of g satisfying a predicate p

fold f s a computes (f xN ... (f x2 (f x1 a))...), where x1 ... xN are the elements of s.

Test whether a set is empty or not.

is_real r return true iff r is a real register

iter f s applies f in turn to all elements of s.

join r s takes two pseudo-registers r and s and produces a pseudo-register joining them

join_nodes g a b joins the two nodes a and b into a new node a|b

number of available real registers

neighbour g a b returns true iff there is a interference edge between a and b in g

neighbours g a returns the list of nodes of g that interfers with a

prefer_out g r returns true iff there is at least one preference edge comming out r in g

opens a Firefox window with a graphical representation of the graph

same as Inter_graph.print_graph, but with a (partial) coloring

printing function for registers

printing function for a RISC-V instruction

real r return the real register contained in the join

real_regs () returns the set of real registers according to the number of available real registers

remove r s returns a set containing all elements of s, except r.

remove all preference edges comming out a register

remove a register of the graph, removing all edges comming out this register

set the number of real registers that can be allocated

MIPS register $sp

reserved register to handle spilled pseudo-registers

reserved register to handle spilled pseudo-registers