1157 |
(expect-fail (= (+ 1 fixnum-max) fixnum-max)) |
(expect-fail (= (+ 1 fixnum-max) fixnum-max)) |
1158 |
(expect-fail (= fixnum-min (- fixnum-min 1))) |
(expect-fail (= fixnum-min (- fixnum-min 1))) |
1159 |
(expect-fail (= (- fixnum-min 1) fixnum-min)) |
(expect-fail (= (- fixnum-min 1) fixnum-min)) |
1160 |
(expect-fail (= (+ fixnum-max 1) (- fixnum-min 1)))) |
(expect-fail (= (+ fixnum-max 1) (- fixnum-min 1))) |
1161 |
|
|
1162 |
|
(pass-if (not (= +nan.0 +nan.0))) |
1163 |
|
(pass-if (not (= 0 +nan.0))) |
1164 |
|
(pass-if (not (= +nan.0 0))) |
1165 |
|
(pass-if (not (= 1 +nan.0))) |
1166 |
|
(pass-if (not (= +nan.0 1))) |
1167 |
|
(pass-if (not (= -1 +nan.0))) |
1168 |
|
(pass-if (not (= +nan.0 -1))) |
1169 |
|
|
1170 |
|
(pass-if (not (= (ash 1 256) +nan.0))) |
1171 |
|
(pass-if (not (= +nan.0 (ash 1 256)))) |
1172 |
|
(pass-if (not (= (- (ash 1 256)) +nan.0))) |
1173 |
|
(pass-if (not (= +nan.0 (- (ash 1 256))))) |
1174 |
|
|
1175 |
|
(pass-if (not (= (ash 1 8192) +nan.0))) |
1176 |
|
(pass-if (not (= +nan.0 (ash 1 8192)))) |
1177 |
|
(pass-if (not (= (- (ash 1 8192)) +nan.0))) |
1178 |
|
(pass-if (not (= +nan.0 (- (ash 1 8192))))) |
1179 |
|
|
1180 |
|
;; in gmp prior to 4.2, mpz_cmp_d ended up treating NaN as 3*2^1023, make |
1181 |
|
;; sure we've avoided that |
1182 |
|
(pass-if (not (= (ash 3 1023) +nan.0))) |
1183 |
|
(pass-if (not (= +nan.0 (ash 3 1023))))) |
1184 |
|
|
1185 |
;;; |
;;; |
1186 |
;;; < |
;;; < |
1509 |
(< (- fixnum-min 1) fixnum-min)) |
(< (- fixnum-min 1) fixnum-min)) |
1510 |
|
|
1511 |
(pass-if "n = fixnum-min - 1" |
(pass-if "n = fixnum-min - 1" |
1512 |
(not (< (- fixnum-min 1) (- fixnum-min 1)))))) |
(not (< (- fixnum-min 1) (- fixnum-min 1))))) |
1513 |
|
|
1514 |
|
(pass-if (not (< +nan.0 +nan.0))) |
1515 |
|
(pass-if (not (< 0 +nan.0))) |
1516 |
|
(pass-if (not (< +nan.0 0))) |
1517 |
|
(pass-if (not (< 1 +nan.0))) |
1518 |
|
(pass-if (not (< +nan.0 1))) |
1519 |
|
(pass-if (not (< -1 +nan.0))) |
1520 |
|
(pass-if (not (< +nan.0 -1))) |
1521 |
|
|
1522 |
|
(pass-if (not (< (ash 1 256) +nan.0))) |
1523 |
|
(pass-if (not (< +nan.0 (ash 1 256)))) |
1524 |
|
(pass-if (not (< (- (ash 1 256)) +nan.0))) |
1525 |
|
(pass-if (not (< +nan.0 (- (ash 1 256))))) |
1526 |
|
|
1527 |
|
(pass-if (not (< (ash 1 8192) +nan.0))) |
1528 |
|
(pass-if (not (< +nan.0 (ash 1 8192)))) |
1529 |
|
(pass-if (not (< (- (ash 1 8192)) +nan.0))) |
1530 |
|
(pass-if (not (< +nan.0 (- (ash 1 8192))))) |
1531 |
|
|
1532 |
|
;; in gmp prior to 4.2, mpz_cmp_d ended up treating NaN as 3*2^1023, make |
1533 |
|
;; sure we've avoided that |
1534 |
|
(pass-if (not (< (ash 3 1023) +nan.0))) |
1535 |
|
(pass-if (not (< (1+ (ash 3 1023)) +nan.0))) |
1536 |
|
(pass-if (not (< (1- (ash 3 1023)) +nan.0))) |
1537 |
|
(pass-if (not (< +nan.0 (ash 3 1023)))) |
1538 |
|
(pass-if (not (< +nan.0 (1+ (ash 3 1023))))) |
1539 |
|
(pass-if (not (< +nan.0 (1- (ash 3 1023)))))) |
1540 |
|
|
1541 |
;;; |
;;; |
1542 |
;;; > |
;;; > |