value
regAlloc :: (OutputableP Platform statics, Instruction instr)=> NCGConfig-> UniqFM RegClass (UniqSet RealReg)registers we can use for allocation
-> UniqSet Intset of available spill slots.
-> Intcurrent number of spill slots
-> [LiveCmmDecl statics instr]code annotated with liveness information.
-> Maybe CFGCFG of basic blocks if available
-> UniqSM ([NatCmmDecl statics instr], Maybe Int, [RegAllocStats statics instr])code with registers allocated, additional stacks required and stats for each stage of allocation
The top level of the graph coloring register allocator.