| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.CmmToAsm.Reg.Graph
Description
Graph coloring register allocator.
Synopsis
- regAlloc :: (Outputable statics, Outputable instr, Instruction instr) => NCGConfig -> UniqFM RegClass (UniqSet RealReg) -> UniqSet Int -> Int -> [LiveCmmDecl statics instr] -> Maybe CFG -> UniqSM ([NatCmmDecl statics instr], Maybe Int, [RegAllocStats statics instr])
Documentation
Arguments
| :: (Outputable statics, Outputable instr, Instruction instr) | |
| => NCGConfig | |
| -> UniqFM RegClass (UniqSet RealReg) | registers we can use for allocation |
| -> UniqSet Int | set of available spill slots. |
| -> Int | current number of spill slots |
| -> [LiveCmmDecl statics instr] | code annotated with liveness information. |
| -> Maybe CFG | CFG 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.