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

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

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.49 by pfdietz, Sat Nov 15 14:27:34 2003 UTC revision 1.50 by pfdietz, Sat Nov 15 19:19:03 2003 UTC
# Line 2076  Line 2076 
2076     100000 0 0)     100000 0 0)
2077    0)    0)
2078    
2079  ;;; sbcl (0.8.5.24) "The value NIL is not of type SB-C::CTRAN."  ;;; sbcl (0.8.5.24) The value NIL is not of type SB-C::CTRAN.
2080    
2081  (deftest misc.159  (deftest misc.159
2082    (funcall    (funcall
# Line 2091  Line 2091 
2091                     100)))))                     100)))))
2092    100)    100)
2093    
2094    ;;; sbcl (0.8.5.37) The value NIL is not of type SB-C::CTRAN.
2095    
2096    (deftest misc.159a
2097      (funcall
2098       (compile
2099        nil
2100        '(lambda (a b)
2101           (declare (type (integer -105680 2104974) a))
2102           (declare (type (integer -1881 -1134) b))
2103           (declare (ignorable a b))
2104           (declare (optimize (speed 3)))
2105           (declare (optimize (safety 1)))
2106           (declare (optimize (debug 1)))
2107           (block b5
2108             (let ((v2
2109                    (if (or (>= 34 a) 108361696)
2110                        (return-from b5 -1)
2111                      (lognand b -16023672))))
2112               (flet ((%f10
2113                       (f10-1
2114                        &optional (f10-2 (if (eql -30 v2) v2 -5)) (f10-3 v2)
2115                        (f10-4 14))
2116                       (if (equal a f10-2) f10-4 380663047)))
2117                 (flet ((%f6 (f6-1 f6-2 f6-3)
2118                             f6-1))
2119                   (multiple-value-call #'%f6
2120                                        (values a (%f10 -37243) -47691))))))))
2121       100 -1200)
2122      -1)
2123    
2124  ;;; gcl (9 Nov 2003) bug  ;;; gcl (9 Nov 2003) bug
2125  ;;; Error in FUNCALL [or a callee]: Caught fatal error [memory may be damaged]  ;;; Error in FUNCALL [or a callee]: Caught fatal error [memory may be damaged]
2126    
# Line 2467  Line 2497 
2497     0 11000000000 0)     0 11000000000 0)
2498    0)    0)
2499    
2500    (deftest misc.174a
2501      (funcall
2502       (compile
2503        nil
2504        '(lambda (a b)
2505           (declare (type (integer 23 365478242977) a))
2506           (declare (type (integer -38847 268231) b))
2507           (declare (optimize (speed 3)))
2508           (declare (optimize (safety 1)))
2509           (declare (optimize (debug 1)))
2510           (if (not (if (/= b 7) t (not (not a))))
2511               (case (setq b -5880)
2512                 ((8382 3401 2058 39167 62228)
2513                  (flet ((%f7 (f7-1 f7-2 f7-3) f7-1))
2514                    (multiple-value-call #'%f7 (values -135629 a -410168200))))
2515                 (t a))
2516             15173)))
2517       30 0)
2518      15173)
2519    
2520    (deftest misc.174b
2521      (funcall
2522       (compile
2523        nil
2524        '(lambda (a b)
2525           (declare (type (integer -8688 2170) a))
2526           (declare (type (integer -9938931470 1964967743) b))
2527           (declare (optimize (speed 3)))
2528           (declare (optimize (safety 1)))
2529           (declare (optimize (debug 1)))
2530           (if
2531               (and
2532                (if (if (equal b 9) nil t)
2533                    nil
2534                  (not
2535                   (logbitp 5
2536                            (labels ((%f5 (f5-1 f5-2 f5-3)
2537                                          4057223))
2538                              (let ((v9 (%f5 -42 -27504 45026809)))
2539                                15011)))))
2540                (if
2541                    (or a
2542                        (labels ((%f16 (f16-1)
2543                                       61))
2544                          (apply #'%f16 275 (list))))
2545                    a
2546                  t))
2547               (setq a -4803)
2548             (rem a (max 47 b)))))
2549       0 0)
2550      0)
2551    
2552  ;;; In sbcl 0.8.5.37  ;;; In sbcl 0.8.5.37
2553  ;;; "Unreachable code is found or flow graph is not properly depth-first ordered."  ;;; "Unreachable code is found or flow graph is not properly depth-first ordered."
2554    
# Line 2514  Line 2596 
2596     -70313091 577425217 28052774417)     -70313091 577425217 28052774417)
2597    -70313091)    -70313091)
2598    
2599    (deftest misc.175a
2600      (funcall
2601       (compile
2602        nil
2603        '(lambda (a b)
2604             (declare (notinline values list apply logior))
2605             (declare (optimize (safety 3)))
2606             (declare (optimize (speed 0)))
2607             (declare (optimize (debug 0)))
2608             (if nil
2609                 (logior (flet ((%f5 (f5-1) b)) (%f5 56288))
2610                  (flet ((%f17 (f17-1 f17-2
2611                              &optional
2612                              (f17-3 (let () 6857))
2613                              (f17-4
2614                               (labels ((%f3 (f3-1 f3-2 f3-3  &optional (f3-4 a) (f3-5 877))
2615                                             139))
2616                                 (apply #'%f3 (list -33052082 b a 1572)))))
2617                               b))
2618                    (multiple-value-call #'%f17 (values 31 b a b))))
2619                 392)))
2620       0 0)
2621      392)
2622    
2623    (deftest misc.175b
2624      (funcall
2625       (compile
2626        nil
2627        '(lambda (a b)
2628           (declare (type (integer -1185422977 2286472818) a))
2629           (declare (type (integer -211381289038 74868) b))
2630           (declare (ignorable a b))
2631           (declare (optimize (speed 3)))
2632           (declare (optimize (safety 1)))
2633           (declare (optimize (debug 1)))
2634           (lognor (unwind-protect -1248)
2635                   (flet ((%f7
2636                           (&optional
2637                            (f7-1
2638                             (flet ((%f1 (f1-1 f1-2 f1-3) 121426))
2639                               (%f1 b 2337452 (%f1 61767 b a))))
2640                            (f7-2
2641                             (block b8
2642                               (logandc1
2643                                (labels ((%f10 (f10-1 f10-2 f10-3) 323734600))
2644                                  (%f10 (%f10 323734600 323734600 -10165)
2645                                        -607741 (ignore-errors 971588)))
2646                                (if (>= b -27) (return-from b8 -2)
2647                                  (ignore-errors 237138926))))))
2648                           f7-2))
2649                     (apply #'%f7 (list 761316125 b))))))
2650       1792769319 -60202244870)
2651      5)
2652    
2653    
2654  ;;; sbcl 0.8.5.37  ;;; sbcl 0.8.5.37
2655  ;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)"  ;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)"
2656    
# Line 2645  Line 2782 
2782               (%f18 1274880 (%f18 b a 46746370 -1))))))               (%f18 1274880 (%f18 b a 46746370 -1))))))
2783     0 0 0)     0 0 0)
2784    -6939342)    -6939342)
2785    
2786    ;;; sbcl 0.8.5.37
2787    ;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)"
2788    
2789    (deftest misc.179
2790      (funcall
2791       (compile
2792        nil
2793        '(lambda (a b)
2794           (declare (type (integer 1135 16722) a))
2795           (declare (type (integer -640723637053 -9049) b))
2796           (declare (optimize (speed 3)))
2797           (declare (optimize (safety 1)))
2798           (declare (optimize (debug 1)))
2799           (block b3
2800             (return-from b3
2801               (flet ((%f17 (f17-1 &optional (f17-2 b) (f17-3 b))
2802                            (+ (if t (return-from b3 -64796) a))))
2803                 (case (%f17 -3908648 -7026139 a)
2804                   ((41771 -113272 -48004 -39699 50691 -13222)
2805                    (multiple-value-call #'%f17 (values -1963404294 -105)))
2806                   (t -7026139)))))))
2807       200 -10000)
2808      -64796)
2809    
2810    (deftest misc.180
2811      (funcall
2812       (compile
2813        nil
2814        '(lambda (a b)
2815           (declare (type (integer 41 484) a))
2816           (declare (type (integer -2546947 1008697961708) b))
2817           (declare (optimize (speed 3)))
2818           (declare (optimize (safety 1)))
2819           (declare (optimize (debug 1)))
2820           (if (and (ldb-test (byte 30 10) b) nil)
2821               (labels ((%f7 (f7-1 f7-2 &optional (f7-3 -508405733))
2822                             390004056))
2823                 (let* ((v4 (multiple-value-call #'%f7 (values b (%f7 b b)))))
2824                   (multiple-value-call #'%f7
2825                                        (values (%f7 80199 a)
2826                                                (%f7
2827                                                 (%f7 a
2828                                                      (let* ((v6 (%f7 -226 250)))
2829                                                        a))
2830                                                 (abs (ceiling v4)))))))
2831             -6001)))
2832       50 0)
2833      -6001)
2834    
2835    ;;; sbcl 0.8.5.37
2836    ;;; The value NIL is not of type SB-C::TAIL-SET.
2837    
2838    (deftest misc.181
2839      (funcall
2840       (compile
2841        nil
2842        '(lambda (a b)
2843             (declare (type (integer -74233251043 -16478648860) a))
2844             (declare (type (integer 0 960962) b))
2845             (declare (optimize (speed 3)))
2846             (declare (optimize (safety 1)))
2847             (declare (optimize (debug 1)))
2848             (flet ((%f14 ()
2849                      (if 1
2850                          (return-from %f14 a)
2851                          (labels ((%f10 (f10-1 f10-2 f10-3
2852                                                &optional (f10-4 (let* ((v7 a)) 915)))
2853                                     -1268205049))
2854                            (labels ((%f18 (f18-1)
2855                                       (multiple-value-call #'%f10
2856                                         (values f18-1
2857                                                 (%f10
2858                                                  (%f10 -1495
2859                                                        (%f10 -384
2860                                                              -84
2861                                                              (%f10 -1
2862                                                                    48052
2863                                                                    58909027
2864                                                                    -35812)
2865                                                              -114)
2866                                                        (%f10 -391646964
2867                                                              -28131299
2868                                                              f18-1
2869                                                              (%f10 b 368193 a)))
2870                                                  (%f10 f18-1
2871                                                        -1415811
2872                                                        f18-1
2873                                                        267932407)
2874                                                  174)
2875                                                 -58
2876                                                 320))))
2877                              (let* ((v3 (let ((v7 (return-from %f14 (%f18 -418731))))
2878                                           (%f10 104871 -1196 -21 a))))
2879                                (labels ((%f1 () (%f18 (%f18 -794761))))
2880                                  (return-from %f14 b))))))))
2881               (if (%f14) b 887481))))
2882       -51967629256 809047)
2883      809047)
2884    
2885    (deftest misc.181a
2886      (funcall
2887       (compile
2888        nil
2889        '(lambda (a b)
2890           (declare (type (integer -982285129 -90) a))
2891           (declare (type (integer 1 82987) b))
2892           (declare (optimize (speed 3)))
2893           (declare (optimize (safety 1)))
2894           (declare (optimize (debug 1)))
2895           (labels ((%f1 (f1-1 &optional (f1-2 -34) (f1-3 3318057) (f1-4 117))
2896                         (let ((v9 (let ((v9 (if t (return-from %f1 f1-2) 606042)))
2897                                     f1-1)))
2898                           (flet ((%f16 (f16-1 f16-2)  292))
2899                             (labels ((%f2 (f2-1 f2-2 f2-3
2900                                                 &optional (f2-4 f1-3) (f2-5 f1-4)
2901                                                 (f2-6 -418207187))
2902                                           (%f16 2099 (%f16 f1-2 1157))))
2903                               (return-from %f1 (%f2 f1-4 -12066040 v9 122107)))))))
2904             (flet ((%f5
2905                     (f5-1
2906                      &optional
2907                      (f5-2 (labels ((%f13 (f13-1 f13-2 f13-3
2908                                                  &optional (f13-4 a) (f13-5 b))
2909                                           1054213657))
2910                              (%f13 b 166441 -3)))
2911                      (f5-3 20102220)
2912                      (f5-4 (labels ((%f11 (f11-1 f11-2 f11-3)
2913                                           (%f1 -110148 (%f1 -12336576 f11-1 -61))))
2914                              (let ((v1 (apply #'%f11 -29706 a b (list))))
2915                                a))))
2916                     b))
2917               (labels ((%f17 (f17-1 f17-2 f17-3
2918                                     &optional (f17-4 -107566292) (f17-5 63) (f17-6 -2))
2919                              105656))
2920                 (%f5
2921                  (%f17 185703492 a a -511
2922                        (%f1 b b -218142
2923                             (%f17 -240978 2923208 22 (%f5 1542 68917407 a) b)))
2924                  -2018
2925                  -1))))))
2926       -100 1)
2927      1)
2928    

Legend:
Removed from v.1.49  
changed lines
  Added in v.1.50

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