[commit: ghc] master: comments (2b32e86)

[Simon Marlow]

Repository : http://darcs.haskell.org/ghc.git/

On branch  : master

http://hackage.haskell.org/trac/ghc/changeset/2b32e867ac60da6266c20efd08a249ef8f560659

>---------------------------------------------------------------

commit 2b32e867ac60da6266c20efd08a249ef8f560659
Author: Simon Marlow <marlowsd at gmail.com>
Date:   Tue Mar 5 12:34:23 2013 +0000

    comments

>---------------------------------------------------------------

 compiler/cmm/CmmNode.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/compiler/cmm/CmmNode.hs b/compiler/cmm/CmmNode.hs
index d808c7f..b3adefe 100644
--- a/compiler/cmm/CmmNode.hs
+++ b/compiler/cmm/CmmNode.hs
@@ -60,8 +60,9 @@ data CmmNode e x where
       -- Semantics: clobbers any GlobalRegs for which callerSaves r == True
       -- See Note [foreign calls clobber GlobalRegs]
       --
-      -- Also, there is a current bug for what can be put in
-      -- arguments, see Note [Register Parameter Passing]
+      -- Invariant: the arguments and the ForeignTarget must not
+      -- mention any registers for which CodeGen.Platform.callerSaves
+      -- is True.  See Note [Register Parameter Passing].
 
   CmmBranch :: ULabel -> CmmNode O C
                                    -- Goto another block in the same procedure