ghc/rts/StgMiscClosures.hc

   1 /* -----------------------------------------------------------------------------
   2  * $Id: StgMiscClosures.hc,v 1.27 1999/08/25 16:11:51 simonmar Exp $
   3  *
   4  * (c) The GHC Team, 1998-1999
   5  *
   6  * Entry code for various built-in closure types.
   7  *
   8  * ---------------------------------------------------------------------------*/
   9
  10 #include "Rts.h"
  11 #include "RtsUtils.h"
  12 #include "StgMiscClosures.h"
  13 #include "HeapStackCheck.h"   /* for stg_gen_yield */
  14 #include "Storage.h"
  15 #include "StoragePriv.h"
  16 #include "ProfRts.h"
  17
  18 #ifdef HAVE_STDIO_H
  19 #include <stdio.h>
  20 #endif
  21
  22 /* ToDo: make the printing of panics more Win32-friendly, i.e.,
  23  *       pop up some lovely message boxes (as well).
  24  */
  25 #define DUMP_ERRMSG(msg) STGCALL2(fprintf,stderr,msg)
  26
  27 /* -----------------------------------------------------------------------------
  28    Entry code for an indirection.
  29
  30    This code assumes R1 is in a register for now.
  31    -------------------------------------------------------------------------- */
  32
  33 INFO_TABLE(IND_info,IND_entry,1,0,IND,,EF_,0,0);
  34 STGFUN(IND_entry)
  35 {
  36     FB_
  37     TICK_ENT_IND(Node); /* tick */
  38
  39     R1.p = (P_) ((StgInd*)R1.p)->indirectee;
  40     TICK_ENT_VIA_NODE();
  41     JMP_(ENTRY_CODE(*R1.p));
  42     FE_
  43 }
  44
  45 INFO_TABLE(IND_STATIC_info,IND_STATIC_entry,1,0,IND_STATIC,,EF_,0,0);
  46 STGFUN(IND_STATIC_entry)
  47 {
  48     FB_
  49     TICK_ENT_IND(Node); /* tick */
  50
  51     R1.p = (P_) ((StgIndStatic*)R1.p)->indirectee;
  52     TICK_ENT_VIA_NODE();
  53     JMP_(ENTRY_CODE(*R1.p));
  54     FE_
  55 }
  56
  57 INFO_TABLE(IND_PERM_info,IND_PERM_entry,1,1,IND_PERM,,EF_,0,0);
  58 STGFUN(IND_PERM_entry)
  59 {
  60     FB_
  61     /* Don't add INDs to granularity cost */
  62     /* Dont: TICK_ENT_IND(Node); for ticky-ticky; this ind is here only to help profiling */
  63
  64 #if defined(TICKY_TICKY) && !defined(PROFILING)
  65     /* TICKY_TICKY && !PROFILING means PERM_IND *replaces* an IND, rather than being extra  */
  66     TICK_ENT_PERM_IND(R1.p); /* tick */
  67 #endif
  68
  69     /* Enter PAP cost centre -- lexical scoping only */
  70     ENTER_CCS_PAP_CL(R1.cl);
  71
  72     /* For ticky-ticky, change the perm_ind to a normal ind on first
  73      * entry, so the number of ent_perm_inds is the number of *thunks*
  74      * entered again, not the number of subsequent entries.
  75      *
  76      * Since this screws up cost centres, we die if profiling and
  77      * ticky_ticky are on at the same time.  KSW 1999-01.
  78      */
  79
  80 #ifdef TICKY_TICKY
  81 #  ifdef PROFILING
  82 #    error Profiling and ticky-ticky do not mix at present!
  83 #  endif  /* PROFILING */
  84     SET_INFO((StgInd*)R1.p,&IND_info);
  85 #endif /* TICKY_TICKY */
  86
  87     R1.p = (P_) ((StgInd*)R1.p)->indirectee;
  88
  89     /* Dont: TICK_ENT_VIA_NODE(); for ticky-ticky; as above */
  90
  91 #if defined(TICKY_TICKY) && !defined(PROFILING)
  92     TICK_ENT_VIA_NODE();
  93 #endif
  94
  95     JMP_(ENTRY_CODE(*R1.p));
  96     FE_
  97 }
  98
  99 INFO_TABLE(IND_OLDGEN_info,IND_OLDGEN_entry,1,1,IND_OLDGEN,,EF_,0,0);
 100 STGFUN(IND_OLDGEN_entry)
 101 {
 102     FB_
 103     TICK_ENT_IND(Node); /* tick */
 104
 105     R1.p = (P_) ((StgInd*)R1.p)->indirectee;
 106     TICK_ENT_VIA_NODE();
 107     JMP_(ENTRY_CODE(*R1.p));
 108     FE_
 109 }
 110
 111 INFO_TABLE(IND_OLDGEN_PERM_info,IND_OLDGEN_PERM_entry,1,1,IND_OLDGEN_PERM,,EF_,0,0);
 112 STGFUN(IND_OLDGEN_PERM_entry)
 113 {
 114     FB_
 115     /* Dont: TICK_ENT_IND(Node); for ticky-ticky; this ind is here only to help profiling */
 116
 117 #if defined(TICKY_TICKY) && !defined(PROFILING)
 118     /* TICKY_TICKY && !PROFILING means PERM_IND *replaces* an IND, rather than being extra  */
 119     TICK_ENT_PERM_IND(R1.p); /* tick */
 120 #endif
 121
 122     /* Enter PAP cost centre -- lexical scoping only */
 123     ENTER_CCS_PAP_CL(R1.cl);
 124
 125     /* see comment in IND_PERM */
 126 #ifdef TICKY_TICKY
 127 #  ifdef PROFILING
 128 #    error Profiling and ticky-ticky do not mix at present!
 129 #  endif  /* PROFILING */
 130     SET_INFO((StgInd*)R1.p,&IND_OLDGEN_info);
 131 #endif /* TICKY_TICKY */
 132
 133     R1.p = (P_) ((StgInd*)R1.p)->indirectee;
 134     TICK_ENT_VIA_NODE();
 135     JMP_(ENTRY_CODE(*R1.p));
 136     FE_
 137 }
 138
 139 /* -----------------------------------------------------------------------------
 140    Entry code for CAFs
 141
 142    This code assumes R1 is in a register for now.
 143    -------------------------------------------------------------------------- */
 144
 145 INFO_TABLE(CAF_UNENTERED_info,CAF_UNENTERED_entry,1,3,CAF_UNENTERED,,EF_,0,0);
 146 STGFUN(CAF_UNENTERED_entry)
 147 {
 148     FB_
 149     /* ToDo: implement directly in GHC */
 150     Sp -= 1;
 151     Sp[0] = R1.w;
 152     JMP_(stg_yield_to_Hugs);
 153     FE_
 154 }
 155
 156 /* 0,4 is entirely bogus; _do not_ rely on this info */
 157 INFO_TABLE(CAF_ENTERED_info,CAF_ENTERED_entry,0,4,CAF_ENTERED,,EF_,0,0);
 158 STGFUN(CAF_ENTERED_entry)
 159 {
 160     FB_
 161     R1.p = (P_) ((StgCAF*)R1.p)->value; /* just a fancy indirection */
 162     TICK_ENT_VIA_NODE();
 163     JMP_(GET_ENTRY(R1.cl));
 164     FE_
 165 }
 166
 167 /* -----------------------------------------------------------------------------
 168    Entry code for a black hole.
 169
 170    Entering a black hole normally causes a cyclic data dependency, but
 171    in the concurrent world, black holes are synchronization points,
 172    and they are turned into blocking queues when there are threads
 173    waiting for the evaluation of the closure to finish.
 174    -------------------------------------------------------------------------- */
 175
 176 /* Note: a black hole must be big enough to be overwritten with an
 177  * indirection/evacuee/catch.  Thus we claim it has 1 non-pointer word of
 178  * payload (in addition to the pointer word for the blocking queue), which
 179  * should be big enough for an old-generation indirection.
 180  */
 181
 182 INFO_TABLE(BLACKHOLE_info, BLACKHOLE_entry,0,2,BLACKHOLE,,EF_,0,0);
 183 STGFUN(BLACKHOLE_entry)
 184 {
 185   FB_
 186     TICK_ENT_BH();
 187
 188     /* Change the BLACKHOLE into a BLACKHOLE_BQ */
 189     ((StgBlockingQueue *)R1.p)->header.info = &BLACKHOLE_BQ_info;
 190     /* Put ourselves on the blocking queue for this black hole */
 191     CurrentTSO->link = (StgTSO *)&END_TSO_QUEUE_closure;
 192     ((StgBlockingQueue *)R1.p)->blocking_queue = CurrentTSO;
 193     CurrentTSO->why_blocked = BlockedOnBlackHole;
 194     CurrentTSO->block_info.closure = R1.cl;
 195     recordMutable((StgMutClosure *)R1.cl);
 196
 197     /* stg_gen_block is too heavyweight, use a specialised one */
 198     BLOCK_NP(1);
 199   FE_
 200 }
 201
 202 INFO_TABLE(BLACKHOLE_BQ_info, BLACKHOLE_BQ_entry,1,1,BLACKHOLE_BQ,,EF_,0,0);
 203 STGFUN(BLACKHOLE_BQ_entry)
 204 {
 205   FB_
 206     TICK_ENT_BH();
 207
 208     /* Put ourselves on the blocking queue for this black hole */
 209     CurrentTSO->why_blocked = BlockedOnBlackHole;
 210     CurrentTSO->block_info.closure = R1.cl;
 211     CurrentTSO->link = ((StgBlockingQueue *)R1.p)->blocking_queue;
 212     ((StgBlockingQueue *)R1.p)->blocking_queue = CurrentTSO;
 213
 214     /* stg_gen_block is too heavyweight, use a specialised one */
 215     BLOCK_NP(1);
 216   FE_
 217 }
 218
 219 /* identical to BLACKHOLEs except for the infotag */
 220 INFO_TABLE(CAF_BLACKHOLE_info, CAF_BLACKHOLE_entry,0,2,CAF_BLACKHOLE,,EF_,0,0);
 221 STGFUN(CAF_BLACKHOLE_entry)
 222 {
 223   FB_
 224     JMP_(BLACKHOLE_entry);
 225   FE_
 226 }
 227
 228 #ifdef TICKY_TICKY
 229 INFO_TABLE(SE_BLACKHOLE_info, SE_BLACKHOLE_entry,0,2,SE_BLACKHOLE,,EF_,0,0);
 230 STGFUN(SE_BLACKHOLE_entry)
 231 {
 232   FB_
 233     STGCALL3(fprintf,stderr,"SE_BLACKHOLE at %p entered!\n",R1.p);
 234     STGCALL1(shutdownHaskellAndExit,EXIT_FAILURE);
 235   FE_
 236 }
 237
 238 INFO_TABLE(SE_CAF_BLACKHOLE_info, SE_CAF_BLACKHOLE_entry,0,2,SE_CAF_BLACKHOLE,,EF_,0,0);
 239 STGFUN(SE_CAF_BLACKHOLE_entry)
 240 {
 241   FB_
 242     STGCALL3(fprintf,stderr,"SE_CAF_BLACKHOLE at %p entered!\n",R1.p);
 243     STGCALL1(shutdownHaskellAndExit,EXIT_FAILURE);
 244   FE_
 245 }
 246 #endif
 247
 248 /* -----------------------------------------------------------------------------
 249    The code for a BCO returns to the scheduler
 250    -------------------------------------------------------------------------- */
 251 INFO_TABLE(BCO_info,BCO_entry,0,0,BCO,,EF_,0,0);
 252 EF_(BCO_entry) {
 253   FB_
 254     Sp -= 1;
 255     Sp[0] = R1.w;
 256     JMP_(stg_yield_to_Hugs);
 257   FE_
 258 }
 259
 260 /* -----------------------------------------------------------------------------
 261    Some static info tables for things that don't get entered, and
 262    therefore don't need entry code (i.e. boxed but unpointed objects)
 263    -------------------------------------------------------------------------- */
 264
 265 #define NON_ENTERABLE_ENTRY_CODE(type)                                  \
 266 STGFUN(type##_entry)                                                    \
 267 {                                                                       \
 268   FB_                                                                   \
 269     DUMP_ERRMSG(#type " object entered!\n");                            \
 270     STGCALL1(shutdownHaskellAndExit, EXIT_FAILURE);                     \
 271   FE_                                                                   \
 272 }
 273
 274 INFO_TABLE(TSO_info, TSO_entry, 0,0,TSO,,EF_,0,0);
 275 NON_ENTERABLE_ENTRY_CODE(TSO);
 276
 277 /* -----------------------------------------------------------------------------
 278    Evacuees are left behind by the garbage collector.  Any attempt to enter
 279    one is a real bug.
 280    -------------------------------------------------------------------------- */
 281
 282 INFO_TABLE(EVACUATED_info,EVACUATED_entry,1,0,EVACUATED,,EF_,0,0);
 283 NON_ENTERABLE_ENTRY_CODE(EVACUATED);
 284
 285 /* -----------------------------------------------------------------------------
 286    Weak pointers
 287
 288    Live weak pointers have a special closure type.  Dead ones are just
 289    nullary constructors (although they live on the heap - we overwrite
 290    live weak pointers with dead ones).
 291    -------------------------------------------------------------------------- */
 292
 293 INFO_TABLE(WEAK_info,WEAK_entry,0,4,WEAK,,EF_,0,0);
 294 NON_ENTERABLE_ENTRY_CODE(WEAK);
 295
 296 INFO_TABLE_CONSTR(DEAD_WEAK_info,DEAD_WEAK_entry,0,1,0,CONSTR,,EF_,0,0);
 297 NON_ENTERABLE_ENTRY_CODE(DEAD_WEAK);
 298
 299 /* -----------------------------------------------------------------------------
 300    NO_FINALIZER
 301
 302    This is a static nullary constructor (like []) that we use to mark an empty
 303    finalizer in a weak pointer object.
 304    -------------------------------------------------------------------------- */
 305
 306 INFO_TABLE_CONSTR(NO_FINALIZER_info,NO_FINALIZER_entry,0,0,0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 307 NON_ENTERABLE_ENTRY_CODE(NO_FINALIZER);
 308
 309 SET_STATIC_HDR(NO_FINALIZER_closure,NO_FINALIZER_info,0/*CC*/,,EI_)
 310 };
 311
 312 /* -----------------------------------------------------------------------------
 313    Foreign Objects are unlifted and therefore never entered.
 314    -------------------------------------------------------------------------- */
 315
 316 INFO_TABLE(FOREIGN_info,FOREIGN_entry,0,1,FOREIGN,,EF_,0,0);
 317 NON_ENTERABLE_ENTRY_CODE(FOREIGN);
 318
 319 /* -----------------------------------------------------------------------------
 320    Stable Names are unlifted too.
 321    -------------------------------------------------------------------------- */
 322
 323 INFO_TABLE(STABLE_NAME_info,STABLE_NAME_entry,0,1,STABLE_NAME,,EF_,0,0);
 324 NON_ENTERABLE_ENTRY_CODE(STABLE_NAME);
 325
 326 /* -----------------------------------------------------------------------------
 327    MVars
 328
 329    There are two kinds of these: full and empty.  We need an info table
 330    and entry code for each type.
 331    -------------------------------------------------------------------------- */
 332
 333 INFO_TABLE(FULL_MVAR_info,FULL_MVAR_entry,4,0,MVAR,,EF_,0,0);
 334 NON_ENTERABLE_ENTRY_CODE(FULL_MVAR);
 335
 336 INFO_TABLE(EMPTY_MVAR_info,EMPTY_MVAR_entry,4,0,MVAR,,EF_,0,0);
 337 NON_ENTERABLE_ENTRY_CODE(EMPTY_MVAR);
 338
 339 /* -----------------------------------------------------------------------------
 340    END_TSO_QUEUE
 341
 342    This is a static nullary constructor (like []) that we use to mark the
 343    end of a linked TSO queue.
 344    -------------------------------------------------------------------------- */
 345
 346 INFO_TABLE_CONSTR(END_TSO_QUEUE_info,END_TSO_QUEUE_entry,0,0,0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 347 NON_ENTERABLE_ENTRY_CODE(END_TSO_QUEUE);
 348
 349 SET_STATIC_HDR(END_TSO_QUEUE_closure,END_TSO_QUEUE_info,0/*CC*/,,EI_)
 350 };
 351
 352 /* -----------------------------------------------------------------------------
 353    Mutable lists
 354
 355    Mutable lists (used by the garbage collector) consist of a chain of
 356    StgMutClosures connected through their mut_link fields, ending in
 357    an END_MUT_LIST closure.
 358    -------------------------------------------------------------------------- */
 359
 360 INFO_TABLE_CONSTR(END_MUT_LIST_info,END_MUT_LIST_entry,0,0,0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 361 NON_ENTERABLE_ENTRY_CODE(END_MUT_LIST);
 362
 363 SET_STATIC_HDR(END_MUT_LIST_closure,END_MUT_LIST_info,0/*CC*/,,EI_)
 364 };
 365
 366 INFO_TABLE(MUT_CONS_info, MUT_CONS_entry, 1, 1, MUT_VAR, , EF_, 0, 0);
 367 NON_ENTERABLE_ENTRY_CODE(MUT_CONS);
 368
 369 /* -----------------------------------------------------------------------------
 370    Arrays
 371
 372    These come in two basic flavours: arrays of data (StgArrWords) and arrays of
 373    pointers (StgArrPtrs).  They all have a similar layout:
 374
 375         ___________________________
 376         | Info | No. of | data....
 377         |  Ptr | Words  |
 378         ---------------------------
 379
 380    These are *unpointed* objects: i.e. they cannot be entered.
 381
 382    -------------------------------------------------------------------------- */
 383
 384 #define ArrayInfo(type)                                 \
 385 INFO_TABLE(type##_info, type##_entry, 0, 0, type, , EF_,0,0);
 386
 387 ArrayInfo(ARR_WORDS);
 388 NON_ENTERABLE_ENTRY_CODE(ARR_WORDS);
 389 ArrayInfo(MUT_ARR_PTRS);
 390 NON_ENTERABLE_ENTRY_CODE(MUT_ARR_PTRS);
 391 ArrayInfo(MUT_ARR_PTRS_FROZEN);
 392 NON_ENTERABLE_ENTRY_CODE(MUT_ARR_PTRS_FROZEN);
 393
 394 #undef ArrayInfo
 395
 396 /* -----------------------------------------------------------------------------
 397    Mutable Variables
 398    -------------------------------------------------------------------------- */
 399
 400 INFO_TABLE(MUT_VAR_info, MUT_VAR_entry, 1, 1, MUT_VAR, , EF_, 0, 0);
 401 NON_ENTERABLE_ENTRY_CODE(MUT_VAR);
 402
 403 /* -----------------------------------------------------------------------------
 404    Standard Error Entry.
 405
 406    This is used for filling in vector-table entries that can never happen,
 407    for instance.
 408    -------------------------------------------------------------------------- */
 409
 410 STGFUN(stg_error_entry)                                                 \
 411 {                                                                       \
 412   FB_                                                                   \
 413     DUMP_ERRMSG("fatal: stg_error_entry");                              \
 414     STGCALL1(shutdownHaskellAndExit, EXIT_FAILURE);                     \
 415   FE_                                                                   \
 416 }
 417
 418 /* -----------------------------------------------------------------------------
 419    Dummy return closure
 420
 421    Entering this closure will just return to the address on the top of the
 422    stack.  Useful for getting a thread in a canonical form where we can
 423    just enter the top stack word to start the thread.  (see deleteThread)
 424  * -------------------------------------------------------------------------- */
 425
 426 INFO_TABLE(dummy_ret_info, dummy_ret_entry, 0, 0, CONSTR_NOCAF_STATIC, , EF_, 0, 0);
 427 FN_(dummy_ret_entry)
 428 {
 429   W_ ret_addr;
 430   FB_
 431   ret_addr = Sp[0];
 432   Sp++;
 433   JMP_(ENTRY_CODE(ret_addr));
 434   FE_
 435 }
 436 SET_STATIC_HDR(dummy_ret_closure,dummy_ret_info,CCS_DONTZuCARE,,EI_)
 437 };
 438
 439 /* -----------------------------------------------------------------------------
 440     Strict IO application - performing an IO action and entering its result.
 441
 442     rts_evalIO() lets you perform Haskell IO actions from outside of Haskell-land,
 443     returning back to you their result. Want this result to be evaluated to WHNF
 444     by that time, so that we can easily get at the int/char/whatever using the
 445     various get{Ty} functions provided by the RTS API.
 446
 447     forceIO takes care of this, performing the IO action and entering the
 448     results that comes back.
 449
 450  * -------------------------------------------------------------------------- */
 451
 452 INFO_TABLE_SRT_BITMAP(forceIO_ret_info,forceIO_ret_entry,0,0,0,0,RET_SMALL,,EF_,0,0);
 453 FN_(forceIO_ret_entry)
 454 {
 455   FB_
 456   Sp++;
 457   Sp -= sizeofW(StgSeqFrame);
 458   PUSH_SEQ_FRAME(Sp);
 459   JMP_(GET_ENTRY(R1.cl));
 460 }
 461
 462
 463 INFO_TABLE(forceIO_info,forceIO_entry,1,0,FUN,,EF_,0,0);
 464 FN_(forceIO_entry)
 465 {
 466   FB_
 467   /* Sp[0] contains the IO action we want to perform */
 468   R1.p  = (P_)Sp[0];
 469   /* Replace it with the return continuation that enters the result. */
 470   Sp[0] = (W_)&forceIO_ret_info;
 471   Sp--;
 472   /* Push the RealWorld# tag and enter */
 473   Sp[0] =(W_)REALWORLD_TAG;
 474   JMP_(GET_ENTRY(R1.cl));
 475   FE_
 476 }
 477 SET_STATIC_HDR(forceIO_closure,forceIO_info,CCS_DONTZuCARE,,EI_)
 478 };
 479
 480
 481 /* -----------------------------------------------------------------------------
 482    Standard Infotables (for use in interpreter)
 483    -------------------------------------------------------------------------- */
 484
 485 #ifdef INTERPRETER
 486
 487 STGFUN(Hugs_CONSTR_entry)
 488 {
 489     /* R1 points at the constructor */
 490     JMP_(ENTRY_CODE(((StgPtr*)Sp)[0]));
 491 }
 492
 493 #define RET_BCO_ENTRY_TEMPLATE(label)   \
 494    IFN_(label)                          \
 495    {                                    \
 496       FB_                               \
 497       Sp -= 1;                          \
 498       ((StgPtr*)Sp)[0] = R1.p;          \
 499       JMP_(stg_yield_to_Hugs);          \
 500       FE_                               \
 501    }
 502
 503 RET_BCO_ENTRY_TEMPLATE(ret_bco_entry  );
 504 RET_BCO_ENTRY_TEMPLATE(ret_bco_0_entry);
 505 RET_BCO_ENTRY_TEMPLATE(ret_bco_1_entry);
 506 RET_BCO_ENTRY_TEMPLATE(ret_bco_2_entry);
 507 RET_BCO_ENTRY_TEMPLATE(ret_bco_3_entry);
 508 RET_BCO_ENTRY_TEMPLATE(ret_bco_4_entry);
 509 RET_BCO_ENTRY_TEMPLATE(ret_bco_5_entry);
 510 RET_BCO_ENTRY_TEMPLATE(ret_bco_6_entry);
 511 RET_BCO_ENTRY_TEMPLATE(ret_bco_7_entry);
 512
 513 VEC_POLY_INFO_TABLE(ret_bco,0, NULL/*srt*/, 0/*srt_off*/, 0/*srt_len*/, RET_BCO,, EF_);
 514
 515 #endif /* INTERPRETER */
 516
 517 #ifndef COMPILER
 518
 519 INFO_TABLE_CONSTR(Czh_con_info,Hugs_CONSTR_entry,0,sizeofW(StgChar),0,CONSTR,,EF_,0,0);
 520 INFO_TABLE_CONSTR(Izh_con_info,Hugs_CONSTR_entry,0,sizeofW(StgInt),0,CONSTR,,EF_,0,0);
 521 INFO_TABLE_CONSTR(I64zh_con_info,Hugs_CONSTR_entry,0,sizeofW(StgInt64),0,CONSTR,,EF_,0,0);
 522 INFO_TABLE_CONSTR(Fzh_con_info,Hugs_CONSTR_entry,0,sizeofW(StgFloat),0,CONSTR,,EF_,0,0);
 523 INFO_TABLE_CONSTR(Dzh_con_info,Hugs_CONSTR_entry,0,sizeofW(StgDouble),0,CONSTR,,EF_,0,0);
 524 INFO_TABLE_CONSTR(Azh_con_info,Hugs_CONSTR_entry,0,sizeofW(StgAddr),0,CONSTR,,EF_,0,0);
 525 INFO_TABLE_CONSTR(Wzh_con_info,Hugs_CONSTR_entry,0,sizeofW(StgWord),0,CONSTR,,EF_,0,0);
 526 INFO_TABLE_CONSTR(StablePtr_con_info,Hugs_CONSTR_entry,0,sizeofW(StgStablePtr),0,CONSTR,,EF_,0,0);
 527
 528 /* These might seem redundant but {I,C}zh_static_info are used in
 529  * {INT,CHAR}LIKE and the rest are used in RtsAPI.c
 530  */
 531 INFO_TABLE_CONSTR(Czh_static_info,Hugs_CONSTR_entry,0,sizeofW(StgChar),0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 532 INFO_TABLE_CONSTR(Izh_static_info,Hugs_CONSTR_entry,0,sizeofW(StgInt),0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 533 INFO_TABLE_CONSTR(I64zh_static_info,Hugs_CONSTR_entry,0,sizeofW(StgInt64),0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 534 INFO_TABLE_CONSTR(Fzh_static_info,Hugs_CONSTR_entry,0,sizeofW(StgFloat),0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 535 INFO_TABLE_CONSTR(Dzh_static_info,Hugs_CONSTR_entry,0,sizeofW(StgDouble),0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 536 INFO_TABLE_CONSTR(Azh_static_info,Hugs_CONSTR_entry,0,sizeofW(StgAddr),0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 537 INFO_TABLE_CONSTR(Wzh_static_info,Hugs_CONSTR_entry,0,sizeofW(StgWord),0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 538 INFO_TABLE_CONSTR(StablePtr_static_info,Hugs_CONSTR_entry,0,sizeofW(StgStablePtr),0,CONSTR_NOCAF_STATIC,,EF_,0,0);
 539
 540 #endif /* !defined(COMPILER) */
 541
 542 /* -----------------------------------------------------------------------------
 543    CHARLIKE and INTLIKE closures.
 544
 545    These are static representations of Chars and small Ints, so that
 546    we can remove dynamic Chars and Ints during garbage collection and
 547    replace them with references to the static objects.
 548    -------------------------------------------------------------------------- */
 549
 550 #ifdef ENABLE_WIN32_DLL_SUPPORT
 551 /*
 552  * When sticking the RTS in a DLL, we delay populating the
 553  * Charlike and Intlike tables until load-time, which is only
 554  * when we've got the real addresses to the C# and I# closures.
 555  *
 556  */
 557 static INFO_TBL_CONST StgInfoTable czh_static_info;
 558 static INFO_TBL_CONST StgInfoTable izh_static_info;
 559 #define Char_hash_static_info czh_static_info
 560 #define Int_hash_static_info izh_static_info
 561 #else
 562 #define Char_hash_static_info Czh_static_info
 563 #define Int_hash_static_info Izh_static_info
 564 #endif
 565
 566 #define CHARLIKE_HDR(n)                                         \
 567         {                                                       \
 568           STATIC_HDR(Char_hash_static_info, /* C# */            \
 569                          CCS_DONTZuCARE),                       \
 570           data : n                                              \
 571         }
 572
 573 #define INTLIKE_HDR(n)                                          \
 574         {                                                       \
 575           STATIC_HDR(Int_hash_static_info,  /* I# */            \
 576                          CCS_DONTZuCARE),                       \
 577           data : n                                              \
 578         }
 579
 580 /* put these in the *data* section, since the garbage collector relies
 581  * on the fact that static closures live in the data section.
 582  */
 583
 584 /* end the name with _closure, to convince the mangler this is a closure */
 585
 586 StgIntCharlikeClosure CHARLIKE_closure[] = {
 587     CHARLIKE_HDR(0),
 588     CHARLIKE_HDR(1),
 589     CHARLIKE_HDR(2),
 590     CHARLIKE_HDR(3),
 591     CHARLIKE_HDR(4),
 592     CHARLIKE_HDR(5),
 593     CHARLIKE_HDR(6),
 594     CHARLIKE_HDR(7),
 595     CHARLIKE_HDR(8),
 596     CHARLIKE_HDR(9),
 597     CHARLIKE_HDR(10),
 598     CHARLIKE_HDR(11),
 599     CHARLIKE_HDR(12),
 600     CHARLIKE_HDR(13),
 601     CHARLIKE_HDR(14),
 602     CHARLIKE_HDR(15),
 603     CHARLIKE_HDR(16),
 604     CHARLIKE_HDR(17),
 605     CHARLIKE_HDR(18),
 606     CHARLIKE_HDR(19),
 607     CHARLIKE_HDR(20),
 608     CHARLIKE_HDR(21),
 609     CHARLIKE_HDR(22),
 610     CHARLIKE_HDR(23),
 611     CHARLIKE_HDR(24),
 612     CHARLIKE_HDR(25),
 613     CHARLIKE_HDR(26),
 614     CHARLIKE_HDR(27),
 615     CHARLIKE_HDR(28),
 616     CHARLIKE_HDR(29),
 617     CHARLIKE_HDR(30),
 618     CHARLIKE_HDR(31),
 619     CHARLIKE_HDR(32),
 620     CHARLIKE_HDR(33),
 621     CHARLIKE_HDR(34),
 622     CHARLIKE_HDR(35),
 623     CHARLIKE_HDR(36),
 624     CHARLIKE_HDR(37),
 625     CHARLIKE_HDR(38),
 626     CHARLIKE_HDR(39),
 627     CHARLIKE_HDR(40),
 628     CHARLIKE_HDR(41),
 629     CHARLIKE_HDR(42),
 630     CHARLIKE_HDR(43),
 631     CHARLIKE_HDR(44),
 632     CHARLIKE_HDR(45),
 633     CHARLIKE_HDR(46),
 634     CHARLIKE_HDR(47),
 635     CHARLIKE_HDR(48),
 636     CHARLIKE_HDR(49),
 637     CHARLIKE_HDR(50),
 638     CHARLIKE_HDR(51),
 639     CHARLIKE_HDR(52),
 640     CHARLIKE_HDR(53),
 641     CHARLIKE_HDR(54),
 642     CHARLIKE_HDR(55),
 643     CHARLIKE_HDR(56),
 644     CHARLIKE_HDR(57),
 645     CHARLIKE_HDR(58),
 646     CHARLIKE_HDR(59),
 647     CHARLIKE_HDR(60),
 648     CHARLIKE_HDR(61),
 649     CHARLIKE_HDR(62),
 650     CHARLIKE_HDR(63),
 651     CHARLIKE_HDR(64),
 652     CHARLIKE_HDR(65),
 653     CHARLIKE_HDR(66),
 654     CHARLIKE_HDR(67),
 655     CHARLIKE_HDR(68),
 656     CHARLIKE_HDR(69),
 657     CHARLIKE_HDR(70),
 658     CHARLIKE_HDR(71),
 659     CHARLIKE_HDR(72),
 660     CHARLIKE_HDR(73),
 661     CHARLIKE_HDR(74),
 662     CHARLIKE_HDR(75),
 663     CHARLIKE_HDR(76),
 664     CHARLIKE_HDR(77),
 665     CHARLIKE_HDR(78),
 666     CHARLIKE_HDR(79),
 667     CHARLIKE_HDR(80),
 668     CHARLIKE_HDR(81),
 669     CHARLIKE_HDR(82),
 670     CHARLIKE_HDR(83),
 671     CHARLIKE_HDR(84),
 672     CHARLIKE_HDR(85),
 673     CHARLIKE_HDR(86),
 674     CHARLIKE_HDR(87),
 675     CHARLIKE_HDR(88),
 676     CHARLIKE_HDR(89),
 677     CHARLIKE_HDR(90),
 678     CHARLIKE_HDR(91),
 679     CHARLIKE_HDR(92),
 680     CHARLIKE_HDR(93),
 681     CHARLIKE_HDR(94),
 682     CHARLIKE_HDR(95),
 683     CHARLIKE_HDR(96),
 684     CHARLIKE_HDR(97),
 685     CHARLIKE_HDR(98),
 686     CHARLIKE_HDR(99),
 687     CHARLIKE_HDR(100),
 688     CHARLIKE_HDR(101),
 689     CHARLIKE_HDR(102),
 690     CHARLIKE_HDR(103),
 691     CHARLIKE_HDR(104),
 692     CHARLIKE_HDR(105),
 693     CHARLIKE_HDR(106),
 694     CHARLIKE_HDR(107),
 695     CHARLIKE_HDR(108),
 696     CHARLIKE_HDR(109),
 697     CHARLIKE_HDR(110),
 698     CHARLIKE_HDR(111),
 699     CHARLIKE_HDR(112),
 700     CHARLIKE_HDR(113),
 701     CHARLIKE_HDR(114),
 702     CHARLIKE_HDR(115),
 703     CHARLIKE_HDR(116),
 704     CHARLIKE_HDR(117),
 705     CHARLIKE_HDR(118),
 706     CHARLIKE_HDR(119),
 707     CHARLIKE_HDR(120),
 708     CHARLIKE_HDR(121),
 709     CHARLIKE_HDR(122),
 710     CHARLIKE_HDR(123),
 711     CHARLIKE_HDR(124),
 712     CHARLIKE_HDR(125),
 713     CHARLIKE_HDR(126),
 714     CHARLIKE_HDR(127),
 715     CHARLIKE_HDR(128),
 716     CHARLIKE_HDR(129),
 717     CHARLIKE_HDR(130),
 718     CHARLIKE_HDR(131),
 719     CHARLIKE_HDR(132),
 720     CHARLIKE_HDR(133),
 721     CHARLIKE_HDR(134),
 722     CHARLIKE_HDR(135),
 723     CHARLIKE_HDR(136),
 724     CHARLIKE_HDR(137),
 725     CHARLIKE_HDR(138),
 726     CHARLIKE_HDR(139),
 727     CHARLIKE_HDR(140),
 728     CHARLIKE_HDR(141),
 729     CHARLIKE_HDR(142),
 730     CHARLIKE_HDR(143),
 731     CHARLIKE_HDR(144),
 732     CHARLIKE_HDR(145),
 733     CHARLIKE_HDR(146),
 734     CHARLIKE_HDR(147),
 735     CHARLIKE_HDR(148),
 736     CHARLIKE_HDR(149),
 737     CHARLIKE_HDR(150),
 738     CHARLIKE_HDR(151),
 739     CHARLIKE_HDR(152),
 740     CHARLIKE_HDR(153),
 741     CHARLIKE_HDR(154),
 742     CHARLIKE_HDR(155),
 743     CHARLIKE_HDR(156),
 744     CHARLIKE_HDR(157),
 745     CHARLIKE_HDR(158),
 746     CHARLIKE_HDR(159),
 747     CHARLIKE_HDR(160),
 748     CHARLIKE_HDR(161),
 749     CHARLIKE_HDR(162),
 750     CHARLIKE_HDR(163),
 751     CHARLIKE_HDR(164),
 752     CHARLIKE_HDR(165),
 753     CHARLIKE_HDR(166),
 754     CHARLIKE_HDR(167),
 755     CHARLIKE_HDR(168),
 756     CHARLIKE_HDR(169),
 757     CHARLIKE_HDR(170),
 758     CHARLIKE_HDR(171),
 759     CHARLIKE_HDR(172),
 760     CHARLIKE_HDR(173),
 761     CHARLIKE_HDR(174),
 762     CHARLIKE_HDR(175),
 763     CHARLIKE_HDR(176),
 764     CHARLIKE_HDR(177),
 765     CHARLIKE_HDR(178),
 766     CHARLIKE_HDR(179),
 767     CHARLIKE_HDR(180),
 768     CHARLIKE_HDR(181),
 769     CHARLIKE_HDR(182),
 770     CHARLIKE_HDR(183),
 771     CHARLIKE_HDR(184),
 772     CHARLIKE_HDR(185),
 773     CHARLIKE_HDR(186),
 774     CHARLIKE_HDR(187),
 775     CHARLIKE_HDR(188),
 776     CHARLIKE_HDR(189),
 777     CHARLIKE_HDR(190),
 778     CHARLIKE_HDR(191),
 779     CHARLIKE_HDR(192),
 780     CHARLIKE_HDR(193),
 781     CHARLIKE_HDR(194),
 782     CHARLIKE_HDR(195),
 783     CHARLIKE_HDR(196),
 784     CHARLIKE_HDR(197),
 785     CHARLIKE_HDR(198),
 786     CHARLIKE_HDR(199),
 787     CHARLIKE_HDR(200),
 788     CHARLIKE_HDR(201),
 789     CHARLIKE_HDR(202),
 790     CHARLIKE_HDR(203),
 791     CHARLIKE_HDR(204),
 792     CHARLIKE_HDR(205),
 793     CHARLIKE_HDR(206),
 794     CHARLIKE_HDR(207),
 795     CHARLIKE_HDR(208),
 796     CHARLIKE_HDR(209),
 797     CHARLIKE_HDR(210),
 798     CHARLIKE_HDR(211),
 799     CHARLIKE_HDR(212),
 800     CHARLIKE_HDR(213),
 801     CHARLIKE_HDR(214),
 802     CHARLIKE_HDR(215),
 803     CHARLIKE_HDR(216),
 804     CHARLIKE_HDR(217),
 805     CHARLIKE_HDR(218),
 806     CHARLIKE_HDR(219),
 807     CHARLIKE_HDR(220),
 808     CHARLIKE_HDR(221),
 809     CHARLIKE_HDR(222),
 810     CHARLIKE_HDR(223),
 811     CHARLIKE_HDR(224),
 812     CHARLIKE_HDR(225),
 813     CHARLIKE_HDR(226),
 814     CHARLIKE_HDR(227),
 815     CHARLIKE_HDR(228),
 816     CHARLIKE_HDR(229),
 817     CHARLIKE_HDR(230),
 818     CHARLIKE_HDR(231),
 819     CHARLIKE_HDR(232),
 820     CHARLIKE_HDR(233),
 821     CHARLIKE_HDR(234),
 822     CHARLIKE_HDR(235),
 823     CHARLIKE_HDR(236),
 824     CHARLIKE_HDR(237),
 825     CHARLIKE_HDR(238),
 826     CHARLIKE_HDR(239),
 827     CHARLIKE_HDR(240),
 828     CHARLIKE_HDR(241),
 829     CHARLIKE_HDR(242),
 830     CHARLIKE_HDR(243),
 831     CHARLIKE_HDR(244),
 832     CHARLIKE_HDR(245),
 833     CHARLIKE_HDR(246),
 834     CHARLIKE_HDR(247),
 835     CHARLIKE_HDR(248),
 836     CHARLIKE_HDR(249),
 837     CHARLIKE_HDR(250),
 838     CHARLIKE_HDR(251),
 839     CHARLIKE_HDR(252),
 840     CHARLIKE_HDR(253),
 841     CHARLIKE_HDR(254),
 842     CHARLIKE_HDR(255)
 843 };
 844
 845 StgIntCharlikeClosure INTLIKE_closure[] = {
 846     INTLIKE_HDR(-16),   /* MIN_INTLIKE == -16 */
 847     INTLIKE_HDR(-15),
 848     INTLIKE_HDR(-14),
 849     INTLIKE_HDR(-13),
 850     INTLIKE_HDR(-12),
 851     INTLIKE_HDR(-11),
 852     INTLIKE_HDR(-10),
 853     INTLIKE_HDR(-9),
 854     INTLIKE_HDR(-8),
 855     INTLIKE_HDR(-7),
 856     INTLIKE_HDR(-6),
 857     INTLIKE_HDR(-5),
 858     INTLIKE_HDR(-4),
 859     INTLIKE_HDR(-3),
 860     INTLIKE_HDR(-2),
 861     INTLIKE_HDR(-1),
 862     INTLIKE_HDR(0),
 863     INTLIKE_HDR(1),
 864     INTLIKE_HDR(2),
 865     INTLIKE_HDR(3),
 866     INTLIKE_HDR(4),
 867     INTLIKE_HDR(5),
 868     INTLIKE_HDR(6),
 869     INTLIKE_HDR(7),
 870     INTLIKE_HDR(8),
 871     INTLIKE_HDR(9),
 872     INTLIKE_HDR(10),
 873     INTLIKE_HDR(11),
 874     INTLIKE_HDR(12),
 875     INTLIKE_HDR(13),
 876     INTLIKE_HDR(14),
 877     INTLIKE_HDR(15),
 878     INTLIKE_HDR(16)     /* MAX_INTLIKE == 16 */
 879 };