8861 |
(isqrt x))) |
(isqrt x))) |
8862 |
4) |
4) |
8863 |
2) |
2) |
8864 |
|
|
8865 |
|
;;; gcl 24 Dec 2004 |
8866 |
|
;;; Incorrect results (these may all be related) |
8867 |
|
;;; These are also produced by the special purpose tester in random-type-prop.lsp |
8868 |
|
|
8869 |
|
(deftest misc.467 |
8870 |
|
(funcall |
8871 |
|
(compile nil '(lambda (p2 p3) |
8872 |
|
(declare (optimize speed (safety 1)) |
8873 |
|
(type (integer -990888631320) p2) |
8874 |
|
(type (integer -20346 -19755) p3)) |
8875 |
|
(+ -77 (the (integer * -990888630255) p2) p3))) |
8876 |
|
-990888630272 -19756) |
8877 |
|
-990888650105) |
8878 |
|
|
8879 |
|
(deftest misc.468 |
8880 |
|
(funcall |
8881 |
|
(compile nil '(lambda (p2 p3) |
8882 |
|
(declare (optimize speed (safety 1)) |
8883 |
|
(type (integer * 151075404030) p2) |
8884 |
|
(type (integer 6515518 *) p3)) |
8885 |
|
(- 12967657127936 (the (eql 151075403520) p2) |
8886 |
|
(the (member 6515658 -14) p3)))) |
8887 |
|
151075403520 6515658) |
8888 |
|
12816575208758) |
8889 |
|
|
8890 |
|
(deftest misc.469 |
8891 |
|
(funcall |
8892 |
|
(compile nil '(lambda (p2) |
8893 |
|
(declare (optimize speed (safety 1)) (type integer p2)) |
8894 |
|
(+ 30926 (the (integer -4025987543018 *) p2)))) |
8895 |
|
-4025817763840) |
8896 |
|
-4025817732914) |
8897 |
|
|
8898 |
|
(deftest misc.470 |
8899 |
|
(funcall |
8900 |
|
(compile nil '(lambda (p2) |
8901 |
|
(declare (optimize speed (safety 1)) |
8902 |
|
(type (integer 3689224658939 *) p2)) |
8903 |
|
(+ -1071 (the (integer * 3689229115390) p2)))) |
8904 |
|
3689228853248) |
8905 |
|
3689228852177) |
8906 |
|
|
8907 |
|
(deftest misc.471 |
8908 |
|
(funcall |
8909 |
|
(compile nil '(lambda (p1 p2) |
8910 |
|
(declare (optimize speed (safety 1)) |
8911 |
|
(type (integer -9024844 230253450) p1) |
8912 |
|
(type (eql 35716681856) p2)) |
8913 |
|
(* p1 (the (integer * 35716681856) p2)))) |
8914 |
|
-9024809 35716681856) |
8915 |
|
-322336231864165504) |
8916 |
|
|
8917 |
|
(deftest misc.472 |
8918 |
|
(funcall |
8919 |
|
(compile nil '(lambda (p1 p2) |
8920 |
|
(declare (optimize speed (safety 1)) |
8921 |
|
(type (integer -785238 -80) p1) |
8922 |
|
(type (eql -523213622272) p2)) |
8923 |
|
(min p1 (the integer p2)))) |
8924 |
|
-259 -523213622272) |
8925 |
|
-523213622272) |
8926 |
|
|
8927 |
|
(deftest misc.473 |
8928 |
|
(funcall |
8929 |
|
(compile nil '(lambda (p2) |
8930 |
|
(declare (optimize speed (safety 1)) |
8931 |
|
(type (integer * 65861934352) p2)) |
8932 |
|
(max 23939 (the (integer 64863825609 65878336765) p2)))) |
8933 |
|
65861912512) |
8934 |
|
65861912512) |
8935 |
|
|
8936 |
|
(deftest misc.474 |
8937 |
|
(funcall |
8938 |
|
(compile nil '(lambda (p1) |
8939 |
|
(declare (optimize speed (safety 1)) |
8940 |
|
(type (integer -6750156308) p1)) |
8941 |
|
(logand (the signed-byte p1) -540165229))) |
8942 |
|
-6750156304) |
8943 |
|
-7289140848) |
8944 |
|
|
8945 |
|
|
8946 |
|
|
8947 |
|
|
8948 |
|
|
8949 |
|
|
8950 |
|
|