0.7.5.15:
[sbcl.git] / src / code / sparc-vm.lisp
1 ;;;; SPARC-specific runtime stuff
2
3 ;;;; This software is part of the SBCL system. See the README file for
4 ;;;; more information.
5 ;;;;
6 ;;;; This software is derived from the CMU CL system, which was
7 ;;;; written at Carnegie Mellon University and released into the
8 ;;;; public domain. The software is in the public domain and is
9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
10 ;;;; files for more information.
11 (in-package "SB!VM")
12
13 \f
14
15 ;;; See x86-vm.lisp for a description of this.
16 (define-alien-type os-context-t (struct os-context-t-struct))
17
18
19 \f
20 ;;;; MACHINE-TYPE and MACHINE-VERSION
21
22 (defun machine-type ()
23   "Returns a string describing the type of the local machine."
24   "SPARC")
25
26 (defun machine-version ()
27   "Returns a string describing the version of the local machine."
28   "SPARC")
29
30 \f
31 (defun fixup-code-object (code offset fixup kind)
32   (declare (type index offset))
33   (unless (zerop (rem offset n-word-bytes))
34     (error "Unaligned instruction?  offset=#x~X." offset))
35   (sb!sys:without-gcing
36    (let ((sap (truly-the system-area-pointer
37                          (%primitive sb!kernel::code-instructions code))))
38      (ecase kind
39        (:call
40         (error "Can't deal with CALL fixups, yet."))
41        (:sethi
42         (setf (ldb (byte 22 0) (sap-ref-32 sap offset))
43               (ldb (byte 22 10) fixup)))
44        (:add
45         (setf (ldb (byte 10 0) (sap-ref-32 sap offset))
46               (ldb (byte 10 0) fixup)))))))
47
48 \f
49 ;;;; "Sigcontext" access functions, cut & pasted from alpha-vm.lisp.
50 ;;;;
51 ;;;; See also x86-vm for commentary on signed vs unsigned.
52
53 (define-alien-routine ("os_context_pc_addr" context-pc-addr) (* unsigned-int)
54   (context (* os-context-t)))
55
56 (defun context-pc (context)
57   (declare (type (alien (* os-context-t)) context))
58   (int-sap (deref (context-pc-addr context))))
59
60 (define-alien-routine ("os_context_register_addr" context-register-addr)
61   (* unsigned-int)
62   (context (* os-context-t))
63   (index int))
64
65 ;;; FIXME: Should this and CONTEXT-PC be INLINE to reduce consing?
66 ;;; (Are they used in anything time-critical, or just the debugger?)
67 (defun context-register (context index)
68   (declare (type (alien (* os-context-t)) context))
69   (deref (context-register-addr context index)))
70
71 (defun %set-context-register (context index new)
72 (declare (type (alien (* os-context-t)) context))
73 (setf (deref (context-register-addr context index))
74       new))
75
76 ;;; This is like CONTEXT-REGISTER, but returns the value of a float
77 ;;; register. FORMAT is the type of float to return.
78
79 ;;; FIXME: Whether COERCE actually knows how to make a float out of a
80 ;;; long is another question. This stuff still needs testing.
81 #+nil
82 (define-alien-routine ("os_context_float_register_addr" context-float-register-addr)
83   (* long)
84   (context (* os-context-t))
85   (index int))
86 #+nil
87 (defun context-float-register (context index format)
88   (declare (type (alien (* os-context-t)) context))
89   (coerce (deref (context-float-register-addr context index)) format))
90 #+nil
91 (defun %set-context-float-register (context index format new)
92   (declare (type (alien (* os-context-t)) context))
93   (setf (deref (context-float-register-addr context index))
94         (coerce new format)))
95
96 ;;; Given a signal context, return the floating point modes word in
97 ;;; the same format as returned by FLOATING-POINT-MODES.
98
99 ;;; Under SunOS, we have a straightforward implementation in C:
100 #!+sunos
101 (define-alien-routine ("os_context_fp_control" context-floating-point-modes)
102     (sb!alien:unsigned 32)
103   (context (* os-context-t)))
104
105 ;;; Under Linux, we have to contend with utterly broken signal handling.
106 #!+linux
107 (defun context-floating-point-modes (context)
108   (warn "stub CONTEXT-FLOATING-POINT-MODES")
109   0)
110 \f
111 ;;;; INTERNAL-ERROR-ARGS.
112
113 ;;; Given a (POSIX) signal context, extract the internal error
114 ;;; arguments from the instruction stream.  This is e.g.
115 ;;; 4       23      254     240     2       0       0       0 
116 ;;; |       ~~~~~~~~~~~~~~~~~~~~~~~~~
117 ;;; length         data              (everything is an octet)
118 ;;;  (pc)
119 (defun internal-error-args (context)
120   (declare (type (alien (* os-context-t)) context))
121   (sb!int::/show0 "entering INTERNAL-ERROR-ARGS")
122   (let* ((pc (context-pc context))
123          (bad-inst (sap-ref-32 pc 0))
124          (op (ldb (byte 2 30) bad-inst))
125          (op2 (ldb (byte 3 22) bad-inst))
126          (op3 (ldb (byte 6 19) bad-inst)))
127     (declare (type system-area-pointer pc))
128     (cond ((and (= op #b00) (= op2 #b000))
129            (args-for-unimp-inst context))
130           ((and (= op #b10) (= (ldb (byte 4 2) op3) #b1000))
131            (args-for-tagged-add-inst context bad-inst))
132           ((and (= op #b10) (= op3 #b111010))
133            (args-for-tcc-inst bad-inst))
134           (t
135            (values #.(error-number-or-lose 'unknown-error) nil)))))
136
137 (defun args-for-unimp-inst (context)
138   (declare (type (alien (* os-context-t)) context))
139   (let* ((pc (context-pc context))
140          (length (sap-ref-8 pc 4))
141          (vector (make-array length :element-type '(unsigned-byte 8))))
142     (declare (type system-area-pointer pc)
143              (type (unsigned-byte 8) length)
144              (type (simple-array (unsigned-byte 8) (*)) vector))
145     (copy-from-system-area pc (* n-byte-bits 5)
146                            vector (* n-word-bits
147                                      vector-data-offset)
148                            (* length n-byte-bits))
149     (let* ((index 0)
150            (error-number (sb!c::read-var-integer vector index)))
151       (collect ((sc-offsets))
152                (loop
153                 (when (>= index length)
154                   (return))
155                 (sc-offsets (sb!c::read-var-integer vector index)))
156                (values error-number (sc-offsets))))))
157
158 (defun args-for-tagged-add-inst (context bad-inst)
159   (declare (type (alien (* os-context-t)) context))
160   (let* ((rs1 (ldb (byte 5 14) bad-inst))
161          (op1 (sb!kernel:make-lisp-obj (context-register context rs1))))
162     (if (fixnump op1)
163         (if (zerop (ldb (byte 1 13) bad-inst))
164             (let* ((rs2 (ldb (byte 5 0) bad-inst))
165                    (op2 (sb!kernel:make-lisp-obj (context-register context rs2))))
166               (if (fixnump op2)
167                   (values #.(error-number-or-lose 'unknown-error) nil)
168                   (values #.(error-number-or-lose 'object-not-fixnum-error)
169                           (list (sb!c::make-sc-offset
170                                  descriptor-reg-sc-number
171                                  rs2)))))
172             (values #.(error-number-or-lose 'unknown-error) nil))
173         (values #.(error-number-or-lose 'object-not-fixnum-error)
174                 (list (sb!c::make-sc-offset descriptor-reg-sc-number
175                                             rs1))))))
176
177 (defun args-for-tcc-inst (bad-inst)
178   (let* ((trap-number (ldb (byte 8 0) bad-inst))
179          (reg (ldb (byte 5 8) bad-inst)))
180     (values (case trap-number
181               (#.object-not-list-trap
182                #.(error-number-or-lose 'object-not-list-error))
183               (#.object-not-instance-trap
184                #.(error-number-or-lose 'object-not-instance-error))
185               (t
186                #.(error-number-or-lose 'unknown-error)))
187             (list (sb!c::make-sc-offset descriptor-reg-sc-number reg)))))
188