-/* -*- mode: hugs-c; -*- */
/* -----------------------------------------------------------------------------
- * $Id: Printer.c,v 1.5 1999/02/05 14:44:43 simonm Exp $
+ * $Id: Printer.c,v 1.60 2003/05/14 09:13:59 simonmar Exp $
*
- * Copyright (c) 1994-1998.
+ * (c) The GHC Team, 1994-2000.
*
* Heap printer
*
* ---------------------------------------------------------------------------*/
+#include "PosixSource.h"
#include "Rts.h"
+#include "Printer.h"
+
+#include <stdio.h>
#ifdef DEBUG
#include "RtsUtils.h"
#include "RtsFlags.h"
+#include "MBlock.h"
+#include "Storage.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);
+#endif
/* --------------------------------------------------------------------------
* local function decls
* ------------------------------------------------------------------------*/
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 );
/* --------------------------------------------------------------------------
* Printer
* ------------------------------------------------------------------------*/
-extern void printPtr( StgPtr p )
+void printPtr( StgPtr p )
{
const char *raw;
- if (lookupGHCName( p, &raw )) {
+ raw = lookupGHCName(p);
+ if (raw != NULL) {
printZcoded(raw);
-#ifdef INTERPRETER
- } else if ((raw = lookupHugsName(p)) != 0) {
- fprintf(stderr, "%s", raw);
-#endif
} 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(payloadPtr(obj,i));
+ printPtr((StgPtr)obj->payload[i]);
}
for (j = 0; j < info->layout.payload.nptrs; ++j) {
- fprintf(stderr,", %xd#",payloadWord(obj,i+j));
+ fprintf(stderr,", %pd#",obj->payload[i+j]);
}
fprintf(stderr,")\n");
}
-void printClosure( StgClosure *obj )
+static void
+printStdObject( StgClosure *obj, char* tag )
{
- switch ( get_itbl(obj)->type ) {
+ printStdObjHdr( obj, tag );
+ printStdObjPayload( obj );
+}
+
+void
+printClosure( StgClosure *obj )
+{
+ StgInfoTable *info;
+
+ info = get_itbl(obj);
+
+ switch ( info->type ) {
case INVALID_OBJECT:
barf("Invalid object");
-#ifdef INTERPRETER
- case BCO:
- fprintf(stderr,"BCO\n");
- disassemble(stgCast(StgBCO*,obj),"\t");
+
+ 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 AP_UPD:
+ 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:
{
- 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(payloadPtr(ap,i));
+ printPtr((P_)ap->payload[i]);
}
fprintf(stderr,")\n");
break;
{
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(payloadPtr(pap,i));
+ printPtr((StgPtr)pap->payload[i]);
+ }
+ fprintf(stderr,")\n");
+ break;
+ }
+
+ 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;
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 CAF_UNENTERED:
+ case CATCH_FRAME:
{
- StgCAF* caf = stgCast(StgCAF*,obj);
- fprintf(stderr,"CAF_UNENTERED(");
- printPtr((StgPtr)caf->body);
- fprintf(stderr,", ");
- printPtr((StgPtr)caf->value); /* should be null */
- fprintf(stderr,", ");
- printPtr((StgPtr)caf->link); /* should be null */
+ 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 CAF_ENTERED:
+ case STOP_FRAME:
{
- StgCAF* caf = stgCast(StgCAF*,obj);
- fprintf(stderr,"CAF_ENTERED(");
- printPtr((StgPtr)caf->body);
- fprintf(stderr,", ");
- printPtr((StgPtr)caf->value);
- fprintf(stderr,", ");
- printPtr((StgPtr)caf->link);
+ StgStopFrame* u = stgCast(StgStopFrame*,obj);
+ fprintf(stderr,"STOP_FRAME(");
+ printPtr((StgPtr)GET_INFO(u));
fprintf(stderr,")\n");
break;
}
fprintf(stderr,")\n");
break;
- 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;
- const StgInfoTable* info = get_itbl(obj);
- fprintf(stderr,"PACK(");
- printPtr((StgPtr)obj->header.info);
- fprintf(stderr,"(tag=%d)",info->srt_len);
- for (i = 0; i < info->layout.payload.ptrs; ++i) {
- fprintf(stderr,", ");
- printPtr(payloadPtr(obj,i));
- }
- for (j = 0; j < info->layout.payload.nptrs; ++j) {
- fprintf(stderr,", %x#",payloadWord(obj,i+j));
- }
- fprintf(stderr,")\n");
+ case SE_BLACKHOLE:
+ fprintf(stderr,"SE_BH\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:
- printStdObject(obj,"FUN");
+ case SE_CAF_BLACKHOLE:
+ fprintf(stderr,"SE_CAF_BH\n");
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? */
- printStdObject(obj,"THUNK");
- break;
-#if 0
case ARR_WORDS:
{
StgWord i;
fprintf(stderr,"ARR_WORDS(\"");
- /* ToDo: we can't safely assume that this is a string! */
+ /* 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;
}
-#endif
- 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");
+
+ 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 CATCH_FRAME:
+ case MUT_VAR:
{
- 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;
+ StgMutVar* mv = (StgMutVar*)obj;
+ fprintf(stderr,"MUT_VAR(var=%p, link=%p)\n", mv->var, mv->mut_link);
+ break;
}
- case SEQ_FRAME:
- {
- StgSeqFrame* u = stgCast(StgSeqFrame*,obj);
- fprintf(stderr,"SeqFrame(");
- printPtr((StgPtr)GET_INFO(u));
- fprintf(stderr,",");
- printPtr((StgPtr)u->link);
+ 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 STOP_FRAME:
- {
- StgStopFrame* u = stgCast(StgStopFrame*,obj);
- fprintf(stderr,"StopFrame(");
- printPtr((StgPtr)GET_INFO(u));
+ 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;
+
+#if defined(PAR)
+ case BLOCKED_FETCH:
+ fprintf(stderr,"BLOCKED_FETCH(");
+ printGA(&(stgCast(StgBlockedFetch*,obj)->ga));
+ printPtr((StgPtr)(stgCast(StgBlockedFetch*,obj)->node));
+ fprintf(stderr,")\n");
+ break;
+
+ case FETCH_ME:
+ fprintf(stderr,"FETCH_ME(");
+ printGA((globalAddr *)stgCast(StgFetchMe*,obj)->ga);
+ fprintf(stderr,")\n");
+ break;
+
+ case FETCH_ME_BQ:
+ fprintf(stderr,"FETCH_ME_BQ(");
+ // printGA((globalAddr *)stgCast(StgFetchMe*,obj)->ga);
+ printPtr((StgPtr)stgCast(StgFetchMeBlockingQueue*,obj)->blocking_queue);
+ fprintf(stderr,")\n");
+ break;
+#endif
+
+#if defined(GRAN) || defined(PAR)
+ case RBH:
+ fprintf(stderr,"RBH(");
+ printPtr((StgPtr)stgCast(StgRBH*,obj)->blocking_queue);
+ fprintf(stderr,")\n");
+ break;
+
+#endif
+
+#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
+
+#if defined(PAR) && defined(DIST)
+ case REMOTE_REF:
+ fprintf(stderr,"REMOTE_REF(");
+ printGA((globalAddr *)stgCast(StgFetchMe*,obj)->ga);
+ fprintf(stderr,")\n");
+ break;
+#endif
+
default:
+ //barf("printClosure %d",get_itbl(obj)->type);
+ fprintf(stderr, "*** printClosure: unknown type %d ****\n",
+ get_itbl(obj)->type );
barf("printClosure %d",get_itbl(obj)->type);
return;
}
}
-StgPtr printStackObj( StgPtr sp )
+/*
+void printGraph( StgClosure *obj )
{
- /*fprintf(stderr,"Stack[%d] = ", &stgStack[STACK_SIZE] - sp); */
-
- if (IS_ARG_TAG(*sp)) {
+ printClosure(obj);
+}
+*/
-#ifdef DEBUG_EXTRA
- StackTag tag = (StackTag)*sp;
- switch ( tag ) {
- case ILLEGAL_TAG:
- barf("printStackObj: ILLEGAL_TAG");
- break;
- case REALWORLD_TAG:
- fprintf(stderr,"RealWorld#\n");
- break;
- case INT_TAG:
- fprintf(stderr,"Int# %d\n", *(StgInt*)(sp+1));
- break;
- case INT64_TAG:
- fprintf(stderr,"Int64# %lld\n", *(StgInt64*)(sp+1));
- break;
- case WORD_TAG:
- fprintf(stderr,"Word# %d\n", *(StgWord*)(sp+1));
- break;
- case ADDR_TAG:
- fprintf(stderr,"Addr# "); printPtr(*(StgAddr*)(sp+1)); fprintf(stderr,"\n");
- break;
- case CHAR_TAG:
- fprintf(stderr,"Char# %d\n", *(StgChar*)(sp+1));
- break;
- case FLOAT_TAG:
- fprintf(stderr,"Float# %f\n", PK_FLT(sp+1));
- break;
- case DOUBLE_TAG:
- fprintf(stderr,"Double# %f\n", PK_DBL(sp+1));
- break;
- default:
- barf("printStackObj: unrecognised ARGTAG %d",tag);
- }
- sp += 1 + ARG_SIZE(tag);
-
-#else /* !DEBUG_EXTRA */
- {
- StgWord tag = *sp++;
- nat i;
- fprintf(stderr,"Tag: %d words\n", tag);
- for (i = 0; i < tag; i++) {
- fprintf(stderr,"Word# %d\n", *sp++);
- }
- }
-#endif
+StgPtr
+printStackObj( StgPtr sp )
+{
+ /*fprintf(stderr,"Stack[%d] = ", &stgStack[STACK_SIZE] - sp); */
- } else {
+ StgClosure* c = (StgClosure*)(*sp);
printPtr((StgPtr)*sp);
- fprintf(stderr,"\n");
+ if (c == (StgClosure*)&stg_ctoi_ret_R1p_info) {
+ fprintf(stderr, "\t\t\tstg_ctoi_ret_R1p_info\n" );
+ } else
+ if (c == (StgClosure*)&stg_ctoi_ret_R1n_info) {
+ fprintf(stderr, "\t\t\tstg_ctoi_ret_R1n_info\n" );
+ } else
+ if (c == (StgClosure*)&stg_ctoi_ret_F1_info) {
+ fprintf(stderr, "\t\t\tstg_ctoi_ret_F1_info\n" );
+ } else
+ if (c == (StgClosure*)&stg_ctoi_ret_D1_info) {
+ fprintf(stderr, "\t\t\tstg_ctoi_ret_D1_info\n" );
+ } else
+ if (c == (StgClosure*)&stg_ctoi_ret_V_info) {
+ fprintf(stderr, "\t\t\tstg_ctoi_ret_V_info\n" );
+ } else
+ if (get_itbl(c)->type == BCO) {
+ fprintf(stderr, "\t\t\t");
+ fprintf(stderr, "BCO(...)\n");
+ }
+ else {
+ fprintf(stderr, "\t\t\t");
+ 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 )
{
- StgNat32 bitmap;
+ 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,"Stack[%d] (%p) = ", spBottom-sp, sp);
- if ((bitmap & 1) == 0) {
- printPtr((P_)*sp);
- fprintf(stderr,"\n");
- } else {
- fprintf(stderr,"Word# %d\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_BCO: {
+ StgBCO *bco;
+
+ bco = ((StgBCO *)sp[1]);
+
+ fprintf(stderr, "RET_BCO (%p)\n", sp);
+ printLargeBitmap(spBottom, sp+2,
+ BCO_BITMAP(bco), BCO_BITMAP_SIZE(bco));
+ continue;
+ }
case RET_BIG:
case RET_VEC_BIG:
- barf("todo");
+ barf("todo");
default:
- break;
+ barf("printStackChunk");
}
- }
- fprintf(stderr,"Stack[%d] (%p) = ", spBottom-sp, sp);
- sp = printStackObj(sp);
}
}
-void printStack( StgPtr sp, StgPtr spBottom, StgUpdateFrame* su )
+void printTSO( StgTSO *tso )
{
- /* 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;
- default:
- barf("printStack: weird record found on update frame list.");
- }
- printStackChunk( sp, stgCast(StgPtr,su) );
- }
- ASSERT(stgCast(StgPtr,su) == spBottom);
+ printStackChunk( tso->sp, tso->stack+tso->stack_size);
}
-void printTSO( StgTSO *tso )
-{
- printStack( tso->sp, tso->stack+tso->stack_size,tso->su);
- /* printStackChunk( tso->sp, tso->stack+tso->stack_size); */
+/* -----------------------------------------------------------------------------
+ Closure types
+
+ NOTE: must be kept in sync with the closure types in includes/ClosureTypes.h
+ -------------------------------------------------------------------------- */
+
+static char *closure_type_names[] = {
+ "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];
}
+char *
+info_type_by_ip(StgInfoTable *ip){
+ return closure_type_names[ip->type];
+}
+
+void
+info_hdr_type(StgClosure *closure, char *res){
+ strcpy(res,closure_type_names[get_itbl(closure)->type]);
+}
/* --------------------------------------------------------------------------
* Address printing code
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;
}
}
* Symbol table loading
* ------------------------------------------------------------------------*/
-#ifdef HAVE_BFD_H
+/* Causing linking trouble on Win32 plats, so I'm
+ disabling this for now.
+*/
+#ifdef USING_LIBBFD
#include <bfd.h>
* 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 */
}
}
- 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();
}
#else /* HAVE_BFD_H */
-extern void DEBUG_LoadSymbols( char *name )
+extern void DEBUG_LoadSymbols( char *name STG_UNUSED )
{
/* nothing, yet */
}
#endif /* HAVE_BFD_H */
+#include "StoragePriv.h"
+
+void findPtr(P_ p, int); /* keep gcc -Wall happy */
+
+void
+findPtr(P_ p, int follow)
+{
+ nat s, g;
+ P_ q, r;
+ bdescr *bd;
+ const int arr_size = 1024;
+ StgPtr arr[arr_size];
+ int i = 0;
+
+ for (g = 0; g < RtsFlags.GcFlags.generations; g++) {
+ for (s = 0; s < generations[g].n_steps; s++) {
+ if (RtsFlags.GcFlags.generations == 1) {
+ bd = generations[g].steps[s].to_blocks;
+ } else {
+ bd = generations[g].steps[s].blocks;
+ }
+ for (; bd; bd = bd->link) {
+ for (q = bd->start; q < bd->free; q++) {
+ if (*q == (W_)p) {
+ if (i < arr_size) {
+ r = q;
+ while (!LOOKS_LIKE_INFO_PTR(*r) || (P_)*r == NULL) {
+ r--;
+ }
+ fprintf(stderr, "%p = ", r);
+ printClosure((StgClosure *)r);
+ arr[i++] = r;
+ } else {
+ return;
+ }
+ }
+ }
+ }
+ }
+ }
+ if (follow && i == 1) {
+ fprintf(stderr, "-->\n");
+ findPtr(arr[0], 1);
+ }
+}
+
+#else /* DEBUG */
+void printPtr( StgPtr p )
+{
+ fprintf(stderr, "ptr 0x%p (enable -DDEBUG for more info) " , p );
+}
+
+void printObj( StgClosure *obj )
+{
+ fprintf(stderr, "obj 0x%p (enable -DDEBUG for more info) " , obj );
+}
#endif /* DEBUG */