X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Farith.pure.lisp;h=841f6ef5d64d1a9e3fc8e966af1e1eb3d9c82a8f;hb=49c69bcd41790587cbcb0411c5c3497ee84f4343;hp=16e015d6c7a637f485446bffd913cfc508e1e2ca;hpb=88871271448fb82abbc913997b9b5ea5a92054f8;p=sbcl.git diff --git a/tests/arith.pure.lisp b/tests/arith.pure.lisp index 16e015d..841f6ef 100644 --- a/tests/arith.pure.lisp +++ b/tests/arith.pure.lisp @@ -123,3 +123,33 @@ (compile nil '(lambda (x) (declare (bit x)) (+ x #xf0000000))) 1) #xf0000001)) + +;;; LOGBITP on bignums: +(dolist (x '(((1+ most-positive-fixnum) 1 nil) + ((1+ most-positive-fixnum) -1 t) + ((1+ most-positive-fixnum) (1+ most-positive-fixnum) nil) + ((1+ most-positive-fixnum) (1- most-negative-fixnum) t) + (1 (ash most-negative-fixnum 1) nil) + (29 most-negative-fixnum t) + (30 (ash most-negative-fixnum 1) t) + (31 (ash most-negative-fixnum 1) t) + (64 (ash most-negative-fixnum 36) nil) + (65 (ash most-negative-fixnum 36) t))) + (destructuring-bind (index int result) x + (assert (eq (eval `(logbitp ,index ,int)) result)))) + +;;; off-by-1 type inference error for %DPB and %DEPOSIT-FIELD: +(let ((f (compile nil '(lambda (b) + (integer-length (dpb b (byte 4 28) -1005)))))) + (assert (= (funcall f 1230070) 32))) +(let ((f (compile nil '(lambda (b) + (integer-length (deposit-field b (byte 4 28) -1005)))))) + (assert (= (funcall f 1230070) 32))) + +;;; type inference leading to an internal compiler error: +(let ((f (compile nil '(lambda (x) + (declare (type fixnum x)) + (ldb (byte 0 0) x))))) + (assert (= (funcall f 1) 0)) + (assert (= (funcall f most-positive-fixnum) 0)) + (assert (= (funcall f -1) 0)))