X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2FnativeGen%2FRegAlloc%2FGraph%2FStats.hs;fp=compiler%2FnativeGen%2FRegAlloc%2FGraph%2FStats.hs;h=9fed1ebaf168138f74dbc6bc31ea04e5bcbfa81e;hp=cdce1b624245a6cfe35b9a06a93c676b1b9a1d34;hb=1c0deb50a7d84e14e0a425a0e1b4293c19718bb3;hpb=c66391a745efa86bab4e9659e4d04ba514359164

diff --git a/compiler/nativeGen/RegAlloc/Graph/Stats.hs b/compiler/nativeGen/RegAlloc/Graph/Stats.hs
index cdce1b6..9fed1eb 100644
--- a/compiler/nativeGen/RegAlloc/Graph/Stats.hs
+++ b/compiler/nativeGen/RegAlloc/Graph/Stats.hs
@@ -23,9 +23,11 @@ import qualified GraphColor as Color
 import RegAlloc.Liveness
 import RegAlloc.Graph.Spill
 import RegAlloc.Graph.SpillCost
+import RegAlloc.Graph.TrivColorable
 import Instruction
 import RegClass
 import Reg
+import TargetReg
 
 import Cmm
 import Outputable
@@ -45,7 +47,8 @@ data RegAllocStats instr
 
 	-- a spill stage
 	| RegAllocStatsSpill
-	{ raGraph	:: Color.Graph VirtualReg RegClass RealReg	-- ^ the partially colored graph
+	{ raCode	:: [LiveCmmTop instr]				-- ^ the code we tried to allocate registers for
+	, raGraph	:: Color.Graph VirtualReg RegClass RealReg	-- ^ the partially colored graph
 	, raCoalesced	:: UniqFM VirtualReg				-- ^ the regs that were coaleced
 	, raSpillStats	:: SpillStats 					-- ^ spiller stats
 	, raSpillCosts	:: SpillCostInfo 				-- ^ number of instrs each reg lives for
@@ -53,7 +56,8 @@ data RegAllocStats instr
 
 	-- a successful coloring
 	| RegAllocStatsColored
-	{ raGraph	  :: Color.Graph VirtualReg RegClass RealReg	-- ^ the uncolored graph
+	{ raCode	  :: [LiveCmmTop instr]				-- ^ the code we tried to allocate registers for
+	, raGraph	  :: Color.Graph VirtualReg RegClass RealReg	-- ^ the uncolored graph
 	, raGraphColored  :: Color.Graph VirtualReg RegClass RealReg 	-- ^ the coalesced and colored graph
 	, raCoalesced	  :: UniqFM VirtualReg				-- ^ the regs that were coaleced
 	, raCodeCoalesced :: [LiveCmmTop instr]				-- ^ code with coalescings applied 
@@ -69,13 +73,22 @@ instance Outputable instr => Outputable (RegAllocStats instr) where
 	$$ text "#  Native code with liveness information."
 	$$ ppr (raLiveCmm s)
 	$$ text ""
---	$$ text "#  Initial register conflict graph."
---	$$ Color.dotGraph regDotColor trivColorable (raGraph s)
+	$$ text "#  Initial register conflict graph."
+	$$ Color.dotGraph 
+		targetRegDotColor
+		(trivColorable 
+			targetVirtualRegSqueeze
+			targetRealRegSqueeze)
+		(raGraph s)
 
 
  ppr (s@RegAllocStatsSpill{})
  	=  text "#  Spill"
 
+	$$ text "#  Code with liveness information."
+	$$ (ppr (raCode s))
+	$$ text ""
+
 --	$$ text "#  Register conflict graph."
 --	$$ Color.dotGraph regDotColor trivColorable (raGraph s)
 --	$$ text ""
@@ -105,9 +118,18 @@ instance Outputable instr => Outputable (RegAllocStats instr) where
 --	$$ Color.dotGraph regDotColor trivColorable (raGraph s)
 --	$$ text ""
 
---	$$ text "#  Register conflict graph (colored)."
---	$$ Color.dotGraph regDotColor trivColorable (raGraphColored s)
---	$$ text ""
+	$$ text "#  Code with liveness information."
+	$$ (ppr (raCode s))
+	$$ text ""
+
+	$$ text "#  Register conflict graph (colored)."
+	$$ Color.dotGraph 
+		targetRegDotColor
+		(trivColorable 
+			targetVirtualRegSqueeze
+			targetRealRegSqueeze)
+		(raGraphColored s)
+	$$ text ""
 
 	$$ (if (not $ isNullUFM $ raCoalesced s)
 		then 	text "#  Registers coalesced."