/[gcl]/gcl/ansi-tests/misc.lsp
ViewVC logotype

Contents of /gcl/ansi-tests/misc.lsp

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1.96 - (show annotations) (download)
Mon Mar 29 14:32:32 2004 UTC (20 years, 1 month ago) by pfdietz
Branch: MAIN
Changes since 1.95: +5 -5 lines
Put CL:: prefix on HANDLER-CASE

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

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26