/[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.237 by pfdietz, Sat Apr 16 13:18:54 2005 UTC revision 1.238 by pfdietz, Sat Apr 16 21:18:39 2005 UTC
# Line 10525  Broken at C::WT-MAKE-CLOSURE. Line 10525  Broken at C::WT-MAKE-CLOSURE.
10525       -5067.2056)))       -5067.2056)))
10526    t)    t)
10527    
10528    (deftest misc.581a
10529      (notnot
10530       (typep
10531        (funcall
10532         (compile nil '(lambda (x) (declare (type (eql -1.0) x))
10533                         ;;; Note!  #x1000001 is the least positive integer
10534                         ;;; for which this fails on x86
10535                         (+ #x1000001 x)))
10536         -1.0f0)
10537        'single-float))
10538      t)
10539    
10540  ;;; Incorrect result  ;;; Incorrect result
10541    
10542  (deftest misc.582  (deftest misc.582
10543    (let ((result    (let ((result
10544           (funcall           (funcall
10545            (compile            (compile
10546             nil             nil
10547             ' (lambda (p1)             ' (lambda (p1)
10548                 (declare (optimize (speed 0) (safety 1) (debug 1) (space 1))                 (declare (optimize (speed 0) (safety 1) (debug 1) (space 1))
10549                          (type (eql -39887.645) p1))                          (type (eql -39887.645) p1))
10550                 (mod p1 382352925)))                 (mod p1 382352925)))
10551            -39887.645)))            -39887.645)))
10552      (if (plusp result)      (if (plusp result)
10553          t          t
10554        result))        result))
10555    t)    t)
10556    
# Line 10551  Broken at C::WT-MAKE-CLOSURE. Line 10563  Broken at C::WT-MAKE-CLOSURE.
10563       (compile       (compile
10564        nil        nil
10565        '(lambda (p1)        '(lambda (p1)
10566           (declare (optimize (speed 0) (safety 0) (debug 2) (space 3))           (declare (optimize (speed 0) (safety 0) (debug 2) (space 3))
10567                    (type (complex rational) p1))                    (type (complex rational) p1))
10568           (sqrt p1)))           (sqrt p1)))
10569       #c(-9003 -121))))       #c(-9003 -121))))
10570    t)    t)
10571    
# Line 10565  Broken at C::WT-MAKE-CLOSURE. Line 10577  Broken at C::WT-MAKE-CLOSURE.
10577      (compile      (compile
10578       nil       nil
10579       '(lambda (p1 p2)       '(lambda (p1 p2)
10580          (declare (optimize (speed 1) (safety 1) (debug 0) (space 1))          (declare (optimize (speed 1) (safety 1) (debug 0) (space 1))
10581                   (type (member -3712.8447) p1)                   (type (member -3712.8447) p1)
10582                   (type (integer -34359738403 -24) p2))                   (type (integer -34359738403 -24) p2))
10583          (scale-float p1 p2)))          (scale-float p1 p2)))
10584      -3712.8447 -27)      -3712.8447 -27)

Legend:
Removed from v.1.237  
changed lines
  Added in v.1.238

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