Module Fang_alloc.Alloc
Parameters
Signature
val alloc_without_handling_spills : graph -> [ `Allocation of graph | `Spill of Box.Set.t ]
alloc_without_handling_spills g
is either a successful allocation of processor registers to temporary boxes or the set of boxes that could not be assigned a register (they were "spilled").
type spilling_handler
= P.handler
See
SPILLING.handler
.
val adjust_for_spills : stack_size:int -> spilling_handler -> asm -> asm list
adjust_for_spills ~stack_size h s
is an expansion of an assembly instructions
into multiple instructions which account for the possibility that one of the read- or written-to boxes ins
is spilled.For example, if an instruction needs to read from a box that has spilled, the instruction must be replaced with ones that first populates the box with the value from memory.