X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fincludes%2FRts.h;h=35ba5ced76aa20cb57394bd875f8321dcbb433a0;hb=8504635323bc4c2d7ade98771a4e281c2d56761c;hp=77f095cc745fe064c4131bbd16c9e94166fe4e6b;hpb=7f309f1c021e7583f724cce599ce2dd3c439361b;p=ghc-hetmet.git diff --git a/ghc/includes/Rts.h b/ghc/includes/Rts.h index 77f095c..35ba5ce 100644 --- a/ghc/includes/Rts.h +++ b/ghc/includes/Rts.h @@ -1,7 +1,6 @@ /* ----------------------------------------------------------------------------- - * $Id: Rts.h,v 1.6 1999/02/05 16:02:27 simonm Exp $ * - * (c) The GHC Team, 1998-1999 + * (c) The GHC Team, 1998-2004 * * Top-level include file for the RTS itself * @@ -10,81 +9,243 @@ #ifndef RTS_H #define RTS_H -#ifndef NO_REGS -#define NO_REGS /* don't define fixed registers */ +#ifdef __cplusplus +extern "C" { +#endif + +#ifndef IN_STG_CODE +#define IN_STG_CODE 0 #endif #include "Stg.h" +#include "RtsTypes.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 + +/* Fix for mingw stat problem (done here so it's early enough) */ +#ifdef mingw32_TARGET_OS +#define __MSVCRT__ 1 +#endif + +#if defined(__GNUC__) +#define GNU_ATTRIBUTE(at) __attribute__((at)) +#else +#define GNU_ATTRIBUTE(at) +#endif + +#if __GNUC__ >= 3 +#define GNUC3_ATTRIBUTE(at) __attribute__((at)) +#else +#define GNUC3_ATTRIBUTE(at) +#endif + +#define STG_UNUSED GNUC3_ATTRIBUTE(__unused__) + +/* + * 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)) + /* ----------------------------------------------------------------------------- - Miscellaneous garbage + Assertions and Debuggery -------------------------------------------------------------------------- */ -#if ! defined(EXIT_SUCCESS) || ! defined(EXIT_FAILURE) -/* "stdlib.h" should have defined these; but at least - on SunOS 4.1.3, this is not so. -*/ -#define EXIT_SUCCESS 0 -#define EXIT_FAILURE 1 +#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) + +/* ----------------------------------------------------------------------------- + Include everything STG-ish + -------------------------------------------------------------------------- */ + +/* System headers: stdlib.h is eeded so that we can use NULL. It must + * come after MachRegs.h, because stdlib.h might define some inline + * functions which may only be defined after register variables have + * been declared. + */ +#include + +/* Global constaints */ +#include "Constants.h" + +/* Profiling information */ +#include "StgProf.h" +#include "StgLdvProf.h" + +/* Storage format definitions */ +#include "StgFun.h" +#include "Closures.h" +#include "Liveness.h" +#include "ClosureTypes.h" +#include "InfoTables.h" +#include "TSO.h" + +/* Info tables, closures & code fragments defined in the RTS */ +#include "StgMiscClosures.h" + +/* Simulated-parallel information */ +#include "GranSim.h" + +/* Parallel information */ +#include "Parallel.h" + +/* STG/Optimised-C related stuff */ +#include "SMP.h" +#include "Block.h" + +#ifdef SMP +#include +#endif + +/* GNU mp library */ +#include "gmp.h" + +/* Macros for STG/C code */ +#include "ClosureMacros.h" +#include "StgTicky.h" +#include "Stable.h" + +/* Runtime-system hooks */ +#include "Hooks.h" +#include "RtsMessages.h" + +#include "ieee-flpt.h" + +#include "Signals.h" + +/* Misc stuff without a home */ +DLL_IMPORT_RTS extern char **prog_argv; /* so we can get at these from Haskell */ +DLL_IMPORT_RTS extern int prog_argc; +DLL_IMPORT_RTS extern char *prog_name; + +extern void stackOverflow(void); + +extern void __decodeDouble (MP_INT *man, I_ *_exp, StgDouble dbl); +extern void __decodeFloat (MP_INT *man, I_ *_exp, StgFloat flt); + +#if defined(WANT_DOTNET_SUPPORT) +#include "DNInvoke.h" #endif +/* Initialising the whole adjustor thunk machinery. */ +extern void initAdjustor(void); + +extern void stg_exit(int n) GNU_ATTRIBUTE(__noreturn__); + +/* ----------------------------------------------------------------------------- + RTS Exit codes + -------------------------------------------------------------------------- */ + +/* 255 is allegedly used by dynamic linkers to report linking failure */ +#define EXIT_INTERNAL_ERROR 254 +#define EXIT_DEADLOCK 253 +#define EXIT_INTERRUPTED 252 +#define EXIT_HEAPOVERFLOW 251 +#define EXIT_KILLED 250 + +/* ----------------------------------------------------------------------------- + Miscellaneous garbage + -------------------------------------------------------------------------- */ + /* declarations for runtime flags/values */ #define MAX_RTS_ARGS 32 +#ifdef _WIN32 +/* On the yucky side..suppress -Wmissing-declarations warnings when + * including + */ +extern void* GetCurrentFiber ( void ); +extern void* GetFiberData ( void ); +#endif + /* ----------------------------------------------------------------------------- - Useful typedefs + Assertions and Debuggery -------------------------------------------------------------------------- */ -typedef unsigned int nat; /* at least 32 bits (like int) */ -typedef unsigned long lnat; /* at least 32 bits */ -typedef unsigned long long ullong; /* at least 32 bits */ - -typedef enum { - rtsFalse = 0, - rtsTrue -} rtsBool; +#define IF_RTSFLAGS(c,s) if (RtsFlags.c) { s; } /* ----------------------------------------------------------------------------- Assertions and Debuggery -------------------------------------------------------------------------- */ -#ifndef DEBUG -#define IF_DEBUG(c,s) doNothing() -#else +#ifdef DEBUG #define IF_DEBUG(c,s) if (RtsFlags.DebugFlags.c) { s; } +#else +#define IF_DEBUG(c,s) doNothing() #endif -/* ----------------------------------------------------------------------------- - Attributes - -------------------------------------------------------------------------- */ +#ifdef DEBUG +#define DEBUG_ONLY(s) s +#else +#define DEBUG_ONLY(s) doNothing() +#endif -#ifdef __GNUC__ /* Avoid spurious warnings */ -#if __GNUC__ >= 2 && __GNUC_MINOR__ >= 7 -#define STG_NORETURN __attribute__ ((noreturn)) -#define STG_UNUSED __attribute__ ((unused)) +#if defined(GRAN) && defined(DEBUG) +#define IF_GRAN_DEBUG(c,s) if (RtsFlags.GranFlags.Debug.c) { s; } #else -#define STG_NORETURN -#define STG_UNUSED +#define IF_GRAN_DEBUG(c,s) doNothing() #endif + +#if defined(PAR) && defined(DEBUG) +#define IF_PAR_DEBUG(c,s) if (RtsFlags.ParFlags.Debug.c) { s; } #else -#define STG_NORETURN -#define STG_UNUSED +#define IF_PAR_DEBUG(c,s) doNothing() #endif /* ----------------------------------------------------------------------------- Useful macros and inline functions -------------------------------------------------------------------------- */ -/* - * 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) +#if defined(__GNUC__) +#define SUPPORTS_TYPEOF +#endif +#if defined(SUPPORTS_TYPEOF) #define stg_min(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _a : _b; }) #define stg_max(a,b) ({typeof(a) _a = (a), _b = (b); _a <= _b ? _b : _a; }) +#else +#define stg_min(a,b) ((a) <= (b) ? (a) : (b)) +#define stg_max(a,b) ((a) <= (b) ? (b) : (a)) +#endif -#define UNUSED __attribute__((unused)) +/* -------------------------------------------------------------------------- */ + +#ifdef __cplusplus +} +#endif -#endif RTS_H +#endif /* RTS_H */