From: Edward Z. Yang <ezyang@mit.edu>
Date: Fri, 10 Jun 2011 16:14:31 +0000 (+0100)
Subject: Extra comment about WithRegUsage.
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=f1fc7698ef9997f950be8cb37c9b30dadbb4b631;hp=3bb66cc52ced70cd7081fb8a2e32a1005528d5a0

Extra comment about WithRegUsage.

Signed-off-by: Edward Z. Yang <ezyang@mit.edu>
---

diff --git a/compiler/cmm/CmmSpillReload.hs b/compiler/cmm/CmmSpillReload.hs
index 2dcfb02..4f24238 100644
--- a/compiler/cmm/CmmSpillReload.hs
+++ b/compiler/cmm/CmmSpillReload.hs
@@ -289,6 +289,10 @@ boundedOrdLattice n = DataflowLattice n minBound f
 -- Custom node type we'll rewrite to.  CmmAssign nodes to local
 -- registers are replaced with AssignLocal nodes.
 data WithRegUsage n e x where
+    -- Plain will not contain CmmAssign nodes immediately after
+    -- transformation, but as we rewrite assignments, we may have
+    -- assignments here: these are assignments that should not be
+    -- rewritten!
     Plain       :: n e x -> WithRegUsage n e x
     AssignLocal :: LocalReg -> CmmExpr -> RegUsage -> WithRegUsage n O O