X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fmain%2FConstants.lhs;h=43db93249a656f695901f4a534a32eab19606338;hb=28a464a75e14cece5db40f2765a29348273ff2d2;hp=641b9f769b04c79e232caf065fd5152d9048e107;hpb=703e1415ca2171c1a9a13a48a12d1649975e9161;p=ghc-hetmet.git diff --git a/ghc/compiler/main/Constants.lhs b/ghc/compiler/main/Constants.lhs index 641b9f7..43db932 100644 --- a/ghc/compiler/main/Constants.lhs +++ b/ghc/compiler/main/Constants.lhs @@ -4,71 +4,7 @@ \section[Constants]{Info about this compilation} \begin{code} -module Constants ( - mAX_CONTEXT_REDUCTION_DEPTH, - mAX_TUPLE_SIZE, - - mAX_SPEC_THUNK_SIZE, - mAX_SPEC_FUN_SIZE, - mAX_SPEC_CONSTR_SIZE, - mAX_SPEC_SELECTEE_SIZE, - mAX_SPEC_AP_SIZE, - - mIN_UPD_SIZE, - mIN_SIZE_NonUpdHeapObject, - - sTD_HDR_SIZE, - pROF_HDR_SIZE, - gRAN_HDR_SIZE, - tICKY_HDR_SIZE, - aRR_WORDS_HDR_SIZE, - aRR_PTRS_HDR_SIZE, - rESERVED_C_STACK_BYTES, - - sTD_ITBL_SIZE, - pROF_ITBL_SIZE, - gRAN_ITBL_SIZE, - tICKY_ITBL_SIZE, - - mAX_FAMILY_SIZE_FOR_VEC_RETURNS, - - uF_SIZE, - sCC_UF_SIZE, - gRAN_UF_SIZE, -- HWL - uF_RET, - uF_SU, - uF_UPDATEE, - uF_CCS, - - sEQ_FRAME_SIZE, - sCC_SEQ_FRAME_SIZE, - gRAN_SEQ_FRAME_SIZE, -- HWL - - mAX_Vanilla_REG, - mAX_Float_REG, - mAX_Double_REG, - mAX_Long_REG, - - mAX_Real_Vanilla_REG, - mAX_Real_Float_REG, - mAX_Real_Double_REG, - mAX_Real_Long_REG, - - oTHER_TAG, - - mAX_INTLIKE, mIN_INTLIKE, - - spRelToInt, - - dOUBLE_SIZE, - iNT64_SIZE, - wORD64_SIZE, - - bLOCK_SIZE, - - interfaceFileFormatVersion - - ) where +module Constants (module Constants) where -- This magical #include brings in all the everybody-knows-these magic -- constants unfortunately, we need to be *explicit* about which one @@ -76,9 +12,10 @@ module Constants ( -- be in trouble. #include "HsVersions.h" -#include "../includes/config.h" #include "../includes/MachRegs.h" #include "../includes/Constants.h" +#include "../includes/MachDeps.h" +#include "../includes/DerivedConstants.h" -- import Util \end{code} @@ -86,7 +23,8 @@ module Constants ( All pretty arbitrary: \begin{code} -mAX_TUPLE_SIZE = (37 :: Int) +mAX_TUPLE_SIZE = (62 :: Int) -- Should really match the number + -- of decls in Data.Tuple mAX_CONTEXT_REDUCTION_DEPTH = (20 :: Int) \end{code} @@ -102,35 +40,17 @@ mAX_SPEC_SELECTEE_SIZE = (MAX_SPEC_SELECTEE_SIZE :: Int) mAX_SPEC_AP_SIZE = (MAX_SPEC_AP_SIZE :: Int) -- closure sizes: these do NOT include the header (see below for header sizes) -mIN_UPD_SIZE = (MIN_UPD_SIZE::Int) -mIN_SIZE_NonUpdHeapObject = (MIN_NONUPD_SIZE::Int) +mIN_PAYLOAD_SIZE = (MIN_PAYLOAD_SIZE::Int) \end{code} -Constants for semi-tagging; the tags associated with the data -constructors will start at 0 and go up. - \begin{code} -oTHER_TAG = (INFO_OTHER_TAG :: Integer) -- (-1) unevaluated, probably -\end{code} - -\begin{code} -mIN_INTLIKE, mAX_INTLIKE :: Integer -- Only used to compare with (MachInt Integer) +mIN_INTLIKE, mAX_INTLIKE :: Int mIN_INTLIKE = MIN_INTLIKE mAX_INTLIKE = MAX_INTLIKE -\end{code} - -A little function that abstracts the stack direction. Note that most -of the code generator is dependent on the stack direction anyway, so -changing this on its own spells certain doom. ToDo: remove? -\begin{code} --- THIS IS DIRECTION SENSITIVE! - --- stack grows down, positive virtual offsets correspond to negative --- additions to the stack pointer. - -spRelToInt :: Int{-VirtualSpOffset-} -> Int{-VirtualSpOffset-} -> Int -spRelToInt sp off = sp - off +mIN_CHARLIKE, mAX_CHARLIKE :: Int +mIN_CHARLIKE = MIN_CHARLIKE +mAX_CHARLIKE = MAX_CHARLIKE \end{code} A section of code-generator-related MAGIC CONSTANTS. @@ -138,29 +58,6 @@ A section of code-generator-related MAGIC CONSTANTS. \begin{code} mAX_FAMILY_SIZE_FOR_VEC_RETURNS = (MAX_VECTORED_RTN::Int) -- pretty arbitrary -- If you change this, you may need to change runtimes/standard/Update.lhc - --- The update frame sizes -uF_SIZE = (NOSCC_UF_SIZE::Int) - --- Same again, with profiling -sCC_UF_SIZE = (SCC_UF_SIZE::Int) - --- Same again, with gransim -gRAN_UF_SIZE = (GRAN_UF_SIZE::Int) - --- Offsets in an update frame. They don't change with profiling! -uF_RET = (UF_RET::Int) -uF_SU = (UF_SU::Int) -uF_UPDATEE = (UF_UPDATEE::Int) -uF_CCS = (UF_CCS::Int) -\end{code} - -Seq frame sizes. - -\begin{code} -sEQ_FRAME_SIZE = (NOSCC_SEQ_FRAME_SIZE::Int) -sCC_SEQ_FRAME_SIZE = (SCC_SEQ_FRAME_SIZE::Int) -gRAN_SEQ_FRAME_SIZE = (GRAN_SEQ_FRAME_SIZE::Int) \end{code} \begin{code} @@ -185,15 +82,13 @@ Closure header sizes. sTD_HDR_SIZE = (STD_HDR_SIZE :: Int) pROF_HDR_SIZE = (PROF_HDR_SIZE :: Int) gRAN_HDR_SIZE = (GRAN_HDR_SIZE :: Int) -tICKY_HDR_SIZE = (TICKY_HDR_SIZE :: Int) -aRR_WORDS_HDR_SIZE = (ARR_WORDS_HDR_SIZE :: Int) -aRR_PTRS_HDR_SIZE = (ARR_PTRS_HDR_SIZE :: Int) \end{code} Info Table sizes. \begin{code} sTD_ITBL_SIZE = (STD_ITBL_SIZE :: Int) +rET_ITBL_SIZE = (RET_ITBL_SIZE :: Int) pROF_ITBL_SIZE = (PROF_ITBL_SIZE :: Int) gRAN_ITBL_SIZE = (GRAN_ITBL_SIZE :: Int) tICKY_ITBL_SIZE = (TICKY_ITBL_SIZE :: Int) @@ -202,28 +97,54 @@ tICKY_ITBL_SIZE = (TICKY_ITBL_SIZE :: Int) Size of a double in StgWords. \begin{code} -dOUBLE_SIZE = (DOUBLE_SIZE :: Int) -wORD64_SIZE = (WORD64_SIZE :: Int) -iNT64_SIZE = (INT64_SIZE :: Int) +dOUBLE_SIZE = SIZEOF_DOUBLE :: Int +wORD64_SIZE = 8 :: Int +iNT64_SIZE = wORD64_SIZE \end{code} -The version of the interface file format we're -using: +This tells the native code generator the size of the spill +area is has available. \begin{code} -interfaceFileFormatVersion :: Int -interfaceFileFormatVersion = HscIfaceFileVersion +rESERVED_C_STACK_BYTES = (RESERVED_C_STACK_BYTES :: Int) \end{code} -This tells the native code generator the size of the spill -area is has available. +The amount of (Haskell) stack to leave free for saving registers when +returning to the scheduler. \begin{code} -rESERVED_C_STACK_BYTES = (RESERVED_C_STACK_BYTES :: Int) +rESERVED_STACK_WORDS = (RESERVED_STACK_WORDS :: Int) +\end{code} + +Size of a word, in bytes + +\begin{code} +wORD_SIZE = (SIZEOF_HSWORD :: Int) +wORD_SIZE_IN_BITS = wORD_SIZE * 8 :: Int +\end{code} + +Size of a C int, in bytes. May be smaller than wORD_SIZE. + +\begin{code} +cINT_SIZE = (SIZEOF_INT :: Int) \end{code} Size of a storage manager block (in bytes). \begin{code} bLOCK_SIZE = (BLOCK_SIZE :: Int) +bLOCK_SIZE_W = (bLOCK_SIZE `quot` wORD_SIZE :: Int) +\end{code} + +Number of bits to shift a bitfield left by in an info table. + +\begin{code} +bITMAP_BITS_SHIFT = (BITMAP_BITS_SHIFT :: Int) +\end{code} + +Constants derived from headers in ghc/includes, generated by the program +../includes/mkDerivedConstants.c. + +\begin{code} +#include "../includes/GHCConstants.h" \end{code}