10525 |
-5067.2056))) |
-5067.2056))) |
10526 |
t) |
t) |
10527 |
|
|
10528 |
|
(deftest misc.581a |
10529 |
|
(notnot |
10530 |
|
(typep |
10531 |
|
(funcall |
10532 |
|
(compile nil '(lambda (x) (declare (type (eql -1.0) x)) |
10533 |
|
;;; Note! #x1000001 is the least positive integer |
10534 |
|
;;; for which this fails on x86 |
10535 |
|
(+ #x1000001 x))) |
10536 |
|
-1.0f0) |
10537 |
|
'single-float)) |
10538 |
|
t) |
10539 |
|
|
10540 |
;;; Incorrect result |
;;; Incorrect result |
10541 |
|
|
10542 |
(deftest misc.582 |
(deftest misc.582 |
10543 |
(let ((result |
(let ((result |
10544 |
(funcall |
(funcall |
10545 |
(compile |
(compile |
10546 |
nil |
nil |
10547 |
' (lambda (p1) |
' (lambda (p1) |
10548 |
(declare (optimize (speed 0) (safety 1) (debug 1) (space 1)) |
(declare (optimize (speed 0) (safety 1) (debug 1) (space 1)) |
10549 |
(type (eql -39887.645) p1)) |
(type (eql -39887.645) p1)) |
10550 |
(mod p1 382352925))) |
(mod p1 382352925))) |
10551 |
-39887.645))) |
-39887.645))) |
10552 |
(if (plusp result) |
(if (plusp result) |
10553 |
t |
t |
10554 |
result)) |
result)) |
10555 |
t) |
t) |
10556 |
|
|
10563 |
(compile |
(compile |
10564 |
nil |
nil |
10565 |
'(lambda (p1) |
'(lambda (p1) |
10566 |
(declare (optimize (speed 0) (safety 0) (debug 2) (space 3)) |
(declare (optimize (speed 0) (safety 0) (debug 2) (space 3)) |
10567 |
(type (complex rational) p1)) |
(type (complex rational) p1)) |
10568 |
(sqrt p1))) |
(sqrt p1))) |
10569 |
#c(-9003 -121)))) |
#c(-9003 -121)))) |
10570 |
t) |
t) |
10571 |
|
|
10577 |
(compile |
(compile |
10578 |
nil |
nil |
10579 |
'(lambda (p1 p2) |
'(lambda (p1 p2) |
10580 |
(declare (optimize (speed 1) (safety 1) (debug 0) (space 1)) |
(declare (optimize (speed 1) (safety 1) (debug 0) (space 1)) |
10581 |
(type (member -3712.8447) p1) |
(type (member -3712.8447) p1) |
10582 |
(type (integer -34359738403 -24) p2)) |
(type (integer -34359738403 -24) p2)) |
10583 |
(scale-float p1 p2))) |
(scale-float p1 p2))) |
10584 |
-3712.8447 -27) |
-3712.8447 -27) |