ghc/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 #include <stdio.h>
  15
  16 #define IN_STG_CODE 0
  17
  18 // We need offsets of profiled things... better be careful that this
  19 // doesn't affect the offsets of anything else.
  20 #define PROFILING
  21
  22 #include "Rts.h"
  23 #include "RtsFlags.h"
  24 #include "Storage.h"
  25
  26 #define str(a,b) #a "_" #b
  27
  28 #define OFFSET(s_type, field) ((unsigned int)&(((s_type*)0)->field))
  29
  30 #if defined(GEN_HASKELL)
  31 #define def_offset(str, offset) \
  32     printf("oFFSET_" str " = %d::Int\n", offset);
  33 #else
  34 #define def_offset(str, offset) \
  35     printf("#define OFFSET_" str " %d\n", offset);
  36 #endif
  37
  38 #if defined(GEN_HASKELL)
  39 #define ctype(type) /* nothing */
  40 #else
  41 #define ctype(type) \
  42     printf("#define SIZEOF_" #type " %d\n", sizeof(type));
  43 #endif
  44
  45 #if defined(GEN_HASKELL)
  46 #define field_type_(str, s_type, field) /* nothing */
  47 #else
  48 #define field_type_(str, s_type, field) \
  49     printf("#define REP_" str " I"); \
  50     printf("%d\n", sizeof (__typeof__(((((s_type*)0)->field)))) * 8);
  51 #endif
  52
  53 #define field_type(s_type, field) \
  54     field_type_(str(s_type,field),s_type,field);
  55
  56 #define field_offset_(str, s_type, field) \
  57     def_offset(str, OFFSET(s_type,field));
  58
  59 #define field_offset(s_type, field) \
  60     field_offset_(str(s_type,field),s_type,field);
  61
  62 // An access macro for use in C-- sources.
  63 #define struct_field_macro(str) \
  64     printf("#define " str "(__ptr__)  REP_" str "[__ptr__+OFFSET_" str "]\n");
  65
  66 // Outputs the byte offset and MachRep for a field
  67 #define struct_field(s_type, field)             \
  68     field_offset(s_type, field);                \
  69     field_type(s_type, field);                  \
  70     struct_field_macro(str(s_type,field))
  71
  72 #define struct_field_(str, s_type, field)       \
  73     field_offset_(str, s_type, field);          \
  74     field_type_(str, s_type, field);            \
  75     struct_field_macro(str)
  76
  77 #if defined(GEN_HASKELL)
  78 #define def_size(str, size) \
  79     printf("sIZEOF_" str " = %d::Int\n", size);
  80 #else
  81 #define def_size(str, size) \
  82     printf("#define SIZEOF_" str " %d\n", size);
  83 #endif
  84
  85 #if defined(GEN_HASKELL)
  86 #define def_closure_size(str, size) /* nothing */
  87 #else
  88 #define def_closure_size(str, size) \
  89     printf("#define SIZEOF_" str " (SIZEOF_StgHeader+%d)\n", size);
  90 #endif
  91
  92 #define struct_size(s_type) \
  93     def_size(#s_type, sizeof(s_type));
  94
  95 // Size of a closure type, minus the header, named SIZEOF_<type>_NoHdr
  96 // Also, we #define SIZEOF_<type> to be the size of the whole closure for .cmm.
  97 #define closure_size(s_type) \
  98     def_size(#s_type "_NoHdr", sizeof(s_type) - sizeof(StgHeader)); \
  99     def_closure_size(#s_type, sizeof(s_type) - sizeof(StgHeader));
 100
 101 // An access macro for use in C-- sources.
 102 #define closure_field_macro(str) \
 103     printf("#define " str "(__ptr__)  REP_" str "[__ptr__+SIZEOF_StgHeader+OFFSET_" str "]\n");
 104
 105 #define closure_field_offset_(str, s_type,field) \
 106     def_offset(str, OFFSET(s_type,field) - sizeof(StgHeader));
 107
 108 #define closure_field_offset(s_type,field) \
 109     closure_field_offset_(str(s_type,field),s_type,field);
 110
 111 #define closure_payload_macro(str) \
 112     printf("#define " str "(__ptr__,__ix__)  W_[__ptr__+SIZEOF_StgHeader+OFFSET_" str " + WDS(__ix__)]\n");
 113
 114 #define closure_payload(s_type,field) \
 115     closure_field_offset_(str(s_type,field),s_type,field); \
 116     closure_payload_macro(str(s_type,field));
 117
 118 // Byte offset and MachRep for a closure field, minus the header
 119 #define closure_field(s_type, field) \
 120     closure_field_offset(s_type,field) \
 121     field_type(s_type, field); \
 122     closure_field_macro(str(s_type,field))
 123
 124 // Byte offset and MachRep for a closure field, minus the header
 125 #define closure_field_(str, s_type, field) \
 126     closure_field_offset_(str,s_type,field) \
 127     field_type_(str, s_type, field); \
 128     closure_field_macro(str)
 129
 130 // Byte offset and MachRep for a TSO field, minus the header and
 131 // variable prof bit.
 132 #define tso_offset(s_type, field) \
 133     def_offset(str(s_type,field), OFFSET(s_type,field) - sizeof(StgHeader) - sizeof(StgTSOProfInfo));
 134
 135 #define tso_field_macro(str) \
 136     printf("#define " str "(__ptr__)  REP_" str "[__ptr__+SIZEOF_StgHeader+SIZEOF_OPT_StgTSOProfInfo+SIZEOF_OPT_StgTSOTickyInfo+SIZEOF_OPT_StgTSOParInfo+SIZEOF_OPT_StgTSOGranInfo+SIZEOF_OPT_StgTSODistInfo+OFFSET_" str "]\n");
 137
 138 #define tso_field(s_type, field)                \
 139     tso_offset(s_type, field);                  \
 140     field_type(s_type, field);                  \
 141     tso_field_macro(str(s_type,field))
 142
 143 #define opt_struct_size(s_type, option)                                 \
 144     printf("#ifdef " #option "\n");                                     \
 145     printf("#define SIZEOF_OPT_" #s_type " SIZEOF_" #s_type "\n");      \
 146     printf("#else\n");                                                  \
 147     printf("#define SIZEOF_OPT_" #s_type " 0\n");                       \
 148     printf("#endif\n\n");
 149
 150 #define FUN_OFFSET(sym) (OFFSET(Capability,f.sym) - OFFSET(Capability,r))
 151
 152
 153 int
 154 main(int argc, char *argv[])
 155 {
 156 #ifndef GEN_HASKELL
 157     printf("/* This file is created automatically.  Do not edit by hand.*/\n\n");
 158
 159     printf("#define STD_HDR_SIZE   %d\n", sizeofW(StgHeader) - sizeofW(StgProfHeader));
 160     // grrr.. PROFILING is on so we need to subtract sizeofW(StgProfHeader)
 161     printf("#define PROF_HDR_SIZE  %d\n", sizeofW(StgProfHeader));
 162     printf("#define GRAN_HDR_SIZE  %d\n", sizeofW(StgGranHeader));
 163
 164     printf("#define STD_ITBL_SIZE   %d\n", sizeofW(StgInfoTable));
 165     printf("#define RET_ITBL_SIZE   %d\n", sizeofW(StgRetInfoTable) - sizeofW(StgInfoTable));
 166     printf("#define PROF_ITBL_SIZE  %d\n", sizeofW(StgProfInfo));
 167     printf("#define GRAN_ITBL_SIZE  %d\n", 0);
 168     printf("#define TICKY_ITBL_SIZE %d\n", sizeofW(StgTickyInfo));
 169
 170     printf("#define BLOCK_SIZE   %d\n", BLOCK_SIZE);
 171     printf("#define MBLOCK_SIZE   %d\n", MBLOCK_SIZE);
 172
 173     printf("\n\n");
 174 #endif
 175
 176     field_offset(StgRegTable, rR1);
 177     field_offset(StgRegTable, rR2);
 178     field_offset(StgRegTable, rR3);
 179     field_offset(StgRegTable, rR4);
 180     field_offset(StgRegTable, rR5);
 181     field_offset(StgRegTable, rR6);
 182     field_offset(StgRegTable, rR7);
 183     field_offset(StgRegTable, rR8);
 184     field_offset(StgRegTable, rR9);
 185     field_offset(StgRegTable, rR10);
 186     field_offset(StgRegTable, rF1);
 187     field_offset(StgRegTable, rF2);
 188     field_offset(StgRegTable, rF3);
 189     field_offset(StgRegTable, rF4);
 190     field_offset(StgRegTable, rD1);
 191     field_offset(StgRegTable, rD2);
 192 #ifdef SUPPORT_LONG_LONGS
 193     field_offset(StgRegTable, rL1);
 194 #endif
 195     field_offset(StgRegTable, rSp);
 196     field_offset(StgRegTable, rSpLim);
 197     field_offset(StgRegTable, rHp);
 198     field_offset(StgRegTable, rHpLim);
 199     field_offset(StgRegTable, rCurrentTSO);
 200     field_offset(StgRegTable, rCurrentNursery);
 201     field_offset(StgRegTable, rHpAlloc);
 202
 203     def_offset("stgGCEnter1", FUN_OFFSET(stgGCEnter1));
 204     def_offset("stgGCFun", FUN_OFFSET(stgGCFun));
 205
 206     field_offset(Capability, r);
 207
 208     struct_field(bdescr, start);
 209     struct_field(bdescr, free);
 210     struct_field(bdescr, blocks);
 211     struct_field(bdescr, gen_no);
 212     struct_field(bdescr, link);
 213
 214     struct_size(generation);
 215     struct_field(generation, mut_once_list);
 216
 217     struct_field(CostCentreStack, ccsID);
 218     struct_field(CostCentreStack, mem_alloc);
 219     struct_field(CostCentreStack, scc_count);
 220     struct_field(CostCentreStack, prevStack);
 221
 222     struct_field(CostCentre, ccID);
 223     struct_field(CostCentre, link);
 224
 225     struct_field(StgHeader, info);
 226     struct_field_("StgHeader_ccs",  StgHeader, prof.ccs);
 227     struct_field_("StgHeader_ldvw", StgHeader, prof.hp.ldvw);
 228
 229     closure_payload(StgClosure,payload);
 230
 231     struct_field(StgEntCounter, allocs);
 232     struct_field(StgEntCounter, registeredp);
 233     struct_field(StgEntCounter, link);
 234
 235     closure_size(StgUpdateFrame);
 236     closure_size(StgCatchFrame);
 237     closure_size(StgStopFrame);
 238
 239     closure_size(StgMutArrPtrs);
 240     closure_field(StgMutArrPtrs, ptrs);
 241
 242     closure_size(StgArrWords);
 243     closure_field(StgArrWords, words);
 244     closure_payload(StgArrWords, payload);
 245
 246     closure_field(StgTSO, link);
 247     closure_field(StgTSO, mut_link);
 248     closure_field(StgTSO, global_link);
 249     closure_field(StgTSO, what_next);
 250     closure_field(StgTSO, why_blocked);
 251     closure_field(StgTSO, block_info);
 252     closure_field(StgTSO, blocked_exceptions);
 253     closure_field(StgTSO, id);
 254     closure_field(StgTSO, saved_errno);
 255     closure_field_("StgTSO_CCCS", StgTSO, prof.CCCS);
 256     tso_field(StgTSO, sp);
 257     tso_offset(StgTSO, stack);
 258     tso_field(StgTSO, stack_size);
 259
 260     struct_size(StgTSOProfInfo);
 261     struct_size(StgTSOTickyInfo);
 262     struct_size(StgTSOParInfo);
 263     struct_size(StgTSOGranInfo);
 264     struct_size(StgTSODistInfo);
 265
 266     opt_struct_size(StgTSOProfInfo,PROFILING);
 267     opt_struct_size(StgTSOTickyInfo,TICKY_TICKY);
 268     opt_struct_size(StgTSOParInfo,PAR);
 269     opt_struct_size(StgTSOGranInfo,GRAN);
 270     opt_struct_size(StgTSODistInfo,DIST);
 271
 272     closure_size(StgBlockingQueue);
 273     closure_field(StgBlockingQueue, blocking_queue);
 274
 275     closure_field(StgUpdateFrame, updatee);
 276
 277     closure_field(StgCatchFrame, handler);
 278     closure_field(StgCatchFrame, exceptions_blocked);
 279
 280     closure_size(StgPAP);
 281     closure_field(StgPAP, n_args);
 282     closure_field(StgPAP, fun);
 283     closure_field(StgPAP, arity);
 284     closure_payload(StgPAP, payload);
 285
 286     closure_size(StgAP);
 287     closure_field(StgAP, n_args);
 288     closure_field(StgAP, fun);
 289     closure_payload(StgAP, payload);
 290
 291     closure_size(StgAP_STACK);
 292     closure_field(StgAP_STACK, size);
 293     closure_field(StgAP_STACK, fun);
 294     closure_payload(StgAP_STACK, payload);
 295
 296     closure_field(StgInd, indirectee);
 297     closure_field(StgMutClosure, mut_link);
 298
 299     closure_size(StgMutVar);
 300     closure_field(StgMutVar, var);
 301
 302     closure_size(StgForeignObj);
 303     closure_field(StgForeignObj,data);
 304
 305     closure_size(StgWeak);
 306     closure_field(StgWeak,link);
 307     closure_field(StgWeak,key);
 308     closure_field(StgWeak,value);
 309     closure_field(StgWeak,finalizer);
 310
 311     closure_size(StgDeadWeak);
 312     closure_field(StgDeadWeak,link);
 313
 314     closure_size(StgMVar);
 315     closure_field(StgMVar,head);
 316     closure_field(StgMVar,tail);
 317     closure_field(StgMVar,value);
 318
 319     closure_size(StgBCO);
 320     closure_field(StgBCO, instrs);
 321     closure_field(StgBCO, literals);
 322     closure_field(StgBCO, ptrs);
 323     closure_field(StgBCO, itbls);
 324     closure_field(StgBCO, arity);
 325     closure_field(StgBCO, size);
 326     closure_payload(StgBCO, bitmap);
 327
 328     closure_size(StgStableName);
 329     closure_field(StgStableName,sn);
 330
 331     struct_field_("RtsFlags_ProfFlags_showCCSOnException",
 332                   RTS_FLAGS, ProfFlags.showCCSOnException);
 333     struct_field_("RtsFlags_DebugFlags_apply",
 334                   RTS_FLAGS, DebugFlags.apply);
 335     struct_field_("RtsFlags_DebugFlags_sanity",
 336                   RTS_FLAGS, DebugFlags.sanity);
 337     struct_field_("RtsFlags_DebugFlags_weak",
 338                   RTS_FLAGS, DebugFlags.weak);
 339     struct_field_("RtsFlags_GcFlags_initialStkSize",
 340                   RTS_FLAGS, GcFlags.initialStkSize);
 341
 342     struct_size(StgFunInfoExtraFwd);
 343     struct_field(StgFunInfoExtraFwd, slow_apply);
 344     struct_field(StgFunInfoExtraFwd, fun_type);
 345     struct_field(StgFunInfoExtraFwd, arity);
 346     struct_field(StgFunInfoExtraFwd, bitmap);
 347
 348     struct_size(StgFunInfoExtraRev);
 349     struct_field(StgFunInfoExtraRev, slow_apply_offset);
 350     struct_field(StgFunInfoExtraRev, fun_type);
 351     struct_field(StgFunInfoExtraRev, arity);
 352     struct_field(StgFunInfoExtraRev, bitmap);
 353
 354     struct_field(StgLargeBitmap, size);
 355     field_offset(StgLargeBitmap, bitmap);
 356
 357     struct_size(snEntry);
 358     struct_field(snEntry,sn_obj);
 359     struct_field(snEntry,addr);
 360
 361 #ifdef mingw32_TARGET_OS
 362     struct_size(StgAsyncIOResult);
 363     struct_field(StgAsyncIOResult, reqID);
 364     struct_field(StgAsyncIOResult, len);
 365     struct_field(StgAsyncIOResult, errCode);
 366 #endif
 367
 368     struct_size(MP_INT);
 369     struct_field(MP_INT,_mp_alloc);
 370     struct_field(MP_INT,_mp_size);
 371     struct_field(MP_INT,_mp_d);
 372
 373     ctype(mp_limb_t);
 374     return 0;
 375 }