/[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.64 by pfdietz, Mon Dec 1 10:43:29 2003 UTC revision 1.65 by uid67352, Tue Dec 23 18:44:50 2003 UTC
# Line 998  Line 998 
998                       -12))))                       -12))))
999    -12)    -12)
1000    
1001    (deftest misc.79a
1002      (funcall
1003       (compile
1004        nil
1005        '(lambda (a b)
1006           (declare (type (integer 72504 351460) a))
1007           (declare (type (integer 2383 108330) b))
1008           (declare (optimize (speed 2) (space 0) (safety 0)
1009                              (debug 2) (compilation-speed 1)))
1010           (if (or (or (/= b 0) (logbitp 0 0)) (logbitp 0 a))
1011               0
1012             (funcall (constantly 0) b 0 (catch 'ct4 b)))))
1013       132318 12238)
1014      0)
1015    
1016    
1017  ;;; cmucl (2003-10-12) "Invalid number of arguments: 2"  ;;; cmucl (2003-10-12) "Invalid number of arguments: 2"
1018  (deftest misc.80  (deftest misc.80
1019    (funcall    (funcall
# Line 1728  Line 1744 
1744     10 20)     10 20)
1745    -193644)    -193644)
1746    
1747    (deftest misc.132a
1748      (funcall
1749       (compile
1750        nil
1751        '(lambda ()
1752           (declare (optimize (speed 2) (space 0) (safety 0) (debug 2) (compilation-speed 0)))
1753           (labels ((%f1 () 0))
1754             (if t 0 (dotimes (iv1 5 (if (%f1) 0 0)) (catch 'ct1 0)))))))
1755      0)
1756    
1757  ;;; cmucl (22 Oct 2003)  Default for optional parameter is improperly chosen  ;;; cmucl (22 Oct 2003)  Default for optional parameter is improperly chosen
1758  (deftest misc.133  (deftest misc.133
1759    (funcall    (funcall
# Line 1950  Line 1976 
1976     10 20 30000)     10 20 30000)
1977    30000)    30000)
1978    
1979    (deftest misc.150a
1980      (funcall
1981       (compile
1982        nil
1983        '(lambda ()
1984           (declare (optimize (speed 3) (space 2) (safety 3)
1985                              (debug 3) (compilation-speed 2)))
1986           (catch 'ct6 (apply (constantly 0) (list))))))
1987      0)
1988    
1989    (deftest misc.150b
1990      (funcall
1991       (compile
1992        nil
1993        '(lambda (a)
1994           (declare (type integer a))
1995           (declare (optimize (speed 3) (space 0) (safety 3) (debug 2)
1996                              (compilation-speed 3)))
1997           (if (= a 0) 0 (truncate a))))
1998       0)
1999      0)
2000    
2001    (deftest misc.150c
2002      (funcall
2003       (compile
2004        nil
2005        '(lambda (a b)
2006           (declare (optimize (speed 1) (space 3) (safety 2) (debug 3) (compilation-speed 3)))
2007           (labels ((%f4 (f4-1)
2008                         0))
2009             (labels ((%f15
2010                       (f15-1 f15-2
2011                              &optional (f15-3 (apply #'%f4 0 nil)) (f15-4 0)
2012                              (f15-5 (%f4 (%f4 (if (/= 0 0) a 0)))))
2013                       0))
2014               (labels ((%f13 (f13-1)
2015                              (%f15 b 0 0 0)))
2016                 0)))))
2017       1 2)
2018      0)
2019    
2020    (deftest misc.150d
2021      (funcall
2022       (compile
2023        nil
2024        '(lambda (a b)
2025           (declare (type (integer 4146834609223 16403344221223) a))
2026           (declare (type (integer -35470308180 3523580009) b))
2027           (declare (optimize (speed 1) (space 3) (safety 3) (debug 0) (compilation-speed 0)))
2028           (catch 'ct1 (logand b a 0))))
2029       4146834609223 10)
2030      0)
2031    
2032  ;;; cmucl (11 2003 x86 linux)  "NIL is not of type C::ENVIRONMENT"  ;;; cmucl (11 2003 x86 linux)  "NIL is not of type C::ENVIRONMENT"
2033  (deftest misc.151  (deftest misc.151
2034    (funcall    (funcall
# Line 1966  Line 2045 
2045     -24 5657943)     -24 5657943)
2046    5520737)    5520737)
2047    
2048    (deftest misc.151a
2049      (funcall
2050       (compile
2051        nil
2052        '(lambda ()
2053           (declare
2054            (optimize (speed 3) (space 3) (safety 1) (debug 1) (compilation-speed 0)))
2055           (case 0 ((-12 -9 -12 -2 -5 -2 15) (catch 'ct7 (throw 'ct7 0))) (t 0)))))
2056      0)  
2057    
2058  ;;; sbcl bug (0.8.5.19)  ;;; sbcl bug (0.8.5.19)
2059  ;;; "The value NIL is not of type SB-C::REF."  ;;; "The value NIL is not of type SB-C::REF."
2060    
# Line 2155  Line 2244 
2244     -511 -2269809964 250738)     -511 -2269809964 250738)
2245    250738)    250738)
2246    
2247    (deftest misc.161a
2248      (funcall
2249       (compile nil
2250                '(lambda (a)
2251                   (declare (optimize (speed 3) (space 2) (safety 3) (debug 0) (compilation-speed 0)))
2252                   (progn (abs 0) (- a) 0)))
2253       1)
2254      0)
2255    
2256  ;;; cmucl (9 Nov 2003) Incorrect result at SPEED 0.  ;;; cmucl (9 Nov 2003) Incorrect result at SPEED 0.
2257    
2258  (deftest misc.162  (deftest misc.162
# Line 2371  Line 2469 
2469     17)     17)
2470    56211)    56211)
2471    
2472    (deftest misc.170a
2473      (funcall
2474       (compile
2475        nil
2476        '(lambda (a b)
2477           (declare (type (integer -281 30570) a))
2478           (declare (type (integer -4247786 -199821) b))
2479           (declare
2480            (optimize (speed 3)
2481                      (space 0)
2482                      (safety 0)
2483                      (debug 2)
2484                      (compilation-speed 1)))
2485           (flet ((%f14 (f14-1 f14-2)
2486                        (coerce 0 'integer)))
2487             (labels ((%f3 (f3-1 f3-2 f3-3)
2488                           (if
2489                               (if
2490                                   (typep (%f14 -864 -10620) '(integer -11672107617 -2))
2491                                   t
2492                                 (typep
2493                                  (imagpart
2494                                   (lcm 2120258 0 (logandc2 -6222 -1057382553)))
2495                                  '(integer * -113)))
2496                               (dotimes
2497                                   (iv3 5
2498                                        (flet ((%f11 (f11-1 f11-2 f11-3)
2499                                                     b))
2500                                          (multiple-value-call #'%f11
2501                                                               (values a a f3-3))))
2502                                 0)
2503                             0)))
2504               (case (%f3 a a 0) (t 0))))))
2505       22087 -1787181)
2506      0)
2507    
2508  ;;; The value NIL is not of type SB-C::NODE.  ;;; The value NIL is not of type SB-C::NODE.
2509    
2510  (deftest misc.171  (deftest misc.171
# Line 2985  Line 3119 
3119     0 6000 -9000000)     0 6000 -9000000)
3120    0)    0)
3121    
3122    (deftest misc.183a
3123      (let () (apply #'list 1 (list (catch 'a (throw 'a (block b 2))))))
3124      (1 2))
3125    
3126  ;;; sbcl 0.8.5.42  ;;; sbcl 0.8.5.42
3127  ;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)"  ;;; failed AVER: "(FUNCTIONAL-LETLIKE-P CLAMBDA)"
3128    
# Line 3318  Line 3456 
3456                         b))))                         b))))
3457      (funcall (compile nil fn) 4108962100))      (funcall (compile nil fn) 4108962100))
3458    11159349376)    11159349376)
3459    
3460    ;;; sbcl
3461    ;;; "The value 0 is not of type REAL."  (???)
3462    
3463    (deftest misc.200
3464      (funcall
3465       (compile nil '(lambda ()
3466                       (declare (optimize (speed 1) (space 0) (safety 3) (debug 3) (compilation-speed 1)))
3467                       (ceiling
3468                        (ceiling
3469                         (flet ((%f16 () 0)) (%f16)))))))
3470      0 0)
3471    
3472    ;;; ecl 5 Dec 2003
3473    ;;; Wrong number of arguments passed to an anonymous function
3474    
3475    (deftest misc.201
3476      ;; form to be evaluated
3477      (funcall
3478       (compile
3479        nil
3480        '(lambda (a b)
3481           (declare (optimize (speed 1) (space 0) (safety 0) (debug 2)
3482                              (compilation-speed 1)))
3483           (flet ((%f10 (f10-1) (return-from %f10 a)))
3484             (multiple-value-call #'%f10 (values b)))))
3485       10 -100)
3486      ;; expected return value
3487      10)
3488    
3489    ;;; Does not terminate?
3490    (deftest misc.202
3491      (funcall
3492       (compile
3493        nil
3494        '(lambda (a b c)
3495                 (declare (type (integer -363953100 5324773015552) a))
3496                 (declare (type (integer -5744998440960 59520311) b))
3497                 (declare (type (integer -1864645998 -14608) c))
3498                 (declare (ignorable a b c))
3499                 (declare (optimize (speed 3) (space 0) (safety 2) (debug 0)
3500                                    (compilation-speed 2)))
3501                 (flet ((%f1 (f1-1 f1-2)
3502                             (labels ((%f1 (f1-1 f1-2) 0)) (%f1 a f1-2))))
3503                       (%f1 0 c))))
3504       10 20 -20000)
3505      0)
3506    
3507    ;;; #<illegal pointer bfffe90c>
3508    (deftest misc.203
3509      (funcall
3510       (compile
3511        nil
3512        '(lambda (a)
3513           (declare (optimize (speed 3) (space 1) (safety 2) (debug 0)
3514                              (compilation-speed 0)))
3515           (labels ((%f18 (f18-1 f18-2 &optional (f18-3 a) (f18-4 a))
3516                          f18-2))
3517             (multiple-value-call #'%f18 (values a 0)))))
3518       100)
3519      0)
3520    
3521    ;;; `env0' undeclared (first use in this function)
3522    (deftest misc.204
3523      (funcall
3524       (compile
3525        nil
3526        '(lambda (a b)
3527              (declare (type (integer -4801373 -50300) a))
3528              (declare (type (integer -62 -28) b))
3529              (declare (ignorable a b))
3530              (declare (optimize (speed 1) (space 3) (safety 3) (debug 2)
3531                           (compilation-speed 2)))
3532              (flet ((%f12 (f12-1) 0))
3533                (labels ((%f3 (f3-1 f3-2 f3-3 &optional (f3-4 b) (f3-5 b)
3534                                    (f3-6 (labels ((%f9 nil b))
3535                                            (apply #'%f12 (%f9) nil))))
3536                              (%f12 0)))
3537                  (%f3 b 0 a)))))
3538       -2224841 -54)
3539      0)
3540    
3541    ;;; #<compiled-function 08405fd8> is not of type INTEGER.
3542    (deftest misc.205
3543      (funcall
3544       (compile
3545        nil
3546        '(lambda (a b)
3547           (declare (optimize (speed 3) (space 1) (safety 1) (debug 0)
3548                              (compilation-speed 3)))
3549           (labels ((%f1 nil b))
3550             (flet ((%f11 (f11-1 f11-2 f11-3) 0))
3551               (apply #'%f11 a (logand (%f1))
3552                      (flet ((%f13 (f13-1 f13-2) b))
3553                        (apply #'%f13 0 0 nil))
3554                      nil)))))
3555       100 200)
3556      0)
3557    
3558    ;;; #<bytecompiled-function %F14> is not of type INTEGER.
3559    (deftest misc.206
3560      (funcall
3561       #'(lambda (a b)
3562           (declare (notinline mask-field byte))
3563           (declare (optimize (speed 1) (space 1) (safety 2) (debug 1)
3564                              (compilation-speed 2)))
3565           (mask-field (byte 0 0)
3566                       (block b3
3567                         (labels ((%f14 nil (return-from b3 a))) (%f14)))))
3568       1 2)
3569      0)
3570    
3571    ;;; #<compiled-closure 08405fd8> is not of type INTEGER
3572    (deftest misc.207
3573      (funcall
3574       (compile
3575        nil
3576        '(lambda (a)
3577           (declare (optimize (speed 3) (space 2) (safety 0) (debug 1)
3578                              (compilation-speed 0)))
3579           (labels ((%f3 (f3-1) a))
3580             (labels ((%f10 (f10-1 f10-2) a))
3581               (apply #'%f10 0 (logior (%f3 0)) nil)))))
3582       -10000)
3583      -10000)
3584    
3585    ;;; `env0' undeclared (first use in this function)
3586    (deftest misc.208
3587      (funcall
3588       (compile
3589        nil
3590        '(lambda (b)
3591           (declare (optimize (speed 3) (space 2) (safety 3) (debug 3)
3592                              (compilation-speed 0)))
3593           (flet ((%f6 (f6-1 f6-2 f6-3) f6-3))
3594             (labels ((%f8 (f8-1) (let* ((v1 (%f6 0 0 0))) 0)))
3595               (apply #'%f6 b b (%f8 b) nil)))))
3596       10)
3597      0)
3598    
3599    ;;; Wrong value computed
3600    (deftest misc.209
3601      (funcall
3602       (compile
3603        nil
3604        '(lambda (b)
3605           (declare (optimize (speed 3) (space 2) (safety 3) (debug 3)
3606                              (compilation-speed 3)))
3607           (max (catch 'ct4 (throw 'ct4 (setq b 0))) b)))
3608       6353)
3609      0)
3610    
3611    ;;; Wrong value computed
3612    (deftest misc.210
3613      (funcall
3614       (compile
3615        nil
3616        '(lambda (c)
3617           (declare (type (integer 3 65500689) c))
3618           (declare (optimize (speed 2) (space 1) (safety 3) (debug 3)
3619                              (compilation-speed 2)))
3620           (catch 'ct6
3621             (let ((v10 (truncate (integer-length (throw 'ct6 0))))) c))))
3622       100)
3623      0)
3624    
3625    (deftest misc.210a
3626      (funcall
3627       (compile
3628        nil
3629        '(lambda (a)
3630           (declare (type (integer -55982525 -1) a))
3631           (declare (optimize (speed 1) (space 2) (safety 1) (debug 2)
3632                              (compilation-speed 1)))
3633           (flet ((%f11 (f11-1 f11-2 f11-3) a))
3634             (let ((v6 0))
3635               (flet ((%f12 (f12-1) v6))
3636                 (if (<= 0) (%f11 v6 0 0)
3637                   (multiple-value-call #'%f11
3638                                        (values 0 0 (%f11 0 0 (apply #'%f12 0 nil))))))))))
3639       -100)
3640      -100)
3641    
3642    ;;; Segmentation violation
3643    (deftest misc.211
3644      (funcall
3645       (compile
3646        nil
3647        '(lambda (a b c)
3648           (declare (type (integer -1439706333184 1191686946816) a))
3649           (declare (type (integer -28 282229324) b))
3650           (declare (type (integer -108149896 38889958912) c))
3651           (declare (optimize (speed 3) (space 1) (safety 2) (debug 1)
3652                              (compilation-speed 3)))
3653           (let ((v4 (labels ((%f8 (f8-1 &optional (f8-2 0) (f8-3 b)) 0))
3654                       (logior (%f8 0) (%f8 0 0)))))
3655             (truncate
3656              (labels ((%f4 (&optional (f4-1 (ceiling c))) a))
3657                (%f4 v4))
3658              (max 38
3659                   (labels ((%f8 (f8-1 &optional (f8-2 (+ c a))) 0))
3660                     (apply #'%f8 a nil)))))))
3661       -979021452526 138874383 21099308459)
3662      -25763722434
3663      -34)
3664    
3665    ;;; Wrong value returned
3666    (deftest misc.212
3667      (funcall #'(lambda ()
3668                   (declare (optimize (speed 2) (space 0) (safety 3) (debug 2)
3669                                      (compilation-speed 0)))
3670                   (let* ((v9 (unwind-protect 0))) v9)))
3671      0)
3672    
3673    ;;; segmentation violation
3674    (deftest misc.213
3675      (funcall
3676       (compile
3677        nil
3678        '(lambda (a b)
3679           (declare (type (integer -2 -1) b))
3680           (declare (optimize (speed 1) (space 0) (safety 1) (debug 1)
3681                              (compilation-speed 3)))
3682           (max (labels ((%f15 (f15-1) b)) (if (< 0 (%f15 a)) 0 0))
3683                (labels ((%f11 (f11-1 f11-2 f11-3) b))
3684                  (apply #'%f11 0 0 0 nil)))))
3685       0 -2)
3686      0)
3687    
3688    (deftest misc.213a
3689      (funcall
3690       (compile
3691        nil
3692        '(lambda (a)
3693           (declare (optimize (speed 3) (space 3) (safety 0) (debug 1)
3694                              (compilation-speed 3)))
3695           (max (labels ((%f7 (f7-1) a)) (%f7 0))
3696                (flet ((%f12 (f12-1 f12-2) (if a f12-2 0)))
3697                  (apply #'%f12 0 a nil)))))
3698       123)
3699      123)
3700    
3701    ;;; Wrong value
3702    (deftest misc.214
3703      (funcall
3704       (compile
3705        nil
3706        '(lambda (a)
3707           (declare (optimize (speed 3) (space 1) (safety 2) (debug 0)
3708                              (compilation-speed 2)))
3709           (flet ((%f8 nil (setq a 0))) (max a (%f8)))))
3710       100)
3711      100)
3712    
3713    ;;; Wrong value
3714    (deftest misc.215
3715      (funcall
3716       (compile
3717        nil
3718        '(lambda ()
3719           (declare (optimize (speed 3) (space 3) (safety 3) (debug 0)
3720                              (compilation-speed 2)))
3721           (ldb (byte 26 6) -1252))))
3722      67108844)
3723    
3724    ;;; Floating point exception
3725    (deftest misc.216
3726      (truncate 0 -2549795210)
3727      0 0)
3728    
3729    (deftest misc.217
3730      (ceiling 0 -2549795210)
3731      0 0)
3732        
3733    (deftest misc.218
3734      (floor 0 -2549795210)
3735      0 0)
3736    
3737    ;;; Infinite loop
3738    (deftest misc.219
3739      (funcall
3740       (compile
3741        nil
3742        '(lambda ()
3743           (labels ((%f (a b)
3744                        (labels ((%f (c d) 0))
3745                          (%f 1 2))))
3746             (%f 3 4)))))
3747      0)
3748    
3749    ;;; #\^E is not of type NUMBER.
3750    (deftest misc.220
3751      (funcall
3752       (compile
3753        nil
3754        '(lambda (a b)
3755           (declare (type (integer -3218770816 9386121) a))
3756           (declare (type (integer -1 13) b))
3757           (declare (ignorable a b))
3758           (declare (optimize (speed 2) (space 1) (safety 1) (debug 0)
3759                              (compilation-speed 1)))
3760           (labels ((%f18 (f18-1 f18-2 f18-3) a))
3761             (apply #'%f18 0 a
3762                    (%f18 b
3763                          (- (labels ((%f11 (f11-1 f11-2 f11-3) a))
3764                               (%f11 0 0 0)))
3765                          a)
3766                    nil))))
3767       -468614602 3)
3768      -468614602)
3769    
3770    ;;; Floating point exception
3771    (deftest misc.221
3772      (truncate 0 3006819284014656913408)
3773      0 0)
3774    
3775    (deftest misc.222
3776      (ceiling 0 3006819284014656913408)
3777      0 0)
3778    
3779    (deftest misc.223
3780      (floor 0 3006819284014656913408)
3781      0 0)
3782    
3783    ;;; clisp (10 Dec 2003 cvs head)
3784    ;;; *** - SYMBOL-VALUE: 2 is not a SYMBOL
3785    
3786    (deftest misc.224
3787      (funcall
3788       (compile
3789        nil
3790        '(lambda (a b c)
3791           (declare (optimize (speed 2) (space 3) (safety 0)
3792                              (debug 1) (compilation-speed 0)))
3793           (flet ((%f14 (f14-1 f14-2
3794                               &optional (f14-3 c)
3795                               (f14-4 (if (not nil)
3796                                          (labels ((%f9 nil 0)) (%f9))
3797                                        a)))
3798                        (flet ((%f17 (f17-1 f17-2) f14-1)) (%f17 0 f14-3))))
3799             (%f14 (%f14 0 a) 0 b a))))
3800       248000 5409415 227923)
3801      0)
3802    
3803    ;;; Wrong values
3804    (deftest misc.225
3805      (funcall (compile nil '(lambda () (values (values 'a 'b)))))
3806      a)
3807    
3808    ;;; clisp (12 Dec 2003, 2:30AM CST cvs head)
3809    ;;; SYMBOL-VALUE: 1 is not a SYMBOL
3810    (deftest misc.226
3811      (funcall
3812       (compile nil
3813                '(lambda (a)
3814                   (flet ((%f (&optional (x (setq a 1))
3815                                         (y (setq a 2)))
3816                               0))
3817                     (%f 0 0))))
3818       0)
3819      0)
3820    
3821    (deftest misc.227
3822      (funcall
3823       (compile
3824        nil
3825        '(lambda (b)
3826           (flet ((%f (&optional x (y (setq b 1))) x))
3827             (%f 0))))
3828       0)
3829      0)
3830    
3831    ;;; acl (x86 linux 6.2, patched 12 Dec 2003)
3832    ;;; No from-creg to move to...
3833    (deftest misc.228
3834      (funcall
3835       (compile
3836        nil
3837        '(lambda (a b c)
3838           (declare (optimize (speed 1) (space 2) (safety 0) (debug 2)
3839                              (compilation-speed 2)))
3840           (catch 'ct2
3841             (case 0
3842               ((-56087 86404 -94716)
3843                (signum (labels ((%f7 (f7-1 f7-2 f7-3) f7-2)) 0)))
3844               ((12986)
3845                (let ((v3 (catch 'ct2 (throw 'ct2 0))))
3846                  (labels ((%f14 (f14-1 f14-2) 0)) (%f14 b c))))
3847               (t 0)))))
3848       -3847091255 -13482 -7577750)
3849      0)
3850    
3851    ;;; Error: `T' is not of the expected type `INTEGER'
3852    (deftest misc.229
3853      (funcall
3854       (compile
3855        nil
3856        '(lambda nil
3857           (declare (optimize (speed 2) (space 1) (safety 1) (debug 2)
3858                              (compilation-speed 3)))
3859           (labels ((%f15 (f15-1) 0))
3860             (let ((v4 0))
3861               (catch 'ct5
3862                 (%f15
3863                  (gcd (catch 'ct5 (let* ((v5 (throw 'ct5 0))) 0)) v4))))))))
3864      0)
3865    
3866    ;;; ecl
3867    ;;; Wrong result (order of evaluation problem)
3868    
3869    (deftest misc.230
3870      (funcall
3871       (compile
3872        nil
3873        '(lambda (a)
3874           (declare (type (integer -6527559920 -247050) a))
3875           (declare (optimize (speed 1) (space 3) (safety 0) (debug 0)
3876                              (compilation-speed 3)))
3877           (labels ((%f10 (&optional (f10-1 0)
3878                                     (f10-2 (setq a -4456327156)))
3879                          0))
3880             (logxor a (%f10 a)))))
3881       -3444248334)
3882      -3444248334)
3883    
3884    ;;; cmucl
3885    ;;; Wrong value
3886    
3887    (deftest misc.231
3888      (funcall
3889       (compile
3890        nil
3891        '(lambda (b)
3892           (declare (type (integer -5209401 3339878) b))
3893           (declare (optimize (speed 1) (space 2) (safety 0) (debug 2)
3894                              (compilation-speed 3)))
3895           (flet ((%f3 (f3-1 f3-2)
3896                       f3-1))
3897             (apply #'%f3 0 (logxor (catch 'ct2 b)
3898                                    (catch 'ct5 (throw 'ct5 0))) nil))))
3899       -2179757)
3900      0)
3901    
3902    ;;; Invalid number of arguments: 1
3903    (deftest misc.232
3904      (funcall
3905       (compile
3906        nil
3907        '(lambda (a b)
3908           (declare (type (integer 197447754 495807327) a))
3909           (declare (type (integer -125379462 1863191461) b))
3910           (declare
3911            (optimize (speed 2) (space 2) (safety 2) (debug 1) (compilation-speed 2)))
3912           (flet ((%f8
3913                   (&optional
3914                    (f8-1
3915                     (max (catch (quote ct4) 0)
3916                          (catch (quote ct6) (throw (quote ct6) 0)))))
3917                   b))
3918             (flet ((%f16 (f16-1 f16-2 f16-3)
3919                          0))
3920               (apply #'%f16 a 0 (%f8) nil)))))
3921       348270365 28780966)
3922      0)
3923    
3924    ;;;  The assertion (EQ C::CHECK :SIMPLE) failed.
3925    (deftest misc.233
3926      (funcall
3927       (compile
3928        nil
3929        '(lambda (a b)
3930           (declare (type (integer -2333758327203 -321096206070) a))
3931           (declare (type (integer -2842843403569 258395684270) b))
3932           (declare (optimize (speed 2) (space 0) (safety 1) (debug 2)
3933                              (compilation-speed 2)))
3934           (flet ((%f18 (f18-1)
3935                        (the integer
3936                          (labels ((%f9 (f9-1 f9-2)
3937                                        (* (- -1 -210032251)
3938                                           (1+
3939                                            (floor
3940                                             (labels ((%f11 (f11-1 f11-2)
3941                                                            -96773966))
3942                                               (%f11 b -3440758)))))))
3943                            (flet ((%f2
3944                                    (f2-1 f2-2 f2-3
3945                                          &optional (f2-4 (%f9 -429204 -63))
3946                                          (f2-5 (- (%f9 b 17) a))
3947                                          (f2-6
3948                                           (multiple-value-call #'%f9
3949                                                                (values
3950                                                                 (let () 7127585)
3951                                                                 (flet ((%f1 (f1-1 f1-2 f1-3)
3952                                                                             (catch 'ct6 -569234)))
3953                                                                   (macrolet () 13))))))
3954                                    1027))
3955                              (if nil
3956                                  (%f2 b a f18-1 69968 4 -217193265)
3957                                (catch 'ct1 129548688)))))))
3958             (max (apply #'%f18 (list 0))))))
3959       -2067244683733 143879071206)
3960      129548688)
3961    
3962    ;;;  NIL is not of type C::TAIL-SET
3963    (deftest misc.234
3964      (funcall
3965       (compile
3966        nil
3967        '(lambda (b) ;; (a b)
3968           (declare (type (integer -13583709 -3876310) b))
3969           (declare (optimize (speed 1) (space 2) (safety 3) (debug 3)
3970                              (compilation-speed 1)))
3971           (flet ((%f14 (f14-1 f14-2 f14-3)
3972                        (flet ((%f2
3973                                (f2-1
3974                                 &optional (f2-2 0) (f2-3 0)
3975                                 (f2-4
3976                                  (block b8 (if (ldb-test (byte 0 0) 0) (* 0 f14-2) 0))))
3977                                0))
3978                          (%f2 b f14-2))))
3979             (%f14 0 0 (%f14 0 0 0)))))
3980       ;; -155589
3981       -5694124)
3982      0)
3983    
3984    ;;; sbcl 0.8.6.34
3985    ;;; Wrong value
3986    (deftest misc.235
3987      (funcall
3988       (compile
3989        nil
3990        '(lambda (b)
3991             (declare (notinline not))
3992             (declare (optimize (speed 1) (space 0) (safety 0)
3993                                (debug 2) (compilation-speed 3)))
3994             (multiple-value-prog1 0 (catch 'ct2 (if (not nil) (throw 'ct2 b) 0)))))
3995       :wrong)
3996      0)
3997    
3998    (deftest misc.236
3999      (funcall
4000       (compile
4001        nil
4002        '(lambda (a b)
4003           (declare (optimize (speed 1) (space 0) (safety 3)
4004                              (debug 0) (compilation-speed 1)))
4005           (flet ((%f8 (f8-1) 0))
4006             (labels ((%f18 (f18-1 f18-2 &optional (f18-3 0))
4007                            (%f8 (catch 'ct7 (throw 'ct7 f18-1)))))
4008               (multiple-value-prog1 (catch 'ct7 a)
4009                                     0
4010                                     (multiple-value-call #'%f18 (values 0 (%f8 b))))))))
4011       :good :bad)
4012      :good)
4013    
4014    (deftest misc.237
4015      (funcall
4016       (compile
4017        nil
4018        '(lambda ()
4019           (declare (optimize (speed 2) (space 2) (safety 3)
4020                              (debug 3) (compilation-speed 1)))
4021           (multiple-value-prog1 0
4022                                 (catch 'ct7 (logandc1 (block b7 0)
4023                                                       (throw 'ct7 -908543)))))))
4024      0)
4025    
4026    ;;; cmucl (11 2003 snapshot)
4027    
4028    ;;;  NIL is not of type C::CONTINUATION
4029    (deftest misc.238
4030      (funcall
4031       (compile
4032        nil
4033        '(lambda (a)
4034           (declare (type (integer -77145797 -1) a))
4035           (declare (optimize (speed 1) (space 1) (safety 3) (debug 3) (compilation-speed 1)))
4036           (flet ((%f5 (f5-1) a))
4037             (%f5 (unwind-protect 0 (logand (- (catch 'ct5 0))))))))
4038       -100)
4039      -100)
4040    
4041    ;;; (in C::MAYBE-LET-CONVERT)
4042    (deftest misc.239
4043      (funcall
4044       (compile
4045        nil
4046        '(lambda (a)
4047           (declare (type (integer -2315418108387 111852261677) a))
4048           (declare (optimize (speed 2) (space 0) (safety 2) (debug 2) (compilation-speed 1)))
4049           (labels ((%f4 ()
4050                         (labels ((%f16 (f16-1 f16-2) 0))
4051                           (flet ((%f9 () 0))
4052                             (%f16 0 (%f16 (%f9) a))))))
4053             (flet ((%f10 (f10-1 f10-2 f10-3)
4054                          (flet ((%f15 (f15-1 &optional (f15-2 (%f4)) (f15-3 0)) f15-3))
4055                            0)))
4056               0))))
4057       100)
4058      0)
4059    
4060    (deftest misc.239a
4061      (funcall
4062       (compile nil '(lambda () (declare (optimize speed safety))
4063                       (LET ((x (PROG1 0 (ROUND 18916)))) (catch 'ct4 0)))))
4064      0)
4065    
4066    (deftest misc.240
4067      (funcall
4068       (compile
4069        nil
4070        '(lambda (b)
4071           (declare (type (integer 4 7) b))
4072           (declare (optimize (speed 2) (space 3) (safety 3) (debug 1) (compilation-speed 3)))
4073           (unwind-protect 0
4074             (common-lisp:handler-case
4075              (max
4076               (let ((*s1* b))
4077                 (declare (special *s1*))
4078                 (+ 0 *s1*)))))))
4079       5)
4080      0)
4081    
4082    ;;; clisp (12 Dec 2003 cvs head)
4083    ;;; *** - Compiler bug!! Occurred in ASSEMBLE-LAP at ILLEGAL INSTRUCTION.
4084    (deftest misc.241
4085      (funcall
4086       (compile
4087        nil
4088        '(lambda ()
4089           (declare (optimize (speed 3) (space 3) (safety 0) (debug 0) (compilation-speed 2)))
4090           (labels ((%f17 (f17-1 f17-2) (multiple-value-prog1 0 0 0 (return-from %f17 0)))) (%f17 0 0)))))
4091      0)
4092    
4093    (deftest misc.242
4094      (funcall (compile nil '(lambda (a) (block b6 (multiple-value-prog1 a (return-from b6 0))))) :wrong)
4095      0)
4096    
4097    (deftest misc.243
4098      (funcall (compile nil '(lambda () (block b3 (return-from b3 (multiple-value-prog1 0 (return-from b3 0)))))))
4099      0)
4100    
4101    ;;; lispworks 4.3 (personal edition)
4102    (deftest misc.244
4103      (funcall
4104       (compile
4105        nil
4106        '(lambda (b)
4107           (declare (optimize (speed 3) (space 1) (safety 2) (debug 3) (compilation-speed 2)))
4108           (catch 'ct8 (labels ((%f4 (&optional (f4-1 0) (f4-2 (throw 'ct8 0))) f4-1)) (%f4 b)))))
4109       :wrong)
4110      0)
4111    
4112    (deftest misc.245
4113      (funcall
4114       (compile
4115        nil
4116        '(lambda (a)
4117           (declare (optimize (speed 2) (space 0) (safety 0) (debug 2) (compilation-speed 1)))
4118           (catch 'ct2 (labels ((%f11 (&optional (f11-1 (throw 'ct2 0))) a)) (apply #'%f11 0 nil)))))
4119       20)
4120      20)
4121    
4122    ;;; ecl (cvs head, 18 Dec 2003)
4123    (deftest misc.246
4124      (let ((x (unwind-protect 0))) x)
4125      0)
4126    
4127    (deftest misc.247
4128      (let ((x (dotimes (i 0 10)))) x)
4129      10)
4130    
4131    ;;; acl 6.2 trial
4132    ;;; "Error: Attempt to access the plist field of 0 which is not a symbol."
4133    
4134    (deftest misc.248
4135      (funcall (compile nil '(lambda () (dotimes (i 0 0) 0))))
4136      0)
4137    
4138    ;;; sbcl
4139    ;;;  #<SB-C::LAMBDA-VAR :%SOURCE-NAME IV4 :TYPE # {A67BE29}>
4140    ;;;  not found in
4141    ;;;  #<SB-C::PHYSENV :LAMBDA # :NLX-INFO # {A680EF1}>
4142    
4143    (deftest misc.249
4144      (funcall
4145       (compile
4146        nil
4147        '(lambda (a b)
4148             (declare (notinline <=))
4149             (declare (optimize (speed 2) (space 3) (safety 0)
4150                                (debug 1) (compilation-speed 3)))
4151             (if (if (<= 0) nil nil)
4152                 (labels ((%f9 (f9-1 f9-2 f9-3)
4153                               (ignore-errors 0)))
4154                   (dotimes (iv4 5 a) (%f9 0 0 b)))
4155               0)))
4156       1 2)
4157      0)
4158    
4159    ;;; cmucl 11/2003
4160    (deftest misc.250
4161      (funcall
4162       (compile
4163        nil
4164        '(lambda (a)
4165           (declare (type (integer -12 14) a))
4166           (declare (optimize (speed 1) (space 2) (safety 1) (debug 1) (compilation-speed 3)))
4167           (let ((v6 0))
4168             (flet ((%f11
4169                     (f11-1
4170                      &optional
4171                      (f11-2
4172                       (case (catch 'ct7 0)
4173                         (t
4174                          (let* ((v2 (ignore-errors a)))
4175                            v6)))))
4176                     0))
4177               (%f11 0 0)))))
4178       5)
4179      0)
4180    
4181    ;;; NIL is not of type C::CONTINUATION
4182    ;;; (C::MAYBE-CONVERT-TO-ASSIGNMENT
4183    ;;;  #<LAMBDA #x48A3031D
4184    ;;;     NAME= (FLET %F3
4185    ;;;             NIL)
4186    ;;;     TYPE= #<KERNEL::BUILT-IN-CLASS FUNCTION (read-only) {2803AE6D}>
4187    ;;;     WHERE-FROM= :DEFINED
4188    ;;;     VARS= (F3-1 F3-2 F3-3)>)
4189    
4190    (deftest misc.251
4191      (funcall
4192       (compile
4193        nil
4194        '(lambda (a b)
4195           (declare (type (integer -186585769 -7483) a))
4196           (declare (type (integer -550 524) b))
4197           (declare
4198            (optimize (speed 2) (space 1) (safety 1) (debug 2) (compilation-speed 3)))
4199           (flet ((%f3 (f3-1 f3-2 f3-3)
4200                       0))
4201             (%f3 0 0
4202                  (flet ((%f13 (f13-1 f13-2)
4203                               0))
4204                    (if (/= b a)
4205                        b
4206                      (deposit-field (%f3 0 b 0) (byte 0 0) (%f3 0 0 (%f13 0 0)))))))))
4207       -10000 0)
4208      0)
4209    
4210    ;;; 8061593093 is not of type (INTEGER -2147483648 4294967295)
4211    (deftest misc.252
4212      (funcall
4213       (compile
4214        nil
4215        '(lambda (b)
4216           (declare (type (integer -43443 9126488423) b))
4217           (declare (optimize (speed 3) (space 1) (safety 1) (debug 3) (compilation-speed 0)))
4218           (logand (setq b 8061593093) (min b 0))))
4219       0)
4220      0)
4221    
4222    (deftest misc.252a
4223      (funcall
4224       (compile
4225        nil
4226        '(lambda (a b)
4227           (declare (type (integer -30189 -6047) a))
4228           (declare (type (integer -10 16391481067) b))
4229           (declare (optimize (speed 3) (space 1) (safety 2) (debug 3)
4230                              (compilation-speed 0)))
4231           (if
4232               (<= 0
4233                   (let ((*s1* (setq b 12204309028)))
4234                     (declare (special *s1*))
4235                     (truncate b)))
4236               a
4237             0)))
4238       -12618 16130777867)
4239      -12618)
4240    
4241    ;;; #<C::ENTRY #x48DCC585> fell through ETYPECASE expression.
4242    ;;; Wanted one of (C::BASIC-COMBINATION C::EXIT C::CRETURN C::CSET C::CIF
4243    ;;;                (OR C::REF C:BIND)).
4244    ;;;    [Condition of type CONDITIONS::CASE-FAILURE]
4245    ;;;[...]
4246    ;;; (C::SUBSTITUTE-CONTINUATION #<Continuation c1> #<Continuation c2>)
4247    
4248    (deftest misc.253
4249      (funcall
4250       (compile
4251        nil
4252        '(lambda ()
4253           (declare (optimize (speed 2) (space 2) (safety 3) (debug 3) (compilation-speed 2)))
4254           (flet ((%f17 (f17-1) 0))
4255             (%f17 (logandc1 0 (catch 'ct2 0)))))))
4256      0)
4257    
4258    ;;; Wrong return value
4259    (deftest misc.254
4260      (funcall
4261       (compile
4262        nil
4263        '(lambda (a)
4264           (declare (type (integer -5241 -1159) a))
4265           (declare (optimize (speed 3) (space 2) (safety 0) (debug 3) (compilation-speed 1)))
4266           (gcd a
4267                (let ((*misc.254* (setq a -4929)))  ;; special variable
4268                  (declare (special *misc.254*))
4269                  0))))
4270       -3000)
4271      3000)
4272    
4273    (deftest misc.255
4274      (funcall
4275       (compile
4276        nil
4277        '(lambda (b)
4278           (declare (type (integer -3474321 15089206) b))
4279           (declare (optimize (speed 3) (space 3) (safety 3) (debug 3) (compilation-speed 0)))
4280           (- b
4281              (block b3
4282                (setq b 9367613)
4283                0))))
4284       10)
4285      10)
4286    
4287    ;;; clisp (20 Dec 2003)
4288    ;;; Bug involving tagbody and go in lexical function
4289    
4290    (deftest misc.256
4291      (funcall
4292       (compile
4293        nil
4294        '(lambda ()
4295           (declare (optimize (speed 3) (space 0) (safety 3) (debug 0) (compilation-speed 0)))
4296           (tagbody (flet ((%f6 () (go 18))) (%f6))
4297                    18))))
4298      nil)
4299    
4300    ;;; clisp (22 Dec 2003)
4301    ;;; *** - Compiler bug!! Occurred in ACCESS-IN-STACK at STACKZ-END.
4302    
4303    (deftest misc.257
4304      (funcall
4305       (compile
4306        nil
4307        '(lambda ()
4308           (declare (optimize (speed 1) (space 2) (safety 3) (debug 3) (compilation-speed 1)))
4309           (tagbody (flet ((%f1 (f1-1)
4310                                (flet ((%f9 (&optional (f9-1 b) (f9-2 (go tag2)) (f9-3 0)) 0))
4311                                  (%f9 0 0 0))))
4312                      (%f1 0))
4313                    tag2))))
4314      nil)

Legend:
Removed from v.1.64  
changed lines
  Added in v.1.65

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