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 |
8666 |
|
|
8667 |
(deftest misc.455 |
(deftest misc.455 |
8668 |
(funcall |
(funcall |
8669 |
(compile |
(compile |
8688 |
(logand (* -9964236 (setq c 6206) 2600) b c))) |
(logand (* -9964236 (setq c 6206) 2600) b c))) |
8689 |
17296668225 -6574) |
17296668225 -6574) |
8690 |
4096) |
4096) |
8691 |
|
|
8692 |
|
;;; DEPOSIT-FIELD (?) bug |
8693 |
|
|
8694 |
|
(deftest misc.457 |
8695 |
|
(funcall |
8696 |
|
(compile |
8697 |
|
nil |
8698 |
|
'(lambda (a b) |
8699 |
|
(declare (type (integer -455461 343063) a)) |
8700 |
|
(declare (type (integer -1020097 -12430) b)) |
8701 |
|
(declare (ignorable a b)) |
8702 |
|
(declare |
8703 |
|
(optimize (speed 3) |
8704 |
|
(space 0) |
8705 |
|
(compilation-speed 3) |
8706 |
|
(debug 0) |
8707 |
|
(safety 3))) |
8708 |
|
(deposit-field (* (logeqv a a) b) (byte 6 24) 0))) |
8709 |
|
-212811 -985078) |
8710 |
|
0) |