1 /* -----------------------------------------------------------------------------
2 * $Id: Printer.c,v 1.19 2000/01/13 14:34:04 hwloidl Exp $
4 * Copyright (c) 1994-1999.
8 * ---------------------------------------------------------------------------*/
17 #include "Bytecodes.h" /* for InstrPtr */
18 #include "Disassembler.h"
22 // HWL: explicit fixed header size to make debugging easier
23 int fixed_hs = FIXED_HS, itbl_sz = sizeofW(StgInfoTable),
24 uf_sz=sizeofW(StgUpdateFrame), sf_sz=sizeofW(StgSeqFrame);
26 /* --------------------------------------------------------------------------
27 * local function decls
28 * ------------------------------------------------------------------------*/
30 static void printStdObject( StgClosure *obj, char* tag );
31 static void reset_table ( int size );
32 static void prepare_table ( void );
33 static void insert ( unsigned value, const char *name );
34 #if 0 /* unused but might be useful sometime */
35 static rtsBool lookup_name ( char *name, unsigned *result );
36 static void enZcode ( char *in, char *out );
38 static char unZcode ( char ch );
39 rtsBool lookupGHCName ( StgPtr addr, const char **result );
40 static void printZcoded ( const char *raw );
42 /* --------------------------------------------------------------------------
44 * ------------------------------------------------------------------------*/
48 extern void* itblNames[];
49 extern int nItblNames;
50 char* lookupHugsItblName ( void* v )
53 for (i = 0; i < nItblNames; i += 2)
54 if (itblNames[i] == v) return itblNames[i+1];
59 void printPtr( StgPtr p )
65 if (lookupGHCName( p, &raw )) {
68 } else if ((raw = lookupHugsName(p)) != 0) {
69 fprintf(stderr, "%s", raw);
70 } else if ((str = lookupHugsItblName(p)) != 0) {
71 fprintf(stderr, "%p=%s", p, str);
74 fprintf(stderr, "%p", p);
78 void printObj( StgClosure *obj )
80 fprintf(stderr,"Object "); printPtr((StgPtr)obj); fprintf(stderr," = ");
84 static void printStdObject( StgClosure *obj, char* tag )
87 const StgInfoTable* info = get_itbl(obj);
88 fprintf(stderr,"%s(",tag);
89 printPtr((StgPtr)obj->header.info);
90 for (i = 0; i < info->layout.payload.ptrs; ++i) {
92 printPtr(payloadPtr(obj,i));
94 for (j = 0; j < info->layout.payload.nptrs; ++j) {
95 fprintf(stderr,", %xd#",payloadWord(obj,i+j));
97 fprintf(stderr,")\n");
100 void printClosure( StgClosure *obj )
102 switch ( get_itbl(obj)->type ) {
104 barf("Invalid object");
107 fprintf(stderr,"BCO\n");
108 disassemble(stgCast(StgBCO*,obj),"\t");
114 StgAP_UPD* ap = stgCast(StgAP_UPD*,obj);
116 fprintf(stderr,"AP_UPD("); printPtr((StgPtr)ap->fun);
117 for (i = 0; i < ap->n_args; ++i) {
118 fprintf(stderr,", ");
119 printPtr(payloadPtr(ap,i));
121 fprintf(stderr,")\n");
127 StgPAP* pap = stgCast(StgPAP*,obj);
129 fprintf(stderr,"PAP("); printPtr((StgPtr)pap->fun);
130 for (i = 0; i < pap->n_args; ++i) {
131 fprintf(stderr,", ");
132 printPtr(payloadPtr(pap,i));
134 fprintf(stderr,")\n");
139 fprintf(stderr,"IND(");
140 printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
141 fprintf(stderr,")\n");
145 fprintf(stderr,"IND_STATIC(");
146 printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
147 fprintf(stderr,")\n");
151 fprintf(stderr,"IND_OLDGEN(");
152 printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
153 fprintf(stderr,")\n");
158 StgCAF* caf = stgCast(StgCAF*,obj);
159 fprintf(stderr,"CAF_UNENTERED(");
160 printPtr((StgPtr)caf->body);
161 fprintf(stderr,", ");
162 printPtr((StgPtr)caf->value); /* should be null */
163 fprintf(stderr,", ");
164 printPtr((StgPtr)caf->link); /* should be null */
165 fprintf(stderr,")\n");
171 StgCAF* caf = stgCast(StgCAF*,obj);
172 fprintf(stderr,"CAF_ENTERED(");
173 printPtr((StgPtr)caf->body);
174 fprintf(stderr,", ");
175 printPtr((StgPtr)caf->value);
176 fprintf(stderr,", ");
177 printPtr((StgPtr)caf->link);
178 fprintf(stderr,")\n");
183 fprintf(stderr,"CAF_BH(");
184 printPtr((StgPtr)stgCast(StgBlockingQueue*,obj)->blocking_queue);
185 fprintf(stderr,")\n");
189 fprintf(stderr,"SE_BH\n");
192 case SE_CAF_BLACKHOLE:
193 fprintf(stderr,"SE_CAF_BH\n");
197 fprintf(stderr,"BH\n");
201 fprintf(stderr,"BQ(");
202 printPtr((StgPtr)stgCast(StgBlockingQueue*,obj)->blocking_queue);
203 fprintf(stderr,")\n");
206 #if defined(GRAN) || defined(PAR)
208 fprintf(stderr,"RBH(");
209 printPtr((StgPtr)stgCast(StgRBH*,obj)->blocking_queue);
210 fprintf(stderr,")\n");
215 case CONSTR_1_0: case CONSTR_0_1:
216 case CONSTR_1_1: case CONSTR_0_2: case CONSTR_2_0:
218 case CONSTR_CHARLIKE:
220 case CONSTR_NOCAF_STATIC:
222 /* We can't use printStdObject because we want to print the
226 const StgInfoTable* info = get_itbl(obj);
227 fprintf(stderr,"PACK(");
228 printPtr((StgPtr)obj->header.info);
229 fprintf(stderr,"(tag=%d)",info->srt_len);
230 for (i = 0; i < info->layout.payload.ptrs; ++i) {
231 fprintf(stderr,", ");
232 printPtr(payloadPtr(obj,i));
234 for (j = 0; j < info->layout.payload.nptrs; ++j) {
235 fprintf(stderr,", %x#",payloadWord(obj,i+j));
237 fprintf(stderr,")\n");
242 case FUN_1_0: case FUN_0_1:
243 case FUN_1_1: case FUN_0_2: case FUN_2_0:
245 printStdObject(obj,"FUN");
249 case THUNK_1_0: case THUNK_0_1:
250 case THUNK_1_1: case THUNK_0_2: case THUNK_2_0:
252 /* ToDo: will this work for THUNK_STATIC too? */
253 printStdObject(obj,"THUNK");
259 fprintf(stderr,"ARR_WORDS(\"");
260 /* ToDo: we can't safely assume that this is a string! */
261 for (i = 0; arrWordsGetChar(obj,i); ++i) {
262 putchar(arrWordsGetChar(obj,i));
264 fprintf(stderr,"\")\n");
270 StgUpdateFrame* u = stgCast(StgUpdateFrame*,obj);
271 fprintf(stderr,"UpdateFrame(");
272 printPtr((StgPtr)GET_INFO(u));
274 printPtr((StgPtr)u->updatee);
276 printPtr((StgPtr)u->link);
277 fprintf(stderr,")\n");
283 StgCatchFrame* u = stgCast(StgCatchFrame*,obj);
284 fprintf(stderr,"CatchFrame(");
285 printPtr((StgPtr)GET_INFO(u));
287 printPtr((StgPtr)u->handler);
289 printPtr((StgPtr)u->link);
290 fprintf(stderr,")\n");
296 StgSeqFrame* u = stgCast(StgSeqFrame*,obj);
297 fprintf(stderr,"SeqFrame(");
298 printPtr((StgPtr)GET_INFO(u));
300 printPtr((StgPtr)u->link);
301 fprintf(stderr,")\n");
307 StgStopFrame* u = stgCast(StgStopFrame*,obj);
308 fprintf(stderr,"StopFrame(");
309 printPtr((StgPtr)GET_INFO(u));
310 fprintf(stderr,")\n");
314 //barf("printClosure %d",get_itbl(obj)->type);
315 fprintf(stderr, "*** printClosure: unknown type %d ****\n",
316 get_itbl(obj)->type );
322 void printGraph( StgClosure *obj )
328 StgPtr printStackObj( StgPtr sp )
330 /*fprintf(stderr,"Stack[%d] = ", &stgStack[STACK_SIZE] - sp); */
332 if (IS_ARG_TAG(*sp)) {
335 fprintf(stderr,"Tagged{");
336 for (i = 0; i < tag; i++) {
337 fprintf(stderr,"0x%x#", (unsigned)(*sp++));
338 if (i < tag-1) fprintf(stderr, ", ");
340 fprintf(stderr, "}\n");
342 StgClosure* c = (StgClosure*)(*sp);
343 printPtr((StgPtr)*sp);
345 if (c == &ret_bco_info) {
346 fprintf(stderr, "\t\t");
347 fprintf(stderr, "ret_bco_info\n" );
349 if (IS_HUGS_CONSTR_INFO(GET_INFO(c))) {
350 fprintf(stderr, "\t\t\t");
351 fprintf(stderr, "ConstrInfoTable\n" );
354 if (get_itbl(c)->type == BCO) {
355 fprintf(stderr, "\t\t\t");
356 fprintf(stderr, "BCO(...)\n");
359 fprintf(stderr, "\t\t\t");
360 printClosure ( (StgClosure*)(*sp));
368 void printStackChunk( StgPtr sp, StgPtr spBottom )
371 const StgInfoTable *info;
373 ASSERT(sp <= spBottom);
374 while (sp < spBottom) {
375 if (!IS_ARG_TAG(*sp) && LOOKS_LIKE_GHC_INFO(*sp)) {
376 info = get_itbl((StgClosure *)sp);
377 switch (info->type) {
380 printObj( stgCast(StgClosure*,sp) );
381 sp += sizeofW(StgUpdateFrame);
385 printObj( stgCast(StgClosure*,sp) );
386 sp += sizeofW(StgSeqFrame);
390 printObj( stgCast(StgClosure*,sp) );
391 sp += sizeofW(StgCatchFrame);
395 /* not quite: ASSERT(stgCast(StgPtr,su) == spBottom); */
396 printObj( stgCast(StgClosure*,sp) );
400 fprintf(stderr, "RET_DYN (%p)\n", sp);
403 fprintf(stderr, "Bitmap: 0x%x\n", bitmap);
408 fprintf(stderr, "RET_SMALL (%p)\n", sp);
409 bitmap = info->layout.bitmap;
412 while (bitmap != 0) {
413 fprintf(stderr,"Stack[%d] (%p) = ", spBottom-sp, sp);
414 if ((bitmap & 1) == 0) {
416 fprintf(stderr,"\n");
418 fprintf(stderr,"Word# %d\n", *sp++);
421 bitmap = bitmap >> 1;
433 fprintf(stderr,"Stack[%d] (%p) = ", spBottom-sp, sp);
434 sp = printStackObj(sp);
438 void printStack( StgPtr sp, StgPtr spBottom, StgUpdateFrame* su )
440 /* check everything down to the first update frame */
441 printStackChunk( sp, stgCast(StgPtr,su) );
442 while ( stgCast(StgPtr,su) < spBottom) {
443 sp = stgCast(StgPtr,su);
444 switch (get_itbl(su)->type) {
446 printObj( stgCast(StgClosure*,su) );
447 sp += sizeofW(StgUpdateFrame);
451 printObj( stgCast(StgClosure*,su) );
452 sp += sizeofW(StgSeqFrame);
453 su = stgCast(StgSeqFrame*,su)->link;
456 printObj( stgCast(StgClosure*,su) );
457 sp += sizeofW(StgCatchFrame);
458 su = stgCast(StgCatchFrame*,su)->link;
461 /* not quite: ASSERT(stgCast(StgPtr,su) == spBottom); */
462 printObj( stgCast(StgClosure*,su) );
465 barf("printStack: weird record found on update frame list.");
467 printStackChunk( sp, stgCast(StgPtr,su) );
469 ASSERT(stgCast(StgPtr,su) == spBottom);
472 void printTSO( StgTSO *tso )
474 printStack( tso->sp, tso->stack+tso->stack_size,tso->su);
475 /* printStackChunk( tso->sp, tso->stack+tso->stack_size); */
479 /* --------------------------------------------------------------------------
480 * Address printing code
482 * Uses symbol table in (unstripped executable)
483 * ------------------------------------------------------------------------*/
485 /* --------------------------------------------------------------------------
486 * Simple lookup table
488 * Current implementation is pretty dumb!
489 * ------------------------------------------------------------------------*/
496 static nat max_table_size;
497 static nat table_size;
498 static struct entry* table;
500 static void reset_table( int size )
502 max_table_size = size;
504 table = (struct entry *) malloc(size * sizeof(struct entry));
507 static void prepare_table( void )
509 /* Could sort it... */
512 static void insert( unsigned value, const char *name )
514 if ( table_size >= max_table_size ) {
515 barf( "Symbol table overflow\n" );
517 table[table_size].value = value;
518 table[table_size].name = name;
519 table_size = table_size + 1;
524 static rtsBool lookup_name( char *name, unsigned *result )
527 for( i = 0; i < table_size && strcmp(name,table[i].name) != 0; ++i ) {
529 if (i < table_size) {
530 *result = table[i].value;
538 /* Code from somewhere inside GHC (circa 1994)
540 * "std"++xs -> "Zstd"++xs
541 * char_to_c 'Z' = "ZZ"
542 * char_to_c '&' = "Za"
543 * char_to_c '|' = "Zb"
544 * char_to_c ':' = "Zc"
545 * char_to_c '/' = "Zd"
546 * char_to_c '=' = "Ze"
547 * char_to_c '>' = "Zg"
548 * char_to_c '#' = "Zh"
549 * char_to_c '<' = "Zl"
550 * char_to_c '-' = "Zm"
551 * char_to_c '!' = "Zn"
552 * char_to_c '.' = "Zo"
553 * char_to_c '+' = "Zp"
554 * char_to_c '\'' = "Zq"
555 * char_to_c '*' = "Zt"
556 * char_to_c '_' = "Zu"
557 * char_to_c c = "Z" ++ show (ord c)
559 static char unZcode( char ch )
562 case 'a' : return ('&');
563 case 'b' : return ('|');
564 case 'c' : return (':');
565 case 'd' : return ('/');
566 case 'e' : return ('=');
567 case 'g' : return ('>');
568 case 'h' : return ('#');
569 case 'l' : return ('<');
570 case 'm' : return ('-');
571 case 'n' : return ('!');
572 case 'o' : return ('.');
573 case 'p' : return ('+');
574 case 'q' : return ('\'');
575 case 't' : return ('*');
576 case 'u' : return ('_');
578 case '\0' : return ('Z');
579 default : return (ch);
584 /* Precondition: out big enough to handle output (about twice length of in) */
585 static void enZcode( char *in, char *out )
591 for( i = 0; in[i] != '\0'; ++i ) {
666 rtsBool lookupGHCName( StgPtr addr, const char **result )
669 for( i = 0; i < table_size && table[i].value != (unsigned) addr; ++i ) {
671 if (i < table_size) {
672 *result = table[i].name;
679 static void printZcoded( const char *raw )
683 while ( raw[j] != '\0' ) {
685 fputc(unZcode(raw[j+1]),stderr);
688 fputc(raw[j],stderr);
694 /* --------------------------------------------------------------------------
695 * Symbol table loading
696 * ------------------------------------------------------------------------*/
698 /* Causing linking trouble on Win32 plats, so I'm
699 disabling this for now.
701 #if defined(HAVE_BFD_H) && !defined(_WIN32) && defined(USE_BSD)
705 /* Fairly ad-hoc piece of code that seems to filter out a lot of
706 * rubbish like the obj-splitting symbols
709 static rtsBool isReal( flagword flags, const char *name )
712 /* ToDo: make this work on BFD */
713 int tp = type & N_TYPE;
714 if (tp == N_TEXT || tp == N_DATA) {
715 return (name[0] == '_' && name[1] != '_');
720 (void)flags; /* keep gcc -Wall happy */
722 (name[0] == 'g' && name[1] == 'c' && name[2] == 'c') ||
723 (name[0] == 'c' && name[1] == 'c' && name[2] == '.')) {
730 extern void DEBUG_LoadSymbols( char *name )
736 abfd = bfd_openr(name, "default");
738 barf("can't open executable %s to get symbol table", name);
740 if (!bfd_check_format_matches (abfd, bfd_object, &matching)) {
746 asymbol **symbol_table;
747 long number_of_symbols;
748 long num_real_syms = 0;
751 storage_needed = bfd_get_symtab_upper_bound (abfd);
753 if (storage_needed < 0) {
754 barf("can't read symbol table");
757 if (storage_needed == 0) {
758 belch("no storage needed");
761 symbol_table = (asymbol **) stgMallocBytes(storage_needed,"DEBUG_LoadSymbols");
763 number_of_symbols = bfd_canonicalize_symtab (abfd, symbol_table);
765 if (number_of_symbols < 0) {
766 barf("can't canonicalise symbol table");
769 for( i = 0; i != number_of_symbols; ++i ) {
771 bfd_get_symbol_info(abfd,symbol_table[i],&info);
772 /*fprintf(stderr,"\t%c\t0x%x \t%s\n",info.type,(nat)info.value,info.name); */
773 if (isReal(info.type, info.name)) {
779 fprintf(stderr,"Loaded %ld symbols. Of which %ld are real symbols\n",
780 number_of_symbols, num_real_syms)
783 reset_table( num_real_syms );
785 for( i = 0; i != number_of_symbols; ++i ) {
787 bfd_get_symbol_info(abfd,symbol_table[i],&info);
788 if (isReal(info.type, info.name)) {
789 insert( info.value, info.name );
798 #else /* HAVE_BFD_H */
800 extern void DEBUG_LoadSymbols( char *name )
805 #endif /* HAVE_BFD_H */
807 #include "StoragePriv.h"
816 for (g = 0; g < RtsFlags.GcFlags.generations; g++) {
817 for (s = 0; s < generations[g].n_steps; s++) {
818 for (bd = generations[g].steps[s].blocks; bd; bd = bd->link) {
819 for (q = bd->start; q < bd->free; q++) {
830 void printPtr( StgPtr p )
832 fprintf(stderr, "ptr 0x%p (enable -DDEBUG for more info) " , p );
835 void printObj( StgClosure *obj )
837 fprintf(stderr, "obj 0x%p (enable -DDEBUG for more info) " , obj );