1104 |
0) |
0) |
1105 |
26) |
26) |
1106 |
|
|
1107 |
;;; acl bug (version 6.2, linux x86 trial) |
;;; acl bugs (version 6.2, linux x86 trial) |
1108 |
(deftest misc.90 |
(deftest misc.90 |
1109 |
(let* ((form '(- 0 (ignore-errors 20763) |
(let* ((form '(- 0 (ignore-errors 20763) |
1110 |
(logxor b 1 c -7672794) b)) |
(logxor b 1 c -7672794) b)) |
1122 |
(list v1 v2 v3)))) |
(list v1 v2 v3)))) |
1123 |
:good) |
:good) |
1124 |
|
|
|
;;; acl bug (version 6.2, linux x86 trial) |
|
1125 |
(deftest misc.91 |
(deftest misc.91 |
1126 |
(let ((fn1 '(lambda () |
(let ((fn1 '(lambda () |
1127 |
(declare (optimize (speed 3) (safety 1))) |
(declare (optimize (speed 3) (safety 1))) |
1135 |
(list v1 v2 v3)))) |
(list v1 v2 v3)))) |
1136 |
:good) |
:good) |
1137 |
|
|
|
;;; acl bug (version 6.2, linux x86 trial) |
|
1138 |
(deftest misc.92 |
(deftest misc.92 |
1139 |
(let* ((form '(- -16179207 b (lognor (let () 3) (logxor -17567197 c)))) |
(let* ((form '(- -16179207 b (lognor (let () 3) (logxor -17567197 c)))) |
1140 |
(fn1 `(lambda (b c) |
(fn1 `(lambda (b c) |
1152 |
(list v1 v2 v3)))) |
(list v1 v2 v3)))) |
1153 |
:good) |
:good) |
1154 |
|
|
|
|
|
1155 |
|
(deftest misc.93 |
1156 |
|
(let* ((form '(ash (1+ (flet ((%f5 (f5-1) c)) c)) |
1157 |
|
(min 69 (logxor a b)))) |
1158 |
|
(fn1 `(lambda (a b c) |
1159 |
|
(declare (type (integer -128 -109) a) |
1160 |
|
(type (integer -2 -1) b) |
1161 |
|
(optimize (speed 3) (safety 1))) |
1162 |
|
,form)) |
1163 |
|
(fn2 `(lambda (a b c) ,form)) |
1164 |
|
(vals '(-123 -1 2590941967601))) |
1165 |
|
(eqlt (apply (compile nil fn1) vals) |
1166 |
|
(apply (compile nil fn2) vals))) |
1167 |
|
t) |
1168 |
|
|
1169 |
|
(deftest misc.94 |
1170 |
|
(not (funcall |
1171 |
|
(compile nil '(lambda () |
1172 |
|
(declare (optimize (speed 3) (safety 1) (debug 1))) |
1173 |
|
(<= 268435280 |
1174 |
|
(load-time-value |
1175 |
|
39763134374436777607194165739302560271120000)))))) |
1176 |
|
nil) |
1177 |
|
|
1178 |
|
(deftest misc.95 |
1179 |
|
(let* ((form '(+ 272 c (if (< b a) -49618 -29042) b)) |
1180 |
|
(fn1 `(lambda (a b c) |
1181 |
|
(declare (type (integer -1585918 601848636) a)) |
1182 |
|
(declare (type (integer -4 16544323) b)) |
1183 |
|
(declare (optimize (speed 3))) |
1184 |
|
(declare (optimize (safety 1))) |
1185 |
|
,form)) |
1186 |
|
(fn2 `(lambda (a b c) ,form)) |
1187 |
|
(vals '(601739317 10891850 17452477960))) |
1188 |
|
(let ((v1 (apply (compile nil fn1) vals)) |
1189 |
|
(v2 (apply (compile nil fn2) vals))) |
1190 |
|
(if (eql v1 v2) |
1191 |
|
:good |
1192 |
|
(list v1 v2)))) |
1193 |
|
:good) |
1194 |
|
|
1195 |
|
(deftest misc.96 |
1196 |
|
(let* ((form '(max 26 (ceiling b (min -8 (max -1 c))))) |
1197 |
|
(fn1 `(lambda (b c) |
1198 |
|
(declare (type (integer 482134 96074347505) b)) |
1199 |
|
(declare (type (integer -4036 -50) c)) |
1200 |
|
(declare (optimize (speed 3))) |
1201 |
|
(declare (optimize (safety 1))) |
1202 |
|
,form)) |
1203 |
|
(fn2 `(lambda (b c) ,form)) |
1204 |
|
(vals '(90244278480 -338))) |
1205 |
|
(let ((v1 (apply (compile nil fn1) vals)) |
1206 |
|
(v2 (apply (compile nil fn2) vals))) |
1207 |
|
(if (eql v1 v2) |
1208 |
|
:good |
1209 |
|
(list v1 v2)))) |
1210 |
|
:good) |
1211 |
|
|
1212 |
|
(deftest misc.97 |
1213 |
|
(let* ((form '(- 349708 (gcd c 0) (logand b b (if (> -8543459 c) 83328 1073)))) |
1214 |
|
(fn1 `(lambda (b c) |
1215 |
|
(declare (type (integer 301653 329907) b)) |
1216 |
|
(declare (type (integer 171971491 1073721279) c)) |
1217 |
|
(declare (optimize (speed 3))) |
1218 |
|
(declare (optimize (safety 1))) |
1219 |
|
,form)) |
1220 |
|
(fn2 `(lambda (b c) ,form)) |
1221 |
|
(vals '(321769 1073671227))) |
1222 |
|
(let ((v1 (apply (compile nil fn1) vals)) |
1223 |
|
(v2 (apply (compile nil fn2) vals))) |
1224 |
|
(if (eql v1 v2) |
1225 |
|
:good |
1226 |
|
(list v1 v2)))) |
1227 |
|
:good) |
1228 |
|
|
1229 |
|
|
1230 |
|
|
1231 |
|
|