Changeset 6510

Timestamp:

May 9, 2007, 1:37:43 AM (18 years ago)

Author:

Gary Byers

Message:

lisp register display changes for x86-64.
Get FPU display working on x86-64.

File:

• trunk/ccl/lisp-kernel/lisp-debug.c (modified) (7 diffs)

trunk/ccl/lisp-kernel/lisp-debug.c

@@ -383 +383 @@
   fprintf(stderr,"------\n");
   show_lisp_register(xp, "fn", Ifn);
-  show_lisp_register(xp, "ra0", Ira0);
   fprintf(stderr,"------\n");
   show_lisp_register(xp, "save0", Isave0);
@@ -394 +393 @@
   show_lisp_register(xp, "temp2", Itemp2);
   fprintf(stderr,"------\n");
-  if (tag_of(xpGPR(xp,Itemp2)) == tag_fixnum) {
-    fprintf(stderr,"%%cx (nargs) = %d (maybe)\n", unbox_fixnum(xpGPR(xp,Itemp2)&0xffff));
+  if (tag_of(xpGPR(xp,Inargs)) == tag_fixnum) {
+    fprintf(stderr,"%%cx (nargs) = %d (maybe)\n", unbox_fixnum(xpGPR(xp,Inargs)&0xffff));
   }
 #endif
@@ -459 +458 @@
 }
 
-unsigned
-debug_get_u32_value(char *prompt)
+natural
+debug_get_natural_value(char *prompt)
 {
   char s[32];
   int n;
-  unsigned val;
+  natural val;
 
   do {
@@ -470 +469 @@
     fprintf(stderr, "\n  %s :", prompt);
     fgets(s, 24, stdin);
-    n = sscanf(s, "%i", &val);
+    n = sscanf(s, "%lu", &val);
   } while (n != 1);
   return val;
@@ -508 +507 @@
 {
   char buf[32];
-  unsigned val;
+  natural val;
 
   sprintf(buf, "value for GPR %d", arg);
-  val = debug_get_u32_value(buf);
+  val = debug_get_natural_value(buf);
   set_xpGPR(xp, arg, val);
   return debug_continue;
@@ -585 +584 @@
 #ifdef LINUX
   struct _libc_xmmreg * xmmp = &(xp->uc_mcontext.fpregs->_xmm[0]);
+#endif
+#ifdef DARWIN
+  struct xmm {
+    char fpdata[16];
+  };
+  struct xmm *xmmp = (struct xmm *)(xpFPRvector(xp));
+#endif
+#ifdef FREEBSD
+  struct xmmacc *xmmp = xpXMMregs(xp);
+#endif
   float *sp;
 
-  dp = (double *) sp;
-  np = (int *) sp;
 
   for (i = 0; i < 16; i++, xmmp++) {
@@ -594 +601 @@
     dp = (double *) xmmp;
     np = (int *) xmmp;
-    fprintf(stderr, "f%02d: 0x%08x (%f), 0x%08x%08x (%f)\n", i, *np, (double)(*sp), np[1], np[0], *dp);
-  }
-  fprintf(stderr, "mxcsr = 0x%08x\n",xp->uc_mcontext.fpregs->mxcsr);
-      
-#endif
-#endif
+    fprintf(stderr, "f%02d: 0x%08x (%e), 0x%08x%08x (%e)\n", i, *np, (double)(*sp), np[1], np[0], *dp);
+  }
+  fprintf(stderr, "mxcsr = 0x%08x\n",
+#ifdef LINUX
+          xp->uc_mcontext.fpregs->mxcsr
+#endif
+#ifdef DARWIN
+          xp->uc_mcontext->__fs.__fpu_mxcsr
+#endif
+#ifdef FREEBSD
+          (((struct savefpu *)(&(xp)->uc_mcontext.mc_fpstate))->sv_env.en_mxcsr)
+#endif
+          );
+#endif  
   return debug_continue;
 }