\begin{code}
module SMRep (
SMRep(..), ClosureType(..),
- isConstantRep, isStaticRep,
+ isStaticRep,
fixedHdrSize, arrWordsHdrSize, arrPtrsHdrSize,
- fixedItblSize, pprSMRep
-
-#ifndef OMIT_NATIVE_CODEGEN
- , getSMRepClosureTypeInt
- , cONSTR
- , cONSTR_1_0
- , cONSTR_0_1
- , cONSTR_2_0
- , cONSTR_1_1
- , cONSTR_0_2
- , cONSTR_STATIC
- , cONSTR_NOCAF_STATIC
- , fUN
- , fUN_1_0
- , fUN_0_1
- , fUN_2_0
- , fUN_1_1
- , fUN_0_2
- , fUN_STATIC
- , tHUNK
- , tHUNK_1_0
- , tHUNK_0_1
- , tHUNK_2_0
- , tHUNK_1_1
- , tHUNK_0_2
- , tHUNK_STATIC
- , tHUNK_SELECTOR
- , rET_SMALL
- , rET_VEC_SMALL
- , rET_BIG
- , rET_VEC_BIG
- , bLACKHOLE
-#endif
+ stdItblSize, retItblSize,
+ getSMRepClosureTypeInt,
+
+ rET_SMALL, rET_VEC_SMALL, rET_BIG, rET_VEC_BIG,
+
+ StgWord, StgHalfWord, hALF_WORD,
) where
#include "HsVersions.h"
+#include "../includes/MachDeps.h"
import CmdLineOpts
-import AbsCSyn ( Liveness(..) )
-import Constants ( sTD_HDR_SIZE, pROF_HDR_SIZE,
- gRAN_HDR_SIZE, tICKY_HDR_SIZE,
- aRR_WORDS_HDR_SIZE, aRR_PTRS_HDR_SIZE,
- sTD_ITBL_SIZE, pROF_ITBL_SIZE,
- gRAN_ITBL_SIZE, tICKY_ITBL_SIZE )
+import Constants
import Outputable
-import GlaExts ( Int(..), Int#, (<#), (==#), (<#), (>#) )
+
+import DATA_WORD
\end{code}
%************************************************************************
\begin{code}
data SMRep
-- static closure have an extra static link field at the end.
- = StaticRep
- Int -- # ptr words (useful for interpreter, debugger, etc)
- Int -- # non-ptr words
- ClosureType -- closure type
-
- | GenericRep -- GC routines consult sizes in info tbl
- Int -- # ptr words
- Int -- # non-ptr words
+ = GenericRep -- GC routines consult sizes in info tbl
+ Bool -- True <=> This is a static closure. Affects how
+ -- we garbage-collect it
+ !Int -- # ptr words
+ !Int -- # non-ptr words
ClosureType -- closure type
- | ConstantRep -- CONSTR with zero-arity
-
| BlackHoleRep
-data ClosureType
- = CONSTR
- | CONSTR_p_n Int Int
- | CONSTR_NOCAF
- | FUN
- | FUN_p_n Int Int
- | THUNK
- | THUNK_p_n Int Int
- | THUNK_SELECTOR
- deriving (Eq,Ord)
-
+data ClosureType -- Corresponds 1-1 with the varieties of closures
+ -- implemented by the RTS. Compare with ghc/includes/ClosureTypes.h
+ = Constr
+ | ConstrNoCaf
+ | Fun
+ | Thunk
+ | ThunkSelector
\end{code}
Size of a closure header.
\begin{code}
fixedHdrSize :: Int{-words-}
-fixedHdrSize = sTD_HDR_SIZE + profHdrSize + granHdrSize + tickyHdrSize
+fixedHdrSize = sTD_HDR_SIZE + profHdrSize + granHdrSize
profHdrSize :: Int{-words-}
profHdrSize | opt_SccProfilingOn = pROF_HDR_SIZE
granHdrSize | opt_GranMacros = gRAN_HDR_SIZE
| otherwise = 0
-tickyHdrSize :: Int{-words-}
-tickyHdrSize | opt_DoTickyProfiling = tICKY_HDR_SIZE
- | otherwise = 0
-
arrWordsHdrSize :: Int{-words-}
arrWordsHdrSize = fixedHdrSize + aRR_WORDS_HDR_SIZE
Size of an info table.
\begin{code}
-fixedItblSize :: Int{-words-}
-fixedItblSize = sTD_ITBL_SIZE + profItblSize + granItblSize + tickyItblSize
+stdItblSize :: Int{-words-}
+stdItblSize = sTD_ITBL_SIZE + profItblSize + granItblSize + tickyItblSize
+
+retItblSize :: Int{-words-}
+retItblSize = stdItblSize + rET_ITBL_SIZE
profItblSize :: Int{-words-}
-profItblSize | opt_SccProfilingOn = pROF_ITBL_SIZE
+profItblSize | opt_SccProfilingOn = pROF_ITBL_SIZE
| otherwise = 0
granItblSize :: Int{-words-}
tickyItblSize :: Int{-words-}
tickyItblSize | opt_DoTickyProfiling = tICKY_ITBL_SIZE
- | otherwise = 0
+ | otherwise = 0
\end{code}
\begin{code}
-isConstantRep, isStaticRep :: SMRep -> Bool
-isConstantRep ConstantRep = True
-isConstantRep other = False
-
-isStaticRep (StaticRep _ _ _) = True
-isStaticRep _ = False
+isStaticRep :: SMRep -> Bool
+isStaticRep (GenericRep is_static _ _ _) = is_static
+isStaticRep BlackHoleRep = False
\end{code}
\begin{code}
-{- ToDo: needed? -}
-instance Text SMRep where
- showsPrec d rep
- = showString (case rep of
- StaticRep _ _ _ -> "STATIC"
- GenericRep _ _ _ -> ""
- ConstantRep -> "")
-
-instance Outputable SMRep where
- ppr rep = pprSMRep rep
-
-pprSMRep :: SMRep -> SDoc
-pprSMRep (GenericRep _ _ t) = pprClosureType t
-pprSMRep (StaticRep _ _ t) = pprClosureType t <> ptext SLIT("_STATIC")
-pprSMRep ConstantRep = ptext SLIT("CONSTR_NOCAF_STATIC")
-pprSMRep BlackHoleRep = ptext SLIT("BLACKHOLE")
-
-pprClosureType CONSTR = ptext SLIT("CONSTR")
-pprClosureType (CONSTR_p_n p n) = ptext SLIT("CONSTR_") <> int p <> char '_' <> int n
-pprClosureType CONSTR_NOCAF = ptext SLIT("CONSTR_NOCAF")
-pprClosureType FUN = ptext SLIT("FUN")
-pprClosureType (FUN_p_n p n) = ptext SLIT("FUN_") <> int p <> char '_' <> int n
-pprClosureType THUNK = ptext SLIT("THUNK")
-pprClosureType (THUNK_p_n p n) = ptext SLIT("THUNK_") <> int p <> char '_' <> int n
-pprClosureType THUNK_SELECTOR = ptext SLIT("THUNK_SELECTOR")
-
-#ifndef OMIT_NATIVE_CODEGEN
+#include "../includes/ClosureTypes.h"
+-- Defines CONSTR, CONSTR_1_0 etc
+
getSMRepClosureTypeInt :: SMRep -> Int
-getSMRepClosureTypeInt (GenericRep _ _ t) =
- case t of
- CONSTR -> cONSTR
- CONSTR_p_n 1 0 -> cONSTR_1_0
- CONSTR_p_n 0 1 -> cONSTR_0_1
- CONSTR_p_n 2 0 -> cONSTR_2_0
- CONSTR_p_n 1 1 -> cONSTR_1_1
- CONSTR_p_n 0 2 -> cONSTR_0_2
- CONSTR_NOCAF -> panic "getClosureTypeInt: CONSTR_NOCAF"
- FUN -> fUN
- FUN_p_n 1 0 -> fUN_1_0
- FUN_p_n 0 1 -> fUN_0_1
- FUN_p_n 2 0 -> fUN_2_0
- FUN_p_n 1 1 -> fUN_1_1
- FUN_p_n 0 2 -> fUN_0_2
- THUNK -> tHUNK
- THUNK_p_n 1 0 -> tHUNK_1_0
- THUNK_p_n 0 1 -> tHUNK_0_1
- THUNK_p_n 2 0 -> tHUNK_2_0
- THUNK_p_n 1 1 -> tHUNK_1_1
- THUNK_p_n 0 2 -> tHUNK_0_2
- THUNK_SELECTOR -> tHUNK_SELECTOR
-getSMRepClosureTypeInt (StaticRep _ _ t) =
- case t of
- CONSTR -> cONSTR_STATIC
- CONSTR_NOCAF -> cONSTR_NOCAF_STATIC
- FUN -> fUN_STATIC
- THUNK -> tHUNK_STATIC
- THUNK_SELECTOR -> panic "getClosureTypeInt: THUNK_SELECTOR_STATIC"
-
-getSMRepClosureTypeInt ConstantRep = cONSTR_NOCAF_STATIC
-
-getSMRepClosureTypeInt BlackHoleRep = bLACKHOLE
-
--- Just the ones we need:
+getSMRepClosureTypeInt (GenericRep False 1 0 Constr) = CONSTR_1_0
+getSMRepClosureTypeInt (GenericRep False 0 1 Constr) = CONSTR_0_1
+getSMRepClosureTypeInt (GenericRep False 2 0 Constr) = CONSTR_2_0
+getSMRepClosureTypeInt (GenericRep False 1 1 Constr) = CONSTR_1_1
+getSMRepClosureTypeInt (GenericRep False 0 2 Constr) = CONSTR_0_2
+getSMRepClosureTypeInt (GenericRep False _ _ Constr) = CONSTR
+
+getSMRepClosureTypeInt (GenericRep False 1 0 Fun) = FUN_1_0
+getSMRepClosureTypeInt (GenericRep False 0 1 Fun) = FUN_0_1
+getSMRepClosureTypeInt (GenericRep False 2 0 Fun) = FUN_2_0
+getSMRepClosureTypeInt (GenericRep False 1 1 Fun) = FUN_1_1
+getSMRepClosureTypeInt (GenericRep False 0 2 Fun) = FUN_0_2
+getSMRepClosureTypeInt (GenericRep False _ _ Fun) = FUN
+
+getSMRepClosureTypeInt (GenericRep False 1 0 Thunk) = THUNK_1_0
+getSMRepClosureTypeInt (GenericRep False 0 1 Thunk) = THUNK_0_1
+getSMRepClosureTypeInt (GenericRep False 2 0 Thunk) = THUNK_2_0
+getSMRepClosureTypeInt (GenericRep False 1 1 Thunk) = THUNK_1_1
+getSMRepClosureTypeInt (GenericRep False 0 2 Thunk) = THUNK_0_2
+getSMRepClosureTypeInt (GenericRep False _ _ Thunk) = THUNK
+
+getSMRepClosureTypeInt (GenericRep False _ _ ThunkSelector) = THUNK_SELECTOR
+
+getSMRepClosureTypeInt (GenericRep True _ _ Constr) = CONSTR_STATIC
+getSMRepClosureTypeInt (GenericRep True _ _ ConstrNoCaf) = CONSTR_NOCAF_STATIC
+getSMRepClosureTypeInt (GenericRep True _ _ Fun) = FUN_STATIC
+getSMRepClosureTypeInt (GenericRep True _ _ Thunk) = THUNK_STATIC
+
+getSMRepClosureTypeInt BlackHoleRep = BLACKHOLE
+
+getSMRepClosureTypeInt rep = panic "getSMRepClosureTypeInt"
+
+
+-- We export these ones
+rET_SMALL = (RET_SMALL :: Int)
+rET_VEC_SMALL = (RET_VEC_SMALL :: Int)
+rET_BIG = (RET_BIG :: Int)
+rET_VEC_BIG = (RET_VEC_BIG :: Int)
+\end{code}
-#include "../includes/ClosureTypes.h"
+A type representing an StgWord on the target platform.
-cONSTR = (CONSTR :: Int)
-cONSTR_1_0 = (CONSTR_1_0 :: Int)
-cONSTR_0_1 = (CONSTR_0_1 :: Int)
-cONSTR_2_0 = (CONSTR_2_0 :: Int)
-cONSTR_1_1 = (CONSTR_1_1 :: Int)
-cONSTR_0_2 = (CONSTR_0_2 :: Int)
-cONSTR_STATIC = (CONSTR_STATIC :: Int)
-cONSTR_NOCAF_STATIC = (CONSTR_NOCAF_STATIC :: Int)
-fUN = (FUN :: Int)
-fUN_1_0 = (FUN_1_0 :: Int)
-fUN_0_1 = (FUN_0_1 :: Int)
-fUN_2_0 = (FUN_2_0 :: Int)
-fUN_1_1 = (FUN_1_1 :: Int)
-fUN_0_2 = (FUN_0_2 :: Int)
-fUN_STATIC = (FUN_STATIC :: Int)
-tHUNK = (THUNK :: Int)
-tHUNK_1_0 = (THUNK_1_0 :: Int)
-tHUNK_0_1 = (THUNK_0_1 :: Int)
-tHUNK_2_0 = (THUNK_2_0 :: Int)
-tHUNK_1_1 = (THUNK_1_1 :: Int)
-tHUNK_0_2 = (THUNK_0_2 :: Int)
-tHUNK_STATIC = (THUNK_STATIC :: Int)
-tHUNK_SELECTOR = (THUNK_SELECTOR :: Int)
-rET_SMALL = (RET_SMALL :: Int)
-rET_VEC_SMALL = (RET_VEC_SMALL :: Int)
-rET_BIG = (RET_BIG :: Int)
-rET_VEC_BIG = (RET_VEC_BIG :: Int)
-bLACKHOLE = (BLACKHOLE :: Int)
-
-#endif OMIT_NATIVE_CODEGEN
+\begin{code}
+#if SIZEOF_HSWORD == 4
+type StgWord = Word32
+type StgHalfWord = Word16
+hALF_WORD = 16 :: Int
+#elif SIZEOF_HSWORD == 8
+type StgWord = Word64
+type StgHalfWord = Word32
+hALF_WORD = 32 :: Int
+#else
+#error unknown SIZEOF_HSWORD
+#endif
\end{code}
projects / ghc-hetmet.git / blobdiff