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