2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 \section[SMRep]{Storage manager representations of closure}
6 This is here, rather than in ClosureInfo, just to keep nhc happy.
7 Other modules should access this info through ClosureInfo.
11 SMRep(..), ClosureType(..),
13 fixedHdrSize, arrWordsHdrSize, arrPtrsHdrSize,
14 fixedItblSize, pprSMRep
16 #ifndef OMIT_NATIVE_CODEGEN
17 , getSMRepClosureTypeInt
49 #include "HsVersions.h"
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 )
59 import GlaExts ( Int(..), Int#, (<#), (==#), (<#), (>#) )
62 %************************************************************************
64 \subsubsection[SMRep-datatype]{@SMRep@---storage manager representation}
66 %************************************************************************
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
75 Int -- # non-ptr words
76 ClosureType -- closure type
80 data ClosureType -- Corresponds 1-1 with the varieties of closures
81 -- implemented by the RTS. Compare with ghc/includes/ClosureTypes.h
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)
95 Size of a closure header.
98 fixedHdrSize :: Int{-words-}
99 fixedHdrSize = sTD_HDR_SIZE + profHdrSize + granHdrSize + tickyHdrSize
101 profHdrSize :: Int{-words-}
102 profHdrSize | opt_SccProfilingOn = pROF_HDR_SIZE
105 granHdrSize :: Int{-words-}
106 granHdrSize | opt_GranMacros = gRAN_HDR_SIZE
109 tickyHdrSize :: Int{-words-}
110 tickyHdrSize | opt_DoTickyProfiling = tICKY_HDR_SIZE
113 arrWordsHdrSize :: Int{-words-}
114 arrWordsHdrSize = fixedHdrSize + aRR_WORDS_HDR_SIZE
116 arrPtrsHdrSize :: Int{-words-}
117 arrPtrsHdrSize = fixedHdrSize + aRR_PTRS_HDR_SIZE
120 Size of an info table.
123 fixedItblSize :: Int{-words-}
124 fixedItblSize = sTD_ITBL_SIZE + profItblSize + granItblSize + tickyItblSize
126 profItblSize :: Int{-words-}
127 profItblSize | opt_SccProfilingOn = pROF_ITBL_SIZE
130 granItblSize :: Int{-words-}
131 granItblSize | opt_GranMacros = gRAN_ITBL_SIZE
134 tickyItblSize :: Int{-words-}
135 tickyItblSize | opt_DoTickyProfiling = tICKY_ITBL_SIZE
140 isStaticRep :: SMRep -> Bool
141 isStaticRep (GenericRep is_static _ _ _) = is_static
142 isStaticRep BlackHoleRep = False
146 instance Outputable SMRep where
147 ppr rep = pprSMRep rep
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
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")
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
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
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
185 getSMRepClosureTypeInt (GenericRep False _ _ THUNK_SELECTOR) = tHUNK_SELECTOR
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
192 getSMRepClosureTypeInt BlackHoleRep = bLACKHOLE
194 getSMRepClosureTypeInt rep = pprPanic "getSMRepClosureTypeInt:" (pprSMRep rep)
197 -- Just the ones we need:
199 #include "../includes/ClosureTypes.h"
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)
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)
230 #endif OMIT_NATIVE_CODEGEN