1 |
;-*- Mode: Lisp -*- |
2 |
;;;; Author: Paul Dietz |
3 |
;;;; Created: Sat Sep 20 09:45:15 2003 |
4 |
;;;; Contains: Miscellaneous tests |
5 |
|
6 |
;;; |
7 |
;;; This file contains odds-and-ends, mostly tests that came up as |
8 |
;;; bug-stimulators in various implementations. |
9 |
;;; |
10 |
|
11 |
(in-package :cl-test) |
12 |
|
13 |
(deftest misc.1 |
14 |
(funcall |
15 |
(COMPILE NIL '(LAMBDA (B) |
16 |
(DECLARE (TYPE (INTEGER 8 22337) B)) |
17 |
(+ B 2607688420))) |
18 |
100) |
19 |
2607688520) |
20 |
|
21 |
(deftest misc.2 |
22 |
(funcall (compile nil |
23 |
'(lambda (b) (integer-length (dpb b (byte 4 28) -1005)))) |
24 |
12800263) |
25 |
32) |
26 |
|
27 |
(deftest misc.3 |
28 |
(funcall |
29 |
(compile |
30 |
nil |
31 |
'(lambda (a b) |
32 |
(declare (optimize (speed 3) (debug 1))) |
33 |
(let ((v7 |
34 |
(let ((v2 (block b5 (return-from b5 (if t b -4))))) |
35 |
a))) |
36 |
-65667836))) |
37 |
1 2) |
38 |
-65667836) |
39 |
|
40 |
(deftest misc.4 |
41 |
(funcall |
42 |
(compile |
43 |
nil |
44 |
'(lambda (a b c) |
45 |
(declare (type (integer -629491 -333) a) |
46 |
(type (integer -142 1) b) |
47 |
(type (integer 0 12604) c) |
48 |
(optimize (speed 3) (safety 1) (debug 1))) |
49 |
(let ((v6 (block b7 (return-from b7 (if (eql b 0) 1358159 a))))) |
50 |
b))) |
51 |
-1000 -17 6143) |
52 |
-17) |
53 |
|
54 |
(deftest misc.5 |
55 |
(funcall |
56 |
(compile nil |
57 |
'(lambda () (* 390 (- (signum (logeqv -8005440 -2310)) |
58 |
-10604863))))) |
59 |
4135896180) |
60 |
|
61 |
(deftest misc.6 |
62 |
(funcall |
63 |
(compile nil |
64 |
'(lambda (a c) |
65 |
(declare (optimize (speed 3) (debug 1))) |
66 |
(flet ((%f14 () (if c a -486826646))) |
67 |
(let ((v7 (flet ((%f18 () (%f14))) a))) |
68 |
(let ((v5 (%f14))) |
69 |
0))))) |
70 |
10 20) |
71 |
0) |
72 |
|
73 |
(deftest misc.7 |
74 |
(funcall (compile nil |
75 |
'(lambda (c) (declare (optimize (speed 3) (debug 1))) |
76 |
(flet ((%f18 () -36)) |
77 |
(flet ((%f13 () |
78 |
(let () (block b8 (return-from b8 c))))) |
79 |
(%f18))))) |
80 |
10) |
81 |
-36) |
82 |
|
83 |
(deftest misc.8 |
84 |
(funcall |
85 |
(compile |
86 |
nil |
87 |
'(lambda (a b) |
88 |
(declare (optimize (speed 3) (debug 1))) |
89 |
(let ((v3 (flet ((%f12 () (min b (block b2 (return-from b2 a))))) |
90 |
a))) |
91 |
(block b7 |
92 |
(flet ((%f5 () (return-from b7 b))) |
93 |
(%f5)))))) |
94 |
10 20) |
95 |
20) |
96 |
|
97 |
(deftest misc.9 |
98 |
(funcall |
99 |
(compile |
100 |
nil |
101 |
'(lambda () |
102 |
(declare (optimize (speed 3) (debug 1))) |
103 |
(block b6 |
104 |
(flet ((%f3 () |
105 |
(ldb (byte 19 23) |
106 |
(block b1 |
107 |
(let () |
108 |
(- (if nil (return-from b6 89627) |
109 |
1160) |
110 |
(return-from b1 22923))))))) |
111 |
1))))) |
112 |
1) |
113 |
|
114 |
(deftest misc.10 |
115 |
(funcall |
116 |
(compile |
117 |
nil |
118 |
'(lambda (c) |
119 |
(declare (optimize (speed 3) (debug 1)) |
120 |
(type (integer -15417757 5816) c)) |
121 |
(flet ((%f3 () (if nil -3143 c))) |
122 |
(block b5 |
123 |
(let ((v7 (if (< 23613642 (%f3)) c -23097977))) |
124 |
(let ((v5 |
125 |
(return-from b5 |
126 |
(if (eql c v7) |
127 |
(let ((v6 (%f3))) 4650813) |
128 |
782)))) |
129 |
-4362540)))))) |
130 |
-10000) |
131 |
782) |
132 |
|
133 |
(deftest misc.11 |
134 |
(funcall |
135 |
(compile |
136 |
nil |
137 |
'(lambda (a b c) |
138 |
(declare (optimize (speed 3) (debug 1))) |
139 |
(block b8 |
140 |
(logxor |
141 |
(let ((v3 (return-from b8 120789657))) 3690) |
142 |
(block b2 |
143 |
(flet ((%f9 () |
144 |
(flet ((%f10 () -1)) |
145 |
c))) |
146 |
(flet ((%f3 () (let () (return-from b2 b)))) |
147 |
a))))))) |
148 |
1 2 3) |
149 |
120789657) |
150 |
|
151 |
(deftest misc.12 |
152 |
(funcall |
153 |
(compile |
154 |
nil |
155 |
'(lambda (c) |
156 |
(declare (optimize (speed 3) (safety 1) (debug 1)) |
157 |
(type (integer -171067 -5) c)) |
158 |
(flet ((%f16 () |
159 |
(flet ((%f12 () 439)) |
160 |
3358))) |
161 |
(flet ((%f14 () c)) |
162 |
(if (%f14) -1 (%f14)))))) |
163 |
-100) |
164 |
-1) |
165 |
|
166 |
(deftest misc.13 |
167 |
(funcall |
168 |
(compile |
169 |
nil |
170 |
'(lambda (b c) |
171 |
(declare (optimize (speed 3) (safety 1) (debug 1)) |
172 |
(type (integer -1554410 36086789) b) |
173 |
(type (integer -15033876209 126774299) c) |
174 |
) |
175 |
(block b3 |
176 |
(flet ((%f9 () |
177 |
(abs |
178 |
(flet ((%f5 () |
179 |
(return-from b3 -2))) |
180 |
(if (if (<= 1 c) b (%f5)) -65 -47895812))))) |
181 |
(min |
182 |
(let ((v3 (let ((v8 (%f9))) b))) b) |
183 |
(if (= 1364001 (%f9)) |
184 |
(logeqv (block b5 -2713) -247) |
185 |
-19)))))) |
186 |
0 0) |
187 |
-2) |
188 |
|
189 |
(deftest misc.14 |
190 |
(funcall |
191 |
(compile |
192 |
nil |
193 |
'(lambda (c) |
194 |
(declare (notinline logandc1)) |
195 |
(block b6 |
196 |
(flet ((%f17 () (return-from b6 c))) |
197 |
(logandc1 (%f17) |
198 |
(if 1 |
199 |
450967818 |
200 |
(let ((v1 (%f17))) -17))))))) |
201 |
10) |
202 |
10) |
203 |
|
204 |
(deftest misc.15 |
205 |
(funcall |
206 |
(compile |
207 |
nil |
208 |
'(lambda (a b) |
209 |
(declare (optimize (speed 3) (safety 1) (debug 1))) |
210 |
(flet ((%f6 () a)) |
211 |
(block b5 |
212 |
(flet ((%f14 () |
213 |
(min 17593 (block b1 (return-from b1 b))))) |
214 |
(block b7 (if (%f6) (return-from b7 28182012) |
215 |
(return-from b5 0)))))))) |
216 |
3 5) |
217 |
28182012) |
218 |
|
219 |
(deftest misc.16 |
220 |
(funcall |
221 |
(compile |
222 |
nil |
223 |
'(lambda (a c) |
224 |
(flet ((%f14 () |
225 |
(block b6 |
226 |
(flet ((%f7 () (return-from b6 4))) |
227 |
(if 587793 (if (%f7) c -23086423) (%f7)))))) |
228 |
(block b1 |
229 |
(flet ((%f18 () a)) |
230 |
(logandc1 (return-from b1 -2781) |
231 |
(if (%f14) 58647578 -396746))))))) |
232 |
1 2) |
233 |
-2781) |
234 |
|
235 |
(deftest misc.17 |
236 |
(funcall |
237 |
(compile |
238 |
nil |
239 |
'(lambda (a b c) |
240 |
(declare (optimize (speed 3) (safety 1) (debug 1)) |
241 |
(type (integer 4 23363) b) |
242 |
(type (integer -32681 41648) c) |
243 |
) |
244 |
(flet ((%f18 () |
245 |
(if nil c b))) |
246 |
(if (if (> -71810514 a) 102077 465393) |
247 |
(block b3 (if (%f18) (return-from b3 c) c)) |
248 |
(%f18))))) |
249 |
0 10 1000) |
250 |
1000) |
251 |
|
252 |
(deftest misc.18 |
253 |
(funcall |
254 |
(compile |
255 |
nil |
256 |
'(lambda (a b c) |
257 |
(declare (optimize (speed 3) (safety 1) (debug 1)) |
258 |
(type (integer 7 58010860) a) |
259 |
(type (integer -3573280 -1) b) |
260 |
(type (integer -920848 -819) c) |
261 |
) |
262 |
(flet ((%f15 () (if (logbitp 5 a) a c))) |
263 |
(min (if (%f15) b -39) (if (> 0 -14756) b (%f15)))))) |
264 |
8 -1000 -10000) |
265 |
-1000) |
266 |
|
267 |
(deftest misc.19 |
268 |
(funcall |
269 |
(compile |
270 |
nil |
271 |
'(lambda (a b c) |
272 |
(declare (type (integer 54 3862515) a) (type (integer -961325 1539) b) |
273 |
(type (integer 6 31455) c) (ignorable a b c) |
274 |
(optimize (speed 3) (safety 1) (debug 1))) |
275 |
(lognor |
276 |
(flet ((%f13 () b)) (%f13)) |
277 |
(flet ((%f1 () (return-from %f1 a))) |
278 |
(labels ((%f3 () (%f1))) |
279 |
-428))))) |
280 |
100 0 200) |
281 |
427) |
282 |
|
283 |
(deftest misc.20 |
284 |
(funcall |
285 |
(compile |
286 |
nil |
287 |
'(lambda (a b c) |
288 |
(declare (type (integer -1 31880308) a) |
289 |
(type (integer -11374222037 5331202966) b) |
290 |
(type (integer -483 -1) c) |
291 |
(ignorable a b c) |
292 |
(optimize (speed 3) (safety 1) (debug 1))) |
293 |
(labels ((%f6 () a)) |
294 |
(if (eql (let ((v9 (%f6))) -50072824) c) |
295 |
28146341 |
296 |
(if (< 119937 21304962) 21304962 (%f6)))))) |
297 |
0 0 -1) |
298 |
21304962) |
299 |
|
300 |
(deftest misc.21 |
301 |
(funcall |
302 |
(compile |
303 |
nil |
304 |
'(lambda (a b c) |
305 |
(declare (type (integer 398 3955) a) (type (integer 233 464963) b) |
306 |
(type (integer -124477 16) c) (ignorable a b c) |
307 |
(optimize (speed 3) (safety 1) (debug 1))) |
308 |
(logior |
309 |
(flet ((%f18 () |
310 |
-3584768)) |
311 |
(%f18)) |
312 |
(flet ((%f1 () |
313 |
(return-from %f1 c))) |
314 |
(flet ((%f9 () |
315 |
(if (%f1) 24181 7))) |
316 |
56048))))) |
317 |
400 300 0) |
318 |
-3547152) |
319 |
|
320 |
(deftest misc.22 |
321 |
(funcall |
322 |
(compile |
323 |
nil |
324 |
'(lambda (a b c) |
325 |
(declare (type (integer -126378 -103) a) |
326 |
(type (integer -1158604975 1) b) |
327 |
(type (integer 502 28036) c) |
328 |
(ignorable a b c) |
329 |
(optimize (speed 3) (safety 1) (debug 1))) |
330 |
(labels ((%f13 () c)) |
331 |
(labels ((%f3 () |
332 |
(logandc1 |
333 |
c |
334 |
(block b6 |
335 |
(max -73100 |
336 |
(if b (return-from b6 4935) (%f13))))))) |
337 |
(%f13))))) |
338 |
-200 0 1000) |
339 |
1000) |
340 |
|
341 |
(deftest misc.23 |
342 |
(funcall |
343 |
(compile |
344 |
nil |
345 |
'(lambda (a b c) |
346 |
(declare (type (integer 1 18911480) a) |
347 |
(type (integer -1 48333) b) |
348 |
(type (integer -3881001767 -1937357) c) |
349 |
(ignorable a b c) |
350 |
(optimize (speed 3) (safety 1) (debug 1))) |
351 |
(labels ((%f10 () c)) |
352 |
(block b7 |
353 |
(logorc2 |
354 |
(* (%f10) |
355 |
(if (ldb-test (byte 27 1) -11337) |
356 |
(return-from b7 -2) |
357 |
246137101)) |
358 |
(min (%f10) (return-from b7 -76114))))))) |
359 |
1 0 -2000000) |
360 |
-2) |
361 |
|
362 |
(deftest misc.24 |
363 |
(funcall |
364 |
(compile |
365 |
nil |
366 |
'(lambda (a b c) |
367 |
(declare (type (integer -1477249397 -10697252) a) |
368 |
(type (integer -7 54591) b) |
369 |
(type (integer -102559556 15) c) |
370 |
(ignorable a b c) |
371 |
(optimize (speed 3) (safety 1) (debug 1))) |
372 |
(block b8 |
373 |
(let ((v1 (return-from b8 a))) |
374 |
(1+ |
375 |
(block b3 |
376 |
(flet ((%f10 () |
377 |
(min a (return-from b3 -1)))) |
378 |
16776220))))))) |
379 |
-11000000 0 0) |
380 |
-11000000) |
381 |
|
382 |
(deftest misc.25 |
383 |
(funcall |
384 |
(compile |
385 |
nil |
386 |
'(lambda (a b c) |
387 |
(declare (type (integer -944 111244) a) |
388 |
(type (integer 100512 3286178) b) |
389 |
(type (integer -2170236 -107) c) |
390 |
(ignorable a b c) |
391 |
(optimize (speed 3) (safety 1) (debug 1))) |
392 |
(labels ((%f17 () c)) |
393 |
(labels ((%f16 () a)) |
394 |
(if (if (logbitp 10 1029643) t 355) |
395 |
(if (equal (%f17) b) c a) |
396 |
(if (= 1325844 (%f16)) -50285 (1- (%f17)))))))) |
397 |
0 200000 -200) |
398 |
0) |
399 |
|
400 |
(deftest misc.26 |
401 |
(funcall |
402 |
(compile |
403 |
nil |
404 |
'(lambda (c) |
405 |
(declare (optimize speed)) |
406 |
(block b5 |
407 |
(if (logbitp 6 -97) |
408 |
(let ((v2 (block b8 -42484))) c) |
409 |
(flet ((%f10 () (return-from b5 -785143))) |
410 |
(let ((v3 (%f10))) |
411 |
(%f10))))))) |
412 |
0) |
413 |
-785143) |
414 |
|
415 |
(deftest misc.27 |
416 |
(funcall |
417 |
(compile |
418 |
nil |
419 |
'(lambda (a b c) |
420 |
(declare (optimize (speed 3) (debug 1))) |
421 |
(labels ((%f14 () c)) |
422 |
(logand (%f14) |
423 |
(labels ((%f15 () (logeqv (let ((v1 b)) c) |
424 |
(return-from %f15 -1740)))) |
425 |
(labels ((%f8 () (%f15))) |
426 |
a)))))) |
427 |
5 2 3) |
428 |
1) |
429 |
|
430 |
(deftest misc.28 |
431 |
(funcall |
432 |
(compile |
433 |
nil |
434 |
'(lambda (a b c) |
435 |
(declare |
436 |
(type (integer 1948 12024) b) |
437 |
(type (integer -104357939 -252) c) |
438 |
(optimize (speed 3) (debug 1))) |
439 |
(flet ((%f18 () c)) |
440 |
(logandc1 (if (eql b (%f18)) 0 a) |
441 |
(if (ldb-test (byte 30 30) 1) (%f18) 1) |
442 |
)))) |
443 |
0 2000 -300) |
444 |
1) |
445 |
|
446 |
(deftest misc.29 |
447 |
(funcall |
448 |
(compile |
449 |
nil |
450 |
'(lambda (a b c) |
451 |
(declare (type (integer 661607 10451683348) a) |
452 |
(type (integer -2 -2) b) |
453 |
(type (integer 5996117 18803237) c) |
454 |
(optimize (speed 3) (safety 1) (debug 1))) |
455 |
(labels ((%f16 () -29)) |
456 |
(flet ((%f7 () |
457 |
(labels ((%f1 () a)) |
458 |
(let () |
459 |
(block b3 |
460 |
(if 37101207 |
461 |
(return-from b3 -5322045) |
462 |
(let ((v5 b)) |
463 |
146099574))))))) |
464 |
(if (%f16) c c))))) |
465 |
1000000 -2 6000000) |
466 |
6000000) |
467 |
|
468 |
(deftest misc.30 |
469 |
(funcall |
470 |
(compile |
471 |
nil |
472 |
'(lambda (c) |
473 |
(declare (type (integer -253 -1) c) |
474 |
(optimize (speed 3) (safety 1) (debug 1))) |
475 |
(flet ((%f8 () c)) |
476 |
(if (= (%f8) 481) (%f8) 1779465)))) |
477 |
-100) |
478 |
1779465) |
479 |
|
480 |
(deftest misc.31 |
481 |
(funcall |
482 |
(compile nil |
483 |
'(lambda () (let ((v9 (labels ((%f13 () nil)) nil))) |
484 |
(let ((v3 (logandc2 97 3))) |
485 |
(* v3 (- 37391897 (logand v3 -66)))))))) |
486 |
3589619040) |
487 |
|
488 |
(deftest misc.32 |
489 |
(funcall |
490 |
(compile |
491 |
nil |
492 |
'(lambda (a d) |
493 |
(declare (type (integer -8507 26755) a) |
494 |
(type (integer -393314538 2084485) d) |
495 |
(optimize (speed 3) (safety 1) (debug 1))) |
496 |
(gcd |
497 |
(if (= 0 a) 10 (abs -1)) |
498 |
(logxor -1 |
499 |
(min -7580 |
500 |
(max (logand a 31365125) d)))))) |
501 |
1 1) |
502 |
1) |
503 |
|
504 |
(deftest misc.33 |
505 |
(funcall |
506 |
(compile |
507 |
nil |
508 |
'(lambda (a b c d) |
509 |
(declare (type (integer 240 100434465) a) |
510 |
(optimize (speed 3) (safety 1) (debug 1))) |
511 |
(logxor |
512 |
(if (ldb-test (byte 27 4) d) |
513 |
-1 |
514 |
(max 55546856 -431)) |
515 |
(logorc2 |
516 |
(if (>= 0 b) |
517 |
(if (> b c) (logandc2 c d) (if (> d 224002) 0 d)) |
518 |
(signum (logior c b))) |
519 |
(logior a -1))))) |
520 |
256 0 0 0) |
521 |
55546856) |
522 |
|
523 |
(deftest misc.34 |
524 |
(funcall |
525 |
(compile nil |
526 |
`(lambda (b c) |
527 |
(declare (type (integer -23228343 2) b) |
528 |
(type (integer -115581022 512244512) c) |
529 |
(optimize (speed 3) (safety 1) (debug 1))) |
530 |
(* (* (logorc2 3 (deposit-field 4667947 (byte 14 26) b)) |
531 |
(deposit-field b (byte 25 27) -30424886)) |
532 |
(dpb b (byte 23 29) c) |
533 |
))) |
534 |
0 0) |
535 |
0) |
536 |
|
537 |
(deftest misc.35 |
538 |
(funcall |
539 |
(compile |
540 |
nil |
541 |
'(lambda (c) |
542 |
(declare (type (integer -5945502333 12668542) c) |
543 |
(optimize (speed 3))) |
544 |
(let ((v2 (* c 12))) |
545 |
(- (max (if (/= 109335113 v2) -26479 v2) |
546 |
(deposit-field 311 |
547 |
(byte 14 28) |
548 |
(min (max 521326 c) -51))))))) |
549 |
12668542) |
550 |
26479) |
551 |
|
552 |
(deftest misc.36 |
553 |
(funcall |
554 |
(compile nil |
555 |
'(lambda () |
556 |
(declare (notinline + logand) |
557 |
(optimize (speed 0))) |
558 |
(logand |
559 |
(block b5 |
560 |
(flet ((%f1 () |
561 |
(return-from b5 -220))) |
562 |
(let ((v7 (%f1))) |
563 |
(+ 359749 35728422)))) |
564 |
-24076)))) |
565 |
-24284) |
566 |
|
567 |
(deftest misc.37 |
568 |
(funcall |
569 |
(compile |
570 |
nil |
571 |
'(lambda (b) |
572 |
(declare (notinline -) (optimize (speed 0))) |
573 |
(- (block b4 |
574 |
(flet ((%f4 () |
575 |
(return-from b4 b))) |
576 |
(%f4)))))) |
577 |
10) |
578 |
-10) |
579 |
|
580 |
(deftest misc.38 |
581 |
(funcall |
582 |
(compile |
583 |
nil |
584 |
'(lambda (x) (declare (type (integer 0 100) x) |
585 |
(optimize (speed 3) (safety 1))) |
586 |
(logandc1 x x))) |
587 |
79) |
588 |
0) |
589 |
|
590 |
(deftest misc.39 |
591 |
(funcall |
592 |
(compile |
593 |
nil |
594 |
'(lambda (x) (declare (type (integer 0 100) x) |
595 |
(optimize (speed 3) (safety 1))) |
596 |
(logandc2 x x))) |
597 |
79) |
598 |
0) |
599 |
|
600 |
(deftest misc.40 |
601 |
(funcall |
602 |
(compile |
603 |
nil |
604 |
'(lambda (x) (declare (type (integer 0 100) x) |
605 |
(optimize (speed 3) (safety 1))) |
606 |
(logorc1 x x))) |
607 |
79) |
608 |
-1) |
609 |
|
610 |
(deftest misc.41 |
611 |
(funcall |
612 |
(compile |
613 |
nil |
614 |
'(lambda (x) (declare (type (integer 0 100) x) |
615 |
(optimize (speed 3) (safety 1))) |
616 |
(logorc2 x x))) |
617 |
79) |
618 |
-1) |
619 |
|
620 |
(deftest misc.42 |
621 |
(funcall |
622 |
(compile |
623 |
nil |
624 |
'(lambda (x) |
625 |
(declare (type (integer -100 100) x)) |
626 |
(ldb (byte 1 32) x))) |
627 |
-1) |
628 |
1) |
629 |
|
630 |
(deftest misc.43 |
631 |
(funcall (compile nil |
632 |
'(lambda () (flet ((%f2 () 288213285)) |
633 |
(+ (%f2) (* 13 (%f2))))))) |
634 |
4034985990) |
635 |
|
636 |
|
637 |
(deftest misc.44 |
638 |
(funcall |
639 |
(compile |
640 |
nil |
641 |
'(lambda (a) |
642 |
(declare (type (integer -917858 964754309) a) |
643 |
(optimize (speed 3))) |
644 |
(* 25 (min (max a 171625820) 171626138)))) |
645 |
861929141) |
646 |
4290653450) |
647 |
|
648 |
(deftest misc.45 |
649 |
(funcall |
650 |
(compile |
651 |
nil |
652 |
'(lambda (b) |
653 |
(declare (type (integer 21 9673) b) |
654 |
(optimize (speed 3))) |
655 |
(* (integer-length -198435631) (+ b 137206182)))) |
656 |
6027) |
657 |
3841941852) |
658 |
|
659 |
(deftest misc.46 |
660 |
(funcall |
661 |
(compile |
662 |
nil |
663 |
'(lambda (b c) |
664 |
(declare (type (integer 0 1) b) (optimize (speed 3))) |
665 |
(flet ((%f2 () (lognor (block b5 138) c))) |
666 |
(if (not (or (= -67399 b) b)) |
667 |
(deposit-field (%f2) (byte 11 8) -3) |
668 |
c)))) |
669 |
0 0) |
670 |
0) |
671 |
|
672 |
(deftest misc.47 |
673 |
(funcall |
674 |
(compile |
675 |
nil |
676 |
'(lambda (a) |
677 |
(declare (type (integer -4005718822 -50081775) a) |
678 |
(optimize (speed 3) (safety 1) (debug 1))) |
679 |
(lognor (ash a (min 0 a)) a))) |
680 |
-2878148992) |
681 |
0) |
682 |
|
683 |
(deftest misc.48 |
684 |
(funcall |
685 |
(compile |
686 |
nil |
687 |
'(lambda (a) (declare (notinline ash min)) (lognor (ash a (min 0 a)) a))) |
688 |
-2878148992) |
689 |
0) |
690 |
|
691 |
(deftest misc.49 |
692 |
(let ((body '(truncate (logorc1 -996082 C) -2)) |
693 |
(arg 25337234)) |
694 |
(values |
695 |
(funcall (compile nil `(lambda (c) ,body)) arg) |
696 |
(funcall (compile nil `(lambda (c) (declare (notinline truncate)) |
697 |
,body)) arg))) |
698 |
-13099001 |
699 |
-13099001) |
700 |
|
701 |
(deftest misc.50 |
702 |
(funcall (compile nil `(lambda (c) |
703 |
(declare (optimize (speed 3)) |
704 |
(type (integer 23062188 149459656) c)) |
705 |
(mod c (min -2 0)))) |
706 |
95019853) |
707 |
-1) |
708 |
|
709 |
(deftest misc.51 |
710 |
(funcall (compile nil `(lambda (b) |
711 |
(declare (optimize (speed 3)) |
712 |
(type (integer 2 152044363) b)) |
713 |
(rem b (min -16 0)))) |
714 |
108251912) |
715 |
8) |
716 |
|
717 |
(deftest misc.53 |
718 |
(funcall |
719 |
(compile nil '(lambda () |
720 |
(let (x) |
721 |
(block nil |
722 |
(flet ((%f (y z) (if (> y z) (setq x y) (setq x z)))) |
723 |
(%f 1 2) |
724 |
(%f (return 14) 2))) |
725 |
x)))) |
726 |
2) |
727 |
|
728 |
(deftest misc.54 |
729 |
(funcall |
730 |
(compile nil '(lambda (a c) |
731 |
(declare (type (integer 8 117873977) a) |
732 |
(type (integer -131828754 234037511) c) |
733 |
(optimize (speed 3) (safety 1) (debug 1))) |
734 |
(* (mod (signum a) (max 50 -358301)) |
735 |
(* -2320445737132 |
736 |
(* (* a (deposit-field a (byte 32 19) a)) c))))) |
737 |
11386 165297671) |
738 |
-49725654774521915007942373712) |
739 |
|
740 |
(deftest misc.55 |
741 |
(funcall |
742 |
(compile nil '(lambda (a b c) |
743 |
(declare (type (integer -5498929 389890) a) |
744 |
(type (integer -5029571274946 48793670) b) |
745 |
(type (integer 9221496 260169518304) c) |
746 |
(ignorable a b c) |
747 |
(optimize (speed 3) (safety 1) (debug 1))) |
748 |
(- (mod 1020122 (min -49 -420)) |
749 |
(logandc1 |
750 |
(block b2 |
751 |
(mod c (min -49 (if t (return-from b2 1582) b)))) |
752 |
(labels ((%f14 () (mod a (max 76 8)))) |
753 |
b))))) |
754 |
-1893077 -2965238893954 30902744890) |
755 |
2965238894454) |
756 |
|
757 |
(deftest misc.56 |
758 |
(funcall |
759 |
(compile nil '(lambda (a c) |
760 |
(declare (type (integer -8691408487404 -9) a) |
761 |
(type (integer 266003133 2112105962) c) |
762 |
(optimize (speed 3) (safety 1) (debug 1))) |
763 |
(truncate (max (round a) c) (* (* a a) a)))) |
764 |
-10 266003133) |
765 |
-266003 |
766 |
133) |
767 |
|
768 |
(deftest misc.57 |
769 |
(funcall |
770 |
(compile nil '(lambda (a b c) |
771 |
(declare (type (integer -1907 58388940297) a) |
772 |
(type (integer -646968358 294016) b) |
773 |
(type (integer -708435313 89383896) c) |
774 |
(optimize (speed 3) (safety 1) (debug 1))) |
775 |
(let ((v6 (abs (min a (signum c))))) |
776 |
(if (ceiling v6 (max 77 v6)) b 2)))) |
777 |
50005747335 -363030456 17382819) |
778 |
-363030456) |
779 |
|
780 |
(deftest misc.58 |
781 |
(funcall |
782 |
(compile nil '(lambda (a) |
783 |
(declare (type (integer -23 66141285) a) |
784 |
(optimize (speed 3))) |
785 |
(logorc2 (setq a 35191330) (* a 107)))) |
786 |
4099241) |
787 |
-3764388885) |
788 |
|
789 |
(deftest misc.59 |
790 |
(funcall |
791 |
(compile nil '(lambda (a b c) |
792 |
(declare (type (integer -3966039360 -879349) a) |
793 |
(type (integer -62642199164 -8993827395) b) |
794 |
(type (integer -8065934654337 223) c) |
795 |
(optimize (speed 3) (safety 1) (debug 1))) |
796 |
(floor (* (ceiling c) c) |
797 |
(max 78 (* b (* a (* a b))))))) |
798 |
-1000000 -10000000000 0) |
799 |
0 0) |
800 |
|
801 |
(deftest misc.60 |
802 |
(funcall |
803 |
(compile nil |
804 |
'(lambda () |
805 |
(let ((v5 46660)) |
806 |
(setq v5 (signum (rem v5 (max 53 v5)))))))) |
807 |
0) |
808 |
|
809 |
(deftest misc.61 |
810 |
(progn |
811 |
(compile nil |
812 |
'(lambda (a b) |
813 |
(declare (type (integer -1785799651 -2) a) |
814 |
(type (integer -27 614132331) b) |
815 |
(optimize (speed 3) (safety 1) (debug 1))) |
816 |
(ceiling (max (floor -733432 (max 84 -20)) 346) |
817 |
(min -10 (* 17592186028032 (* (* a b) a)))))) |
818 |
:good) |
819 |
:good) |
820 |
|
821 |
(deftest misc.62 |
822 |
(funcall (compile nil '(lambda (a) |
823 |
(if (and (if a t nil) nil) |
824 |
a |
825 |
(min (block b5 -1) a)))) |
826 |
100) |
827 |
-1) |
828 |
|
829 |
(deftest misc.63 |
830 |
(let* ((form '(flet ((%f12 () (setq c -9868204937))) |
831 |
(if (<= c (%f12)) -2 (if (= c c) b c)))) |
832 |
(form1 `(lambda (b c) |
833 |
(declare (type (integer -80421740610 1395590616) c)) |
834 |
,form)) |
835 |
(form2 `(lambda (b c) ,form)) |
836 |
(vals '(-696742851945 686256271))) |
837 |
(eqlt (apply (compile nil form1) vals) |
838 |
(apply (compile nil form2) vals))) |
839 |
t) |
840 |
|
841 |
(deftest misc.64 |
842 |
(let* ((form '(logcount |
843 |
(if (not (> c (let ((v7 (setq c -246180))) -1))) |
844 |
(ldb (byte 24 11) c) |
845 |
c))) |
846 |
(form1 `(lambda (c) |
847 |
(declare (type (integer -256128 207636) c)) |
848 |
,form)) |
849 |
(form2 `(lambda (c) ,form)) |
850 |
(vals '(11292)) |
851 |
) |
852 |
(eqlt (apply (compile nil form1) vals) |
853 |
(apply (compile nil form2) vals))) |
854 |
t) |
855 |
|
856 |
(deftest misc.65 |
857 |
(let ((form1 '(lambda (b c) |
858 |
(declare (type (integer -350684427436 -255912007) b)) |
859 |
(logandc2 c (if (< b (setq b -25647585550)) b 0)))) |
860 |
(form2 '(lambda (b c) |
861 |
(logandc2 c (if (< b (setq b -25647585550)) b 0)))) |
862 |
(vals '(-297090677547 -20121092))) |
863 |
(eqlt (apply (compile nil form1) vals) |
864 |
(apply (compile nil form2) vals))) |
865 |
t) |
866 |
|
867 |
(deftest misc.66 |
868 |
(let* ((form '(if (> a (setq a -2198578292)) |
869 |
(min b (if (<= a -14866) a -128363)) |
870 |
a)) |
871 |
(form1 `(lambda (a b) |
872 |
(declare (type (integer -3709231882 0) a)) |
873 |
(declare (type (integer -562051054 -1) b)) |
874 |
,form)) |
875 |
(form2 `(lambda (a b) ,form)) |
876 |
(vals '(-2095414787 -256985442))) |
877 |
(eqlt (apply (compile nil form1) vals) |
878 |
(apply (compile nil form2) vals))) |
879 |
t) |
880 |
|
881 |
;;; sbcl/cmucl bug (on sparc) |
882 |
(deftest misc.67 |
883 |
(funcall |
884 |
(compile nil '(lambda (x) |
885 |
(declare (type (integer 10604862 10604862) x) |
886 |
(optimize speed)) |
887 |
(* x 390))) |
888 |
10604862) |
889 |
4135896180) |
890 |
|
891 |
;;; cmucl bug (cvs, 10/10/2003) |
892 |
(deftest misc.68 |
893 |
(funcall |
894 |
(compile nil |
895 |
'(lambda (b) |
896 |
(flet ((%f8 () (rem b (identity (return-from %f8 0))))) |
897 |
(lognor (%f8) 0)))) |
898 |
0) |
899 |
-1) |
900 |
|
901 |
(deftest misc.69 |
902 |
(funcall |
903 |
(compile nil |
904 |
'(lambda (b) |
905 |
(flet ((%f11 () (logorc2 (block b1 (let () (return-from b1 b))) |
906 |
-1984))) |
907 |
b))) |
908 |
0) |
909 |
0) |
910 |
|
911 |
(deftest misc.70 |
912 |
(funcall |
913 |
(compile nil '(lambda (c) |
914 |
(declare (type (integer 46156191457 126998564334) c)) |
915 |
(truncate c (min -16 186196583)))) |
916 |
87723029763) |
917 |
-5482689360 |
918 |
3) |
919 |
|
920 |
(deftest misc.71 |
921 |
(funcall |
922 |
(compile nil |
923 |
'(lambda () |
924 |
(block b8 |
925 |
(if (identity (return-from b8 30)) |
926 |
1 |
927 |
(identity |
928 |
(block b5 |
929 |
(labels ((%f10 () (min -52 (return-from b5 10)))) |
930 |
20)))))))) |
931 |
30) |
932 |
|
933 |
(deftest misc.72 |
934 |
(funcall |
935 |
(compile nil '(lambda () |
936 |
(flet ((%f13 () (rem 1 (min 0 (return-from %f13 17))))) |
937 |
(%f13))))) |
938 |
17) |
939 |
|
940 |
(deftest misc.73 |
941 |
(funcall |
942 |
(compile nil '(lambda (c) |
943 |
(declare (type (integer 46156191457 126998564334) c)) |
944 |
(rem c (min -1 0)))) |
945 |
87723029763) |
946 |
0) |
947 |
|
948 |
(deftest misc.74 |
949 |
(funcall (compile nil '(lambda () |
950 |
(declare (optimize (safety 3) (speed 0) (debug 0))) |
951 |
(ash 6916244 (min 42 -185236061640))))) |
952 |
0) |
953 |
|
954 |
;;; Unwind-protect bug, from sbcl: |
955 |
;;; "The value NIL is not of type SB-C::NODE." |
956 |
|
957 |
(deftest misc.75 |
958 |
(funcall (compile nil '(lambda () (flet ((%f12 () (unwind-protect 1))) 0)))) |
959 |
0) |
960 |
|
961 |
|
962 |
;;; cmucl (2003-10-12), "NIL is not of type C::REF" |
963 |
(deftest misc.76 |
964 |
(funcall |
965 |
(compile nil |
966 |
'(lambda (a c) |
967 |
(if nil (unwind-protect (max 521739 (unwind-protect c))) |
968 |
(logandc2 3942 a)))) |
969 |
0 0) |
970 |
3942) |
971 |
|
972 |
;;; gcl (2003-10-11) Miscomputation of (mod 0 -53) in compiled code |
973 |
(deftest misc.77 |
974 |
(funcall (compile nil '(lambda () (mod 0 -53)))) |
975 |
0) |
976 |
|
977 |
|
978 |
;;; cmucl (2003-10-12) "NIL is not of type C::BYTE-LAMBDA-INFO" |
979 |
(deftest misc.78 |
980 |
(funcall |
981 |
(compile nil '(lambda () |
982 |
(declare (optimize (speed 0) (debug 0))) |
983 |
(let ((v4 |
984 |
(case 227 |
985 |
((-11113 -106126) (unwind-protect 8473)) |
986 |
(t 43916)))) |
987 |
-12)))) |
988 |
-12) |
989 |
|
990 |
;;; Same as misc.78, but with no declarations |
991 |
;;; In cmucl (2003-10-12) "NIL is not of type C::ENVIRONMENT" |
992 |
(deftest misc.79 |
993 |
(funcall |
994 |
(compile nil '(lambda () |
995 |
(let ((v4 |
996 |
(case 227 |
997 |
((-11113 -106126) (unwind-protect 8473)) |
998 |
(t 43916)))) |
999 |
-12)))) |
1000 |
-12) |
1001 |
|
1002 |
(deftest misc.79a |
1003 |
(funcall |
1004 |
(compile |
1005 |
nil |
1006 |
'(lambda (a b) |
1007 |
(declare (type (integer 72504 351460) a)) |
1008 |
(declare (type (integer 2383 108330) b)) |
1009 |
(declare (optimize (speed 2) (space 0) (safety 0) |
1010 |
(debug 2) (compilation-speed 1))) |
1011 |
(if (or (or (/= b 0) (logbitp 0 0)) (logbitp 0 a)) |
1012 |
0 |
1013 |
(funcall (constantly 0) b 0 (catch 'ct4 b))))) |
1014 |
132318 12238) |
1015 |
0) |
1016 |
|
1017 |
|
1018 |
;;; cmucl (2003-10-12) "Invalid number of arguments: 2" |
1019 |
(deftest misc.80 |
1020 |
(funcall |
1021 |
(compile nil |
1022 |
'(lambda (b c) |
1023 |
(declare (notinline > logior imagpart)) |
1024 |
(declare (optimize (speed 0) (debug 0))) |
1025 |
(labels ((%f16 () |
1026 |
(imagpart |
1027 |
(block b3 |
1028 |
(logeqv (logior -122516 (if (> -1 0) (return-from b3 c) b)) |
1029 |
(return-from %f16 32186310)))))) |
1030 |
(lognor (%f16) b)))) |
1031 |
-123886 -1656) |
1032 |
57385) |
1033 |
|
1034 |
;;; cmucl (2003-10-12) "NIL is not of type C::REF" |
1035 |
(deftest misc.81 |
1036 |
(funcall |
1037 |
(compile nil '(lambda (b) |
1038 |
(block b7 |
1039 |
(let ((v3 (return-from b7 b))) |
1040 |
(unwind-protect b))))) |
1041 |
17) |
1042 |
17) |
1043 |
|
1044 |
;;; cmucl (2003-10-12) "The assertion C::SUCC failed" |
1045 |
(deftest misc.82 |
1046 |
(funcall |
1047 |
(compile nil '(lambda (c) |
1048 |
(labels ((%f15 () |
1049 |
(* (unwind-protect c) |
1050 |
(max -5726369 |
1051 |
(return-from %f15 3099206))))) |
1052 |
c))) |
1053 |
0) |
1054 |
0) |
1055 |
|
1056 |
;;; cmucl (2003-10-13) "The assertion (NOT (C::BLOCK-DELETE-P BLOCK)) failed." |
1057 |
(deftest misc.83 |
1058 |
(funcall |
1059 |
(compile nil '(lambda (a c) |
1060 |
(flet ((%f8 () (min c (min a (return-from %f8 c))))) |
1061 |
c))) |
1062 |
0 -10) |
1063 |
-10) |
1064 |
|
1065 |
(deftest misc.84 |
1066 |
(funcall |
1067 |
(compile nil '(lambda (a b) |
1068 |
(flet ((%f18 () |
1069 |
(let () |
1070 |
(let () |
1071 |
(if (ldb-test (byte 20 23) b) a |
1072 |
(return-from %f18 431)))))) |
1073 |
-674))) |
1074 |
0 0) |
1075 |
-674) |
1076 |
|
1077 |
(deftest misc.85 |
1078 |
(funcall |
1079 |
(compile nil |
1080 |
'(lambda (c) |
1081 |
(labels ((%f14 () |
1082 |
(let () |
1083 |
(logandc1 (min -32 (return-from %f14 -69793)) |
1084 |
c)))) |
1085 |
156))) |
1086 |
0) |
1087 |
156) |
1088 |
|
1089 |
;;; Two tests showing bug(s) in clisp (2.31) |
1090 |
(deftest misc.86 |
1091 |
(funcall (compile nil '(lambda (b) |
1092 |
(flet ((%f10 nil :bad)) |
1093 |
(let ((v7 (let ((v2 (%f10))) b))) |
1094 |
(unwind-protect b))))) |
1095 |
:good) |
1096 |
:good) |
1097 |
|
1098 |
(deftest misc.87 |
1099 |
(apply (compile nil '(lambda (a b c) |
1100 |
(let ((v9 a)) |
1101 |
(let ((v2 (setq v9 c))) |
1102 |
(unwind-protect c))))) |
1103 |
'(x y z)) |
1104 |
z) |
1105 |
|
1106 |
;;; cmucl bug (18e+ 10/15/03) |
1107 |
(deftest misc.88 |
1108 |
(eval '(block b3 |
1109 |
(max (return-from b3 1) |
1110 |
(if (unwind-protect (unwind-protect 2)) 3 4)))) |
1111 |
1) |
1112 |
|
1113 |
;;; cmucl bug (18e+ 10/15/03) |
1114 |
(deftest misc.89 |
1115 |
(funcall |
1116 |
(compile nil |
1117 |
'(lambda (c) |
1118 |
(declare (type (integer 0 130304) c)) |
1119 |
(- (rem -26 (max 25 (load-time-value 505849129))) |
1120 |
(* -15718867961526428520296254978781964 c)))) |
1121 |
0) |
1122 |
-26) |
1123 |
|
1124 |
;;; acl bugs (version 6.2, linux x86 trial) |
1125 |
(deftest misc.90 |
1126 |
(let* ((form '(- 0 (ignore-errors 20763) |
1127 |
(logxor b 1 c -7672794) b)) |
1128 |
(fn1 `(lambda (b c) |
1129 |
(declare (type (integer -148895 -46982) b)) |
1130 |
(declare (type (integer 0 1) c)) |
1131 |
(declare (optimize (speed 3))) |
1132 |
(declare (optimize (safety 1))) |
1133 |
,form)) |
1134 |
(fn2 `(lambda (b c) ,form))) |
1135 |
(let ((v1 (funcall (compile nil fn1) -76071 0)) |
1136 |
(v2 (funcall (compile nil fn2) -76071 0)) |
1137 |
(v3 (funcall (eval `(function ,fn2)) -76071 0))) |
1138 |
(if (= v1 v2 v3) :good |
1139 |
(list v1 v2 v3)))) |
1140 |
:good) |
1141 |
|
1142 |
(deftest misc.91 |
1143 |
(let ((fn1 '(lambda () |
1144 |
(declare (optimize (speed 3) (safety 1))) |
1145 |
(ash -10 (min 8 -481)))) |
1146 |
(fn2 '(lambda () (ash -10 (min 8 -481))))) |
1147 |
(let ((v1 (funcall (compile nil fn1))) |
1148 |
(v2 (funcall (compile nil fn2))) |
1149 |
(v3 (funcall (eval `(function ,fn2))))) |
1150 |
(if (= v1 v2 v3) |
1151 |
:good |
1152 |
(list v1 v2 v3)))) |
1153 |
:good) |
1154 |
|
1155 |
(deftest misc.92 |
1156 |
(let* ((form '(- -16179207 b (lognor (let () 3) (logxor -17567197 c)))) |
1157 |
(fn1 `(lambda (b c) |
1158 |
(declare (type (integer -621 30) c)) |
1159 |
(declare (optimize (speed 3))) |
1160 |
(declare (optimize (safety 1))) |
1161 |
,form)) |
1162 |
(fn2 `(lambda (b c) ,form)) |
1163 |
(vals '(26291532469 -21))) |
1164 |
(let ((v1 (apply (compile nil fn1) vals)) |
1165 |
(v2 (apply (compile nil fn2) vals)) |
1166 |
(v3 (apply (eval `(function ,fn2)) vals))) |
1167 |
(if (= v1 v2 v3) |
1168 |
:good |
1169 |
(list v1 v2 v3)))) |
1170 |
:good) |
1171 |
|
1172 |
(deftest misc.93 |
1173 |
(let* ((form '(ash (1+ (flet ((%f5 (f5-1) c)) c)) |
1174 |
(min 69 (logxor a b)))) |
1175 |
(fn1 `(lambda (a b c) |
1176 |
(declare (type (integer -128 -109) a) |
1177 |
(type (integer -2 -1) b) |
1178 |
(optimize (speed 3) (safety 1))) |
1179 |
,form)) |
1180 |
(fn2 `(lambda (a b c) ,form)) |
1181 |
(vals '(-123 -1 2590941967601))) |
1182 |
(eqlt (apply (compile nil fn1) vals) |
1183 |
(apply (compile nil fn2) vals))) |
1184 |
t) |
1185 |
|
1186 |
(deftest misc.94 |
1187 |
(not (funcall |
1188 |
(compile nil '(lambda () |
1189 |
(declare (optimize (speed 3) (safety 1) (debug 1))) |
1190 |
(<= 268435280 |
1191 |
(load-time-value |
1192 |
39763134374436777607194165739302560271120000)))))) |
1193 |
nil) |
1194 |
|
1195 |
(deftest misc.95 |
1196 |
(let* ((form '(+ 272 c (if (< b a) -49618 -29042) b)) |
1197 |
(fn1 `(lambda (a b c) |
1198 |
(declare (type (integer -1585918 601848636) a)) |
1199 |
(declare (type (integer -4 16544323) b)) |
1200 |
(declare (optimize (speed 3))) |
1201 |
(declare (optimize (safety 1))) |
1202 |
,form)) |
1203 |
(fn2 `(lambda (a b c) ,form)) |
1204 |
(vals '(601739317 10891850 17452477960))) |
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.96 |
1213 |
(let* ((form '(max 26 (ceiling b (min -8 (max -1 c))))) |
1214 |
(fn1 `(lambda (b c) |
1215 |
(declare (type (integer 482134 96074347505) b)) |
1216 |
(declare (type (integer -4036 -50) c)) |
1217 |
(declare (optimize (speed 3))) |
1218 |
(declare (optimize (safety 1))) |
1219 |
,form)) |
1220 |
(fn2 `(lambda (b c) ,form)) |
1221 |
(vals '(90244278480 -338))) |
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 |
(deftest misc.97 |
1230 |
(let* ((form '(- 349708 (gcd c 0) (logand b b (if (> -8543459 c) 83328 1073)))) |
1231 |
(fn1 `(lambda (b c) |
1232 |
(declare (type (integer 301653 329907) b)) |
1233 |
(declare (type (integer 171971491 1073721279) c)) |
1234 |
(declare (optimize (speed 3))) |
1235 |
(declare (optimize (safety 1))) |
1236 |
,form)) |
1237 |
(fn2 `(lambda (b c) ,form)) |
1238 |
(vals '(321769 1073671227))) |
1239 |
(let ((v1 (apply (compile nil fn1) vals)) |
1240 |
(v2 (apply (compile nil fn2) vals))) |
1241 |
(if (eql v1 v2) |
1242 |
:good |
1243 |
(list v1 v2)))) |
1244 |
:good) |
1245 |
|
1246 |
;;; sbcl bugs (0.8.4.40, x86 linux) |
1247 |
|
1248 |
(deftest misc.98 |
1249 |
(funcall (compile nil '(lambda (x) |
1250 |
(declare (type (integer -1000000 1000000) x)) |
1251 |
(logand x x 0))) |
1252 |
12345) |
1253 |
0) |
1254 |
|
1255 |
(deftest misc.99 |
1256 |
(funcall |
1257 |
(compile nil '(lambda (a) |
1258 |
(declare (type (integer 4303063 101130078) a)) |
1259 |
(mask-field (byte 18 2) (ash a 77)))) |
1260 |
57132532) |
1261 |
0) |
1262 |
|
1263 |
(deftest misc.100 |
1264 |
(funcall (compile nil '(lambda (c) |
1265 |
(declare (type (integer -3924 1001809828) c)) |
1266 |
(declare (optimize (speed 3))) |
1267 |
(min 47 (if (ldb-test (byte 2 14) c) |
1268 |
-570344431 |
1269 |
(ignore-errors -732893970))))) |
1270 |
705347625) |
1271 |
-570344431) |
1272 |
|
1273 |
(deftest misc.101 |
1274 |
(funcall |
1275 |
(compile nil '(lambda (a c) |
1276 |
(declare (type (integer 185501219873 303014665162) a)) |
1277 |
(declare (type (integer -160758 255724) c)) |
1278 |
(declare (optimize (speed 3))) |
1279 |
(let ((v8 |
1280 |
(- -554046873252388011622614991634432 |
1281 |
(ignore-errors c) |
1282 |
(unwind-protect 2791485)))) |
1283 |
(max (ignore-errors a) |
1284 |
(let ((v6 (- v8 (restart-case 980)))) |
1285 |
(min v8 v6)))))) |
1286 |
259448422916 173715) |
1287 |
259448422916) |
1288 |
|
1289 |
(deftest misc.102 |
1290 |
(funcall |
1291 |
(compile nil '(lambda (b) |
1292 |
(declare (type (integer -1598566306 2941) b)) |
1293 |
(declare (optimize (speed 3))) |
1294 |
(max -148949 (ignore-errors b)))) |
1295 |
0) |
1296 |
0) |
1297 |
|
1298 |
(deftest misc.103 |
1299 |
(funcall |
1300 |
(compile nil '(lambda (a b) |
1301 |
(min -80 |
1302 |
(abs |
1303 |
(ignore-errors |
1304 |
(+ |
1305 |
(logeqv b |
1306 |
(block b6 |
1307 |
(return-from b6 |
1308 |
(load-time-value -6876935)))) |
1309 |
(if (logbitp 1 a) b (setq a -1522022182249)))))))) |
1310 |
-1802767029877 -12374959963) |
1311 |
-80) |
1312 |
|
1313 |
(deftest misc.104 |
1314 |
(funcall |
1315 |
(compile nil '(lambda (a) (declare (type (integer 55400028 60748067) a)) |
1316 |
(lognand 1505 (ash a (let () 40))))) |
1317 |
58194485) |
1318 |
-1) |
1319 |
|
1320 |
(deftest misc.105 |
1321 |
(funcall |
1322 |
(compile nil '(lambda (b c) |
1323 |
(declare (type (integer -4 -3) c)) |
1324 |
(block b7 |
1325 |
(flet ((%f1 (f1-1 f1-2 f1-3) |
1326 |
(if (logbitp 0 (return-from b7 |
1327 |
(- -815145138 f1-2))) |
1328 |
(return-from b7 -2611670) |
1329 |
99345))) |
1330 |
(let ((v2 (%f1 -2464 (%f1 -1146 c c) -2))) |
1331 |
b))))) |
1332 |
2950453607 -4) |
1333 |
-815145134) |
1334 |
|
1335 |
;;; Gives the error The value NIL is not of type INTEGER. (in sbcl 0.8.4.40) |
1336 |
|
1337 |
(deftest misc.106 |
1338 |
(progn |
1339 |
(eval '(defun misc.106-fn (a b c) |
1340 |
(declare (optimize speed)) |
1341 |
(block b6 |
1342 |
(flet ((%f8 (f8-1 f8-2) b)) |
1343 |
(%f8 (%f8 c 338) (if t (return-from b6 a) c)))))) |
1344 |
(misc.106-fn -30271 -1 -3043)) |
1345 |
-30271) |
1346 |
|
1347 |
;;; "The value NIL is not of type SB-C::IR2-LVAR." (sbcl 0.8.4.40) |
1348 |
(deftest misc.107 |
1349 |
(funcall |
1350 |
(compile nil |
1351 |
'(lambda (b c) |
1352 |
(declare (type (integer -29742055786 23602182204) b)) |
1353 |
(declare (type (integer -7409 -2075) c)) |
1354 |
(declare (optimize (speed 3))) |
1355 |
(floor |
1356 |
(labels ((%f2 () |
1357 |
(block b6 |
1358 |
(ignore-errors (return-from b6 |
1359 |
(if (= c 8) b 82674)))))) |
1360 |
(%f2))))) |
1361 |
22992834060 -5833) |
1362 |
82674 0) |
1363 |
|
1364 |
;;; cmucl bug (Argument X is not a NUMBER: NIL) |
1365 |
|
1366 |
(deftest misc.108 |
1367 |
(funcall |
1368 |
(compile nil '(lambda (b) |
1369 |
(block b7 (- b (ignore-errors (return-from b7 57876)))))) |
1370 |
10) |
1371 |
57876) |
1372 |
|
1373 |
;;; "The assertion (C::CONSTANT-CONTINUATION-P C::CONT) failed." (cmucl) |
1374 |
(deftest misc.109 |
1375 |
(funcall (compile |
1376 |
nil |
1377 |
'(lambda () |
1378 |
(load-time-value |
1379 |
(block b4 |
1380 |
(* (return-from b4 -27) |
1381 |
(block b5 |
1382 |
(return-from b4 |
1383 |
(return-from b5 |
1384 |
(ignore-errors (unwind-protect |
1385 |
(return-from b5 0)))))))))))) |
1386 |
-27) |
1387 |
|
1388 |
;;; This bug was occuring a lot in sbcl, and now occurs in cmucl too |
1389 |
;;; NIL fell through ETYPECASE expression. Wanted one of (C:FIXUP X86::EA C:TN). |
1390 |
(deftest misc.110 |
1391 |
(funcall |
1392 |
(compile nil |
1393 |
'(lambda (c) |
1394 |
(declare (type (integer -1441970837 -427) c)) |
1395 |
(declare (optimize (speed 3))) |
1396 |
(block b7 (abs (min c (ignore-errors (return-from b7 c))))))) |
1397 |
-500) |
1398 |
-500) |
1399 |
|
1400 |
;;; CLISP (2.31+) compiler bug |
1401 |
|
1402 |
(deftest misc.111 |
1403 |
(funcall |
1404 |
(compile nil |
1405 |
'(lambda (a c) |
1406 |
(if (or (ldb-test (byte 12 18) a) |
1407 |
(not (and t (not (if (not (and c t)) nil nil))))) |
1408 |
170 -110730))) |
1409 |
3035465333 1919088834) |
1410 |
170) |
1411 |
|
1412 |
;;; sbcl (0.8.5.8) "The value NIL is not of type SB-C::IR2-LVAR." |
1413 |
|
1414 |
(deftest misc.112 |
1415 |
(funcall |
1416 |
(compile nil '(lambda (a) |
1417 |
(declare (type (integer -944 -472) a)) |
1418 |
(declare (optimize (speed 3))) |
1419 |
(round |
1420 |
(block b3 |
1421 |
(return-from b3 |
1422 |
(if (= 55957 a) -117 (ignore-errors |
1423 |
(return-from b3 a)))))))) |
1424 |
-589) |
1425 |
-589 0) |
1426 |
|
1427 |
;;; sbcl (0.8.5.8) "The value NIL is not of type SB-C::CTRAN" |
1428 |
|
1429 |
(deftest misc.113 |
1430 |
(funcall |
1431 |
(compile nil '(lambda (b c) |
1432 |
(if (or (ldb-test (byte 8 10) b) t) |
1433 |
c |
1434 |
(min (if (<= -6467 c) c 6) |
1435 |
(flet ((%f3 (f3-1 f3-2) |
1436 |
f3-1)) |
1437 |
(multiple-value-call #'%f3 (values b 107))))))) |
1438 |
-238 -23658556) |
1439 |
-23658556) |
1440 |
|
1441 |
;;; clisp (1 Oct 2003 cvs HEAD) "*** - CAR: #:G7744659 is not a LIST" |
1442 |
|
1443 |
(deftest misc.114 |
1444 |
(funcall |
1445 |
(compile nil |
1446 |
'(lambda (a b) |
1447 |
(unwind-protect |
1448 |
(block b2 |
1449 |
(flet ((%f1 nil b)) |
1450 |
(logior (if a |
1451 |
(if (ldb-test (byte 23 1) 253966182) |
1452 |
(return-from b2 a) |
1453 |
-103275090) |
1454 |
62410) |
1455 |
(if (not (not (if (not nil) t (ldb-test (byte 2 27) 253671809)))) |
1456 |
(return-from b2 -22) |
1457 |
(%f1)))))))) |
1458 |
777595384624 -1510893868) |
1459 |
777595384624) |
1460 |
|
1461 |
;;; clisp (1 Oct 2003 cvs HEAD) "Compiler bug!! Occurred in OPTIMIZE-LABEL." |
1462 |
|
1463 |
(deftest misc.115 |
1464 |
(funcall |
1465 |
(compile nil |
1466 |
'(lambda (a b c) |
1467 |
(declare (type (integer 0 1000) a b c)) |
1468 |
(if (and (if b (not (and (not (or a t)) nil)) nil) |
1469 |
(logbitp 6 c)) |
1470 |
c b))) |
1471 |
0 100 600) |
1472 |
600) |
1473 |
|
1474 |
(deftest misc.116 |
1475 |
(funcall |
1476 |
(compile nil |
1477 |
'(lambda (a c) |
1478 |
(declare (type (integer 0 1000) a c)) |
1479 |
(if (if (and (not (and (not (or a t)) nil)) t) c nil) |
1480 |
91 -1725615))) |
1481 |
0 0) |
1482 |
91) |
1483 |
|
1484 |
(deftest misc.117 |
1485 |
(funcall |
1486 |
(compile nil |
1487 |
'(lambda (a c) |
1488 |
(declare (type (integer 0 1000) a c)) |
1489 |
(if (or c (not (or nil (not (and (not (or a t)) nil))))) |
1490 |
373146181 115))) |
1491 |
0 0) |
1492 |
373146181) |
1493 |
|
1494 |
(deftest misc.118 |
1495 |
(funcall |
1496 |
(compile nil '(lambda (a) |
1497 |
(declare (type (integer 0 10000) a)) |
1498 |
(if (or (or nil (not (or (not (or a nil)) t))) a) a 9376))) |
1499 |
0) |
1500 |
0) |
1501 |
|
1502 |
(deftest misc.119 |
1503 |
(funcall |
1504 |
(compile |
1505 |
nil |
1506 |
'(lambda () |
1507 |
(if (and (if (1+ 0) nil (not (and (not (and (<= 3) nil)) nil))) |
1508 |
(if (= -31) -20 -2371)) |
1509 |
1493 39720)))) |
1510 |
39720) |
1511 |
|
1512 |
(deftest misc.120 |
1513 |
(funcall |
1514 |
(compile |
1515 |
nil |
1516 |
'(lambda (c) |
1517 |
(declare (type (integer 377036 4184626) c)) |
1518 |
(if (or (and t (not (and (not (and c nil)) nil))) nil) |
1519 |
3470653 c))) |
1520 |
1000000) |
1521 |
3470653) |
1522 |
|
1523 |
(deftest misc.121 |
1524 |
(funcall |
1525 |
(compile |
1526 |
nil |
1527 |
'(lambda (a b c) |
1528 |
(if (and (and -92220 (not (and (not (or c nil)) nil))) a) b b))) |
1529 |
2000000 150000 -1) |
1530 |
150000) |
1531 |
|
1532 |
;;; CAR: #:G243 is not a LIST |
1533 |
(deftest misc.122 |
1534 |
(funcall |
1535 |
(compile |
1536 |
nil |
1537 |
'(lambda (a b c) |
1538 |
(declare (type (integer 2872749 5754655) a)) |
1539 |
(declare (type (integer 24114340 89504792) b)) |
1540 |
(declare (type (integer 506491 1412971) c)) |
1541 |
(declare (ignorable a b c)) |
1542 |
(declare (optimize (speed 3))) |
1543 |
(declare (optimize (safety 1))) |
1544 |
(declare (optimize (debug 1))) |
1545 |
(- (let ((v7 (ignore-errors a))) -6) |
1546 |
(logand (if c -13936 c) |
1547 |
(block b3 (if (if (or t b) (not nil) c) |
1548 |
(return-from b3 -3114) |
1549 |
(ignore-errors 7) |
1550 |
)))))) |
1551 |
3000000 30000000 600000) |
1552 |
15978) |
1553 |
|
1554 |
;;; gcl bug (30 Oct 2003) |
1555 |
(deftest misc.123 |
1556 |
(let* ((fn1 '(lambda (b) |
1557 |
(declare (optimize (safety 1))) |
1558 |
(labels ((%f7 (f7-1 f7-2) |
1559 |
(let ((v2 (setq b 723149855))) |
1560 |
25620))) |
1561 |
(max b |
1562 |
(multiple-value-call #'%f7 (values b 2)))))) |
1563 |
(fn2 '(lambda (b) |
1564 |
(labels ((%f7 (f7-1 f7-2) |
1565 |
(let ((v2 (setq b 723149855))) |
1566 |
25620))) |
1567 |
(max b |
1568 |
(multiple-value-call #'%f7 (values b 2)))))) |
1569 |
(vals '(1439719153)) |
1570 |
(v1 (apply (compile nil fn1) vals)) |
1571 |
(v2 (apply (compile nil fn2) vals))) |
1572 |
(if (eql v1 v2) :good (list v1 v2))) |
1573 |
:good) |
1574 |
|
1575 |
(deftest misc.124 |
1576 |
(let* ((fn1 '(lambda (b) |
1577 |
(declare (optimize (safety 1))) |
1578 |
(labels ((%f7 (f7-1 f7-2) |
1579 |
(let ((v2 (setq b 723149855))) |
1580 |
25620))) |
1581 |
(max b |
1582 |
(funcall #'%f7 b 2))))) |
1583 |
(fn2 '(lambda (b) |
1584 |
(labels ((%f7 (f7-1 f7-2) |
1585 |
(let ((v2 (setq b 723149855))) |
1586 |
25620))) |
1587 |
(max b |
1588 |
(funcall #'%f7 b 2))))) |
1589 |
(vals '(1439719153)) |
1590 |
(v1 (apply (compile nil fn1) vals)) |
1591 |
(v2 (apply (compile nil fn2) vals))) |
1592 |
(if (eql v1 v2) :good (list v1 v2))) |
1593 |
:good) |
1594 |
|
1595 |
;;; This passed in gcl, but I added it for completeness. |
1596 |
(deftest misc.125 |
1597 |
(let* ((fn1 '(lambda (b) |
1598 |
(declare (optimize (safety 1))) |
1599 |
(labels ((%f7 (f7-1 f7-2) |
1600 |
(let ((v2 (setq b 723149855))) |
1601 |
25620))) |
1602 |
(max b |
1603 |
(%f7 b 2))))) |
1604 |
(fn2 '(lambda (b) |
1605 |
(labels ((%f7 (f7-1 f7-2) |
1606 |
(let ((v2 (setq b 723149855))) |
1607 |
25620))) |
1608 |
(max b |
1609 |
(%f7 b 2))))) |
1610 |
(vals '(1439719153)) |
1611 |
(v1 (apply (compile nil fn1) vals)) |
1612 |
(v2 (apply (compile nil fn2) vals))) |
1613 |
(if (eql v1 v2) :good (list v1 v2))) |
1614 |
:good) |
1615 |
|
1616 |
|
1617 |
;;; clisp optional argument bug: "SYMBOL-VALUE: 1 is not a SYMBOL" |
1618 |
|
1619 |
(deftest misc.126 |
1620 |
(funcall |
1621 |
(compile |
1622 |
nil |
1623 |
'(lambda () |
1624 |
(declare (special *should-always-be-true*)) |
1625 |
(labels ((%f10 (f10-1 &optional |
1626 |
(f10-2 (cl:handler-bind nil |
1627 |
(if *should-always-be-true* |
1628 |
(progn 878) |
1629 |
(should-never-be-called) |
1630 |
))) |
1631 |
(f10-3 (cl:handler-case 10))) |
1632 |
-15)) |
1633 |
(%f10 -144))))) |
1634 |
-15) |
1635 |
|
1636 |
(deftest misc.127 |
1637 |
(funcall |
1638 |
(compile |
1639 |
nil |
1640 |
'(lambda (a c) |
1641 |
(flet ((%f10 (f10-1 f10-2) 10)) |
1642 |
(flet ((%f4 |
1643 |
(&optional |
1644 |
(f4-1 (ldb (byte 10 6) |
1645 |
(* 828 |
1646 |
(+ 30 (dpb c (byte 9 30) (%f10 1918433 34107))) |
1647 |
))) |
1648 |
(f4-2 (setq a 0))) |
1649 |
2)) |
1650 |
(%f4 -5))))) |
1651 |
0 0) |
1652 |
2) |
1653 |
|
1654 |
;;; cmucl (22 Oct 2003 build) bug |
1655 |
;;; The assertion (EQ (C::COMPONENT-KIND C:COMPONENT) :INITIAL) failed. |
1656 |
|
1657 |
(deftest misc.128 |
1658 |
(flet ((%f14 |
1659 |
(f14-1 f14-2 |
1660 |
&optional |
1661 |
(f14-3 (unwind-protect 13059412)) |
1662 |
(f14-4 452384) |
1663 |
(f14-5 -6714)) |
1664 |
-1)) |
1665 |
(%f14 -2 1 1279896 589726354 -11)) |
1666 |
-1) |
1667 |
|
1668 |
(deftest misc.129 |
1669 |
(labels ((%f17 (f17-1 f17-2 &optional (f17-3 (unwind-protect 178))) |
1670 |
483633925)) |
1671 |
-661328075) |
1672 |
-661328075) |
1673 |
|
1674 |
(deftest misc.130 |
1675 |
(let* ((fn1 |
1676 |
'(lambda (a c) |
1677 |
(flet ((%f10 (&optional (f10-1 -6489) (f10-2 (+ c))) |
1678 |
a)) |
1679 |
(multiple-value-call #'%f10 (values -178858 a))))) |
1680 |
(fn2 |
1681 |
'(lambda (a c) |
1682 |
(declare (notinline values +) (optimize (speed 0) (debug 0))) |
1683 |
(flet ((%f10 (&optional (f10-1 -6489) (f10-2 (+ c))) |
1684 |
a)) |
1685 |
(multiple-value-call #'%f10 (values -178858 a))))) |
1686 |
(vals '(-13649921 -1813684177409)) |
1687 |
(v1 (apply (compile nil fn1) vals)) |
1688 |
(v2 (apply (compile nil fn2) vals))) |
1689 |
(if (eql v1 v2) :good (list v1 v2))) |
1690 |
:good) |
1691 |
|
1692 |
(deftest misc.131 |
1693 |
(let* ((fn1 |
1694 |
'(lambda (a b) |
1695 |
(max |
1696 |
(block b7 |
1697 |
(abs |
1698 |
(ignore-errors |
1699 |
(if (ldb-test (byte 33 15) (return-from b7 a)) |
1700 |
b b))))))) |
1701 |
(fn2 |
1702 |
'(lambda (a b) |
1703 |
(declare (notinline abs max)) |
1704 |
(declare (optimize (speed 0))) |
1705 |
(declare (optimize (debug 0))) |
1706 |
(max |
1707 |
(block b7 |
1708 |
(abs |
1709 |
(ignore-errors |
1710 |
(if (ldb-test (byte 33 15) (return-from b7 a)) |
1711 |
b b))))))) |
1712 |
(vals '(-823894140303 -3)) |
1713 |
(v1 (apply (compile nil fn1) vals)) |
1714 |
(v2 (apply (compile nil fn2) vals))) |
1715 |
(if (eql v1 v2) :good (list v1 v2))) |
1716 |
:good) |
1717 |
|
1718 |
;;; cmucl (22 Oct 2003) |
1719 |
;;; The assertion (EQ C::ENV |
1720 |
;;; (C::LAMBDA-ENVIRONMENT |
1721 |
;;; (C::LAMBDA-VAR-HOME C::THING))) failed. |
1722 |
|
1723 |
(deftest misc.132 |
1724 |
(funcall |
1725 |
(compile nil |
1726 |
'(lambda (b c) |
1727 |
(declare (type (integer -3358662 7782429) b)) |
1728 |
(declare (type (integer -513018 12740) c)) |
1729 |
(declare (optimize (speed 3))) |
1730 |
(declare (optimize (safety 1))) |
1731 |
(declare (optimize (debug 1))) |
1732 |
(labels ((%f9 |
1733 |
(&optional |
1734 |
(f9-1 |
1735 |
(labels |
1736 |
((%f5 (f5-1 f5-2) |
1737 |
(floor (ignore-errors f5-1) |
1738 |
(min -67 (if (equal -56 c) |
1739 |
-11197265 f5-2))))) |
1740 |
c)) |
1741 |
(f9-2 -439518) |
1742 |
(f9-3 -2840573)) |
1743 |
f9-1)) |
1744 |
(%f9 -193644 b 1368)))) |
1745 |
10 20) |
1746 |
-193644) |
1747 |
|
1748 |
(deftest misc.132a |
1749 |
(funcall |
1750 |
(compile |
1751 |
nil |
1752 |
'(lambda () |
1753 |
(declare (optimize (speed 2) (space 0) (safety 0) (debug 2) (compilation-speed 0))) |
1754 |
(labels ((%f1 () 0)) |
1755 |
(if t 0 (dotimes (iv1 5 (if (%f1) 0 0)) (catch 'ct1 0))))))) |
1756 |
0) |
1757 |
|
1758 |
;;; cmucl (22 Oct 2003) Default for optional parameter is improperly chosen |
1759 |
(deftest misc.133 |
1760 |
(funcall |
1761 |
(compile nil |
1762 |
'(lambda (a b c) |
1763 |
(declare (notinline values)) |
1764 |
(declare (optimize (speed 0) (debug 0))) |
1765 |
(flet ((%f15 (&optional (f15-5 c)) f15-5)) |
1766 |
(multiple-value-call #'%f15 (values -2688612))))) |
1767 |
1 2 3) |
1768 |
-2688612) |
1769 |
|
1770 |
;;; ACL 6.2 (x86 linux trial) bugs |
1771 |
;;; With optional flet/labels parameters, there's a very high frequency bug |
1772 |
;;; causing the compiler error "Error: `:INFERRED' is not of the expected |
1773 |
;;; type `NUMBER'". The following tests show this bug. |
1774 |
|
1775 |
(deftest misc.134 |
1776 |
(funcall |
1777 |
(compile nil |
1778 |
'(lambda (b) |
1779 |
(labels ((%f5 (f5-1 f5-2 f5-3 &optional (f5-4 0) |
1780 |
(f5-5 |
1781 |
(flet ((%f13 (f13-1) |
1782 |
(return-from %f13 b))) b))) |
1783 |
900654472)) |
1784 |
183301))) |
1785 |
13775799184) |
1786 |
183301) |
1787 |
|
1788 |
(deftest misc.135 |
1789 |
(funcall |
1790 |
(compile nil |
1791 |
'(lambda (a b) |
1792 |
(labels ((%f4 (&optional (f4-1 (labels ((%f17 nil a)) b))) |
1793 |
-14806404)) |
1794 |
190134))) |
1795 |
1783745644 268410629) |
1796 |
190134) |
1797 |
|
1798 |
(deftest misc.136 |
1799 |
(funcall |
1800 |
(compile nil |
1801 |
'(lambda (c) |
1802 |
(flet ((%f17 (&optional |
1803 |
(f17-1 (flet ((%f9 nil c)) 73574919))) |
1804 |
643)) |
1805 |
1039017546))) |
1806 |
0) |
1807 |
1039017546) |
1808 |
|
1809 |
;;; And these caused segfaults |
1810 |
|
1811 |
(deftest misc.137 |
1812 |
(funcall |
1813 |
(compile nil |
1814 |
'(lambda () |
1815 |
(declare (optimize (speed 3))) |
1816 |
(declare (optimize (safety 1))) |
1817 |
(flet ((%f16 (&optional |
1818 |
(f16-2 (lognor -3897747 |
1819 |
(if nil -1 -127228378)))) |
1820 |
10)) |
1821 |
20)))) |
1822 |
20) |
1823 |
|
1824 |
(deftest misc.138 |
1825 |
(funcall |
1826 |
(compile nil |
1827 |
'(lambda (c) |
1828 |
(declare (type (integer 2996 39280) c)) |
1829 |
(declare (optimize (speed 3))) |
1830 |
(declare (optimize (safety 1))) |
1831 |
(if (zerop (labels ((%f8 (&optional |
1832 |
(f8-2 (logorc2 c -161957))) |
1833 |
2176)) |
1834 |
3)) |
1835 |
c c))) |
1836 |
3000) |
1837 |
3000) |
1838 |
|
1839 |
;;; Lispworks 4.2 (x86 linux personal edition) failures |
1840 |
|
1841 |
|
1842 |
(deftest misc.139 |
1843 |
(let* ((fn1 |
1844 |
'(lambda (c) |
1845 |
(declare (optimize (speed 3))) |
1846 |
(logior (labels ((%f1 (f1-1 &optional (f1-2 (setq c 7))) f1-1)) |
1847 |
(%f1 774 3616592)) c))) |
1848 |
(fn2 |
1849 |
'(lambda (c) |
1850 |
(logior (labels ((%f1 (f1-1 &optional (f1-2 (setq c 7))) f1-1)) |
1851 |
(%f1 774 3616592)) c))) |
1852 |
(vals '(-3)) |
1853 |
(v1 (apply (compile nil fn1) vals)) |
1854 |
(v2 (apply (compile nil fn2) vals))) |
1855 |
(if (eql v1 v2) :good (list v1 v2))) |
1856 |
:good) |
1857 |
|
1858 |
(deftest misc.140 |
1859 |
(funcall |
1860 |
(compile nil |
1861 |
'(lambda (a) |
1862 |
(ldb (byte 24 20) |
1863 |
(labels ((%f12 (&optional (f12-1 149) (f12-2 -3894159)) 34068)) |
1864 |
(let* ((v4 (%f12))) a))))) |
1865 |
-1) |
1866 |
16777215) |
1867 |
|
1868 |
|
1869 |
;;; In Lispworks 4.2 (x86 linux personal edition) |
1870 |
;;; 'Error: *** Ran out of patterns in (MOVE) for (edi NIL)' |
1871 |
|
1872 |
(deftest misc.141 |
1873 |
(funcall |
1874 |
(compile nil |
1875 |
'(lambda () (labels ((%f11 (&optional (f11-3 (restart-case 0))) f11-3)) |
1876 |
(%f11 1))))) |
1877 |
1) |
1878 |
|
1879 |
(deftest misc.142 |
1880 |
(funcall |
1881 |
(compile nil |
1882 |
'(lambda () |
1883 |
(labels ((%f15 (&optional (f15-3 (block b1 (+ 1 (return-from b1 -10))))) |
1884 |
f15-3)) |
1885 |
(%f15))))) |
1886 |
-10) |
1887 |
|
1888 |
;;; cmucl (22 Oct 2003): NIL is not of type C::REF |
1889 |
(deftest misc.143 |
1890 |
(block b2 |
1891 |
(max (return-from b2 1) |
1892 |
(let ((v3 |
1893 |
(unwind-protect |
1894 |
(let* ((v1 (ignore-errors -254))) |
1895 |
1)))) |
1896 |
-2))) |
1897 |
1) |
1898 |
|
1899 |
;;; (was) The assertion (NOT (C::BLOCK-DELETE-P BLOCK)) failed. |
1900 |
;;; (now) The assertion (NOT (MEMBER C::KIND '(:DELETED :OPTIONAL :TOP-LEVEL))) failed. |
1901 |
|
1902 |
(deftest misc.144 |
1903 |
(funcall |
1904 |
(compile nil |
1905 |
'(lambda (a b c) |
1906 |
(declare (type (integer 9739325 14941321) c)) |
1907 |
(labels ((%f7 (f7-1 f7-2 f7-3 &optional (f7-4 b)) |
1908 |
(return-from %f7 f7-4))) |
1909 |
(if (= -76482 c) |
1910 |
(if (>= c 10986082) (%f7 a b (%f7 -8088 c -147106 2)) -10502) |
1911 |
(%f7 509252 b b))))) |
1912 |
-200 17 10000000) |
1913 |
17) |
1914 |
|
1915 |
(deftest misc.145 |
1916 |
(funcall |
1917 |
(compile nil |
1918 |
'(lambda (a b c) |
1919 |
(declare (optimize (safety 3))) |
1920 |
(block b5 |
1921 |
(return-from b5 |
1922 |
(logior (if (or c t) b (load-time-value -61)) (return-from b5 -3)))))) |
1923 |
1 2 3) |
1924 |
-3) |
1925 |
|
1926 |
;;; cmucl: order of evaluation error |
1927 |
(deftest misc.146 |
1928 |
(funcall |
1929 |
(compile nil |
1930 |
'(lambda (b) |
1931 |
(declare (optimize (speed 3))) |
1932 |
(flet ((%f14 (&optional (f14-1 301917227) |
1933 |
(f14-2 (setq b 995196571))) |
1934 |
f14-1)) |
1935 |
(%f14 b (block b3 (%f14 -64)))))) |
1936 |
10) |
1937 |
10) |
1938 |
|
1939 |
;;; cmucl (22 Oct 2003): NIL is not of type C::CLEANUP |
1940 |
(deftest misc.147 |
1941 |
(flet ((%f11 () (if nil (ignore-errors -19884254) (unwind-protect -2)))) :good) |
1942 |
:good) |
1943 |
|
1944 |
;;; The assertion (C::CONSTANT-CONTINUATION-P C::CONT) failed. |
1945 |
(deftest misc.148 |
1946 |
(block b2 (logior (return-from b2 484) (restart-case (ignore-errors 1737021)))) |
1947 |
484) |
1948 |
|
1949 |
;;; Argument X is not a NUMBER: NIL. |
1950 |
(deftest misc.149 |
1951 |
(funcall |
1952 |
(compile nil '(lambda (b) |
1953 |
(block b1 (- (logand 0 -34 1026491) (ignore-errors (return-from b1 b)))))) |
1954 |
0) |
1955 |
0) |
1956 |
|
1957 |
(deftest misc.149a |
1958 |
(funcall |
1959 |
(compile nil '(lambda (a) (block b1 (- a (ignore-errors (return-from b1 1)))))) |
1960 |
0) |
1961 |
1) |
1962 |
|
1963 |
;;; cmucl (11 2003 image) "NIL is not of type C::CONTINUATION" |
1964 |
(deftest misc.150 |
1965 |
(funcall |
1966 |
(compile |
1967 |
nil |
1968 |
'(lambda (a b c) |
1969 |
(flet ((%f17 |
1970 |
(&optional |
1971 |
(f17-4 |
1972 |
(labels ((%f13 (f13-1 &optional (f13-2 (multiple-value-prog1 b))) |
1973 |
-4)) |
1974 |
(%f13 b (%f13 190))))) |
1975 |
-157596)) |
1976 |
(labels ((%f6 () (%f17))) c)))) |
1977 |
10 20 30000) |
1978 |
30000) |
1979 |
|
1980 |
(deftest misc.150a |
1981 |
(funcall |
1982 |
(compile |
1983 |
nil |
1984 |
'(lambda () |
1985 |
(declare (optimize (speed 3) (space 2) (safety 3) |
1986 |
(debug 3) (compilation-speed 2))) |
1987 |
(catch 'ct6 (apply (constantly 0) (list)))))) |
1988 |
0) |
1989 |
|
1990 |
(deftest misc.150b |
1991 |
(funcall |
1992 |
(compile |
1993 |
nil |
1994 |
'(lambda (a) |
1995 |
(declare (type integer a)) |
1996 |
(declare (optimize (speed 3) (space 0) (safety 3) (debug 2) |
1997 |
(compilation-speed 3))) |
1998 |
(if (= a 0) 0 (truncate a)))) |
1999 |
0) |
2000 |
0) |
2001 |
|
2002 |
(deftest misc.150c |
2003 |
(funcall |
2004 |
(compile |
2005 |
nil |
2006 |
'(lambda (a b) |
2007 |
(declare (optimize (speed 1) (space 3) (safety 2) (debug 3) (compilation-speed 3))) |
2008 |
(labels ((%f4 (f4-1) |
2009 |
0)) |
2010 |
(labels ((%f15 |
2011 |
(f15-1 f15-2 |
2012 |
&optional (f15-3 (apply #'%f4 0 nil)) (f15-4 0) |
2013 |
(f15-5 (%f4 (%f4 (if (/= 0 0) a 0))))) |
2014 |
0)) |
2015 |
(labels ((%f13 (f13-1) |
2016 |
(%f15 b 0 0 0))) |
2017 |
0))))) |
2018 |
1 2) |
2019 |
0) |
2020 |
|
2021 |
(deftest misc.150d |
2022 |
(funcall |
2023 |
(compile |
2024 |
nil |
2025 |
'(lambda (a b) |
2026 |
(declare (type (integer 4146834609223 16403344221223) a)) |
2027 |
(declare (type (integer -35470308180 3523580009) b)) |
2028 |
(declare (optimize (speed 1) (space 3) (safety 3) (debug 0) (compilation-speed 0))) |
2029 |
(catch 'ct1 (logand b a 0)))) |
2030 |
4146834609223 10) |
2031 |
0) |
2032 |
|
2033 |
;;; cmucl (11 2003 x86 linux) "NIL is not of type C::ENVIRONMENT" |
2034 |
(deftest misc.151 |
2035 |
(funcall |
2036 |
(compile |
2037 |
nil |
2038 |
'(lambda (b c) |
2039 |
(declare (type (integer -249 97) b)) |
2040 |
(declare (type (integer 3565969 6559088) c)) |
2041 |
(let* ((v7 |
2042 |
(if (not (= 1030 4)) |
2043 |
c |
2044 |
(logand (if (/= b c) b 34945725) (unwind-protect -12443701))))) |
2045 |
5520737))) |
2046 |
-24 5657943) |
2047 |
5520737) |
2048 |
|
2049 |
(deftest misc.151a |
2050 |
(funcall |
2051 |
(compile |
2052 |
nil |
2053 |
'(lambda () |
2054 |
(declare |
2055 |
(optimize (speed 3) (space 3) (safety 1) (debug 1) (compilation-speed 0))) |
2056 |
(case 0 ((-12 -9 -12 -2 -5 -2 15) (catch 'ct7 (throw 'ct7 0))) (t 0))))) |
2057 |
0) |
2058 |
|
2059 |
;;; sbcl bug (0.8.5.19) |
2060 |
;;; "The value NIL is not of type SB-C::REF." |
2061 |
|
2062 |
(deftest misc.152 |
2063 |
(funcall |
2064 |
(compile nil |
2065 |
'(lambda (a) |
2066 |
(block b5 |
2067 |
(let ((v1 (let ((v8 (unwind-protect 9365))) |
2068 |
8862008))) |
2069 |
(* |
2070 |
(return-from b5 |
2071 |
(labels ((%f11 (f11-1) f11-1)) |
2072 |
(%f11 87246015))) |
2073 |
(return-from b5 |
2074 |
(setq v1 |
2075 |
(labels ((%f6 (f6-1 f6-2 f6-3) v1)) |
2076 |
(dpb (unwind-protect a) |
2077 |
(byte 18 13) |
2078 |
(labels ((%f4 () 27322826)) |
2079 |
(%f6 -2 -108626545 (%f4)))))))))))) |
2080 |
-6) |
2081 |
87246015) |
2082 |
|
2083 |
(deftest misc.153 |
2084 |
(funcall |
2085 |
(compile nil |
2086 |
'(lambda (a) |
2087 |
(if (logbitp 3 |
2088 |
(case -2 |
2089 |
((-96879 -1035 -57680 -106404 -94516 -125088) |
2090 |
(unwind-protect 90309179)) |
2091 |
((-20811 -86901 -9368 -98520 -71594) |
2092 |
(let ((v9 (unwind-protect 136707))) |
2093 |
(block b3 |
2094 |
(setq v9 |
2095 |
(let ((v4 (return-from b3 v9))) |
2096 |
(- (ignore-errors (return-from b3 v4)))))))) |
2097 |
(t -50))) |
2098 |
-20343 |
2099 |
a))) |
2100 |
0) |
2101 |
-20343) |
2102 |
|
2103 |
;;; Bug in ecl (cvs head, 4 Nov 2003) |
2104 |
;;; "/tmp/ecl04Coiwc0V.c:48: `lex0' undeclared (first use in this function)" |
2105 |
|
2106 |
(deftest misc.154 |
2107 |
(funcall |
2108 |
(compile nil |
2109 |
'(lambda (b) |
2110 |
(labels ((%f8 nil -39011)) |
2111 |
(flet ((%f4 (f4-1 f4-2 &optional (f4-3 (%f8)) (f4-4 b)) |
2112 |
(%f8))) |
2113 |
(%f4 -260093 -75538 -501684 (let ((v9 (%f8))) -3)))))) |
2114 |
0) |
2115 |
-39011) |
2116 |
|
2117 |
;;; "/tmp/ecl1572CbKzu.c:16: too many arguments to function `APPLY'" |
2118 |
|
2119 |
(deftest misc.155 |
2120 |
(funcall |
2121 |
(compile nil |
2122 |
'(lambda (a b c) |
2123 |
(labels ((%f6 (f6-1 f6-2) c)) |
2124 |
(multiple-value-call #'%f6 (values a c))))) |
2125 |
0 10 20) |
2126 |
20) |
2127 |
|
2128 |
;;; "The function C::LDB1 is undefined." |
2129 |
|
2130 |
(deftest misc.156 |
2131 |
(funcall |
2132 |
(compile nil |
2133 |
'(lambda () |
2134 |
(let ((v6 (ldb (byte 30 1) 1473))) (let ((v8 v6)) 2395))))) |
2135 |
2395) |
2136 |
|
2137 |
;;; "/tmp/ecl9CEiD1RL5.c:36: `lex0' undeclared (first use in this function)" |
2138 |
|
2139 |
(deftest misc.157 |
2140 |
(funcall |
2141 |
(compile nil |
2142 |
' (lambda (c) |
2143 |
(labels ((%f11 nil 1)) |
2144 |
(flet ((%f9 (f9-1 f9-2) |
2145 |
(case 17466182 ((-12) (%f11)) (t c)))) |
2146 |
(%f9 -9913 c))))) |
2147 |
17) |
2148 |
17) |
2149 |
|
2150 |
;;; SBCL (0.8.5.24) bug: "bogus operands to XOR" |
2151 |
|
2152 |
(deftest misc.158 |
2153 |
(funcall |
2154 |
(compile nil |
2155 |
'(lambda (a b c) |
2156 |
(declare (type (integer 79828 2625480458) a)) |
2157 |
(declare (type (integer -4363283 8171697) b)) |
2158 |
(declare (type (integer -301 0) c)) |
2159 |
(if (equal 6392154 (logxor a b)) |
2160 |
1706 |
2161 |
(let ((v5 (abs c))) |
2162 |
(logand v5 |
2163 |
(logior (logandc2 c v5) |
2164 |
(common-lisp:handler-case |
2165 |
(ash a (min 36 22477))))))))) |
2166 |
100000 0 0) |
2167 |
0) |
2168 |
|
2169 |
;;; sbcl (0.8.5.24) The value NIL is not of type SB-C::CTRAN. |
2170 |
|
2171 |
(deftest misc.159 |
2172 |
(funcall |
2173 |
(compile nil |
2174 |
'(lambda () |
2175 |
(let ((v8 70696)) |
2176 |
(if (equal v8 -536145083) |
2177 |
(let ((v2 (setq v8 v8))) |
2178 |
(flet ((%f9 (f9-1 f9-2) |
2179 |
309257)) |
2180 |
(multiple-value-call #'%f9 (values v2 v2)))) |
2181 |
100))))) |
2182 |
100) |
2183 |
|
2184 |
;;; sbcl (0.8.5.37) The value NIL is not of type SB-C::CTRAN. |
2185 |
|
2186 |
(deftest misc.159a |
2187 |
(funcall |
2188 |
(compile |
2189 |
nil |
2190 |
'(lambda (a b) |
2191 |
(declare (type (integer -105680 2104974) a)) |
2192 |
(declare (type (integer -1881 -1134) b)) |
2193 |
(declare (ignorable a b)) |
2194 |
(declare (optimize (speed 3))) |
2195 |
(declare (optimize (safety 1))) |
2196 |
(declare (optimize (debug 1))) |
2197 |
(block b5 |
2198 |
(let ((v2 |
2199 |
(if (or (>= 34 a) 108361696) |
2200 |
(return-from b5 -1) |
2201 |
(lognand b -16023672)))) |
2202 |
(flet ((%f10 |
2203 |
(f10-1 |
2204 |
&optional (f10-2 (if (eql -30 v2) v2 -5)) (f10-3 v2) |
2205 |
(f10-4 14)) |
2206 |
(if (equal a f10-2) f10-4 380663047))) |
2207 |
(flet ((%f6 (f6-1 f6-2 f6-3) |
2208 |
f6-1)) |
2209 |
(multiple-value-call #'%f6 |
2210 |
(values a (%f10 -37243) -47691)))))))) |
2211 |
100 -1200) |
2212 |
-1) |
2213 |
|
2214 |
;;; gcl (9 Nov 2003) bug |
2215 |
;;; Error in FUNCALL [or a callee]: Caught fatal error [memory may be damaged] |
2216 |
|
2217 |
(deftest misc.160 |
2218 |
(funcall |
2219 |
(compile nil |
2220 |
'(lambda (c) |
2221 |
(declare (notinline + funcall)) |
2222 |
(+ (labels ((%f1 () -14)) (funcall #'%f1)) |
2223 |
(flet ((%f2 () (floor c))) (funcall #'%f2))))) |
2224 |
0) |
2225 |
-14) |
2226 |
|
2227 |
;;; cmucl (9 Nov 2003) |
2228 |
;;; The assertion (NOT (MEMBER C::KIND '(:DELETED :OPTIONAL :TOP-LEVEL))) failed. |
2229 |
|
2230 |
(deftest misc.161 |
2231 |
(funcall |
2232 |
(compile nil |
2233 |
'(lambda (a b c) |
2234 |
(flet ((%f17 (f17-1 f17-2 f17-3) |
2235 |
(flet ((%f2 |
2236 |
(f2-1 f2-2 |
2237 |
&optional (f2-3 (return-from %f17 f17-1)) |
2238 |
(f2-4 (return-from %f17 -57))) |
2239 |
b)) |
2240 |
(multiple-value-call #'%f2 (values c -588 55101157))))) |
2241 |
(if nil |
2242 |
(let* ((v6 (%f17 102136 3096194 a))) |
2243 |
b) |
2244 |
c)))) |
2245 |
-511 -2269809964 250738) |
2246 |
250738) |
2247 |
|
2248 |
(deftest misc.161a |
2249 |
(funcall |
2250 |
(compile nil |
2251 |
'(lambda (a) |
2252 |
(declare (optimize (speed 3) (space 2) (safety 3) (debug 0) (compilation-speed 0))) |
2253 |
(progn (abs 0) (- a) 0))) |
2254 |
1) |
2255 |
0) |
2256 |
|
2257 |
;;; cmucl (9 Nov 2003) Incorrect result at SPEED 0. |
2258 |
|
2259 |
(deftest misc.162 |
2260 |
(let* ((fn `(lambda (a c) |
2261 |
(declare (notinline funcall) |
2262 |
(optimize (speed 0) (debug 0))) |
2263 |
(labels ((%f17 (f17-1 &optional (f17-4 c)) |
2264 |
(return-from %f17 (if f17-4 f17-1 49572640)))) |
2265 |
(funcall #'%f17 15128425 a))))) |
2266 |
(funcall (compile nil fn) 1 3)) |
2267 |
15128425) |
2268 |
|
2269 |
;;; gcl (12 Nov 2003) |
2270 |
;;; C compiler failure during compilation (duplicate case value) |
2271 |
|
2272 |
(deftest misc.163 |
2273 |
(funcall |
2274 |
(compile nil |
2275 |
'(lambda (b) |
2276 |
(declare (type (integer -15716 3947) b)) |
2277 |
(case b |
2278 |
((-7 -6 -6) :good) |
2279 |
((-5 -6) :bad) |
2280 |
))) |
2281 |
|
2282 |
-6) |
2283 |
:good) |
2284 |
|
2285 |
;;; gcl (13 Nov 2003) |
2286 |
;;; Error in FUNCALL [or a callee]: Caught fatal error [memory may be damaged] |
2287 |
|
2288 |
(deftest misc.164 |
2289 |
(funcall |
2290 |
(compile |
2291 |
nil |
2292 |
'(lambda (a) |
2293 |
(labels ((%f6 (f6-1 f6-2) |
2294 |
(cl:handler-case |
2295 |
(labels ((%f2 nil (logior a))) |
2296 |
(if (eql (%f2) (%f2)) |
2297 |
2829254 -10723)) |
2298 |
(error (c) (error c)) |
2299 |
))) |
2300 |
(funcall #'%f6 10 20) |
2301 |
))) |
2302 |
0) |
2303 |
2829254) |
2304 |
|
2305 |
;;; sbcl failures |
2306 |
|
2307 |
;;; The value NIL is not of type SB-C::NODE. |
2308 |
(deftest misc.165 |
2309 |
(funcall |
2310 |
(compile |
2311 |
nil |
2312 |
'(lambda (a b c) |
2313 |
(block b3 |
2314 |
(flet ((%f15 |
2315 |
(f15-1 f15-2 f15-3 |
2316 |
&optional |
2317 |
(f15-4 |
2318 |
(flet ((%f17 |
2319 |
(f17-1 f17-2 f17-3 |
2320 |
&optional (f17-4 185155520) (f17-5 c) |
2321 |
(f17-6 37)) |
2322 |
c)) |
2323 |
(%f17 -1046 a 1115306 (%f17 b -146330 422) -337817))) |
2324 |
(f15-5 a) (f15-6 -40)) |
2325 |
(return-from b3 -16))) |
2326 |
(multiple-value-call #'%f15 (values -519354 a 121 c -1905)))))) |
2327 |
0 0 -5) |
2328 |
-16) |
2329 |
|
2330 |
;;; failed AVER: |
2331 |
;;; "(NOT |
2332 |
;;; (AND (NULL (BLOCK-SUCC B)) |
2333 |
;;; (NOT (BLOCK-DELETE-P B)) |
2334 |
;;; (NOT (EQ B (COMPONENT-HEAD #)))))" |
2335 |
|
2336 |
(deftest misc.166 |
2337 |
(funcall |
2338 |
(compile |
2339 |
nil |
2340 |
'(lambda (a b c) |
2341 |
(labels ((%f4 |
2342 |
(f4-1 f4-2 &optional (f4-3 b) (f4-4 c) (f4-5 -170)) |
2343 |
(let ((v2 |
2344 |
(flet ((%f3 |
2345 |
(f3-1 |
2346 |
&optional (f3-2 28476586) (f3-3 c) |
2347 |
(f3-4 -9240)) |
2348 |
(return-from %f4 1))) |
2349 |
(multiple-value-call |
2350 |
#'%f3 |
2351 |
(values -479909 19843799 f4-5 -463858))))) |
2352 |
b))) |
2353 |
c))) |
2354 |
0 0 -223721124) |
2355 |
-223721124) |
2356 |
|
2357 |
(deftest misc.167 |
2358 |
(funcall |
2359 |
(compile |
2360 |
nil |
2361 |
'(lambda (a b c) |
2362 |
(flet ((%f5 (f5-1 f5-2) |
2363 |
(return-from %f5 604245664))) |
2364 |
(flet ((%f12 |
2365 |
(f12-1 f12-2 |
2366 |
&optional (f12-3 c) (f12-4 -579456) |
2367 |
(f12-5 |
2368 |
(labels ((%f9 |
2369 |
(f9-1 |
2370 |
&optional |
2371 |
(f9-2 |
2372 |
(%f5 1 |
2373 |
(let ((v4 (%f5 30732606 a))) |
2374 |
b))) |
2375 |
(f9-3 -29) |
2376 |
(f9-4 |
2377 |
(block b4 |
2378 |
(labels ((%f14 () |
2379 |
(labels ((%f18 |
2380 |
(&optional |
2381 |
(f18-1 |
2382 |
(locally |
2383 |
592928)) |
2384 |
(f18-2 -3) |
2385 |
(f18-3 |
2386 |
(return-from |
2387 |
b4 a))) |
2388 |
f18-1)) |
2389 |
(%f18 74214190 a)))) |
2390 |
(%f14))))) |
2391 |
-1)) |
2392 |
(flet ((%f17 |
2393 |
(f17-1 f17-2 &optional (f17-3 -136045032)) |
2394 |
-38655)) |
2395 |
(%f17 43873 -138030706 -1372492))))) |
2396 |
(return-from %f12 -15216677))) |
2397 |
(%f12 (%f5 b 2329383) a))))) |
2398 |
1 2 3) |
2399 |
-15216677) |
2400 |
|
2401 |
(deftest misc.168 |
2402 |
(funcall |
2403 |
(compile |
2404 |
nil |
2405 |
'(lambda (a b c) |
2406 |
(block b3 |
2407 |
(flet ((%f11 |
2408 |
(f11-1 f11-2 |
2409 |
&optional |
2410 |
(f11-3 |
2411 |
(block b6 |
2412 |
(labels ((%f11 |
2413 |
(f11-1 |
2414 |
&optional (f11-2 c) |
2415 |
(f11-3 (return-from b6 -1806))) |
2416 |
(return-from b3 -28432))) |
2417 |
(apply #'%f11 (list -114)))))) |
2418 |
(return-from %f11 f11-2))) |
2419 |
(%f11 b |
2420 |
c |
2421 |
(labels ((%f10 |
2422 |
(f10-1 f10-2 |
2423 |
&optional (f10-3 a) (f10-4 (%f11 -3931 170))) |
2424 |
-1704759)) |
2425 |
c)))))) |
2426 |
1 2 3) |
2427 |
3) |
2428 |
|
2429 |
(deftest misc.169 |
2430 |
(funcall |
2431 |
(compile |
2432 |
nil |
2433 |
'(lambda (a b c) |
2434 |
(if t -21705 |
2435 |
(flet ((%f15 (f15-1 f15-2) |
2436 |
b)) |
2437 |
(block b4 |
2438 |
(%f15 -11112264 |
2439 |
(labels ((%f2 |
2440 |
(f2-1 |
2441 |
&optional (f2-2 (if b -5485340 -1534)) |
2442 |
(f2-3 -6)) |
2443 |
(return-from b4 f2-1))) |
2444 |
(return-from b4 |
2445 |
(if b (%f2 c -320813) (%f2 b a a)))))))))) |
2446 |
1 2 3) |
2447 |
-21705) |
2448 |
|
2449 |
;;; sbcl (0.8.5.26) |
2450 |
;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)" |
2451 |
|
2452 |
(deftest misc.170 |
2453 |
(funcall |
2454 |
(compile |
2455 |
nil |
2456 |
'(lambda (b) |
2457 |
(flet ((%f14 (f14-1 f14-2) |
2458 |
(if (if (eql b -7) nil nil) |
2459 |
(labels ((%f10 (f10-1 f10-2 f10-3) |
2460 |
7466)) |
2461 |
(return-from %f14 |
2462 |
(min |
2463 |
(multiple-value-call #'%f10 (values 0 492 f14-1)) |
2464 |
(max 11 f14-1) |
2465 |
(multiple-value-call #'%f10 |
2466 |
(values 439171 f14-2 0))))) |
2467 |
1))) |
2468 |
(let ((v6 (%f14 (logcount b) -386283))) |
2469 |
56211)))) |
2470 |
17) |
2471 |
56211) |
2472 |
|
2473 |
(deftest misc.170a |
2474 |
(funcall |
2475 |
(compile |
2476 |
nil |
2477 |
'(lambda (a b) |
2478 |
(declare (type (integer -281 30570) a)) |
2479 |
(declare (type (integer -4247786 -199821) b)) |
2480 |
(declare |
2481 |
(optimize (speed 3) |
2482 |
(space 0) |
2483 |
(safety 0) |
2484 |
(debug 2) |
2485 |
(compilation-speed 1))) |
2486 |
(flet ((%f14 (f14-1 f14-2) |
2487 |
(coerce 0 'integer))) |
2488 |
(labels ((%f3 (f3-1 f3-2 f3-3) |
2489 |
(if |
2490 |
(if |
2491 |
(typep (%f14 -864 -10620) '(integer -11672107617 -2)) |
2492 |
t |
2493 |
(typep |
2494 |
(imagpart |
2495 |
(lcm 2120258 0 (logandc2 -6222 -1057382553))) |
2496 |
'(integer * -113))) |
2497 |
(dotimes |
2498 |
(iv3 5 |
2499 |
(flet ((%f11 (f11-1 f11-2 f11-3) |
2500 |
b)) |
2501 |
(multiple-value-call #'%f11 |
2502 |
(values a a f3-3)))) |
2503 |
0) |
2504 |
0))) |
2505 |
(case (%f3 a a 0) (t 0)))))) |
2506 |
22087 -1787181) |
2507 |
0) |
2508 |
|
2509 |
;;; The value NIL is not of type SB-C::NODE. |
2510 |
|
2511 |
(deftest misc.171 |
2512 |
(funcall |
2513 |
(compile |
2514 |
nil |
2515 |
'(lambda (b) |
2516 |
(block b6 |
2517 |
(flet ((%f11 (f11-1 f11-2 &optional (f11-3 -2369157) (f11-4 409468)) |
2518 |
(return-from b6 1))) |
2519 |
(block b2 |
2520 |
(flet ((%f10 (f10-1 f10-2 |
2521 |
&optional (f10-3 (return-from b6 (return-from b6 -3)))) |
2522 |
-8)) |
2523 |
(%f10 |
2524 |
(multiple-value-call #'%f11 (values -5945959 1654846427 -22)) |
2525 |
(return-from b2 b) |
2526 |
(return-from b2 31258361)))))))) |
2527 |
10) |
2528 |
1) |
2529 |
|
2530 |
|
2531 |
;;; segmentation violation at #XA4A0B59 |
2532 |
|
2533 |
(deftest misc.172 |
2534 |
(funcall |
2535 |
(compile |
2536 |
nil |
2537 |
'(lambda (a b c) |
2538 |
(declare (notinline list apply)) |
2539 |
(declare (optimize (safety 3))) |
2540 |
(declare (optimize (speed 0))) |
2541 |
(declare (optimize (debug 0))) |
2542 |
(labels ((%f12 (f12-1 f12-2) |
2543 |
(labels ((%f2 (f2-1 f2-2) |
2544 |
(flet ((%f6 () |
2545 |
(flet ((%f18 |
2546 |
(f18-1 |
2547 |
&optional (f18-2 a) |
2548 |
(f18-3 -207465075) |
2549 |
(f18-4 a)) |
2550 |
(return-from %f12 b))) |
2551 |
(%f18 -3489553 |
2552 |
-7 |
2553 |
(%f18 (%f18 150 -64 f12-1) |
2554 |
(%f18 (%f18 -8531) |
2555 |
11410) |
2556 |
b) |
2557 |
56362666)))) |
2558 |
(labels ((%f7 |
2559 |
(f7-1 f7-2 |
2560 |
&optional (f7-3 (%f6))) |
2561 |
7767415)) |
2562 |
f12-1)))) |
2563 |
(%f2 b -36582571)))) |
2564 |
(apply #'%f12 (list 774 -4413))))) |
2565 |
0 1 2) |
2566 |
774) |
2567 |
|
2568 |
;;; In sbcl 0.8.5.37 |
2569 |
;;; "Unreachable code is found or flow graph is not properly depth-first ordered." |
2570 |
|
2571 |
(deftest misc.173 |
2572 |
(funcall |
2573 |
(compile |
2574 |
nil |
2575 |
'(lambda (a b c) |
2576 |
(declare (notinline values)) |
2577 |
(declare (optimize (safety 3))) |
2578 |
(declare (optimize (speed 0))) |
2579 |
(declare (optimize (debug 0))) |
2580 |
(flet ((%f11 |
2581 |
(f11-1 f11-2 |
2582 |
&optional (f11-3 c) (f11-4 7947114) |
2583 |
(f11-5 |
2584 |
(flet ((%f3 (f3-1 &optional (f3-2 b) (f3-3 5529)) |
2585 |
8134)) |
2586 |
(multiple-value-call #'%f3 |
2587 |
(values (%f3 -30637724 b) c))))) |
2588 |
(setq c 555910))) |
2589 |
(if (and nil (%f11 a a)) |
2590 |
(if (%f11 a 421778 4030 1) |
2591 |
(labels ((%f7 |
2592 |
(f7-1 f7-2 |
2593 |
&optional |
2594 |
(f7-3 |
2595 |
(%f11 -79192293 |
2596 |
(%f11 c a c -4 214720) |
2597 |
b |
2598 |
b |
2599 |
(%f11 b 985))) |
2600 |
(f7-4 a)) |
2601 |
b)) |
2602 |
(%f11 c b -25644)) |
2603 |
54) |
2604 |
-32326608)))) |
2605 |
1 2 3) |
2606 |
-32326608) |
2607 |
|
2608 |
;;; In sbcl 0.8.5.37 |
2609 |
;;; The value NIL is not of type SB-C:COMPONENT. |
2610 |
|
2611 |
(deftest misc.174 |
2612 |
(funcall |
2613 |
(compile |
2614 |
nil |
2615 |
'(lambda (a b c) |
2616 |
(declare (type (integer 10292971433 14459537906) b)) |
2617 |
(declare (optimize (speed 3))) |
2618 |
(declare (optimize (safety 1))) |
2619 |
(declare (optimize (debug 1))) |
2620 |
(if |
2621 |
(and (and (/= -51885 b) nil) |
2622 |
(case (1+ b) |
2623 |
((4 4 3 -4) |
2624 |
(let* ((v1 |
2625 |
(flet ((%f16 (f16-1) |
2626 |
-1858366)) |
2627 |
(apply #'%f16 b (list))))) |
2628 |
-1602321)) |
2629 |
(t 3))) |
2630 |
19 |
2631 |
c))) |
2632 |
0 11000000000 0) |
2633 |
0) |
2634 |
|
2635 |
(deftest misc.174a |
2636 |
(funcall |
2637 |
(compile |
2638 |
nil |
2639 |
'(lambda (a b) |
2640 |
(declare (type (integer 23 365478242977) a)) |
2641 |
(declare (type (integer -38847 268231) b)) |
2642 |
(declare (optimize (speed 3))) |
2643 |
(declare (optimize (safety 1))) |
2644 |
(declare (optimize (debug 1))) |
2645 |
(if (not (if (/= b 7) t (not (not a)))) |
2646 |
(case (setq b -5880) |
2647 |
((8382 3401 2058 39167 62228) |
2648 |
(flet ((%f7 (f7-1 f7-2 f7-3) f7-1)) |
2649 |
(multiple-value-call #'%f7 (values -135629 a -410168200)))) |
2650 |
(t a)) |
2651 |
15173))) |
2652 |
30 0) |
2653 |
15173) |
2654 |
|
2655 |
(deftest misc.174b |
2656 |
(funcall |
2657 |
(compile |
2658 |
nil |
2659 |
'(lambda (a b) |
2660 |
(declare (type (integer -8688 2170) a)) |
2661 |
(declare (type (integer -9938931470 1964967743) b)) |
2662 |
(declare (optimize (speed 3))) |
2663 |
(declare (optimize (safety 1))) |
2664 |
(declare (optimize (debug 1))) |
2665 |
(if |
2666 |
(and |
2667 |
(if (if (equal b 9) nil t) |
2668 |
nil |
2669 |
(not |
2670 |
(logbitp 5 |
2671 |
(labels ((%f5 (f5-1 f5-2 f5-3) |
2672 |
4057223)) |
2673 |
(let ((v9 (%f5 -42 -27504 45026809))) |
2674 |
15011))))) |
2675 |
(if |
2676 |
(or a |
2677 |
(labels ((%f16 (f16-1) |
2678 |
61)) |
2679 |
(apply #'%f16 275 (list)))) |
2680 |
a |
2681 |
t)) |
2682 |
(setq a -4803) |
2683 |
(rem a (max 47 b))))) |
2684 |
0 0) |
2685 |
0) |
2686 |
|
2687 |
;;; In sbcl 0.8.5.37 |
2688 |
;;; "Unreachable code is found or flow graph is not properly depth-first ordered." |
2689 |
|
2690 |
(deftest misc.175 |
2691 |
(funcall |
2692 |
(compile |
2693 |
nil |
2694 |
'(lambda (a b c) |
2695 |
(declare (notinline list apply values signum funcall)) |
2696 |
(declare (optimize (safety 3))) |
2697 |
(declare (optimize (speed 0))) |
2698 |
(declare (optimize (debug 0))) |
2699 |
(labels ((%f4 (f4-1 f4-2 f4-3) |
2700 |
(labels ((%f1 (f1-1 f1-2 f1-3) |
2701 |
2)) |
2702 |
(labels ((%f11 |
2703 |
(f11-1 |
2704 |
&optional |
2705 |
(f11-2 |
2706 |
(return-from %f4 |
2707 |
(labels ((%f8 |
2708 |
(f8-1 f8-2 f8-3 |
2709 |
&optional (f8-4 -35) |
2710 |
(f8-5 f4-2)) |
2711 |
f4-1)) |
2712 |
(funcall #'%f8 53 b f4-1))))) |
2713 |
(return-from %f4 a))) |
2714 |
(signum |
2715 |
(let ((v4 |
2716 |
(flet ((%f8 |
2717 |
(f8-1 f8-2 f8-3 |
2718 |
&optional (f8-4 b) (f8-5 -560367)) |
2719 |
f8-4)) |
2720 |
(%f8 -27 35395 c -69)))) |
2721 |
(%f11 |
2722 |
(multiple-value-call #'%f11 |
2723 |
(values (%f1 (%f11 b (%f11 v4 f4-3)) f4-3 77936) |
2724 |
1628490976)) |
2725 |
(return-from %f4 (%f1 -9432 f4-1 f4-1))))))))) |
2726 |
(flet ((%f7 (f7-1 f7-2 f7-3) |
2727 |
(%f4 b f7-3 f7-3))) |
2728 |
(flet ((%f14 (f14-1) |
2729 |
(apply #'%f7 -252 -56169265 -7322946 (list)))) |
2730 |
(%f14 a)))))) |
2731 |
-70313091 577425217 28052774417) |
2732 |
-70313091) |
2733 |
|
2734 |
(deftest misc.175a |
2735 |
(funcall |
2736 |
(compile |
2737 |
nil |
2738 |
'(lambda (a b) |
2739 |
(declare (notinline values list apply logior)) |
2740 |
(declare (optimize (safety 3))) |
2741 |
(declare (optimize (speed 0))) |
2742 |
(declare (optimize (debug 0))) |
2743 |
(if nil |
2744 |
(logior (flet ((%f5 (f5-1) b)) (%f5 56288)) |
2745 |
(flet ((%f17 (f17-1 f17-2 |
2746 |
&optional |
2747 |
(f17-3 (let () 6857)) |
2748 |
(f17-4 |
2749 |
(labels ((%f3 (f3-1 f3-2 f3-3 &optional (f3-4 a) (f3-5 877)) |
2750 |
139)) |
2751 |
(apply #'%f3 (list -33052082 b a 1572))))) |
2752 |
b)) |
2753 |
(multiple-value-call #'%f17 (values 31 b a b)))) |
2754 |
392))) |
2755 |
0 0) |
2756 |
392) |
2757 |
|
2758 |
(deftest misc.175b |
2759 |
(funcall |
2760 |
(compile |
2761 |
nil |
2762 |
'(lambda (a b) |
2763 |
(declare (type (integer -1185422977 2286472818) a)) |
2764 |
(declare (type (integer -211381289038 74868) b)) |
2765 |
(declare (ignorable a b)) |
2766 |
(declare (optimize (speed 3))) |
2767 |
(declare (optimize (safety 1))) |
2768 |
(declare (optimize (debug 1))) |
2769 |
(lognor (unwind-protect -1248) |
2770 |
(flet ((%f7 |
2771 |
(&optional |
2772 |
(f7-1 |
2773 |
(flet ((%f1 (f1-1 f1-2 f1-3) 121426)) |
2774 |
(%f1 b 2337452 (%f1 61767 b a)))) |
2775 |
(f7-2 |
2776 |
(block b8 |
2777 |
(logandc1 |
2778 |
(labels ((%f10 (f10-1 f10-2 f10-3) 323734600)) |
2779 |
(%f10 (%f10 323734600 323734600 -10165) |
2780 |
-607741 (ignore-errors 971588))) |
2781 |
(if (>= b -27) (return-from b8 -2) |
2782 |
(ignore-errors 237138926)))))) |
2783 |
f7-2)) |
2784 |
(apply #'%f7 (list 761316125 b)))))) |
2785 |
1792769319 -60202244870) |
2786 |
5) |
2787 |
|
2788 |
|
2789 |
;;; sbcl 0.8.5.37 |
2790 |
;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)" |
2791 |
|
2792 |
(deftest misc.176 |
2793 |
(funcall |
2794 |
(compile |
2795 |
nil |
2796 |
'(lambda (a b c) |
2797 |
(declare (type (integer 162180298 184143783) a)) |
2798 |
(declare (type (integer 702599480988 725878356286) b)) |
2799 |
(declare (type (integer 168 80719238530) c)) |
2800 |
(declare (optimize (speed 3))) |
2801 |
(declare (optimize (safety 1))) |
2802 |
(declare (optimize (debug 1))) |
2803 |
(block b6 |
2804 |
(flet ((%f10 (f10-1 f10-2) |
2805 |
(labels ((%f6 (f6-1 f6-2) |
2806 |
f6-1)) |
2807 |
(let ((v2 |
2808 |
(flet ((%f1 (f1-1 f1-2 f1-3) |
2809 |
f1-3)) |
2810 |
(let ((v8 |
2811 |
(%f1 -11350578 |
2812 |
(%f6 10414199 13) |
2813 |
-58931837))) |
2814 |
-239755)))) |
2815 |
323)))) |
2816 |
(labels ((%f4 |
2817 |
(f4-1 |
2818 |
&optional (f4-2 204) (f4-3 -1) |
2819 |
(f4-4 |
2820 |
(flet ((%f2 (f2-1) |
2821 |
(if t (return-from b6 c) a))) |
2822 |
(logorc2 (multiple-value-call #'%f2 (values 1)) |
2823 |
(let* ((v5 (floor (%f2 -1260)))) |
2824 |
(case (abs (logxor 185664 a)) |
2825 |
((-2 5975) |
2826 |
(if (or (< b v5) nil) |
2827 |
(return-from b6 |
2828 |
(let ((v10 (%f2 c))) |
2829 |
0)) |
2830 |
(multiple-value-call #'%f10 |
2831 |
(values -3 a)))) |
2832 |
(t b))))))) |
2833 |
1503938)) |
2834 |
(multiple-value-call #'%f4 (values -1 a 1853966))))))) |
2835 |
173549795 725346738048 993243799) |
2836 |
993243799) |
2837 |
|
2838 |
;;; different results (sbcl 0.8.5.37) |
2839 |
;;; May be that setq side effects bug again? |
2840 |
|
2841 |
(deftest misc.177 |
2842 |
(let* ((form '(flet ((%f11 |
2843 |
(f11-1 f11-2) |
2844 |
(labels ((%f4 () (round 200048 (max 99 c)))) |
2845 |
(logand |
2846 |
f11-1 |
2847 |
(labels ((%f3 (f3-1) -162967612)) |
2848 |
(%f3 (let* ((v8 (%f4))) |
2849 |
(setq f11-1 (%f4))))))))) |
2850 |
(%f11 -120429363 (%f11 62362 b)))) |
2851 |
(vars '(a b c)) |
2852 |
(vals '(6714367 9645616 -637681868)) |
2853 |
(fn1 `(lambda ,vars |
2854 |
(declare (type (integer 804561 7640697) a)) |
2855 |
(declare (type (integer -1 10441401) b)) |
2856 |
(declare (type (integer -864634669 55189745) c)) |
2857 |
(declare (ignorable a b c)) |
2858 |
(declare (optimize (speed 3))) |
2859 |
(declare (optimize (safety 1))) |
2860 |
(declare (optimize (debug 1))) |
2861 |
,form)) |
2862 |
(fn2 `(lambda ,vars |
2863 |
(declare (notinline list apply logand max round)) |
2864 |
(declare (optimize (safety 3))) |
2865 |
(declare (optimize (speed 0))) |
2866 |
(declare (optimize (debug 0))) |
2867 |
,form)) |
2868 |
(compiled-fn1 (compile nil fn1)) |
2869 |
(compiled-fn2 (compile nil fn2)) |
2870 |
(results1 (multiple-value-list (apply compiled-fn1 vals))) |
2871 |
(results2 (multiple-value-list (apply compiled-fn2 vals)))) |
2872 |
(if (equal results1 results2) |
2873 |
:good |
2874 |
(values results1 results2))) |
2875 |
:good) |
2876 |
|
2877 |
;;; sbcl 0.8.5.37 |
2878 |
;;; The value NIL is not of type INTEGER. |
2879 |
|
2880 |
(deftest misc.178 |
2881 |
(funcall |
2882 |
(compile |
2883 |
nil |
2884 |
'(lambda (a b c) |
2885 |
(declare (ignorable a b c)) |
2886 |
(declare (optimize (speed 3))) |
2887 |
(declare (optimize (safety 1))) |
2888 |
(declare (optimize (debug 1))) |
2889 |
(let ((v9 |
2890 |
(flet ((%f9 |
2891 |
(f9-1 f9-2 f9-3 |
2892 |
&optional (f9-4 -40538) |
2893 |
(f9-5 |
2894 |
(flet ((%f10 (f10-1 f10-2) |
2895 |
(labels ((%f11 (f11-1 f11-2) |
2896 |
(labels ((%f10 (f10-1 f10-2) |
2897 |
-1422)) |
2898 |
(if |
2899 |
(< b |
2900 |
(%f10 |
2901 |
(%f10 28262437 95387) |
2902 |
f10-2)) |
2903 |
-1562 |
2904 |
f10-2)))) |
2905 |
(let* ((v6 (%f11 59 b))) |
2906 |
(return-from %f10 |
2907 |
(apply #'%f11 |
2908 |
f10-1 |
2909 |
(list |
2910 |
(return-from %f10 |
2911 |
2029647)))))))) |
2912 |
(apply #'%f10 -3067 3854883 (list))))) |
2913 |
64066)) |
2914 |
(%f9 a 2774 0 c)))) |
2915 |
(flet ((%f18 (f18-1 f18-2 &optional (f18-3 66) (f18-4 b)) |
2916 |
-6939342)) |
2917 |
(%f18 1274880 (%f18 b a 46746370 -1)))))) |
2918 |
0 0 0) |
2919 |
-6939342) |
2920 |
|
2921 |
;;; sbcl 0.8.5.37 |
2922 |
;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)" |
2923 |
|
2924 |
(deftest misc.179 |
2925 |
(funcall |
2926 |
(compile |
2927 |
nil |
2928 |
'(lambda (a b) |
2929 |
(declare (type (integer 1135 16722) a)) |
2930 |
(declare (type (integer -640723637053 -9049) b)) |
2931 |
(declare (optimize (speed 3))) |
2932 |
(declare (optimize (safety 1))) |
2933 |
(declare (optimize (debug 1))) |
2934 |
(block b3 |
2935 |
(return-from b3 |
2936 |
(flet ((%f17 (f17-1 &optional (f17-2 b) (f17-3 b)) |
2937 |
(+ (if t (return-from b3 -64796) a)))) |
2938 |
(case (%f17 -3908648 -7026139 a) |
2939 |
((41771 -113272 -48004 -39699 50691 -13222) |
2940 |
(multiple-value-call #'%f17 (values -1963404294 -105))) |
2941 |
(t -7026139))))))) |
2942 |
2000 -10000) |
2943 |
-64796) |
2944 |
|
2945 |
(deftest misc.180 |
2946 |
(funcall |
2947 |
(compile |
2948 |
nil |
2949 |
'(lambda (a b) |
2950 |
(declare (type (integer 41 484) a)) |
2951 |
(declare (type (integer -2546947 1008697961708) b)) |
2952 |
(declare (optimize (speed 3))) |
2953 |
(declare (optimize (safety 1))) |
2954 |
(declare (optimize (debug 1))) |
2955 |
(if (and (ldb-test (byte 30 10) b) nil) |
2956 |
(labels ((%f7 (f7-1 f7-2 &optional (f7-3 -508405733)) |
2957 |
390004056)) |
2958 |
(let* ((v4 (multiple-value-call #'%f7 (values b (%f7 b b))))) |
2959 |
(multiple-value-call #'%f7 |
2960 |
(values (%f7 80199 a) |
2961 |
(%f7 |
2962 |
(%f7 a |
2963 |
(let* ((v6 (%f7 -226 250))) |
2964 |
a)) |
2965 |
(abs (ceiling v4))))))) |
2966 |
-6001))) |
2967 |
50 0) |
2968 |
-6001) |
2969 |
|
2970 |
;;; sbcl 0.8.5.37 |
2971 |
;;; The value NIL is not of type SB-C::TAIL-SET. |
2972 |
|
2973 |
(deftest misc.181 |
2974 |
(funcall |
2975 |
(compile |
2976 |
nil |
2977 |
'(lambda (a b) |
2978 |
(declare (type (integer -74233251043 -16478648860) a)) |
2979 |
(declare (type (integer 0 960962) b)) |
2980 |
(declare (optimize (speed 3))) |
2981 |
(declare (optimize (safety 1))) |
2982 |
(declare (optimize (debug 1))) |
2983 |
(flet ((%f14 () |
2984 |
(if 1 |
2985 |
(return-from %f14 a) |
2986 |
(labels ((%f10 (f10-1 f10-2 f10-3 |
2987 |
&optional (f10-4 (let* ((v7 a)) 915))) |
2988 |
-1268205049)) |
2989 |
(labels ((%f18 (f18-1) |
2990 |
(multiple-value-call #'%f10 |
2991 |
(values f18-1 |
2992 |
(%f10 |
2993 |
(%f10 -1495 |
2994 |
(%f10 -384 |
2995 |
-84 |
2996 |
(%f10 -1 |
2997 |
48052 |
2998 |
58909027 |
2999 |
-35812) |
3000 |
-114) |
3001 |
(%f10 -391646964 |
3002 |
-28131299 |
3003 |
f18-1 |
3004 |
(%f10 b 368193 a))) |
3005 |
(%f10 f18-1 |
3006 |
-1415811 |
3007 |
f18-1 |
3008 |
267932407) |
3009 |
174) |
3010 |
-58 |
3011 |
320)))) |
3012 |
(let* ((v3 (let ((v7 (return-from %f14 (%f18 -418731)))) |
3013 |
(%f10 104871 -1196 -21 a)))) |
3014 |
(labels ((%f1 () (%f18 (%f18 -794761)))) |
3015 |
(return-from %f14 b)))))))) |
3016 |
(if (%f14) b 887481)))) |
3017 |
-51967629256 809047) |
3018 |
809047) |
3019 |
|
3020 |
(deftest misc.181a |
3021 |
(funcall |
3022 |
(compile |
3023 |
nil |
3024 |
'(lambda (a b) |
3025 |
(declare (type (integer -982285129 -90) a)) |
3026 |
(declare (type (integer 1 82987) b)) |
3027 |
(declare (optimize (speed 3))) |
3028 |
(declare (optimize (safety 1))) |
3029 |
(declare (optimize (debug 1))) |
3030 |
(labels ((%f1 (f1-1 &optional (f1-2 -34) (f1-3 3318057) (f1-4 117)) |
3031 |
(let ((v9 (let ((v9 (if t (return-from %f1 f1-2) 606042))) |
3032 |
f1-1))) |
3033 |
(flet ((%f16 (f16-1 f16-2) 292)) |
3034 |
(labels ((%f2 (f2-1 f2-2 f2-3 |
3035 |
&optional (f2-4 f1-3) (f2-5 f1-4) |
3036 |
(f2-6 -418207187)) |
3037 |
(%f16 2099 (%f16 f1-2 1157)))) |
3038 |
(return-from %f1 (%f2 f1-4 -12066040 v9 122107))))))) |
3039 |
(flet ((%f5 |
3040 |
(f5-1 |
3041 |
&optional |
3042 |
(f5-2 (labels ((%f13 (f13-1 f13-2 f13-3 |
3043 |
&optional (f13-4 a) (f13-5 b)) |
3044 |
1054213657)) |
3045 |
(%f13 b 166441 -3))) |
3046 |
(f5-3 20102220) |
3047 |
(f5-4 (labels ((%f11 (f11-1 f11-2 f11-3) |
3048 |
(%f1 -110148 (%f1 -12336576 f11-1 -61)))) |
3049 |
(let ((v1 (apply #'%f11 -29706 a b (list)))) |
3050 |
a)))) |
3051 |
b)) |
3052 |
(labels ((%f17 (f17-1 f17-2 f17-3 |
3053 |
&optional (f17-4 -107566292) (f17-5 63) (f17-6 -2)) |
3054 |
105656)) |
3055 |
(%f5 |
3056 |
(%f17 185703492 a a -511 |
3057 |
(%f1 b b -218142 |
3058 |
(%f17 -240978 2923208 22 (%f5 1542 68917407 a) b))) |
3059 |
-2018 |
3060 |
-1)))))) |
3061 |
-100 1) |
3062 |
1) |
3063 |
|
3064 |
;;; sbcl 0.8.5.40 |
3065 |
;;; Different results from exprs containing ROUND |
3066 |
|
3067 |
(deftest misc.182 |
3068 |
(let* ((form '(labels ((%f14 (f14-1 f14-2) |
3069 |
(labels ((%f16 |
3070 |
(f16-1 f16-2 |
3071 |
&optional |
3072 |
(f16-3 (setq f14-1 (ash f14-1 (min 77 b))))) |
3073 |
(logandc2 c -100))) |
3074 |
(return-from %f14 (* 2 (gcd f14-1 (%f16 c f14-1))))))) |
3075 |
(round (%f14 c c) |
3076 |
(max 83 (%f14 (multiple-value-call #'%f14 (values 0 2)) 0))))) |
3077 |
(fn1 `(lambda (a b c) |
3078 |
(declare (type (integer 5628 8762) a)) |
3079 |
(declare (type (integer 778 33310188747) b)) |
3080 |
(declare (type (integer -6699 4554) c)) |
3081 |
(declare (optimize (speed 3))) |
3082 |
(declare (optimize (safety 1))) |
3083 |
(declare (optimize (debug 1))) |
3084 |
,form)) |
3085 |
(fn2 `(lambda (a b c) |
3086 |
(declare (notinline values max round gcd * logandc2 min ash)) |
3087 |
(declare (optimize (safety 3))) |
3088 |
(declare (optimize (speed 0))) |
3089 |
(declare (optimize (debug 0))) |
3090 |
,form)) |
3091 |
(vals '(7395 1602862793 -2384)) |
3092 |
(cfn1 (compile nil fn1)) |
3093 |
(cfn2 (compile nil fn2)) |
3094 |
(result1 (multiple-value-list (apply cfn1 vals))) |
3095 |
(result2 (multiple-value-list (apply cfn2 vals)))) |
3096 |
(if (equal result1 result2) |
3097 |
:good |
3098 |
(values result1 result2))) |
3099 |
:good) |
3100 |
|
3101 |
;;; sbcl 0.8.5.42 |
3102 |
;;; failed AVER: "(NOT POPPING)" |
3103 |
;;; Also occurs in cmucl (11/2003 snapshot) |
3104 |
|
3105 |
(deftest misc.183 |
3106 |
(funcall |
3107 |
(compile |
3108 |
nil |
3109 |
'(lambda (a b c) |
3110 |
(declare (type (integer -368154 377964) a)) |
3111 |
(declare (type (integer 5044 14959) b)) |
3112 |
(declare (type (integer -184859815 -8066427) c)) |
3113 |
(declare (ignorable a b c)) |
3114 |
(declare (optimize (speed 3))) |
3115 |
(declare (optimize (safety 1))) |
3116 |
(declare (optimize (debug 1))) |
3117 |
(block b7 |
3118 |
(flet ((%f3 (f3-1 f3-2 f3-3) 0)) |
3119 |
(apply #'%f3 0 (catch 'foo (return-from b7 (%f3 0 b c))) c nil))))) |
3120 |
0 6000 -9000000) |
3121 |
0) |
3122 |
|
3123 |
(deftest misc.183a |
3124 |
(let () (apply #'list 1 (list (catch 'a (throw 'a (block b 2)))))) |
3125 |
(1 2)) |
3126 |
|
3127 |
;;; sbcl 0.8.5.42 |
3128 |
;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)" |
3129 |
|
3130 |
(deftest misc.184 |
3131 |
(funcall |
3132 |
(compile |
3133 |
nil |
3134 |
'(lambda (a b c) |
3135 |
(declare (type (integer 867934833 3293695878) a)) |
3136 |
(declare (type (integer -82111 1776797) b)) |
3137 |
(declare (type (integer -1432413516 54121964) c)) |
3138 |
(declare (optimize (speed 3))) |
3139 |
(declare (optimize (safety 1))) |
3140 |
(declare (optimize (debug 1))) |
3141 |
(if nil |
3142 |
(flet ((%f15 (f15-1 &optional (f15-2 c)) |
3143 |
(labels ((%f1 (f1-1 f1-2) 0)) |
3144 |
(%f1 a 0)))) |
3145 |
(flet ((%f4 () |
3146 |
(multiple-value-call #'%f15 |
3147 |
(values (%f15 c 0) (%f15 0))))) |
3148 |
(if nil (%f4) |
3149 |
(flet ((%f8 (f8-1 &optional (f8-2 (%f4)) (f8-3 0)) |
3150 |
f8-3)) |
3151 |
0)))) |
3152 |
0))) |
3153 |
3040851270 1664281 -1340106197) |
3154 |
0) |
3155 |
|
3156 |
;;; sbcl 0.8.5.42 |
3157 |
;;; invalid number of arguments: 1 |
3158 |
;;; ("XEP for LABELS CL-TEST::%F10" ... |
3159 |
|
3160 |
(deftest misc.185 |
3161 |
(funcall |
3162 |
(compile |
3163 |
nil |
3164 |
'(lambda (a b c) |
3165 |
(declare (type (integer 5 155656586618) a)) |
3166 |
(declare (type (integer -15492 196529) b)) |
3167 |
(declare (type (integer 7 10) c)) |
3168 |
(declare (optimize (speed 3))) |
3169 |
(declare (optimize (safety 1))) |
3170 |
(declare (optimize (debug 1))) |
3171 |
(flet ((%f3 |
3172 |
(f3-1 f3-2 f3-3 |
3173 |
&optional (f3-4 a) (f3-5 0) |
3174 |
(f3-6 |
3175 |
(labels ((%f10 (f10-1 f10-2 f10-3) |
3176 |
0)) |
3177 |
(apply #'%f10 |
3178 |
0 |
3179 |
a |
3180 |
(- (if (equal a b) b (%f10 c a 0)) |
3181 |
(catch 'ct2 (throw 'ct2 c))) |
3182 |
nil)))) |
3183 |
0)) |
3184 |
(%f3 (%f3 (%f3 b 0 0 0) a 0) a b b b c)))) |
3185 |
5 0 7) |
3186 |
0) |
3187 |
|
3188 |
(deftest misc.185a |
3189 |
(funcall |
3190 |
(compile |
3191 |
nil |
3192 |
'(lambda (a b c) |
3193 |
(declare (type (integer -1304066 1995764) a)) |
3194 |
(declare (type (integer -52262604195 5419515202) b)) |
3195 |
(declare (type (integer -13 94521) c)) |
3196 |
(declare (optimize (speed 3))) |
3197 |
(declare (optimize (safety 1))) |
3198 |
(declare (optimize (debug 1))) |
3199 |
(flet ((%f13 (f13-1 f13-2 f13-3) |
3200 |
0)) |
3201 |
(apply #'%f13 |
3202 |
(%f13 b 0 0) |
3203 |
(catch 'ct1 0) |
3204 |
(catch 'ct2 (throw 'ct2 c)) |
3205 |
nil)))) |
3206 |
0 0 0) |
3207 |
0) |
3208 |
|
3209 |
;;; sbcl 0.8.5.42 |
3210 |
;;; Different results |
3211 |
|
3212 |
(deftest misc.186 |
3213 |
(let* ((form '(labels ((%f3 (f3-1 f3-2) f3-1)) |
3214 |
(apply #'%f3 b (catch 'ct8 (throw 'ct8 (logeqv (%f3 c 0)))) nil))) |
3215 |
(vars '(b c)) |
3216 |
(fn1 `(lambda ,vars |
3217 |
(declare (type (integer -2 19) b) |
3218 |
(type (integer -1520 218978) c) |
3219 |
(optimize (speed 3) (safety 1) (debug 1))) |
3220 |
,form)) |
3221 |
(fn2 `(lambda ,vars |
3222 |
(declare (notinline logeqv apply) |
3223 |
(optimize (safety 3) (speed 0) (debug 0))) |
3224 |
,form)) |
3225 |
(cf1 (compile nil fn1)) |
3226 |
(cf2 (compile nil fn2)) |
3227 |
(result1 (multiple-value-list (funcall cf1 2 18886))) |
3228 |
(result2 (multiple-value-list (funcall cf2 2 18886)))) |
3229 |
(if (equal result1 result2) |
3230 |
:good |
3231 |
(values result1 result2))) |
3232 |
:good) |
3233 |
|
3234 |
;;; cmucl (11/2003 snapshot) |
3235 |
;;; The assertion (NOT (EQ (C::FUNCTIONAL-KIND C::LEAF) :ESCAPE)) failed. |
3236 |
|
3237 |
(deftest misc.187 |
3238 |
(apply |
3239 |
(eval '(function |
3240 |
(lambda (a b c) |
3241 |
(declare (notinline)) |
3242 |
(declare (optimize (safety 3))) |
3243 |
(declare (optimize (speed 0))) |
3244 |
(declare (optimize (debug 0))) |
3245 |
(flet ((%f7 (&optional (f7-1 (catch (quote ct7) 0)) (f7-2 0)) |
3246 |
c)) |
3247 |
(let ((v8 |
3248 |
(flet ((%f14 (f14-1 &optional (f14-2 (%f7 b))) |
3249 |
0)) |
3250 |
0))) |
3251 |
(%f7 b)))))) |
3252 |
'(2374299 70496 -6321798384)) |
3253 |
-6321798384) |
3254 |
|
3255 |
;;; ecl bug |
3256 |
;;; Segmentation violation |
3257 |
|
3258 |
(deftest misc.188 |
3259 |
(funcall |
3260 |
(compile |
3261 |
nil |
3262 |
'(lambda (a b c) |
3263 |
(declare (notinline floor min funcall)) |
3264 |
(declare (optimize (safety 3) (speed 0) (debug 0))) |
3265 |
(floor (flet ((%f10 (f10-1 f10-2) b)) (%f10 (%f10 0 0) a)) |
3266 |
(min -37 |
3267 |
(labels ((%f6 (f6-1 f6-2 f6-3) b)) |
3268 |
(funcall #'%f6 b b b)))))) |
3269 |
7187592 -3970792748407 -14760) |
3270 |
1 0) |
3271 |
|
3272 |
;;; Wrong number of arguments passed to an anonymous function |
3273 |
(deftest misc.189 |
3274 |
(funcall |
3275 |
(compile |
3276 |
nil |
3277 |
'(lambda (a b c) |
3278 |
(declare (optimize (speed 3) (safety 1) (debug 1))) |
3279 |
(let* ((v7 (labels ((%f13 (f13-1 f13-2 f13-3) 0)) |
3280 |
(multiple-value-call #'%f13 (values a a a))))) |
3281 |
(flet ((%f10 nil v7)) (%f10))))) |
3282 |
1733 3000 1314076) |
3283 |
0) |
3284 |
|
3285 |
;;; gcl bug |
3286 |
;;; Error in FUNCALL [or a callee]: #<compiled-closure 088ab770> is not of type NUMBER. |
3287 |
|
3288 |
(deftest misc.190 |
3289 |
(let* ((form '(flet ((%f15 () |
3290 |
(labels ((%f4 (f4-1) 0)) |
3291 |
(flet ((%f6 (&optional |
3292 |
(f6-2 |
3293 |
(logand (apply #'%f4 (list (%f4 0))) |
3294 |
(round (* a))))) |
3295 |
-284)) |
3296 |
(%f6))))) |
3297 |
(funcall #'%f15))) |
3298 |
(fn `(lambda (a b c) |
3299 |
(declare (notinline values equal abs isqrt < >= byte |
3300 |
mask-field funcall + * logcount logand logior |
3301 |
round list apply min)) |
3302 |
(declare (optimize (safety 3))) |
3303 |
(declare (optimize (speed 0))) |
3304 |
(declare (optimize (debug 0))) |
3305 |
,form)) |
3306 |
(vals '(538754530150 -199250645748 105109641))) |
3307 |
(apply (compile nil fn) vals)) |
3308 |
-284) |
3309 |
|
3310 |
;;; gcl |
3311 |
;;; Error in COMPILER::CMP-ANON [or a callee]: 0 is not of type FUNCTION. |
3312 |
|
3313 |
(deftest misc.191 |
3314 |
(funcall |
3315 |
(compile |
3316 |
nil |
3317 |
'(lambda (a b c) |
3318 |
(declare (optimize (speed 3) (safety 1))) |
3319 |
(labels ((%f1 nil c)) |
3320 |
(flet ((%f12 (f12-1) |
3321 |
(labels ((%f9 (f9-1 f9-2 f9-3) (%f1))) |
3322 |
(apply #'%f9 (%f9 a b 0) a 0 nil)))) |
3323 |
(apply #'%f12 0 nil))))) |
3324 |
0 0 0) |
3325 |
0) |
3326 |
|
3327 |
;;; acl 6.2 (trial, x86) |
3328 |
;;; Returns incorrect value |
3329 |
|
3330 |
(deftest misc.192 |
3331 |
(funcall |
3332 |
(compile |
3333 |
nil |
3334 |
'(lambda (a b) |
3335 |
(declare (optimize (speed 3))) |
3336 |
(declare (optimize (safety 1))) |
3337 |
(declare (optimize (debug 1))) |
3338 |
(flet ((%f8 (f8-1 f8-2 f8-3) f8-2)) |
3339 |
(catch 'ct6 (%f8 0 b (catch 'ct6 (throw 'ct6 a))))))) |
3340 |
1 2) |
3341 |
2) |
3342 |
|
3343 |
(deftest misc.193 |
3344 |
(let* ((form '(if (if (<= a (truncate c (min -43 b))) |
3345 |
(logbitp 0 0) (logbitp 0 -1)) |
3346 |
0 -36223)) |
3347 |
(fn1 `(lambda (a b c) |
3348 |
(declare (type (integer -3 15350342) a)) |
3349 |
(declare (type (integer -4357 -1555) b)) |
3350 |
(declare (type (integer 5389300879793 6422214587951) c)) |
3351 |
(declare (optimize (speed 3))) |
3352 |
(declare (optimize (safety 1))) |
3353 |
(declare (optimize (debug 1))) |
3354 |
,form)) |
3355 |
(fn2 `(lambda (a b c) |
3356 |
(declare (notinline logbitp min truncate <=)) |
3357 |
(declare (optimize (safety 3))) |
3358 |
(declare (optimize (speed 0))) |
3359 |
(declare (optimize (debug 0))) |
3360 |
,form)) |
3361 |
(vals '(7792101 -1615 6070931814551)) |
3362 |
(result1 (multiple-value-list (apply (compile nil fn1) vals))) |
3363 |
(result2 (multiple-value-list (apply (compile nil fn2) vals)))) |
3364 |
(if (equal result1 result2) |
3365 |
:good |
3366 |
(values result1 result2))) |
3367 |
:good) |
3368 |
|
3369 |
;;; cmucl (4 Nov 2003 snapshot) |
3370 |
;;; The assertion (EQ (C::TN-ENVIRONMENT C:TN) C::TN-ENV) failed. |
3371 |
|
3372 |
(deftest misc.194 |
3373 |
(funcall |
3374 |
(compile |
3375 |
nil |
3376 |
'(lambda (a b c) |
3377 |
(declare (notinline funcall)) |
3378 |
(declare (optimize (safety 3) (speed 0) (debug 3))) |
3379 |
(flet ((%f14 |
3380 |
(f14-1 f14-2 |
3381 |
&optional (f14-3 0) (f14-4 (catch 'ct8 0)) |
3382 |
(f14-5 (unwind-protect c))) |
3383 |
0)) |
3384 |
(funcall #'%f14 0 0)))) |
3385 |
1 2 3) |
3386 |
0) |
3387 |
|
3388 |
;;; incorrect value (in cmucl) |
3389 |
(deftest misc.195 |
3390 |
(funcall |
3391 |
(compile |
3392 |
nil |
3393 |
'(lambda (a b) |
3394 |
(declare (type (integer -5906488825 254936878485) a)) |
3395 |
(declare (type (integer -350857549 -11423) b)) |
3396 |
(declare (ignorable a b)) |
3397 |
(declare (optimize (speed 3) (safety 1) (debug 1))) |
3398 |
(block b8 |
3399 |
(labels ((%f6 (f6-1 &optional (f6-2 0) (f6-3 0) (f6-4 0)) |
3400 |
0)) |
3401 |
(multiple-value-call #'%f6 (values 0)))))) |
3402 |
100 -100000) |
3403 |
0) |
3404 |
|
3405 |
;;; NIL is not of type C::ENVIRONMENT |
3406 |
(deftest misc.196 |
3407 |
(funcall |
3408 |
(compile |
3409 |
nil |
3410 |
'(lambda (a b) |
3411 |
(declare (type (integer 1 46794484349) a)) |
3412 |
(declare (type (integer -627 -2) b)) |
3413 |
(declare (ignorable a b)) |
3414 |
(declare (optimize (speed 3) (safety 1) (debug 1))) |
3415 |
(if (not (logbitp 0 0)) |
3416 |
0 |
3417 |
(labels ((%f9 (f9-1 f9-2 f9-3) |
3418 |
0)) |
3419 |
(%f9 (catch 'ct6 a) (catch 'ct4 0) 0))))) |
3420 |
1 -200) |
3421 |
0) |
3422 |
|
3423 |
;;; The assertion (EQ (C::TN-ENVIRONMENT C:TN) C::TN-ENV) failed. |
3424 |
(deftest misc.197 |
3425 |
(funcall |
3426 |
(compile |
3427 |
nil |
3428 |
'(lambda (a b) |
3429 |
(declare (notinline logcount)) |
3430 |
(declare (optimize (safety 3) (speed 0) (debug 3))) |
3431 |
(labels ((%f5 (&optional (f5-1 b) (f5-2 0) (f5-3 (catch (quote ct2) 0))) |
3432 |
(prog1 (logcount (block b1 f5-1))))) |
3433 |
(if (%f5 0 0 0) (%f5 a) 0)))) |
3434 |
1 2) |
3435 |
1) |
3436 |
|
3437 |
;;; gcl bug (30-11-2003) |
3438 |
;;; Different results |
3439 |
;;; These tests appear to be for the same bug. |
3440 |
|
3441 |
(deftest misc.198 |
3442 |
(let* ((form '(min (catch 'ct4 (throw 'ct4 (setq c 29119897960))) c)) |
3443 |
(fn1 `(lambda (c) |
3444 |
(declare (type (integer -70450 39128850560) c)) |
3445 |
(declare (optimize (speed 3) (safety 1))) |
3446 |
,form))) |
3447 |
(funcall (compile nil fn1) 3512352656)) |
3448 |
29119897960) |
3449 |
|
3450 |
(deftest misc.199 |
3451 |
(let* ((fn '(lambda (b) |
3452 |
(declare (type (integer 3352138624 13120037248) b)) |
3453 |
(declare (optimize (speed 3) (safety 1) (space 1))) |
3454 |
(progn (catch 'ct1 |
3455 |
(progn (setq b 11159349376) |
3456 |
(throw 'ct1 0))) |
3457 |
b)))) |
3458 |
(funcall (compile nil fn) 4108962100)) |
3459 |
11159349376) |
3460 |
|
3461 |
;;; sbcl |
3462 |
;;; "The value 0 is not of type REAL." (???) |
3463 |
|
3464 |
(deftest misc.200 |
3465 |
(funcall |
3466 |
(compile nil '(lambda () |
3467 |
(declare (optimize (speed 1) (space 0) (safety 3) (debug 3) (compilation-speed 1))) |
3468 |
(ceiling |
3469 |
(ceiling |
3470 |
(flet ((%f16 () 0)) (%f16))))))) |
3471 |
0 0) |
3472 |
|
3473 |
;;; ecl 5 Dec 2003 |
3474 |
;;; Wrong number of arguments passed to an anonymous function |
3475 |
|
3476 |
(deftest misc.201 |
3477 |
;; form to be evaluated |
3478 |
(funcall |
3479 |
(compile |
3480 |
nil |
3481 |
'(lambda (a b) |
3482 |
(declare (optimize (speed 1) (space 0) (safety 0) (debug 2) |
3483 |
(compilation-speed 1))) |
3484 |
(flet ((%f10 (f10-1) (return-from %f10 a))) |
3485 |
(multiple-value-call #'%f10 (values b))))) |
3486 |
10 -100) |
3487 |
;; expected return value |
3488 |
10) |
3489 |
|
3490 |
;;; Does not terminate? |
3491 |
(deftest misc.202 |
3492 |
(funcall |
3493 |
(compile |
3494 |
nil |
3495 |
'(lambda (a b c) |
3496 |
(declare (type (integer -363953100 5324773015552) a)) |
3497 |
(declare (type (integer -5744998440960 59520311) b)) |
3498 |
(declare (type (integer -1864645998 -14608) c)) |
3499 |
(declare (ignorable a b c)) |
3500 |
(declare (optimize (speed 3) (space 0) (safety 2) (debug 0) |
3501 |
(compilation-speed 2))) |
3502 |
(flet ((%f1 (f1-1 f1-2) |
3503 |
(labels ((%f1 (f1-1 f1-2) 0)) (%f1 a f1-2)))) |
3504 |
(%f1 0 c)))) |
3505 |
10 20 -20000) |
3506 |
0) |
3507 |
|
3508 |
;;; #<illegal pointer bfffe90c> |
3509 |
(deftest misc.203 |
3510 |
(funcall |
3511 |
(compile |
3512 |
nil |
3513 |
'(lambda (a) |
3514 |
(declare (optimize (speed 3) (space 1) (safety 2) (debug 0) |
3515 |
(compilation-speed 0))) |
3516 |
(labels ((%f18 (f18-1 f18-2 &optional (f18-3 a) (f18-4 a)) |
3517 |
f18-2)) |
3518 |
(multiple-value-call #'%f18 (values a 0))))) |
3519 |
100) |
3520 |
0) |
3521 |
|
3522 |
;;; `env0' undeclared (first use in this function) |
3523 |
(deftest misc.204 |
3524 |
(funcall |
3525 |
(compile |
3526 |
nil |
3527 |
'(lambda (a b) |
3528 |
(declare (type (integer -4801373 -50300) a)) |
3529 |
(declare (type (integer -62 -28) b)) |
3530 |
(declare (ignorable a b)) |
3531 |
(declare (optimize (speed 1) (space 3) (safety 3) (debug 2) |
3532 |
(compilation-speed 2))) |
3533 |
(flet ((%f12 (f12-1) 0)) |
3534 |
(labels ((%f3 (f3-1 f3-2 f3-3 &optional (f3-4 b) (f3-5 b) |
3535 |
(f3-6 (labels ((%f9 nil b)) |
3536 |
(apply #'%f12 (%f9) nil)))) |
3537 |
(%f12 0))) |
3538 |
(%f3 b 0 a))))) |
3539 |
-2224841 -54) |
3540 |
0) |
3541 |
|
3542 |
;;; #<compiled-function 08405fd8> is not of type INTEGER. |
3543 |
(deftest misc.205 |
3544 |
(funcall |
3545 |
(compile |
3546 |
nil |
3547 |
'(lambda (a b) |
3548 |
(declare (optimize (speed 3) (space 1) (safety 1) (debug 0) |
3549 |
(compilation-speed 3))) |
3550 |
(labels ((%f1 nil b)) |
3551 |
(flet ((%f11 (f11-1 f11-2 f11-3) 0)) |
3552 |
(apply #'%f11 a (logand (%f1)) |
3553 |
(flet ((%f13 (f13-1 f13-2) b)) |
3554 |
(apply #'%f13 0 0 nil)) |
3555 |
nil))))) |
3556 |
100 200) |
3557 |
0) |
3558 |
|
3559 |
;;; #<bytecompiled-function %F14> is not of type INTEGER. |
3560 |
(deftest misc.206 |
3561 |
(funcall |
3562 |
#'(lambda (a b) |
3563 |
(declare (notinline mask-field byte)) |
3564 |
(declare (optimize (speed 1) (space 1) (safety 2) (debug 1) |
3565 |
(compilation-speed 2))) |
3566 |
(mask-field (byte 0 0) |
3567 |
(block b3 |
3568 |
(labels ((%f14 nil (return-from b3 a))) (%f14))))) |
3569 |
1 2) |
3570 |
0) |
3571 |
|
3572 |
;;; #<compiled-closure 08405fd8> is not of type INTEGER |
3573 |
(deftest misc.207 |
3574 |
(funcall |
3575 |
(compile |
3576 |
nil |
3577 |
'(lambda (a) |
3578 |
(declare (optimize (speed 3) (space 2) (safety 0) (debug 1) |
3579 |
(compilation-speed 0))) |
3580 |
(labels ((%f3 (f3-1) a)) |
3581 |
(labels ((%f10 (f10-1 f10-2) a)) |
3582 |
(apply #'%f10 0 (logior (%f3 0)) nil))))) |
3583 |
-10000) |
3584 |
-10000) |
3585 |
|
3586 |
;;; `env0' undeclared (first use in this function) |
3587 |
(deftest misc.208 |
3588 |
(funcall |
3589 |
(compile |
3590 |
nil |
3591 |
'(lambda (b) |
3592 |
(declare (optimize (speed 3) (space 2) (safety 3) (debug 3) |
3593 |
(compilation-speed 0))) |
3594 |
(flet ((%f6 (f6-1 f6-2 f6-3) f6-3)) |
3595 |
(labels ((%f8 (f8-1) (let* ((v1 (%f6 0 0 0))) 0))) |
3596 |
(apply #'%f6 b b (%f8 b) nil))))) |
3597 |
10) |
3598 |
0) |
3599 |
|
3600 |
;;; Wrong value computed |
3601 |
(deftest misc.209 |
3602 |
(funcall |
3603 |
(compile |
3604 |
nil |
3605 |
'(lambda (b) |
3606 |
(declare (optimize (speed 3) (space 2) (safety 3) (debug 3) |
3607 |
(compilation-speed 3))) |
3608 |
(max (catch 'ct4 (throw 'ct4 (setq b 0))) b))) |
3609 |
6353) |
3610 |
0) |
3611 |
|
3612 |
;;; Wrong value computed |
3613 |
(deftest misc.210 |
3614 |
(funcall |
3615 |
(compile |
3616 |
nil |
3617 |
'(lambda (c) |
3618 |
(declare (type (integer 3 65500689) c)) |
3619 |
(declare (optimize (speed 2) (space 1) (safety 3) (debug 3) |
3620 |
(compilation-speed 2))) |
3621 |
(catch 'ct6 |
3622 |
(let ((v10 (truncate (integer-length (throw 'ct6 0))))) c)))) |
3623 |
100) |
3624 |
0) |
3625 |
|
3626 |
(deftest misc.210a |
3627 |
(funcall |
3628 |
(compile |
3629 |
nil |
3630 |
'(lambda (a) |
3631 |
(declare (type (integer -55982525 -1) a)) |
3632 |
(declare (optimize (speed 1) (space 2) (safety 1) (debug 2) |
3633 |
(compilation-speed 1))) |
3634 |
(flet ((%f11 (f11-1 f11-2 f11-3) a)) |
3635 |
(let ((v6 0)) |
3636 |
(flet ((%f12 (f12-1) v6)) |
3637 |
(if (<= 0) (%f11 v6 0 0) |
3638 |
(multiple-value-call #'%f11 |
3639 |
(values 0 0 (%f11 0 0 (apply #'%f12 0 nil)))))))))) |
3640 |
-100) |
3641 |
-100) |
3642 |
|
3643 |
;;; Segmentation violation |
3644 |
(deftest misc.211 |
3645 |
(funcall |
3646 |
(compile |
3647 |
nil |
3648 |
'(lambda (a b c) |
3649 |
(declare (type (integer -1439706333184 1191686946816) a)) |
3650 |
(declare (type (integer -28 282229324) b)) |
3651 |
(declare (type (integer -108149896 38889958912) c)) |
3652 |
(declare (optimize (speed 3) (space 1) (safety 2) (debug 1) |
3653 |
(compilation-speed 3))) |
3654 |
(let ((v4 (labels ((%f8 (f8-1 &optional (f8-2 0) (f8-3 b)) 0)) |
3655 |
(logior (%f8 0) (%f8 0 0))))) |
3656 |
(truncate |
3657 |
(labels ((%f4 (&optional (f4-1 (ceiling c))) a)) |
3658 |
(%f4 v4)) |
3659 |
(max 38 |
3660 |
(labels ((%f8 (f8-1 &optional (f8-2 (+ c a))) 0)) |
3661 |
(apply #'%f8 a nil))))))) |
3662 |
-979021452526 138874383 21099308459) |
3663 |
-25763722434 |
3664 |
-34) |
3665 |
|
3666 |
;;; Wrong value returned |
3667 |
(deftest misc.212 |
3668 |
(funcall #'(lambda () |
3669 |
(declare (optimize (speed 2) (space 0) (safety 3) (debug 2) |
3670 |
(compilation-speed 0))) |
3671 |
(let* ((v9 (unwind-protect 0))) v9))) |
3672 |
0) |
3673 |
|
3674 |
;;; segmentation violation |
3675 |
(deftest misc.213 |
3676 |
(funcall |
3677 |
(compile |
3678 |
nil |
3679 |
'(lambda (a b) |
3680 |
(declare (type (integer -2 -1) b)) |
3681 |
(declare (optimize (speed 1) (space 0) (safety 1) (debug 1) |
3682 |
(compilation-speed 3))) |
3683 |
(max (labels ((%f15 (f15-1) b)) (if (< 0 (%f15 a)) 0 0)) |
3684 |
(labels ((%f11 (f11-1 f11-2 f11-3) b)) |
3685 |
(apply #'%f11 0 0 0 nil))))) |
3686 |
0 -2) |
3687 |
0) |
3688 |
|
3689 |
(deftest misc.213a |
3690 |
(funcall |
3691 |
(compile |
3692 |
nil |
3693 |
'(lambda (a) |
3694 |
(declare (optimize (speed 3) (space 3) (safety 0) (debug 1) |
3695 |
(compilation-speed 3))) |
3696 |
(max (labels ((%f7 (f7-1) a)) (%f7 0)) |
3697 |
(flet ((%f12 (f12-1 f12-2) (if a f12-2 0))) |
3698 |
(apply #'%f12 0 a nil))))) |
3699 |
123) |
3700 |
123) |
3701 |
|
3702 |
;;; Wrong value |
3703 |
(deftest misc.214 |
3704 |
(funcall |
3705 |
(compile |
3706 |
nil |
3707 |
'(lambda (a) |
3708 |
(declare (optimize (speed 3) (space 1) (safety 2) (debug 0) |
3709 |
(compilation-speed 2))) |
3710 |
(flet ((%f8 nil (setq a 0))) (max a (%f8))))) |
3711 |
100) |
3712 |
100) |
3713 |
|
3714 |
;;; Wrong value |
3715 |
(deftest misc.215 |
3716 |
(funcall |
3717 |
(compile |
3718 |
nil |
3719 |
'(lambda () |
3720 |
(declare (optimize (speed 3) (space 3) (safety 3) (debug 0) |
3721 |
(compilation-speed 2))) |
3722 |
(ldb (byte 26 6) -1252)))) |
3723 |
67108844) |
3724 |
|
3725 |
;;; Floating point exception |
3726 |
(deftest misc.216 |
3727 |
(truncate 0 -2549795210) |
3728 |
0 0) |
3729 |
|
3730 |
(deftest misc.217 |
3731 |
(ceiling 0 -2549795210) |
3732 |
0 0) |
3733 |
|
3734 |
(deftest misc.218 |
3735 |
(floor 0 -2549795210) |
3736 |
0 0) |
3737 |
|
3738 |
;;; Infinite loop |
3739 |
(deftest misc.219 |
3740 |
(funcall |
3741 |
(compile |
3742 |
nil |
3743 |
'(lambda () |
3744 |
(labels ((%f (a b) |
3745 |
(labels ((%f (c d) 0)) |
3746 |
(%f 1 2)))) |
3747 |
(%f 3 4))))) |
3748 |
0) |
3749 |
|
3750 |
;;; #\^E is not of type NUMBER. |
3751 |
(deftest misc.220 |
3752 |
(funcall |
3753 |
(compile |
3754 |
nil |
3755 |
'(lambda (a b) |
3756 |
(declare (type (integer -3218770816 9386121) a)) |
3757 |
(declare (type (integer -1 13) b)) |
3758 |
(declare (ignorable a b)) |
3759 |
(declare (optimize (speed 2) (space 1) (safety 1) (debug 0) |
3760 |
(compilation-speed 1))) |
3761 |
(labels ((%f18 (f18-1 f18-2 f18-3) a)) |
3762 |
(apply #'%f18 0 a |
3763 |
(%f18 b |
3764 |
(- (labels ((%f11 (f11-1 f11-2 f11-3) a)) |
3765 |
(%f11 0 0 0))) |
3766 |
a) |
3767 |
nil)))) |
3768 |
-468614602 3) |
3769 |
-468614602) |
3770 |
|
3771 |
;;; Floating point exception |
3772 |
(deftest misc.221 |
3773 |
(truncate 0 3006819284014656913408) |
3774 |
0 0) |
3775 |
|
3776 |
(deftest misc.222 |
3777 |
(ceiling 0 3006819284014656913408) |
3778 |
0 0) |
3779 |
|
3780 |
(deftest misc.223 |
3781 |
(floor 0 3006819284014656913408) |
3782 |
0 0) |
3783 |
|
3784 |
;;; clisp (10 Dec 2003 cvs head) |
3785 |
;;; *** - SYMBOL-VALUE: 2 is not a SYMBOL |
3786 |
|
3787 |
(deftest misc.224 |
3788 |
(funcall |
3789 |
(compile |
3790 |
nil |
3791 |
'(lambda (a b c) |
3792 |
(declare (optimize (speed 2) (space 3) (safety 0) |
3793 |
(debug 1) (compilation-speed 0))) |
3794 |
(flet ((%f14 (f14-1 f14-2 |
3795 |
&optional (f14-3 c) |
3796 |
(f14-4 (if (not nil) |
3797 |
(labels ((%f9 nil 0)) (%f9)) |
3798 |
a))) |
3799 |
(flet ((%f17 (f17-1 f17-2) f14-1)) (%f17 0 f14-3)))) |
3800 |
(%f14 (%f14 0 a) 0 b a)))) |
3801 |
248000 5409415 227923) |
3802 |
0) |
3803 |
|
3804 |
;;; Wrong values |
3805 |
(deftest misc.225 |
3806 |
(funcall (compile nil '(lambda () (values (values 'a 'b))))) |
3807 |
a) |
3808 |
|
3809 |
;;; clisp (12 Dec 2003, 2:30AM CST cvs head) |
3810 |
;;; SYMBOL-VALUE: 1 is not a SYMBOL |
3811 |
(deftest misc.226 |
3812 |
(funcall |
3813 |
(compile nil |
3814 |
'(lambda (a) |
3815 |
(flet ((%f (&optional (x (setq a 1)) |
3816 |
(y (setq a 2))) |
3817 |
0)) |
3818 |
(%f 0 0)))) |
3819 |
0) |
3820 |
0) |
3821 |
|
3822 |
(deftest misc.227 |
3823 |
(funcall |
3824 |
(compile |
3825 |
nil |
3826 |
'(lambda (b) |
3827 |
(flet ((%f (&optional x (y (setq b 1))) x)) |
3828 |
(%f 0)))) |
3829 |
0) |
3830 |
0) |
3831 |
|
3832 |
;;; acl (x86 linux 6.2, patched 12 Dec 2003) |
3833 |
;;; No from-creg to move to... |
3834 |
(deftest misc.228 |
3835 |
(funcall |
3836 |
(compile |
3837 |
nil |
3838 |
'(lambda (a b c) |
3839 |
(declare (optimize (speed 1) (space 2) (safety 0) (debug 2) |
3840 |
(compilation-speed 2))) |
3841 |
(catch 'ct2 |
3842 |
(case 0 |
3843 |
((-56087 86404 -94716) |
3844 |
(signum (labels ((%f7 (f7-1 f7-2 f7-3) f7-2)) 0))) |
3845 |
((12986) |
3846 |
(let ((v3 (catch 'ct2 (throw 'ct2 0)))) |
3847 |
(labels ((%f14 (f14-1 f14-2) 0)) (%f14 b c)))) |
3848 |
(t 0))))) |
3849 |
-3847091255 -13482 -7577750) |
3850 |
0) |
3851 |
|
3852 |
;;; Error: `T' is not of the expected type `INTEGER' |
3853 |
(deftest misc.229 |
3854 |
(funcall |
3855 |
(compile |
3856 |
nil |
3857 |
'(lambda nil |
3858 |
(declare (optimize (speed 2) (space 1) (safety 1) (debug 2) |
3859 |
(compilation-speed 3))) |
3860 |
(labels ((%f15 (f15-1) 0)) |
3861 |
(let ((v4 0)) |
3862 |
(catch 'ct5 |
3863 |
(%f15 |
3864 |
(gcd (catch 'ct5 (let* ((v5 (throw 'ct5 0))) 0)) v4)))))))) |
3865 |
0) |
3866 |
|
3867 |
;;; ecl |
3868 |
;;; Wrong result (order of evaluation problem) |
3869 |
|
3870 |
(deftest misc.230 |
3871 |
(funcall |
3872 |
(compile |
3873 |
nil |
3874 |
'(lambda (a) |
3875 |
(declare (type (integer -6527559920 -247050) a)) |
3876 |
(declare (optimize (speed 1) (space 3) (safety 0) (debug 0) |
3877 |
(compilation-speed 3))) |
3878 |
(labels ((%f10 (&optional (f10-1 0) |
3879 |
(f10-2 (setq a -4456327156))) |
3880 |
0)) |
3881 |
(logxor a (%f10 a))))) |
3882 |
-3444248334) |
3883 |
-3444248334) |
3884 |
|
3885 |
;;; cmucl |
3886 |
;;; Wrong value |
3887 |
|
3888 |
(deftest misc.231 |
3889 |
(funcall |
3890 |
(compile |
3891 |
nil |
3892 |
'(lambda (b) |
3893 |
(declare (type (integer -5209401 3339878) b)) |
3894 |
(declare (optimize (speed 1) (space 2) (safety 0) (debug 2) |
3895 |
(compilation-speed 3))) |
3896 |
(flet ((%f3 (f3-1 f3-2) |
3897 |
f3-1)) |
3898 |
(apply #'%f3 0 (logxor (catch 'ct2 b) |
3899 |
(catch 'ct5 (throw 'ct5 0))) nil)))) |
3900 |
-2179757) |
3901 |
0) |
3902 |
|
3903 |
;;; Invalid number of arguments: 1 |
3904 |
(deftest misc.232 |
3905 |
(funcall |
3906 |
(compile |
3907 |
nil |
3908 |
'(lambda (a b) |
3909 |
(declare (type (integer 197447754 495807327) a)) |
3910 |
(declare (type (integer -125379462 1863191461) b)) |
3911 |
(declare |
3912 |
(optimize (speed 2) (space 2) (safety 2) (debug 1) (compilation-speed 2))) |
3913 |
(flet ((%f8 |
3914 |
(&optional |
3915 |
(f8-1 |
3916 |
(max (catch (quote ct4) 0) |
3917 |
(catch (quote ct6) (throw (quote ct6) 0))))) |
3918 |
b)) |
3919 |
(flet ((%f16 (f16-1 f16-2 f16-3) |
3920 |
0)) |
3921 |
(apply #'%f16 a 0 (%f8) nil))))) |
3922 |
348270365 28780966) |
3923 |
0) |
3924 |
|
3925 |
;;; The assertion (EQ C::CHECK :SIMPLE) failed. |
3926 |
(deftest misc.233 |
3927 |
(funcall |
3928 |
(compile |
3929 |
nil |
3930 |
'(lambda (a b) |
3931 |
(declare (type (integer -2333758327203 -321096206070) a)) |
3932 |
(declare (type (integer -2842843403569 258395684270) b)) |
3933 |
(declare (optimize (speed 2) (space 0) (safety 1) (debug 2) |
3934 |
(compilation-speed 2))) |
3935 |
(flet ((%f18 (f18-1) |
3936 |
(the integer |
3937 |
(labels ((%f9 (f9-1 f9-2) |
3938 |
(* (- -1 -210032251) |
3939 |
(1+ |
3940 |
(floor |
3941 |
(labels ((%f11 (f11-1 f11-2) |
3942 |
-96773966)) |
3943 |
(%f11 b -3440758))))))) |
3944 |
(flet ((%f2 |
3945 |
(f2-1 f2-2 f2-3 |
3946 |
&optional (f2-4 (%f9 -429204 -63)) |
3947 |
(f2-5 (- (%f9 b 17) a)) |
3948 |
(f2-6 |
3949 |
(multiple-value-call #'%f9 |
3950 |
(values |
3951 |
(let () 7127585) |
3952 |
(flet ((%f1 (f1-1 f1-2 f1-3) |
3953 |
(catch 'ct6 -569234))) |
3954 |
(macrolet () 13)))))) |
3955 |
1027)) |
3956 |
(if nil |
3957 |
(%f2 b a f18-1 69968 4 -217193265) |
3958 |
(catch 'ct1 129548688))))))) |
3959 |
(max (apply #'%f18 (list 0)))))) |
3960 |
-2067244683733 143879071206) |
3961 |
129548688) |
3962 |
|
3963 |
;;; NIL is not of type C::TAIL-SET |
3964 |
(deftest misc.234 |
3965 |
(funcall |
3966 |
(compile |
3967 |
nil |
3968 |
'(lambda (b) ;; (a b) |
3969 |
(declare (type (integer -13583709 -3876310) b)) |
3970 |
(declare (optimize (speed 1) (space 2) (safety 3) (debug 3) |
3971 |
(compilation-speed 1))) |
3972 |
(flet ((%f14 (f14-1 f14-2 f14-3) |
3973 |
(flet ((%f2 |
3974 |
(f2-1 |
3975 |
&optional (f2-2 0) (f2-3 0) |
3976 |
(f2-4 |
3977 |
(block b8 (if (ldb-test (byte 0 0) 0) (* 0 f14-2) 0)))) |
3978 |
0)) |
3979 |
(%f2 b f14-2)))) |
3980 |
(%f14 0 0 (%f14 0 0 0))))) |
3981 |
;; -155589 |
3982 |
-5694124) |
3983 |
0) |
3984 |
|
3985 |
;;; sbcl 0.8.6.34 |
3986 |
;;; Wrong value |
3987 |
(deftest misc.235 |
3988 |
(funcall |
3989 |
(compile |
3990 |
nil |
3991 |
'(lambda (b) |
3992 |
(declare (notinline not)) |
3993 |
(declare (optimize (speed 1) (space 0) (safety 0) |
3994 |
(debug 2) (compilation-speed 3))) |
3995 |
(multiple-value-prog1 0 (catch 'ct2 (if (not nil) (throw 'ct2 b) 0))))) |
3996 |
:wrong) |
3997 |
0) |
3998 |
|
3999 |
(deftest misc.236 |
4000 |
(funcall |
4001 |
(compile |
4002 |
nil |
4003 |
'(lambda (a b) |
4004 |
(declare (optimize (speed 1) (space 0) (safety 3) |
4005 |
(debug 0) (compilation-speed 1))) |
4006 |
(flet ((%f8 (f8-1) 0)) |
4007 |
(labels ((%f18 (f18-1 f18-2 &optional (f18-3 0)) |
4008 |
(%f8 (catch 'ct7 (throw 'ct7 f18-1))))) |
4009 |
(multiple-value-prog1 (catch 'ct7 a) |
4010 |
0 |
4011 |
(multiple-value-call #'%f18 (values 0 (%f8 b)))))))) |
4012 |
:good :bad) |
4013 |
:good) |
4014 |
|
4015 |
(deftest misc.237 |
4016 |
(funcall |
4017 |
(compile |
4018 |
nil |
4019 |
'(lambda () |
4020 |
(declare (optimize (speed 2) (space 2) (safety 3) |
4021 |
(debug 3) (compilation-speed 1))) |
4022 |
(multiple-value-prog1 0 |
4023 |
(catch 'ct7 (logandc1 (block b7 0) |
4024 |
(throw 'ct7 -908543))))))) |
4025 |
0) |
4026 |
|
4027 |
;;; cmucl (11 2003 snapshot) |
4028 |
|
4029 |
;;; NIL is not of type C::CONTINUATION |
4030 |
(deftest misc.238 |
4031 |
(funcall |
4032 |
(compile |
4033 |
nil |
4034 |
'(lambda (a) |
4035 |
(declare (type (integer -77145797 -1) a)) |
4036 |
(declare (optimize (speed 1) (space 1) (safety 3) (debug 3) (compilation-speed 1))) |
4037 |
(flet ((%f5 (f5-1) a)) |
4038 |
(%f5 (unwind-protect 0 (logand (- (catch 'ct5 0)))))))) |
4039 |
-100) |
4040 |
-100) |
4041 |
|
4042 |
(deftest misc.238a |
4043 |
(funcall |
4044 |
(compile |
4045 |
nil |
4046 |
'(lambda () |
4047 |
(declare (optimize (speed 3) (space 2) (safety 3) |
4048 |
(debug 0) (compilation-speed 0))) |
4049 |
(min (load-time-value 0)) |
4050 |
0))) |
4051 |
0) |
4052 |
|
4053 |
;;; (in C::MAYBE-LET-CONVERT) |
4054 |
(deftest misc.239 |
4055 |
(funcall |
4056 |
(compile |
4057 |
nil |
4058 |
'(lambda (a) |
4059 |
(declare (type (integer -2315418108387 111852261677) a)) |
4060 |
(declare (optimize (speed 2) (space 0) (safety 2) (debug 2) (compilation-speed 1))) |
4061 |
(labels ((%f4 () |
4062 |
(labels ((%f16 (f16-1 f16-2) 0)) |
4063 |
(flet ((%f9 () 0)) |
4064 |
(%f16 0 (%f16 (%f9) a)))))) |
4065 |
(flet ((%f10 (f10-1 f10-2 f10-3) |
4066 |
(flet ((%f15 (f15-1 &optional (f15-2 (%f4)) (f15-3 0)) f15-3)) |
4067 |
0))) |
4068 |
0)))) |
4069 |
100) |
4070 |
0) |
4071 |
|
4072 |
(deftest misc.239a |
4073 |
(funcall |
4074 |
(compile nil '(lambda () (declare (optimize speed safety)) |
4075 |
(LET ((x (PROG1 0 (ROUND 18916)))) (catch 'ct4 0))))) |
4076 |
0) |
4077 |
|
4078 |
(deftest misc.240 |
4079 |
(funcall |
4080 |
(compile |
4081 |
nil |
4082 |
'(lambda (b) |
4083 |
(declare (type (integer 4 7) b)) |
4084 |
(declare (optimize (speed 2) (space 3) (safety 3) (debug 1) (compilation-speed 3))) |
4085 |
(unwind-protect 0 |
4086 |
(common-lisp:handler-case |
4087 |
(max |
4088 |
(let ((*s1* b)) |
4089 |
(declare (special *s1*)) |
4090 |
(+ 0 *s1*))))))) |
4091 |
5) |
4092 |
0) |
4093 |
|
4094 |
;;; clisp (12 Dec 2003 cvs head) |
4095 |
;;; *** - Compiler bug!! Occurred in ASSEMBLE-LAP at ILLEGAL INSTRUCTION. |
4096 |
(deftest misc.241 |
4097 |
(funcall |
4098 |
(compile |
4099 |
nil |
4100 |
'(lambda () |
4101 |
(declare (optimize (speed 3) (space 3) (safety 0) (debug 0) (compilation-speed 2))) |
4102 |
(labels ((%f17 (f17-1 f17-2) (multiple-value-prog1 0 0 0 (return-from %f17 0)))) (%f17 0 0))))) |
4103 |
0) |
4104 |
|
4105 |
(deftest misc.242 |
4106 |
(funcall (compile nil '(lambda (a) (block b6 (multiple-value-prog1 a (return-from b6 0))))) :wrong) |
4107 |
0) |
4108 |
|
4109 |
(deftest misc.243 |
4110 |
(funcall (compile nil '(lambda () (block b3 (return-from b3 (multiple-value-prog1 0 (return-from b3 0))))))) |
4111 |
0) |
4112 |
|
4113 |
;;; lispworks 4.3 (personal edition) |
4114 |
(deftest misc.244 |
4115 |
(funcall |
4116 |
(compile |
4117 |
nil |
4118 |
'(lambda (b) |
4119 |
(declare (optimize (speed 3) (space 1) (safety 2) (debug 3) (compilation-speed 2))) |
4120 |
(catch 'ct8 (labels ((%f4 (&optional (f4-1 0) (f4-2 (throw 'ct8 0))) f4-1)) (%f4 b))))) |
4121 |
:wrong) |
4122 |
0) |
4123 |
|
4124 |
(deftest misc.245 |
4125 |
(funcall |
4126 |
(compile |
4127 |
nil |
4128 |
'(lambda (a) |
4129 |
(declare (optimize (speed 2) (space 0) (safety 0) (debug 2) (compilation-speed 1))) |
4130 |
(catch 'ct2 (labels ((%f11 (&optional (f11-1 (throw 'ct2 0))) a)) (apply #'%f11 0 nil))))) |
4131 |
20) |
4132 |
20) |
4133 |
|
4134 |
;;; ecl (cvs head, 18 Dec 2003) |
4135 |
(deftest misc.246 |
4136 |
(let ((x (unwind-protect 0))) x) |
4137 |
0) |
4138 |
|
4139 |
(deftest misc.247 |
4140 |
(let ((x (dotimes (i 0 10)))) x) |
4141 |
10) |
4142 |
|
4143 |
;;; acl 6.2 trial |
4144 |
;;; "Error: Attempt to access the plist field of 0 which is not a symbol." |
4145 |
|
4146 |
(deftest misc.248 |
4147 |
(funcall (compile nil '(lambda () (dotimes (i 0 0) 0)))) |
4148 |
0) |
4149 |
|
4150 |
;;; sbcl |
4151 |
;;; #<SB-C::LAMBDA-VAR :%SOURCE-NAME IV4 :TYPE # {A67BE29}> |
4152 |
;;; not found in |
4153 |
;;; #<SB-C::PHYSENV :LAMBDA # :NLX-INFO # {A680EF1}> |
4154 |
|
4155 |
(deftest misc.249 |
4156 |
(funcall |
4157 |
(compile |
4158 |
nil |
4159 |
'(lambda (a b) |
4160 |
(declare (notinline <=)) |
4161 |
(declare (optimize (speed 2) (space 3) (safety 0) |
4162 |
(debug 1) (compilation-speed 3))) |
4163 |
(if (if (<= 0) nil nil) |
4164 |
(labels ((%f9 (f9-1 f9-2 f9-3) |
4165 |
(ignore-errors 0))) |
4166 |
(dotimes (iv4 5 a) (%f9 0 0 b))) |
4167 |
0))) |
4168 |
1 2) |
4169 |
0) |
4170 |
|
4171 |
;;; cmucl 11/2003 |
4172 |
(deftest misc.250 |
4173 |
(funcall |
4174 |
(compile |
4175 |
nil |
4176 |
'(lambda (a) |
4177 |
(declare (type (integer -12 14) a)) |
4178 |
(declare (optimize (speed 1) (space 2) (safety 1) (debug 1) (compilation-speed 3))) |
4179 |
(let ((v6 0)) |
4180 |
(flet ((%f11 |
4181 |
(f11-1 |
4182 |
&optional |
4183 |
(f11-2 |
4184 |
(case (catch 'ct7 0) |
4185 |
(t |
4186 |
(let* ((v2 (ignore-errors a))) |
4187 |
v6))))) |
4188 |
0)) |
4189 |
(%f11 0 0))))) |
4190 |
5) |
4191 |
0) |
4192 |
|
4193 |
;;; NIL is not of type C::CONTINUATION |
4194 |
;;; (C::MAYBE-CONVERT-TO-ASSIGNMENT |
4195 |
;;; #<LAMBDA #x48A3031D |
4196 |
;;; NAME= (FLET %F3 |
4197 |
;;; NIL) |
4198 |
;;; TYPE= #<KERNEL::BUILT-IN-CLASS FUNCTION (read-only) {2803AE6D}> |
4199 |
;;; WHERE-FROM= :DEFINED |
4200 |
;;; VARS= (F3-1 F3-2 F3-3)>) |
4201 |
|
4202 |
(deftest misc.251 |
4203 |
(funcall |
4204 |
(compile |
4205 |
nil |
4206 |
'(lambda (a b) |
4207 |
(declare (type (integer -186585769 -7483) a)) |
4208 |
(declare (type (integer -550 524) b)) |
4209 |
(declare |
4210 |
(optimize (speed 2) (space 1) (safety 1) (debug 2) (compilation-speed 3))) |
4211 |
(flet ((%f3 (f3-1 f3-2 f3-3) |
4212 |
0)) |
4213 |
(%f3 0 0 |
4214 |
(flet ((%f13 (f13-1 f13-2) |
4215 |
0)) |
4216 |
(if (/= b a) |
4217 |
b |
4218 |
(deposit-field (%f3 0 b 0) (byte 0 0) (%f3 0 0 (%f13 0 0))))))))) |
4219 |
-10000 0) |
4220 |
0) |
4221 |
|
4222 |
;;; 8061593093 is not of type (INTEGER -2147483648 4294967295) |
4223 |
(deftest misc.252 |
4224 |
(funcall |
4225 |
(compile |
4226 |
nil |
4227 |
'(lambda (b) |
4228 |
(declare (type (integer -43443 9126488423) b)) |
4229 |
(declare (optimize (speed 3) (space 1) (safety 1) (debug 3) (compilation-speed 0))) |
4230 |
(logand (setq b 8061593093) (min b 0)))) |
4231 |
0) |
4232 |
0) |
4233 |
|
4234 |
(deftest misc.252a |
4235 |
(funcall |
4236 |
(compile |
4237 |
nil |
4238 |
'(lambda (a b) |
4239 |
(declare (type (integer -30189 -6047) a)) |
4240 |
(declare (type (integer -10 16391481067) b)) |
4241 |
(declare (optimize (speed 3) (space 1) (safety 2) (debug 3) |
4242 |
(compilation-speed 0))) |
4243 |
(if |
4244 |
(<= 0 |
4245 |
(let ((*s1* (setq b 12204309028))) |
4246 |
(declare (special *s1*)) |
4247 |
(truncate b))) |
4248 |
a |
4249 |
0))) |
4250 |
-12618 16130777867) |
4251 |
-12618) |
4252 |
|
4253 |
;;; #<C::ENTRY #x48DCC585> fell through ETYPECASE expression. |
4254 |
;;; Wanted one of (C::BASIC-COMBINATION C::EXIT C::CRETURN C::CSET C::CIF |
4255 |
;;; (OR C::REF C:BIND)). |
4256 |
;;; [Condition of type CONDITIONS::CASE-FAILURE] |
4257 |
;;;[...] |
4258 |
;;; (C::SUBSTITUTE-CONTINUATION #<Continuation c1> #<Continuation c2>) |
4259 |
|
4260 |
(deftest misc.253 |
4261 |
(funcall |
4262 |
(compile |
4263 |
nil |
4264 |
'(lambda () |
4265 |
(declare (optimize (speed 2) (space 2) (safety 3) (debug 3) (compilation-speed 2))) |
4266 |
(flet ((%f17 (f17-1) 0)) |
4267 |
(%f17 (logandc1 0 (catch 'ct2 0))))))) |
4268 |
0) |
4269 |
|
4270 |
(deftest misc.253a |
4271 |
(funcall |
4272 |
(compile |
4273 |
nil |
4274 |
'(lambda (c) |
4275 |
(declare (optimize (speed 1) (space 1) (safety 3) (debug 2) |
4276 |
(compilation-speed 1))) |
4277 |
(labels ((%f1 (f1-1 f1-2) |
4278 |
(isqrt (abs (complex f1-1 0))))) |
4279 |
(progn |
4280 |
(/ |
4281 |
(multiple-value-call #'%f1 |
4282 |
(values (1- (restart-bind nil 1416182210)) |
4283 |
123337746)) |
4284 |
1) |
4285 |
(tagbody) |
4286 |
c)))) |
4287 |
-34661) |
4288 |
-34661) |
4289 |
|
4290 |
;;; Wrong return value |
4291 |
(deftest misc.254 |
4292 |
(funcall |
4293 |
(compile |
4294 |
nil |
4295 |
'(lambda (a) |
4296 |
(declare (type (integer -5241 -1159) a)) |
4297 |
(declare (optimize (speed 3) (space 2) (safety 0) (debug 3) (compilation-speed 1))) |
4298 |
(gcd a |
4299 |
(let ((*misc.254* (setq a -4929))) ;; special variable |
4300 |
(declare (special *misc.254*)) |
4301 |
0)))) |
4302 |
-3000) |
4303 |
3000) |
4304 |
|
4305 |
(deftest misc.255 |
4306 |
(funcall |
4307 |
(compile |
4308 |
nil |
4309 |
'(lambda (b) |
4310 |
(declare (type (integer -3474321 15089206) b)) |
4311 |
(declare (optimize (speed 3) (space 3) (safety 3) (debug 3) (compilation-speed 0))) |
4312 |
(- b |
4313 |
(block b3 |
4314 |
(setq b 9367613) |
4315 |
0)))) |
4316 |
10) |
4317 |
10) |
4318 |
|
4319 |
;;; clisp (20 Dec 2003) |
4320 |
;;; Bug involving tagbody and go in lexical function |
4321 |
|
4322 |
(deftest misc.256 |
4323 |
(funcall |
4324 |
(compile |
4325 |
nil |
4326 |
'(lambda () |
4327 |
(declare (optimize (speed 3) (space 0) (safety 3) (debug 0) (compilation-speed 0))) |
4328 |
(tagbody (flet ((%f6 () (go 18))) (%f6)) |
4329 |
18)))) |
4330 |
nil) |
4331 |
|
4332 |
;;; clisp (22 Dec 2003) |
4333 |
;;; *** - Compiler bug!! Occurred in ACCESS-IN-STACK at STACKZ-END. |
4334 |
|
4335 |
(deftest misc.257 |
4336 |
(funcall |
4337 |
(compile |
4338 |
nil |
4339 |
'(lambda () |
4340 |
(declare (optimize (speed 1) (space 2) (safety 3) (debug 3) (compilation-speed 1))) |
4341 |
(declare (special b)) |
4342 |
(tagbody (flet ((%f1 (f1-1) |
4343 |
(flet ((%f9 (&optional (f9-1 b) (f9-2 (go tag2)) (f9-3 0)) 0)) |
4344 |
(%f9 0 0 0)))) |
4345 |
(%f1 0)) |
4346 |
tag2)))) |
4347 |
nil) |
4348 |
|
4349 |
;;; clisp (26 Dec 2003) |
4350 |
;;; PROGV binding is not having the correct effect in compiled code |
4351 |
|
4352 |
(deftest misc.258 |
4353 |
(funcall |
4354 |
(compile |
4355 |
nil |
4356 |
'(lambda () |
4357 |
(declare (optimize (speed 1) (space 2) (safety 1) (debug 1) |
4358 |
(compilation-speed 0))) |
4359 |
(let ((*s4* :right)) |
4360 |
(declare (special *s4*)) |
4361 |
(progv '(*s4*) (list :wrong1) (setq *s4* :wrong2)) |
4362 |
*s4*)))) |
4363 |
:right) |
4364 |
|
4365 |
;;; sbcl 0.8.7.5 |
4366 |
;;; The value 215067723 is not of type (INTEGER 177547470 226026978). |
4367 |
|
4368 |
(deftest misc.259 |
4369 |
(funcall |
4370 |
(compile |
4371 |
nil |
4372 |
'(lambda (a) |
4373 |
(declare (type (integer 177547470 226026978) a)) |
4374 |
(declare (optimize (speed 3) (space 0) (safety 0) (debug 0) |
4375 |
(compilation-speed 1))) |
4376 |
(logand a (* a 438810)))) |
4377 |
215067723) |
4378 |
13739018) |
4379 |
|
4380 |
(deftest misc.260 |
4381 |
(funcall |
4382 |
(compile |
4383 |
nil |
4384 |
'(lambda (a) |
4385 |
(declare (type (integer 43369342 45325981) a)) |
4386 |
(declare (optimize (speed 2) (space 0) (safety 2) |
4387 |
(debug 0) (compilation-speed 3))) |
4388 |
(logand 0 (* 5459177 a)))) |
4389 |
44219966) |
4390 |
0) |
4391 |
|
4392 |
(deftest misc.261 |
4393 |
(funcall |
4394 |
(compile |
4395 |
nil |
4396 |
'(lambda (b) |
4397 |
(declare (type (integer 379442022 806547932) b)) |
4398 |
(declare (optimize (speed 2) (space 0) (safety 0) |
4399 |
(debug 3) (compilation-speed 2))) |
4400 |
(logand b (* 227 b)))) |
4401 |
551173513) |
4402 |
545263625) |
4403 |
|
4404 |
(deftest misc.262 |
4405 |
(funcall |
4406 |
(compile |
4407 |
nil |
4408 |
'(lambda (a) |
4409 |
(declare (type (integer 515644 54674673) a)) |
4410 |
(declare (optimize (speed 3) (space 2) (safety 3) |
4411 |
(debug 0) (compilation-speed 1))) |
4412 |
(mask-field (byte 0 0) (* 613783109 a)))) |
4413 |
28831407) |
4414 |
0) |
4415 |
|
4416 |
(deftest misc.263 |
4417 |
(funcall |
4418 |
(compile |
4419 |
nil |
4420 |
'(lambda (a) |
4421 |
(declare (type (integer 862944 60462138) a)) |
4422 |
(declare (optimize (speed 3) (space 3) (safety 0) |
4423 |
(debug 1) (compilation-speed 1))) |
4424 |
(logandc2 0 (* a 18094747)))) |
4425 |
36157847) |
4426 |
0) |
4427 |
|
4428 |
(deftest misc.264 |
4429 |
(funcall |
4430 |
(compile |
4431 |
nil |
4432 |
'(lambda (a) |
4433 |
(declare (type (integer 896520522 1249309734) a)) |
4434 |
(declare (optimize (speed 3) (space 3) (safety 1) |
4435 |
(debug 1) (compilation-speed 2))) |
4436 |
(lognand 0 (* a 1381212086)))) |
4437 |
1202966173) |
4438 |
-1) |
4439 |
|
4440 |
;;; sbcl 0.8.7.6 |
4441 |
;;; Lisp error during constant folding: |
4442 |
;;; The function SB-VM::%LEA-MOD32 is undefined. |
4443 |
|
4444 |
(deftest misc.265 |
4445 |
(funcall |
4446 |
(compile |
4447 |
nil |
4448 |
'(lambda (a) |
4449 |
(declare (type (integer -19621 11895) a)) |
4450 |
(declare (optimize (speed 3) (space 2) (safety 3) |
4451 |
(debug 3) (compilation-speed 3))) |
4452 |
(* 0 a 103754))) |
4453 |
1) |
4454 |
0) |
4455 |
|
4456 |
;;; ecl (10 jan 2004) |
4457 |
;;; A bug was found in the compiler. Contact worm@arrakis.es. |
4458 |
;;; Broken at C::C2GO. |
4459 |
|
4460 |
(deftest misc.266 |
4461 |
(funcall |
4462 |
(compile |
4463 |
nil |
4464 |
'(lambda () |
4465 |
(tagbody |
4466 |
(flet ((%f (x) :bad)) (multiple-value-call #'%f (go done))) |
4467 |
done)))) |
4468 |
nil) |
4469 |
|
4470 |
(deftest misc.266a |
4471 |
(funcall |
4472 |
(compile |
4473 |
nil |
4474 |
'(lambda (b) |
4475 |
(declare (type (integer -14356828946432 -24266) b)) |
4476 |
(declare (optimize (speed 3) (space 1) (safety 1) (debug 3) |
4477 |
(compilation-speed 2))) |
4478 |
(progn (tagbody (unwind-protect 0 (go 3)) 3) b))) |
4479 |
-30000) |
4480 |
-30000) |
4481 |
|
4482 |
;;; Broken at C::C2VAR. |
4483 |
(deftest misc.266b |
4484 |
(funcall |
4485 |
(compile |
4486 |
nil |
4487 |
'(lambda (b) |
4488 |
(declare (optimize (speed 2) (space 3) (safety 2) (debug 0) |
4489 |
(compilation-speed 0))) |
4490 |
(unwind-protect 0 (catch 'ct7 (prog1 b 0))))) |
4491 |
1) |
4492 |
0) |
4493 |
|
4494 |
;;; Incorrect return value |
4495 |
|
4496 |
(deftest misc.267 |
4497 |
(locally (declare (special *s5*)) |
4498 |
(let ((v8 (progv '(*s5*) (list 0) (if t *s5* *s5*)))) |
4499 |
v8)) |
4500 |
0) |
4501 |
|
4502 |
(deftest misc.267a |
4503 |
(let ((x (progv nil nil 0))) x) |
4504 |
0) |
4505 |
|
4506 |
(deftest misc.268 |
4507 |
(funcall |
4508 |
(compile |
4509 |
nil |
4510 |
'(lambda () |
4511 |
(declare (optimize (speed 1) (space 1) (safety 3) (debug 2) |
4512 |
(compilation-speed 2))) |
4513 |
(catch 'ct7 |
4514 |
(rationalize (let ((v9 (1+ (throw 'ct7 0)))) 48955)))))) |
4515 |
0) |
4516 |
|
4517 |
(deftest misc.269 |
4518 |
(funcall |
4519 |
(compile |
4520 |
nil |
4521 |
'(lambda (a) |
4522 |
(declare (type (integer -1 20) a)) |
4523 |
(declare (optimize (speed 3) (space 1) (safety 2) (debug 2) |
4524 |
(compilation-speed 3))) |
4525 |
(if (if a (logbitp 34 a) nil) 0 -230678))) |
4526 |
14) |
4527 |
-230678) |
4528 |
|
4529 |
(deftest misc.270 |
4530 |
(let ((*s3* (dotimes (iv4 0 10) (if t iv4 8)))) |
4531 |
(declare (special *s3*)) |
4532 |
*s3*) |
4533 |
10) |
4534 |
|
4535 |
(deftest misc.271 |
4536 |
(let ((v2 (unwind-protect 0))) v2) |
4537 |
0) |
4538 |
|
4539 |
;;; wrong number of values passed to anonymous function |
4540 |
|
4541 |
(deftest misc.272 |
4542 |
(funcall |
4543 |
(compile |
4544 |
nil |
4545 |
'(lambda () |
4546 |
(declare (optimize (speed 3) (space 1) (safety 0) (debug 3) |
4547 |
(compilation-speed 2))) |
4548 |
(flet ((%f17 (f17-1) 1)) |
4549 |
(multiple-value-call #'%f17 (values (floor 0))))))) |
4550 |
1) |
4551 |
|
4552 |
;;; clisp (10 jan 2004) |
4553 |
;;; Improper handling of a jump to an exit point from unwind-protect |
4554 |
;;; (see CLHS section 5.2) |
4555 |
|
4556 |
(deftest misc.273 |
4557 |
(funcall |
4558 |
(compile |
4559 |
nil |
4560 |
'(lambda (d) |
4561 |
(declare (optimize (speed 3) (space 0) (safety 3) |
4562 |
(debug 2) (compilation-speed 0))) |
4563 |
(gcd 39 |
4564 |
(catch 'ct2 |
4565 |
(block b7 |
4566 |
(throw 'ct2 |
4567 |
(unwind-protect |
4568 |
(return-from b7 17) |
4569 |
(return-from b7 |
4570 |
(progv '(*s6*) (list 31) d)) |
4571 |
))))))) |
4572 |
65) |
4573 |
13) |
4574 |
|
4575 |
;;; sbcl 0.8.7.13 |
4576 |
;;; Lexical unwinding of UVL stack is not implemented. |
4577 |
|
4578 |
(deftest misc.274 |
4579 |
(funcall |
4580 |
(compile |
4581 |
nil |
4582 |
'(lambda () |
4583 |
(declare |
4584 |
(optimize (speed 2) |
4585 |
(space 2) |
4586 |
(safety 1) |
4587 |
(debug 2) |
4588 |
(compilation-speed 0))) |
4589 |
(multiple-value-prog1 |
4590 |
(ignore-errors 0) |
4591 |
0 |
4592 |
(catch 'ct7 0) |
4593 |
(catch 'ct1 |
4594 |
(catch 'ct4 |
4595 |
(complex (throw 'ct4 (dotimes (iv4 0 0) (throw 'ct1 0))) 0))))))) |
4596 |
0) |
4597 |
|
4598 |
(deftest misc.274a |
4599 |
(funcall |
4600 |
(compile |
4601 |
nil |
4602 |
'(lambda () |
4603 |
(declare (optimize (speed 3) (space 1) (safety 3) |
4604 |
(debug 1) (compilation-speed 3))) |
4605 |
(dotimes (iv4 3 0) |
4606 |
(apply (constantly 0) |
4607 |
0 |
4608 |
(catch 'ct2 (throw 'ct2 (rem 0 (max 46 0)))) |
4609 |
nil))))) |
4610 |
0) |
4611 |
|
4612 |
|
4613 |
;;; failed AVER: "SUCC" |
4614 |
|
4615 |
(deftest misc.275 |
4616 |
(funcall |
4617 |
(compile |
4618 |
nil |
4619 |
'(lambda (b) |
4620 |
(declare (notinline funcall min coerce)) |
4621 |
(declare |
4622 |
(optimize (speed 1) |
4623 |
(space 2) |
4624 |
(safety 2) |
4625 |
(debug 1) |
4626 |
(compilation-speed 1))) |
4627 |
(flet ((%f12 (f12-1) |
4628 |
(coerce |
4629 |
(min |
4630 |
(if f12-1 (multiple-value-prog1 |
4631 |
b (return-from %f12 0)) |
4632 |
0)) |
4633 |
'integer))) |
4634 |
(funcall #'%f12 0)))) |
4635 |
-33) |
4636 |
0) |
4637 |
|
4638 |
(deftest misc.275a |
4639 |
(funcall |
4640 |
(compile |
4641 |
nil |
4642 |
'(lambda () |
4643 |
(declare (optimize (speed 2) (space 0) (safety 2) |
4644 |
(debug 1) (compilation-speed 1))) |
4645 |
(block b4 |
4646 |
(coerce |
4647 |
(logcount |
4648 |
(if t 0 (multiple-value-prog1 (identity 0) (return-from b4 0)))) |
4649 |
'integer))))) |
4650 |
0) |
4651 |
|
4652 |
;;; clisp (28 Jan 2004) |
4653 |
;;; Different return values |
4654 |
|
4655 |
(deftest misc.276 |
4656 |
(funcall |
4657 |
(compile |
4658 |
nil |
4659 |
`(lambda (b) |
4660 |
(declare (optimize (speed 2) (space 0) (safety 0) |
4661 |
(debug 3) (compilation-speed 3))) |
4662 |
(labels |
4663 |
((%f2 () |
4664 |
(let ((v10 (progn (dotimes (iv2 0 0) iv2) |
4665 |
b))) |
4666 |
(unwind-protect b (labels ((%f6 ())) (%f6)) |
4667 |
)))) |
4668 |
(%f2)))) |
4669 |
:good) |
4670 |
:good) |
4671 |
|
4672 |
;;; Lispworks 4.3 linux (personal edition) |
4673 |
|
4674 |
;;; Error: In - of (1 NIL) arguments should be of type NUMBER |
4675 |
(deftest misc.277 |
4676 |
(funcall |
4677 |
(compile |
4678 |
nil |
4679 |
'(lambda () |
4680 |
(declare (optimize (speed 3) (space 1) (safety 0) |
4681 |
(debug 3) (compilation-speed 0))) |
4682 |
(labels ((%f15 (&optional (f15-3 |
4683 |
(tagbody (labels ((%f6 () (go tag1))) (%f6)) tag1))) |
4684 |
0)) |
4685 |
(%f15))))) |
4686 |
0) |
4687 |
|
4688 |
;;; incorrect return value |
4689 |
(deftest misc.278 |
4690 |
(funcall |
4691 |
(compile |
4692 |
nil |
4693 |
'(lambda () |
4694 |
(declare (optimize (speed 1) (space 0) (safety 2) (debug 3) |
4695 |
(compilation-speed 0))) |
4696 |
(catch 'ct5 (flet ((%f2 (&optional (f2-4 (throw 'ct5 0))) 1)) |
4697 |
(%f2 (%f2 0))))))) |
4698 |
1) |
4699 |
|
4700 |
;;; incorrect return value |
4701 |
(deftest misc.279 |
4702 |
(funcall |
4703 |
(compile |
4704 |
nil |
4705 |
'(lambda () |
4706 |
(declare (optimize (speed 1) (space 1) (safety 3) (debug 0) (compilation-speed 3))) |
4707 |
(flet ((%f10 () |
4708 |
(if (< 0 (dotimes (iv2 1 -501162))) |
4709 |
0 -14))) |
4710 |
(%f10))))) |
4711 |
-14) |
4712 |
|
4713 |
;;; incorrect return value (may be same bug as misc.278) |
4714 |
(deftest misc.280 |
4715 |
(funcall |
4716 |
(compile |
4717 |
nil |
4718 |
'(lambda (a) |
4719 |
(declare (optimize (speed 1) (space 3) (safety 1) (debug 3) (compilation-speed 2))) |
4720 |
(catch 'ct6 |
4721 |
(labels ((%f12 () |
4722 |
(labels ((%f14 (&optional (f14-3 (return-from %f12 5))) 4)) |
4723 |
(funcall (constantly 3) |
4724 |
(let ((v2 (%f14))) 2) |
4725 |
(throw 'ct6 1) |
4726 |
)))) |
4727 |
(%f12) |
4728 |
a)))) |
4729 |
:good) |
4730 |
:good) |
4731 |
|
4732 |
;;; incorrect return value |
4733 |
(deftest misc.281 |
4734 |
(funcall |
4735 |
(compile |
4736 |
nil |
4737 |
'(lambda (c) |
4738 |
(declare (optimize (speed 3) (space 3) (safety 3) (debug 2) (compilation-speed 3))) |
4739 |
(ldb (byte 24 0) c))) |
4740 |
-227016367797) |
4741 |
12919115) |
4742 |
|
4743 |
;;; gcl: Error in COMPILER::CMP-ANON [or a callee]: The function COMPILER::LDB1 is undefined. |
4744 |
(deftest misc.282 |
4745 |
(funcall (compile nil '(lambda () (declare (optimize safety)) |
4746 |
(ldb (byte 13 13) 43710)))) |
4747 |
5) |
4748 |
|
4749 |
;;; gcl (2/28/2004) |
4750 |
;;; Error in COMPILER::CMP-ANON [or a callee]: T is not of type INTEGER. |
4751 |
(deftest misc.283 |
4752 |
(funcall |
4753 |
(compile |
4754 |
nil |
4755 |
'(lambda (b d) |
4756 |
(declare (optimize (speed 2) (space 2) (safety 1) (compilation-speed 3))) |
4757 |
(expt (logxor (progn |
4758 |
(tagbody |
4759 |
(multiple-value-prog1 0 (go 7)) |
4760 |
7) |
4761 |
0) |
4762 |
0 b |
4763 |
(rational d)) |
4764 |
0))) |
4765 |
2 4) |
4766 |
1) |
4767 |
|
4768 |
;;; Error in COMPILER::CMP-ANON [or a callee]: 3 is not of type FUNCTION. |
4769 |
;;; (possibly the same bug as misc.283) |
4770 |
(deftest misc.284 |
4771 |
(funcall |
4772 |
(compile |
4773 |
nil |
4774 |
'(lambda (c) |
4775 |
(declare (optimize (speed 1) (space 1) (safety 2) (debug 3) |
4776 |
(compilation-speed 2))) |
4777 |
(progn |
4778 |
(tagbody |
4779 |
(multiple-value-prog1 0 (go tag2)) |
4780 |
0 |
4781 |
tag2) |
4782 |
(funcall (constantly 0) |
4783 |
(apply (constantly 0) (signum c) nil))))) |
4784 |
3) |
4785 |
0) |
4786 |
|
4787 |
;;; ecl 29 Feb 2004 |
4788 |
;;; Incorrect constant propagation |
4789 |
(deftest misc.285 |
4790 |
(funcall |
4791 |
(compile |
4792 |
nil |
4793 |
'(lambda (a) |
4794 |
(declare (optimize (speed 2) (space 0) (safety 0) (debug 2) |
4795 |
(compilation-speed 3))) |
4796 |
(block b7 (let* ((v1 (* (return-from b7 0) a))) -4359852)))) |
4797 |
1) |
4798 |
0) |
4799 |
|
4800 |
(deftest misc.286 |
4801 |
(let ((v4 (dotimes (iv4 0 18494910) (progn 0)))) v4) |
4802 |
18494910) |
4803 |
|
4804 |
;;; gcl (found by Camm) |
4805 |
;;; Error in COMPILER::CMP-ANON [or a callee]: The function NIL is undefined. |
4806 |
(deftest misc.287 |
4807 |
(funcall |
4808 |
(compile |
4809 |
nil |
4810 |
'(lambda (e) |
4811 |
(declare (optimize (speed 1) (space 3) (safety 3) (debug 3) |
4812 |
(compilation-speed 1))) |
4813 |
(flet ((%f11 (f11-2) 0)) |
4814 |
(%f11 (unwind-protect |
4815 |
e |
4816 |
(tagbody |
4817 |
(let* ((v4 (unwind-protect (go 0)))) 0) |
4818 |
0) |
4819 |
(logand (handler-bind () 0))))))) |
4820 |
10) |
4821 |
0) |
4822 |
|
4823 |
#| |
4824 |
ecl (6 Mar 2004) |
4825 |
(LAMBDA (C::LOC1 C::LOC2) (IF (AND (CONSP C::LOC1) |
4826 |
(EQ (CAR C::LOC1) 'FIXNUM) |
4827 |
(CONSP (CADR C::LOC1)) |
4828 |
(EQ (CAADR C::LOC1) 'C::FIXNUM-VALUE) |
4829 |
(EQ (CADR (CADR C::LOC1)) 2)) |
4830 |
(PROGN (C::WT1 "(1<<(") |
4831 |
(C::WT1 C::LOC2) (C::WT1 "))")) |
4832 |
(PROGN (C::WT1 "fixnum_expt(") |
4833 |
(C::WT1 C::LOC1) |
4834 |
(C::WT1 #\,) |
4835 |
(C::WT1 C::LOC2) |
4836 |
(C::WT1 #\))))) |
4837 |
is not of type STRING. |
4838 |
Broken at C::WT-C-INLINE-LOC. |
4839 |
|# |
4840 |
|
4841 |
(deftest misc.288 |
4842 |
(funcall |
4843 |
(compile |
4844 |
nil |
4845 |
'(lambda () |
4846 |
(declare (optimize (speed 1) (space 2) (safety 3) (debug 3) |
4847 |
(compilation-speed 2))) |
4848 |
(let ((v2 (integer-length (expt 0 0)))) |
4849 |
(dotimes (iv4 0 0) (logand v2)))))) |
4850 |
0) |
4851 |
|
4852 |
;;; cmucl |
4853 |
;;; wrong return value |
4854 |
|
4855 |
(deftest misc.289 |
4856 |
(funcall |
4857 |
(compile |
4858 |
nil |
4859 |
'(lambda (b) |
4860 |
(declare (optimize (speed 3) (space 1) (safety 1) (debug 2) |
4861 |
(compilation-speed 2))) |
4862 |
(multiple-value-prog1 (apply (constantly 0) b 0 0 nil) |
4863 |
(catch 'ct8 (throw 'ct8 -2))))) |
4864 |
1) |
4865 |
0) |
4866 |
|
4867 |
;;; sbcl (0.8.8.23.stack.1) |
4868 |
;;; failed AVER: "(TAILP BLOCK2-STACK BLOCK1-STACK)" |
4869 |
|
4870 |
(deftest misc.290 |
4871 |
(funcall |
4872 |
(compile |
4873 |
nil |
4874 |
'(lambda () |
4875 |
(declare |
4876 |
(optimize (speed 3) (space 3) (safety 1) |
4877 |
(debug 2) (compilation-speed 0))) |
4878 |
(apply (constantly 0) (catch 'ct2 0) 0 (catch 'ct2 0) nil)))) |
4879 |
0) |
4880 |
|
4881 |
(deftest misc.290a |
4882 |
(funcall |
4883 |
(compile |
4884 |
nil |
4885 |
'(lambda () |
4886 |
(declare (optimize (speed 2) (space 1) (safety 0) |
4887 |
(debug 0) (compilation-speed 0))) |
4888 |
(boole boole-nor |
4889 |
(expt |
4890 |
(let ((v2 (expt (catch 'ct7 0) 0))) |
4891 |
0) |
4892 |
0) |
4893 |
(expt (apply (constantly 0) 0 0 (catch 'ct6 0) nil) 0))))) |
4894 |
-2) |
4895 |
|
4896 |
;; Allegro CL 6.2 (14 Mar 2004) interpreter bug |
4897 |
;; Error: Cannot go to TAG, its body has been exited. |
4898 |
|
4899 |
(deftest misc.291 |
4900 |
(funcall |
4901 |
#'(lambda (a) |
4902 |
(declare (notinline numerator)) |
4903 |
(declare (optimize (speed 2) (space 3) (safety 2) (debug 0) |
4904 |
(compilation-speed 2))) |
4905 |
(tagbody (tagbody (progn a) tag) |
4906 |
(go tag) |
4907 |
tag)) |
4908 |
17) |
4909 |
nil) |
4910 |
|
4911 |
;;; sbcl 0.8.8.23.stack.2 |
4912 |
;;; The value -1 is not of type (MOD 536870911). |
4913 |
|
4914 |
(deftest misc.292 |
4915 |
(funcall |
4916 |
(compile |
4917 |
nil |
4918 |
'(lambda (a b c) |
4919 |
(declare |
4920 |
(optimize (speed 3) (space 2) (safety 3) (debug 0) |
4921 |
(compilation-speed 1))) |
4922 |
(flet ((%f15 (f15-1 f15-2 f15-3) |
4923 |
(apply (constantly 0) |
4924 |
0 |
4925 |
0 |
4926 |
(ignore-errors |
4927 |
(let ((v10 (apply (constantly 0) |
4928 |
b a (max 0 c) nil))) |
4929 |
0)) |
4930 |
nil))) |
4931 |
(flet ((%f14 (f14-1 &optional (f14-2 b) (f14-3 0) (f14-4 0)) |
4932 |
(%f15 0 0 b))) |
4933 |
(%f14 0 c))))) |
4934 |
1 2 3) |
4935 |
0) |
4936 |
|
4937 |
(deftest misc.292a |
4938 |
(funcall |
4939 |
(compile |
4940 |
nil |
4941 |
'(lambda (a b) |
4942 |
(declare (optimize (speed 2) (space 0) (safety 3) (debug 1) |
4943 |
(compilation-speed 2))) |
4944 |
(apply (constantly 0) |
4945 |
a |
4946 |
0 |
4947 |
(catch 'ct6 |
4948 |
(apply (constantly 0) |
4949 |
0 |
4950 |
0 |
4951 |
(let* ((v1 |
4952 |
(let ((*s7* 0)) |
4953 |
b))) |
4954 |
0) |
4955 |
0 |
4956 |
nil)) |
4957 |
0 |
4958 |
nil))) |
4959 |
1 2) |
4960 |
0) |
4961 |
|
4962 |
;;; failed AVER: "(NOT (MEMQ PUSH END-STACK))" |
4963 |
|
4964 |
(deftest misc.293 |
4965 |
(funcall |
4966 |
(compile |
4967 |
nil |
4968 |
'(lambda (a) |
4969 |
(declare (optimize (speed 2) (space 1) (safety 3) (debug 3) |
4970 |
(compilation-speed 3))) |
4971 |
(let ((v6 |
4972 |
(labels ((%f9 (f9-1) |
4973 |
(multiple-value-prog1 0 (return-from %f9 0) a))) |
4974 |
(let ((*s4* (%f9 0))) |
4975 |
0)))) |
4976 |
0))) |
4977 |
1) |
4978 |
0) |
4979 |
|
4980 |
(deftest misc.293a |
4981 |
(funcall |
4982 |
(compile |
4983 |
nil |
4984 |
'(lambda (a b c) |
4985 |
(declare (optimize (speed 2) (space 3) (safety 1) |
4986 |
(debug 2) (compilation-speed 2))) |
4987 |
(block b6 |
4988 |
(multiple-value-prog1 |
4989 |
0 b 0 |
4990 |
(catch 'ct7 |
4991 |
(return-from b6 |
4992 |
(catch 'ct2 |
4993 |
(complex (cl::handler-bind nil -254932942) 0)))))))) |
4994 |
1 2 3) |
4995 |
-254932942) |
4996 |
|
4997 |
|
4998 |
;;; failed AVER: "(SUBSETP START START-STACK)" |
4999 |
|
5000 |
(deftest misc.294 |
5001 |
(funcall |
5002 |
(compile |
5003 |
nil |
5004 |
'(lambda (a b c) |
5005 |
(declare (notinline /=)) |
5006 |
(declare (optimize (speed 2) (space 0) (safety 1) |
5007 |
(debug 0)(compilation-speed 1))) |
5008 |
(catch 'ct1 |
5009 |
(flet ((%f1 (f1-1 f1-2 f1-3) |
5010 |
(throw 'ct1 |
5011 |
(if (/= 0) 0 (multiple-value-prog1 |
5012 |
0 (throw 'ct1 a) c))))) |
5013 |
(let ((*s3* (%f1 a a 0))) |
5014 |
0))))) |
5015 |
1 2 3) |
5016 |
0) |
5017 |
|
5018 |
(deftest misc.294a |
5019 |
(funcall |
5020 |
(compile |
5021 |
nil |
5022 |
'(lambda (a b c) |
5023 |
(declare (notinline expt)) |
5024 |
(declare (optimize (speed 1) (space 2) (safety 3) |
5025 |
(debug 0) (compilation-speed 0))) |
5026 |
(catch 'ct2 |
5027 |
(expt |
5028 |
(catch 'ct2 |
5029 |
(throw 'ct2 (if a 0 (multiple-value-prog1 0 (throw 'ct2 c) 0)))) |
5030 |
0)))) |
5031 |
1 2 3) |
5032 |
1) |
5033 |
|
5034 |
;;; The value NIL is not of type SB-C::IR2-BLOCK. |
5035 |
|
5036 |
(deftest misc.295 |
5037 |
(funcall |
5038 |
(compile |
5039 |
nil |
5040 |
'(lambda (a b c) |
5041 |
(declare (type (integer -2858 1050811) a)) |
5042 |
(declare (type (integer -419372 1395833) b)) |
5043 |
(declare (type (integer -4717708 795706) c)) |
5044 |
(declare (ignorable a b c)) |
5045 |
(declare |
5046 |
(optimize (speed 1) |
5047 |
(space 0) |
5048 |
(safety 2) |
5049 |
(debug 1) |
5050 |
(compilation-speed 2))) |
5051 |
(multiple-value-prog1 |
5052 |
(the integer |
5053 |
(catch 'ct8 |
5054 |
(catch 'ct5 |
5055 |
(catch 'ct7 |
5056 |
(flet ((%f3 (f3-1 f3-2 &optional (f3-3 a) (f3-4 c)) b)) |
5057 |
(labels ((%f13 (f13-1 f13-2 f13-3) |
5058 |
(let* ((*s4* |
5059 |
(return-from %f13 |
5060 |
(flet ((%f18 (f18-1 f18-2) |
5061 |
(apply #'%f3 |
5062 |
(progv nil nil f13-2) |
5063 |
(list (%f3 -460 f18-1 10095 352819651))))) |
5064 |
(flet ((%f5 () |
5065 |
(funcall #'%f3 |
5066 |
f13-2 |
5067 |
(flet ((%f14 (f14-1 f14-2 &optional (f14-3 f13-2) (f14-4 -15)) |
5068 |
160080387)) |
5069 |
-196377) |
5070 |
(isqrt |
5071 |
(abs |
5072 |
(if (/= 117 (%f18 -14 -46574)) |
5073 |
(return-from |
5074 |
%f13 |
5075 |
(ignore-errors |
5076 |
(flet ((%f12 (f12-1 f12-2 &optional (f12-3 740148786) |
5077 |
(f12-4 -20) |
5078 |
(f12-5 -35261)) |
5079 |
f12-3)) |
5080 |
(%f3 |
5081 |
(%f3 b (%f12 c b f13-3 f13-1 -1124)) |
5082 |
0 |
5083 |
-1003264058 |
5084 |
f13-1)))) |
5085 |
(block b3 (labels ((%f15 () f13-2)) -4858377))))) |
5086 |
(%f3 793 f13-2 f13-3 a)))) |
5087 |
f13-3))))) |
5088 |
(* -420793 |
5089 |
(%f3 (%f3 f13-1 f13-3 f13-3 f13-2) 0 8604 f13-1))))) |
5090 |
(lognor |
5091 |
(progv nil nil |
5092 |
(if (< -16 c) |
5093 |
15867134 |
5094 |
(- |
5095 |
(throw 'ct5 |
5096 |
(prog1 7 |
5097 |
(floor |
5098 |
(max (%f13 -4862 -888 -53824112) a -17974 1540006) |
5099 |
(min -74 -473379))))))) |
5100 |
(progv nil nil (prog1 b 22 c a))))))))) |
5101 |
(catch 'ct1 (throw 'ct1 0)) |
5102 |
0))) |
5103 |
794801 211700 -1246335) |
5104 |
7) |
5105 |
|
5106 |
;;; Tests added by Camm for gcl |
5107 |
|
5108 |
(deftest misc.296 |
5109 |
(funcall |
5110 |
(compile |
5111 |
nil |
5112 |
'(lambda (a b c d e f g h) |
5113 |
(declare (type (integer -2016726144 234357120) a)) |
5114 |
(declare (type (integer -10569521299456 -1307998945280) b)) |
5115 |
(declare (type (integer -45429002240 -17228484608) c)) |
5116 |
(declare (type (integer 228451840 1454976512) d)) |
5117 |
(declare (type (integer -4797 -2609) e)) |
5118 |
(declare (type (integer -21 36300536) f)) |
5119 |
(declare (type (integer -15983530 31646604) g)) |
5120 |
(declare (type (integer -208720272 -357) h)) |
5121 |
(declare (ignorable a b c d e f g h)) |
5122 |
(declare (optimize (speed 1) (space 3) (safety 3) (debug 0) |
5123 |
(compilation-speed 3))) |
5124 |
(expt (labels ((%f14 (f14-1 f14-2) |
5125 |
(progn |
5126 |
(tagbody |
5127 |
(+ |
5128 |
(unwind-protect |
5129 |
(labels ((%f1 (f1-1) (go tag1))) |
5130 |
(let ((*s6* (%f1 d))) 0)))) |
5131 |
tag1 |
5132 |
(+ |
5133 |
(cl::handler-bind () |
5134 |
(if (<= -11215713 -819) |
5135 |
(integer-length |
5136 |
(floor (conjugate f14-1) |
5137 |
(max 12 |
5138 |
(ceiling |
5139 |
(block b2 |
5140 |
(catch 'ct2 |
5141 |
(ignore-errors |
5142 |
(flet |
5143 |
((%f13 (f13-1) |
5144 |
(logior 87 f14-2))) |
5145 |
f14-1)))))))) |
5146 |
(progv '(*s8*) (list 472865632) |
5147 |
*s8*))))) |
5148 |
0))) |
5149 |
(%f14 0 0)) |
5150 |
0))) |
5151 |
-28594854 -3859203606860 -40757449218 894599577 -4163 11621230 |
5152 |
29558853 -92216802) |
5153 |
1) |
5154 |
|
5155 |
|
5156 |
(deftest misc.297 |
5157 |
(funcall |
5158 |
(compile |
5159 |
nil |
5160 |
'(lambda (a b c d e f g h) |
5161 |
(declare (type (integer -4354712743936 666241234) a)) |
5162 |
(declare (type (integer -23496787232 13342697120) b)) |
5163 |
(declare (type (integer -6834570 6274788) c)) |
5164 |
(declare (type (integer -1988742 -250650) d)) |
5165 |
(declare (type (integer 10523345 10868247) e)) |
5166 |
(declare (type (integer -489185 -46267) f)) |
5167 |
(declare (type (integer -627627253760 226529) g)) |
5168 |
(declare (type (integer -1039260485 -22498) h)) |
5169 |
(declare (ignorable a b c d e f g h)) |
5170 |
(declare (optimize (speed 1) (space 3) (safety 2) (debug 2) |
5171 |
(compilation-speed 0))) |
5172 |
(labels ((%f7 (f7-1 f7-2 f7-3 &optional (f7-4 0) (f7-5 0) |
5173 |
(f7-6 (labels |
5174 |
((%f6 (f6-1) |
5175 |
(labels ((%f9 (f9-1) 0)) |
5176 |
(progn |
5177 |
(tagbody |
5178 |
(unwind-protect |
5179 |
(if (%f9 (go tag4)) 0 0)) |
5180 |
tag4 |
5181 |
(cl::handler-case |
5182 |
0)) |
5183 |
h)))) |
5184 |
(apply #'%f6 0 nil)))) |
5185 |
0)) |
5186 |
(%f7 0 d 0 f d)))) |
5187 |
-4319330882538 -3195059121 -2799927 -1466395 10630639 -224479 |
5188 |
-502579707077 -985908422) |
5189 |
0) |
5190 |
|
5191 |
(deftest misc.298 |
5192 |
(funcall |
5193 |
(compile |
5194 |
nil |
5195 |
'(lambda (a b c d e f g h) |
5196 |
(declare (type (integer 1296736620544 1680954654720) a)) |
5197 |
(declare (type (integer -2 -2) b)) |
5198 |
(declare (type (integer 1 42303) c)) |
5199 |
(declare (type (integer -38881008000 1333202563072) d)) |
5200 |
(declare (type (integer -435684 1289298) e)) |
5201 |
(declare (type (integer -164302654464 -10150328832) f)) |
5202 |
(declare (type (integer 30759259904 38429537792) g)) |
5203 |
(declare (type (integer -1628949299200 -47724342) h)) |
5204 |
(declare (ignorable a b c d e f g h)) |
5205 |
(declare (optimize (speed 3) (space 1) (safety 0) (debug 0) |
5206 |
(compilation-speed 1))) |
5207 |
(progn |
5208 |
(tagbody |
5209 |
(let ((v9 (unwind-protect (go 0)))) 0) |
5210 |
0 |
5211 |
(numerator (funcall (constantly 0) (logorc2 0 0) 0))) |
5212 |
0))) |
5213 |
1451922002679 -2 285 1067997670626 1115209 -37445463114 |
5214 |
36530345360 -80501559891) |
5215 |
0) |
5216 |
|
5217 |
(deftest misc.299 |
5218 |
(funcall |
5219 |
(compile |
5220 |
nil |
5221 |
'(lambda (a b c d e f g h) |
5222 |
(declare (type (integer -1814 3348) a)) |
5223 |
(declare (type (integer -32239015 12) b)) |
5224 |
(declare (type (integer 128412 101411593) c)) |
5225 |
(declare (type (integer -329076792320 -22) d)) |
5226 |
(declare (type (integer 77651198 86069496) e)) |
5227 |
(declare (type (integer -4616 3453771) f)) |
5228 |
(declare (type (integer -14889981824 53610580608) g)) |
5229 |
(declare (type (integer -1049733788 46605484288) h)) |
5230 |
(declare (ignorable a b c d e f g h)) |
5231 |
(declare (optimize (speed 2) (space 1) (safety 3) (debug 2) |
5232 |
(compilation-speed 2))) |
5233 |
(conjugate |
5234 |
(progn |
5235 |
(tagbody |
5236 |
(flet ((%f3 nil 0)) |
5237 |
(unwind-protect |
5238 |
(flet ((%f10 (f10-1) (let ((*s6* (%f3))) (go 6)))) |
5239 |
(funcall #'%f10 f)))) |
5240 |
6 |
5241 |
(let ((*s1* (restart-bind () |
5242 |
(labels ((%f1 (f1-1) 3136)) |
5243 |
(let () |
5244 |
(progv '(*s5* *s1*) |
5245 |
(list |
5246 |
(labels |
5247 |
((%f2 nil (catch 'ct8 -11))) |
5248 |
-70941710) |
5249 |
(if nil (%f1 -1) 87)) |
5250 |
(progn |
5251 |
(tagbody |
5252 |
(%f1 *s1*) |
5253 |
3 |
5254 |
(block b2 (progn a)) |
5255 |
tag3) |
5256 |
h))))))) |
5257 |
0)) |
5258 |
0)))) |
5259 |
1555 -22062210 85224215 -161218251003 78463284 730073 |
5260 |
33930166854 37839245921) |
5261 |
0) |
5262 |
|
5263 |
(deftest misc.300 |
5264 |
(funcall |
5265 |
(compile |
5266 |
nil |
5267 |
'(lambda (a b c d e f g h) |
5268 |
(declare (type (integer -29429 -3320) a)) |
5269 |
(declare (type (integer -407874593 279639852) b)) |
5270 |
(declare (type (integer -542849760256 3344389718016) c)) |
5271 |
(declare (type (integer -2 12012755) d)) |
5272 |
(declare (type (integer -248 -228) e)) |
5273 |
(declare (type (integer 5 15636824592) f)) |
5274 |
(declare (type (integer 21039 21595) g)) |
5275 |
(declare (type (integer -1867743555584 -1621183025152) h)) |
5276 |
(declare (ignorable a b c d e f g h)) |
5277 |
(declare (optimize (speed 1) (space 3) (safety 1) (debug 2) |
5278 |
(compilation-speed 3))) |
5279 |
(labels ((%f12 (f12-1 f12-2 f12-3) 0)) |
5280 |
(labels ((%f17 (f17-1) |
5281 |
(progn |
5282 |
(tagbody |
5283 |
(max (apply (constantly 0) |
5284 |
(list |
5285 |
(%f12 (unwind-protect (go tag1)) |
5286 |
0 d) |
5287 |
0 f))) |
5288 |
tag1 |
5289 |
(dpb (realpart |
5290 |
(expt |
5291 |
(round |
5292 |
(return-from %f17 |
5293 |
(restart-bind () |
5294 |
(complex e 0))) |
5295 |
(max 40 0)) |
5296 |
0)) |
5297 |
(byte 0 0) 0)) |
5298 |
0))) |
5299 |
(%f12 0 (%f17 0) 0))))) |
5300 |
-6416 -274982013 2946309248013 1724720 -228 5782683458 21484 |
5301 |
-1681168611256) |
5302 |
0) |
5303 |
|
5304 |
|
5305 |
(deftest misc.301 |
5306 |
(funcall |
5307 |
(compile |
5308 |
nil |
5309 |
'(lambda (a b c d e f g h) |
5310 |
(declare (type (integer -1814 3348) a)) |
5311 |
(declare (type (integer -32239015 12) b)) |
5312 |
(declare (type (integer 128412 101411593) c)) |
5313 |
(declare (type (integer -329076792320 -22) d)) |
5314 |
(declare (type (integer 77651198 86069496) e)) |
5315 |
(declare (type (integer -4616 3453771) f)) |
5316 |
(declare (type (integer -14889981824 53610580608) g)) |
5317 |
(declare (type (integer -1049733788 46605484288) h)) |
5318 |
(declare (ignorable a b c d e f g h)) |
5319 |
(declare (optimize (speed 2) (space 1) (safety 3) (debug 2) |
5320 |
(compilation-speed 2))) |
5321 |
(conjugate |
5322 |
(progn |
5323 |
(tagbody |
5324 |
(flet ((%f3 nil 0)) |
5325 |
(unwind-protect |
5326 |
(flet ((%f10 (f10-1) (let ((*s6* (%f3))) (go 6)))) |
5327 |
(funcall #'%f10 f)))) |
5328 |
6 |
5329 |
(let ((*s1* (restart-bind () |
5330 |
(labels ((%f1 (f1-1) 3136)) |
5331 |
(let () |
5332 |
(progv '(*s5* *s1*) |
5333 |
(list |
5334 |
(labels |
5335 |
((%f2 nil (catch 'ct8 -11))) |
5336 |
-70941710) |
5337 |
(if nil (%f1 -1) 87)) |
5338 |
(progn |
5339 |
(tagbody |
5340 |
(%f1 *s1*) |
5341 |
3 |
5342 |
(block b2 (progn a)) |
5343 |
tag3) |
5344 |
h))))))) |
5345 |
0)) |
5346 |
0)))) |
5347 |
1555 -22062210 85224215 -161218251003 78463284 730073 |
5348 |
33930166854 37839245921) |
5349 |
0) |
5350 |
|
5351 |
(deftest misc.302 |
5352 |
(funcall |
5353 |
(compile |
5354 |
nil |
5355 |
'(lambda (a b c d e f g h) |
5356 |
(declare (type (integer -206837809920 -126404559104) a)) |
5357 |
(declare (type (integer -277874608640 -63724432) b)) |
5358 |
(declare (type (integer -2 0) c)) |
5359 |
(declare (type (integer -5992710 9946878) d)) |
5360 |
(declare (type (integer -4345390743552 -76504514048) e)) |
5361 |
(declare (type (integer -330 3826137) f)) |
5362 |
(declare (type (integer -517792898560 -1193868) g)) |
5363 |
(declare (type (integer 2018 98092396) h)) |
5364 |
(declare (ignorable a b c d e f g h)) |
5365 |
(declare (optimize (speed 2) (space 2) (safety 2) (debug 1) |
5366 |
(compilation-speed 1))) |
5367 |
(flet ((%f12 (f12-1 f12-2 &optional (f12-3 0) |
5368 |
(f12-4 (progn |
5369 |
(tagbody |
5370 |
(unwind-protect (go tag6)) |
5371 |
tag6) |
5372 |
(flet ((%f1 (f1-1 f1-2) 0)) |
5373 |
(apply #'%f1 0 0 (list)))))) |
5374 |
0)) |
5375 |
(%f12 0 e)))) |
5376 |
-195379170409 -30212852077 -1 -2082141 -1686846623470 360505 |
5377 |
-324299330279 37218064) |
5378 |
0) |
5379 |
|
5380 |
(deftest misc.303 |
5381 |
(funcall |
5382 |
(compile |
5383 |
nil |
5384 |
'(lambda (a b c d e f g h) |
5385 |
(declare (type (integer -55724018 0) a)) |
5386 |
(declare (type (integer -4929718 2777256) b)) |
5387 |
(declare (type (integer 18939493568 24064422528) c)) |
5388 |
(declare (type (integer -13157393 112210531) d)) |
5389 |
(declare (type (integer -75775 -4883) e)) |
5390 |
(declare (type (integer 5071 1584913674240) f)) |
5391 |
(declare (type (integer -1 -1) g)) |
5392 |
(declare (type (integer -100 7017454141440) h)) |
5393 |
(declare (ignorable a b c d e f g h)) |
5394 |
(declare (optimize (speed 1) (space 3) (safety 3) (debug 1) |
5395 |
(compilation-speed 1))) |
5396 |
(labels ((%f7 (f7-1 &optional (f7-2 0) (f7-3 0) (f7-4 0)) 0)) |
5397 |
(progn |
5398 |
(denominator |
5399 |
(progn |
5400 |
(let ((*s6* (progn |
5401 |
(tagbody |
5402 |
(unwind-protect |
5403 |
(%f7 0 0 (go tag6) d)) |
5404 |
tag6 |
5405 |
(restart-case 0)) |
5406 |
0))) |
5407 |
0) |
5408 |
0)) |
5409 |
0)))) |
5410 |
-23410726 -4342503 20297113275 80145634 -17664 937086103773 -1 |
5411 |
2923877584757) |
5412 |
0) |
5413 |
|
5414 |
(deftest misc.304 |
5415 |
(funcall |
5416 |
(compile |
5417 |
nil |
5418 |
'(lambda (a b c d e f g h) |
5419 |
(declare (type (integer -11679 1672) a)) |
5420 |
(declare (type (integer -359757 -216048) b)) |
5421 |
(declare (type (integer -46345706880 -1824) c)) |
5422 |
(declare (type (integer -18 18) d)) |
5423 |
(declare (type (integer -70852138 427028370944) e)) |
5424 |
(declare (type (integer -428904547840 535369082368) f)) |
5425 |
(declare (type (integer -4372225 83) g)) |
5426 |
(declare (type (integer -2 0) h)) |
5427 |
(declare (ignorable a b c d e f g h)) |
5428 |
(declare (optimize (speed 2) (space 1) (safety 3) (debug 0) |
5429 |
(compilation-speed 1))) |
5430 |
(labels ((%f1 (f1-1 f1-2 f1-3) 0)) |
5431 |
(rationalize |
5432 |
(%f1 (progn |
5433 |
(tagbody |
5434 |
(let ((v3 (%f1 (unwind-protect (go tag2)) b 0))) |
5435 |
0) |
5436 |
tag2) |
5437 |
0) |
5438 |
h (cl::handler-case 0)))))) |
5439 |
-7209 -223767 -42093806027 -9 132172281069 138363461574 |
5440 |
-3751010 0) |
5441 |
0) |
5442 |
|
5443 |
(deftest misc.305 |
5444 |
(funcall |
5445 |
(compile |
5446 |
nil |
5447 |
'(lambda (a b c d e f g h) |
5448 |
(declare (type (integer -438 247) a)) |
5449 |
(declare (type (integer -93662232 112841) b)) |
5450 |
(declare (type (integer 8769 2766606) c)) |
5451 |
(declare (type (integer -33007133760 32531429568) d)) |
5452 |
(declare (type (integer 419 3712) e)) |
5453 |
(declare (type (integer 1628 20513914304) f)) |
5454 |
(declare (type (integer -1347290 47) g)) |
5455 |
(declare (type (integer -12 3030073088) h)) |
5456 |
(declare (ignorable a b c d e f g h)) |
5457 |
(declare (optimize (speed 3) (space 3) (safety 0) (debug 3) |
5458 |
(compilation-speed 0))) |
5459 |
(flet ((%f5 (f5-1 f5-2 &optional (f5-3 0) (f5-4 0) (f5-5 0)) |
5460 |
(progn |
5461 |
(tagbody (unwind-protect (go tag1)) tag1) |
5462 |
(coerce (let* ((*s4* |
5463 |
(flet |
5464 |
((%f1 nil |
5465 |
(let* |
5466 |
((v7 (dpb 0 (byte 0 0) c))) |
5467 |
a))) |
5468 |
(progv '(*s6* *s7*) |
5469 |
(list (%f1) 0) |
5470 |
g)))) |
5471 |
c) |
5472 |
'integer)))) |
5473 |
(if (%f5 d 0 e 0 0) h 0)))) |
5474 |
-58 -22237190 2055343 -8144832891 1213 19038103159 -1009345 |
5475 |
929619162) |
5476 |
929619162) |
5477 |
|
5478 |
(deftest misc.306 |
5479 |
(funcall |
5480 |
(compile |
5481 |
nil |
5482 |
'(lambda (a b c d e f g h) |
5483 |
(declare (type (integer 261 234565) a)) |
5484 |
(declare (type (integer -1454263719936 -3279802168) b)) |
5485 |
(declare (type (integer -1251120498 -49518770) c)) |
5486 |
(declare (type (integer 0 369) d)) |
5487 |
(declare (type (integer -12465203856 -45) e)) |
5488 |
(declare (type (integer -94321486 -91941853) f)) |
5489 |
(declare (type (integer -16528338864 11322249648) g)) |
5490 |
(declare (type (integer -1230549 -1143976) h)) |
5491 |
(declare (ignorable a b c d e f g h)) |
5492 |
(declare (optimize (speed 2) (space 1) (safety 0) (debug 0) |
5493 |
(compilation-speed 0))) |
5494 |
(denominator |
5495 |
(progn |
5496 |
(tagbody (unwind-protect (go tag7)) tag7) |
5497 |
(logxor f |
5498 |
(multiple-value-bind (*s4*) |
5499 |
(logxor 0 (expt -2 1)) |
5500 |
(truncate 0))))))) |
5501 |
130724 -736795298357 -1221747467 326 -9775240900 -94105708 |
5502 |
-2273680158 -1156846) |
5503 |
1) |
5504 |
|
5505 |
(deftest misc.307 |
5506 |
(funcall |
5507 |
(compile |
5508 |
nil |
5509 |
'(lambda (a b c d e f g h) |
5510 |
(declare (type (integer -2903632 1282236) a)) |
5511 |
(declare (type (integer 7 10741) b)) |
5512 |
(declare (type (integer -249635 214804) c)) |
5513 |
(declare (type (integer -50422 10469) d)) |
5514 |
(declare (type (integer -52337314 10771161) e)) |
5515 |
(declare (type (integer 0 5333060) f)) |
5516 |
(declare (type (integer -1 0) g)) |
5517 |
(declare (type (integer 1595835 4577573) h)) |
5518 |
(declare (ignorable a b c d e f g h)) |
5519 |
(declare (optimize (speed 1) (space 3) (safety 3) (debug 3) |
5520 |
(compilation-speed 1))) |
5521 |
(flet ((%f11 (f11-1 f11-2) 0)) |
5522 |
(%f11 0 |
5523 |
(unwind-protect |
5524 |
e |
5525 |
(progn |
5526 |
(tagbody |
5527 |
(let* ((v4 (progn (unwind-protect (go 0)) 0))) |
5528 |
0) |
5529 |
0) |
5530 |
(logand (cl::handler-bind () |
5531 |
(logand -15 -2 32578787 10349 e |
5532 |
-24781944 -8))))))))) |
5533 |
60336 1625 124302 -33193 -8095855 4995857 0 4572381) |
5534 |
0) |
5535 |
|
5536 |
(deftest misc.308 |
5537 |
(funcall |
5538 |
(compile |
5539 |
nil |
5540 |
'(lambda (a b c d e f g h) |
5541 |
(declare (type (integer -2806612475904 8750665416704) a)) |
5542 |
(declare (type (integer -3 10) b)) |
5543 |
(declare (type (integer -94336824 116591592) c)) |
5544 |
(declare (type (integer 456813135872 903636350976) d)) |
5545 |
(declare (type (integer -2364199833600 -172353318912) e)) |
5546 |
(declare (type (integer 717 1760915) f)) |
5547 |
(declare (type (integer -21 105) g)) |
5548 |
(declare (type (integer -3579048169472 -346272903168) h)) |
5549 |
(declare (ignorable a b c d e f g h)) |
5550 |
(declare (optimize (speed 2) (space 1) (safety 0) (debug 0) |
5551 |
(compilation-speed 0))) |
5552 |
(labels ((%f7 (f7-1) |
5553 |
(multiple-value-prog1 0 |
5554 |
0 |
5555 |
(return-from %f7 (mask-field (byte 0 0) 0))))) |
5556 |
(unwind-protect (%f7 0))))) |
5557 |
1951007924893 10 -49879990 614214833752 -1808568999586 1282634 |
5558 |
99 -2783010573143) |
5559 |
0) |
5560 |
|
5561 |
(deftest misc.309 |
5562 |
(funcall |
5563 |
(compile |
5564 |
nil |
5565 |
'(lambda (a b c d e f g h) |
5566 |
(declare (type (integer -521338 12) a)) |
5567 |
(declare (type (integer -1787856009216 1182078822400) b)) |
5568 |
(declare (type (integer -3313 28535137344) c)) |
5569 |
(declare (type (integer -38914612 -25121536) d)) |
5570 |
(declare (type (integer 403073126400 2632230309888) e)) |
5571 |
(declare (type (integer -39663606528 -1238304) f)) |
5572 |
(declare (type (integer -103560 -70383) g)) |
5573 |
(declare (type (integer -894 -227) h)) |
5574 |
(declare (ignorable a b c d e f g h)) |
5575 |
(declare (optimize (speed 3) (space 1) (safety 1) (debug 3) |
5576 |
(compilation-speed 2))) |
5577 |
(block b8 |
5578 |
(multiple-value-prog1 |
5579 |
(logand (logior 0 |
5580 |
(if (logbitp 0 0) 0 |
5581 |
(multiple-value-bind (v2) 0 0)))) |
5582 |
(gcd (let* ((*s4* 0)) |
5583 |
(logior 0 |
5584 |
(return-from b8 |
5585 |
(let ((*s8* 0)) (round 0)))))) |
5586 |
0 |
5587 |
0)))) |
5588 |
-275760 -565946697213 9650536069 -37585973 1536165173011 |
5589 |
-12895970021 -102192 -534) |
5590 |
0 0) |
5591 |
|
5592 |
|
5593 |
(deftest misc.310 |
5594 |
(funcall |
5595 |
(compile |
5596 |
nil |
5597 |
'(lambda (a b c d e f g h) |
5598 |
(declare (type (integer -2016726144 234357120) a)) |
5599 |
(declare (type (integer -10569521299456 -1307998945280) b)) |
5600 |
(declare (type (integer -45429002240 -17228484608) c)) |
5601 |
(declare (type (integer 228451840 1454976512) d)) |
5602 |
(declare (type (integer -4797 -2609) e)) |
5603 |
(declare (type (integer -21 36300536) f)) |
5604 |
(declare (type (integer -15983530 31646604) g)) |
5605 |
(declare (type (integer -208720272 -357) h)) |
5606 |
(declare (ignorable a b c d e f g h)) |
5607 |
(declare (optimize (speed 1) (space 3) (safety 3) (debug 0) |
5608 |
(compilation-speed 3))) |
5609 |
(expt (labels ((%f14 (f14-1 f14-2) |
5610 |
(progn |
5611 |
(tagbody |
5612 |
(+ |
5613 |
(unwind-protect |
5614 |
(labels ((%f1 (f1-1) (go tag1))) |
5615 |
(let ((*s6* (%f1 d))) 0)))) |
5616 |
tag1 |
5617 |
(+ |
5618 |
(cl::handler-bind () |
5619 |
(if (<= -11215713 -819) |
5620 |
(integer-length |
5621 |
(floor (conjugate f14-1) |
5622 |
(max 12 |
5623 |
(ceiling |
5624 |
(block b2 |
5625 |
(catch 'ct2 |
5626 |
(ignore-errors |
5627 |
(flet |
5628 |
((%f13 (f13-1) |
5629 |
(logior 87 f14-2))) |
5630 |
f14-1)))))))) |
5631 |
(progv '(*s8*) (list 472865632) |
5632 |
*s8*))))) |
5633 |
0))) |
5634 |
(%f14 0 0)) |
5635 |
0))) |
5636 |
-28594854 -3859203606860 -40757449218 894599577 -4163 11621230 |
5637 |
29558853 -92216802) |
5638 |
1) |
5639 |
|
5640 |
(deftest misc.311 |
5641 |
(funcall |
5642 |
(compile |
5643 |
nil |
5644 |
'(lambda (a b c d e f g h) |
5645 |
(declare (type (integer -1203392327680 -3017953) a)) |
5646 |
(declare (type (integer -34222 -1) b)) |
5647 |
(declare (type (integer -871294987 19) c)) |
5648 |
(declare (type (integer 717979131904 3341735845888) d)) |
5649 |
(declare (type (integer -7521858 3) e)) |
5650 |
(declare (type (integer -52 49) f)) |
5651 |
(declare (type (integer 18 43) g)) |
5652 |
(declare (type (integer -503567246 -46) h)) |
5653 |
(declare (ignorable a b c d e f g h)) |
5654 |
(declare (optimize (speed 1) (space 3) (safety 1) (debug 2) |
5655 |
(compilation-speed 2))) |
5656 |
(labels ((%f2 (f2-1 f2-2 f2-3 &optional |
5657 |
(f2-4 (let |
5658 |
((*s6* |
5659 |
(progn |
5660 |
(tagbody |
5661 |
(flet |
5662 |
((%f17 (f17-1 f17-2 f17-3) |
5663 |
(go 6))) |
5664 |
(%f17 0 b 0)) |
5665 |
6) |
5666 |
0))) |
5667 |
(complex |
5668 |
(progn |
5669 |
(tagbody |
5670 |
(labels |
5671 |
((%f18 |
5672 |
(f18-1 f18-2 &optional |
5673 |
(f18-3 0) (f18-4 f)) |
5674 |
0)) |
5675 |
(apply #'%f18 g 0 0 |
5676 |
(list))) |
5677 |
0) |
5678 |
0) |
5679 |
0))) |
5680 |
(f2-5 0) (f2-6 0)) |
5681 |
0)) |
5682 |
(%f2 0 0 f)))) |
5683 |
-738307241633 -25016 -846570136 2181696281793 -983259 24 36 |
5684 |
-185316211) |
5685 |
0) |
5686 |
|
5687 |
|
5688 |
(deftest misc.312 |
5689 |
(funcall |
5690 |
(compile |
5691 |
nil |
5692 |
'(lambda (a b c d e f g h) |
5693 |
(declare (type (integer -18334222 14354736) a)) |
5694 |
(declare (type (integer 11163582 6421184978944) b)) |
5695 |
(declare (type (integer -13690431913984 -64765792960) c)) |
5696 |
(declare (type (integer -12750925 31112834) d)) |
5697 |
(declare (type (integer -5188669232 2246825616) e)) |
5698 |
(declare (type (integer -31235593088 -134) f)) |
5699 |
(declare (type (integer -1 -1) g)) |
5700 |
(declare (type (integer -647589424 12392126736) h)) |
5701 |
(declare (ignorable a b c d e f g h)) |
5702 |
(declare (optimize (speed 3) (space 2) (safety 1) (debug 1) |
5703 |
(compilation-speed 1))) |
5704 |
(let ((*s4* (if (progn |
5705 |
(tagbody (unwind-protect (go 2)) 2) |
5706 |
0) |
5707 |
(numerator |
5708 |
(let* ((v1 |
5709 |
(let ((*s6* 0)) |
5710 |
(logand b |
5711 |
(rationalize |
5712 |
(coerce 0 'integer)))))) |
5713 |
0)) |
5714 |
0))) |
5715 |
0))) |
5716 |
7112398 3547401482305 -12827294644277 23312291 -444957551 |
5717 |
-5443955020 -1 4998457143) |
5718 |
0) |
5719 |
|
5720 |
(deftest misc.313 |
5721 |
(funcall |
5722 |
(compile |
5723 |
nil |
5724 |
'(lambda (a b c d e f g h) |
5725 |
(declare (type (integer 55474 401001) a)) |
5726 |
(declare (type (integer -8359558987776 8684176949248) b)) |
5727 |
(declare (type (integer -54332 116292) c)) |
5728 |
(declare (type (integer 0 0) d)) |
5729 |
(declare (type (integer -609311104000 959776553984) e)) |
5730 |
(declare (type (integer -2031580 3834807) f)) |
5731 |
(declare (type (integer -10955 2549) g)) |
5732 |
(declare (type (integer -8362590032 -210369) h)) |
5733 |
(declare (ignorable a b c d e f g h)) |
5734 |
(declare (optimize (speed 1) (space 3) (safety 1) (debug 0) |
5735 |
(compilation-speed 1))) |
5736 |
(dotimes (iv1 3 0) |
5737 |
(labels ((%f6 (f6-1 f6-2 f6-3 &optional |
5738 |
(f6-4 (flet |
5739 |
((%f3 |
5740 |
(f3-1 f3-2 f3-3 &optional |
5741 |
(f3-4 0)) |
5742 |
(flet ((%f11 nil 0)) |
5743 |
(ash |
5744 |
(progn |
5745 |
(tagbody |
5746 |
(labels |
5747 |
((%f3 |
5748 |
(f3-1 &optional |
5749 |
(f3-2 (go tag4))) |
5750 |
0)) |
5751 |
(%f3 0)) |
5752 |
tag4) |
5753 |
0) |
5754 |
(min 42 |
5755 |
(conjugate |
5756 |
(coerce |
5757 |
(conjugate |
5758 |
(let ((v9 (%f11))) |
5759 |
f3-1)) |
5760 |
'integer))))))) |
5761 |
(%f3 c 0 a))) |
5762 |
(f6-5 0)) |
5763 |
0)) |
5764 |
(apply #'%f6 0 0 h nil))))) |
5765 |
93287 3146418586486 -51786 0 -63479145888 1935918 -10058 -2033798238) |
5766 |
0) |
5767 |
|
5768 |
(deftest misc.314 |
5769 |
(funcall |
5770 |
(compile |
5771 |
nil |
5772 |
'(lambda (a b c d e f g h) |
5773 |
(declare (type (integer -176150296 698) a)) |
5774 |
(declare (type (integer -62799871488 -56234210816) b)) |
5775 |
(declare (type (integer -1 1) c)) |
5776 |
(declare (type (integer 31 215808) d)) |
5777 |
(declare (type (integer -3 -1) e)) |
5778 |
(declare (type (integer -3 3387651) f)) |
5779 |
(declare (type (integer -14370846720 -56648624) g)) |
5780 |
(declare (type (integer -8316238784 -6221617344) h)) |
5781 |
(declare (ignorable a b c d e f g h)) |
5782 |
(declare (optimize (speed 1) (space 1) (safety 1) (debug 2) |
5783 |
(compilation-speed 2))) |
5784 |
(progn |
5785 |
(tagbody |
5786 |
(unwind-protect |
5787 |
(let ((v10 (let* ((v7 (if (go tag6) 0 0))) 0))) 0)) |
5788 |
tag6 |
5789 |
(let ((v7 (flet ((%f11 nil 0)) |
5790 |
(flet ((%f13 (f13-1 f13-2 f13-3) f13-2)) |
5791 |
(funcall #'%f13 0 a (%f11)))))) |
5792 |
0)) |
5793 |
0))) |
5794 |
-90583503 -61289371485 -1 175888 -3 3257970 -3264725617 -6816839328) |
5795 |
0) |
5796 |
|