X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FStg.h;h=f17670035475511fb4facf2d702b3750ec0d3684;hb=fbbed914e114b6b55158319dca8956885f301ff5;hp=555c7b177705f9e76e7599e9e4a2a6741e7ca580;hpb=ec48c5ab896b9334fa8d747c0a542e0679fe3a8f;p=ghc-hetmet.git diff --git a/ghc/includes/Stg.h b/ghc/includes/Stg.h index 555c7b1..f176700 100644 --- a/ghc/includes/Stg.h +++ b/ghc/includes/Stg.h @@ -1,5 +1,7 @@ /* ----------------------------------------------------------------------------- - * $Id: Stg.h,v 1.4 1999/01/21 10:31:43 simonm Exp $ + * $Id: Stg.h,v 1.46 2002/06/03 13:08:41 matthewc Exp $ + * + * (c) The GHC Team, 1998-1999 * * Top-level include file for everything STG-ish. * @@ -10,53 +12,179 @@ #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 + +#if defined(SMP) || defined(THREADED_RTS) +#define RTS_SUPPORTS_THREADS 1 +#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 -/* ToDo: Set this flag properly: COMPILER and INTERPRETER should not be mutually exclusive. */ -#ifndef INTERPRETER +/* 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: remove */ #define COMPILER 1 + +/* 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. + */ +#if !defined(USE_MINIINTERPRETER) && !defined(ia64_TARGET_ARCH) +#define TABLES_NEXT_TO_CODE #endif -/* Global type definitions*/ +/* 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 */ + +/* + * 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) + +/* ----------------------------------------------------------------------------- + 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" +#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 +202,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 +216,11 @@ #include "ClosureMacros.h" #include "InfoMacros.h" #include "StgMacros.h" -#include "StgProf.h" #include "PrimOps.h" #include "Updates.h" #include "StgTicky.h" #include "CCall.h" +#include "Stable.h" /* Built-in entry points */ #include "StgMiscClosures.h" @@ -99,34 +228,20 @@ /* Runtime-system hooks */ #include "Hooks.h" +#include "HsFFI.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; +extern void stackOverflow(void); /* Creating and destroying an adjustor thunk. I cannot make myself create a separate .h file - for these two (sof.) + for these two (sof.) + */ extern void* createAdjustor(int cconv, StgStablePtr hptr, StgFunPtr wptr); extern void freeHaskellFunctionPtr(void* ptr); -/* ----------------------------------------------------------------------------- - 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 */ - #endif /* STG_H */