1 /* code for low-level debugging/diagnostic output */
4 * This software is part of the SBCL system. See the README file for
7 * This software is derived from the CMU CL system, which was
8 * written at Carnegie Mellon University and released into the
9 * public domain. The software is in the public domain and is
10 * provided with absolutely no warranty. See the COPYING and CREDITS
11 * files for more information.
16 * Some of the code in here (the various
17 * foo_slots[], at least) is deeply broken, depending on guessing
18 * already out-of-date values instead of getting them from sbcl.h.
28 /* This file can be skipped if we're not supporting LDB. */
29 #if defined(LISP_FEATURE_SB_LDB)
34 #include "gencgc-alloc-region.h" /* genesis/thread.h needs this */
35 #include "genesis/static-symbols.h"
36 #include "genesis/primitive-objects.h"
37 #include "genesis/static-symbols.h"
38 #include "genesis/tagnames.h"
40 static int max_lines = 20, cur_lines = 0;
41 static int max_depth = 5, brief_depth = 2, cur_depth = 0;
42 static int max_length = 5;
43 static boolean dont_descend = 0, skip_newline = 0;
44 static int cur_clock = 0;
46 static void print_obj(char *prefix, lispobj obj);
48 #define NEWLINE_OR_RETURN if (continue_p(1)) newline(NULL); else return;
50 static void indent(int in)
52 static char *spaces = " ";
55 fputs(spaces, stdout);
59 fputs(spaces + 64 - in, stdout);
62 static boolean continue_p(boolean newline)
66 if (cur_depth >= max_depth || dont_descend)
75 if (cur_lines >= max_lines) {
79 if (fgets(buffer, sizeof(buffer), stdin)) {
80 if (buffer[0] == 'n' || buffer[0] == 'N')
85 printf("\nUnable to read response, assuming y.\n");
94 static void newline(char *label)
100 indent(cur_depth * 2);
104 static void brief_fixnum(lispobj obj)
106 #ifndef LISP_FEATURE_ALPHA
107 printf("%ld", ((long)obj)>>2);
109 printf("%d", ((s32)obj)>>2);
113 static void print_fixnum(lispobj obj)
115 #ifndef LISP_FEATURE_ALPHA
116 printf(": %ld", ((long)obj)>>2);
118 printf(": %d", ((s32)obj)>>2);
122 static void brief_otherimm(lispobj obj)
127 type = widetag_of(obj);
129 case CHARACTER_WIDETAG:
136 printf("#\\Newline");
139 printf("#\\Backspace");
145 strcpy(buffer, "#\\");
147 strcat(buffer, "m-");
151 strcat(buffer, "c-");
154 printf("%s%c", buffer, c);
159 case UNBOUND_MARKER_WIDETAG:
160 printf("<unbound marker>");
164 printf("%s", widetag_names[type >> 2]);
169 static void print_otherimm(lispobj obj)
171 printf(", %s", widetag_names[widetag_of(obj) >> 2]);
173 switch (widetag_of(obj)) {
174 case CHARACTER_WIDETAG:
180 case UNBOUND_MARKER_WIDETAG:
184 printf(": data=%ld", (long) (obj>>8)&0xffffff);
189 static void brief_list(lispobj obj)
194 if (!is_valid_lisp_addr((os_vm_address_t)native_pointer(obj)))
195 printf("(invalid Lisp-level address)");
200 while (lowtag_of(obj) == LIST_POINTER_LOWTAG) {
201 struct cons *cons = (struct cons *)native_pointer(obj);
205 if (++length >= max_length) {
210 print_obj("", cons->car);
224 #ifdef LISP_FEATURE_X86_64
225 static void print_unknown(lispobj obj)
227 printf("unknown object: %p", (void *)obj);
231 static void print_list(lispobj obj)
233 if (!is_valid_lisp_addr((os_vm_address_t)native_pointer(obj))) {
234 printf("(invalid address)");
235 } else if (obj == NIL) {
238 struct cons *cons = (struct cons *)native_pointer(obj);
240 print_obj("car: ", cons->car);
241 print_obj("cdr: ", cons->cdr);
245 static void brief_struct(lispobj obj)
247 printf("#<ptr to 0x%08lx instance>",
248 (unsigned long) ((struct instance *)native_pointer(obj))->slots[0]);
251 static void print_struct(lispobj obj)
253 struct instance *instance = (struct instance *)native_pointer(obj);
256 print_obj("type: ", ((struct instance *)native_pointer(obj))->slots[0]);
257 for (i = 1; i < HeaderValue(instance->header); i++) {
258 sprintf(buffer, "slot %d: ", i);
259 print_obj(buffer, instance->slots[i]);
263 static void brief_otherptr(lispobj obj)
265 lispobj *ptr, header;
267 struct symbol *symbol;
268 struct vector *vector;
271 ptr = (lispobj *) native_pointer(obj);
273 if (!is_valid_lisp_addr((os_vm_address_t)obj)) {
274 printf("(invalid address)");
279 type = widetag_of(header);
281 case SYMBOL_HEADER_WIDETAG:
282 symbol = (struct symbol *)ptr;
283 vector = (struct vector *)native_pointer(symbol->name);
284 for (charptr = (char *)vector->data; *charptr != '\0'; charptr++) {
291 case SIMPLE_BASE_STRING_WIDETAG:
292 vector = (struct vector *)ptr;
294 for (charptr = (char *)vector->data; *charptr != '\0'; charptr++) {
304 brief_otherimm(header);
309 static void print_slots(char **slots, int count, lispobj *ptr)
311 while (count-- > 0) {
313 print_obj(*slots++, *ptr++);
315 print_obj("???: ", *ptr++);
320 /* FIXME: Yikes! This needs to depend on the values in sbcl.h (or
321 * perhaps be generated automatically by GENESIS as part of
323 static char *symbol_slots[] = {"value: ", "hash: ",
324 "plist: ", "name: ", "package: ",
325 #ifdef LISP_FEATURE_SB_THREAD
329 static char *ratio_slots[] = {"numer: ", "denom: ", NULL};
330 static char *complex_slots[] = {"real: ", "imag: ", NULL};
331 static char *code_slots[] = {"words: ", "entry: ", "debug: ", NULL};
332 static char *fn_slots[] = {
333 "self: ", "next: ", "name: ", "arglist: ", "type: ", NULL};
334 static char *closure_slots[] = {"fn: ", NULL};
335 static char *funcallable_instance_slots[] = {"fn: ", "lexenv: ", "layout: ", NULL};
336 static char *weak_pointer_slots[] = {"value: ", NULL};
337 static char *fdefn_slots[] = {"name: ", "function: ", "raw_addr: ", NULL};
338 static char *value_cell_slots[] = {"value: ", NULL};
340 static void print_otherptr(lispobj obj)
342 if (!is_valid_lisp_addr((os_vm_address_t)obj)) {
343 printf("(invalid address)");
345 #ifndef LISP_FEATURE_ALPHA
347 unsigned long header;
348 unsigned long length;
354 int count, type, index;
355 char *cptr, buffer[16];
357 ptr = (lispobj*) native_pointer(obj);
359 printf(" (NULL Pointer)");
364 length = fixnum_value(*ptr);
365 count = HeaderValue(header);
366 type = widetag_of(header);
368 print_obj("header: ", header);
369 if (!other_immediate_lowtag_p(header)) {
371 printf("(invalid header object)");
381 printf("%08lx", (unsigned long) *--ptr);
385 print_slots(ratio_slots, count, ptr);
388 case COMPLEX_WIDETAG:
389 print_slots(complex_slots, count, ptr);
392 case SYMBOL_HEADER_WIDETAG:
393 print_slots(symbol_slots, count, ptr);
396 #if N_WORD_BITS == 32
397 case SINGLE_FLOAT_WIDETAG:
399 printf("%g", ((struct single_float *)native_pointer(obj))->value);
402 case DOUBLE_FLOAT_WIDETAG:
404 printf("%g", ((struct double_float *)native_pointer(obj))->value);
407 #ifdef LONG_FLOAT_WIDETAG
408 case LONG_FLOAT_WIDETAG:
410 printf("%Lg", ((struct long_float *)native_pointer(obj))->value);
414 #ifdef COMPLEX_SINGLE_FLOAT_WIDETAG
415 case COMPLEX_SINGLE_FLOAT_WIDETAG:
417 #ifdef LISP_FEATURE_X86_64
418 printf("%g", ((struct complex_single_float *)native_pointer(obj))->data.data[0]);
420 printf("%g", ((struct complex_single_float *)native_pointer(obj))->real);
423 #ifdef LISP_FEATURE_X86_64
424 printf("%g", ((struct complex_single_float *)native_pointer(obj))->data.data[1]);
426 printf("%g", ((struct complex_single_float *)native_pointer(obj))->imag);
431 #ifdef COMPLEX_DOUBLE_FLOAT_WIDETAG
432 case COMPLEX_DOUBLE_FLOAT_WIDETAG:
434 printf("%g", ((struct complex_double_float *)native_pointer(obj))->real);
436 printf("%g", ((struct complex_double_float *)native_pointer(obj))->imag);
440 #ifdef COMPLEX_LONG_FLOAT_WIDETAG
441 case COMPLEX_LONG_FLOAT_WIDETAG:
443 printf("%Lg", ((struct complex_long_float *)native_pointer(obj))->real);
445 printf("%Lg", ((struct complex_long_float *)native_pointer(obj))->imag);
449 case SIMPLE_BASE_STRING_WIDETAG:
450 #ifdef SIMPLE_CHARACTER_STRING_WIDETAG
451 case SIMPLE_CHARACTER_STRING_WIDETAG: /* FIXME */
454 cptr = (char *)(ptr+1);
461 case SIMPLE_VECTOR_WIDETAG:
463 printf("length = %ld", length);
466 while (length-- > 0) {
467 sprintf(buffer, "%d: ", index++);
468 print_obj(buffer, *ptr++);
472 case INSTANCE_HEADER_WIDETAG:
474 printf("length = %ld", (long) count);
476 while (count-- > 0) {
477 sprintf(buffer, "%d: ", index++);
478 print_obj(buffer, *ptr++);
482 case SIMPLE_ARRAY_WIDETAG:
483 case SIMPLE_BIT_VECTOR_WIDETAG:
484 case SIMPLE_ARRAY_UNSIGNED_BYTE_2_WIDETAG:
485 case SIMPLE_ARRAY_UNSIGNED_BYTE_4_WIDETAG:
486 case SIMPLE_ARRAY_UNSIGNED_BYTE_7_WIDETAG:
487 case SIMPLE_ARRAY_UNSIGNED_BYTE_8_WIDETAG:
488 case SIMPLE_ARRAY_UNSIGNED_BYTE_15_WIDETAG:
489 case SIMPLE_ARRAY_UNSIGNED_BYTE_16_WIDETAG:
490 #ifdef SIMPLE_ARRAY_UNSIGNED_BYTE_29_WIDETAG
491 case SIMPLE_ARRAY_UNSIGNED_BYTE_29_WIDETAG:
493 case SIMPLE_ARRAY_UNSIGNED_BYTE_31_WIDETAG:
494 case SIMPLE_ARRAY_UNSIGNED_BYTE_32_WIDETAG:
495 #ifdef SIMPLE_ARRAY_UNSIGNED_BYTE_60_WIDETAG
496 case SIMPLE_ARRAY_UNSIGNED_BYTE_60_WIDETAG:
498 #ifdef SIMPLE_ARRAY_UNSIGNED_BYTE_63_WIDETAG
499 case SIMPLE_ARRAY_UNSIGNED_BYTE_63_WIDETAG:
501 #ifdef SIMPLE_ARRAY_UNSIGNED_BYTE_64_WIDETAG
502 case SIMPLE_ARRAY_UNSIGNED_BYTE_64_WIDETAG:
504 #ifdef SIMPLE_ARRAY_SIGNED_BYTE_8_WIDETAG
505 case SIMPLE_ARRAY_SIGNED_BYTE_8_WIDETAG:
507 #ifdef SIMPLE_ARRAY_SIGNED_BYTE_16_WIDETAG
508 case SIMPLE_ARRAY_SIGNED_BYTE_16_WIDETAG:
510 #ifdef SIMPLE_ARRAY_SIGNED_BYTE_30_WIDETAG
511 case SIMPLE_ARRAY_SIGNED_BYTE_30_WIDETAG:
513 #ifdef SIMPLE_ARRAY_SIGNED_BYTE_32_WIDETAG
514 case SIMPLE_ARRAY_SIGNED_BYTE_32_WIDETAG:
516 #ifdef SIMPLE_ARRAY_SIGNED_BYTE_61_WIDETAG
517 case SIMPLE_ARRAY_SIGNED_BYTE_61_WIDETAG:
519 #ifdef SIMPLE_ARRAY_SIGNED_BYTE_64_WIDETAG
520 case SIMPLE_ARRAY_SIGNED_BYTE_64_WIDETAG:
522 case SIMPLE_ARRAY_SINGLE_FLOAT_WIDETAG:
523 case SIMPLE_ARRAY_DOUBLE_FLOAT_WIDETAG:
524 #ifdef SIMPLE_ARRAY_LONG_FLOAT_WIDETAG
525 case SIMPLE_ARRAY_LONG_FLOAT_WIDETAG:
527 #ifdef SIMPLE_ARRAY_COMPLEX_SINGLE_FLOAT_WIDETAG
528 case SIMPLE_ARRAY_COMPLEX_SINGLE_FLOAT_WIDETAG:
530 #ifdef SIMPLE_ARRAY_COMPLEX_DOUBLE_FLOAT_WIDETAG
531 case SIMPLE_ARRAY_COMPLEX_DOUBLE_FLOAT_WIDETAG:
533 #ifdef SIMPLE_ARRAY_COMPLEX_LONG_FLOAT_WIDETAG
534 case SIMPLE_ARRAY_COMPLEX_LONG_FLOAT_WIDETAG:
536 case COMPLEX_BASE_STRING_WIDETAG:
537 #ifdef COMPLEX_CHARACTER_STRING_WIDETAG
538 case COMPLEX_CHARACTER_STRING_WIDETAG:
540 case COMPLEX_VECTOR_NIL_WIDETAG:
541 case COMPLEX_BIT_VECTOR_WIDETAG:
542 case COMPLEX_VECTOR_WIDETAG:
543 case COMPLEX_ARRAY_WIDETAG:
546 case CODE_HEADER_WIDETAG:
547 print_slots(code_slots, count-1, ptr);
550 case SIMPLE_FUN_HEADER_WIDETAG:
551 print_slots(fn_slots, 5, ptr);
554 case RETURN_PC_HEADER_WIDETAG:
555 print_obj("code: ", obj - (count * 4));
558 case CLOSURE_HEADER_WIDETAG:
559 print_slots(closure_slots, count, ptr);
562 case FUNCALLABLE_INSTANCE_HEADER_WIDETAG:
563 print_slots(funcallable_instance_slots, count, ptr);
566 case VALUE_CELL_HEADER_WIDETAG:
567 print_slots(value_cell_slots, 1, ptr);
572 #ifndef LISP_FEATURE_ALPHA
573 printf("0x%08lx", (unsigned long) *ptr);
575 printf("0x%016lx", *(lispobj*)(ptr+1));
579 case WEAK_POINTER_WIDETAG:
580 print_slots(weak_pointer_slots, 1, ptr);
583 case CHARACTER_WIDETAG:
584 case UNBOUND_MARKER_WIDETAG:
586 printf("pointer to an immediate?");
590 print_slots(fdefn_slots, count, ptr);
595 printf("Unknown header object?");
601 static void print_obj(char *prefix, lispobj obj)
603 #ifdef LISP_FEATURE_X86_64
604 static void (*verbose_fns[])(lispobj obj)
605 = {print_fixnum, print_struct, print_otherimm, print_unknown,
606 print_unknown, print_unknown, print_otherimm, print_list,
607 print_fixnum, print_otherptr, print_otherimm, print_unknown,
608 print_unknown, print_unknown, print_otherimm, print_otherptr};
609 static void (*brief_fns[])(lispobj obj)
610 = {brief_fixnum, brief_struct, brief_otherimm, print_unknown,
611 print_unknown, print_unknown, brief_otherimm, brief_list,
612 brief_fixnum, brief_otherptr, brief_otherimm, print_unknown,
613 print_unknown, print_unknown,brief_otherimm, brief_otherptr};
615 static void (*verbose_fns[])(lispobj obj)
616 = {print_fixnum, print_struct, print_otherimm, print_list,
617 print_fixnum, print_otherptr, print_otherimm, print_otherptr};
618 static void (*brief_fns[])(lispobj obj)
619 = {brief_fixnum, brief_struct, brief_otherimm, brief_list,
620 brief_fixnum, brief_otherptr, brief_otherimm, brief_otherptr};
622 int type = lowtag_of(obj);
623 struct var *var = lookup_by_obj(obj);
625 boolean verbose = cur_depth < brief_depth;
627 if (!continue_p(verbose))
630 if (var != NULL && var_clock(var) == cur_clock)
634 ((obj & LOWTAG_MASK) == FUN_POINTER_LOWTAG ||
635 (obj & LOWTAG_MASK) == LIST_POINTER_LOWTAG ||
636 (obj & LOWTAG_MASK) == INSTANCE_POINTER_LOWTAG ||
637 (obj & LOWTAG_MASK) == OTHER_POINTER_LOWTAG))
638 var = define_var(NULL, obj, 0);
641 var_setclock(var, cur_clock);
646 sprintf(buffer, "$%s=", var_name(var));
651 printf("%s0x%08lx: ", prefix, (unsigned long) obj);
652 if (cur_depth < brief_depth) {
653 fputs(lowtag_names[type], stdout);
654 (*verbose_fns[type])(obj);
657 (*brief_fns[type])(obj);
661 printf("$%s", var_name(var));
664 printf("$%s=", var_name(var));
665 (*brief_fns[type])(obj);
679 void print(lispobj obj)
691 void brief_print(lispobj obj)
705 brief_print(lispobj obj)
707 printf("lispobj 0x%lx\n", (unsigned long)obj);
710 #endif /* defined(LISP_FEATURE_SB_LDB) */