ghc/compiler/codeGen/SMRep.lhs

   1 %
   2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
   3 %
   4 \section[SMRep]{Storage manager representations of closure}
   5
   6 This is here, rather than in ClosureInfo, just to keep nhc happy.
   7 Other modules should access this info through ClosureInfo.
   8
   9 \begin{code}
  10 module SMRep (
  11         SMRep(..), ClosureType(..),
  12         isStaticRep,
  13         fixedHdrSize, arrWordsHdrSize, arrPtrsHdrSize,
  14         fixedItblSize, pprSMRep
  15
  16 #ifndef OMIT_NATIVE_CODEGEN
  17         , getSMRepClosureTypeInt
  18         , cONSTR
  19         , cONSTR_1_0
  20         , cONSTR_0_1
  21         , cONSTR_2_0
  22         , cONSTR_1_1
  23         , cONSTR_0_2
  24         , cONSTR_STATIC
  25         , cONSTR_NOCAF_STATIC
  26         , fUN
  27         , fUN_1_0
  28         , fUN_0_1
  29         , fUN_2_0
  30         , fUN_1_1
  31         , fUN_0_2
  32         , fUN_STATIC
  33         , tHUNK
  34         , tHUNK_1_0
  35         , tHUNK_0_1
  36         , tHUNK_2_0
  37         , tHUNK_1_1
  38         , tHUNK_0_2
  39         , tHUNK_STATIC
  40         , tHUNK_SELECTOR
  41         , rET_SMALL
  42         , rET_VEC_SMALL
  43         , rET_BIG
  44         , rET_VEC_BIG
  45         , bLACKHOLE
  46 #endif
  47     ) where
  48
  49 #include "HsVersions.h"
  50
  51 import CmdLineOpts
  52 import AbsCSyn          ( Liveness(..) )
  53 import Constants        ( sTD_HDR_SIZE, pROF_HDR_SIZE,
  54                           gRAN_HDR_SIZE, tICKY_HDR_SIZE,
  55                           aRR_WORDS_HDR_SIZE, aRR_PTRS_HDR_SIZE,
  56                           sTD_ITBL_SIZE, pROF_ITBL_SIZE,
  57                           gRAN_ITBL_SIZE, tICKY_ITBL_SIZE )
  58 import Outputable
  59 import GlaExts          ( Int(..), Int#, (<#), (==#), (<#), (>#) )
  60 \end{code}
  61
  62 %************************************************************************
  63 %*                                                                      *
  64 \subsubsection[SMRep-datatype]{@SMRep@---storage manager representation}
  65 %*                                                                      *
  66 %************************************************************************
  67
  68 \begin{code}
  69 data SMRep
  70      -- static closure have an extra static link field at the end.
  71   = GenericRep          -- GC routines consult sizes in info tbl
  72         Bool            -- True <=> This is a static closure.  Affects how
  73                         --          we garbage-collect it
  74         Int             -- # ptr words
  75         Int             -- # non-ptr words
  76         ClosureType     -- closure type
  77
  78   | BlackHoleRep
  79
  80 data ClosureType        -- Corresponds 1-1 with the varieties of closures
  81                         -- implemented by the RTS.  Compare with ghc/includes/ClosureTypes.h
  82     = CONSTR
  83     | CONSTR_p_n        -- The p_n variants have more efficient GC, but we
  84                         -- only provide them for dynamically-allocated closures
  85                         -- (We could do them for static ones, but we don't)
  86     | CONSTR_NOCAF
  87     | FUN
  88     | FUN_p_n
  89     | THUNK
  90     | THUNK_p_n
  91     | THUNK_SELECTOR
  92   deriving (Eq,Ord)
  93 \end{code}
  94
  95 Size of a closure header.
  96
  97 \begin{code}
  98 fixedHdrSize :: Int{-words-}
  99 fixedHdrSize = sTD_HDR_SIZE + profHdrSize + granHdrSize + tickyHdrSize
 100
 101 profHdrSize  :: Int{-words-}
 102 profHdrSize  | opt_SccProfilingOn   = pROF_HDR_SIZE
 103              | otherwise            = 0
 104
 105 granHdrSize  :: Int{-words-}
 106 granHdrSize  | opt_GranMacros       = gRAN_HDR_SIZE
 107              | otherwise            = 0
 108
 109 tickyHdrSize :: Int{-words-}
 110 tickyHdrSize | opt_DoTickyProfiling = tICKY_HDR_SIZE
 111              | otherwise            = 0
 112
 113 arrWordsHdrSize   :: Int{-words-}
 114 arrWordsHdrSize   = fixedHdrSize + aRR_WORDS_HDR_SIZE
 115
 116 arrPtrsHdrSize   :: Int{-words-}
 117 arrPtrsHdrSize   = fixedHdrSize + aRR_PTRS_HDR_SIZE
 118 \end{code}
 119
 120 Size of an info table.
 121
 122 \begin{code}
 123 fixedItblSize :: Int{-words-}
 124 fixedItblSize = sTD_ITBL_SIZE + profItblSize + granItblSize + tickyItblSize
 125
 126 profItblSize  :: Int{-words-}
 127 profItblSize  | opt_SccProfilingOn   = pROF_ITBL_SIZE
 128               | otherwise           = 0
 129
 130 granItblSize  :: Int{-words-}
 131 granItblSize  | opt_GranMacros      = gRAN_ITBL_SIZE
 132               | otherwise           = 0
 133
 134 tickyItblSize :: Int{-words-}
 135 tickyItblSize | opt_DoTickyProfiling = tICKY_ITBL_SIZE
 136               | otherwise           = 0
 137 \end{code}
 138
 139 \begin{code}
 140 isStaticRep :: SMRep -> Bool
 141 isStaticRep (GenericRep is_static _ _ _) = is_static
 142 isStaticRep BlackHoleRep                 = False
 143 \end{code}
 144
 145 \begin{code}
 146 instance Outputable SMRep where
 147     ppr rep = pprSMRep rep
 148
 149 pprSMRep :: SMRep -> SDoc
 150 pprSMRep (GenericRep True  ptrs nptrs clo_ty) = pprClosureType clo_ty ptrs nptrs <> ptext SLIT("_STATIC")
 151 pprSMRep (GenericRep False ptrs nptrs clo_ty) = pprClosureType clo_ty ptrs nptrs
 152
 153 pprClosureType CONSTR         p n = ptext SLIT("CONSTR")
 154 pprClosureType CONSTR_p_n     p n = ptext SLIT("CONSTR_") <> int p <> char '_' <> int n
 155 pprClosureType CONSTR_NOCAF   p n = ptext SLIT("CONSTR_NOCAF")
 156 pprClosureType FUN            p n = ptext SLIT("FUN")
 157 pprClosureType FUN_p_n        p n = ptext SLIT("FUN_") <> int p <> char '_' <> int n
 158 pprClosureType THUNK          p n = ptext SLIT("THUNK")
 159 pprClosureType THUNK_p_n      p n = ptext SLIT("THUNK_") <> int p <> char '_' <> int n
 160 pprClosureType THUNK_SELECTOR p n = ptext SLIT("THUNK_SELECTOR")
 161
 162 #ifndef OMIT_NATIVE_CODEGEN
 163 getSMRepClosureTypeInt :: SMRep -> Int
 164 getSMRepClosureTypeInt (GenericRep False _ _ CONSTR)     = cONSTR
 165 getSMRepClosureTypeInt (GenericRep False 1 0 CONSTR_p_n) = cONSTR_1_0
 166 getSMRepClosureTypeInt (GenericRep False 0 1 CONSTR_p_n) = cONSTR_0_1
 167 getSMRepClosureTypeInt (GenericRep False 2 0 CONSTR_p_n) = cONSTR_2_0
 168 getSMRepClosureTypeInt (GenericRep False 1 1 CONSTR_p_n) = cONSTR_1_1
 169 getSMRepClosureTypeInt (GenericRep False 0 2 CONSTR_p_n) = cONSTR_0_2
 170
 171 getSMRepClosureTypeInt (GenericRep False _ _ FUN)     = fUN
 172 getSMRepClosureTypeInt (GenericRep False 1 0 FUN_p_n) = fUN_1_0
 173 getSMRepClosureTypeInt (GenericRep False 0 1 FUN_p_n) = fUN_0_1
 174 getSMRepClosureTypeInt (GenericRep False 2 0 FUN_p_n) = fUN_2_0
 175 getSMRepClosureTypeInt (GenericRep False 1 1 FUN_p_n) = fUN_1_1
 176 getSMRepClosureTypeInt (GenericRep False 0 2 FUN_p_n) = fUN_0_2
 177
 178 getSMRepClosureTypeInt (GenericRep False _ _ THUNK)     = tHUNK
 179 getSMRepClosureTypeInt (GenericRep False 1 0 THUNK_p_n) = tHUNK_1_0
 180 getSMRepClosureTypeInt (GenericRep False 0 1 THUNK_p_n) = tHUNK_0_1
 181 getSMRepClosureTypeInt (GenericRep False 2 0 THUNK_p_n) = tHUNK_2_0
 182 getSMRepClosureTypeInt (GenericRep False 1 1 THUNK_p_n) = tHUNK_1_1
 183 getSMRepClosureTypeInt (GenericRep False 0 2 THUNK_p_n) = tHUNK_0_2
 184
 185 getSMRepClosureTypeInt (GenericRep False _ _ THUNK_SELECTOR) =  tHUNK_SELECTOR
 186
 187 getSMRepClosureTypeInt (GenericRep True _ _ CONSTR)       = cONSTR_STATIC
 188 getSMRepClosureTypeInt (GenericRep True _ _ CONSTR_NOCAF) = cONSTR_NOCAF_STATIC
 189 getSMRepClosureTypeInt (GenericRep True _ _ FUN)          = fUN_STATIC
 190 getSMRepClosureTypeInt (GenericRep True _ _ THUNK)        = tHUNK_STATIC
 191
 192 getSMRepClosureTypeInt BlackHoleRep = bLACKHOLE
 193
 194 getSMRepClosureTypeInt rep = pprPanic "getSMRepClosureTypeInt:" (pprSMRep rep)
 195
 196
 197 -- Just the ones we need:
 198
 199 #include "../includes/ClosureTypes.h"
 200
 201 cONSTR                  = (CONSTR               :: Int)
 202 cONSTR_1_0              = (CONSTR_1_0           :: Int)
 203 cONSTR_0_1              = (CONSTR_0_1           :: Int)
 204 cONSTR_2_0              = (CONSTR_2_0           :: Int)
 205 cONSTR_1_1              = (CONSTR_1_1           :: Int)
 206 cONSTR_0_2              = (CONSTR_0_2           :: Int)
 207 cONSTR_STATIC           = (CONSTR_STATIC        :: Int)
 208 cONSTR_NOCAF_STATIC     = (CONSTR_NOCAF_STATIC  :: Int)
 209 fUN                     = (FUN                  :: Int)
 210 fUN_1_0                 = (FUN_1_0              :: Int)
 211 fUN_0_1                 = (FUN_0_1              :: Int)
 212 fUN_2_0                 = (FUN_2_0              :: Int)
 213 fUN_1_1                 = (FUN_1_1              :: Int)
 214 fUN_0_2                 = (FUN_0_2              :: Int)
 215 fUN_STATIC              = (FUN_STATIC           :: Int)
 216 tHUNK                   = (THUNK                :: Int)
 217 tHUNK_1_0               = (THUNK_1_0            :: Int)
 218 tHUNK_0_1               = (THUNK_0_1            :: Int)
 219 tHUNK_2_0               = (THUNK_2_0            :: Int)
 220 tHUNK_1_1               = (THUNK_1_1            :: Int)
 221 tHUNK_0_2               = (THUNK_0_2            :: Int)
 222 tHUNK_STATIC            = (THUNK_STATIC         :: Int)
 223 tHUNK_SELECTOR          = (THUNK_SELECTOR       :: Int)
 224 rET_SMALL               = (RET_SMALL            :: Int)
 225 rET_VEC_SMALL           = (RET_VEC_SMALL        :: Int)
 226 rET_BIG                 = (RET_BIG              :: Int)
 227 rET_VEC_BIG             = (RET_VEC_BIG          :: Int)
 228 bLACKHOLE               = (BLACKHOLE            :: Int)
 229
 230 #endif OMIT_NATIVE_CODEGEN
 231 \end{code}