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)
128 tARGET_MIN_INT, tARGET_MAX_INT :: Integer
129 tARGET_MIN_INT = -536870912
130 tARGET_MAX_INT = 536870912
133 Constants for semi-tagging; the tags associated with the data
134 constructors will start at 0 and go up.
137 oTHER_TAG = (INFO_OTHER_TAG :: Integer) -- (-1) unevaluated, probably
141 mIN_INTLIKE, mAX_INTLIKE :: Integer -- Only used to compare with (MachInt Integer)
142 mIN_INTLIKE = MIN_INTLIKE
143 mAX_INTLIKE = MAX_INTLIKE
146 A little function that abstracts the stack direction. Note that most
147 of the code generator is dependent on the stack direction anyway, so
148 changing this on its own spells certain doom. ToDo: remove?
151 -- THIS IS DIRECTION SENSITIVE!
153 -- stack grows down, positive virtual offsets correspond to negative
154 -- additions to the stack pointer.
156 spRelToInt :: Int{-VirtualSpOffset-} -> Int{-VirtualSpOffset-} -> Int
157 spRelToInt sp off = sp - off
160 A section of code-generator-related MAGIC CONSTANTS.
163 mAX_FAMILY_SIZE_FOR_VEC_RETURNS = (MAX_VECTORED_RTN::Int) -- pretty arbitrary
164 -- If you change this, you may need to change runtimes/standard/Update.lhc
166 -- The update frame sizes
167 uF_SIZE = (NOSCC_UF_SIZE::Int)
169 -- Same again, with profiling
170 sCC_UF_SIZE = (SCC_UF_SIZE::Int)
172 -- Offsets in an update frame. They don't change with profiling!
173 uF_RET = (UF_RET::Int)
175 uF_UPDATEE = (UF_UPDATEE::Int)
176 uF_CCS = (UF_CCS::Int)
180 sEQ_FRAME_SIZE = (SEQ_FRAME_SIZE::Int)
184 mAX_Vanilla_REG = (MAX_VANILLA_REG :: Int)
185 mAX_Float_REG = (MAX_FLOAT_REG :: Int)
186 mAX_Double_REG = (MAX_DOUBLE_REG :: Int)
187 mAX_Long_REG = (MAX_LONG_REG :: Int)
189 mAX_Real_Vanilla_REG = (MAX_REAL_VANILLA_REG :: Int)
190 mAX_Real_Float_REG = (MAX_REAL_FLOAT_REG :: Int)
191 mAX_Real_Double_REG = (MAX_REAL_DOUBLE_REG :: Int)
192 #ifdef MAX_REAL_LONG_REG
193 mAX_Real_Long_REG = (MAX_REAL_LONG_REG :: Int)
195 mAX_Real_Long_REG = (0::Int)
199 Closure header sizes.
202 sTD_HDR_SIZE = (STD_HDR_SIZE :: Int)
203 pROF_HDR_SIZE = (PROF_HDR_SIZE :: Int)
204 gRAN_HDR_SIZE = (GRAN_HDR_SIZE :: Int)
205 tICKY_HDR_SIZE = (TICKY_HDR_SIZE :: Int)
206 aRR_HDR_SIZE = (ARR_HDR_SIZE :: Int)
212 sTD_ITBL_SIZE = (STD_ITBL_SIZE :: Int)
213 pROF_ITBL_SIZE = (PROF_ITBL_SIZE :: Int)
214 gRAN_ITBL_SIZE = (GRAN_ITBL_SIZE :: Int)
215 tICKY_ITBL_SIZE = (TICKY_ITBL_SIZE :: Int)
218 Size of a double in StgWords.
221 dOUBLE_SIZE = (DOUBLE_SIZE :: Int)
222 wORD64_SIZE = (WORD64_SIZE :: Int)
223 iNT64_SIZE = (INT64_SIZE :: Int)
226 The version of the interface file format we're
230 interfaceFileFormatVersion = HscIfaceFileVersion