projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
update submodules for GHC.HetMet.GArrow -> Control.GArrow renaming
[ghc-hetmet.git]
/
compiler
/
codeGen
/
StgCmmClosure.hs
diff --git
a/compiler/codeGen/StgCmmClosure.hs
b/compiler/codeGen/StgCmmClosure.hs
index
d66dda5
..
d617743
100644
(file)
--- a/
compiler/codeGen/StgCmmClosure.hs
+++ b/
compiler/codeGen/StgCmmClosure.hs
@@
-11,7
+11,6
@@
--
-----------------------------------------------------------------------------
--
-----------------------------------------------------------------------------
-
module StgCmmClosure (
SMRep,
DynTag, tagForCon, isSmallFamily,
module StgCmmClosure (
SMRep,
DynTag, tagForCon, isSmallFamily,
@@
-73,7
+72,7
@@
import ClosureInfo (ArgDescr(..), C_SRT(..), Liveness(..))
import StgSyn
import SMRep
import StgSyn
import SMRep
-import Cmm ( ClosureTypeInfo(..), ConstrDescription )
+import CmmDecl ( ClosureTypeInfo(..), ConstrDescription )
import CmmExpr
import CLabel
import CmmExpr
import CLabel
@@
-305,13
+304,15
@@
type DynTag = Int -- The tag on a *pointer*
{- Note [Data constructor dynamic tags]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
{- Note [Data constructor dynamic tags]
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
-The family size of a data type (the number of constructors)
-can be either:
+The family size of a data type (the number of constructors
+or the arity of a function) can be either:
* small, if the family size < 2**tag_bits
* big, otherwise.
Small families can have the constructor tag in the tag bits.
* small, if the family size < 2**tag_bits
* big, otherwise.
Small families can have the constructor tag in the tag bits.
-Big families only use the tag value 1 to represent evaluatedness. -}
+Big families only use the tag value 1 to represent evaluatedness.
+We don't have very many tag bits: for example, we have 2 bits on
+x86-32 and 3 bits on x86-64. -}
isSmallFamily :: Int -> Bool
isSmallFamily fam_size = fam_size <= mAX_PTR_TAG
isSmallFamily :: Int -> Bool
isSmallFamily fam_size = fam_size <= mAX_PTR_TAG