2 /* -----------------------------------------------------------------------------
3 * $Id: Printer.c,v 1.18 1999/11/29 18:59:46 sewardj Exp $
5 * Copyright (c) 1994-1999.
9 * ---------------------------------------------------------------------------*/
18 #include "Bytecodes.h" /* for InstrPtr */
19 #include "Disassembler.h"
21 /* --------------------------------------------------------------------------
22 * local function decls
23 * ------------------------------------------------------------------------*/
25 static void printStdObject( StgClosure *obj, char* tag );
26 static void reset_table ( int size );
27 static void prepare_table ( void );
28 static void insert ( unsigned value, const char *name );
29 #if 0 /* unused but might be useful sometime */
30 static rtsBool lookup_name ( char *name, unsigned *result );
31 static void enZcode ( char *in, char *out );
33 static char unZcode ( char ch );
34 rtsBool lookupGHCName ( StgPtr addr, const char **result );
35 static void printZcoded ( const char *raw );
37 /* --------------------------------------------------------------------------
39 * ------------------------------------------------------------------------*/
43 extern void* itblNames[];
44 extern int nItblNames;
45 char* lookupHugsItblName ( void* v )
48 for (i = 0; i < nItblNames; i += 2)
49 if (itblNames[i] == v) return itblNames[i+1];
54 void printPtr( StgPtr p )
60 if (lookupGHCName( p, &raw )) {
63 } else if ((raw = lookupHugsName(p)) != 0) {
64 fprintf(stderr, "%s", raw);
65 } else if ((str = lookupHugsItblName(p)) != 0) {
66 fprintf(stderr, "%p=%s", p, str);
69 fprintf(stderr, "%p", p);
73 void printObj( StgClosure *obj )
75 fprintf(stderr,"Object "); printPtr((StgPtr)obj); fprintf(stderr," = ");
79 static void printStdObject( StgClosure *obj, char* tag )
82 const StgInfoTable* info = get_itbl(obj);
83 fprintf(stderr,"%s(",tag);
84 printPtr((StgPtr)obj->header.info);
85 for (i = 0; i < info->layout.payload.ptrs; ++i) {
87 printPtr(payloadPtr(obj,i));
89 for (j = 0; j < info->layout.payload.nptrs; ++j) {
90 fprintf(stderr,", %xd#",payloadWord(obj,i+j));
92 fprintf(stderr,")\n");
95 void printClosure( StgClosure *obj )
97 switch ( get_itbl(obj)->type ) {
99 barf("Invalid object");
102 fprintf(stderr,"BCO\n");
103 disassemble(stgCast(StgBCO*,obj),"\t");
109 StgAP_UPD* ap = stgCast(StgAP_UPD*,obj);
111 fprintf(stderr,"AP_UPD("); printPtr((StgPtr)ap->fun);
112 for (i = 0; i < ap->n_args; ++i) {
113 fprintf(stderr,", ");
114 printPtr(payloadPtr(ap,i));
116 fprintf(stderr,")\n");
122 StgPAP* pap = stgCast(StgPAP*,obj);
124 fprintf(stderr,"PAP("); printPtr((StgPtr)pap->fun);
125 for (i = 0; i < pap->n_args; ++i) {
126 fprintf(stderr,", ");
127 printPtr(payloadPtr(pap,i));
129 fprintf(stderr,")\n");
134 fprintf(stderr,"IND(");
135 printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
136 fprintf(stderr,")\n");
140 fprintf(stderr,"IND_STATIC(");
141 printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
142 fprintf(stderr,")\n");
146 fprintf(stderr,"IND_OLDGEN(");
147 printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
148 fprintf(stderr,")\n");
153 StgCAF* caf = stgCast(StgCAF*,obj);
154 fprintf(stderr,"CAF_UNENTERED(");
155 printPtr((StgPtr)caf->body);
156 fprintf(stderr,", ");
157 printPtr((StgPtr)caf->value); /* should be null */
158 fprintf(stderr,", ");
159 printPtr((StgPtr)caf->link); /* should be null */
160 fprintf(stderr,")\n");
166 StgCAF* caf = stgCast(StgCAF*,obj);
167 fprintf(stderr,"CAF_ENTERED(");
168 printPtr((StgPtr)caf->body);
169 fprintf(stderr,", ");
170 printPtr((StgPtr)caf->value);
171 fprintf(stderr,", ");
172 printPtr((StgPtr)caf->link);
173 fprintf(stderr,")\n");
178 fprintf(stderr,"CAF_BH(");
179 printPtr((StgPtr)stgCast(StgBlockingQueue*,obj)->blocking_queue);
180 fprintf(stderr,")\n");
184 fprintf(stderr,"SE_BH\n");
187 case SE_CAF_BLACKHOLE:
188 fprintf(stderr,"SE_CAF_BH\n");
192 fprintf(stderr,"BH\n");
196 fprintf(stderr,"BQ(");
197 printPtr((StgPtr)stgCast(StgBlockingQueue*,obj)->blocking_queue);
198 fprintf(stderr,")\n");
202 case CONSTR_1_0: case CONSTR_0_1:
203 case CONSTR_1_1: case CONSTR_0_2: case CONSTR_2_0:
205 case CONSTR_CHARLIKE:
207 case CONSTR_NOCAF_STATIC:
209 /* We can't use printStdObject because we want to print the
213 const StgInfoTable* info = get_itbl(obj);
214 fprintf(stderr,"PACK(");
215 printPtr((StgPtr)obj->header.info);
216 fprintf(stderr,"(tag=%d)",info->srt_len);
217 for (i = 0; i < info->layout.payload.ptrs; ++i) {
218 fprintf(stderr,", ");
219 printPtr(payloadPtr(obj,i));
221 for (j = 0; j < info->layout.payload.nptrs; ++j) {
222 fprintf(stderr,", %x#",payloadWord(obj,i+j));
224 fprintf(stderr,")\n");
229 case FUN_1_0: case FUN_0_1:
230 case FUN_1_1: case FUN_0_2: case FUN_2_0:
232 printStdObject(obj,"FUN");
236 case THUNK_1_0: case THUNK_0_1:
237 case THUNK_1_1: case THUNK_0_2: case THUNK_2_0:
239 /* ToDo: will this work for THUNK_STATIC too? */
240 printStdObject(obj,"THUNK");
246 fprintf(stderr,"ARR_WORDS(\"");
247 /* ToDo: we can't safely assume that this is a string! */
248 for (i = 0; arrWordsGetChar(obj,i); ++i) {
249 putchar(arrWordsGetChar(obj,i));
251 fprintf(stderr,"\")\n");
257 StgUpdateFrame* u = stgCast(StgUpdateFrame*,obj);
258 fprintf(stderr,"UpdateFrame(");
259 printPtr((StgPtr)GET_INFO(u));
261 printPtr((StgPtr)u->updatee);
263 printPtr((StgPtr)u->link);
264 fprintf(stderr,")\n");
270 StgCatchFrame* u = stgCast(StgCatchFrame*,obj);
271 fprintf(stderr,"CatchFrame(");
272 printPtr((StgPtr)GET_INFO(u));
274 printPtr((StgPtr)u->handler);
276 printPtr((StgPtr)u->link);
277 fprintf(stderr,")\n");
283 StgSeqFrame* u = stgCast(StgSeqFrame*,obj);
284 fprintf(stderr,"SeqFrame(");
285 printPtr((StgPtr)GET_INFO(u));
287 printPtr((StgPtr)u->link);
288 fprintf(stderr,")\n");
294 StgStopFrame* u = stgCast(StgStopFrame*,obj);
295 fprintf(stderr,"StopFrame(");
296 printPtr((StgPtr)GET_INFO(u));
297 fprintf(stderr,")\n");
301 //barf("printClosure %d",get_itbl(obj)->type);
302 fprintf(stderr, "*** printClosure: unknown type %d ****\n",
303 get_itbl(obj)->type );
308 StgPtr printStackObj( StgPtr sp )
310 /*fprintf(stderr,"Stack[%d] = ", &stgStack[STACK_SIZE] - sp); */
312 if (IS_ARG_TAG(*sp)) {
315 fprintf(stderr,"Tagged{");
316 for (i = 0; i < tag; i++) {
317 fprintf(stderr,"0x%x#", (unsigned)(*sp++));
318 if (i < tag-1) fprintf(stderr, ", ");
320 fprintf(stderr, "}\n");
322 StgClosure* c = (StgClosure*)(*sp);
323 printPtr((StgPtr)*sp);
325 if (c == &ret_bco_info) {
326 fprintf(stderr, "\t\t");
327 fprintf(stderr, "ret_bco_info\n" );
329 if (IS_HUGS_CONSTR_INFO(GET_INFO(c))) {
330 fprintf(stderr, "\t\t\t");
331 fprintf(stderr, "ConstrInfoTable\n" );
334 if (get_itbl(c)->type == BCO) {
335 fprintf(stderr, "\t\t\t");
336 fprintf(stderr, "BCO(...)\n");
339 fprintf(stderr, "\t\t\t");
340 printClosure ( (StgClosure*)(*sp));
348 void printStackChunk( StgPtr sp, StgPtr spBottom )
351 const StgInfoTable *info;
353 ASSERT(sp <= spBottom);
354 while (sp < spBottom) {
355 if (!IS_ARG_TAG(*sp) && LOOKS_LIKE_GHC_INFO(*sp)) {
356 info = get_itbl((StgClosure *)sp);
357 switch (info->type) {
360 printObj( stgCast(StgClosure*,sp) );
361 sp += sizeofW(StgUpdateFrame);
365 printObj( stgCast(StgClosure*,sp) );
366 sp += sizeofW(StgSeqFrame);
370 printObj( stgCast(StgClosure*,sp) );
371 sp += sizeofW(StgCatchFrame);
375 /* not quite: ASSERT(stgCast(StgPtr,su) == spBottom); */
376 printObj( stgCast(StgClosure*,sp) );
380 fprintf(stderr, "RET_DYN (%p)\n", sp);
383 fprintf(stderr, "Bitmap: 0x%x\n", bitmap);
388 fprintf(stderr, "RET_SMALL (%p)\n", sp);
389 bitmap = info->layout.bitmap;
392 while (bitmap != 0) {
393 fprintf(stderr,"Stack[%d] (%p) = ", spBottom-sp, sp);
394 if ((bitmap & 1) == 0) {
396 fprintf(stderr,"\n");
398 fprintf(stderr,"Word# %d\n", *sp++);
401 bitmap = bitmap >> 1;
413 fprintf(stderr,"Stack[%d] (%p) = ", spBottom-sp, sp);
414 sp = printStackObj(sp);
418 void printStack( StgPtr sp, StgPtr spBottom, StgUpdateFrame* su )
420 /* check everything down to the first update frame */
421 printStackChunk( sp, stgCast(StgPtr,su) );
422 while ( stgCast(StgPtr,su) < spBottom) {
423 sp = stgCast(StgPtr,su);
424 switch (get_itbl(su)->type) {
426 printObj( stgCast(StgClosure*,su) );
427 sp += sizeofW(StgUpdateFrame);
431 printObj( stgCast(StgClosure*,su) );
432 sp += sizeofW(StgSeqFrame);
433 su = stgCast(StgSeqFrame*,su)->link;
436 printObj( stgCast(StgClosure*,su) );
437 sp += sizeofW(StgCatchFrame);
438 su = stgCast(StgCatchFrame*,su)->link;
441 /* not quite: ASSERT(stgCast(StgPtr,su) == spBottom); */
442 printObj( stgCast(StgClosure*,su) );
445 barf("printStack: weird record found on update frame list.");
447 printStackChunk( sp, stgCast(StgPtr,su) );
449 ASSERT(stgCast(StgPtr,su) == spBottom);
452 void printTSO( StgTSO *tso )
454 printStack( tso->sp, tso->stack+tso->stack_size,tso->su);
455 /* printStackChunk( tso->sp, tso->stack+tso->stack_size); */
459 /* --------------------------------------------------------------------------
460 * Address printing code
462 * Uses symbol table in (unstripped executable)
463 * ------------------------------------------------------------------------*/
465 /* --------------------------------------------------------------------------
466 * Simple lookup table
468 * Current implementation is pretty dumb!
469 * ------------------------------------------------------------------------*/
476 static nat max_table_size;
477 static nat table_size;
478 static struct entry* table;
480 static void reset_table( int size )
482 max_table_size = size;
484 table = (struct entry *) malloc(size * sizeof(struct entry));
487 static void prepare_table( void )
489 /* Could sort it... */
492 static void insert( unsigned value, const char *name )
494 if ( table_size >= max_table_size ) {
495 barf( "Symbol table overflow\n" );
497 table[table_size].value = value;
498 table[table_size].name = name;
499 table_size = table_size + 1;
504 static rtsBool lookup_name( char *name, unsigned *result )
507 for( i = 0; i < table_size && strcmp(name,table[i].name) != 0; ++i ) {
509 if (i < table_size) {
510 *result = table[i].value;
518 /* Code from somewhere inside GHC (circa 1994)
520 * "std"++xs -> "Zstd"++xs
521 * char_to_c 'Z' = "ZZ"
522 * char_to_c '&' = "Za"
523 * char_to_c '|' = "Zb"
524 * char_to_c ':' = "Zc"
525 * char_to_c '/' = "Zd"
526 * char_to_c '=' = "Ze"
527 * char_to_c '>' = "Zg"
528 * char_to_c '#' = "Zh"
529 * char_to_c '<' = "Zl"
530 * char_to_c '-' = "Zm"
531 * char_to_c '!' = "Zn"
532 * char_to_c '.' = "Zo"
533 * char_to_c '+' = "Zp"
534 * char_to_c '\'' = "Zq"
535 * char_to_c '*' = "Zt"
536 * char_to_c '_' = "Zu"
537 * char_to_c c = "Z" ++ show (ord c)
539 static char unZcode( char ch )
542 case 'a' : return ('&');
543 case 'b' : return ('|');
544 case 'c' : return (':');
545 case 'd' : return ('/');
546 case 'e' : return ('=');
547 case 'g' : return ('>');
548 case 'h' : return ('#');
549 case 'l' : return ('<');
550 case 'm' : return ('-');
551 case 'n' : return ('!');
552 case 'o' : return ('.');
553 case 'p' : return ('+');
554 case 'q' : return ('\'');
555 case 't' : return ('*');
556 case 'u' : return ('_');
558 case '\0' : return ('Z');
559 default : return (ch);
564 /* Precondition: out big enough to handle output (about twice length of in) */
565 static void enZcode( char *in, char *out )
571 for( i = 0; in[i] != '\0'; ++i ) {
646 rtsBool lookupGHCName( StgPtr addr, const char **result )
649 for( i = 0; i < table_size && table[i].value != (unsigned) addr; ++i ) {
651 if (i < table_size) {
652 *result = table[i].name;
659 static void printZcoded( const char *raw )
663 while ( raw[j] != '\0' ) {
665 fputc(unZcode(raw[j+1]),stderr);
668 fputc(raw[j],stderr);
674 /* --------------------------------------------------------------------------
675 * Symbol table loading
676 * ------------------------------------------------------------------------*/
678 /* Causing linking trouble on Win32 plats, so I'm
679 disabling this for now.
681 #if defined(HAVE_BFD_H) && !defined(_WIN32)
685 /* Fairly ad-hoc piece of code that seems to filter out a lot of
686 * rubbish like the obj-splitting symbols
689 static rtsBool isReal( flagword flags, const char *name )
692 /* ToDo: make this work on BFD */
693 int tp = type & N_TYPE;
694 if (tp == N_TEXT || tp == N_DATA) {
695 return (name[0] == '_' && name[1] != '_');
700 (void)flags; /* keep gcc -Wall happy */
702 (name[0] == 'g' && name[1] == 'c' && name[2] == 'c') ||
703 (name[0] == 'c' && name[1] == 'c' && name[2] == '.')) {
710 extern void DEBUG_LoadSymbols( char *name )
716 abfd = bfd_openr(name, "default");
718 barf("can't open executable %s to get symbol table", name);
720 if (!bfd_check_format_matches (abfd, bfd_object, &matching)) {
726 asymbol **symbol_table;
727 long number_of_symbols;
728 long num_real_syms = 0;
731 storage_needed = bfd_get_symtab_upper_bound (abfd);
733 if (storage_needed < 0) {
734 barf("can't read symbol table");
737 if (storage_needed == 0) {
738 belch("no storage needed");
741 symbol_table = (asymbol **) stgMallocBytes(storage_needed,"DEBUG_LoadSymbols");
743 number_of_symbols = bfd_canonicalize_symtab (abfd, symbol_table);
745 if (number_of_symbols < 0) {
746 barf("can't canonicalise symbol table");
749 for( i = 0; i != number_of_symbols; ++i ) {
751 bfd_get_symbol_info(abfd,symbol_table[i],&info);
752 /*fprintf(stderr,"\t%c\t0x%x \t%s\n",info.type,(nat)info.value,info.name); */
753 if (isReal(info.type, info.name)) {
759 fprintf(stderr,"Loaded %ld symbols. Of which %ld are real symbols\n",
760 number_of_symbols, num_real_syms)
763 reset_table( num_real_syms );
765 for( i = 0; i != number_of_symbols; ++i ) {
767 bfd_get_symbol_info(abfd,symbol_table[i],&info);
768 if (isReal(info.type, info.name)) {
769 insert( info.value, info.name );
778 #else /* HAVE_BFD_H */
780 extern void DEBUG_LoadSymbols( char *name )
785 #endif /* HAVE_BFD_H */
787 #include "StoragePriv.h"
796 for (g = 0; g < RtsFlags.GcFlags.generations; g++) {
797 for (s = 0; s < generations[g].n_steps; s++) {
798 for (bd = generations[g].steps[s].blocks; bd; bd = bd->link) {
799 for (q = bd->start; q < bd->free; q++) {
810 void printPtr( StgPtr p )
812 fprintf(stderr, "ptr 0x%p (enable -DDEBUG for more info) " , p );
815 void printObj( StgClosure *obj )
817 fprintf(stderr, "obj 0x%p (enable -DDEBUG for more info) " , obj );