includes/mkDerivedConstants.c

   1 /* --------------------------------------------------------------------------
   2  *
   3  * (c) The GHC Team, 1992-2004
   4  *
   5  * mkDerivedConstants.c
   6  *
   7  * Basically this is a C program that extracts information from the C
   8  * declarations in the header files (primarily struct field offsets)
   9  * and generates a header file that can be #included into non-C source
  10  * containing this information.
  11  *
  12  * ------------------------------------------------------------------------*/
  13
  14 #define IN_STG_CODE 0
  15
  16 /*
  17  * We need offsets of profiled things... better be careful that this
  18  * doesn't affect the offsets of anything else.
  19  */
  20 #define PROFILING
  21 #define THREADED_RTS
  22
  23 #include "Rts.h"
  24
  25 #include "Stable.h"
  26 #include "Capability.h"
  27
  28 #include <stdio.h>
  29
  30 #define str(a,b) #a "_" #b
  31
  32 #define OFFSET(s_type, field) ((size_t)&(((s_type*)0)->field))
  33
  34 #if defined(GEN_HASKELL)
  35 #define def_offset(str, offset)                          \
  36     printf("oFFSET_" str " :: Int\n");                   \
  37     printf("oFFSET_" str " = %lu\n", (unsigned long)offset);
  38 #else
  39 #define def_offset(str, offset) \
  40     printf("#define OFFSET_" str " %lu\n", (unsigned long)offset);
  41 #endif
  42
  43 #if defined(GEN_HASKELL)
  44 #define ctype(type) /* nothing */
  45 #else
  46 #define ctype(type) \
  47     printf("#define SIZEOF_" #type " %lu\n", (unsigned long)sizeof(type));
  48 #endif
  49
  50 #if defined(GEN_HASKELL)
  51 #define field_type_(str, s_type, field) /* nothing */
  52 #define field_type_gcptr_(str, s_type, field) /* nothing */
  53 #else
  54 /* Defining REP_x to be b32 etc
  55    These are both the C-- types used in a load
  56       e.g.  b32[addr]
  57    and the names of the CmmTypes in the compiler
  58       b32 :: CmmType
  59 */
  60 #define field_type_(str, s_type, field) \
  61     printf("#define REP_" str " b"); \
  62     printf("%lu\n", (unsigned long)sizeof (__typeof__(((((s_type*)0)->field)))) * 8);
  63 #define field_type_gcptr_(str, s_type, field) \
  64     printf("#define REP_" str " gcptr\n");
  65 #endif
  66
  67 #define field_type(s_type, field) \
  68     field_type_(str(s_type,field),s_type,field);
  69
  70 #define field_offset_(str, s_type, field) \
  71     def_offset(str, OFFSET(s_type,field));
  72
  73 #define field_offset(s_type, field) \
  74     field_offset_(str(s_type,field),s_type,field);
  75
  76 /* An access macro for use in C-- sources. */
  77 #define struct_field_macro(str) \
  78     printf("#define " str "(__ptr__)  REP_" str "[__ptr__+OFFSET_" str "]\n");
  79
  80 /* Outputs the byte offset and MachRep for a field */
  81 #define struct_field(s_type, field)             \
  82     field_offset(s_type, field);                \
  83     field_type(s_type, field);                  \
  84     struct_field_macro(str(s_type,field))
  85
  86 #define struct_field_(str, s_type, field)       \
  87     field_offset_(str, s_type, field);          \
  88     field_type_(str, s_type, field);            \
  89     struct_field_macro(str)
  90
  91 #if defined(GEN_HASKELL)
  92 #define def_size(str, size)                \
  93     printf("sIZEOF_" str " :: Int\n");     \
  94     printf("sIZEOF_" str " = %lu\n", (unsigned long)size);
  95 #else
  96 #define def_size(str, size) \
  97     printf("#define SIZEOF_" str " %lu\n", (unsigned long)size);
  98 #endif
  99
 100 #if defined(GEN_HASKELL)
 101 #define def_closure_size(str, size) /* nothing */
 102 #else
 103 #define def_closure_size(str, size) \
 104     printf("#define SIZEOF_" str " (SIZEOF_StgHeader+%lu)\n", (unsigned long)size);
 105 #endif
 106
 107 #define struct_size(s_type) \
 108     def_size(#s_type, sizeof(s_type));
 109
 110 /*
 111  * Size of a closure type, minus the header, named SIZEOF_<type>_NoHdr
 112  * Also, we #define SIZEOF_<type> to be the size of the whole closure for .cmm.
 113  */
 114 #define closure_size(s_type) \
 115     def_size(#s_type "_NoHdr", sizeof(s_type) - sizeof(StgHeader)); \
 116     def_closure_size(#s_type, sizeof(s_type) - sizeof(StgHeader));
 117
 118 #define thunk_size(s_type) \
 119     def_size(#s_type "_NoThunkHdr", sizeof(s_type) - sizeof(StgThunkHeader)); \
 120     closure_size(s_type)
 121
 122 /* An access macro for use in C-- sources. */
 123 #define closure_field_macro(str) \
 124     printf("#define " str "(__ptr__)  REP_" str "[__ptr__+SIZEOF_StgHeader+OFFSET_" str "]\n");
 125
 126 #define closure_field_offset_(str, s_type,field) \
 127     def_offset(str, OFFSET(s_type,field) - sizeof(StgHeader));
 128
 129 #define closure_field_offset(s_type,field) \
 130     closure_field_offset_(str(s_type,field),s_type,field)
 131
 132 #define closure_payload_macro(str) \
 133     printf("#define " str "(__ptr__,__ix__)  W_[__ptr__+SIZEOF_StgHeader+OFFSET_" str " + WDS(__ix__)]\n");
 134
 135 #define closure_payload(s_type,field) \
 136     closure_field_offset_(str(s_type,field),s_type,field); \
 137     closure_payload_macro(str(s_type,field));
 138
 139 /* Byte offset and MachRep for a closure field, minus the header */
 140 #define closure_field_(str, s_type, field) \
 141     closure_field_offset_(str,s_type,field) \
 142     field_type_(str, s_type, field); \
 143     closure_field_macro(str)
 144
 145 #define closure_field(s_type, field) \
 146     closure_field_(str(s_type,field),s_type,field)
 147
 148 /* Byte offset and MachRep for a closure field, minus the header */
 149 #define closure_field_gcptr_(str, s_type, field) \
 150     closure_field_offset_(str,s_type,field) \
 151     field_type_gcptr_(str, s_type, field); \
 152     closure_field_macro(str)
 153
 154 #define closure_field_gcptr(s_type, field) \
 155     closure_field_gcptr_(str(s_type,field),s_type,field)
 156
 157 /* Byte offset for a TSO field, minus the header and variable prof bit. */
 158 #define tso_payload_offset(s_type, field) \
 159     def_offset(str(s_type,field), OFFSET(s_type,field) - sizeof(StgHeader) - sizeof(StgTSOProfInfo));
 160
 161 /* Full byte offset for a TSO field, for use from Cmm */
 162 #define tso_field_offset_macro(str) \
 163     printf("#define TSO_OFFSET_" str " (SIZEOF_StgHeader+SIZEOF_OPT_StgTSOProfInfo+OFFSET_" str ")\n");
 164
 165 #define tso_field_offset(s_type, field) \
 166     tso_payload_offset(s_type, field);          \
 167     tso_field_offset_macro(str(s_type,field));
 168
 169 #define tso_field_macro(str) \
 170     printf("#define " str "(__ptr__)  REP_" str "[__ptr__+TSO_OFFSET_" str "]\n")
 171 #define tso_field(s_type, field)                \
 172     field_type(s_type, field);                  \
 173     tso_field_offset(s_type,field);             \
 174     tso_field_macro(str(s_type,field))
 175
 176 #define opt_struct_size(s_type, option)                                 \
 177     printf("#ifdef " #option "\n");                                     \
 178     printf("#define SIZEOF_OPT_" #s_type " SIZEOF_" #s_type "\n");      \
 179     printf("#else\n");                                                  \
 180     printf("#define SIZEOF_OPT_" #s_type " 0\n");                       \
 181     printf("#endif\n\n");
 182
 183 #define FUN_OFFSET(sym) (OFFSET(Capability,f.sym) - OFFSET(Capability,r))
 184
 185
 186 int
 187 main(int argc, char *argv[])
 188 {
 189 #ifndef GEN_HASKELL
 190     printf("/* This file is created automatically.  Do not edit by hand.*/\n\n");
 191
 192     printf("#define STD_HDR_SIZE   %lu\n", (unsigned long)sizeofW(StgHeader) - sizeofW(StgProfHeader));
 193     /* grrr.. PROFILING is on so we need to subtract sizeofW(StgProfHeader) */
 194     printf("#define PROF_HDR_SIZE  %lu\n", (unsigned long)sizeofW(StgProfHeader));
 195
 196     printf("#define BLOCK_SIZE   %u\n", BLOCK_SIZE);
 197     printf("#define MBLOCK_SIZE   %u\n", MBLOCK_SIZE);
 198     printf("#define BLOCKS_PER_MBLOCK  %lu\n", (lnat)BLOCKS_PER_MBLOCK);
 199     // could be derived, but better to save doing the calculation twice
 200
 201     printf("\n\n");
 202 #endif
 203
 204     field_offset(StgRegTable, rR1);
 205     field_offset(StgRegTable, rR2);
 206     field_offset(StgRegTable, rR3);
 207     field_offset(StgRegTable, rR4);
 208     field_offset(StgRegTable, rR5);
 209     field_offset(StgRegTable, rR6);
 210     field_offset(StgRegTable, rR7);
 211     field_offset(StgRegTable, rR8);
 212     field_offset(StgRegTable, rR9);
 213     field_offset(StgRegTable, rR10);
 214     field_offset(StgRegTable, rF1);
 215     field_offset(StgRegTable, rF2);
 216     field_offset(StgRegTable, rF3);
 217     field_offset(StgRegTable, rF4);
 218     field_offset(StgRegTable, rD1);
 219     field_offset(StgRegTable, rD2);
 220     field_offset(StgRegTable, rL1);
 221     field_offset(StgRegTable, rSp);
 222     field_offset(StgRegTable, rSpLim);
 223     field_offset(StgRegTable, rHp);
 224     field_offset(StgRegTable, rHpLim);
 225     field_offset(StgRegTable, rCurrentTSO);
 226     field_offset(StgRegTable, rCurrentNursery);
 227     field_offset(StgRegTable, rHpAlloc);
 228     struct_field(StgRegTable, rRet);
 229     struct_field(StgRegTable, rNursery);
 230
 231     def_offset("stgEagerBlackholeInfo", FUN_OFFSET(stgEagerBlackholeInfo));
 232     def_offset("stgGCEnter1", FUN_OFFSET(stgGCEnter1));
 233     def_offset("stgGCFun", FUN_OFFSET(stgGCFun));
 234
 235     field_offset(Capability, r);
 236     field_offset(Capability, lock);
 237     struct_field(Capability, no);
 238     struct_field(Capability, mut_lists);
 239     struct_field(Capability, context_switch);
 240     struct_field(Capability, sparks);
 241
 242     struct_field(bdescr, start);
 243     struct_field(bdescr, free);
 244     struct_field(bdescr, blocks);
 245     struct_field(bdescr, gen_no);
 246     struct_field(bdescr, link);
 247
 248     struct_size(generation);
 249     struct_field(generation, n_new_large_words);
 250
 251     struct_size(CostCentreStack);
 252     struct_field(CostCentreStack, ccsID);
 253     struct_field(CostCentreStack, mem_alloc);
 254     struct_field(CostCentreStack, scc_count);
 255     struct_field(CostCentreStack, prevStack);
 256
 257     struct_field(CostCentre, ccID);
 258     struct_field(CostCentre, link);
 259
 260     struct_field(StgHeader, info);
 261     struct_field_("StgHeader_ccs",  StgHeader, prof.ccs);
 262     struct_field_("StgHeader_ldvw", StgHeader, prof.hp.ldvw);
 263
 264     struct_size(StgSMPThunkHeader);
 265
 266     closure_payload(StgClosure,payload);
 267
 268     struct_field(StgEntCounter, allocs);
 269     struct_field(StgEntCounter, registeredp);
 270     struct_field(StgEntCounter, link);
 271     struct_field(StgEntCounter, entry_count);
 272
 273     closure_size(StgUpdateFrame);
 274     closure_size(StgCatchFrame);
 275     closure_size(StgStopFrame);
 276
 277     closure_size(StgMutArrPtrs);
 278     closure_field(StgMutArrPtrs, ptrs);
 279     closure_field(StgMutArrPtrs, size);
 280
 281     closure_size(StgArrWords);
 282     closure_field(StgArrWords, bytes);
 283     closure_payload(StgArrWords, payload);
 284
 285     closure_field(StgTSO, _link);
 286     closure_field(StgTSO, global_link);
 287     closure_field(StgTSO, what_next);
 288     closure_field(StgTSO, why_blocked);
 289     closure_field(StgTSO, block_info);
 290     closure_field(StgTSO, blocked_exceptions);
 291     closure_field(StgTSO, id);
 292     closure_field(StgTSO, cap);
 293     closure_field(StgTSO, saved_errno);
 294     closure_field(StgTSO, trec);
 295     closure_field(StgTSO, flags);
 296     closure_field(StgTSO, dirty);
 297     closure_field(StgTSO, bq);
 298     closure_field_("StgTSO_CCCS", StgTSO, prof.CCCS);
 299     closure_field(StgTSO, stackobj);
 300
 301     closure_field(StgStack, sp);
 302     closure_field_offset(StgStack, stack);
 303     closure_field(StgStack, stack_size);
 304     closure_field(StgStack, dirty);
 305
 306     struct_size(StgTSOProfInfo);
 307
 308     opt_struct_size(StgTSOProfInfo,PROFILING);
 309
 310     closure_field(StgUpdateFrame, updatee);
 311
 312     closure_field(StgCatchFrame, handler);
 313     closure_field(StgCatchFrame, exceptions_blocked);
 314
 315     closure_size(StgPAP);
 316     closure_field(StgPAP, n_args);
 317     closure_field_gcptr(StgPAP, fun);
 318     closure_field(StgPAP, arity);
 319     closure_payload(StgPAP, payload);
 320
 321     thunk_size(StgAP);
 322     closure_field(StgAP, n_args);
 323     closure_field_gcptr(StgAP, fun);
 324     closure_payload(StgAP, payload);
 325
 326     thunk_size(StgAP_STACK);
 327     closure_field(StgAP_STACK, size);
 328     closure_field_gcptr(StgAP_STACK, fun);
 329     closure_payload(StgAP_STACK, payload);
 330
 331     thunk_size(StgSelector);
 332
 333     closure_field_gcptr(StgInd, indirectee);
 334
 335     closure_size(StgMutVar);
 336     closure_field(StgMutVar, var);
 337
 338     closure_size(StgAtomicallyFrame);
 339     closure_field(StgAtomicallyFrame, code);
 340     closure_field(StgAtomicallyFrame, next_invariant_to_check);
 341     closure_field(StgAtomicallyFrame, result);
 342
 343     closure_field(StgInvariantCheckQueue, invariant);
 344     closure_field(StgInvariantCheckQueue, my_execution);
 345     closure_field(StgInvariantCheckQueue, next_queue_entry);
 346
 347     closure_field(StgAtomicInvariant, code);
 348
 349     closure_field(StgTRecHeader, enclosing_trec);
 350
 351     closure_size(StgCatchSTMFrame);
 352     closure_field(StgCatchSTMFrame, handler);
 353     closure_field(StgCatchSTMFrame, code);
 354
 355     closure_size(StgCatchRetryFrame);
 356     closure_field(StgCatchRetryFrame, running_alt_code);
 357     closure_field(StgCatchRetryFrame, first_code);
 358     closure_field(StgCatchRetryFrame, alt_code);
 359
 360     closure_field(StgTVarWatchQueue, closure);
 361     closure_field(StgTVarWatchQueue, next_queue_entry);
 362     closure_field(StgTVarWatchQueue, prev_queue_entry);
 363
 364     closure_field(StgTVar, current_value);
 365
 366     closure_size(StgWeak);
 367     closure_field(StgWeak,link);
 368     closure_field(StgWeak,key);
 369     closure_field(StgWeak,value);
 370     closure_field(StgWeak,finalizer);
 371     closure_field(StgWeak,cfinalizer);
 372
 373     closure_size(StgDeadWeak);
 374     closure_field(StgDeadWeak,link);
 375
 376     closure_size(StgMVar);
 377     closure_field(StgMVar,head);
 378     closure_field(StgMVar,tail);
 379     closure_field(StgMVar,value);
 380
 381     closure_size(StgMVarTSOQueue);
 382     closure_field(StgMVarTSOQueue, link);
 383     closure_field(StgMVarTSOQueue, tso);
 384
 385     closure_size(StgBCO);
 386     closure_field(StgBCO, instrs);
 387     closure_field(StgBCO, literals);
 388     closure_field(StgBCO, ptrs);
 389     closure_field(StgBCO, arity);
 390     closure_field(StgBCO, size);
 391     closure_payload(StgBCO, bitmap);
 392
 393     closure_size(StgStableName);
 394     closure_field(StgStableName,sn);
 395
 396     closure_size(StgBlockingQueue);
 397     closure_field(StgBlockingQueue, bh);
 398     closure_field(StgBlockingQueue, owner);
 399     closure_field(StgBlockingQueue, queue);
 400     closure_field(StgBlockingQueue, link);
 401
 402     closure_size(MessageBlackHole);
 403     closure_field(MessageBlackHole, link);
 404     closure_field(MessageBlackHole, tso);
 405     closure_field(MessageBlackHole, bh);
 406
 407     struct_field_("RtsFlags_ProfFlags_showCCSOnException",
 408                   RTS_FLAGS, ProfFlags.showCCSOnException);
 409     struct_field_("RtsFlags_DebugFlags_apply",
 410                   RTS_FLAGS, DebugFlags.apply);
 411     struct_field_("RtsFlags_DebugFlags_sanity",
 412                   RTS_FLAGS, DebugFlags.sanity);
 413     struct_field_("RtsFlags_DebugFlags_weak",
 414                   RTS_FLAGS, DebugFlags.weak);
 415     struct_field_("RtsFlags_GcFlags_initialStkSize",
 416                   RTS_FLAGS, GcFlags.initialStkSize);
 417     struct_field_("RtsFlags_MiscFlags_tickInterval",
 418                   RTS_FLAGS, MiscFlags.tickInterval);
 419
 420     struct_size(StgFunInfoExtraFwd);
 421     struct_field(StgFunInfoExtraFwd, slow_apply);
 422     struct_field(StgFunInfoExtraFwd, fun_type);
 423     struct_field(StgFunInfoExtraFwd, arity);
 424     struct_field_("StgFunInfoExtraFwd_bitmap", StgFunInfoExtraFwd, b.bitmap);
 425
 426     struct_size(StgFunInfoExtraRev);
 427     struct_field(StgFunInfoExtraRev, slow_apply_offset);
 428     struct_field(StgFunInfoExtraRev, fun_type);
 429     struct_field(StgFunInfoExtraRev, arity);
 430     struct_field_("StgFunInfoExtraRev_bitmap", StgFunInfoExtraRev, b.bitmap);
 431
 432     struct_field(StgLargeBitmap, size);
 433     field_offset(StgLargeBitmap, bitmap);
 434
 435     struct_size(snEntry);
 436     struct_field(snEntry,sn_obj);
 437     struct_field(snEntry,addr);
 438
 439 #ifdef mingw32_HOST_OS
 440     struct_size(StgAsyncIOResult);
 441     struct_field(StgAsyncIOResult, reqID);
 442     struct_field(StgAsyncIOResult, len);
 443     struct_field(StgAsyncIOResult, errCode);
 444 #endif
 445
 446     return 0;
 447 }