X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fsparc%2Finsts.lisp;h=2d508518d9c765a4a4f338f854bfc693bb82d920;hb=1af3faa2b79125b774c2182cab841ed7ee555bed;hp=cdb9d3db5fe0fabb9772219d3ab12a85688ff36e;hpb=6d5b4ce7dd92bae0503f25ce72b924eab42d6e57;p=sbcl.git

diff --git a/src/compiler/sparc/insts.lisp b/src/compiler/sparc/insts.lisp
index cdb9d3d..2d50851 100644
--- a/src/compiler/sparc/insts.lisp
+++ b/src/compiler/sparc/insts.lisp
@@ -11,10 +11,6 @@
 
 (in-package "SB!VM")
 
-;;;FIXME: the analogue is commented out in alpha/insts.lisp
-;;;(def-assembler-params
-;;;    :scheduler-p t
-;;;  :max-locations 100)
 (eval-when (:compile-toplevel :load-toplevel :execute)
   (setf sb!assem:*assem-scheduler-p* t)
   (setf sb!assem:*assem-max-locations* 100))
@@ -36,9 +32,9 @@
     (error "~S isn't a floating-point register." tn))
   (let ((offset (tn-offset tn)))
     (cond ((> offset 31)
-	   (assert (member :sparc-v9 *backend-subfeatures*))
+	   (aver (member :sparc-v9 *backend-subfeatures*))
 	   ;; No single register encoding greater than reg 31.
-	   (assert (zerop (mod offset 2)))
+	   (aver (zerop (mod offset 2)))
 	   ;; Upper bit of the register number is encoded in the low bit.
 	   (1+ (- offset 32)))
 	  (t
@@ -68,12 +64,12 @@ Otherwise, use the Sparc register names")
 	   (+ (tn-offset loc) 32))
 	  (double-reg
 	   (let ((offset (tn-offset loc)))
-	     (assert (zerop (mod offset 2)))
+	     (aver (zerop (mod offset 2)))
 	     (values (+ offset 32) 2)))
 	  #!+long-float
 	  (long-reg
 	   (let ((offset (tn-offset loc)))
-	     (assert (zerop (mod offset 4)))
+	     (aver (zerop (mod offset 4)))
 	     (values (+ offset 32) 4)))))
        (control-registers
 	96)
@@ -134,6 +130,7 @@ about function addresses and register values.")
 	 (rd (ldb (byte 5 25) word))
 	 (immed-p (not (zerop (ldb (byte 1 13) word))))
 	 (immed-val (sign-extend-immed-value (ldb (byte 13 0) word))))
+    (declare (ignore immed-p))
     ;; Only the value of format and rd are guaranteed to be correct
     ;; because the disassembler is trying to print out the value of a
     ;; register.  The other values may not be right.
@@ -211,6 +208,7 @@ about function addresses and register values.")
 			  dstate)))))))
 
 (defun handle-jmpl-inst (rs1 immed-val rd dstate)
+  (declare (ignore rd))
   (let* ((sethi (assoc rs1 *note-sethi-inst*)))
     (when sethi
       ;; RS1 was used in a SETHI instruction.  Assume that
@@ -1185,10 +1183,8 @@ about function addresses and register values.")
     (cond (length-only
            (values 0 (1+ length) nil nil))
           (t
-           (sb!kernel:copy-from-system-area sap (* n-byte-bits (1+ offset))
-                                         vector (* n-word-bits
-                                                   vector-data-offset)
-                                         (* length n-byte-bits))
+           (sb!kernel:copy-ub8-from-system-area sap (1+ offset)
+                                                vector 0 length)
            (collect ((sc-offsets)
                      (lengths))
              (lengths 1)                ; the length byte
@@ -1262,7 +1258,7 @@ about function addresses and register values.")
 
 (defun emit-relative-branch-integer (segment a op2 cond-or-target target &optional (cc :icc) (pred :pt))
   (declare (type integer-condition-register cc))
-  (assert (member :sparc-v9 *backend-subfeatures*))
+  (aver (member :sparc-v9 *backend-subfeatures*))
   (emit-back-patch segment 4
     (lambda (segment posn)
 	(unless target
@@ -1280,7 +1276,7 @@ about function addresses and register values.")
 	    offset)))))
 
 (defun emit-relative-branch-fp (segment a op2 cond-or-target target &optional (cc :fcc0) (pred :pt))
-  (assert (member :sparc-v9 *backend-subfeatures*))
+  (aver (member :sparc-v9 *backend-subfeatures*))
   (emit-back-patch segment 4
     (lambda (segment posn)
 	(unless target
@@ -1395,7 +1391,7 @@ about function addresses and register values.")
 			  (integer-condition cc)
 			  target))
      (t
-      (assert (null cc))
+      (aver (null cc))
       (emit-format-3-immed segment #b10 (branch-condition condition)
 			   #b111010 0 1 target)))))
 
@@ -1442,7 +1438,7 @@ about function addresses and register values.")
       (destructuring-bind (&optional fcc pred) args
 	(emit-relative-branch-fp segment 0 #b101 condition target (or fcc :fcc0) (or pred :pt))))
      (t 
-      (assert (null args))
+      (aver (null args))
       (emit-relative-branch segment 0 #b110 condition target t)))))
 
 (define-instruction fbp (segment condition target &optional fcc pred)