/[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.148 by pfdietz, Thu Oct 7 13:07:35 2004 UTC revision 1.149 by pfdietz, Mon Oct 11 03:17:33 2004 UTC
# Line 7392  Broken at C::WT-C-INLINE-LOC. Line 7392  Broken at C::WT-C-INLINE-LOC.
7392         (declare (type (integer -429173946 -3892) b))         (declare (type (integer -429173946 -3892) b))
7393         (declare (type (integer -229669685 -50537386) c))         (declare (type (integer -229669685 -50537386) c))
7394         (declare (ignorable a b c))         (declare (ignorable a b c))
7395         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7396         (declare         (declare
7397          (optimize (speed 3) (space 1) (safety 0) (debug 3) (compilation-speed 2)))          (optimize (speed 3) (space 1) (safety 0) (debug 3) (compilation-speed 2)))
7398         (logorc2         (logorc2
# Line 7543  Broken at C::WT-C-INLINE-LOC. Line 7543  Broken at C::WT-C-INLINE-LOC.
7543         (declare (type (integer -995205 1035654) a))         (declare (type (integer -995205 1035654) a))
7544         (declare (type (integer 473 114804994247) b))         (declare (type (integer 473 114804994247) b))
7545         (declare (ignorable a b))         (declare (ignorable a b))
7546         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7547         (declare         (declare
7548          (optimize (debug 3) (speed 2) (compilation-speed 0) (space 3)          (optimize (debug 3) (speed 2) (compilation-speed 0) (space 3)
7549                    (safety 3)))                    (safety 3)))
# Line 7564  Broken at C::WT-C-INLINE-LOC. Line 7564  Broken at C::WT-C-INLINE-LOC.
7564         (declare (type (integer -76 86) a))         (declare (type (integer -76 86) a))
7565         (declare (type (integer -13771285280 109) b))         (declare (type (integer -13771285280 109) b))
7566         (declare (ignorable a b))         (declare (ignorable a b))
7567         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7568         (declare         (declare
7569          (optimize (safety 3) (space 1) (debug 2) (compilation-speed 3)          (optimize (safety 3) (space 1) (debug 2) (compilation-speed 3)
7570                    (speed 3)))                    (speed 3)))
# Line 7584  Broken at C::WT-C-INLINE-LOC. Line 7584  Broken at C::WT-C-INLINE-LOC.
7584         (declare (type (integer -76645001 98715919) a))         (declare (type (integer -76645001 98715919) a))
7585         (declare (type (integer 0 856472753903) b))         (declare (type (integer 0 856472753903) b))
7586         (declare (ignorable a b))         (declare (ignorable a b))
7587         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7588         (declare         (declare
7589          (optimize (speed 2) (space 0) (debug 3) (compilation-speed 0)          (optimize (speed 2) (space 0) (debug 3) (compilation-speed 0)
7590                    (safety 3)))                    (safety 3)))
# Line 7600  Broken at C::WT-C-INLINE-LOC. Line 7600  Broken at C::WT-C-INLINE-LOC.
7600         (declare (type (integer 6429252570156 8761983588786) a))         (declare (type (integer 6429252570156 8761983588786) a))
7601         (declare (type (integer -400378288 4971722) b))         (declare (type (integer -400378288 4971722) b))
7602         (declare (ignorable a b))         (declare (ignorable a b))
7603         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7604         (declare         (declare
7605          (optimize (debug 3) (speed 3) (space 2) (safety 0)          (optimize (debug 3) (speed 3) (space 2) (safety 0)
7606                    (compilation-speed 3)))                    (compilation-speed 3)))
# Line 7617  Broken at C::WT-C-INLINE-LOC. Line 7617  Broken at C::WT-C-INLINE-LOC.
7617         (declare (type (integer -1601 485) a))         (declare (type (integer -1601 485) a))
7618         (declare (type (integer -190428560464 -1444494) b))         (declare (type (integer -190428560464 -1444494) b))
7619         (declare (ignorable a b))         (declare (ignorable a b))
7620         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7621         (declare         (declare
7622          (optimize (debug 0) (space 2) (speed 0) (safety 3)          (optimize (debug 0) (space 2) (speed 0) (safety 3)
7623                    (compilation-speed 2)))                    (compilation-speed 2)))
# Line 7635  Broken at C::WT-C-INLINE-LOC. Line 7635  Broken at C::WT-C-INLINE-LOC.
7635         (declare (type (integer -168258525920 -2044) a))         (declare (type (integer -168258525920 -2044) a))
7636         (declare (type (integer -522 54) b))         (declare (type (integer -522 54) b))
7637         (declare (ignorable a b))         (declare (ignorable a b))
7638         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7639         (declare         (declare
7640          (optimize (speed 0) (safety 3) (compilation-speed 1) (space 0)          (optimize (speed 0) (safety 3) (compilation-speed 1) (space 0)
7641                    (debug 2)))                    (debug 2)))
# Line 7659  Broken at C::WT-C-INLINE-LOC. Line 7659  Broken at C::WT-C-INLINE-LOC.
7659         (declare (type (integer -319 7353) a))         (declare (type (integer -319 7353) a))
7660         (declare (type (integer 31751 4233916489) b))         (declare (type (integer 31751 4233916489) b))
7661         (declare (ignorable a b))         (declare (ignorable a b))
7662         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7663         (declare         (declare
7664          (optimize (safety 3) (compilation-speed 1) (debug 1) (speed 0)          (optimize (safety 3) (compilation-speed 1) (debug 1) (speed 0)
7665                    (space 0)))                    (space 0)))
# Line 7681  Broken at C::WT-C-INLINE-LOC. Line 7681  Broken at C::WT-C-INLINE-LOC.
7681      '(lambda (a)      '(lambda (a)
7682         (declare (type (integer -3 1) a))         (declare (type (integer -3 1) a))
7683         (declare (ignorable a))         (declare (ignorable a))
7684         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7685         (declare         (declare
7686          (optimize (space 0) (debug 0) (speed 3) (compilation-speed 2)          (optimize (space 0) (debug 0) (speed 3) (compilation-speed 2)
7687                    (safety 3)))                    (safety 3)))
# Line 7697  Broken at C::WT-C-INLINE-LOC. Line 7697  Broken at C::WT-C-INLINE-LOC.
7697      '(lambda (a)      '(lambda (a)
7698         (declare (type (integer 3376 4762) a))         (declare (type (integer 3376 4762) a))
7699         (declare (ignorable a))         (declare (ignorable a))
7700         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7701         (declare         (declare
7702          (optimize (debug 0) (safety 0) (space 0) (compilation-speed 3)          (optimize (debug 0) (safety 0) (space 0) (compilation-speed 3)
7703                    (speed 3)))                    (speed 3)))
# Line 7713  Broken at C::WT-C-INLINE-LOC. Line 7713  Broken at C::WT-C-INLINE-LOC.
7713      '(lambda (a)      '(lambda (a)
7714         (declare (type (integer 7299 257071514003) a))         (declare (type (integer 7299 257071514003) a))
7715         (declare (ignorable a))         (declare (ignorable a))
7716         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7717         (declare         (declare
7718          (optimize (compilation-speed 2) (space 1) (safety 2) (speed 1)          (optimize (compilation-speed 2) (space 1) (safety 2) (speed 1)
7719                    (debug 2)))                    (debug 2)))
# Line 7729  Broken at C::WT-C-INLINE-LOC. Line 7729  Broken at C::WT-C-INLINE-LOC.
7729      '(lambda (a)      '(lambda (a)
7730         (declare (type (integer -19116544 21344004) a))         (declare (type (integer -19116544 21344004) a))
7731         (declare (ignorable a))         (declare (ignorable a))
7732         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7733         (declare         (declare
7734          (optimize (space 1) (safety 3) (debug 1) (compilation-speed 0)          (optimize (space 1) (safety 3) (debug 1) (compilation-speed 0)
7735                    (speed 0)))                    (speed 0)))
# Line 7751  Broken at C::WT-C-INLINE-LOC. Line 7751  Broken at C::WT-C-INLINE-LOC.
7751      '(lambda (a)      '(lambda (a)
7752         (declare (type (integer -6456 -32) a))         (declare (type (integer -6456 -32) a))
7753         (declare (ignorable a))         (declare (ignorable a))
7754         #+cmucl (declare (optimize (extensions:inhibit-warnings 3)))         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
7755         (declare         (declare
7756          (optimize (space 3) (safety 1) (compilation-speed 1) (speed 0)          (optimize (space 3) (safety 1) (compilation-speed 1) (speed 0)
7757                    (debug 0)))                    (debug 0)))
# Line 7970  Broken at C::WT-MAKE-CLOSURE. Line 7970  Broken at C::WT-MAKE-CLOSURE.
7970     -4794909 4095236669)     -4794909 4095236669)
7971    0)    0)
7972    
7973    ;;; sbcl 0.8.14.28
7974    ;;; Wrong value computed
7975    
7976    (deftest misc.414
7977      (funcall
7978       (compile
7979        nil
7980        '(lambda (c)
7981           (declare (optimize (speed 1) (space 3) (compilation-speed 3)
7982                              (debug 3) (safety 1)))
7983           (if (setq c 2)
7984               (case (shiftf c 1) ((2) c) (t 0))
7985             0)))
7986       0)
7987      1)
7988    
7989    ;;; cmucl
7990    ;;; Sept. 2004 snapshot
7991    ;;; Wrong return value
7992    
7993    (deftest misc.415
7994      (funcall
7995       #'(lambda (a c)
7996           (catch 'ct2
7997             (flet ((%f17 (&optional x &key)
7998                            (let* ((y (cons (dotimes (iv3 0)) 0)))
7999                              a)))
8000               c)))
8001       :bad :good)
8002      :good)
8003    
8004    ;;; Wrong value
8005    (deftest misc.416
8006      (funcall
8007       (compile
8008        nil
8009        '(lambda (b)
8010           (declare (type (integer 12052668 22838464) b))
8011           (declare (ignorable a b c))
8012           (declare (optimize (compilation-speed 3) (debug 2) (speed 1) (space 0)
8013                              (safety 3)))
8014           (min (mask-field (byte 2 18) b) 89582)))
8015       13891743)
8016      0)
8017    
8018    ;;; Invalid number of arguments: 3
8019    (deftest misc.417
8020      (funcall
8021       (compile
8022        nil
8023        '(lambda (c)
8024         (declare (type (integer 995 22565094) c))
8025         (declare (optimize (safety 2) (debug 1) (space 0) (compilation-speed 2)
8026                            (speed 1)))
8027         (numerator (floor (numerator (deposit-field 0 (byte 0 0) c))))))
8028       17190042)
8029      17190042)
8030    
8031    ;;; Invalid number of arguments: #<Unknown Immediate Object, lowtag=#b110, type=#x66
8032    ;;;                               {598FCC66}>
8033    (deftest misc.418
8034      (funcall
8035       (compile
8036        nil
8037        '(lambda (a b c)
8038           (declare (type (integer 1670923021 2536883848) a))
8039           (declare (ignorable a b c))
8040           (declare (optimize (safety 3) (compilation-speed 3) (speed 1) (debug 1)
8041                              (space 2)))
8042           (if (logior (setf c 67) 0 a) a 0)))
8043       2161404325 -1968715305 83)
8044      2161404325)
8045    
8046    ;;;   nil is not of type c::continuation
8047    ;;; (c::convert-type-check #<Continuation c1>
8048    ;;;                       ((nil #<numeric-type integer> #<numeric-type integer>)))
8049    
8050    (deftest misc.419
8051      (funcall
8052       (compile
8053        nil
8054        '(lambda ()
8055           (declare (optimize (safety 3) (speed 3) (compilation-speed 1) (space 1)
8056                              (debug 2)))
8057           (boole boole-set 0 (case 2 ((0) 0) (t (numerator (catch 'ct2 0))))))))
8058      -1)
8059    
8060    ;;;  nil is not of type c::continuation
8061    ;;; (c::convert-type-check #<Continuation c1>
8062    ;;;                       ((nil #<union-type real> #<union-type real>)))
8063    
8064    (deftest misc.420
8065      (funcall
8066       (compile
8067        nil
8068        '(lambda (a b)
8069           (declare (type (integer -65954801 6519292634236) a))
8070           (declare (type (integer 5721249203 36508717226) b))
8071           (declare (ignorable a b))
8072           (declare
8073            (optimize (space 3) (compilation-speed 2) (safety 3) (speed 0)
8074                      (debug 2)))
8075           (flet ((%f14 (f14-1 f14-2 &key)
8076                        (prog2 0 f14-2 (min (catch 'ct4 (floor 120378948 (max 22 a)))))))
8077             (reduce #'(lambda (lmv6 lmv5) (%f14 0 0))
8078                     (vector 0 0 0)
8079                     :start
8080                     0
8081                     :from-end
8082                     t))))
8083       6313133774518 10840050742)
8084      0)
8085    
8086    ;;; Invalid number of arguments: 1
8087    (deftest misc.421
8088      (funcall
8089       (compile
8090        nil
8091        '(lambda (a)
8092           (declare (optimize (debug 0) (space 2) (compilation-speed 1) (safety 0)
8093                              (speed 0)))
8094           (imagpart (block b8 (logior (catch 'ct7 (return-from b8 a)) -1123785)))))
8095       -1021899)
8096      0)
8097    
8098    ;;; Invalid number of arguments: 2
8099    (deftest misc.422
8100      (funcall
8101       (compile
8102        nil
8103        '(lambda (a)
8104           (declare (type (integer -13 -3) a))
8105           (declare (optimize (space 2) (debug 1) (safety 1) (speed 2)
8106                              (compilation-speed 1)))
8107           (logorc2 (sbit #*0010000011101010 (min 15 (max 0 0))) a)))
8108       -7)
8109      6)
8110    
8111    ;;;   nil is not of type c::continuation
8112    ;;; (c::convert-type-check #<Continuation c1>
8113    ;;;                        ((t #<member-type null> #<union-type real>)))
8114    (deftest misc.423
8115      (funcall
8116       (compile
8117        nil
8118        '(lambda (a b)
8119           (declare (type (integer 0 1) a))
8120           (declare (type (integer -8031148528 5509023941) b))
8121           #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
8122           (declare (optimize (space 2) (safety 3) (debug 1) (compilation-speed 3) (speed 2)))
8123           (min 0 (ignore-errors (logand 0 b 388)))))
8124       0 4604112015)
8125      0)
8126    
8127    ;;; Argument x is not a real: nil.
8128    ;;; (kernel:two-arg-> nil 0)
8129    
8130    (deftest misc.424
8131      (funcall
8132       (compile
8133        nil
8134        '(lambda (a b)
8135         (declare (type (integer -24 15) a))
8136         (declare (type (integer -99661829155 16) b))
8137         (declare (ignorable a b))
8138         #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
8139         (declare (optimize (safety 3) (debug 1) (compilation-speed 1) (space 3)
8140                            (speed 3)))
8141         (catch 'ct4
8142           (logandc1 a
8143                     (ignore-errors
8144                      (let* ((v8 (complex (throw 'ct4 0) 0)))
8145                        0))))))
8146       -18 -47519360453)
8147      0)
8148    
8149    ;;; Different results
8150    (deftest misc.425
8151      (funcall
8152       (compile
8153        nil
8154        '(lambda (a b)
8155         (declare (type (integer -394128 80657) a))
8156         (declare (type (integer 13729431 14852298) b))
8157         (declare (optimize (space 2) (compilation-speed 1) (safety 0) (debug 0)
8158                            (speed 2)))
8159         (logorc1 (* a (logior b 0)) 0)))
8160       -80334 14527920)
8161      1167085925279)
8162    
8163    ;;; Unable to display error condition
8164    (deftest misc.426
8165      (funcall
8166       (compile
8167        nil
8168        '(lambda ()
8169           #+cmu (declare (optimize (extensions:inhibit-warnings 3)))
8170           (declare (optimize (safety 3) (space 3) (speed 3) (debug 1)
8171                              (compilation-speed 3)))
8172           (dotimes (iv3 1 0) (logxor iv3 1285775)))))
8173      0)
8174    

Legend:
Removed from v.1.148  
changed lines
  Added in v.1.149

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