0.9.4.17:
[sbcl.git] / src / runtime / backtrace.c
index e10af61..624ffcf 100644 (file)
 #include "interrupt.h"
 #include "lispregs.h"
 #ifdef LISP_FEATURE_GENCGC
+#include "arch.h"
 #include "gencgc-alloc-region.h"
+#include "genesis/compiled-debug-fun.h"
+#include "genesis/compiled-debug-info.h"
+#include "genesis/package.h"
 #endif
 #include "genesis/static-symbols.h"
 #include "genesis/primitive-objects.h"
 #include "thread.h"
 
-#ifndef LISP_FEATURE_X86
+#if !(defined(LISP_FEATURE_X86) || defined(LISP_FEATURE_X86_64))
 
 /* KLUDGE: Sigh ... I know what the call frame looks like and it had
  * better not change. */
 
 struct call_frame {
-#ifndef alpha
-       struct call_frame *old_cont;
+#ifndef LISP_FEATURE_ALPHA
+        struct call_frame *old_cont;
 #else
         u32 old_cont;
 #endif
-       lispobj saved_lra;
+        lispobj saved_lra;
         lispobj code;
-       lispobj other_state[5];
+        lispobj other_state[5];
 };
 
 struct call_info {
-#ifndef alpha
+#ifndef LISP_FEATURE_ALPHA
     struct call_frame *frame;
 #else
     u32 frame;
 #endif
     int interrupted;
-#ifndef alpha
+#ifndef LISP_FEATURE_ALPHA
     struct code *code;
 #else
     u32 code;
@@ -97,7 +101,7 @@ cs_valid_pointer_p(struct call_frame *pointer)
 {
     struct thread *thread=arch_os_get_current_thread();
     return (((char *) thread->control_stack_start <= (char *) pointer) &&
-           ((char *) pointer < (char *) current_control_stack_pointer));
+            ((char *) pointer < (char *) current_control_stack_pointer));
 }
 
 static void
@@ -119,27 +123,27 @@ call_info_from_context(struct call_info *info, os_context_t *context)
 
     info->interrupted = 1;
     if (lowtag_of(*os_context_register_addr(context, reg_CODE))
-       == FUN_POINTER_LOWTAG) {
+        == FUN_POINTER_LOWTAG) {
         /* We tried to call a function, but crapped out before $CODE could
          * be fixed up. Probably an undefined function. */
         info->frame =
-           (struct call_frame *)(*os_context_register_addr(context,
-                                                           reg_OCFP));
+            (struct call_frame *)(*os_context_register_addr(context,
+                                                            reg_OCFP));
         info->lra = (lispobj)(*os_context_register_addr(context, reg_LRA));
         info->code = code_pointer(info->lra);
         pc = (unsigned long)native_pointer(info->lra);
     }
     else {
         info->frame =
-           (struct call_frame *)(*os_context_register_addr(context, reg_CFP));
+            (struct call_frame *)(*os_context_register_addr(context, reg_CFP));
         info->code =
-           code_pointer(*os_context_register_addr(context, reg_CODE));
+            code_pointer(*os_context_register_addr(context, reg_CODE));
         info->lra = NIL;
         pc = *os_context_pc_addr(context);
     }
     if (info->code != NULL)
         info->pc = pc - (unsigned long) info->code -
-#ifndef alpha
+#ifndef LISP_FEATURE_ALPHA
             (HEADER_LENGTH(info->code->header) * sizeof(lispobj));
 #else
             (HEADER_LENGTH(((struct code *)info->code)->header) * sizeof(lispobj));
@@ -156,7 +160,7 @@ previous_info(struct call_info *info)
     int free;
 
     if (!cs_valid_pointer_p(info->frame)) {
-        printf("Bogus callee value (0x%08x).\n", (unsigned long)info->frame);
+        printf("Bogus callee value (0x%08lx).\n", (unsigned long)info->frame);
         return 0;
     }
 
@@ -172,11 +176,11 @@ previous_info(struct call_info *info)
         /* We were interrupted. Find the correct signal context. */
         free = SymbolValue(FREE_INTERRUPT_CONTEXT_INDEX,thread)>>2;
         while (free-- > 0) {
-           os_context_t *context = 
-               thread->interrupt_contexts[free];
+            os_context_t *context =
+                thread->interrupt_contexts[free];
             if ((struct call_frame *)(*os_context_register_addr(context,
-                                                               reg_CFP))
-               == info->frame) {
+                                                                reg_CFP))
+                == info->frame) {
                 call_info_from_context(info, context);
                 break;
             }
@@ -187,7 +191,7 @@ previous_info(struct call_info *info)
         if (info->code != NULL)
             info->pc = (unsigned long)native_pointer(info->lra) -
                 (unsigned long)info->code -
