Safe Haskell	None
Language	Haskell2010

RegAlloc.Graph.Stats

Description

Carries interesting info for debugging / profiling of the graph coloring register allocator.

Synopsis

Documentation

data RegAllocStats statics instr Source #

Holds interesting statistics from the register allocator.

Constructors

RegAllocStatsStart
Fields raLiveCmm :: [LiveCmmDecl statics instr] Initial code, with liveness. raGraph :: Graph VirtualReg RegClass RealReg The initial, uncolored graph. raSpillCosts :: SpillCostInfo Information to help choose which regs to spill.
RegAllocStatsSpill
Fields raCode :: [LiveCmmDecl statics instr] Code we tried to allocate registers for. raGraph :: Graph VirtualReg RegClass RealReg The initial, uncolored graph. raCoalesced :: UniqFM VirtualReg The regs that were coalesced. raSpillStats :: SpillStats Spiller stats. raSpillCosts :: SpillCostInfo Information to help choose which regs to spill. raSpilled :: [LiveCmmDecl statics instr] Code with spill instructions added.
RegAllocStatsColored
Fields raCode :: [LiveCmmDecl statics instr] Code we tried to allocate registers for. raGraph :: Graph VirtualReg RegClass RealReg The initial, uncolored graph. raGraphColored :: Graph VirtualReg RegClass RealReg Coalesced and colored graph. raCoalesced :: UniqFM VirtualReg The regs that were coalesced. raCodeCoalesced :: [LiveCmmDecl statics instr] Code with coalescings applied. raPatched :: [LiveCmmDecl statics instr] Code with vregs replaced by hregs. raSpillClean :: [LiveCmmDecl statics instr] Code with unneeded spill/reloads cleaned out. raFinal :: [NatCmmDecl statics instr] Final code. raSRMs :: (Int, Int, Int) Spill/reload/reg-reg moves present in this code.

Instances details

(Outputable statics, Outputable instr) => Outputable (RegAllocStats statics instr) #
Instance details Defined in RegAlloc.Graph.Stats Methods ppr :: RegAllocStats statics instr -> SDoc Source # pprPrec :: Rational -> RegAllocStats statics instr -> SDoc Source #

Do all the different analysis on this list of RegAllocStats

Dump a table of how many spill loads / stores were inserted for each vreg.

Dump a table of how long vregs tend to live for in the initial code.

Dump a table of how many conflicts vregs tend to have in the initial code.

Arguments

:: [RegAllocStats statics instr]
-> Graph VirtualReg RegClass RealReg	global register conflict graph
-> SDoc

For every vreg, dump how many conflicts it has, and its lifetime. Good for making a scatter plot.

Count spillreloadreg-reg moves. Lets us see how well the register allocator has done.