gencgc: More precise conservatism for pointers to boxed pages.

[sbcl.git] / src / code / mips-vm.lisp

diff --git a/src/code/mips-vm.lisp b/src/code/mips-vm.lisp
index a6dbef6..df647eb 100644 (file)
--- a/src/code/mips-vm.lisp
+++ b/src/code/mips-vm.lisp
@@ -4,19 +4,14 @@
 
 \f
 (define-alien-type os-context-t (struct os-context-t-struct))
+(define-alien-type os-context-register-t unsigned-long-long)
 
 \f
-;;;; MACHINE-TYPE and MACHINE-VERSION
+;;;; MACHINE-TYPE
 
 (defun machine-type ()
   "Returns a string describing the type of the local machine."
   "MIPS")
-
-;;; support for CL:MACHINE-VERSION defined OAOO elsewhere
-(defun get-machine-version ()
-  #!+little-endian "little-endian"
-  #!-little-endian "big-endian")
-
 \f
 ;;;; FIXUP-CODE-OBJECT
 
@@ -25,55 +20,49 @@
   (unless (zerop (rem offset n-word-bytes))
     (error "Unaligned instruction?  offset=#x~X." offset))
   (sb!sys:without-gcing
-   (let ((sap (truly-the system-area-pointer
-                         (%primitive sb!c::code-instructions code))))
+   (let ((sap (%primitive sb!c::code-instructions code)))
      (ecase kind
        (:jump
         (aver (zerop (ash value -28)))
         (setf (ldb (byte 26 0) (sap-ref-32 sap offset))
               (ash value -2)))
        (:lui
-        (setf (sap-ref-16 sap
-                          #!+little-endian offset
-                          #!-little-endian (+ offset 2))
-              (+ (ash value -16)
-                 (if (logbitp 15 value) 1 0))))
+        (setf (ldb (byte 16 0) (sap-ref-32 sap offset))
+              (ash (1+ (ash value -15)) -1)))
        (:addi
-        (setf (sap-ref-16 sap
-                          #!+little-endian offset
-                          #!-little-endian (+ offset 2))
+        (setf (ldb (byte 16 0) (sap-ref-32 sap offset))
               (ldb (byte 16 0) value)))))))
 
 \f
 (define-alien-routine ("os_context_pc_addr" context-pc-addr)
-    (* unsigned-long-long)
-  (context (* os-context-t)))
+    (* os-context-register-t)
+  (context (* os-context-t) :in))
 
 (defun context-pc (context)
   (declare (type (alien (* os-context-t)) context))
   (int-sap (deref (context-pc-addr context))))
 
 (define-alien-routine ("os_context_register_addr" context-register-addr)
-    (* unsigned-long-long)
-  (context (* os-context-t))
-  (index int))
+    (* os-context-register-t)
+  (context (* os-context-t) :in)
+  (index int :in))
 
 (define-alien-routine ("os_context_bd_cause" context-bd-cause-int)
     unsigned-int
-  (context (* os-context-t)))
+  (context (* os-context-t) :in))
 
 ;;; FIXME: Should this and CONTEXT-PC be INLINE to reduce consing?
 ;;; (Are they used in anything time-critical, or just the debugger?)
 (defun context-register (context index)
   (declare (type (alien (* os-context-t)) context))
   (let ((addr (context-register-addr context index)))
-    (declare (type (alien (* unsigned-long-long)) addr))
+    (declare (type (alien (* os-context-register-t)) addr))
     (deref addr)))
 
 (defun %set-context-register (context index new)
   (declare (type (alien (* os-context-t)) context))
   (let ((addr (context-register-addr context index)))
-    (declare (type (alien (* unsigned-long-long)) addr))
+    (declare (type (alien (* os-context-register-t)) addr))
     (setf (deref addr) new)))
 
 ;;; This is like CONTEXT-REGISTER, but returns the value of a float
@@ -82,27 +71,35 @@
 ;;; FIXME: Whether COERCE actually knows how to make a float out of a
 ;;; long is another question. This stuff still needs testing.
 (define-alien-routine ("os_context_fpregister_addr" context-float-register-addr)
-    (* unsigned-long-long)
-  (context (* os-context-t))
-  (index int))
+    (* os-context-register-t)
+  (context (* os-context-t) :in)
+  (index int :in))
 
 (defun context-float-register (context index format)
   (declare (type (alien (* os-context-t)) context))
   (let ((addr (context-float-register-addr context index)))
-    (declare (type (alien (* unsigned-long-long)) addr))
+    (declare (type (alien (* os-context-register-t)) addr))
     (coerce (deref addr) format)))
 
 (defun %set-context-float-register (context index format new)
   (declare (type (alien (* os-context-t)) context))
   (let ((addr (context-float-register-addr context index)))
-    (declare (type (alien (* unsigned-long-long)) addr))
+    (declare (type (alien (* os-context-register-t)) addr))
     (setf (deref addr) (coerce new format))))
 
+(define-alien-routine
+    ("arch_get_fp_control" floating-point-modes) unsigned-int)
+
+(define-alien-routine
+    ("arch_set_fp_control" %floating-point-modes-setter) void (fp unsigned-int :in))
+
+(defun (setf floating-point-modes) (val) (%floating-point-modes-setter val))
+
 ;;; Given a signal context, return the floating point modes word in
 ;;; the same format as returned by FLOATING-POINT-MODES.
 (define-alien-routine ("os_context_fp_control" context-floating-point-modes)
     unsigned-int
-  (context (* os-context-t)))
+  (context (* os-context-t) :in))
 
 ;;;; Internal-error-arguments.