X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fruntime%2Fprint.c;h=7d0c97e4c9a1620e6a12325a8a9381dc94edc433;hb=bf40ae88bc289fd765a33861cc4bc0853ed483ba;hp=505c7fe35a0a8801c536ee01805db3d53b07a559;hpb=099d6dd1f6a5ac2ffec5c14d07a4b905322ef968;p=sbcl.git diff --git a/src/runtime/print.c b/src/runtime/print.c index 505c7fe..7d0c97e 100644 --- a/src/runtime/print.c +++ b/src/runtime/print.c @@ -1,4 +1,4 @@ -/* code for low-level debugging output */ +/* code for low-level debugging/diagnostic output */ /* * This software is part of the SBCL system. See the README file for @@ -13,22 +13,215 @@ /* * FIXME: - * 1. Ordinary users won't get much out of this code, so it shouldn't - * be compiled into the ordinary build of the system. Probably it - * should be made conditional on the SB-SHOW target feature. - * 2. Some of the code in here (subtype_Names[] and the various - * foo_slots[], at least) is deeply broken, depending on fixed - * (and already out-of-date) values in sbcl.h. + * Some of the code in here (the various + * foo_slots[], at least) is deeply broken, depending on guessing + * already out-of-date values instead of getting them from sbcl.h. */ #include +#include +#include "sbcl.h" #include "print.h" #include "runtime.h" -#include "sbcl.h" +#include +#include "thread.h" /* genesis/primitive-objects.h needs this */ +#include +#include + +/* FSHOW and odxprint provide debugging output for low-level information + * (signal handling, exceptions, safepoints) which is hard to debug by + * other means. + * + * If enabled at all, environment variables control whether calls of the + * form odxprint(name, ...) are enabled at run-time, e.g. using + * SBCL_DYNDEBUG="fshow fshow_signal safepoints". + * + * In the case of FSHOW and FSHOW_SIGNAL, old-style code from runtime.h + * can also be used to enable or disable these more aggressively. + */ + +struct dyndebug_config dyndebug_config = { + QSHOW == 2, QSHOW_SIGNALS == 2 +}; + +void +dyndebug_init() +{ +#define DYNDEBUG_NFLAGS (sizeof(struct dyndebug_config) / sizeof(int)) +#define dyndebug_init1(lowercase, uppercase) \ + do { \ + int *ptr = &dyndebug_config.dyndebug_##lowercase; \ + ptrs[n] = ptr; \ + names[n] = #lowercase; \ + char *val = getenv("SBCL_DYNDEBUG__" uppercase); \ + *ptr = val && strlen(val); \ + n++; \ + } while (0) + int n = 0; + char *names[DYNDEBUG_NFLAGS]; + int *ptrs[DYNDEBUG_NFLAGS]; + + dyndebug_init1(fshow, "FSHOW"); + dyndebug_init1(fshow_signal, "FSHOW_SIGNAL"); + dyndebug_init1(gencgc_verbose, "GENCGC_VERBOSE"); + dyndebug_init1(safepoints, "SAFEPOINTS"); + dyndebug_init1(seh, "SEH"); + dyndebug_init1(misc, "MISC"); + dyndebug_init1(pagefaults, "PAGEFAULTS"); + dyndebug_init1(io, "IO"); + dyndebug_init1(runtime_link, "RUNTIME_LINK"); + + int n_output_flags = n; + dyndebug_init1(backtrace_when_lost, "BACKTRACE_WHEN_LOST"); + dyndebug_init1(sleep_when_lost, "SLEEP_WHEN_LOST"); + + if (n != DYNDEBUG_NFLAGS) + fprintf(stderr, "Bug in dyndebug_init\n"); + +#if defined(LISP_FEATURE_GENCGC) + gencgc_verbose = dyndebug_config.dyndebug_gencgc_verbose; +#endif + + char *featurelist = getenv("SBCL_DYNDEBUG"); + if (featurelist) { + int err = 0; + featurelist = strdup(featurelist); + char *ptr = featurelist; + for (;;) { + char *token = strtok(ptr, " "); + if (!token) break; + unsigned i; + if (!strcmp(token, "all")) + for (i = 0; i < n_output_flags; i++) + *ptrs[i] = 1; + else { + for (i = 0; i < DYNDEBUG_NFLAGS; i++) + if (!strcmp(token, names[i])) { + *ptrs[i] = 1; + break; + } + if (i == DYNDEBUG_NFLAGS) { + fprintf(stderr, "No such dyndebug flag: `%s'\n", token); + err = 1; + } + } + ptr = 0; + } + free(featurelist); + if (err) { + fprintf(stderr, "Valid flags are:\n"); + fprintf(stderr, " all ;enables all of the following:\n"); + unsigned i; + for (i = 0; i < DYNDEBUG_NFLAGS; i++) { + if (i == n_output_flags) + fprintf(stderr, "Additional options:\n"); + fprintf(stderr, " %s\n", names[i]); + } + } + } + +#undef dyndebug_init1 +#undef DYNDEBUG_NFLAGS +} + +/* Temporarily, odxprint merely performs the equivalent of a traditional + * FSHOW call, i.e. it merely formats to stderr. Ultimately, it should + * be restored to its full win32 branch functionality, where output to a + * file or to the debugger can be selected at runtime. */ + +void vodxprint_fun(const char *, va_list); + +void +odxprint_fun(const char *fmt, ...) +{ + va_list args; + va_start(args, fmt); + vodxprint_fun(fmt, args); + va_end(args); +} + +void +vodxprint_fun(const char *fmt, va_list args) +{ +#ifdef LISP_FEATURE_WIN32 + DWORD lastError = GetLastError(); +#endif + int original_errno = errno; + + QSHOW_BLOCK; + + char buf[1024]; + +#ifdef LISP_FEATURE_SB_THREAD + struct thread *arch_os_get_current_thread(void); + struct thread *self = arch_os_get_current_thread(); + void *pth = self ? (void *) self->os_thread : 0; + snprintf(buf, sizeof(buf), "[%p/%p] ", self, pth); +#endif + + int n = strlen(buf); + vsnprintf(buf + n, sizeof(buf) - n - 1, fmt, args); + /* buf is now zero-terminated (even in case of overflow). + * Our caller took care of the newline (if any) through `fmt'. */ + + /* A sufficiently POSIXy implementation of stdio will provide + * per-FILE locking, as defined in the spec for flockfile. At least + * glibc complies with this. Hence we do not need to perform + * locking ourselves here. (Should it turn out, of course, that + * other libraries opt for speed rather than safety, we need to + * revisit this decision.) */ + fputs(buf, stderr); + +#ifdef LISP_FEATURE_WIN32 + /* stdio's stderr is line-bufferred, i.e. \n ought to flush it. + * Unfortunately, MinGW does not behave the way I would expect it + * to. Let's be safe: */ + fflush(stderr); +#endif + + QSHOW_UNBLOCK; + +#ifdef LISP_FEATURE_WIN32 + SetLastError(lastError); +#endif + errno = original_errno; +} + +/* Translate the rather awkward syntax + * FSHOW((stderr, "xyz")) + * into the new and cleaner + * odxprint("xyz"). + * If we were willing to clean up all existing call sites, we could remove + * this wrapper function. (This is a function, because I don't know how to + * strip the extra parens in a macro.) */ +void +fshow_fun(void __attribute__((__unused__)) *ignored, + const char *fmt, + ...) +{ + va_list args; + va_start(args, fmt); + vodxprint_fun(fmt, args); + va_end(args); +} + +/* This file can be skipped if we're not supporting LDB. */ +#if defined(LISP_FEATURE_SB_LDB) + #include "monitor.h" #include "vars.h" #include "os.h" +#ifdef LISP_FEATURE_GENCGC +#include "gencgc-alloc-region.h" /* genesis/thread.h needs this */ +#endif +#if defined(LISP_FEATURE_WIN32) +# include "win32-thread-private-events.h" /* genesis/thread.h needs this */ +#endif +#include "genesis/static-symbols.h" +#include "genesis/primitive-objects.h" +#include "genesis/static-symbols.h" +#include "genesis/tagnames.h" static int max_lines = 20, cur_lines = 0; static int max_depth = 5, brief_depth = 2, cur_depth = 0; @@ -38,101 +231,7 @@ static int cur_clock = 0; static void print_obj(char *prefix, lispobj obj); -#define NEWLINE if (continue_p(1)) newline(NULL); else return; - -char *lowtag_Names[] = { - "even fixnum", - "function pointer", - "other immediate [0]", - "list pointer", - "odd fixnum", - "instance pointer", - "other immediate [1]", - "other pointer" -}; - -/* FIXME: Yikes! This table implicitly depends on the values in sbcl.h, - * but doesn't actually depend on them, so if they change, it gets - * all broken. We should either get rid of it or - * rewrite the code so that it's cleanly initialized by gc_init_tables[] - * in a way which varies correctly with the values in sbcl.h. */ -char *subtype_Names[] = { - "unused 0", - "unused 1", - "bignum", - "ratio", - "single float", - "double float", -#ifdef type_LongFloat - "long float", -#endif - "complex", -#ifdef type_ComplexSingleFloat - "complex single float", -#endif -#ifdef type_ComplexDoubleFloat - "complex double float", -#endif -#ifdef type_ComplexLongFloat - "complex long float", -#endif - "simple-array", - "simple-string", - "simple-bit-vector", - "simple-vector", - "(simple-array (unsigned-byte 2) (*))", - "(simple-array (unsigned-byte 4) (*))", - "(simple-array (unsigned-byte 8) (*))", - "(simple-array (unsigned-byte 16) (*))", - "(simple-array (unsigned-byte 32) (*))", -#ifdef type_SimpleArraySignedByte8 - "(simple-array (signed-byte 8) (*))", -#endif -#ifdef type_SimpleArraySignedByte16 - "(simple-array (signed-byte 16) (*))", -#endif -#ifdef type_SimpleArraySignedByte30 - "(simple-array fixnum (*))", -#endif -#ifdef type_SimpleArraySignedByte32 - "(simple-array (signed-byte 32) (*))", -#endif - "(simple-array single-float (*))", - "(simple-array double-float (*))", -#ifdef type_SimpleArrayLongFloat - "(simple-array long-float (*))", -#endif -#ifdef type_SimpleArrayComplexSingleFloat - "(simple-array (complex single-float) (*))", -#endif -#ifdef type_SimpleArrayComplexDoubleFloat - "(simple-array (complex double-float) (*))", -#endif -#ifdef type_SimpleArrayComplexLongFloat - "(simple-array (complex long-float) (*))", -#endif - "complex-string", - "complex-bit-vector", - "(array * (*))", - "array", - "code header", - "function header", - "closure header", - "funcallable-instance header", - "unused function header 1", - "unused function header 2", - "unused function header 3", - "closure function header", - "return PC header", - "value cell header", - "symbol header", - "character", - "SAP", - "unbound marker", - "weak pointer", - "instance header", - "fdefn" -}; +#define NEWLINE_OR_RETURN if (continue_p(1)) newline(NULL); else return; static void indent(int in) { @@ -163,12 +262,15 @@ static boolean continue_p(boolean newline) printf("More? [y] "); fflush(stdout); - fgets(buffer, sizeof(buffer), stdin); - - if (buffer[0] == 'n' || buffer[0] == 'N') - throw_to_monitor(); - else + if (fgets(buffer, sizeof(buffer), stdin)) { + if (buffer[0] == 'n' || buffer[0] == 'N') + throw_to_monitor(); + else + cur_lines = 0; + } else { + printf("\nUnable to read response, assuming y.\n"); cur_lines = 0; + } } } @@ -185,9 +287,19 @@ static void newline(char *label) } +static void print_unknown(lispobj obj) +{ + printf("unknown object: %p", (void *)obj); +} + static void brief_fixnum(lispobj obj) { -#ifndef alpha + /* KLUDGE: Rather than update the tables in print_obj(), we + declare all fixnum-or-unknown tags to be fixnums and sort it + out here with a guard clause. */ + if (!fixnump(obj)) return print_unknown(obj); + +#ifndef LISP_FEATURE_ALPHA printf("%ld", ((long)obj)>>2); #else printf("%d", ((s32)obj)>>2); @@ -196,7 +308,12 @@ static void brief_fixnum(lispobj obj) static void print_fixnum(lispobj obj) { -#ifndef alpha + /* KLUDGE: Rather than update the tables in print_obj(), we + declare all fixnum-or-unknown tags to be fixnums and sort it + out here with a guard clause. */ + if (!fixnump(obj)) return print_unknown(obj); + +#ifndef LISP_FEATURE_ALPHA printf(": %ld", ((long)obj)>>2); #else printf(": %d", ((s32)obj)>>2); @@ -205,12 +322,12 @@ static void print_fixnum(lispobj obj) static void brief_otherimm(lispobj obj) { - int type, c, idx; + int type, c; char buffer[10]; - type = TypeOf(obj); + type = widetag_of(obj); switch (type) { - case type_BaseChar: + case CHARACTER_WIDETAG: c = (obj>>8)&0xff; switch (c) { case '\0': @@ -240,40 +357,28 @@ static void brief_otherimm(lispobj obj) } break; - case type_UnboundMarker: + case UNBOUND_MARKER_WIDETAG: printf(""); break; default: - idx = type >> 2; - if (idx < (sizeof(subtype_Names) / sizeof(char *))) - printf("%s", subtype_Names[idx]); - else - printf("unknown type (0x%0x)", type); + printf("%s", widetag_names[type >> 2]); break; } } static void print_otherimm(lispobj obj) { - int type, idx; + printf(", %s", widetag_names[widetag_of(obj) >> 2]); - type = TypeOf(obj); - idx = type >> 2; - - if (idx < (sizeof(subtype_Names) / sizeof(char *))) - printf(", %s", subtype_Names[idx]); - else - printf(", unknown type (0x%0x)", type); - - switch (TypeOf(obj)) { - case type_BaseChar: + switch (widetag_of(obj)) { + case CHARACTER_WIDETAG: printf(": "); brief_otherimm(obj); break; - case type_Sap: - case type_UnboundMarker: + case SAP_WIDETAG: + case UNBOUND_MARKER_WIDETAG: break; default: @@ -287,14 +392,14 @@ static void brief_list(lispobj obj) int space = 0; int length = 0; - if (!is_valid_lisp_addr((os_vm_address_t)obj)) - printf("(invalid Lisp-level address)"); + if (!is_valid_lisp_addr((os_vm_address_t)native_pointer(obj))) + printf("(invalid Lisp-level address)"); else if (obj == NIL) printf("NIL"); else { putchar('('); - while (LowtagOf(obj) == type_ListPointer) { - struct cons *cons = (struct cons *)PTR(obj); + while (lowtag_of(obj) == LIST_POINTER_LOWTAG) { + struct cons *cons = (struct cons *)native_pointer(obj); if (space) putchar(' '); @@ -303,7 +408,7 @@ static void brief_list(lispobj obj) obj = NIL; break; } - print_obj(NULL, cons->car); + print_obj("", cons->car); obj = cons->cdr; space = 1; if (obj == NIL) @@ -311,7 +416,7 @@ static void brief_list(lispobj obj) } if (obj != NIL) { printf(" . "); - print_obj(NULL, obj); + print_obj("", obj); } putchar(')'); } @@ -319,12 +424,12 @@ static void brief_list(lispobj obj) static void print_list(lispobj obj) { - if (!is_valid_lisp_addr((os_vm_address_t)obj)) { - printf("(invalid address)"); + if (!is_valid_lisp_addr((os_vm_address_t)native_pointer(obj))) { + printf("(invalid address)"); } else if (obj == NIL) { printf(" (NIL)"); } else { - struct cons *cons = (struct cons *)PTR(obj); + struct cons *cons = (struct cons *)native_pointer(obj); print_obj("car: ", cons->car); print_obj("cdr: ", cons->cdr); @@ -333,19 +438,28 @@ static void print_list(lispobj obj) static void brief_struct(lispobj obj) { - printf("#", - (unsigned long) ((struct instance *)PTR(obj))->slots[0]); + struct instance *instance = (struct instance *)native_pointer(obj); + if (!is_valid_lisp_addr((os_vm_address_t)instance)) { + printf("(invalid address)"); + } else { + printf("#", + (unsigned long) instance->slots[0]); + } } static void print_struct(lispobj obj) { - struct instance *instance = (struct instance *)PTR(obj); - int i; + struct instance *instance = (struct instance *)native_pointer(obj); + unsigned int i; char buffer[16]; - print_obj("type: ", ((struct instance *)PTR(obj))->slots[0]); - for (i = 1; i < HeaderValue(instance->header); i++) { - sprintf(buffer, "slot %d: ", i); - print_obj(buffer, instance->slots[i]); + if (!is_valid_lisp_addr((os_vm_address_t)instance)) { + printf("(invalid address)"); + } else { + print_obj("type: ", ((struct instance *)native_pointer(obj))->slots[0]); + for (i = 1; i < HeaderValue(instance->header); i++) { + sprintf(buffer, "slot %d: ", i); + print_obj(buffer, instance->slots[i]); + } } } @@ -357,19 +471,19 @@ static void brief_otherptr(lispobj obj) struct vector *vector; char *charptr; - ptr = (lispobj *) PTR(obj); + ptr = (lispobj *) native_pointer(obj); if (!is_valid_lisp_addr((os_vm_address_t)obj)) { - printf("(invalid address)"); - return; + printf("(invalid address)"); + return; } header = *ptr; - type = TypeOf(header); + type = widetag_of(header); switch (type) { - case type_SymbolHeader: + case SYMBOL_HEADER_WIDETAG: symbol = (struct symbol *)ptr; - vector = (struct vector *)PTR(symbol->name); + vector = (struct vector *)native_pointer(symbol->name); for (charptr = (char *)vector->data; *charptr != '\0'; charptr++) { if (*charptr == '"') putchar('\\'); @@ -377,7 +491,7 @@ static void brief_otherptr(lispobj obj) } break; - case type_SimpleString: + case SIMPLE_BASE_STRING_WIDETAG: vector = (struct vector *)ptr; putchar('"'); for (charptr = (char *)vector->data; *charptr != '\0'; charptr++) { @@ -402,18 +516,24 @@ static void print_slots(char **slots, int count, lispobj *ptr) print_obj(*slots++, *ptr++); } else { print_obj("???: ", *ptr++); - } + } } } -/* FIXME: Yikes again! This, like subtype_Names[], needs to depend - * on the values in sbcl.h. */ -static char *symbol_slots[] = {"value: ", "unused: ", - "plist: ", "name: ", "package: ", NULL}; +/* FIXME: Yikes! This needs to depend on the values in sbcl.h (or + * perhaps be generated automatically by GENESIS as part of + * sbcl.h). */ +static char *symbol_slots[] = {"value: ", "hash: ", + "plist: ", "name: ", "package: ", +#ifdef LISP_FEATURE_SB_THREAD + "tls-index: " , +#endif + NULL}; static char *ratio_slots[] = {"numer: ", "denom: ", NULL}; static char *complex_slots[] = {"real: ", "imag: ", NULL}; static char *code_slots[] = {"words: ", "entry: ", "debug: ", NULL}; -static char *fn_slots[] = {"self: ", "next: ", "name: ", "arglist: ", "type: ", NULL}; +static char *fn_slots[] = { + "self: ", "next: ", "name: ", "arglist: ", "type: ", NULL}; static char *closure_slots[] = {"fn: ", NULL}; static char *funcallable_instance_slots[] = {"fn: ", "lexenv: ", "layout: ", NULL}; static char *weak_pointer_slots[] = {"value: ", NULL}; @@ -423,9 +543,9 @@ static char *value_cell_slots[] = {"value: ", NULL}; static void print_otherptr(lispobj obj) { if (!is_valid_lisp_addr((os_vm_address_t)obj)) { - printf("(invalid address)"); + printf("(invalid address)"); } else { -#ifndef alpha +#ifndef LISP_FEATURE_ALPHA lispobj *ptr; unsigned long header; unsigned long length; @@ -437,91 +557,103 @@ static void print_otherptr(lispobj obj) int count, type, index; char *cptr, buffer[16]; - ptr = (lispobj*) PTR(obj); - if (ptr == NULL) { - printf(" (NULL Pointer)"); - return; - } + ptr = (lispobj*) native_pointer(obj); + if (ptr == NULL) { + printf(" (NULL Pointer)"); + return; + } - header = *ptr++; - length = (*ptr) >> 2; - count = header>>8; - type = TypeOf(header); + header = *ptr++; + length = fixnum_value(*ptr); + count = HeaderValue(header); + type = widetag_of(header); print_obj("header: ", header); - if (LowtagOf(header) != type_OtherImmediate0 && LowtagOf(header) != type_OtherImmediate1) { - NEWLINE; + if (!other_immediate_lowtag_p(header)) { + NEWLINE_OR_RETURN; printf("(invalid header object)"); return; } switch (type) { - case type_Bignum: + case BIGNUM_WIDETAG: ptr += count; - NEWLINE; + NEWLINE_OR_RETURN; printf("0x"); while (count-- > 0) printf("%08lx", (unsigned long) *--ptr); break; - case type_Ratio: + case RATIO_WIDETAG: print_slots(ratio_slots, count, ptr); break; - case type_Complex: + case COMPLEX_WIDETAG: print_slots(complex_slots, count, ptr); break; - case type_SymbolHeader: + case SYMBOL_HEADER_WIDETAG: print_slots(symbol_slots, count, ptr); break; - case type_SingleFloat: - NEWLINE; - printf("%g", ((struct single_float *)PTR(obj))->value); +#if N_WORD_BITS == 32 + case SINGLE_FLOAT_WIDETAG: + NEWLINE_OR_RETURN; + printf("%g", ((struct single_float *)native_pointer(obj))->value); break; - - case type_DoubleFloat: - NEWLINE; - printf("%g", ((struct double_float *)PTR(obj))->value); +#endif + case DOUBLE_FLOAT_WIDETAG: + NEWLINE_OR_RETURN; + printf("%g", ((struct double_float *)native_pointer(obj))->value); break; -#ifdef type_LongFloat - case type_LongFloat: - NEWLINE; - printf("%Lg", ((struct long_float *)PTR(obj))->value); +#ifdef LONG_FLOAT_WIDETAG + case LONG_FLOAT_WIDETAG: + NEWLINE_OR_RETURN; + printf("%Lg", ((struct long_float *)native_pointer(obj))->value); break; #endif -#ifdef type_ComplexSingleFloat - case type_ComplexSingleFloat: - NEWLINE; - printf("%g", ((struct complex_single_float *)PTR(obj))->real); - NEWLINE; - printf("%g", ((struct complex_single_float *)PTR(obj))->imag); +#ifdef COMPLEX_SINGLE_FLOAT_WIDETAG + case COMPLEX_SINGLE_FLOAT_WIDETAG: + NEWLINE_OR_RETURN; +#ifdef LISP_FEATURE_X86_64 + printf("%g", ((struct complex_single_float *)native_pointer(obj))->data.data[0]); +#else + printf("%g", ((struct complex_single_float *)native_pointer(obj))->real); +#endif + NEWLINE_OR_RETURN; +#ifdef LISP_FEATURE_X86_64 + printf("%g", ((struct complex_single_float *)native_pointer(obj))->data.data[1]); +#else + printf("%g", ((struct complex_single_float *)native_pointer(obj))->imag); +#endif break; #endif -#ifdef type_ComplexDoubleFloat - case type_ComplexDoubleFloat: - NEWLINE; - printf("%g", ((struct complex_double_float *)PTR(obj))->real); - NEWLINE; - printf("%g", ((struct complex_double_float *)PTR(obj))->imag); +#ifdef COMPLEX_DOUBLE_FLOAT_WIDETAG + case COMPLEX_DOUBLE_FLOAT_WIDETAG: + NEWLINE_OR_RETURN; + printf("%g", ((struct complex_double_float *)native_pointer(obj))->real); + NEWLINE_OR_RETURN; + printf("%g", ((struct complex_double_float *)native_pointer(obj))->imag); break; #endif -#ifdef type_ComplexLongFloat - case type_ComplexLongFloat: - NEWLINE; - printf("%Lg", ((struct complex_long_float *)PTR(obj))->real); - NEWLINE; - printf("%Lg", ((struct complex_long_float *)PTR(obj))->imag); +#ifdef COMPLEX_LONG_FLOAT_WIDETAG + case COMPLEX_LONG_FLOAT_WIDETAG: + NEWLINE_OR_RETURN; + printf("%Lg", ((struct complex_long_float *)native_pointer(obj))->real); + NEWLINE_OR_RETURN; + printf("%Lg", ((struct complex_long_float *)native_pointer(obj))->imag); break; #endif - case type_SimpleString: - NEWLINE; + case SIMPLE_BASE_STRING_WIDETAG: +#ifdef SIMPLE_CHARACTER_STRING_WIDETAG + case SIMPLE_CHARACTER_STRING_WIDETAG: /* FIXME */ +#endif + NEWLINE_OR_RETURN; cptr = (char *)(ptr+1); putchar('"'); while (length-- > 0) @@ -529,8 +661,8 @@ static void print_otherptr(lispobj obj) putchar('"'); break; - case type_SimpleVector: - NEWLINE; + case SIMPLE_VECTOR_WIDETAG: + NEWLINE_OR_RETURN; printf("length = %ld", length); ptr++; index = 0; @@ -540,11 +672,8 @@ static void print_otherptr(lispobj obj) } break; - /* MNA: cmucl-commit Tue, 9 Jan 2001 11:46:57 -0800 (PST) - Correct the printing of instance objects for which the length was - being incorrectly calculated. */ - case type_InstanceHeader: - NEWLINE; + case INSTANCE_HEADER_WIDETAG: + NEWLINE_OR_RETURN; printf("length = %ld", (long) count); index = 0; while (count-- > 0) { @@ -553,95 +682,113 @@ static void print_otherptr(lispobj obj) } break; - case type_SimpleArray: - case type_SimpleBitVector: - case type_SimpleArrayUnsignedByte2: - case type_SimpleArrayUnsignedByte4: - case type_SimpleArrayUnsignedByte8: - case type_SimpleArrayUnsignedByte16: - case type_SimpleArrayUnsignedByte32: -#ifdef type_SimpleArraySignedByte8 - case type_SimpleArraySignedByte8: + case SIMPLE_ARRAY_WIDETAG: + case SIMPLE_BIT_VECTOR_WIDETAG: + case SIMPLE_ARRAY_UNSIGNED_BYTE_2_WIDETAG: + case SIMPLE_ARRAY_UNSIGNED_BYTE_4_WIDETAG: + case SIMPLE_ARRAY_UNSIGNED_BYTE_7_WIDETAG: + case SIMPLE_ARRAY_UNSIGNED_BYTE_8_WIDETAG: + case SIMPLE_ARRAY_UNSIGNED_BYTE_15_WIDETAG: + case SIMPLE_ARRAY_UNSIGNED_BYTE_16_WIDETAG: + + case SIMPLE_ARRAY_UNSIGNED_FIXNUM_WIDETAG: + + case SIMPLE_ARRAY_UNSIGNED_BYTE_31_WIDETAG: + case SIMPLE_ARRAY_UNSIGNED_BYTE_32_WIDETAG: +#ifdef SIMPLE_ARRAY_UNSIGNED_BYTE_63_WIDETAG + case SIMPLE_ARRAY_UNSIGNED_BYTE_63_WIDETAG: +#endif +#ifdef SIMPLE_ARRAY_UNSIGNED_BYTE_64_WIDETAG + case SIMPLE_ARRAY_UNSIGNED_BYTE_64_WIDETAG: +#endif +#ifdef SIMPLE_ARRAY_SIGNED_BYTE_8_WIDETAG + case SIMPLE_ARRAY_SIGNED_BYTE_8_WIDETAG: #endif -#ifdef type_SimpleArraySignedByte16 - case type_SimpleArraySignedByte16: +#ifdef SIMPLE_ARRAY_SIGNED_BYTE_16_WIDETAG + case SIMPLE_ARRAY_SIGNED_BYTE_16_WIDETAG: #endif -#ifdef type_SimpleArraySignedByte30 - case type_SimpleArraySignedByte30: + + case SIMPLE_ARRAY_FIXNUM_WIDETAG: + +#ifdef SIMPLE_ARRAY_SIGNED_BYTE_32_WIDETAG + case SIMPLE_ARRAY_SIGNED_BYTE_32_WIDETAG: +#endif +#ifdef SIMPLE_ARRAY_SIGNED_BYTE_64_WIDETAG + case SIMPLE_ARRAY_SIGNED_BYTE_64_WIDETAG: #endif -#ifdef type_SimpleArraySignedByte32 - case type_SimpleArraySignedByte32: + case SIMPLE_ARRAY_SINGLE_FLOAT_WIDETAG: + case SIMPLE_ARRAY_DOUBLE_FLOAT_WIDETAG: +#ifdef SIMPLE_ARRAY_LONG_FLOAT_WIDETAG + case SIMPLE_ARRAY_LONG_FLOAT_WIDETAG: #endif - case type_SimpleArraySingleFloat: - case type_SimpleArrayDoubleFloat: -#ifdef type_SimpleArrayLongFloat - case type_SimpleArrayLongFloat: +#ifdef SIMPLE_ARRAY_COMPLEX_SINGLE_FLOAT_WIDETAG + case SIMPLE_ARRAY_COMPLEX_SINGLE_FLOAT_WIDETAG: #endif -#ifdef type_SimpleArrayComplexSingleFloat - case type_SimpleArrayComplexSingleFloat: +#ifdef SIMPLE_ARRAY_COMPLEX_DOUBLE_FLOAT_WIDETAG + case SIMPLE_ARRAY_COMPLEX_DOUBLE_FLOAT_WIDETAG: #endif -#ifdef type_SimpleArrayComplexDoubleFloat - case type_SimpleArrayComplexDoubleFloat: +#ifdef SIMPLE_ARRAY_COMPLEX_LONG_FLOAT_WIDETAG + case SIMPLE_ARRAY_COMPLEX_LONG_FLOAT_WIDETAG: #endif -#ifdef type_SimpleArrayComplexLongFloat - case type_SimpleArrayComplexLongFloat: + case COMPLEX_BASE_STRING_WIDETAG: +#ifdef COMPLEX_CHARACTER_STRING_WIDETAG + case COMPLEX_CHARACTER_STRING_WIDETAG: #endif - case type_ComplexString: - case type_ComplexBitVector: - case type_ComplexVector: - case type_ComplexArray: + case COMPLEX_VECTOR_NIL_WIDETAG: + case COMPLEX_BIT_VECTOR_WIDETAG: + case COMPLEX_VECTOR_WIDETAG: + case COMPLEX_ARRAY_WIDETAG: break; - case type_CodeHeader: + case CODE_HEADER_WIDETAG: print_slots(code_slots, count-1, ptr); break; - case type_FunctionHeader: - case type_ClosureFunctionHeader: + case SIMPLE_FUN_HEADER_WIDETAG: print_slots(fn_slots, 5, ptr); break; - case type_ReturnPcHeader: + case RETURN_PC_HEADER_WIDETAG: print_obj("code: ", obj - (count * 4)); break; - case type_ClosureHeader: + case CLOSURE_HEADER_WIDETAG: print_slots(closure_slots, count, ptr); break; - case type_FuncallableInstanceHeader: + case FUNCALLABLE_INSTANCE_HEADER_WIDETAG: print_slots(funcallable_instance_slots, count, ptr); break; - case type_ValueCellHeader: - print_slots(value_cell_slots, 1, ptr); + case VALUE_CELL_HEADER_WIDETAG: + print_slots(value_cell_slots, 1, ptr); break; - case type_Sap: - NEWLINE; -#ifndef alpha + case SAP_WIDETAG: + NEWLINE_OR_RETURN; +#ifndef LISP_FEATURE_ALPHA printf("0x%08lx", (unsigned long) *ptr); #else printf("0x%016lx", *(lispobj*)(ptr+1)); #endif break; - case type_WeakPointer: - print_slots(weak_pointer_slots, 1, ptr); + case WEAK_POINTER_WIDETAG: + print_slots(weak_pointer_slots, 1, ptr); break; - case type_BaseChar: - case type_UnboundMarker: - NEWLINE; + case CHARACTER_WIDETAG: + case UNBOUND_MARKER_WIDETAG: + NEWLINE_OR_RETURN; printf("pointer to an immediate?"); break; - case type_Fdefn: - print_slots(fdefn_slots, count, ptr); - break; - + case FDEFN_WIDETAG: + print_slots(fdefn_slots, count, ptr); + break; + default: - NEWLINE; + NEWLINE_OR_RETURN; printf("Unknown header object?"); break; } @@ -650,25 +797,37 @@ static void print_otherptr(lispobj obj) static void print_obj(char *prefix, lispobj obj) { +#ifdef LISP_FEATURE_X86_64 static void (*verbose_fns[])(lispobj obj) - = {print_fixnum, print_otherptr, print_otherimm, print_list, - print_fixnum, print_struct, print_otherimm, print_otherptr}; + = {print_fixnum, print_otherimm, print_fixnum, print_struct, + print_fixnum, print_otherimm, print_fixnum, print_list, + print_fixnum, print_otherimm, print_fixnum, print_otherptr, + print_fixnum, print_otherimm, print_fixnum, print_otherptr}; static void (*brief_fns[])(lispobj obj) - = {brief_fixnum, brief_otherptr, brief_otherimm, brief_list, - brief_fixnum, brief_struct, brief_otherimm, brief_otherptr}; - int type = LowtagOf(obj); + = {brief_fixnum, brief_otherimm, brief_fixnum, brief_struct, + brief_fixnum, brief_otherimm, brief_fixnum, brief_list, + brief_fixnum, brief_otherimm, brief_fixnum, brief_otherptr, + brief_fixnum, brief_otherimm, brief_fixnum, brief_otherptr}; +#else + static void (*verbose_fns[])(lispobj obj) + = {print_fixnum, print_struct, print_otherimm, print_list, + print_fixnum, print_otherptr, print_otherimm, print_otherptr}; + static void (*brief_fns[])(lispobj obj) + = {brief_fixnum, brief_struct, brief_otherimm, brief_list, + brief_fixnum, brief_otherptr, brief_otherimm, brief_otherptr}; +#endif + int type = lowtag_of(obj); struct var *var = lookup_by_obj(obj); char buffer[256]; boolean verbose = cur_depth < brief_depth; - if (!continue_p(verbose)) return; if (var != NULL && var_clock(var) == cur_clock) dont_descend = 1; - if (var == NULL && (obj & type_FunctionPointer & type_ListPointer & type_InstancePointer & type_OtherPointer) != 0) + if (var == NULL && is_lisp_pointer(obj)) var = define_var(NULL, obj, 0); if (var != NULL) @@ -684,7 +843,7 @@ static void print_obj(char *prefix, lispobj obj) newline(NULL); printf("%s0x%08lx: ", prefix, (unsigned long) obj); if (cur_depth < brief_depth) { - fputs(lowtag_Names[type], stdout); + fputs(lowtag_names[type], stdout); (*verbose_fns[type])(obj); } else @@ -728,7 +887,18 @@ void brief_print(lispobj obj) cur_depth = 0; max_depth = 1; max_lines = 5000; + cur_lines = 0; print_obj("", obj); putchar('\n'); } + +#else + +void +brief_print(lispobj obj) +{ + printf("lispobj 0x%lx\n", (unsigned long)obj); +} + +#endif /* defined(LISP_FEATURE_SB_LDB) */