/* -----------------------------------------------------------------------------
- * $Id: Printer.c,v 1.44 2001/08/09 11:19:16 sewardj Exp $
+ * $Id: Printer.c,v 1.60 2003/05/14 09:13:59 simonmar Exp $
*
* (c) The GHC Team, 1994-2000.
*
*
* ---------------------------------------------------------------------------*/
+#include "PosixSource.h"
#include "Rts.h"
#include "Printer.h"
+#include <stdio.h>
+
#ifdef DEBUG
#include "RtsUtils.h"
#include "Bytecodes.h" /* for InstrPtr */
#include "Disassembler.h"
-#include "Printer.h"
+#include <stdlib.h>
+#include <string.h>
#if defined(GRAN) || defined(PAR)
// HWL: explicit fixed header size to make debugging easier
int fixed_hs = FIXED_HS, itbl_sz = sizeofW(StgInfoTable),
- uf_sz=sizeofW(StgUpdateFrame), sf_sz=sizeofW(StgSeqFrame);
+ uf_sz=sizeofW(StgUpdateFrame);
#endif
/* --------------------------------------------------------------------------
* ------------------------------------------------------------------------*/
static void printStdObject( StgClosure *obj, char* tag );
+static void printStdObjPayload( StgClosure *obj );
+#ifdef USING_LIBBFD
static void reset_table ( int size );
static void prepare_table ( void );
static void insert ( unsigned value, const char *name );
+#endif
#if 0 /* unused but might be useful sometime */
static rtsBool lookup_name ( char *name, unsigned *result );
static void enZcode ( char *in, char *out );
#endif
static char unZcode ( char ch );
-rtsBool lookupGHCName ( StgPtr addr, const char **result );
+const char * lookupGHCName ( void *addr );
static void printZcoded ( const char *raw );
/* --------------------------------------------------------------------------
void printPtr( StgPtr p )
{
const char *raw;
- if (lookupGHCName( p, &raw )) {
+ raw = lookupGHCName(p);
+ if (raw != NULL) {
printZcoded(raw);
} else {
fprintf(stderr, "%p", p);
printClosure(obj);
}
-static void printStdObject( StgClosure *obj, char* tag )
+static inline void
+printStdObjHdr( StgClosure *obj, char* tag )
{
- StgWord i, j;
- const StgInfoTable* info = get_itbl(obj);
fprintf(stderr,"%s(",tag);
printPtr((StgPtr)obj->header.info);
#ifdef PROFILING
fprintf(stderr,", %s", obj->header.prof.ccs->cc->label);
#endif
+}
+
+static void
+printStdObjPayload( StgClosure *obj )
+{
+ StgWord i, j;
+ const StgInfoTable* info;
+
+ info = get_itbl(obj);
for (i = 0; i < info->layout.payload.ptrs; ++i) {
fprintf(stderr,", ");
printPtr((StgPtr)obj->payload[i]);
fprintf(stderr,")\n");
}
-void printClosure( StgClosure *obj )
+static void
+printStdObject( StgClosure *obj, char* tag )
+{
+ printStdObjHdr( obj, tag );
+ printStdObjPayload( obj );
+}
+
+void
+printClosure( StgClosure *obj )
{
StgInfoTable *info;
switch ( info->type ) {
case INVALID_OBJECT:
barf("Invalid object");
+
+ case CONSTR:
+ case CONSTR_1_0: case CONSTR_0_1:
+ case CONSTR_1_1: case CONSTR_0_2: case CONSTR_2_0:
+ case CONSTR_INTLIKE:
+ case CONSTR_CHARLIKE:
+ case CONSTR_STATIC:
+ case CONSTR_NOCAF_STATIC:
+ {
+ /* We can't use printStdObject because we want to print the
+ * tag as well.
+ */
+ StgWord i, j;
+#ifdef PROFILING
+ fprintf(stderr,"%s(", info->prof.closure_desc);
+ fprintf(stderr,"%s", obj->header.prof.ccs->cc->label);
+#else
+ fprintf(stderr,"CONSTR(");
+ printPtr((StgPtr)obj->header.info);
+ fprintf(stderr,"(tag=%d)",info->srt_bitmap);
+#endif
+ for (i = 0; i < info->layout.payload.ptrs; ++i) {
+ fprintf(stderr,", ");
+ printPtr((StgPtr)obj->payload[i]);
+ }
+ for (j = 0; j < info->layout.payload.nptrs; ++j) {
+ fprintf(stderr,", %p#", obj->payload[i+j]);
+ }
+ fprintf(stderr,")\n");
+ break;
+ }
+
+ case FUN:
+ case FUN_1_0: case FUN_0_1:
+ case FUN_1_1: case FUN_0_2: case FUN_2_0:
+ case FUN_STATIC:
+ fprintf(stderr,"FUN/%d(",itbl_to_fun_itbl(info)->arity);
+ printPtr((StgPtr)obj->header.info);
+#ifdef PROFILING
+ fprintf(stderr,", %s", obj->header.prof.ccs->cc->label);
+#endif
+ printStdObjPayload(obj);
+ break;
+
+ case THUNK:
+ case THUNK_1_0: case THUNK_0_1:
+ case THUNK_1_1: case THUNK_0_2: case THUNK_2_0:
+ case THUNK_STATIC:
+ /* ToDo: will this work for THUNK_STATIC too? */
+#ifdef PROFILING
+ printStdObject(obj,info->prof.closure_desc);
+#else
+ printStdObject(obj,"THUNK");
+#endif
+ break;
+
+ case THUNK_SELECTOR:
+ printStdObjHdr(obj, "THUNK_SELECTOR");
+ fprintf(stderr, ", %p)\n", ((StgSelector *)obj)->selectee);
+ break;
+
case BCO:
disassemble( (StgBCO*)obj );
break;
- case AP_UPD:
+ case AP:
{
- StgAP_UPD* ap = stgCast(StgAP_UPD*,obj);
+ StgPAP* ap = stgCast(StgPAP*,obj);
StgWord i;
- fprintf(stderr,"AP_UPD("); printPtr((StgPtr)ap->fun);
+ fprintf(stderr,"AP("); printPtr((StgPtr)ap->fun);
for (i = 0; i < ap->n_args; ++i) {
fprintf(stderr,", ");
printPtr((P_)ap->payload[i]);
{
StgPAP* pap = stgCast(StgPAP*,obj);
StgWord i;
- fprintf(stderr,"PAP("); printPtr((StgPtr)pap->fun);
+ fprintf(stderr,"PAP/%d(",pap->arity);
+ printPtr((StgPtr)pap->fun);
for (i = 0; i < pap->n_args; ++i) {
fprintf(stderr,", ");
printPtr((StgPtr)pap->payload[i]);
break;
}
- case FOREIGN:
- fprintf(stderr,"FOREIGN(");
- printPtr((StgPtr)( ((StgForeignObj*)obj)->data ));
- fprintf(stderr,")\n");
+ case AP_STACK:
+ {
+ StgAP_STACK* ap = stgCast(StgAP_STACK*,obj);
+ StgWord i;
+ fprintf(stderr,"AP_STACK("); printPtr((StgPtr)ap->fun);
+ for (i = 0; i < ap->size; ++i) {
+ fprintf(stderr,", ");
+ printPtr((P_)ap->payload[i]);
+ }
+ fprintf(stderr,")\n");
break;
+ }
case IND:
fprintf(stderr,"IND(");
fprintf(stderr,")\n");
break;
+ case IND_OLDGEN:
+ fprintf(stderr,"IND_OLDGEN(");
+ printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
+ fprintf(stderr,")\n");
+ break;
+
+ case IND_PERM:
+ fprintf(stderr,"IND(");
+ printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
+ fprintf(stderr,")\n");
+ break;
+
+ case IND_OLDGEN_PERM:
+ fprintf(stderr,"IND_OLDGEN_PERM(");
+ printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
+ fprintf(stderr,")\n");
+ break;
+
case IND_STATIC:
fprintf(stderr,"IND_STATIC(");
printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
fprintf(stderr,")\n");
break;
- case IND_OLDGEN:
- fprintf(stderr,"IND_OLDGEN(");
- printPtr((StgPtr)stgCast(StgInd*,obj)->indirectee);
+ /* Cannot happen -- use default case.
+ case RET_BCO:
+ case RET_SMALL:
+ case RET_VEC_SMALL:
+ case RET_BIG:
+ case RET_VEC_BIG:
+ case RET_DYN:
+ case RET_FUN:
+ */
+
+ case UPDATE_FRAME:
+ {
+ StgUpdateFrame* u = stgCast(StgUpdateFrame*,obj);
+ fprintf(stderr,"UPDATE_FRAME(");
+ printPtr((StgPtr)GET_INFO(u));
+ fprintf(stderr,",");
+ printPtr((StgPtr)u->updatee);
+ fprintf(stderr,")\n");
+ break;
+ }
+
+ case CATCH_FRAME:
+ {
+ StgCatchFrame* u = stgCast(StgCatchFrame*,obj);
+ fprintf(stderr,"CATCH_FRAME(");
+ printPtr((StgPtr)GET_INFO(u));
+ fprintf(stderr,",");
+ printPtr((StgPtr)u->handler);
+ fprintf(stderr,")\n");
+ break;
+ }
+
+ case STOP_FRAME:
+ {
+ StgStopFrame* u = stgCast(StgStopFrame*,obj);
+ fprintf(stderr,"STOP_FRAME(");
+ printPtr((StgPtr)GET_INFO(u));
fprintf(stderr,")\n");
break;
+ }
case CAF_BLACKHOLE:
fprintf(stderr,"CAF_BH(");
fprintf(stderr,")\n");
break;
+ case BLACKHOLE:
+ fprintf(stderr,"BH\n");
+ break;
+
+ case BLACKHOLE_BQ:
+ fprintf(stderr,"BQ(");
+ printPtr((StgPtr)stgCast(StgBlockingQueue*,obj)->blocking_queue);
+ fprintf(stderr,")\n");
+ break;
+
case SE_BLACKHOLE:
fprintf(stderr,"SE_BH\n");
break;
fprintf(stderr,"SE_CAF_BH\n");
break;
- case BLACKHOLE:
- fprintf(stderr,"BH\n");
+ case ARR_WORDS:
+ {
+ StgWord i;
+ fprintf(stderr,"ARR_WORDS(\"");
+ /* ToDo: we can't safely assume that this is a string!
+ for (i = 0; arrWordsGetChar(obj,i); ++i) {
+ putchar(arrWordsGetChar(obj,i));
+ } */
+ for (i=0; i<((StgArrWords *)obj)->words; i++)
+ fprintf(stderr, "%u", ((StgArrWords *)obj)->payload[i]);
+ fprintf(stderr,"\")\n");
break;
+ }
- case BLACKHOLE_BQ:
- fprintf(stderr,"BQ(");
- printPtr((StgPtr)stgCast(StgBlockingQueue*,obj)->blocking_queue);
+ case MUT_ARR_PTRS:
+ fprintf(stderr,"MUT_ARR_PTRS(size=%d)\n", ((StgMutArrPtrs *)obj)->ptrs);
+ break;
+
+ case MUT_ARR_PTRS_FROZEN:
+#if !defined(XMLAMBDA)
+ fprintf(stderr,"MUT_ARR_PTRS_FROZEN(size=%d)\n", ((StgMutArrPtrs *)obj)->ptrs);
+ break;
+#else
+ {
+ /* rows are mutarrays in xmlambda, maybe we should make a new type: ROW */
+ StgWord i;
+ StgMutArrPtrs* p = stgCast(StgMutArrPtrs*,obj);
+
+ fprintf(stderr,"Row<%i>(",p->ptrs);
+ for (i = 0; i < p->ptrs; ++i) {
+ if (i > 0) fprintf(stderr,", ");
+ printPtr((StgPtr)(p->payload[i]));
+ }
+ fprintf(stderr,")\n");
+ break;
+ }
+#endif
+
+ case MUT_VAR:
+ {
+ StgMutVar* mv = (StgMutVar*)obj;
+ fprintf(stderr,"MUT_VAR(var=%p, link=%p)\n", mv->var, mv->mut_link);
+ break;
+ }
+
+ case WEAK:
+ fprintf(stderr,"WEAK(");
+ fprintf(stderr," key=%p value=%p finalizer=%p",
+ (StgPtr)(((StgWeak*)obj)->key),
+ (StgPtr)(((StgWeak*)obj)->value),
+ (StgPtr)(((StgWeak*)obj)->finalizer));
+ fprintf(stderr,")\n");
+ /* ToDo: chase 'link' ? */
+ break;
+
+ case FOREIGN:
+ fprintf(stderr,"FOREIGN(");
+ printPtr((StgPtr)( ((StgForeignObj*)obj)->data ));
fprintf(stderr,")\n");
break;
+ case STABLE_NAME:
+ fprintf(stderr,"STABLE_NAME(%d)\n", ((StgStableName*)obj)->sn);
+ break;
+
case TSO:
fprintf(stderr,"TSO(");
fprintf(stderr,"%d (%p)",((StgTSO*)obj)->id, (StgTSO*)obj);
fprintf(stderr,")\n");
break;
-#ifdef DIST
- case REMOTE_REF:
- fprintf(stderr,"REMOTE_REF(");
- printGA((globalAddr *)stgCast(StgFetchMe*,obj)->ga);
- fprintf(stderr,")\n");
- break;
-#endif
-
case FETCH_ME_BQ:
fprintf(stderr,"FETCH_ME_BQ(");
// printGA((globalAddr *)stgCast(StgFetchMe*,obj)->ga);
fprintf(stderr,")\n");
break;
#endif
+
#if defined(GRAN) || defined(PAR)
case RBH:
fprintf(stderr,"RBH(");
#endif
- case CONSTR:
- case CONSTR_1_0: case CONSTR_0_1:
- case CONSTR_1_1: case CONSTR_0_2: case CONSTR_2_0:
- case CONSTR_INTLIKE:
- case CONSTR_CHARLIKE:
- case CONSTR_STATIC:
- case CONSTR_NOCAF_STATIC:
- {
- /* We can't use printStdObject because we want to print the
- * tag as well.
- */
- StgWord i, j;
-#ifdef PROFILING
- fprintf(stderr,"%s(", info->prof.closure_desc);
- fprintf(stderr,"%s", obj->header.prof.ccs->cc->label);
-#else
- fprintf(stderr,"CONSTR(");
- printPtr((StgPtr)obj->header.info);
- fprintf(stderr,"(tag=%d)",info->srt_len);
+#if 0
+ /* Symptomatic of a problem elsewhere, have it fall-through & fail */
+ case EVACUATED:
+ fprintf(stderr,"EVACUATED(");
+ printClosure((StgEvacuated*)obj->evacuee);
+ fprintf(stderr,")\n");
+ break;
#endif
- for (i = 0; i < info->layout.payload.ptrs; ++i) {
- fprintf(stderr,", ");
- printPtr((StgPtr)obj->payload[i]);
- }
- for (j = 0; j < info->layout.payload.nptrs; ++j) {
- fprintf(stderr,", %p#", obj->payload[i+j]);
- }
- fprintf(stderr,")\n");
- break;
- }
-#ifdef XMLAMBDA
-/* rows are mutarrays in xmlambda, maybe we should make a new type: ROW */
- case MUT_ARR_PTRS_FROZEN:
- {
- StgWord i;
- StgMutArrPtrs* p = stgCast(StgMutArrPtrs*,obj);
-
- fprintf(stderr,"Row<%i>(",p->ptrs);
- for (i = 0; i < p->ptrs; ++i) {
- if (i > 0) fprintf(stderr,", ");
- printPtr((StgPtr)(p->payload[i]));
- }
- fprintf(stderr,")\n");
- break;
- }
-#endif
-
- case FUN:
- case FUN_1_0: case FUN_0_1:
- case FUN_1_1: case FUN_0_2: case FUN_2_0:
- case FUN_STATIC:
- printStdObject(obj,"FUN");
- break;
-
- case THUNK:
- case THUNK_1_0: case THUNK_0_1:
- case THUNK_1_1: case THUNK_0_2: case THUNK_2_0:
- case THUNK_STATIC:
- /* ToDo: will this work for THUNK_STATIC too? */
-#ifdef PROFILING
- printStdObject(obj,info->prof.closure_desc);
-#else
- printStdObject(obj,"THUNK");
+#if defined(PAR) && defined(DIST)
+ case REMOTE_REF:
+ fprintf(stderr,"REMOTE_REF(");
+ printGA((globalAddr *)stgCast(StgFetchMe*,obj)->ga);
+ fprintf(stderr,")\n");
+ break;
#endif
- break;
-
- case THUNK_SELECTOR:
- printStdObject(obj,"THUNK_SELECTOR");
- break;
-
- case ARR_WORDS:
- {
- StgWord i;
- fprintf(stderr,"ARR_WORDS(\"");
- /* ToDo: we can't safely assume that this is a string!
- for (i = 0; arrWordsGetChar(obj,i); ++i) {
- putchar(arrWordsGetChar(obj,i));
- } */
- for (i=0; i<((StgArrWords *)obj)->words; i++)
- fprintf(stderr, "%ld", ((StgArrWords *)obj)->payload[i]);
- fprintf(stderr,"\")\n");
- break;
- }
-
- case UPDATE_FRAME:
- {
- StgUpdateFrame* u = stgCast(StgUpdateFrame*,obj);
- fprintf(stderr,"UpdateFrame(");
- printPtr((StgPtr)GET_INFO(u));
- fprintf(stderr,",");
- printPtr((StgPtr)u->updatee);
- fprintf(stderr,",");
- printPtr((StgPtr)u->link);
- fprintf(stderr,")\n");
- break;
- }
-
- case CATCH_FRAME:
- {
- StgCatchFrame* u = stgCast(StgCatchFrame*,obj);
- fprintf(stderr,"CatchFrame(");
- printPtr((StgPtr)GET_INFO(u));
- fprintf(stderr,",");
- printPtr((StgPtr)u->handler);
- fprintf(stderr,",");
- printPtr((StgPtr)u->link);
- fprintf(stderr,")\n");
- break;
- }
-
- case SEQ_FRAME:
- {
- StgSeqFrame* u = stgCast(StgSeqFrame*,obj);
- fprintf(stderr,"SeqFrame(");
- printPtr((StgPtr)GET_INFO(u));
- fprintf(stderr,",");
- printPtr((StgPtr)u->link);
- fprintf(stderr,")\n");
- break;
- }
- case STOP_FRAME:
- {
- StgStopFrame* u = stgCast(StgStopFrame*,obj);
- fprintf(stderr,"StopFrame(");
- printPtr((StgPtr)GET_INFO(u));
- fprintf(stderr,")\n");
- break;
- }
default:
//barf("printClosure %d",get_itbl(obj)->type);
fprintf(stderr, "*** printClosure: unknown type %d ****\n",
}
*/
-StgPtr printStackObj( StgPtr sp )
+StgPtr
+printStackObj( StgPtr sp )
{
/*fprintf(stderr,"Stack[%d] = ", &stgStack[STACK_SIZE] - sp); */
- if (IS_ARG_TAG(*sp)) {
- nat i;
- StgWord tag = *sp++;
- fprintf(stderr,"Tagged{");
- for (i = 0; i < tag; i++) {
- fprintf(stderr,"0x%x#", (unsigned)(*sp++));
- if (i < tag-1) fprintf(stderr, ", ");
- }
- fprintf(stderr, "}\n");
- } else {
StgClosure* c = (StgClosure*)(*sp);
printPtr((StgPtr)*sp);
if (c == (StgClosure*)&stg_ctoi_ret_R1p_info) {
printClosure ( (StgClosure*)(*sp));
}
sp += 1;
- }
+
return sp;
}
-void printStackChunk( StgPtr sp, StgPtr spBottom )
+static void
+printSmallBitmap( StgPtr spBottom, StgPtr payload, StgWord bitmap, nat size )
+{
+ StgPtr p;
+ nat i;
+
+ p = payload;
+ for(i = 0; i < size; i++, bitmap >>= 1 ) {
+ fprintf(stderr," stk[%d] (%p) = ", spBottom-(payload+i), payload+i);
+ if ((bitmap & 1) == 0) {
+ printPtr((P_)payload[i]);
+ fprintf(stderr,"\n");
+ } else {
+ fprintf(stderr,"Word# %d\n", payload[i]);
+ }
+ }
+}
+
+static void
+printLargeBitmap( StgPtr spBottom, StgPtr payload, StgLargeBitmap* large_bitmap, nat size )
+{
+ StgWord bmp;
+ nat i, j;
+
+ i = 0;
+ for (bmp=0; i < size; bmp++) {
+ StgWord bitmap = large_bitmap->bitmap[bmp];
+ j = 0;
+ for(; i < size && j < BITS_IN(W_); j++, i++, bitmap >>= 1 ) {
+ fprintf(stderr," stk[%d] (%p) = ", spBottom-(payload+i), payload+i);
+ if ((bitmap & 1) == 0) {
+ printPtr((P_)payload[i]);
+ fprintf(stderr,"\n");
+ } else {
+ fprintf(stderr,"Word# %d\n", payload[i]);
+ }
+ }
+ }
+}
+
+void
+printStackChunk( StgPtr sp, StgPtr spBottom )
{
StgWord bitmap;
const StgInfoTable *info;
ASSERT(sp <= spBottom);
- while (sp < spBottom) {
- if (!IS_ARG_TAG(*sp) && LOOKS_LIKE_GHC_INFO(*sp)) {
+ for (; sp < spBottom; sp += stack_frame_sizeW((StgClosure *)sp)) {
+
info = get_itbl((StgClosure *)sp);
- switch (info->type) {
+ switch (info->type) {
+
case UPDATE_FRAME:
- printObj( stgCast(StgClosure*,sp) );
- sp += sizeofW(StgUpdateFrame);
- continue;
-
- case SEQ_FRAME:
- printObj( stgCast(StgClosure*,sp) );
- sp += sizeofW(StgSeqFrame);
- continue;
-
case CATCH_FRAME:
- printObj( stgCast(StgClosure*,sp) );
- sp += sizeofW(StgCatchFrame);
- continue;
-
case STOP_FRAME:
- /* not quite: ASSERT(stgCast(StgPtr,su) == spBottom); */
- printObj( stgCast(StgClosure*,sp) );
+ printObj((StgClosure*)sp);
continue;
case RET_DYN:
- fprintf(stderr, "RET_DYN (%p)\n", sp);
- bitmap = *++sp;
- ++sp;
- fprintf(stderr, "Bitmap: 0x%x\n", bitmap);
- goto small_bitmap;
+ {
+ StgRetDyn* r;
+ StgPtr p;
+ StgWord dyn;
+ nat size;
+
+ r = (StgRetDyn *)sp;
+ dyn = r->liveness;
+ fprintf(stderr, "RET_DYN (%p)\n", r);
+
+ p = (P_)(r->payload);
+ printSmallBitmap(spBottom, sp,
+ GET_LIVENESS(r->liveness), RET_DYN_BITMAP_SIZE);
+ p += RET_DYN_BITMAP_SIZE + RET_DYN_NONPTR_REGS_SIZE;
+
+ for (size = GET_NONPTRS(dyn); size > 0; size--) {
+ fprintf(stderr," stk[%ld] (%p) = ", (long)(spBottom-p), p);
+ fprintf(stderr,"Word# %ld\n", (long)*p);
+ p++;
+ }
+
+ for (size = GET_PTRS(dyn); size > 0; size--) {
+ fprintf(stderr," stk[%ld] (%p) = ", (long)(spBottom-p), p);
+ printPtr(p);
+ p++;
+ }
+ continue;
+ }
case RET_SMALL:
case RET_VEC_SMALL:
- fprintf(stderr, "RET_SMALL (%p)\n", sp);
- bitmap = info->layout.bitmap;
- sp++;
- small_bitmap:
- while (bitmap != 0) {
- fprintf(stderr," stk[%ld] (%p) = ", spBottom-sp, sp);
- if ((bitmap & 1) == 0) {
- printPtr((P_)*sp);
- fprintf(stderr,"\n");
- } else {
- fprintf(stderr,"Word# %ld\n", *sp++);
- }
- sp++;
- bitmap = bitmap >> 1;
- }
- continue;
+ fprintf(stderr, "RET_SMALL (%p)\n", sp);
+ bitmap = info->layout.bitmap;
+ printSmallBitmap(spBottom, sp+1,
+ BITMAP_BITS(bitmap), BITMAP_SIZE(bitmap));
+ continue;
- case RET_BIG:
- case RET_VEC_BIG:
- barf("todo");
+ case RET_BCO: {
+ StgBCO *bco;
+
+ bco = ((StgBCO *)sp[1]);
- default:
- break;
+ fprintf(stderr, "RET_BCO (%p)\n", sp);
+ printLargeBitmap(spBottom, sp+2,
+ BCO_BITMAP(bco), BCO_BITMAP_SIZE(bco));
+ continue;
}
- }
- fprintf(stderr,"Stack[%ld] (%p) = ", spBottom-sp, sp);
- sp = printStackObj(sp);
- }
-}
-void printStack( StgPtr sp, StgPtr spBottom, StgUpdateFrame* su )
-{
- /* check everything down to the first update frame */
- printStackChunk( sp, stgCast(StgPtr,su) );
- while ( stgCast(StgPtr,su) < spBottom) {
- sp = stgCast(StgPtr,su);
- switch (get_itbl(su)->type) {
- case UPDATE_FRAME:
- printObj( stgCast(StgClosure*,su) );
- sp += sizeofW(StgUpdateFrame);
- su = su->link;
- break;
- case SEQ_FRAME:
- printObj( stgCast(StgClosure*,su) );
- sp += sizeofW(StgSeqFrame);
- su = stgCast(StgSeqFrame*,su)->link;
- break;
- case CATCH_FRAME:
- printObj( stgCast(StgClosure*,su) );
- sp += sizeofW(StgCatchFrame);
- su = stgCast(StgCatchFrame*,su)->link;
- break;
- case STOP_FRAME:
- /* not quite: ASSERT(stgCast(StgPtr,su) == spBottom); */
- printObj( stgCast(StgClosure*,su) );
- return;
+ case RET_BIG:
+ case RET_VEC_BIG:
+ barf("todo");
+
default:
- barf("printStack: weird record found on update frame list.");
+ barf("printStackChunk");
}
- printStackChunk( sp, stgCast(StgPtr,su) );
}
- ASSERT(stgCast(StgPtr,su) == spBottom);
}
void printTSO( StgTSO *tso )
{
- printStack( tso->sp, tso->stack+tso->stack_size,tso->su);
- /* printStackChunk( tso->sp, tso->stack+tso->stack_size); */
+ printStackChunk( tso->sp, tso->stack+tso->stack_size);
}
/* -----------------------------------------------------------------------------
-------------------------------------------------------------------------- */
static char *closure_type_names[] = {
- "INVALID_OBJECT", /* 0 */
- "CONSTR", /* 1 */
- "CONSTR_1_0", /* 2 */
- "CONSTR_0_1", /* 3 */
- "CONSTR_2_0", /* 4 */
- "CONSTR_1_1", /* 5 */
- "CONSTR_0_2", /* 6 */
- "CONSTR_INTLIKE", /* 7 */
- "CONSTR_CHARLIKE", /* 8 */
- "CONSTR_STATIC", /* 9 */
- "CONSTR_NOCAF_STATIC", /* 10 */
- "FUN", /* 11 */
- "FUN_1_0", /* 12 */
- "FUN_0_1", /* 13 */
- "FUN_2_0", /* 14 */
- "FUN_1_1", /* 15 */
- "FUN_0_2", /* 16 */
- "FUN_STATIC", /* 17 */
- "THUNK", /* 18 */
- "THUNK_1_0", /* 19 */
- "THUNK_0_1", /* 20 */
- "THUNK_2_0", /* 21 */
- "THUNK_1_1", /* 22 */
- "THUNK_0_2", /* 23 */
- "THUNK_STATIC", /* 24 */
- "THUNK_SELECTOR", /* 25 */
- "BCO", /* 26 */
- "AP_UPD", /* 27 */
- "PAP", /* 28 */
- "IND", /* 29 */
- "IND_OLDGEN", /* 30 */
- "IND_PERM", /* 31 */
- "IND_OLDGEN_PERM", /* 32 */
- "IND_STATIC", /* 33 */
- "CAF_BLACKHOLE", /* 36 */
- "RET_BCO", /* 37 */
- "RET_SMALL", /* 38 */
- "RET_VEC_SMALL", /* 39 */
- "RET_BIG", /* 40 */
- "RET_VEC_BIG", /* 41 */
- "RET_DYN", /* 42 */
- "UPDATE_FRAME", /* 43 */
- "CATCH_FRAME", /* 44 */
- "STOP_FRAME", /* 45 */
- "SEQ_FRAME", /* 46 */
- "BLACKHOLE", /* 47 */
- "BLACKHOLE_BQ", /* 48 */
- "SE_BLACKHOLE", /* 49 */
- "SE_CAF_BLACKHOLE", /* 50 */
- "MVAR", /* 51 */
- "ARR_WORDS", /* 52 */
- "MUT_ARR_PTRS", /* 53 */
- "MUT_ARR_PTRS_FROZEN", /* 54 */
- "MUT_VAR", /* 55 */
- "WEAK", /* 56 */
- "FOREIGN", /* 57 */
- "STABLE_NAME", /* 58 */
- "TSO", /* 59 */
- "BLOCKED_FETCH", /* 60 */
- "FETCH_ME", /* 61 */
- "FETCH_ME_BQ", /* 62 */
- "RBH", /* 63 */
- "EVACUATED", /* 64 */
- "REMOTE_REF", /* 65 */
- "N_CLOSURE_TYPES" /* 66 */
+ "INVALID_OBJECT",
+ "CONSTR",
+ "CONSTR_1",
+ "CONSTR_0",
+ "CONSTR_2",
+ "CONSTR_1",
+ "CONSTR_0",
+ "CONSTR_INTLIKE",
+ "CONSTR_CHARLIKE",
+ "CONSTR_STATIC",
+ "CONSTR_NOCAF_STATIC",
+ "FUN",
+ "FUN_1_0",
+ "FUN_0_1",
+ "FUN_2_0",
+ "FUN_1_1",
+ "FUN_0",
+ "FUN_STATIC",
+ "THUNK",
+ "THUNK_1_0",
+ "THUNK_0_1",
+ "THUNK_2_0",
+ "THUNK_1_1",
+ "THUNK_0",
+ "THUNK_STATIC",
+ "THUNK_SELECTOR",
+ "BCO",
+ "AP_UPD",
+ "PAP",
+ "AP_STACK",
+ "IND",
+ "IND_OLDGEN",
+ "IND_PERM",
+ "IND_OLDGEN_PERM",
+ "IND_STATIC",
+ "RET_BCO",
+ "RET_SMALL",
+ "RET_VEC_SMALL",
+ "RET_BIG",
+ "RET_VEC_BIG",
+ "RET_DYN",
+ "RET_FUN",
+ "UPDATE_FRAME",
+ "CATCH_FRAME",
+ "STOP_FRAME",
+ "CAF_BLACKHOLE",
+ "BLACKHOLE",
+ "BLACKHOLE_BQ",
+ "SE_BLACKHOLE",
+ "SE_CAF_BLACKHOLE",
+ "MVAR",
+ "ARR_WORDS",
+ "MUT_ARR_PTRS",
+ "MUT_ARR_PTRS_FROZEN",
+ "MUT_VAR",
+ "MUT_CONS",
+ "WEAK",
+ "FOREIGN",
+ "STABLE_NAME",
+ "TSO",
+ "BLOCKED_FETCH",
+ "FETCH_ME",
+ "FETCH_ME_BQ",
+ "RBH",
+ "EVACUATED",
+ "REMOTE_REF"
};
+
char *
info_type(StgClosure *closure){
return closure_type_names[get_itbl(closure)->type];
const char *name;
};
-static nat max_table_size;
static nat table_size;
static struct entry* table;
+#ifdef USING_LIBBFD
+static nat max_table_size;
+
static void reset_table( int size )
{
max_table_size = size;
table_size = 0;
- table = (struct entry *) malloc(size * sizeof(struct entry));
+ table = (struct entry *)stgMallocBytes(size * sizeof(struct entry), "Printer.c:reset_table()");
}
static void prepare_table( void )
table[table_size].name = name;
table_size = table_size + 1;
}
-
+#endif
#if 0
static rtsBool lookup_name( char *name, unsigned *result )
}
#endif
-rtsBool lookupGHCName( StgPtr addr, const char **result )
+const char *lookupGHCName( void *addr )
{
nat i;
for( i = 0; i < table_size && table[i].value != (unsigned) addr; ++i ) {
}
if (i < table_size) {
- *result = table[i].name;
- return rtsTrue;
+ return table[i].name;
} else {
- return rtsFalse;
+ return NULL;
}
}
* rubbish like the obj-splitting symbols
*/
-static rtsBool isReal( flagword flags, const char *name )
+static rtsBool isReal( flagword flags STG_UNUSED, const char *name )
{
#if 0
/* ToDo: make this work on BFD */
return rtsFalse;
}
#else
- (void)flags; /* keep gcc -Wall happy */
if (*name == '\0' ||
(name[0] == 'g' && name[1] == 'c' && name[2] == 'c') ||
(name[0] == 'c' && name[1] == 'c' && name[2] == '.')) {
}
}
- IF_DEBUG(evaluator,
+ IF_DEBUG(interpreter,
fprintf(stderr,"Loaded %ld symbols. Of which %ld are real symbols\n",
number_of_symbols, num_real_syms)
);
insert( info.value, info.name );
}
}
-
- free(symbol_table);
+
+ stgFree(symbol_table);
}
prepare_table();
}
if (*q == (W_)p) {
if (i < arr_size) {
r = q;
- while (!LOOKS_LIKE_GHC_INFO(*r)) { r--; };
+ while (!LOOKS_LIKE_INFO_PTR(*r) || (P_)*r == NULL) {
+ r--;
+ }
fprintf(stderr, "%p = ", r);
printClosure((StgClosure *)r);
arr[i++] = r;