X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FStg.h;h=4597a5a55e04e8989d3164b144d915e6dde03669;hb=533633e478b67f13e1cfca21a19eef41c672c3f2;hp=9b2ab0d5c0ec9563870180d8ca066aa924f24d29;hpb=f86b9ce4f5830feb70d48e626fe60a75616ba941;p=ghc-hetmet.git diff --git a/ghc/includes/Stg.h b/ghc/includes/Stg.h index 9b2ab0d..4597a5a 100644 --- a/ghc/includes/Stg.h +++ b/ghc/includes/Stg.h @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id: Stg.h,v 1.17 1999/07/06 09:42:39 sof Exp $ + * $Id: Stg.h,v 1.44 2001/12/06 10:00:01 sewardj Exp $ * * (c) The GHC Team, 1998-1999 * @@ -12,19 +12,42 @@ #ifndef STG_H #define STG_H -#ifndef NON_POSIX_SOURCE -#define _POSIX_SOURCE + +/* If we include "Stg.h" directly, we're in STG code, and we therefore + * get all the global register variables, macros etc. that go along + * with that. If "Stg.h" is included via "Rts.h", we're assumed to + * be in vanilla C. + */ +#ifndef IN_STG_CODE +# define IN_STG_CODE 1 +#endif + +#if IN_STG_CODE == 0 +# ifndef NO_REGS +# define NO_REGS /* don't define fixed registers */ +# endif #endif /* Configuration */ #include "config.h" -#ifdef __HUGS__ /* vile hack till the GHC folks come on board */ -#include "options.h" + +#if __GNUC__ >= 3 +/* Assume that a flexible array member at the end of a struct + * can be defined thus: T arr[]; */ +#define FLEXIBLE_ARRAY +#else +/* Assume that it must be defined thus: T arr[0]; */ +#define FLEXIBLE_ARRAY 0 #endif /* Some macros to handle DLLing (Win32 only at the moment). */ #include "StgDLL.h" +/* Fix for mingw stat problem (done here so it's early enough) */ +#ifdef mingw32_TARGET_OS +#define __MSVCRT__ 1 +#endif + /* Turn lazy blackholing and eager blackholing on/off. * * Using eager blackholing makes things easier to debug because @@ -33,19 +56,21 @@ * For now, do lazy and not eager. */ -#define LAZY_BLACKHOLING -/* #define EAGER_BLACKHOLING */ - -#ifdef TICKY_TICKY -/* TICKY_TICKY needs EAGER_BLACKHOLING to verify no double-entries of single-entry thunks. */ -# undef LAZY_BLACKHOLING -# define EAGER_BLACKHOLING +/* TICKY_TICKY needs EAGER_BLACKHOLING to verify no double-entries of + * single-entry thunks. + * + * SMP needs EAGER_BLACKHOLING because it has to lock thunks + * synchronously, in case another thread is trying to evaluate the + * same thunk simultaneously. + */ +#if defined(SMP) || defined(TICKY_TICKY) +# define EAGER_BLACKHOLING +#else +# define LAZY_BLACKHOLING #endif -/* ToDo: Set this flag properly: COMPILER and INTERPRETER should not be mutually exclusive. */ -#ifndef INTERPRETER +/* ToDo: remove */ #define COMPILER 1 -#endif /* TABLES_NEXT_TO_CODE says whether to assume that info tables are * assumed to reside just before the code for a function. @@ -78,18 +103,62 @@ void _stgAssert (char *, unsigned int); _stgAssert(__FILE__, __LINE__) #endif /* DEBUG */ +/* + * Use this on the RHS of macros which expand to nothing + * to make sure that the macro can be used in a context which + * demands a non-empty statement. + */ + +#define doNothing() do { } while (0) + /* ----------------------------------------------------------------------------- - Include everything STG-ish + Global type definitions -------------------------------------------------------------------------- */ -/* Global type definitions*/ #include "StgTypes.h" +#include "RtsTypes.h" + +/* ----------------------------------------------------------------------------- + Shorthand forms + -------------------------------------------------------------------------- */ + +typedef StgChar C_; +typedef StgWord W_; +typedef StgWord* P_; +typedef P_* PP_; +typedef StgInt I_; +typedef StgAddr A_; +typedef const StgWord* D_; +typedef StgFunPtr F_; +typedef StgByteArray B_; +typedef StgClosurePtr L_; + +typedef StgInt64 LI_; +typedef StgWord64 LW_; + +/* + * We often want to know the size of something in units of an + * StgWord... (rounded up, of course!) + */ + +#define sizeofW(t) ((sizeof(t)+sizeof(W_)-1)/sizeof(W_)) + +/* + * It's nice to be able to grep for casts + */ + +#define stgCast(ty,e) ((ty)(e)) + +/* ----------------------------------------------------------------------------- + Include everything STG-ish + -------------------------------------------------------------------------- */ /* Global constaints */ #include "Constants.h" /* Profiling information */ -#include "Profiling.h" +#include "StgProf.h" +#include "StgLdvProf.h" /* Storage format definitions */ #include "Closures.h" @@ -97,10 +166,18 @@ void _stgAssert (char *, unsigned int); #include "InfoTables.h" #include "TSO.h" +/* Simulated-parallel information */ +#include "GranSim.h" + +/* Parallel information */ +#include "Parallel.h" + /* STG/Optimised-C related stuff */ +#include "SMP.h" #include "MachRegs.h" #include "Regs.h" #include "TailCalls.h" +#include "Block.h" /* RTS public interface */ #include "RtsAPI.h" @@ -121,12 +198,13 @@ void _stgAssert (char *, unsigned int); #include #endif +#ifdef SMP +#include +#endif + /* GNU mp library */ #include "gmp.h" -/* Wired-in Prelude identifiers */ -#include "Prelude.h" - /* Storage Manager */ #include "StgStorage.h" @@ -134,7 +212,6 @@ void _stgAssert (char *, unsigned int); #include "ClosureMacros.h" #include "InfoMacros.h" #include "StgMacros.h" -#include "StgProf.h" #include "PrimOps.h" #include "Updates.h" #include "StgTicky.h" @@ -147,16 +224,13 @@ void _stgAssert (char *, unsigned int); /* Runtime-system hooks */ #include "Hooks.h" +#include "HsFFI.h" + /* Misc stuff without a home */ -#if defined(ENABLE_WIN32_DLL_SUPPOT) && !defined(COMPILING_RTS) -extern DLLIMPORT char **prog_argv; /* so we can get at these from Haskell */ -extern DLLIMPORT int prog_argc; -#else -extern char **prog_argv; /* so we can get at these from Haskell */ -extern int prog_argc; -#endif +DLL_IMPORT_RTS extern char **prog_argv; /* so we can get at these from Haskell */ +DLL_IMPORT_RTS extern int prog_argc; -extern char **environ; +extern void stackOverflow(void); /* Creating and destroying an adjustor thunk. I cannot make myself create a separate .h file