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

diff --git a/src/compiler/sparc/insts.lisp b/src/compiler/sparc/insts.lisp
index 801be79..2d50851 100644
--- a/src/compiler/sparc/insts.lisp
+++ b/src/compiler/sparc/insts.lisp
@@ -32,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
@@ -64,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)
@@ -1183,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
@@ -1260,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
@@ -1278,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
@@ -1393,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)))))
 
@@ -1440,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)