/[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.156 by pfdietz, Sun Oct 31 15:17:19 2004 UTC revision 1.157 by pfdietz, Mon Nov 1 13:37:54 2004 UTC
# Line 828  Line 828 
828             100)             100)
829    -1)    -1)
830    
831    ;;; sbcl bug (probably #233)
832  (deftest misc.63  (deftest misc.63
833    (let* ((form '(flet ((%f12 () (setq c -9868204937)))    (let* ((form '(flet ((%f12 () (setq c -9868204937)))
834                    (if (<= c (%f12)) -2 (if (= c c) b c))))                    (if (<= c (%f12)) -2 (if (= c c) b c))))
# Line 840  Line 841 
841            (apply (compile nil form2) vals)))            (apply (compile nil form2) vals)))
842    t)    t)
843    
844    ;;; sbcl bug (probably #233)
845  (deftest misc.64  (deftest misc.64
846    (let* ((form '(logcount    (let* ((form '(logcount
847                   (if (not (> c (let ((v7 (setq c -246180))) -1)))                   (if (not (> c (let ((v7 (setq c -246180))) -1)))
# Line 855  Line 857 
857            (apply (compile nil form2) vals)))            (apply (compile nil form2) vals)))
858    t)    t)
859    
860    ;;; sbcl bug (probably #233)
861  (deftest misc.65  (deftest misc.65
862    (let ((form1 '(lambda (b c)    (let ((form1 '(lambda (b c)
863                    (declare (type (integer -350684427436 -255912007) b))                    (declare (type (integer -350684427436 -255912007) b))
# Line 1112  Line 1115 
1115                  (if (unwind-protect (unwind-protect 2)) 3 4))))                  (if (unwind-protect (unwind-protect 2)) 3 4))))
1116    1)    1)
1117    
1118    ;;;
1119  ;;; cmucl bug (18e+ 10/15/03)  ;;; cmucl bug (18e+ 10/15/03)
1120    ;;; Also occurs in sbcl (0.8.16.20)
1121    ;;;  "Too large to be represented as a SINGLE-FLOAT"
1122    ;;; (a large bignum is coerced to a single-float in type propagation,
1123    ;;;  with unfortunate results.)
1124    ;;;
1125    
1126    ;;; Here, the function were the problem occurs is -
1127  (deftest misc.89  (deftest misc.89
1128    (funcall    (funcall
1129     (compile nil     (compile nil
# Line 1123  Line 1134 
1134     0)     0)
1135    -26)    -26)
1136    
1137    ;;; Here, it is MAX
1138    (deftest misc.89a
1139      (funcall
1140       (compile
1141        nil
1142        '(lambda (a b c d)
1143           (declare (type (integer -265115792172 -206231862770) a))
1144           (declare (type (integer 11069 58322510034) b))
1145           (declare (type (integer -7351 28730) c))
1146           (declare (type (integer -913299295156 3670905260104) d))
1147           (declare (ignorable a b c d))
1148           (declare
1149            (optimize (safety 1) (space 1) (compilation-speed 2)
1150                      (debug 0) (speed 2)))
1151           (- (signum (catch 'ct6 0)) (numerator (* -1303 d -20527703 d c)))))
1152       -261283766805 41605749408 5110 1269102278886)
1153      -220139978315039892599545286437019126040)
1154    
1155    ;;; Here, it is MOD
1156    (deftest misc.89b
1157      (funcall
1158       (compile
1159        nil
1160        '(lambda (a b c d)
1161           (declare (type (integer -481454219025 239286093202) a))
1162           (declare (type (integer -1121405368785 213522) b))
1163           (declare (type (integer -103720347879 -241) c))
1164           (declare (type (integer -12830115357 3027711346) d))
1165           (declare (ignorable a b c d))
1166           (declare (optimize (speed 2) (compilation-speed 1) (space 1)
1167                              (safety 3) (debug 2)))
1168           (floor (load-time-value 0) (min -18 (* a c b -12626)))))
1169       -78545446876 -460518205737 -38885914099 1598305189)
1170      0 0)
1171    
1172  ;;; acl bugs (version 6.2, linux x86 trial)  ;;; acl bugs (version 6.2, linux x86 trial)
1173  (deftest misc.90  (deftest misc.90
1174    (let* ((form '(- 0 (ignore-errors 20763)    (let* ((form '(- 0 (ignore-errors 20763)

Legend:
Removed from v.1.156  
changed lines
  Added in v.1.157

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