X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fhppa-vm.lisp;h=9f30c9a5f34160159c46311bbd7f88ad7320ecdb;hb=35697e2c02e7b29f7953ae318d50305561927a16;hp=62a2b5c6335a2971d339f56b5114cf2619704452;hpb=338732358d49ab202fe55c3581294597d63aec6b;p=sbcl.git

diff --git a/src/code/hppa-vm.lisp b/src/code/hppa-vm.lisp
index 62a2b5c..9f30c9a 100644
--- a/src/code/hppa-vm.lisp
+++ b/src/code/hppa-vm.lisp
@@ -28,7 +28,7 @@
 		      (logand inst #xffffc000)))
 	     (:load-short
 	      (let ((low-bits (ldb (byte 11 0) value)))
-		(assert (<= 0 low-bits (1- (ash 1 4))))
+		(aver (<= 0 low-bits (1- (ash 1 4))))
 		(logior (ash low-bits 17)
 			(logand inst #xffe0ffff))))
 	     (:hi
@@ -40,7 +40,7 @@
 		      (logand inst #xffe00000)))
 	     (:branch
 	      (let ((bits (ldb (byte 9 2) value)))
-		(assert (zerop (ldb (byte 2 0) value)))
+		(aver (zerop (ldb (byte 2 0) value)))
 		(logior (ash bits 3)
 			(logand inst #xffe0e002)))))))))