From f1fc7698ef9997f950be8cb37c9b30dadbb4b631 Mon Sep 17 00:00:00 2001 From: "Edward Z. Yang" Date: Fri, 10 Jun 2011 17:14:31 +0100 Subject: [PATCH] Extra comment about WithRegUsage. Signed-off-by: Edward Z. Yang --- compiler/cmm/CmmSpillReload.hs | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 1.7.10.4