ghc/rts/Printer.c

   1
   2 /* -----------------------------------------------------------------------------
   3  * $Id: Printer.c,v 1.17 1999/11/22 16:44:33 sewardj Exp $
   4  *
   5  * Copyright (c) 1994-1999.
   6  *
   7  * Heap printer
   8  *
   9  * ---------------------------------------------------------------------------*/
  10
  11 #include "Rts.h"
  12 #include "Printer.h"
  13
  14 #ifdef DEBUG
  15
  16 #include "RtsUtils.h"
  17 #include "RtsFlags.h"
  18 #include "Bytecodes.h"  /* for InstrPtr */
  19 #include "Disassembler.h"
  20
  21 /* --------------------------------------------------------------------------
  22  * local function decls
  23  * ------------------------------------------------------------------------*/
  24
  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 );
  32 #endif
  33 static char    unZcode       ( char ch );
  34 rtsBool lookupGHCName ( StgPtr addr, const char **result );
  35 static void    printZcoded   ( const char *raw );
  36
  37 /* --------------------------------------------------------------------------
  38  * Printer
  39  * ------------------------------------------------------------------------*/
  40
  41
  42 #ifdef INTERPRETER
  43 extern void* itblNames[];
  44 extern int   nItblNames;
  45 char* lookupHugsItblName ( void* v )
  46 {
  47    int i;
  48    for (i = 0; i < nItblNames; i += 2)
  49       if (itblNames[i] == v) return itblNames[i+1];
  50    return NULL;
  51 }
  52 #endif
  53
  54 void printPtr( StgPtr p )
  55 {
  56 #ifdef INTERPRETER
  57     char* str;
  58 #endif
  59     const char *raw;
  60     if (lookupGHCName( p, &raw )) {
  61         printZcoded(raw);
  62 #ifdef INTERPRETER
  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);
  67 #endif
  68     } else {
  69         fprintf(stderr, "%p", p);
  70     }
  71 }
  72
  73 void printObj( StgClosure *obj )
  74 {
  75     fprintf(stderr,"Object "); printPtr((StgPtr)obj); fprintf(stderr," = ");
  76     printClosure(obj);
  77 }
  78
  79 static void printStdObject( StgClosure *obj, char* tag )
  80 {
  81     StgWord i, j;
  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) {
  86         fprintf(stderr,", ");
  87         printPtr(payloadPtr(obj,i));
  88     }
  89     for (j = 0; j < info->layout.payload.nptrs; ++j) {
  90         fprintf(stderr,", %xd#",payloadWord(obj,i+j));
  91     }
  92     fprintf(stderr,")\n");
  93 }
  94
  95 void printClosure( StgClosure *obj )
  96 {
  97     switch ( get_itbl(obj)->type ) {
  98     case INVALID_OBJECT:
  99             barf("Invalid object");
 100 #ifdef INTERPRETER
 101     case BCO:
 102             fprintf(stderr,"BCO\n");
 103             disassemble(stgCast(StgBCO*,obj),"\t");
 104             break;
 105 #endif
 106
 107     case AP_UPD:
 108         {
 109             StgAP_UPD* ap = stgCast(StgAP_UPD*,obj);
 110             StgWord i;
 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));
 115             }
 116             fprintf(stderr,")\n");
 117             break;
 118         }
 119
 120     case PAP:
 121         {
 122             StgPAP* pap = stgCast(StgPAP*,obj);
 123             StgWord i;
 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));
 128             }
 129             fprintf(stderr,")\n");
 130             break;
 131         }
 132
 133     case IND:
 134             fprintf(stderr,"IND(");
 135             printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
 136             fprintf(stderr,")\n");
 137             break;
 138
 139     case IND_STATIC:
 140             fprintf(stderr,"IND_STATIC(");
 141             printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
 142             fprintf(stderr,")\n");
 143             break;
 144
 145     case IND_OLDGEN:
 146             fprintf(stderr,"IND_OLDGEN(");
 147             printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
 148             fprintf(stderr,")\n");
 149             break;
 150
 151     case CAF_UNENTERED:
 152         {
 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");
 161             break;
 162         }
 163
 164     case CAF_ENTERED:
 165         {
 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");
 174             break;
 175         }
 176
 177     case CAF_BLACKHOLE:
 178             fprintf(stderr,"CAF_BH(");
 179             printPtr((StgPtr)stgCast(StgBlockingQueue*,obj)->blocking_queue);
 180             fprintf(stderr,")\n");
 181             break;
 182
 183     case SE_BLACKHOLE:
 184             fprintf(stderr,"SE_BH\n");
 185             break;
 186
 187     case SE_CAF_BLACKHOLE:
 188             fprintf(stderr,"SE_CAF_BH\n");
 189             break;
 190
 191     case BLACKHOLE:
 192             fprintf(stderr,"BH\n");
 193             break;
 194
 195     case BLACKHOLE_BQ:
 196             fprintf(stderr,"BQ(");
 197             printPtr((StgPtr)stgCast(StgBlockingQueue*,obj)->blocking_queue);
 198             fprintf(stderr,")\n");
 199             break;
 200
 201     case CONSTR:
 202     case CONSTR_1_0: case CONSTR_0_1:
 203     case CONSTR_1_1: case CONSTR_0_2: case CONSTR_2_0:
 204     case CONSTR_INTLIKE:
 205     case CONSTR_CHARLIKE:
 206     case CONSTR_STATIC:
 207     case CONSTR_NOCAF_STATIC:
 208         {
 209             /* We can't use printStdObject because we want to print the
 210              * tag as well.
 211              */
 212             StgWord i, j;
 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));
 220             }
 221             for (j = 0; j < info->layout.payload.nptrs; ++j) {
 222                 fprintf(stderr,", %x#",payloadWord(obj,i+j));
 223             }
 224             fprintf(stderr,")\n");
 225             break;
 226         }
 227
 228     case FUN:
 229     case FUN_1_0: case FUN_0_1:
 230     case FUN_1_1: case FUN_0_2: case FUN_2_0:
 231     case FUN_STATIC:
 232             printStdObject(obj,"FUN");
 233             break;
 234
 235     case THUNK:
 236     case THUNK_1_0: case THUNK_0_1:
 237     case THUNK_1_1: case THUNK_0_2: case THUNK_2_0:
 238     case THUNK_STATIC:
 239             /* ToDo: will this work for THUNK_STATIC too? */
 240             printStdObject(obj,"THUNK");
 241             break;
 242 #if 0
 243     case ARR_WORDS:
 244         {
 245             StgWord i;
 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));
 250             }
 251             fprintf(stderr,"\")\n");
 252             break;
 253         }
 254 #endif
 255     case UPDATE_FRAME:
 256         {
 257             StgUpdateFrame* u = stgCast(StgUpdateFrame*,obj);
 258             fprintf(stderr,"UpdateFrame(");
 259             printPtr((StgPtr)GET_INFO(u));
 260             fprintf(stderr,",");
 261             printPtr((StgPtr)u->updatee);
 262             fprintf(stderr,",");
 263             printPtr((StgPtr)u->link);
 264             fprintf(stderr,")\n");
 265             break;
 266         }
 267
 268     case CATCH_FRAME:
 269         {
 270             StgCatchFrame* u = stgCast(StgCatchFrame*,obj);
 271             fprintf(stderr,"CatchFrame(");
 272             printPtr((StgPtr)GET_INFO(u));
 273             fprintf(stderr,",");
 274             printPtr((StgPtr)u->handler);
 275             fprintf(stderr,",");
 276             printPtr((StgPtr)u->link);
 277             fprintf(stderr,")\n");
 278             break;
 279         }
 280
 281     case SEQ_FRAME:
 282         {
 283             StgSeqFrame* u = stgCast(StgSeqFrame*,obj);
 284             fprintf(stderr,"SeqFrame(");
 285             printPtr((StgPtr)GET_INFO(u));
 286             fprintf(stderr,",");
 287             printPtr((StgPtr)u->link);
 288             fprintf(stderr,")\n");
 289             break;
 290         }
 291
 292     case STOP_FRAME:
 293         {
 294             StgStopFrame* u = stgCast(StgStopFrame*,obj);
 295             fprintf(stderr,"StopFrame(");
 296             printPtr((StgPtr)GET_INFO(u));
 297             fprintf(stderr,")\n");
 298             break;
 299         }
 300     default:
 301             //barf("printClosure %d",get_itbl(obj)->type);
 302             fprintf(stderr, "*** printClosure: unknown type %d ****\n",
 303                     get_itbl(obj)->type );
 304             return;
 305     }
 306 }
 307
 308 StgPtr printStackObj( StgPtr sp )
 309 {
 310     /*fprintf(stderr,"Stack[%d] = ", &stgStack[STACK_SIZE] - sp); */
 311
 312     if (IS_ARG_TAG(*sp)) {
 313         nat i;
 314         StgWord tag = *sp++;
 315         fprintf(stderr,"Tag: %d words\n", tag);
 316         for (i = 0; i < tag; i++) {
 317             fprintf(stderr,"Word# %d\n", *sp++);
 318         }
 319     } else {
 320         StgClosure* c = (StgClosure*)(*sp);
 321         printPtr((StgPtr)*sp);
 322 #ifdef INTERPRETER
 323         if (c == &ret_bco_info) {
 324            fprintf(stderr, "\t\t");
 325            fprintf(stderr, "ret_bco_info\n" );
 326         } else
 327         if (IS_HUGS_CONSTR_INFO(GET_INFO(c))) {
 328            fprintf(stderr, "\t\t\t");
 329            fprintf(stderr, "ConstrInfoTable\n" );
 330         } else
 331 #endif
 332         if (get_itbl(c)->type == BCO) {
 333            fprintf(stderr, "\t\t\t");
 334            fprintf(stderr, "BCO(...)\n");
 335         }
 336         else {
 337            fprintf(stderr, "\t\t\t");
 338            printClosure ( (StgClosure*)(*sp));
 339         }
 340         sp += 1;
 341     }
 342     return sp;
 343
 344 }
 345
 346 void printStackChunk( StgPtr sp, StgPtr spBottom )
 347 {
 348     StgWord32 bitmap;
 349     const StgInfoTable *info;
 350
 351     ASSERT(sp <= spBottom);
 352     while (sp < spBottom) {
 353       if (!IS_ARG_TAG(*sp) && LOOKS_LIKE_GHC_INFO(*sp)) {
 354         info = get_itbl((StgClosure *)sp);
 355         switch (info->type) {
 356
 357         case UPDATE_FRAME:
 358             printObj( stgCast(StgClosure*,sp) );
 359             sp += sizeofW(StgUpdateFrame);
 360             continue;
 361
 362         case SEQ_FRAME:
 363             printObj( stgCast(StgClosure*,sp) );
 364             sp += sizeofW(StgSeqFrame);
 365             continue;
 366
 367         case CATCH_FRAME:
 368             printObj( stgCast(StgClosure*,sp) );
 369             sp += sizeofW(StgCatchFrame);
 370             continue;
 371
 372         case STOP_FRAME:
 373             /* not quite: ASSERT(stgCast(StgPtr,su) == spBottom); */
 374             printObj( stgCast(StgClosure*,sp) );
 375             continue;
 376
 377         case RET_DYN:
 378           fprintf(stderr, "RET_DYN (%p)\n", sp);
 379           bitmap = *++sp;
 380           ++sp;
 381           fprintf(stderr, "Bitmap: 0x%x\n", bitmap);
 382           goto small_bitmap;
 383
 384         case RET_SMALL:
 385         case RET_VEC_SMALL:
 386           fprintf(stderr, "RET_SMALL (%p)\n", sp);
 387           bitmap = info->layout.bitmap;
 388           sp++;
 389         small_bitmap:
 390           while (bitmap != 0) {
 391             fprintf(stderr,"Stack[%d] (%p) = ", spBottom-sp, sp);
 392             if ((bitmap & 1) == 0) {
 393               printPtr((P_)*sp);
 394               fprintf(stderr,"\n");
 395             } else {
 396               fprintf(stderr,"Word# %d\n", *sp++);
 397             }
 398             sp++;
 399             bitmap = bitmap >> 1;
 400             }
 401           continue;
 402
 403         case RET_BIG:
 404         case RET_VEC_BIG:
 405           barf("todo");
 406
 407         default:
 408           break;
 409         }
 410       }
 411       fprintf(stderr,"Stack[%d] (%p) = ", spBottom-sp, sp);
 412       sp = printStackObj(sp);
 413     }
 414 }
 415
 416 void printStack( StgPtr sp, StgPtr spBottom, StgUpdateFrame* su )
 417 {
 418     /* check everything down to the first update frame */
 419     printStackChunk( sp, stgCast(StgPtr,su) );
 420     while ( stgCast(StgPtr,su) < spBottom) {
 421         sp = stgCast(StgPtr,su);
 422         switch (get_itbl(su)->type) {
 423         case UPDATE_FRAME:
 424                 printObj( stgCast(StgClosure*,su) );
 425                 sp += sizeofW(StgUpdateFrame);
 426                 su = su->link;
 427                 break;
 428         case SEQ_FRAME:
 429                 printObj( stgCast(StgClosure*,su) );
 430                 sp += sizeofW(StgSeqFrame);
 431                 su = stgCast(StgSeqFrame*,su)->link;
 432                 break;
 433         case CATCH_FRAME:
 434                 printObj( stgCast(StgClosure*,su) );
 435                 sp += sizeofW(StgCatchFrame);
 436                 su = stgCast(StgCatchFrame*,su)->link;
 437                 break;
 438         case STOP_FRAME:
 439                 /* not quite: ASSERT(stgCast(StgPtr,su) == spBottom); */
 440                 printObj( stgCast(StgClosure*,su) );
 441                 return;
 442         default:
 443                 barf("printStack: weird record found on update frame list.");
 444         }
 445         printStackChunk( sp, stgCast(StgPtr,su) );
 446     }
 447     ASSERT(stgCast(StgPtr,su) == spBottom);
 448 }
 449
 450 void printTSO( StgTSO *tso )
 451 {
 452     printStack( tso->sp, tso->stack+tso->stack_size,tso->su);
 453     /* printStackChunk( tso->sp, tso->stack+tso->stack_size); */
 454 }
 455
 456
 457 /* --------------------------------------------------------------------------
 458  * Address printing code
 459  *
 460  * Uses symbol table in (unstripped executable)
 461  * ------------------------------------------------------------------------*/
 462
 463 /* --------------------------------------------------------------------------
 464  * Simple lookup table
 465  *
 466  * Current implementation is pretty dumb!
 467  * ------------------------------------------------------------------------*/
 468
 469 struct entry {
 470     nat value;
 471     const char *name;
 472 };
 473
 474 static nat max_table_size;
 475 static nat table_size;
 476 static struct entry* table;
 477
 478 static void reset_table( int size )
 479 {
 480     max_table_size = size;
 481     table_size = 0;
 482     table = (struct entry *) malloc(size * sizeof(struct entry));
 483 }
 484
 485 static void prepare_table( void )
 486 {
 487     /* Could sort it...  */
 488 }
 489
 490 static void insert( unsigned value, const char *name )
 491 {
 492     if ( table_size >= max_table_size ) {
 493         barf( "Symbol table overflow\n" );
 494     }
 495     table[table_size].value = value;
 496     table[table_size].name = name;
 497     table_size = table_size + 1;
 498 }
 499
 500
 501 #if 0
 502 static rtsBool lookup_name( char *name, unsigned *result )
 503 {
 504     int i;
 505     for( i = 0; i < table_size && strcmp(name,table[i].name) != 0; ++i ) {
 506     }
 507     if (i < table_size) {
 508         *result = table[i].value;
 509         return rtsTrue;
 510     } else {
 511         return rtsFalse;
 512     }
 513 }
 514 #endif
 515
 516 /* Code from somewhere inside GHC (circa 1994)
 517  * * Z-escapes:
 518  *     "std"++xs -> "Zstd"++xs
 519  *     char_to_c 'Z'  = "ZZ"
 520  *     char_to_c '&'  = "Za"
 521  *     char_to_c '|'  = "Zb"
 522  *     char_to_c ':'  = "Zc"
 523  *     char_to_c '/'  = "Zd"
 524  *     char_to_c '='  = "Ze"
 525  *     char_to_c '>'  = "Zg"
 526  *     char_to_c '#'  = "Zh"
 527  *     char_to_c '<'  = "Zl"
 528  *     char_to_c '-'  = "Zm"
 529  *     char_to_c '!'  = "Zn"
 530  *     char_to_c '.'  = "Zo"
 531  *     char_to_c '+'  = "Zp"
 532  *     char_to_c '\'' = "Zq"
 533  *     char_to_c '*'  = "Zt"
 534  *     char_to_c '_'  = "Zu"
 535  *     char_to_c c    = "Z" ++ show (ord c)
 536  */
 537 static char unZcode( char ch )
 538 {
 539     switch (ch) {
 540     case 'a'  : return ('&');
 541     case 'b'  : return ('|');
 542     case 'c'  : return (':');
 543     case 'd'  : return ('/');
 544     case 'e'  : return ('=');
 545     case 'g'  : return ('>');
 546     case 'h'  : return ('#');
 547     case 'l'  : return ('<');
 548     case 'm'  : return ('-');
 549     case 'n'  : return ('!');
 550     case 'o'  : return ('.');
 551     case 'p'  : return ('+');
 552     case 'q'  : return ('\'');
 553     case 't'  : return ('*');
 554     case 'u'  : return ('_');
 555     case 'Z'  :
 556     case '\0' : return ('Z');
 557     default   : return (ch);
 558     }
 559 }
 560
 561 #if 0
 562 /* Precondition: out big enough to handle output (about twice length of in) */
 563 static void enZcode( char *in, char *out )
 564 {
 565     int i, j;
 566
 567     j = 0;
 568     out[ j++ ] = '_';
 569     for( i = 0; in[i] != '\0'; ++i ) {
 570         switch (in[i]) {
 571         case 'Z'  :
 572                 out[j++] = 'Z';
 573                 out[j++] = 'Z';
 574                 break;
 575         case '&'  :
 576                 out[j++] = 'Z';
 577                 out[j++] = 'a';
 578                 break;
 579         case '|'  :
 580                 out[j++] = 'Z';
 581                 out[j++] = 'b';
 582                 break;
 583         case ':'  :
 584                 out[j++] = 'Z';
 585                 out[j++] = 'c';
 586                 break;
 587         case '/'  :
 588                 out[j++] = 'Z';
 589                 out[j++] = 'd';
 590                 break;
 591         case '='  :
 592                 out[j++] = 'Z';
 593                 out[j++] = 'e';
 594                 break;
 595         case '>'  :
 596                 out[j++] = 'Z';
 597                 out[j++] = 'g';
 598                 break;
 599         case '#'  :
 600                 out[j++] = 'Z';
 601                 out[j++] = 'h';
 602                 break;
 603         case '<'  :
 604                 out[j++] = 'Z';
 605                 out[j++] = 'l';
 606                 break;
 607         case '-'  :
 608                 out[j++] = 'Z';
 609                 out[j++] = 'm';
 610                 break;
 611         case '!'  :
 612                 out[j++] = 'Z';
 613                 out[j++] = 'n';
 614                 break;
 615         case '.'  :
 616                 out[j++] = 'Z';
 617                 out[j++] = 'o';
 618                 break;
 619         case '+'  :
 620                 out[j++] = 'Z';
 621                 out[j++] = 'p';
 622                 break;
 623         case '\'' :
 624                 out[j++] = 'Z';
 625                 out[j++] = 'q';
 626                 break;
 627         case '*'  :
 628                 out[j++] = 'Z';
 629                 out[j++] = 't';
 630                 break;
 631         case '_'  :
 632                 out[j++] = 'Z';
 633                 out[j++] = 'u';
 634                 break;
 635         default :
 636                 out[j++] = in[i];
 637                 break;
 638         }
 639     }
 640     out[j] = '\0';
 641 }
 642 #endif
 643
 644 rtsBool lookupGHCName( StgPtr addr, const char **result )
 645 {
 646     nat i;
 647     for( i = 0; i < table_size && table[i].value != (unsigned) addr; ++i ) {
 648     }
 649     if (i < table_size) {
 650         *result = table[i].name;
 651         return rtsTrue;
 652     } else {
 653         return rtsFalse;
 654     }
 655 }
 656
 657 static void printZcoded( const char *raw )
 658 {
 659     nat j = 0;
 660
 661     while ( raw[j] != '\0' ) {
 662         if (raw[j] == 'Z') {
 663             fputc(unZcode(raw[j+1]),stderr);
 664             j = j + 2;
 665         } else {
 666             fputc(raw[j],stderr);
 667             j = j + 1;
 668         }
 669     }
 670 }
 671
 672 /* --------------------------------------------------------------------------
 673  * Symbol table loading
 674  * ------------------------------------------------------------------------*/
 675
 676 /* Causing linking trouble on Win32 plats, so I'm
 677    disabling this for now.
 678 */
 679 #if defined(HAVE_BFD_H) && !defined(_WIN32)
 680
 681 #include <bfd.h>
 682
 683 /* Fairly ad-hoc piece of code that seems to filter out a lot of
 684  * rubbish like the obj-splitting symbols
 685  */
 686
 687 static rtsBool isReal( flagword flags, const char *name )
 688 {
 689 #if 0
 690     /* ToDo: make this work on BFD */
 691     int tp = type & N_TYPE;
 692     if (tp == N_TEXT || tp == N_DATA) {
 693         return (name[0] == '_' && name[1] != '_');
 694     } else {
 695         return rtsFalse;
 696     }
 697 #else
 698     (void)flags;   /* keep gcc -Wall happy */
 699     if (*name == '\0'  ||
 700         (name[0] == 'g' && name[1] == 'c' && name[2] == 'c') ||
 701         (name[0] == 'c' && name[1] == 'c' && name[2] == '.')) {
 702         return rtsFalse;
 703     }
 704     return rtsTrue;
 705 #endif
 706 }
 707
 708 extern void DEBUG_LoadSymbols( char *name )
 709 {
 710     bfd* abfd;
 711     char **matching;
 712
 713     bfd_init();
 714     abfd = bfd_openr(name, "default");
 715     if (abfd == NULL) {
 716         barf("can't open executable %s to get symbol table", name);
 717     }
 718     if (!bfd_check_format_matches (abfd, bfd_object, &matching)) {
 719         barf("mismatch");
 720     }
 721
 722     {
 723         long storage_needed;
 724         asymbol **symbol_table;
 725         long number_of_symbols;
 726         long num_real_syms = 0;
 727         long i;
 728
 729         storage_needed = bfd_get_symtab_upper_bound (abfd);
 730
 731         if (storage_needed < 0) {
 732             barf("can't read symbol table");
 733         }
 734 #if 0
 735         if (storage_needed == 0) {
 736             belch("no storage needed");
 737         }
 738 #endif
 739         symbol_table = (asymbol **) stgMallocBytes(storage_needed,"DEBUG_LoadSymbols");
 740
 741         number_of_symbols = bfd_canonicalize_symtab (abfd, symbol_table);
 742
 743         if (number_of_symbols < 0) {
 744             barf("can't canonicalise symbol table");
 745         }
 746
 747         for( i = 0; i != number_of_symbols; ++i ) {
 748             symbol_info info;
 749             bfd_get_symbol_info(abfd,symbol_table[i],&info);
 750             /*fprintf(stderr,"\t%c\t0x%x      \t%s\n",info.type,(nat)info.value,info.name); */
 751             if (isReal(info.type, info.name)) {
 752                 num_real_syms += 1;
 753             }
 754         }
 755
 756         IF_DEBUG(evaluator,
 757                  fprintf(stderr,"Loaded %ld symbols. Of which %ld are real symbols\n",
 758                          number_of_symbols, num_real_syms)
 759                  );
 760
 761         reset_table( num_real_syms );
 762
 763         for( i = 0; i != number_of_symbols; ++i ) {
 764             symbol_info info;
 765             bfd_get_symbol_info(abfd,symbol_table[i],&info);
 766             if (isReal(info.type, info.name)) {
 767                 insert( info.value, info.name );
 768             }
 769         }
 770
 771         free(symbol_table);
 772     }
 773     prepare_table();
 774 }
 775
 776 #else /* HAVE_BFD_H */
 777
 778 extern void DEBUG_LoadSymbols( char *name )
 779 {
 780   /* nothing, yet */
 781 }
 782
 783 #endif /* HAVE_BFD_H */
 784
 785 #include "StoragePriv.h"
 786
 787 void
 788 findPtr(P_ p)
 789 {
 790   nat s, g;
 791   P_ q;
 792   bdescr *bd;
 793
 794   for (g = 0; g < RtsFlags.GcFlags.generations; g++) {
 795     for (s = 0; s < generations[g].n_steps; s++) {
 796       for (bd = generations[g].steps[s].blocks; bd; bd = bd->link) {
 797         for (q = bd->start; q < bd->free; q++) {
 798           if (*q == (W_)p) {
 799             printf("%p\n", q);
 800           }
 801         }
 802       }
 803     }
 804   }
 805 }
 806
 807 #else /* DEBUG */
 808 void printPtr( StgPtr p )
 809 {
 810     fprintf(stderr, "ptr 0x%p (enable -DDEBUG for more info) " , p );
 811 }
 812
 813 void printObj( StgClosure *obj )
 814 {
 815     fprintf(stderr, "obj 0x%p (enable -DDEBUG for more info) " , obj );
 816 }
 817 #endif /* DEBUG */