X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Fmain%2FConstants.lhs;h=5c35e58e6ab8981bc12010249751a22f7537b656;hb=2d532e45924dfdb5b5157caf4d3fc3541497d86c;hp=f67e00707cb1301425c9e515ce62a77449a7bc15;hpb=111cee3f1ad93816cb828e38b38521d85c3bcebb;p=ghc-hetmet.git diff --git a/ghc/compiler/main/Constants.lhs b/ghc/compiler/main/Constants.lhs index f67e007..5c35e58 100644 --- a/ghc/compiler/main/Constants.lhs +++ b/ghc/compiler/main/Constants.lhs @@ -20,12 +20,13 @@ module Constants ( sTD_HDR_SIZE, pROF_HDR_SIZE, gRAN_HDR_SIZE, - tICKY_HDR_SIZE, aRR_WORDS_HDR_SIZE, aRR_PTRS_HDR_SIZE, rESERVED_C_STACK_BYTES, + rESERVED_STACK_WORDS, sTD_ITBL_SIZE, + rET_ITBL_SIZE, pROF_ITBL_SIZE, gRAN_ITBL_SIZE, tICKY_ITBL_SIZE, @@ -33,16 +34,10 @@ module Constants ( mAX_FAMILY_SIZE_FOR_VEC_RETURNS, uF_SIZE, - sCC_UF_SIZE, + pROF_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, @@ -57,6 +52,7 @@ module Constants ( oTHER_TAG, mAX_INTLIKE, mIN_INTLIKE, + mAX_CHARLIKE, mIN_CHARLIKE, spRelToInt, @@ -64,8 +60,13 @@ module Constants ( iNT64_SIZE, wORD64_SIZE, - interfaceFileFormatVersion + wORD_SIZE, + wORD_SIZE_IN_BITS, + + bLOCK_SIZE, + bLOCK_SIZE_W, + bITMAP_BITS_SHIFT, ) where -- This magical #include brings in all the everybody-knows-these magic @@ -77,6 +78,8 @@ module Constants ( #include "../includes/config.h" #include "../includes/MachRegs.h" #include "../includes/Constants.h" +#include "../includes/MachDeps.h" +#include "../includes/DerivedConstants.h" -- import Util \end{code} @@ -84,7 +87,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} @@ -115,6 +119,10 @@ oTHER_TAG = (INFO_OTHER_TAG :: Integer) -- (-1) unevaluated, probably mIN_INTLIKE, mAX_INTLIKE :: Integer -- Only used to compare with (MachInt Integer) mIN_INTLIKE = MIN_INTLIKE mAX_INTLIKE = MAX_INTLIKE + +mIN_CHARLIKE, mAX_CHARLIKE :: Int -- Only used to compare with (MachChar Int) +mIN_CHARLIKE = MIN_CHARLIKE +mAX_CHARLIKE = MAX_CHARLIKE \end{code} A little function that abstracts the stack direction. Note that most @@ -138,27 +146,17 @@ 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) +uF_SIZE = (STD_UF_SIZE::Int) -- Same again, with profiling -sCC_UF_SIZE = (SCC_UF_SIZE::Int) +pROF_UF_SIZE = (PROF_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} @@ -183,7 +181,6 @@ 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} @@ -192,6 +189,7 @@ 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) @@ -200,22 +198,41 @@ 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 `quot` SIZEOF_HSWORD :: Int) +wORD64_SIZE = (8 `quot` SIZEOF_HSWORD :: 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 storage manager block (in bytes). + +\begin{code} +bLOCK_SIZE = (BLOCK_SIZE :: Int) +bLOCK_SIZE_W = (bLOCK_SIZE `div` 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}