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 (subtype_Names[] and the various
17 * foo_slots[], at least) is deeply broken, depending on fixed
18 * (and already out-of-date) values in sbcl.h.
26 /* This file can be skipped if we're not supporting LDB. */
27 #if defined(LISP_FEATURE_SB_LDB)
34 static int max_lines = 20, cur_lines = 0;
35 static int max_depth = 5, brief_depth = 2, cur_depth = 0;
36 static int max_length = 5;
37 static boolean dont_descend = 0, skip_newline = 0;
38 static int cur_clock = 0;
40 static void print_obj(char *prefix, lispobj obj);
42 #define NEWLINE_OR_RETURN if (continue_p(1)) newline(NULL); else return;
44 char *lowtag_Names[] = {
47 "other immediate [0]",
51 "other immediate [1]",
55 /* FIXME: Yikes! This table implicitly depends on the values in sbcl.h,
56 * but doesn't actually depend on them, so if they change, it gets
57 * all broken. We should either get rid of it or
58 * rewrite the code so that it's cleanly initialized by gc_init_tables[]
59 * in a way which varies correctly with the values in sbcl.h. */
60 char *subtype_Names[] = {
71 #ifdef type_ComplexSingleFloat
72 "complex single float",
74 #ifdef type_ComplexDoubleFloat
75 "complex double float",
77 #ifdef type_ComplexLongFloat
84 "(simple-array (unsigned-byte 2) (*))",
85 "(simple-array (unsigned-byte 4) (*))",
86 "(simple-array (unsigned-byte 8) (*))",
87 "(simple-array (unsigned-byte 16) (*))",
88 "(simple-array (unsigned-byte 32) (*))",
89 #ifdef type_SimpleArraySignedByte8
90 "(simple-array (signed-byte 8) (*))",
92 #ifdef type_SimpleArraySignedByte16
93 "(simple-array (signed-byte 16) (*))",
95 #ifdef type_SimpleArraySignedByte30
96 "(simple-array fixnum (*))",
98 #ifdef type_SimpleArraySignedByte32
99 "(simple-array (signed-byte 32) (*))",
101 "(simple-array single-float (*))",
102 "(simple-array double-float (*))",
103 #ifdef type_SimpleArrayLongFloat
104 "(simple-array long-float (*))",
106 #ifdef type_SimpleArrayComplexSingleFloat
107 "(simple-array (complex single-float) (*))",
109 #ifdef type_SimpleArrayComplexDoubleFloat
110 "(simple-array (complex double-float) (*))",
112 #ifdef type_SimpleArrayComplexLongFloat
113 "(simple-array (complex long-float) (*))",
116 "complex-bit-vector",
122 "funcallable-instance header",
123 "unused function header 1",
124 "unused function header 2",
125 "unused function header 3",
126 "closure function header",
138 static void indent(int in)
140 static char *spaces = " ";
143 fputs(spaces, stdout);
147 fputs(spaces + 64 - in, stdout);
150 static boolean continue_p(boolean newline)
154 if (cur_depth >= max_depth || dont_descend)
163 if (cur_lines >= max_lines) {
164 printf("More? [y] ");
167 fgets(buffer, sizeof(buffer), stdin);
169 if (buffer[0] == 'n' || buffer[0] == 'N')
179 static void newline(char *label)
183 fputs(label, stdout);
185 indent(cur_depth * 2);
189 static void brief_fixnum(lispobj obj)
192 printf("%ld", ((long)obj)>>2);
194 printf("%d", ((s32)obj)>>2);
198 static void print_fixnum(lispobj obj)
201 printf(": %ld", ((long)obj)>>2);
203 printf(": %d", ((s32)obj)>>2);
207 static void brief_otherimm(lispobj obj)
221 printf("#\\Newline");
224 printf("#\\Backspace");
230 strcpy(buffer, "#\\");
232 strcat(buffer, "m-");
236 strcat(buffer, "c-");
239 printf("%s%c", buffer, c);
244 case type_UnboundMarker:
245 printf("<unbound marker>");
250 if (idx < (sizeof(subtype_Names) / sizeof(char *)))
251 printf("%s", subtype_Names[idx]);
253 printf("unknown type (0x%0x)", type);
258 static void print_otherimm(lispobj obj)
265 if (idx < (sizeof(subtype_Names) / sizeof(char *)))
266 printf(", %s", subtype_Names[idx]);
268 printf(", unknown type (0x%0x)", type);
270 switch (TypeOf(obj)) {
277 case type_UnboundMarker:
281 printf(": data=%ld", (long) (obj>>8)&0xffffff);
286 static void brief_list(lispobj obj)
291 if (!is_valid_lisp_addr((os_vm_address_t)obj))
292 printf("(invalid Lisp-level address)");
297 while (LowtagOf(obj) == type_ListPointer) {
298 struct cons *cons = (struct cons *)native_pointer(obj);
302 if (++length >= max_length) {
307 print_obj(NULL, cons->car);
315 print_obj(NULL, obj);
321 static void print_list(lispobj obj)
323 if (!is_valid_lisp_addr((os_vm_address_t)obj)) {
324 printf("(invalid address)");
325 } else if (obj == NIL) {
328 struct cons *cons = (struct cons *)native_pointer(obj);
330 print_obj("car: ", cons->car);
331 print_obj("cdr: ", cons->cdr);
335 static void brief_struct(lispobj obj)
337 printf("#<ptr to 0x%08lx instance>",
338 (unsigned long) ((struct instance *)native_pointer(obj))->slots[0]);
341 static void print_struct(lispobj obj)
343 struct instance *instance = (struct instance *)native_pointer(obj);
346 print_obj("type: ", ((struct instance *)native_pointer(obj))->slots[0]);
347 for (i = 1; i < HeaderValue(instance->header); i++) {
348 sprintf(buffer, "slot %d: ", i);
349 print_obj(buffer, instance->slots[i]);
353 static void brief_otherptr(lispobj obj)
355 lispobj *ptr, header;
357 struct symbol *symbol;
358 struct vector *vector;
361 ptr = (lispobj *) native_pointer(obj);
363 if (!is_valid_lisp_addr((os_vm_address_t)obj)) {
364 printf("(invalid address)");
369 type = TypeOf(header);
371 case type_SymbolHeader:
372 symbol = (struct symbol *)ptr;
373 vector = (struct vector *)native_pointer(symbol->name);
374 for (charptr = (char *)vector->data; *charptr != '\0'; charptr++) {
381 case type_SimpleString:
382 vector = (struct vector *)ptr;
384 for (charptr = (char *)vector->data; *charptr != '\0'; charptr++) {
394 brief_otherimm(header);
399 static void print_slots(char **slots, int count, lispobj *ptr)
401 while (count-- > 0) {
403 print_obj(*slots++, *ptr++);
405 print_obj("???: ", *ptr++);
410 /* FIXME: Yikes again! This, like subtype_Names[], needs to depend
411 * on the values in sbcl.h. */
412 static char *symbol_slots[] = {"value: ", "unused: ",
413 "plist: ", "name: ", "package: ", NULL};
414 static char *ratio_slots[] = {"numer: ", "denom: ", NULL};
415 static char *complex_slots[] = {"real: ", "imag: ", NULL};
416 static char *code_slots[] = {"words: ", "entry: ", "debug: ", NULL};
417 static char *fn_slots[] = {"self: ", "next: ", "name: ", "arglist: ", "type: ", NULL};
418 static char *closure_slots[] = {"fn: ", NULL};
419 static char *funcallable_instance_slots[] = {"fn: ", "lexenv: ", "layout: ", NULL};
420 static char *weak_pointer_slots[] = {"value: ", NULL};
421 static char *fdefn_slots[] = {"name: ", "function: ", "raw_addr: ", NULL};
422 static char *value_cell_slots[] = {"value: ", NULL};
424 static void print_otherptr(lispobj obj)
426 if (!is_valid_lisp_addr((os_vm_address_t)obj)) {
427 printf("(invalid address)");
431 unsigned long header;
432 unsigned long length;
438 int count, type, index;
439 char *cptr, buffer[16];
441 ptr = (lispobj*) native_pointer(obj);
443 printf(" (NULL Pointer)");
448 length = (*ptr) >> 2;
450 type = TypeOf(header);
452 print_obj("header: ", header);
453 if (LowtagOf(header) != type_OtherImmediate0 && LowtagOf(header) != type_OtherImmediate1) {
455 printf("(invalid header object)");
465 printf("%08lx", (unsigned long) *--ptr);
469 print_slots(ratio_slots, count, ptr);
473 print_slots(complex_slots, count, ptr);
476 case type_SymbolHeader:
477 print_slots(symbol_slots, count, ptr);
480 case type_SingleFloat:
482 printf("%g", ((struct single_float *)native_pointer(obj))->value);
485 case type_DoubleFloat:
487 printf("%g", ((struct double_float *)native_pointer(obj))->value);
490 #ifdef type_LongFloat
493 printf("%Lg", ((struct long_float *)native_pointer(obj))->value);
497 #ifdef type_ComplexSingleFloat
498 case type_ComplexSingleFloat:
500 printf("%g", ((struct complex_single_float *)native_pointer(obj))->real);
502 printf("%g", ((struct complex_single_float *)native_pointer(obj))->imag);
506 #ifdef type_ComplexDoubleFloat
507 case type_ComplexDoubleFloat:
509 printf("%g", ((struct complex_double_float *)native_pointer(obj))->real);
511 printf("%g", ((struct complex_double_float *)native_pointer(obj))->imag);
515 #ifdef type_ComplexLongFloat
516 case type_ComplexLongFloat:
518 printf("%Lg", ((struct complex_long_float *)native_pointer(obj))->real);
520 printf("%Lg", ((struct complex_long_float *)native_pointer(obj))->imag);
524 case type_SimpleString:
526 cptr = (char *)(ptr+1);
533 case type_SimpleVector:
535 printf("length = %ld", length);
538 while (length-- > 0) {
539 sprintf(buffer, "%d: ", index++);
540 print_obj(buffer, *ptr++);
544 case type_InstanceHeader:
546 printf("length = %ld", (long) count);
548 while (count-- > 0) {
549 sprintf(buffer, "%d: ", index++);
550 print_obj(buffer, *ptr++);
554 case type_SimpleArray:
555 case type_SimpleBitVector:
556 case type_SimpleArrayUnsignedByte2:
557 case type_SimpleArrayUnsignedByte4:
558 case type_SimpleArrayUnsignedByte8:
559 case type_SimpleArrayUnsignedByte16:
560 case type_SimpleArrayUnsignedByte32:
561 #ifdef type_SimpleArraySignedByte8
562 case type_SimpleArraySignedByte8:
564 #ifdef type_SimpleArraySignedByte16
565 case type_SimpleArraySignedByte16:
567 #ifdef type_SimpleArraySignedByte30
568 case type_SimpleArraySignedByte30:
570 #ifdef type_SimpleArraySignedByte32
571 case type_SimpleArraySignedByte32:
573 case type_SimpleArraySingleFloat:
574 case type_SimpleArrayDoubleFloat:
575 #ifdef type_SimpleArrayLongFloat
576 case type_SimpleArrayLongFloat:
578 #ifdef type_SimpleArrayComplexSingleFloat
579 case type_SimpleArrayComplexSingleFloat:
581 #ifdef type_SimpleArrayComplexDoubleFloat
582 case type_SimpleArrayComplexDoubleFloat:
584 #ifdef type_SimpleArrayComplexLongFloat
585 case type_SimpleArrayComplexLongFloat:
587 case type_ComplexString:
588 case type_ComplexBitVector:
589 case type_ComplexVector:
590 case type_ComplexArray:
593 case type_CodeHeader:
594 print_slots(code_slots, count-1, ptr);
597 case type_FunctionHeader:
598 case type_ClosureFunctionHeader:
599 print_slots(fn_slots, 5, ptr);
602 case type_ReturnPcHeader:
603 print_obj("code: ", obj - (count * 4));
606 case type_ClosureHeader:
607 print_slots(closure_slots, count, ptr);
610 case type_FuncallableInstanceHeader:
611 print_slots(funcallable_instance_slots, count, ptr);
614 case type_ValueCellHeader:
615 print_slots(value_cell_slots, 1, ptr);
621 printf("0x%08lx", (unsigned long) *ptr);
623 printf("0x%016lx", *(lispobj*)(ptr+1));
627 case type_WeakPointer:
628 print_slots(weak_pointer_slots, 1, ptr);
632 case type_UnboundMarker:
634 printf("pointer to an immediate?");
638 print_slots(fdefn_slots, count, ptr);
643 printf("Unknown header object?");
649 static void print_obj(char *prefix, lispobj obj)
651 static void (*verbose_fns[])(lispobj obj)
652 = {print_fixnum, print_otherptr, print_otherimm, print_list,
653 print_fixnum, print_struct, print_otherimm, print_otherptr};
654 static void (*brief_fns[])(lispobj obj)
655 = {brief_fixnum, brief_otherptr, brief_otherimm, brief_list,
656 brief_fixnum, brief_struct, brief_otherimm, brief_otherptr};
657 int type = LowtagOf(obj);
658 struct var *var = lookup_by_obj(obj);
660 boolean verbose = cur_depth < brief_depth;
662 if (!continue_p(verbose))
665 if (var != NULL && var_clock(var) == cur_clock)
668 if (var == NULL && (obj & type_FunctionPointer & type_ListPointer & type_InstancePointer & type_OtherPointer) != 0)
669 var = define_var(NULL, obj, 0);
672 var_setclock(var, cur_clock);
677 sprintf(buffer, "$%s=", var_name(var));
682 printf("%s0x%08lx: ", prefix, (unsigned long) obj);
683 if (cur_depth < brief_depth) {
684 fputs(lowtag_Names[type], stdout);
685 (*verbose_fns[type])(obj);
688 (*brief_fns[type])(obj);
692 printf("$%s", var_name(var));
695 printf("$%s=", var_name(var));
696 (*brief_fns[type])(obj);
710 void print(lispobj obj)
722 void brief_print(lispobj obj)
736 brief_print(lispobj obj)
738 printf("lispobj 0x%lx\n", (unsigned long)obj);
741 #endif /* defined(LISP_FEATURE_SB_LDB) */