/[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.14 by pfdietz, Sat Oct 18 19:36:03 2003 UTC revision 1.15 by pfdietz, Sun Oct 19 14:40:40 2003 UTC
# Line 1104  Line 1104 
1104     0)     0)
1105    26)    26)
1106    
1107  ;;; acl bug (version 6.2, linux x86 trial)  ;;; acl bugs (version 6.2, linux x86 trial)
1108  (deftest misc.90  (deftest misc.90
1109    (let* ((form '(- 0 (ignore-errors 20763)    (let* ((form '(- 0 (ignore-errors 20763)
1110                     (logxor b 1 c -7672794) b))                     (logxor b 1 c -7672794) b))
# Line 1122  Line 1122 
1122          (list v1 v2 v3))))          (list v1 v2 v3))))
1123    :good)    :good)
1124    
 ;;; acl bug (version 6.2, linux x86 trial)  
1125  (deftest misc.91  (deftest misc.91
1126    (let ((fn1 '(lambda ()    (let ((fn1 '(lambda ()
1127                  (declare (optimize (speed 3) (safety 1)))                  (declare (optimize (speed 3) (safety 1)))
# Line 1136  Line 1135 
1135          (list v1 v2 v3))))          (list v1 v2 v3))))
1136    :good)    :good)
1137    
 ;;; acl bug (version 6.2, linux x86 trial)  
1138  (deftest misc.92  (deftest misc.92
1139    (let* ((form '(- -16179207 b (lognor (let () 3) (logxor -17567197 c))))    (let* ((form '(- -16179207 b (lognor (let () 3) (logxor -17567197 c))))
1140           (fn1 `(lambda (b c)           (fn1 `(lambda (b c)
# Line 1154  Line 1152 
1152          (list v1 v2 v3))))          (list v1 v2 v3))))
1153    :good)    :good)
1154    
           
1155    (deftest misc.93
1156      (let* ((form '(ash (1+ (flet ((%f5 (f5-1) c)) c))
1157                         (min 69 (logxor a b))))
1158             (fn1 `(lambda (a b c)
1159                     (declare (type (integer -128 -109) a)
1160                              (type (integer -2 -1) b)
1161                              (optimize (speed 3) (safety 1)))
1162                     ,form))
1163             (fn2 `(lambda (a b c) ,form))
1164             (vals '(-123 -1 2590941967601)))
1165        (eqlt (apply (compile nil fn1) vals)
1166              (apply (compile nil fn2) vals)))
1167      t)
1168    
1169    (deftest misc.94
1170      (not (funcall
1171            (compile nil '(lambda ()
1172                            (declare (optimize (speed 3) (safety 1) (debug 1)))
1173                            (<= 268435280
1174                                (load-time-value
1175                                 39763134374436777607194165739302560271120000))))))
1176      nil)
1177    
1178    (deftest misc.95
1179      (let* ((form '(+ 272 c (if (< b a) -49618 -29042) b))
1180             (fn1 `(lambda (a b c)
1181                     (declare (type (integer -1585918 601848636) a))
1182                     (declare (type (integer -4 16544323) b))
1183                     (declare (optimize (speed 3)))
1184                     (declare (optimize (safety 1)))
1185                     ,form))
1186             (fn2 `(lambda (a b c) ,form))
1187             (vals '(601739317 10891850 17452477960)))
1188        (let ((v1 (apply (compile nil fn1) vals))
1189              (v2 (apply (compile nil fn2) vals)))
1190          (if (eql v1 v2)
1191              :good
1192            (list v1 v2))))
1193      :good)
1194    
1195    (deftest misc.96
1196      (let* ((form '(max 26 (ceiling b (min -8 (max -1 c)))))
1197             (fn1 `(lambda (b c)
1198                     (declare (type (integer 482134 96074347505) b))
1199                     (declare (type (integer -4036 -50) c))
1200                     (declare (optimize (speed 3)))
1201                     (declare (optimize (safety 1)))
1202                     ,form))
1203             (fn2 `(lambda (b c) ,form))
1204             (vals '(90244278480 -338)))
1205        (let ((v1 (apply (compile nil fn1) vals))
1206              (v2 (apply (compile nil fn2) vals)))
1207          (if (eql v1 v2)
1208              :good
1209            (list v1 v2))))
1210      :good)
1211    
1212    (deftest misc.97
1213      (let* ((form '(- 349708 (gcd c 0) (logand b b (if (> -8543459 c) 83328 1073))))
1214             (fn1 `(lambda (b c)
1215                     (declare (type (integer 301653 329907) b))
1216                     (declare (type (integer 171971491 1073721279) c))
1217                     (declare (optimize (speed 3)))
1218                     (declare (optimize (safety 1)))
1219                     ,form))
1220             (fn2 `(lambda (b c) ,form))
1221             (vals '(321769 1073671227)))
1222        (let ((v1 (apply (compile nil fn1) vals))
1223              (v2 (apply (compile nil fn2) vals)))
1224          (if (eql v1 v2)
1225              :good
1226            (list v1 v2))))
1227      :good)
1228    
1229    
1230    
1231    

Legend:
Removed from v.1.14  
changed lines
  Added in v.1.15

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