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 |
|
|