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