X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Farith.impure.lisp;h=e4c7e7d6b46b331554bbefddc8ad9c018ec4ca2d;hb=c3699db2053ff3b5ac6a98d4431c3789496002d8;hp=6604a9fc1854be7dba80ff712fda5ec25cb85f78;hpb=6e73f7320651975ce7cd8e72e2334041b7e80df1;p=sbcl.git

diff --git a/tests/arith.impure.lisp b/tests/arith.impure.lisp
index 6604a9f..e4c7e7d 100644
--- a/tests/arith.impure.lisp
+++ b/tests/arith.impure.lisp
@@ -12,6 +12,7 @@
 ;;;; more information.
 
 (load "assertoid.lisp")
+(use-package "ASSERTOID")
 
 (defmacro define-compiled-fun (fun name)
   `(progn
@@ -65,4 +66,36 @@
 (assert (null (ignore-errors (compiled-logxor #c(2 3)))))
 (assert (= (compiled-logxor -6) -6))
 
-(sb-ext:quit :unix-status 104)
\ No newline at end of file
+(assert (raises-error? (coerce (expt 10 1000) 'single-float) type-error))
+
+(defun are-we-getting-ash-right (x y)
+  (declare (optimize speed)
+	   (type (unsigned-byte 32) x)
+	   (type (integer -40 0) y))
+  (ash x y))
+(defun what-about-with-constants (x)
+  (declare (optimize speed) (type (unsigned-byte 32) x))
+  (ash x -32))
+
+(dotimes (i 41)
+  (assert (= (are-we-getting-ash-right (1- (ash 1 32)) (- i))
+	     (if (< i 32)
+		 (1- (ash 1 (- 32 i)))
+	         0))))
+(assert (= (what-about-with-constants (1- (ash 1 32))) 0))
+
+(defun one-more-test-case-to-catch-sparc (x y)
+  (declare (optimize speed (safety 0))
+	   (type (unsigned-byte 32) x) (type (integer -40 2) y))
+  (the (unsigned-byte 32) (ash x y)))
+(assert (= (one-more-test-case-to-catch-sparc (1- (ash 1 32)) -40) 0))
+
+(defun 64-bit-logcount (x)
+  (declare (optimize speed) (type (unsigned-byte 54) x))
+  (logcount x))
+(assert (= (64-bit-logcount (1- (ash 1 24))) 24))
+(assert (= (64-bit-logcount (1- (ash 1 32))) 32))
+(assert (= (64-bit-logcount (1- (ash 1 48))) 48))
+(assert (= (64-bit-logcount (1- (ash 1 54))) 54))
+
+(sb-ext:quit :unix-status 104)