X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FStg.h;h=001ca5570a51be6b58f1099338d17d31f9b4c0d3;hb=665b340ab40be2199dca9717c2a51f43f53fd3bb;hp=d5fde9e0e9a82afbff8fec1fd2c4175b7b224714;hpb=030a1217712fb01f9feeee436efd6c0523aa3b43;p=ghc-hetmet.git diff --git a/ghc/includes/Stg.h b/ghc/includes/Stg.h index d5fde9e..001ca55 100644 --- a/ghc/includes/Stg.h +++ b/ghc/includes/Stg.h @@ -1,5 +1,5 @@ /* ----------------------------------------------------------------------------- - * $Id: Stg.h,v 1.9 1999/03/15 16:30:25 simonm Exp $ + * $Id: Stg.h,v 1.53 2003/07/21 15:05:54 simonmar Exp $ * * (c) The GHC Team, 1998-1999 * @@ -7,56 +7,84 @@ * * This file is included *automatically* by all .hc files. * + * NOTE: always include Stg.h *before* any other headers, because we + * define some register variables which must be done before any inline + * functions are defined (some system headers have been known to + * define the odd inline function). + * * ---------------------------------------------------------------------------*/ #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 -/* ToDo: Set this flag properly: COMPILER and INTERPRETER should not be mutually exclusive. */ -#ifndef INTERPRETER -#define COMPILER 1 +#if defined(SMP) || defined(THREADED_RTS) +#define RTS_SUPPORTS_THREADS 1 #endif -/* This is a feature test - doesn't belong here. FixMe. */ -#ifdef __MINGW32__ -#define HAVE_WIN32_DLL_SUPPORT +/* 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 -#ifdef HAVE_WIN32_DLL_SUPPORT -# if __GNUC__ && !defined(__declspec) -# define DLLIMPORT -# else -# define DLLIMPORT __declspec(dllimport) -# define DLLIMPORT_DATA(x) _imp__##x -# endif +/* 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 DLLIMPORT +# define LAZY_BLACKHOLING #endif -#ifdef COMPILING_RTS -#define DLL_IMPORT DLLIMPORT -#define DLL_IMPORT_RTS -#define DLL_IMPORT_DATA -#define DLL_IMPORT_DATA_VAR(x) x -#else -#define DLL_IMPORT -#define DLL_IMPORT_RTS DLLIMPORT -#define DLL_IMPORT_DATA DLLIMPORT -# ifdef HAVE_WIN32_DLL_SUPPORT -# define DLL_IMPORT_DATA_VAR(x) _imp__##x -# else -# define DLL_IMPORT_DATA_VAR(x) x -# 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. + */ +#if !defined(USE_MINIINTERPRETER) && !defined(ia64_TARGET_ARCH) +#define TABLES_NEXT_TO_CODE #endif /* bit macros @@ -81,52 +109,100 @@ 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 + System headers + -------------------------------------------------------------------------- */ + +// Needed so that we can use NULL +#include + +/* ----------------------------------------------------------------------------- + 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 "StgFun.h" #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" -/* these are all ANSI C headers */ -#include -#include -#include -#include -#include -#include - -#ifdef HAVE_SIGNAL_H -#include -#endif +/* RTS public interface */ +#include "RtsAPI.h" -#ifdef HAVE_UNISTD_H -#include +#ifdef SMP +#include #endif /* GNU mp library */ #include "gmp.h" -/* Wired-in Prelude identifiers */ -#include "Prelude.h" - /* Storage Manager */ #include "StgStorage.h" @@ -134,7 +210,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,20 +222,24 @@ void _stgAssert (char *, unsigned int); /* Runtime-system hooks */ #include "Hooks.h" +#include "Signals.h" + +#include "HsFFI.h" + /* Misc stuff without a home */ -#ifdef BUILDING_RTS_DLL -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 void stackOverflow(void); -extern char **environ; +#if defined(WANT_DOTNET_SUPPORT) +#include "DNInvoke.h" +#endif /* 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);