2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1998
4 \section[Constants]{Info about this compilation}
8 uNFOLDING_USE_THRESHOLD,
9 uNFOLDING_CREATION_THRESHOLD,
10 iNTERFACE_UNFOLD_THRESHOLD,
11 lIBERATE_CASE_THRESHOLD,
12 uNFOLDING_CHEAP_OP_COST,
13 uNFOLDING_DEAR_OP_COST,
14 uNFOLDING_NOREP_LIT_COST,
15 uNFOLDING_CON_DISCOUNT_WEIGHT,
16 uNFOLDING_KEENESS_FACTOR,
18 mAX_CONTEXT_REDUCTION_DEPTH,
24 mAX_SPEC_SELECTEE_SIZE,
27 tARGET_MIN_INT, tARGET_MAX_INT,
30 mIN_SIZE_NonUpdHeapObject,
43 mAX_FAMILY_SIZE_FOR_VEC_RETURNS,
66 mAX_INTLIKE, mIN_INTLIKE,
74 interfaceFileFormatVersion
78 -- This magical #include brings in all the everybody-knows-these magic
79 -- constants unfortunately, we need to be *explicit* about which one
80 -- we want; if we just hope a -I... will get the right one, we could
83 #include "HsVersions.h"
84 #include "../includes/config.h"
85 #include "../includes/MachRegs.h"
86 #include "../includes/Constants.h"
94 mAX_TUPLE_SIZE = (37 :: Int)
95 mAX_CONTEXT_REDUCTION_DEPTH = (20 :: Int)
99 uNFOLDING_USE_THRESHOLD = ( 8 :: Int)
100 uNFOLDING_CREATION_THRESHOLD = (30 :: Int) -- Discounts can be big
101 iNTERFACE_UNFOLD_THRESHOLD = (30 :: Int)
102 lIBERATE_CASE_THRESHOLD = (10 :: Int)
104 uNFOLDING_CHEAP_OP_COST = ( 1 :: Int)
105 uNFOLDING_DEAR_OP_COST = ( 4 :: Int)
106 uNFOLDING_NOREP_LIT_COST = ( 20 :: Int) -- Strings can be pretty big
107 uNFOLDING_CON_DISCOUNT_WEIGHT = ( 3 :: Int)
108 uNFOLDING_KEENESS_FACTOR = ( 2.0 :: Float)
113 -- specialised fun/thunk/constr closure types
114 mAX_SPEC_THUNK_SIZE = (MAX_SPEC_THUNK_SIZE :: Int)
115 mAX_SPEC_FUN_SIZE = (MAX_SPEC_FUN_SIZE :: Int)
116 mAX_SPEC_CONSTR_SIZE = (MAX_SPEC_CONSTR_SIZE :: Int)
118 -- pre-compiled thunk types
119 mAX_SPEC_SELECTEE_SIZE = (MAX_SPEC_SELECTEE_SIZE :: Int)
120 mAX_SPEC_AP_SIZE = (MAX_SPEC_AP_SIZE :: Int)
122 -- closure sizes: these do NOT include the header (see below for header sizes)
123 mIN_UPD_SIZE = (MIN_UPD_SIZE::Int)
124 mIN_SIZE_NonUpdHeapObject = (MIN_NONUPD_SIZE::Int)
127 If we're compiling with GHC (and we're not cross-compiling), then we
128 know that minBound and maxBound :: Int are the right values for the
129 target architecture. Otherwise, we assume -2^31 and 2^31-1
130 respectively (which will be wrong on a 64-bit machine).
133 tARGET_MIN_INT, tARGET_MAX_INT :: Integer
134 #if __GLASGOW_HASKELL__
135 tARGET_MIN_INT = toInteger (minBound :: Int)
136 tARGET_MAX_INT = toInteger (maxBound :: Int)
138 tARGET_MIN_INT = -2147483648
139 tARGET_MAX_INT = 2147483647
143 Constants for semi-tagging; the tags associated with the data
144 constructors will start at 0 and go up.
147 oTHER_TAG = (INFO_OTHER_TAG :: Integer) -- (-1) unevaluated, probably
151 mIN_INTLIKE, mAX_INTLIKE :: Integer -- Only used to compare with (MachInt Integer)
152 mIN_INTLIKE = MIN_INTLIKE
153 mAX_INTLIKE = MAX_INTLIKE
156 A little function that abstracts the stack direction. Note that most
157 of the code generator is dependent on the stack direction anyway, so
158 changing this on its own spells certain doom. ToDo: remove?
161 -- THIS IS DIRECTION SENSITIVE!
163 -- stack grows down, positive virtual offsets correspond to negative
164 -- additions to the stack pointer.
166 spRelToInt :: Int{-VirtualSpOffset-} -> Int{-VirtualSpOffset-} -> Int
167 spRelToInt sp off = sp - off
170 A section of code-generator-related MAGIC CONSTANTS.
173 mAX_FAMILY_SIZE_FOR_VEC_RETURNS = (MAX_VECTORED_RTN::Int) -- pretty arbitrary
174 -- If you change this, you may need to change runtimes/standard/Update.lhc
176 -- The update frame sizes
177 uF_SIZE = (NOSCC_UF_SIZE::Int)
179 -- Same again, with profiling
180 sCC_UF_SIZE = (SCC_UF_SIZE::Int)
182 -- Offsets in an update frame. They don't change with profiling!
183 uF_RET = (UF_RET::Int)
185 uF_UPDATEE = (UF_UPDATEE::Int)
186 uF_CCS = (UF_CCS::Int)
190 sEQ_FRAME_SIZE = (SEQ_FRAME_SIZE::Int)
194 mAX_Vanilla_REG = (MAX_VANILLA_REG :: Int)
195 mAX_Float_REG = (MAX_FLOAT_REG :: Int)
196 mAX_Double_REG = (MAX_DOUBLE_REG :: Int)
197 mAX_Long_REG = (MAX_LONG_REG :: Int)
199 mAX_Real_Vanilla_REG = (MAX_REAL_VANILLA_REG :: Int)
200 mAX_Real_Float_REG = (MAX_REAL_FLOAT_REG :: Int)
201 mAX_Real_Double_REG = (MAX_REAL_DOUBLE_REG :: Int)
202 #ifdef MAX_REAL_LONG_REG
203 mAX_Real_Long_REG = (MAX_REAL_LONG_REG :: Int)
205 mAX_Real_Long_REG = (0::Int)
209 Closure header sizes.
212 sTD_HDR_SIZE = (STD_HDR_SIZE :: Int)
213 pROF_HDR_SIZE = (PROF_HDR_SIZE :: Int)
214 gRAN_HDR_SIZE = (GRAN_HDR_SIZE :: Int)
215 tICKY_HDR_SIZE = (TICKY_HDR_SIZE :: Int)
216 aRR_HDR_SIZE = (ARR_HDR_SIZE :: Int)
222 sTD_ITBL_SIZE = (STD_ITBL_SIZE :: Int)
223 pROF_ITBL_SIZE = (PROF_ITBL_SIZE :: Int)
224 gRAN_ITBL_SIZE = (GRAN_ITBL_SIZE :: Int)
225 tICKY_ITBL_SIZE = (TICKY_ITBL_SIZE :: Int)
228 Size of a double in StgWords.
231 dOUBLE_SIZE = (DOUBLE_SIZE :: Int)
232 wORD64_SIZE = (WORD64_SIZE :: Int)
233 iNT64_SIZE = (INT64_SIZE :: Int)
236 The version of the interface file format we're
240 interfaceFileFormatVersion :: Int
241 interfaceFileFormatVersion = HscIfaceFileVersion