2466 |
c))) |
c))) |
2467 |
0 11000000000 0) |
0 11000000000 0) |
2468 |
0) |
0) |
2469 |
|
|
2470 |
|
;;; In sbcl 0.8.5.37 |
2471 |
|
;;; "Unreachable code is found or flow graph is not properly depth-first ordered." |
2472 |
|
|
2473 |
|
(deftest misc.175 |
2474 |
|
(funcall |
2475 |
|
(compile |
2476 |
|
nil |
2477 |
|
'(lambda (a b c) |
2478 |
|
(declare (notinline list apply values signum funcall)) |
2479 |
|
(declare (optimize (safety 3))) |
2480 |
|
(declare (optimize (speed 0))) |
2481 |
|
(declare (optimize (debug 0))) |
2482 |
|
(labels ((%f4 (f4-1 f4-2 f4-3) |
2483 |
|
(labels ((%f1 (f1-1 f1-2 f1-3) |
2484 |
|
2)) |
2485 |
|
(labels ((%f11 |
2486 |
|
(f11-1 |
2487 |
|
&optional |
2488 |
|
(f11-2 |
2489 |
|
(return-from %f4 |
2490 |
|
(labels ((%f8 |
2491 |
|
(f8-1 f8-2 f8-3 |
2492 |
|
&optional (f8-4 -35) |
2493 |
|
(f8-5 f4-2)) |
2494 |
|
f4-1)) |
2495 |
|
(funcall #'%f8 53 b f4-1))))) |
2496 |
|
(return-from %f4 a))) |
2497 |
|
(signum |
2498 |
|
(let ((v4 |
2499 |
|
(flet ((%f8 |
2500 |
|
(f8-1 f8-2 f8-3 |
2501 |
|
&optional (f8-4 b) (f8-5 -560367)) |
2502 |
|
f8-4)) |
2503 |
|
(%f8 -27 35395 c -69)))) |
2504 |
|
(%f11 |
2505 |
|
(multiple-value-call #'%f11 |
2506 |
|
(values (%f1 (%f11 b (%f11 v4 f4-3)) f4-3 77936) |
2507 |
|
1628490976)) |
2508 |
|
(return-from %f4 (%f1 -9432 f4-1 f4-1))))))))) |
2509 |
|
(flet ((%f7 (f7-1 f7-2 f7-3) |
2510 |
|
(%f4 b f7-3 f7-3))) |
2511 |
|
(flet ((%f14 (f14-1) |
2512 |
|
(apply #'%f7 -252 -56169265 -7322946 (list)))) |
2513 |
|
(%f14 a)))))) |
2514 |
|
-70313091 577425217 28052774417) |
2515 |
|
-70313091) |
2516 |
|
|
2517 |
|
;;; sbcl 0.8.5.37 |
2518 |
|
;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)" |
2519 |
|
|
2520 |
|
(deftest misc.176 |
2521 |
|
(funcall |
2522 |
|
(compile |
2523 |
|
nil |
2524 |
|
'(lambda (a b c) |
2525 |
|
(declare (type (integer 162180298 184143783) a)) |
2526 |
|
(declare (type (integer 702599480988 725878356286) b)) |
2527 |
|
(declare (type (integer 168 80719238530) c)) |
2528 |
|
(declare (optimize (speed 3))) |
2529 |
|
(declare (optimize (safety 1))) |
2530 |
|
(declare (optimize (debug 1))) |
2531 |
|
(block b6 |
2532 |
|
(flet ((%f10 (f10-1 f10-2) |
2533 |
|
(labels ((%f6 (f6-1 f6-2) |
2534 |
|
f6-1)) |
2535 |
|
(let ((v2 |
2536 |
|
(flet ((%f1 (f1-1 f1-2 f1-3) |
2537 |
|
f1-3)) |
2538 |
|
(let ((v8 |
2539 |
|
(%f1 -11350578 |
2540 |
|
(%f6 10414199 13) |
2541 |
|
-58931837))) |
2542 |
|
-239755)))) |
2543 |
|
323)))) |
2544 |
|
(labels ((%f4 |
2545 |
|
(f4-1 |
2546 |
|
&optional (f4-2 204) (f4-3 -1) |
2547 |
|
(f4-4 |
2548 |
|
(flet ((%f2 (f2-1) |
2549 |
|
(if t (return-from b6 c) a))) |
2550 |
|
(logorc2 (multiple-value-call #'%f2 (values 1)) |
2551 |
|
(let* ((v5 (floor (%f2 -1260)))) |
2552 |
|
(case (abs (logxor 185664 a)) |
2553 |
|
((-2 5975) |
2554 |
|
(if (or (< b v5) nil) |
2555 |
|
(return-from b6 |
2556 |
|
(let ((v10 (%f2 c))) |
2557 |
|
0)) |
2558 |
|
(multiple-value-call #'%f10 |
2559 |
|
(values -3 a)))) |
2560 |
|
(t b))))))) |
2561 |
|
1503938)) |
2562 |
|
(multiple-value-call #'%f4 (values -1 a 1853966))))))) |
2563 |
|
173549795 725346738048 993243799) |
2564 |
|
993243799) |
2565 |
|
|
2566 |
|
;;; different results (sbcl 0.8.5.37) |
2567 |
|
;;; May be that setq side effects bug again? |
2568 |
|
|
2569 |
|
(deftest misc.177 |
2570 |
|
(let* ((form '(flet ((%f11 |
2571 |
|
(f11-1 f11-2) |
2572 |
|
(labels ((%f4 () (round 200048 (max 99 c)))) |
2573 |
|
(logand |
2574 |
|
f11-1 |
2575 |
|
(labels ((%f3 (f3-1) -162967612)) |
2576 |
|
(%f3 (let* ((v8 (%f4))) |
2577 |
|
(setq f11-1 (%f4))))))))) |
2578 |
|
(%f11 -120429363 (%f11 62362 b)))) |
2579 |
|
(vars '(a b c)) |
2580 |
|
(vals '(6714367 9645616 -637681868)) |
2581 |
|
(fn1 `(lambda ,vars |
2582 |
|
(declare (type (integer 804561 7640697) a)) |
2583 |
|
(declare (type (integer -1 10441401) b)) |
2584 |
|
(declare (type (integer -864634669 55189745) c)) |
2585 |
|
(declare (ignorable a b c)) |
2586 |
|
(declare (optimize (speed 3))) |
2587 |
|
(declare (optimize (safety 1))) |
2588 |
|
(declare (optimize (debug 1))) |
2589 |
|
,form)) |
2590 |
|
(fn2 `(lambda ,vars |
2591 |
|
(declare (notinline list apply logand max round)) |
2592 |
|
(declare (optimize (safety 3))) |
2593 |
|
(declare (optimize (speed 0))) |
2594 |
|
(declare (optimize (debug 0))) |
2595 |
|
,form)) |
2596 |
|
(compiled-fn1 (compile nil fn1)) |
2597 |
|
(compiled-fn2 (compile nil fn2)) |
2598 |
|
(results1 (multiple-value-list (apply compiled-fn1 vals))) |
2599 |
|
(results2 (multiple-value-list (apply compiled-fn2 vals)))) |
2600 |
|
(if (equal results1 results2) |
2601 |
|
:good |
2602 |
|
(values results1 results2))) |
2603 |
|
:good) |
2604 |
|
|
2605 |
|
;;; sbcl 0.8.5.37 |
2606 |
|
;;; The value NIL is not of type INTEGER. |
2607 |
|
|
2608 |
|
(deftest misc.178 |
2609 |
|
(funcall |
2610 |
|
(compile |
2611 |
|
nil |
2612 |
|
'(lambda (a b c) |
2613 |
|
(declare (ignorable a b c)) |
2614 |
|
(declare (optimize (speed 3))) |
2615 |
|
(declare (optimize (safety 1))) |
2616 |
|
(declare (optimize (debug 1))) |
2617 |
|
(let ((v9 |
2618 |
|
(flet ((%f9 |
2619 |
|
(f9-1 f9-2 f9-3 |
2620 |
|
&optional (f9-4 -40538) |
2621 |
|
(f9-5 |
2622 |
|
(flet ((%f10 (f10-1 f10-2) |
2623 |
|
(labels ((%f11 (f11-1 f11-2) |
2624 |
|
(labels ((%f10 (f10-1 f10-2) |
2625 |
|
-1422)) |
2626 |
|
(if |
2627 |
|
(< b |
2628 |
|
(%f10 |
2629 |
|
(%f10 28262437 95387) |
2630 |
|
f10-2)) |
2631 |
|
-1562 |
2632 |
|
f10-2)))) |
2633 |
|
(let* ((v6 (%f11 59 b))) |
2634 |
|
(return-from %f10 |
2635 |
|
(apply #'%f11 |
2636 |
|
f10-1 |
2637 |
|
(list |
2638 |
|
(return-from %f10 |
2639 |
|
2029647)))))))) |
2640 |
|
(apply #'%f10 -3067 3854883 (list))))) |
2641 |
|
64066)) |
2642 |
|
(%f9 a 2774 0 c)))) |
2643 |
|
(flet ((%f18 (f18-1 f18-2 &optional (f18-3 66) (f18-4 b)) |
2644 |
|
-6939342)) |
2645 |
|
(%f18 1274880 (%f18 b a 46746370 -1)))))) |
2646 |
|
0 0 0) |
2647 |
|
-6939342) |