-#ifndef alpha
+#ifndef LISP_FEATURE_ALPHA
                 (HEADER_LENGTH(info->code->header) * sizeof(lispobj));
 #else
                 (HEADER_LENGTH(((struct code *)info->code)->header) * sizeof(lispobj));
@@ -203,19 +207,19 @@ void
 backtrace(int nframes)
 {
     struct call_info info;
-       
+
     call_info_from_lisp_state(&info);
 
     do {
-        printf("<Frame 0x%08x%s, ", (unsigned long) info.frame,
+        printf("<Frame 0x%08lx%s, ", (unsigned long) info.frame,
                 info.interrupted ? " [interrupted]" : "");
 
         if (info.code != (struct code *) 0) {
             lispobj function;
 
-            printf("CODE: 0x%08X, ", (unsigned long) info.code | OTHER_POINTER_LOWTAG);
+            printf("CODE: 0x%08lX, ", (unsigned long) info.code | OTHER_POINTER_LOWTAG);
 
-#ifndef alpha
+#ifndef LISP_FEATURE_ALPHA
             function = info.code->entry_points;
 #else
             function = ((struct code *)info.code)->entry_points;
@@ -244,6 +248,7 @@ backtrace(int nframes)
                         string = (struct vector *) object;
                         printf("%s, ", (char *) string->data);
                     } else
+                        /* FIXME: broken from (VECTOR NIL) */
                         printf("(Not simple string??\?), ");
                 } else
                     printf("(Not other pointer??\?), ");
@@ -256,7 +261,7 @@ backtrace(int nframes)
             printf("CODE: ???, ");
 
         if (info.lra != NIL)
-            printf("LRA: 0x%08x, ", (unsigned long)info.lra);
+            printf("LRA: 0x%08lx, ", (unsigned long)info.lra);
         else
             printf("<no LRA>, ");
 
@@ -270,12 +275,220 @@ backtrace(int nframes)
 
 #else
 
+static int
+stack_pointer_p (void *p)
+{
+  return (p < (void *) arch_os_get_current_thread()->control_stack_end
+          && p > (void *) &p
+          && (((unsigned long) p) & 3) == 0);
+}
+
+static int
+ra_pointer_p (void *ra)
+{
+  return ((unsigned long) ra) > 4096 && !stack_pointer_p (ra);
+}
+
+static int
+x86_call_context (void *fp, void **ra, void **ocfp)
+{
+  void *lisp_ocfp;
+  void *lisp_ra;
+  void *c_ocfp;
+  void *c_ra;
+  int lisp_valid_p, c_valid_p;
+
+  if (!stack_pointer_p(fp))
+    return 0;
+
+  c_ocfp    = *((void **) fp);
+  c_ra      = *((void **) fp + 1);
+  lisp_ocfp = *((void **) fp - 1);
+  lisp_ra   = *((void **) fp - 2);
+
+  lisp_valid_p = (lisp_ocfp > fp
+                  && stack_pointer_p(lisp_ocfp)
+                  && ra_pointer_p(lisp_ra));
+  c_valid_p = (c_ocfp > fp
+               && stack_pointer_p(c_ocfp)
+               && ra_pointer_p(c_ra));
+
+  if (lisp_valid_p && c_valid_p) {
+    void *lisp_path_fp;
+    void *c_path_fp;
+    void *dummy;
+
+    int lisp_path_p = x86_call_context(lisp_ocfp, &lisp_path_fp, &dummy);
+    int c_path_p = x86_call_context(c_ocfp, &c_path_fp, &dummy);
+
+    if (lisp_path_p && c_path_p) {
+#if defined __FreeBSD__ && __FreeBSD_version > 400000
+      if (lisp_ocfp > c_ocfp)
+        *ra = lisp_ra, *ocfp = lisp_ocfp;
+      else
+        *ra = c_ra, *ocfp = c_ocfp;
+#else
+      *ra = lisp_ra, *ocfp = lisp_ocfp;
+#endif
+    }
+    else if (lisp_path_p)
+      *ra = lisp_ra, *ocfp = lisp_ocfp;
+    else if (c_path_p)
+      *ra = c_ra, *ocfp = c_ocfp;
+    else
+      return 0;
+  }
+  else if (lisp_valid_p)
+    *ra = lisp_ra, *ocfp = lisp_ocfp;
+  else if (c_valid_p)
+    *ra = c_ra, *ocfp = c_ocfp;
+  else
+    return 0;
+
+  return 1;
+}
+
+struct compiled_debug_fun *
+debug_function_from_pc (struct code* code, void *pc)
+{
+  unsigned long code_header_len = sizeof(lispobj) * HeaderValue(code->header);
+  unsigned long offset
+    = (unsigned long) pc - (unsigned long) code - code_header_len;
+  struct compiled_debug_fun *df;
+  struct compiled_debug_info *di;
+  struct vector *v;
+  int i, len;
+
+  if (lowtag_of(code->debug_info) != INSTANCE_POINTER_LOWTAG)
+    return 0;
+
+  di = (struct compiled_debug_info *) native_pointer(code->debug_info);
+  v = (struct vector *) native_pointer(di->fun_map);
+  len = fixnum_value(v->length);
+  df = (struct compiled_debug_fun *) native_pointer(v->data[0]);
+
+  if (len == 1)
+    return df;
+
+  for (i = 1;; i += 2) {
+    unsigned next_pc;
+
+    if (i == len)
+      return ((struct compiled_debug_fun *) native_pointer(v->data[i - 1]));
+
+    if (offset >= fixnum_value(df->elsewhere_pc)) {
+      struct compiled_debug_fun *p
+        = ((struct compiled_debug_fun *) native_pointer(v->data[i + 1]));
+      next_pc = fixnum_value(p->elsewhere_pc);
+    } else
+      next_pc = fixnum_value(v->data[i]);
+
+    if (offset < next_pc)
+      return ((struct compiled_debug_fun *) native_pointer(v->data[i - 1]));
+  }
+
+  return NULL;
+}
 
+static void
+print_entry_name (lispobj name)
+{
+  if (lowtag_of (name) == LIST_POINTER_LOWTAG) {
+    putchar('(');
+    while (name != NIL) {
+      struct cons *cons = (struct cons *) native_pointer(name);
+      print_entry_name(cons->car);
+      name = cons->cdr;
+      if (name != NIL)
+        putchar(' ');
+    }
+    putchar(')');
+  } else if (lowtag_of(name) == OTHER_POINTER_LOWTAG) {
+    lispobj *object = (lispobj *) native_pointer(name);
+
+    if (widetag_of(*object) == SYMBOL_HEADER_WIDETAG) {
+      struct symbol *symbol = (struct symbol *) object;
+      struct vector *string;
+
+      if (symbol->package != NIL) {
+        struct package *pkg
+          = (struct package *) native_pointer(symbol->package);
+        lispobj pkg_name = pkg->_name;
+        string = (struct vector *) native_pointer(pkg_name);
+        printf("%s::", (char *) string->data);
+      }
+
+      object = (lispobj *) native_pointer(symbol->name);
+      string = (struct vector *) object;
+      printf("%s", (char *) string->data);
+    } else if (widetag_of(*object) == SIMPLE_BASE_STRING_WIDETAG) {
+      struct vector *string = (struct vector *) object;
+      printf("\"%s\"", (char *) string->data);
+#ifdef SIMPLE_CHARACTER_STRING_WIDETAG
+    } else if (widetag_of(*object) == SIMPLE_CHARACTER_STRING_WIDETAG) {
+      printf("<oops, a unicode string>");                           /* FIXME */
+#endif
+    } else
+      printf("<??? type %d>", (int) widetag_of(*object));
+  } else
+    printf("<??? lowtag %d>", (int) lowtag_of(name));
+}
+
+static void
+print_entry_points (struct code *code)
+{
+  lispobj function = code->entry_points;
+
+  while (function != NIL) {
+    struct simple_fun *header = (struct simple_fun *) native_pointer(function);
+    print_entry_name(header->name);
+
+    function = header->next;
+    if (function != NIL)
+      printf (", ");
+  }
+}
 
 void
 backtrace(int nframes)
 {
-    printf("Can't backtrace on this hardware platform.\n");
+  void *fp;
+  int i;
+
+#if defined(LISP_FEATURE_X86)
+  asm("movl %%ebp,%0" : "=g" (fp));
+#elif defined (LISP_FEATURE_X86_64)
+  asm("movq %%rbp,%0" : "=g" (fp));
+#else
+#error "How did we get here?"
+#endif
+
+  for (i = 0; i < nframes; ++i) {
+    lispobj *p;
+    void *ra;
+    void *next_fp;
+
+    if (!x86_call_context(fp, &ra, &next_fp))
+      break;
+
+    printf("%4d: ", i);
+
+    p = (lispobj *) component_ptr_from_pc((lispobj *) ra);
+    if (p) {
+      struct code *cp = (struct code *) p;
+      struct compiled_debug_fun *df = debug_function_from_pc(cp, ra);
+      if (df)
+        print_entry_name(df->name);
+      else
+        print_entry_points(cp);
+    } else
+      printf("Foreign fp = 0x%lx, ra = 0x%lx",
+             (unsigned long) next_fp,
+             (unsigned long) ra);
+
+    putchar('\n');
+    fp = next_fp;
+  }
 }
 
 #endif