828 |
100) |
100) |
829 |
-1) |
-1) |
830 |
|
|
831 |
|
;;; sbcl bug (probably #233) |
832 |
(deftest misc.63 |
(deftest misc.63 |
833 |
(let* ((form '(flet ((%f12 () (setq c -9868204937))) |
(let* ((form '(flet ((%f12 () (setq c -9868204937))) |
834 |
(if (<= c (%f12)) -2 (if (= c c) b c)))) |
(if (<= c (%f12)) -2 (if (= c c) b c)))) |
841 |
(apply (compile nil form2) vals))) |
(apply (compile nil form2) vals))) |
842 |
t) |
t) |
843 |
|
|
844 |
|
;;; sbcl bug (probably #233) |
845 |
(deftest misc.64 |
(deftest misc.64 |
846 |
(let* ((form '(logcount |
(let* ((form '(logcount |
847 |
(if (not (> c (let ((v7 (setq c -246180))) -1))) |
(if (not (> c (let ((v7 (setq c -246180))) -1))) |
857 |
(apply (compile nil form2) vals))) |
(apply (compile nil form2) vals))) |
858 |
t) |
t) |
859 |
|
|
860 |
|
;;; sbcl bug (probably #233) |
861 |
(deftest misc.65 |
(deftest misc.65 |
862 |
(let ((form1 '(lambda (b c) |
(let ((form1 '(lambda (b c) |
863 |
(declare (type (integer -350684427436 -255912007) b)) |
(declare (type (integer -350684427436 -255912007) b)) |
1115 |
(if (unwind-protect (unwind-protect 2)) 3 4)))) |
(if (unwind-protect (unwind-protect 2)) 3 4)))) |
1116 |
1) |
1) |
1117 |
|
|
1118 |
|
;;; |
1119 |
;;; cmucl bug (18e+ 10/15/03) |
;;; cmucl bug (18e+ 10/15/03) |
1120 |
|
;;; Also occurs in sbcl (0.8.16.20) |
1121 |
|
;;; "Too large to be represented as a SINGLE-FLOAT" |
1122 |
|
;;; (a large bignum is coerced to a single-float in type propagation, |
1123 |
|
;;; with unfortunate results.) |
1124 |
|
;;; |
1125 |
|
|
1126 |
|
;;; Here, the function were the problem occurs is - |
1127 |
(deftest misc.89 |
(deftest misc.89 |
1128 |
(funcall |
(funcall |
1129 |
(compile nil |
(compile nil |
1134 |
0) |
0) |
1135 |
-26) |
-26) |
1136 |
|
|
1137 |
|
;;; Here, it is MAX |
1138 |
|
(deftest misc.89a |
1139 |
|
(funcall |
1140 |
|
(compile |
1141 |
|
nil |
1142 |
|
'(lambda (a b c d) |
1143 |
|
(declare (type (integer -265115792172 -206231862770) a)) |
1144 |
|
(declare (type (integer 11069 58322510034) b)) |
1145 |
|
(declare (type (integer -7351 28730) c)) |
1146 |
|
(declare (type (integer -913299295156 3670905260104) d)) |
1147 |
|
(declare (ignorable a b c d)) |
1148 |
|
(declare |
1149 |
|
(optimize (safety 1) (space 1) (compilation-speed 2) |
1150 |
|
(debug 0) (speed 2))) |
1151 |
|
(- (signum (catch 'ct6 0)) (numerator (* -1303 d -20527703 d c))))) |
1152 |
|
-261283766805 41605749408 5110 1269102278886) |
1153 |
|
-220139978315039892599545286437019126040) |
1154 |
|
|
1155 |
|
;;; Here, it is MOD |
1156 |
|
(deftest misc.89b |
1157 |
|
(funcall |
1158 |
|
(compile |
1159 |
|
nil |
1160 |
|
'(lambda (a b c d) |
1161 |
|
(declare (type (integer -481454219025 239286093202) a)) |
1162 |
|
(declare (type (integer -1121405368785 213522) b)) |
1163 |
|
(declare (type (integer -103720347879 -241) c)) |
1164 |
|
(declare (type (integer -12830115357 3027711346) d)) |
1165 |
|
(declare (ignorable a b c d)) |
1166 |
|
(declare (optimize (speed 2) (compilation-speed 1) (space 1) |
1167 |
|
(safety 3) (debug 2))) |
1168 |
|
(floor (load-time-value 0) (min -18 (* a c b -12626))))) |
1169 |
|
-78545446876 -460518205737 -38885914099 1598305189) |
1170 |
|
0 0) |
1171 |
|
|
1172 |
;;; acl bugs (version 6.2, linux x86 trial) |
;;; acl bugs (version 6.2, linux x86 trial) |
1173 |
(deftest misc.90 |
(deftest misc.90 |
1174 |
(let* ((form '(- 0 (ignore-errors 20763) |
(let* ((form '(- 0 (ignore-errors 20763) |