



Synopsis 



Documentation 

type M = ExtendWithSpills Middle 

fold_edge_facts_b :: LastNode l => (DualLive > a > a) > BackwardTransfers m l DualLive > LGraph m l > (BlockId > DualLive) > a > a 

foldConflicts :: (RegSet > a > a) > a > LGraph M Last > FuelMonad a 

type IGraph = Graph LocalReg SlotClass StackPlacement 

type ClassCount = [(SlotClass, Int)] 

buildIGraphAndCounts :: LGraph M Last > FuelMonad (IGraph, ClassCount) 

graphAddConflictSet :: RegSet > IGraph > IGraph 
Add some conflict edges to the graph.
Conflicts between virtual and real regs are recorded as exclusions.


slotClass :: LocalReg > SlotClass 

mkSizeOf :: ClassCount > SlotClass > Int 
number of placements available is from class and all larger classes


Produced by Haddock version 2.4.2 