Changeset 5017

Timestamp:

Aug 23, 2006, 9:59:35 PM (18 years ago)

Author:

Gary Byers

Message:

Darwin needs to decode the mxcsr on SIGFPE.

DARWIN_GS_HACK changes in altstack handlers for interrupt/suspend.

File:

• trunk/ccl/lisp-kernel/x86-exceptions.c (modified) (16 diffs)

trunk/ccl/lisp-kernel/x86-exceptions.c

@@ -571 +571 @@
 
 
-#ifdef FREEBSD
+#if defined(FREEBSD) || defined(DARWIN)
 static
 char mxcsr_bit_to_fpe_code[] = {
@@ -583 +583 @@
 
 void
-freebsd_decode_vector_fp_exception(siginfo_t *info, ExceptionInformation *xp)
+decode_vector_fp_exception(siginfo_t *info, uint32_t mxcsr)
 {
   /* If the exception appears to be an XMM FP exception, try to
      determine what it was by looking at bits in the mxcsr.
   */
+  int xbit, maskbit;
+  
+  for (xbit = 0, maskbit = MXCSR_IM_BIT; xbit < 6; xbit++, maskbit++) {
+    if ((mxcsr & (1 << xbit)) &&
+        !(mxcsr & (1 << maskbit))) {
+      info->si_code = mxcsr_bit_to_fpe_code[xbit];
+      return;
+    }
+  }
+}
+
+#ifdef FREEBSD
+void
+freebsd_decode_vector_fp_exception(siginfo_t *info, ExceptionInformation *xp)
+{
   if (info->si_code == 0) {
     struct savefpu *fpu = (struct savefpu *) &(xp->uc_mcontext.mc_fpstate);
     uint32_t mxcsr = fpu->sv_env.en_mxcsr;
-    int xbit, maskbit;
-   
-    for (xbit = 0, maskbit = MXCSR_IM_BIT; xbit < 6; xbit++, maskbit++) {
-      if ((mxcsr & (1 << xbit)) &&
-          !(mxcsr & (1 << maskbit))) {
-        info->si_code = mxcsr_bit_to_fpe_code[xbit];
-        return;
-      }
-    }
-  }
-}
+
+    decode_vector_fp_exception(info, mxcsr);
+  }
+}
+#endif
+
+#ifdef DARWIN
+void
+darwin_decode_vector_fp_exception(siginfo_t *info, ExceptionInformation *xp)
+{
+  if (info->si_code == EXC_I386_SSEEXTERR) {
+    uint32_t mxcsr = UC_MCONTEXT(xp)->fs.fpu_mxcsr;
+
+    decode_vector_fp_exception(info, mxcsr);
+  }
+}
+
+#endif
+
 #endif
 
@@ -691 +714 @@
     freebsd_decode_vector_fp_exception(info,context);
 #endif
+#ifdef DARWIN
+    /* Same general problem with Darwin as of 8.7.2 */
+    darwin_decode_vector_fp_exception(info,context);
+#endif
+
     return handle_floating_point_exception(tcr, context, info);
 
@@ -830 +858 @@
 #endif
 
