GHC.CmmToAsm.Reg.Graph.Stats · ghc-10.0.0.20260917

datadata RegAllocStats statics instr

Holds interesting statistics from the register allocator.

Constructors

RegAllocStatsStart
- 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.
- raPlatform :: !Platform
  Target platform
RegAllocStatsSpill
- raCode :: [LiveCmmDecl statics instr]
  Code we tried to allocate registers for.
- raGraph :: Graph VirtualReg RegClass RealReg
  The initial, uncolored graph.
- raCoalesced :: UniqFM VirtualReg 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.
- raPlatform :: !Platform
  Target platform
RegAllocStatsColored
- 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 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.
- raPlatform :: !Platform
  Target platform

Instances2Functor, Outputable

Functor (RegAllocStats statics)Defined in ghc-10.0.0.20260917 · GHC.CmmToAsm.Reg.Graph.Stats
(OutputableP Platform statics, OutputableP Platform instr) => Outputable (RegAllocStats statics instr)Defined in ghc-10.0.0.20260917 · GHC.CmmToAsm.Reg.Graph.Stats

valuepprStats

:: [RegAllocStats statics instr]
-> Graph VirtualReg RegClass RealReg
-> SDoc

Do all the different analysis on this list of RegAllocStats

valuepprStatsSpills :: [RegAllocStats statics instr] -> SDoc

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

valuepprStatsLifetimes :: [RegAllocStats statics instr] -> SDoc

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

valuepprStatsConflict :: [RegAllocStats statics instr] -> SDoc

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

valuepprStatsLifeConflict

:: [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.

valuecountSRMs

:: Instruction instr
=> Platform
-> LiveCmmDecl statics instr
-> (Int, Int, Int)

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

valueaddSRM :: (Int, Int, Int) -> (Int, Int, Int) -> (Int, Int, Int)