8659 |
(list val1 val2))) |
(list val1 val2))) |
8660 |
:good) |
:good) |
8661 |
|
|
8662 |
|
;;; sbcl 0.8.17.24 |
8663 |
|
;;; Bugs in the just-introduced fixnum arithmetic transforms |
8664 |
|
|
8665 |
|
(deftest misc.455 |
8666 |
|
(funcall |
8667 |
|
(compile |
8668 |
|
nil |
8669 |
|
'(lambda (a b) |
8670 |
|
(declare (type (integer -4079701634499 2272876436845) b)) |
8671 |
|
(declare (optimize (space 0) (compilation-speed 1) |
8672 |
|
(safety 3) (speed 2) (debug 0))) |
8673 |
|
(logand (* -775 b) a 37284))) |
8674 |
|
-18465060867 832909434173) |
8675 |
|
32772) |
8676 |
|
|
|
|
|
8677 |
|
(deftest misc.456 |
8678 |
|
(funcall |
8679 |
|
(compile |
8680 |
|
nil |
8681 |
|
'(lambda (b c) |
8682 |
|
(declare (type (integer -30606350847 35078064098) b)) |
8683 |
|
(declare (type (integer -6652 6638) c)) |
8684 |
|
(declare (optimize (space 3) (safety 0) |
8685 |
|
(speed 0) (compilation-speed 2) (debug 1))) |
8686 |
|
(logand (* -9964236 (setq c 6206) 2600) b c))) |
8687 |
|
17296668225 -6574) |
8688 |
|
4096) |