+#ifdef DARWIN
+LispObj *
+copy_darwin_mcontext(struct mcontext64 *context, 
+                     LispObj *current, 
+                     struct mcontext64 **out)
+{
+  struct mcontext64 *dest = ((struct mcontext64 *)current)-1;
+  dest = (struct mcontext64 *) (((LispObj)dest) & ~15);
+
+  *dest = *context;
+  *out = dest;
+  return (LispObj *)dest;
+}
+#endif
+
 LispObj *
 copy_siginfo(siginfo_t *info, LispObj *current)
 {
   siginfo_t *dest = ((siginfo_t *)current) - 1;
+  dest = (siginfo_t *) (((LispObj)dest)&~15);
   *dest = *info;
   return (LispObj *)dest;
@@ -954 +998 @@
 altstack_interrupt_handler (int signum, siginfo_t *info, ExceptionInformation *context)
 {
+#ifdef DARWIN_GS_HACK
+  Boolean gs_was_tcr = ensure_gs_pthread();
+#endif
   TCR *tcr = get_interrupt_tcr(false);
   LispObj *foreign_rsp = find_foreign_rsp(xpGPR(context,Isp), tcr->cs_area, tcr);
@@ -961 +1008 @@
   void *fpregs = NULL;
 #endif
+#ifdef DARWIN
+  struct mcontext64 *mcontextp = NULL;
+#endif
   siginfo_t *info_copy = NULL;
   ExceptionInformation *xp = NULL;
@@ -967 +1017 @@
 #ifdef LINUX
     foreign_rsp = copy_fpregs(context, foreign_rsp, &fpregs);
+#endif
+#ifdef DARWIN
+    foreign_rsp = copy_darwin_mcontext(UC_MCONTEXT(context), foreign_rsp, &mcontextp);
 #endif
     foreign_rsp = copy_siginfo(info, foreign_rsp);
@@ -972 +1025 @@
     foreign_rsp = copy_ucontext(context, foreign_rsp, fpregs);
     xp = (ExceptionInformation *)foreign_rsp;
+#ifdef DARWIN
+    UC_MCONTEXT(xp) = mcontextp;
+#endif
     *--foreign_rsp = (LispObj)__builtin_return_address(0);
+#ifdef DARWIN_GS_HACK
+    if (gs_was_tcr) {
+      set_gs_address(tcr);
+    }
+#endif
     switch_to_foreign_stack(foreign_rsp,interrupt_handler,signum,info_copy,xp);
   }
@@ -997 +1058 @@
 install_pmcl_exception_handlers()
 {
-  
+#ifndef DARWIN  
   install_signal_handler(SIGILL, altstack_signal_handler);
   
@@ -1003 +1064 @@
   install_signal_handler(SIGSEGV,altstack_signal_handler);
   install_signal_handler(SIGFPE, altstack_signal_handler);
-
+#endif
   
   install_signal_handler(SIGNAL_FOR_PROCESS_INTERRUPT,
@@ -1014 +1075 @@
 altstack_suspend_resume_handler(int signum, siginfo_t *info, ExceptionInformation  *context)
 {
+#ifdef DARWIN_GS_HACK
+  Boolean gs_was_tcr = ensure_gs_pthread();
+#endif
   TCR* tcr = get_tcr(true);
   LispObj *foreign_rsp = find_foreign_rsp(xpGPR(context,Isp), tcr->cs_area, tcr);
@@ -1021 +1085 @@
   void *fpregs = NULL;
 #endif
+#ifdef DARWIN
+  struct mcontext64 *mcontextp = NULL;
+#endif
+
   siginfo_t *info_copy = NULL;
   ExceptionInformation *xp = NULL;
@@ -1027 +1095 @@
 #ifdef LINUX
     foreign_rsp = copy_fpregs(context, foreign_rsp, &fpregs);
+#endif
+#ifdef DARWIN
+    foreign_rsp = copy_darwin_mcontext(UC_MCONTEXT(context), foreign_rsp, &mcontextp);
 #endif
     foreign_rsp = copy_siginfo(info, foreign_rsp);
@@ -1032 +1103 @@
     foreign_rsp = copy_ucontext(context, foreign_rsp, fpregs);
     xp = (ExceptionInformation *)foreign_rsp;
+#ifdef DARWIN
+    UC_MCONTEXT(xp) = mcontextp;
+#endif
     *--foreign_rsp = (LispObj)__builtin_return_address(0);
+#ifdef DARWIN_GS_HACK
+    if (gs_was_tcr) {
+      set_gs_address(tcr);
+    }
+#endif
     switch_to_foreign_stack(foreign_rsp,suspend_resume_handler,signum,info_copy,xp);
   }
@@ -1573 +1652 @@
   /* Set the thread's FP state from the pseudosigcontext */
   kret = thread_set_state(thread,
-                          x86_FLOAT_STATE,
+                          x86_FLOAT_STATE64,
                           (thread_state_t)&(mc->fs),
-                          x86_FLOAT_STATE_COUNT);
+                          x86_FLOAT_STATE64_COUNT);
 
   MACH_CHECK_ERROR("setting thread FP state", kret);
@@ -1673 +1752 @@
   bcopy(ts,&(mc->ss),sizeof(*ts));
 
-  thread_state_count = x86_FLOAT_STATE_COUNT;
+  thread_state_count = x86_FLOAT_STATE64_COUNT;
   thread_get_state(thread,
-                   x86_FLOAT_STATE,
+                   x86_FLOAT_STATE64,
                    (thread_state_t)&(mc->fs),
                    &thread_state_count);