8662 |
;;; sbcl 0.8.17.24 |
;;; sbcl 0.8.17.24 |
8663 |
;;; Bugs in the just-introduced fixnum arithmetic transforms |
;;; Bugs in the just-introduced fixnum arithmetic transforms |
8664 |
|
|
8665 |
;;; LOGAND bug |
;;; LOGAND (?) bug |
8666 |
|
|
8667 |
(deftest misc.455 |
(deftest misc.455 |
8668 |
(funcall |
(funcall |
8698 |
'(lambda (a b) |
'(lambda (a b) |
8699 |
(declare (type (integer -455461 343063) a)) |
(declare (type (integer -455461 343063) a)) |
8700 |
(declare (type (integer -1020097 -12430) b)) |
(declare (type (integer -1020097 -12430) b)) |
8701 |
(declare (ignorable a b)) |
(declare (optimize (speed 3) (space 0) (compilation-speed 3) |
8702 |
(declare |
(debug 0) (safety 3))) |
|
(optimize (speed 3) |
|
|
(space 0) |
|
|
(compilation-speed 3) |
|
|
(debug 0) |
|
|
(safety 3))) |
|
8703 |
(deposit-field (* (logeqv a a) b) (byte 6 24) 0))) |
(deposit-field (* (logeqv a a) b) (byte 6 24) 0))) |
8704 |
-212811 -985078) |
-212811 -985078) |
8705 |
0) |
0) |
8706 |
|
|
8707 |
|
;;; LDB, * |
8708 |
|
|
8709 |
|
(deftest misc.458 |
8710 |
|
(funcall |
8711 |
|
(compile |
8712 |
|
nil |
8713 |
|
' (lambda (a) |
8714 |
|
(declare (type (integer -8175 27760966190) a)) |
8715 |
|
(declare (optimize |
8716 |
|
;; The next optimize declaration is necessary |
8717 |
|
;; for the bug to occur in sbcl 0.8.17.24 |
8718 |
|
#+sbcl (sb-c:insert-step-conditions 0) |
8719 |
|
(space 2) (speed 0) (compilation-speed 1) |
8720 |
|
(safety 0) (debug 3))) |
8721 |
|
(ldb (byte 29 0) (* a a)))) |
8722 |
|
14774118941) |
8723 |
|
101418825) |
8724 |
|
|
8725 |
|
;;; LOGAND, + |
8726 |
|
|
8727 |
|
(deftest misc.459 |
8728 |
|
(funcall |
8729 |
|
(compile |
8730 |
|
nil |
8731 |
|
'(lambda (a b) |
8732 |
|
(declare (type (integer -32933298905 -168011) a)) |
8733 |
|
(declare (type (integer -190015111797 16) b)) |
8734 |
|
(declare |
8735 |
|
(optimize (speed 2) |
8736 |
|
(compilation-speed 0) |
8737 |
|
(space 0) |
8738 |
|
(safety 1) |
8739 |
|
(debug 0) |
8740 |
|
; (sb-c:insert-step-conditions 0) |
8741 |
|
)) |
8742 |
|
(logand (+ b -9255) a 63))) |
8743 |
|
-8166030199 -45872222127) |
8744 |
|
8) |