diff options
| author | Simon Marlow <marlowsd@gmail.com> | 2013-03-05 12:34:23 +0000 |
|---|---|---|
| committer | Simon Marlow <marlowsd@gmail.com> | 2013-03-05 12:36:52 +0000 |
| commit | 2b32e867ac60da6266c20efd08a249ef8f560659 (patch) | |
| tree | fd6efe39779c5c2ed4ff45606900728987afb39e /compiler/cmm/CmmNode.hs | |
| parent | 4a5f99b56d4507986444918d8efe8ad976cd4f7b (diff) | |
| download | haskell-2b32e867ac60da6266c20efd08a249ef8f560659.tar.gz | |
comments
Diffstat (limited to 'compiler/cmm/CmmNode.hs')
| -rw-r--r-- | compiler/cmm/CmmNode.hs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/compiler/cmm/CmmNode.hs b/compiler/cmm/CmmNode.hs index d808c7ff0d..b3adefebde 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 |