/[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.175 by pfdietz, Fri Dec 24 17:02:03 2004 UTC revision 1.176 by pfdietz, Fri Dec 24 21:08:11 2004 UTC
# Line 8861  Broken at C::WT-MAKE-CLOSURE. Line 8861  Broken at C::WT-MAKE-CLOSURE.
8861                             (isqrt x)))                             (isqrt x)))
8862             4)             4)
8863    2)    2)
8864    
8865    ;;; gcl 24 Dec 2004
8866    ;;; Incorrect results (these may all be related)
8867    ;;; These are also produced by the special purpose tester in random-type-prop.lsp
8868    
8869    (deftest misc.467
8870      (funcall
8871       (compile nil '(lambda (p2 p3)
8872                       (declare (optimize speed (safety 1))
8873                                (type (integer -990888631320) p2)
8874                                (type (integer -20346 -19755) p3))
8875                       (+ -77 (the (integer * -990888630255) p2) p3)))
8876       -990888630272 -19756)
8877      -990888650105)
8878    
8879    (deftest misc.468
8880      (funcall
8881       (compile nil '(lambda (p2 p3)
8882                       (declare (optimize speed (safety 1))
8883                                (type (integer * 151075404030) p2)
8884                                (type (integer 6515518 *) p3))
8885                       (- 12967657127936 (the (eql 151075403520) p2)
8886                          (the (member 6515658 -14) p3))))
8887       151075403520 6515658)
8888      12816575208758)
8889    
8890    (deftest misc.469
8891      (funcall
8892       (compile nil '(lambda (p2)
8893                       (declare (optimize speed (safety 1)) (type integer p2))
8894                       (+ 30926 (the (integer -4025987543018 *) p2))))
8895       -4025817763840)
8896      -4025817732914)
8897    
8898    (deftest misc.470
8899      (funcall
8900       (compile nil '(lambda (p2)
8901                       (declare (optimize speed (safety 1))
8902                                (type (integer 3689224658939 *) p2))
8903                       (+ -1071 (the (integer * 3689229115390) p2))))
8904       3689228853248)
8905      3689228852177)
8906    
8907    (deftest misc.471
8908      (funcall
8909       (compile nil '(lambda (p1 p2)
8910                       (declare (optimize speed (safety 1))
8911                                (type (integer -9024844 230253450) p1)
8912                                (type (eql 35716681856) p2))
8913                       (* p1 (the (integer * 35716681856) p2))))
8914       -9024809 35716681856)
8915      -322336231864165504)
8916    
8917    (deftest misc.472
8918      (funcall
8919       (compile nil '(lambda (p1 p2)
8920                       (declare (optimize speed (safety 1))
8921                                (type (integer -785238 -80) p1)
8922                                (type (eql -523213622272) p2))
8923                       (min p1 (the integer p2))))
8924       -259 -523213622272)
8925      -523213622272)
8926    
8927    (deftest misc.473
8928      (funcall
8929       (compile nil '(lambda (p2)
8930                       (declare (optimize speed (safety 1))
8931                                (type (integer * 65861934352) p2))
8932                       (max 23939 (the (integer 64863825609 65878336765) p2))))
8933       65861912512)
8934      65861912512)
8935    
8936    (deftest misc.474
8937      (funcall
8938       (compile nil '(lambda (p1)
8939                       (declare (optimize speed (safety 1))
8940                                (type (integer -6750156308) p1))
8941                       (logand (the signed-byte p1) -540165229)))
8942       -6750156304)
8943      -7289140848)
8944      
8945        
8946    
8947                      
8948                      
8949    
8950                

Legend:
Removed from v.1.175  
changed lines
  Added in v.1.176

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