/[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.5 by pfdietz, Thu Sep 25 11:06:22 2003 UTC revision 1.6 by pfdietz, Tue Sep 30 11:39:40 2003 UTC
# Line 787  Line 787 
787    
788  (deftest misc.59  (deftest misc.59
789    (funcall    (funcall
790     (compile  nil '(lambda (a b c)     (compile nil '(lambda (a b c)
791                            (declare (type (integer -3966039360 -879349) a)                     (declare (type (integer -3966039360 -879349) a)
792                                     (type (integer -62642199164 -8993827395) b)                              (type (integer -62642199164 -8993827395) b)
793                                     (type (integer -8065934654337 223) c)                              (type (integer -8065934654337 223) c)
794                                     (ignorable a b c)                              (optimize (speed 3) (safety 1) (debug 1)))
795                                     (optimize (speed 3) (safety 1) (debug 1)))                     (floor (* (ceiling c) c)
796                            (floor (* (ceiling c) c)                            (max 78 (* b (* a (* a b)))))))
                                  (max 78 (* b (* a (* a b)))))))  
797     -1000000 -10000000000 0)     -1000000 -10000000000 0)
798    0 0)    0 0)
799    
800    (deftest misc.60
801      (funcall
802        (compile nil
803                 '(lambda ()
804                    (let ((v5 46660))
805                      (setq v5 (signum (rem v5 (max 53 v5))))))))
806      0)
807    
808    (deftest misc.61
809      (progn
810        (compile nil
811                 '(lambda (a b)
812                    (declare (type (integer -1785799651 -2) a)
813                             (type (integer -27 614132331) b)
814                             (optimize (speed 3) (safety 1) (debug 1)))
815                    (ceiling (max (floor -733432 (max 84 -20)) 346)
816                             (min -10 (* 17592186028032 (* (* a b) a))))))
817        :good)
818      :good)
819    
820    (deftest misc.62
821      (funcall (compile nil '(lambda (a)
822                    (if (and (if a t nil) nil)
823                        a
824                      (min (block b5 -1) a))))
825               100)
826      -1)
827    
828    (deftest misc.63
829      (let* ((form '(flet ((%f12 () (setq c -9868204937)))
830                      (if (<= c (%f12)) -2 (if (= c c) b c))))
831             (form1 `(lambda (b c)
832                       (declare (type (integer -80421740610 1395590616) c))
833                       ,form))
834             (form2 `(lambda (b c) ,form))
835             (vals '(-696742851945 686256271)))
836        (eqlt (apply (compile nil form1) vals)
837              (apply (compile nil form2) vals)))
838      t)
839    
840    (deftest misc.64
841      (let* ((form '(logcount
842                     (if (not (> c (let ((v7 (setq c -246180))) -1)))
843                         (ldb (byte 24 11) c)
844                       c)))
845             (form1 `(lambda (c)
846                       (declare (type (integer -256128 207636) c))
847                       ,form))
848             (form2 `(lambda (c) ,form))
849             (vals '(11292))
850             )
851        (eqlt (apply (compile nil form1) vals)
852              (apply (compile nil form2) vals)))
853      t)
854    
855    (deftest misc.65
856      (let ((form1 '(lambda (b c)
857                      (declare (type (integer -350684427436 -255912007) b))
858                      (logandc2 c (if (< b (setq b -25647585550)) b 0))))
859            (form2 '(lambda (b c)
860                      (logandc2 c (if (< b (setq b -25647585550)) b 0))))
861            (vals '(-297090677547 -20121092)))
862        (eqlt (apply (compile nil form1) vals)
863              (apply (compile nil form2) vals)))
864      t)
865    
866    (deftest misc.66
867      (let* ((form '(if (> a (setq a -2198578292))
868                        (min b (if (<= a -14866) a -128363))
869                      a))
870             (form1 `(lambda (a b)
871                       (declare (type (integer -3709231882 0) a))
872                       (declare (type (integer -562051054 -1) b))
873                       ,form))
874             (form2 `(lambda (a b) ,form))
875             (vals '(-2095414787 -256985442)))
876        (eqlt (apply (compile nil form1) vals)
877              (apply (compile nil form2) vals)))
878      t)
879    

Legend:
Removed from v.1.5  
changed lines
  Added in v.1.6

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