X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fassem.lisp;h=a6137b0338f3f6e253e4d2d92d2abd734079e21c;hb=d147d512602d761a2dcdfded506dd1a8f9a140dc;hp=79b992ab5bacbc7fb73b135d29d79dddec656a99;hpb=0b5610d8a220a4b20cbeac958953ca4d67c00038;p=sbcl.git

diff --git a/src/compiler/assem.lisp b/src/compiler/assem.lisp
index 79b992a..a6137b0 100644
--- a/src/compiler/assem.lisp
+++ b/src/compiler/assem.lisp
@@ -311,12 +311,12 @@
 						(inst-write-dependencies inst))
 				(writes write))
 			     (writes)))
-  (assert (segment-run-scheduler segment))
+  (aver (segment-run-scheduler segment))
   (let ((countdown (segment-branch-countdown segment)))
     (when countdown
       (decf countdown)
-      (assert (not (instruction-attributep (inst-attributes inst)
-					   variable-length))))
+      (aver (not (instruction-attributep (inst-attributes inst)
+					 variable-length))))
     (cond ((instruction-attributep (inst-attributes inst) branch)
 	   (unless countdown
 	     (setf countdown (inst-delay inst)))
@@ -336,7 +336,7 @@
 ;;; instructions would sit there until the scheduler was turned back
 ;;; on, and emitted in the wrong place).
 (defun schedule-pending-instructions (segment)
-  (assert (segment-run-scheduler segment))
+  (aver (segment-run-scheduler segment))
 
   ;; Quick blow-out if nothing to do.
   (when (and (sset-empty (segment-emittable-insts-sset segment))
@@ -565,8 +565,8 @@ p	    ;; the branch has two dependents and one of them dpends on
 ;;; remove this instruction from their dependents list. If we were the
 ;;; last dependent, then that dependency can be emitted now.
 (defun note-resolved-dependencies (segment inst)
-  (assert (sset-empty (inst-read-dependents inst)))
-  (assert (sset-empty (inst-write-dependents inst)))
+  (aver (sset-empty (inst-read-dependents inst)))
+  (aver (sset-empty (inst-write-dependents inst)))
   (do-sset-elements (dep (inst-write-dependencies inst))
     ;; These are the instructions who have to be completed before our
     ;; write fires. Doesn't matter how far before, just before.
@@ -853,7 +853,7 @@ p	    ;; the branch has two dependents and one of them dpends on
 	       (emit-skip segment (- (ash 1 alignment) slop) fill-byte)))
 	   (let ((size (logand (1- (ash 1 bits))
 			       (lognot (1- (ash 1 alignment))))))
-	     (assert (> size 0))
+	     (aver (> size 0))
 	     (emit-annotation segment (make-alignment bits size fill-byte))
 	     (emit-skip segment size fill-byte))
 	   (setf (segment-alignment segment) bits)
@@ -998,7 +998,7 @@ p	    ;; the branch has two dependents and one of them dpends on
 		 (size (- new-posn posn))
 		 (old-size (alignment-size note))
 		 (additional-delta (- old-size size)))
-	    (assert (<= 0 size old-size))
+	    (aver (<= 0 size old-size))
 	    (unless (zerop additional-delta)
 	      (setf (segment-last-annotation segment) prev)
 	      (incf delta additional-delta)
@@ -1387,7 +1387,7 @@ p	    ;; the branch has two dependents and one of them dpends on
       (let ((forms nil))
 	(dotimes (i num-bytes)
 	  (let ((pieces (svref bytes i)))
-	    (assert pieces)
+	    (aver pieces)
 	    (push `(emit-byte ,segment-arg
 			      ,(if (cdr pieces)
 				   `(logior ,@pieces)