X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FInfoTables.h;h=a605ba2c177ccdfd0f16e1f6476f3b45c6980ddd;hb=4b17256112ecbee54dd4437f29c711bbfae239c7;hp=2c300cf2a3155889927f2603516d06e0a776f117;hpb=6a02dd25682e76484d2505ec7139948e6a32b9ee;p=ghc-hetmet.git diff --git a/ghc/includes/InfoTables.h b/ghc/includes/InfoTables.h index 2c300cf..a605ba2 100644 --- a/ghc/includes/InfoTables.h +++ b/ghc/includes/InfoTables.h @@ -1,5 +1,5 @@ /* ---------------------------------------------------------------------------- - * $Id: InfoTables.h,v 1.31 2003/11/14 09:27:00 stolz Exp $ + * $Id: InfoTables.h,v 1.33 2004/08/13 13:09:17 simonmar Exp $ * * (c) The GHC Team, 1998-2002 * @@ -169,21 +169,23 @@ extern StgWord16 closure_flags[]; (usually on the stack) to the garbage collector. The two primary uses are for stack frames, and functions (where we need to describe the layout of a PAP to the GC). + + In these bitmaps: 0 == ptr, 1 == non-ptr. -------------------------------------------------------------------------- */ -/* - Small bitmaps: for a small bitmap, we store the size and bitmap in - the same word, using the following macros. If the bitmap doesn't - fit in a single word, we use a pointer to an StgLargeBitmap below. -*/ +// +// Small bitmaps: for a small bitmap, we store the size and bitmap in +// the same word, using the following macros. If the bitmap doesn't +// fit in a single word, we use a pointer to an StgLargeBitmap below. +// #define MK_SMALL_BITMAP(size,bits) (((bits)<> BITMAP_BITS_SHIFT) -/* - A large bitmap. -*/ +// +// A large bitmap. +// typedef struct { StgWord size; StgWord bitmap[FLEXIBLE_ARRAY]; @@ -198,15 +200,15 @@ typedef struct { garbage-collect CAFs. -------------------------------------------------------------------------- */ -/* An SRT is just an array of closure pointers: */ +// An SRT is just an array of closure pointers: typedef StgClosure* StgSRT[]; -/* Each info table refers to some subset of the closure pointers in an - SRT. It does this using a pair of an StgSRT pointer and a - half-word bitmap. If the half-word bitmap isn't large enough, then - we fall back to a large SRT, including an unbounded bitmap. If the - half-word bitmap is set to all ones (0xffff), then the StgSRT - pointer instead points to an StgLargeSRT: */ +// Each info table refers to some subset of the closure pointers in an +// SRT. It does this using a pair of an StgSRT pointer and a +// half-word bitmap. If the half-word bitmap isn't large enough, then +// we fall back to a large SRT, including an unbounded bitmap. If the +// half-word bitmap is set to all ones (0xffff), then the StgSRT +// pointer instead points to an StgLargeSRT: typedef struct StgLargeSRT_ { StgSRT *srt; StgLargeBitmap l; @@ -216,30 +218,30 @@ typedef struct StgLargeSRT_ { Info Tables ------------------------------------------------------------------------- */ -/* - Stuff describing the closure layout. Well, actually, it might - contain the selector index for a THUNK_SELECTOR. This union is one - word long. -*/ +// +// Stuff describing the closure layout. Well, actually, it might +// contain the selector index for a THUNK_SELECTOR. This union is one +// word long. +// typedef union { - struct { /* Heap closure payload layout: */ - StgHalfWord ptrs; /* number of pointers */ - StgHalfWord nptrs; /* number of non-pointers */ + struct { // Heap closure payload layout: + StgHalfWord ptrs; // number of pointers + StgHalfWord nptrs; // number of non-pointers } payload; - StgWord bitmap; /* word-sized bit pattern describing */ - /* a stack frame: see below */ + StgWord bitmap; // word-sized bit pattern describing + // a stack frame: see below - StgLargeBitmap* large_bitmap; /* pointer to large bitmap structure */ + StgLargeBitmap* large_bitmap; // pointer to large bitmap structure - StgWord selector_offset; /* used in THUNK_SELECTORs */ + StgWord selector_offset; // used in THUNK_SELECTORs } StgClosureInfo; -/* - The "standard" part of an info table. Every info table has this bit. -*/ +// +// The "standard" part of an info table. Every info table has this bit. +// typedef struct _StgInfoTable { #ifndef TABLES_NEXT_TO_CODE @@ -259,10 +261,10 @@ typedef struct _StgInfoTable { MAYBE_EMPTY_STRUCT(StgDebugInfo,debug) #endif - StgClosureInfo layout; /* closure layout info (one word) */ + StgClosureInfo layout; // closure layout info (one word) - StgHalfWord type; /* closure type */ - StgHalfWord srt_bitmap; /* number of entries in SRT (or constructor tag) */ + StgHalfWord type; // closure type + StgHalfWord srt_bitmap; // number of entries in SRT (or constructor tag) #ifdef TABLES_NEXT_TO_CODE StgCode code[FLEXIBLE_ARRAY]; @@ -285,21 +287,29 @@ typedef struct _StgInfoTable { bitmap fields have also been omitted. -------------------------------------------------------------------------- */ -typedef struct _StgFunInfoTable { +typedef struct _StgFunInfoExtraRev { + StgFun *slow_apply; // apply to args on the stack + StgWord bitmap; // arg ptr/nonptr bitmap + StgSRT *srt; // pointer to the SRT table + StgHalfWord fun_type; // function type + StgHalfWord arity; // function arity +} StgFunInfoExtraRev; + +typedef struct _StgFunInfoExtraFwd { + StgHalfWord fun_type; // function type + StgHalfWord arity; // function arity + StgSRT *srt; // pointer to the SRT table + StgWord bitmap; // arg ptr/nonptr bitmap + StgFun *slow_apply; // apply to args on the stack +} StgFunInfoExtraFwd; + +typedef struct { #if defined(TABLES_NEXT_TO_CODE) - StgFun *slow_apply; /* apply to args on the stack */ - StgWord bitmap; /* arg ptr/nonptr bitmap */ - StgSRT *srt; /* pointer to the SRT table */ - StgHalfWord fun_type; /* function type */ - StgHalfWord arity; /* function arity */ + StgFunInfoExtraRev f; StgInfoTable i; #else StgInfoTable i; - StgHalfWord fun_type; /* function type */ - StgHalfWord arity; /* function arity */ - StgSRT *srt; /* pointer to the SRT table */ - StgWord bitmap; /* arg ptr/nonptr bitmap */ - StgFun *slow_apply; /* apply to args on the stack */ + StgFunInfoExtraFwd f; #endif } StgFunInfoTable; @@ -307,18 +317,16 @@ typedef struct _StgFunInfoTable { Return info tables -------------------------------------------------------------------------- */ -/* When info tables are laid out backwards, we can omit the SRT - pointer iff srt_bitmap is zero. */ +// When info tables are laid out backwards, we can omit the SRT +// pointer iff srt_bitmap is zero. -typedef struct _StgRetInfoTable { -#if !defined(TABLES_NEXT_TO_CODE) - StgInfoTable i; -#endif - StgSRT *srt; /* pointer to the SRT table */ +typedef struct { #if defined(TABLES_NEXT_TO_CODE) + StgSRT *srt; // pointer to the SRT table StgInfoTable i; -#endif -#if !defined(TABLES_NEXT_TO_CODE) +#else + StgInfoTable i; + StgSRT *srt; // pointer to the SRT table StgFunPtr vector[FLEXIBLE_ARRAY]; #endif } StgRetInfoTable; @@ -327,14 +335,14 @@ typedef struct _StgRetInfoTable { Thunk info tables -------------------------------------------------------------------------- */ -/* When info tables are laid out backwards, we can omit the SRT - pointer iff srt_bitmap is zero. */ +// When info tables are laid out backwards, we can omit the SRT +// pointer iff srt_bitmap is zero. typedef struct _StgThunkInfoTable { #if !defined(TABLES_NEXT_TO_CODE) StgInfoTable i; #endif - StgSRT *srt; /* pointer to the SRT table */ + StgSRT *srt; // pointer to the SRT table #if defined(TABLES_NEXT_TO_CODE) StgInfoTable i; #endif