/[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.48 by pfdietz, Sat Nov 15 03:27:56 2003 UTC revision 1.49 by pfdietz, Sat Nov 15 14:27:34 2003 UTC
# Line 2466  Line 2466 
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)

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

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