2 % (c) The GRASP/AQUA Project, Glasgow University, 1992-1994
4 \section[Constants]{Info about this compilation}
6 !!!!! THIS CODE MUST AGREE WITH SMinterface.h !!!!!!
8 *** This SHOULD BE the only module that is CPP'd with "stgdefs.h" stuff.
11 #include "HsVersions.h"
14 uNFOLDING_USE_THRESHOLD,
15 uNFOLDING_CREATION_THRESHOLD,
16 -- uNFOLDING_OVERRIDE_THRESHOLD,
17 iNTERFACE_UNFOLD_THRESHOLD,
18 lIBERATE_CASE_THRESHOLD,
19 uNFOLDING_CHEAP_OP_COST,
20 uNFOLDING_DEAR_OP_COST,
21 uNFOLDING_NOREP_LIT_COST,
22 uNFOLDING_CON_DISCOUNT_WEIGHT,
26 mAX_SPEC_MIXED_FIELDS,
27 mAX_SPEC_SELECTEE_SIZE,
29 tARGET_MIN_INT, tARGET_MAX_INT,
32 mIN_SIZE_NonUpdHeapObject,
33 mIN_SIZE_NonUpdStaticHeapObject,
35 mAX_FAMILY_SIZE_FOR_VEC_RETURNS,
37 sTD_UF_SIZE, cON_UF_SIZE,
38 sCC_STD_UF_SIZE, sCC_CON_UF_SIZE,
54 oTHER_TAG, iND_TAG, -- semi-tagging stuff
65 mAX_INTLIKE, mIN_INTLIKE,
72 -- This magical #include brings in all the everybody-knows-these magic
73 -- constants unfortunately, we need to be *explicit* about which one
74 -- we want; if we just hope a -I... will get the right one, we could
77 #include "../../includes/GhcConstants.h"
79 CHK_Ubiq() -- debugging consistency check
86 uNFOLDING_USE_THRESHOLD = ( 8 :: Int)
87 uNFOLDING_CREATION_THRESHOLD = (30 :: Int)
88 iNTERFACE_UNFOLD_THRESHOLD = (30 :: Int)
89 lIBERATE_CASE_THRESHOLD = (10 :: Int)
90 -- uNFOLDING_OVERRIDE_THRESHOLD = ( 8 :: Int)
92 uNFOLDING_CHEAP_OP_COST = ( 1 :: Int)
93 uNFOLDING_DEAR_OP_COST = ( 4 :: Int)
94 uNFOLDING_NOREP_LIT_COST = ( 20 :: Int) -- Strings can be pretty big
95 uNFOLDING_CON_DISCOUNT_WEIGHT = ( 1 :: Int)
99 mAX_SPEC_ALL_PTRS = (MAX_SPEC_ALL_PTRS :: Int)
100 mAX_SPEC_ALL_NONPTRS = (MAX_SPEC_ALL_NONPTRS :: Int)
101 mAX_SPEC_MIXED_FIELDS = (MAX_SPEC_OTHER_SIZE :: Int)
102 mAX_SPEC_SELECTEE_SIZE = (MAX_SPEC_SELECTEE_SIZE :: Int)
104 -- closure sizes: these do NOT include the header
105 mIN_UPD_SIZE = (MIN_UPD_SIZE::Int)
106 mIN_SIZE_NonUpdHeapObject = (MIN_NONUPD_SIZE::Int)
107 mIN_SIZE_NonUpdStaticHeapObject = (0::Int)
110 A completely random number:
112 mIN_BIG_TUPLE_SIZE = (16::Int)
115 Sizes of gmp objects:
117 mIN_MP_INT_SIZE = (MIN_MP_INT_SIZE :: Int)
118 mP_STRUCT_SIZE = (MP_STRUCT_SIZE :: Int)
122 tARGET_MIN_INT, tARGET_MAX_INT :: Integer
123 tARGET_MIN_INT = -536870912
124 tARGET_MAX_INT = 536870912
127 Constants for semi-tagging; the tags associated with the data
128 constructors will start at 0 and go up.
130 oTHER_TAG = (INFO_OTHER_TAG :: Integer) -- (-1) unevaluated, probably
131 iND_TAG = (INFO_IND_TAG :: Integer) -- (-2) NOT USED, REALLY
134 Stuff for liveness masks:
136 lIVENESS_R1 = (LIVENESS_R1 :: Int)
137 lIVENESS_R2 = (LIVENESS_R2 :: Int)
138 lIVENESS_R3 = (LIVENESS_R3 :: Int)
139 lIVENESS_R4 = (LIVENESS_R4 :: Int)
140 lIVENESS_R5 = (LIVENESS_R5 :: Int)
141 lIVENESS_R6 = (LIVENESS_R6 :: Int)
142 lIVENESS_R7 = (LIVENESS_R7 :: Int)
143 lIVENESS_R8 = (LIVENESS_R8 :: Int)
147 mIN_INTLIKE, mAX_INTLIKE :: Integer -- Only used to compare with (MachInt Integer)
148 mIN_INTLIKE = MIN_INTLIKE
149 mAX_INTLIKE = MAX_INTLIKE
153 -- THESE ARE DIRECTION SENSITIVE!
154 spARelToInt :: Int{-VirtualSpAOffset-} -> Int{-VirtualSpAOffset-} -> Int
155 spBRelToInt :: Int{-VirtualSpBOffset-} -> Int{-VirtualSpBOffset-} -> Int
157 spARelToInt spA off = spA - off -- equiv to: AREL(spA - off)
158 spBRelToInt spB off = off - spB -- equiv to: BREL(spB - off)
161 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 sTD_UF_SIZE = (NOSCC_STD_UF_SIZE::Int)
168 cON_UF_SIZE = (NOSCC_CON_UF_SIZE::Int)
170 -- Same again, with profiling
171 sCC_STD_UF_SIZE = (SCC_STD_UF_SIZE::Int)
172 sCC_CON_UF_SIZE = (SCC_CON_UF_SIZE::Int)
174 -- Offsets in an update frame. They don't change with profiling!
175 uF_RET = (UF_RET::Int)
176 uF_SUB = (UF_SUB::Int)
177 uF_SUA = (UF_SUA::Int)
178 uF_UPDATEE = (UF_UPDATEE::Int)
179 uF_COST_CENTRE = (UF_COST_CENTRE::Int)
183 mAX_Vanilla_REG = (MAX_VANILLA_REG :: Int)
184 mAX_Float_REG = (MAX_FLOAT_REG :: Int)
185 mAX_Double_REG = (MAX_DOUBLE_REG :: Int)