X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FStg.h;h=4005542130059d3f6ff48ba49911e323b1f177aa;hb=f9be4bf7bed29ca0826bbd3943c02442d3ef8369;hp=12ccdbe3a94447f8b5771f24407a48e110528785;hpb=8846a7d80eb1c201e87afcc56a0c2705659871ad;p=ghc-hetmet.git diff --git a/ghc/includes/Stg.h b/ghc/includes/Stg.h index 12ccdbe..4005542 100644 --- a/ghc/includes/Stg.h +++ b/ghc/includes/Stg.h @@ -1,5 +1,7 @@ /* ----------------------------------------------------------------------------- - * $Id: Stg.h,v 1.3 1999/01/18 14:37:43 sof Exp $ + * $Id: Stg.h,v 1.29 2000/04/14 15:10:20 sewardj Exp $ + * + * (c) The GHC Team, 1998-1999 * * Top-level include file for everything STG-ish. * @@ -11,7 +13,26 @@ #define STG_H #ifndef NON_POSIX_SOURCE -#define _POSIX_SOURCE +#define _POSIX_SOURCE 1 +#define _POSIX_C_SOURCE 199309L +#define _ISOC9X_SOURCE +#endif + +/* Let's be ISO C9X too... */ + +/* 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 */ @@ -20,43 +41,101 @@ #include "options.h" #endif +/* Some macros to handle DLLing (Win32 only at the moment). */ +#include "StgDLL.h" + +/* Turn lazy blackholing and eager blackholing on/off. + * + * Using eager blackholing makes things easier to debug because + * the blackholes are more predictable - but it's slower and less sexy. + * + * For now, do lazy and not eager. + */ + +/* 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 #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. + * + * UNDEFINING THIS WON'T WORK ON ITS OWN. You have been warned. + */ +#ifndef USE_MINIINTERPRETER +#define TABLES_NEXT_TO_CODE +#endif + +/* bit macros + */ +#define BITS_PER_BYTE 8 +#define BITS_IN(x) (BITS_PER_BYTE * sizeof(x)) + +/* ----------------------------------------------------------------------------- + Assertions and Debuggery + -------------------------------------------------------------------------- */ + +#ifndef DEBUG +#define ASSERT(predicate) /* nothing */ +#else + +void _stgAssert (char *, unsigned int); + +#define ASSERT(predicate) \ + if (predicate) \ + /*null*/; \ + else \ + _stgAssert(__FILE__, __LINE__) +#endif /* DEBUG */ + +/* ----------------------------------------------------------------------------- + Include everything STG-ish + -------------------------------------------------------------------------- */ + /* Global type definitions*/ #include "StgTypes.h" +#include "RtsTypes.h" /* Global constaints */ #include "Constants.h" /* Profiling information */ -#include "Profiling.h" +#include "StgProf.h" /* Storage format definitions */ #include "Closures.h" +#include "ClosureTypes.h" #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" -/** - * Added by Ian McDonald 7/5/98 - * XXX The position of this code is very - * important - it must come after the - * Regs.h include - **/ -#ifdef nemesis_TARGET_OS -#define _NEMESIS_OS_ -#ifndef __LANGUAGE_C -#define __LANGUAGE_C -#endif -#include -#endif +/* RTS public interface */ +#include "RtsAPI.h" /* these are all ANSI C headers */ #include @@ -74,12 +153,13 @@ #include #endif +#ifdef SMP +#include +#endif + /* GNU mp library */ #include "gmp.h" -/* Wired-in Prelude identifiers */ -#include "Prelude.h" - /* Storage Manager */ #include "StgStorage.h" @@ -87,11 +167,11 @@ #include "ClosureMacros.h" #include "InfoMacros.h" #include "StgMacros.h" -#include "StgProf.h" #include "PrimOps.h" #include "Updates.h" -#include "Ticky.h" +#include "StgTicky.h" #include "CCall.h" +#include "Stable.h" /* Built-in entry points */ #include "StgMiscClosures.h" @@ -100,14 +180,15 @@ #include "Hooks.h" /* Misc stuff without a home */ -extern char **prog_argv; /* so we can get at these from Haskell */ -extern int prog_argc; +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; /* Creating and destroying an adjustor thunk. - I cannot make myself creating a separate .h file - for these two (sof.) + I cannot make myself create a separate .h file + for these two (sof.) + */ extern void* createAdjustor(int cconv, StgStablePtr hptr, StgFunPtr wptr); extern void freeHaskellFunctionPtr(void* ptr);