7392 |
(declare (type (integer -429173946 -3892) b)) |
(declare (type (integer -429173946 -3892) b)) |
7393 |
(declare (type (integer -229669685 -50537386) c)) |
(declare (type (integer -229669685 -50537386) c)) |
7394 |
(declare (ignorable a b c)) |
(declare (ignorable a b c)) |
7395 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7396 |
(declare |
(declare |
7397 |
(optimize (speed 3) (space 1) (safety 0) (debug 3) (compilation-speed 2))) |
(optimize (speed 3) (space 1) (safety 0) (debug 3) (compilation-speed 2))) |
7398 |
(logorc2 |
(logorc2 |
7543 |
(declare (type (integer -995205 1035654) a)) |
(declare (type (integer -995205 1035654) a)) |
7544 |
(declare (type (integer 473 114804994247) b)) |
(declare (type (integer 473 114804994247) b)) |
7545 |
(declare (ignorable a b)) |
(declare (ignorable a b)) |
7546 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7547 |
(declare |
(declare |
7548 |
(optimize (debug 3) (speed 2) (compilation-speed 0) (space 3) |
(optimize (debug 3) (speed 2) (compilation-speed 0) (space 3) |
7549 |
(safety 3))) |
(safety 3))) |
7564 |
(declare (type (integer -76 86) a)) |
(declare (type (integer -76 86) a)) |
7565 |
(declare (type (integer -13771285280 109) b)) |
(declare (type (integer -13771285280 109) b)) |
7566 |
(declare (ignorable a b)) |
(declare (ignorable a b)) |
7567 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7568 |
(declare |
(declare |
7569 |
(optimize (safety 3) (space 1) (debug 2) (compilation-speed 3) |
(optimize (safety 3) (space 1) (debug 2) (compilation-speed 3) |
7570 |
(speed 3))) |
(speed 3))) |
7584 |
(declare (type (integer -76645001 98715919) a)) |
(declare (type (integer -76645001 98715919) a)) |
7585 |
(declare (type (integer 0 856472753903) b)) |
(declare (type (integer 0 856472753903) b)) |
7586 |
(declare (ignorable a b)) |
(declare (ignorable a b)) |
7587 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7588 |
(declare |
(declare |
7589 |
(optimize (speed 2) (space 0) (debug 3) (compilation-speed 0) |
(optimize (speed 2) (space 0) (debug 3) (compilation-speed 0) |
7590 |
(safety 3))) |
(safety 3))) |
7600 |
(declare (type (integer 6429252570156 8761983588786) a)) |
(declare (type (integer 6429252570156 8761983588786) a)) |
7601 |
(declare (type (integer -400378288 4971722) b)) |
(declare (type (integer -400378288 4971722) b)) |
7602 |
(declare (ignorable a b)) |
(declare (ignorable a b)) |
7603 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7604 |
(declare |
(declare |
7605 |
(optimize (debug 3) (speed 3) (space 2) (safety 0) |
(optimize (debug 3) (speed 3) (space 2) (safety 0) |
7606 |
(compilation-speed 3))) |
(compilation-speed 3))) |
7617 |
(declare (type (integer -1601 485) a)) |
(declare (type (integer -1601 485) a)) |
7618 |
(declare (type (integer -190428560464 -1444494) b)) |
(declare (type (integer -190428560464 -1444494) b)) |
7619 |
(declare (ignorable a b)) |
(declare (ignorable a b)) |
7620 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7621 |
(declare |
(declare |
7622 |
(optimize (debug 0) (space 2) (speed 0) (safety 3) |
(optimize (debug 0) (space 2) (speed 0) (safety 3) |
7623 |
(compilation-speed 2))) |
(compilation-speed 2))) |
7635 |
(declare (type (integer -168258525920 -2044) a)) |
(declare (type (integer -168258525920 -2044) a)) |
7636 |
(declare (type (integer -522 54) b)) |
(declare (type (integer -522 54) b)) |
7637 |
(declare (ignorable a b)) |
(declare (ignorable a b)) |
7638 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7639 |
(declare |
(declare |
7640 |
(optimize (speed 0) (safety 3) (compilation-speed 1) (space 0) |
(optimize (speed 0) (safety 3) (compilation-speed 1) (space 0) |
7641 |
(debug 2))) |
(debug 2))) |
7659 |
(declare (type (integer -319 7353) a)) |
(declare (type (integer -319 7353) a)) |
7660 |
(declare (type (integer 31751 4233916489) b)) |
(declare (type (integer 31751 4233916489) b)) |
7661 |
(declare (ignorable a b)) |
(declare (ignorable a b)) |
7662 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7663 |
(declare |
(declare |
7664 |
(optimize (safety 3) (compilation-speed 1) (debug 1) (speed 0) |
(optimize (safety 3) (compilation-speed 1) (debug 1) (speed 0) |
7665 |
(space 0))) |
(space 0))) |
7681 |
'(lambda (a) |
'(lambda (a) |
7682 |
(declare (type (integer -3 1) a)) |
(declare (type (integer -3 1) a)) |
7683 |
(declare (ignorable a)) |
(declare (ignorable a)) |
7684 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7685 |
(declare |
(declare |
7686 |
(optimize (space 0) (debug 0) (speed 3) (compilation-speed 2) |
(optimize (space 0) (debug 0) (speed 3) (compilation-speed 2) |
7687 |
(safety 3))) |
(safety 3))) |
7697 |
'(lambda (a) |
'(lambda (a) |
7698 |
(declare (type (integer 3376 4762) a)) |
(declare (type (integer 3376 4762) a)) |
7699 |
(declare (ignorable a)) |
(declare (ignorable a)) |
7700 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7701 |
(declare |
(declare |
7702 |
(optimize (debug 0) (safety 0) (space 0) (compilation-speed 3) |
(optimize (debug 0) (safety 0) (space 0) (compilation-speed 3) |
7703 |
(speed 3))) |
(speed 3))) |
7713 |
'(lambda (a) |
'(lambda (a) |
7714 |
(declare (type (integer 7299 257071514003) a)) |
(declare (type (integer 7299 257071514003) a)) |
7715 |
(declare (ignorable a)) |
(declare (ignorable a)) |
7716 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7717 |
(declare |
(declare |
7718 |
(optimize (compilation-speed 2) (space 1) (safety 2) (speed 1) |
(optimize (compilation-speed 2) (space 1) (safety 2) (speed 1) |
7719 |
(debug 2))) |
(debug 2))) |
7729 |
'(lambda (a) |
'(lambda (a) |
7730 |
(declare (type (integer -19116544 21344004) a)) |
(declare (type (integer -19116544 21344004) a)) |
7731 |
(declare (ignorable a)) |
(declare (ignorable a)) |
7732 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7733 |
(declare |
(declare |
7734 |
(optimize (space 1) (safety 3) (debug 1) (compilation-speed 0) |
(optimize (space 1) (safety 3) (debug 1) (compilation-speed 0) |
7735 |
(speed 0))) |
(speed 0))) |
7751 |
'(lambda (a) |
'(lambda (a) |
7752 |
(declare (type (integer -6456 -32) a)) |
(declare (type (integer -6456 -32) a)) |
7753 |
(declare (ignorable a)) |
(declare (ignorable a)) |
7754 |
#+cmucl (declare (optimize (extensions:inhibit-warnings 3))) |
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
7755 |
(declare |
(declare |
7756 |
(optimize (space 3) (safety 1) (compilation-speed 1) (speed 0) |
(optimize (space 3) (safety 1) (compilation-speed 1) (speed 0) |
7757 |
(debug 0))) |
(debug 0))) |
7970 |
-4794909 4095236669) |
-4794909 4095236669) |
7971 |
0) |
0) |
7972 |
|
|
7973 |
|
;;; sbcl 0.8.14.28 |
7974 |
|
;;; Wrong value computed |
7975 |
|
|
7976 |
|
(deftest misc.414 |
7977 |
|
(funcall |
7978 |
|
(compile |
7979 |
|
nil |
7980 |
|
'(lambda (c) |
7981 |
|
(declare (optimize (speed 1) (space 3) (compilation-speed 3) |
7982 |
|
(debug 3) (safety 1))) |
7983 |
|
(if (setq c 2) |
7984 |
|
(case (shiftf c 1) ((2) c) (t 0)) |
7985 |
|
0))) |
7986 |
|
0) |
7987 |
|
1) |
7988 |
|
|
7989 |
|
;;; cmucl |
7990 |
|
;;; Sept. 2004 snapshot |
7991 |
|
;;; Wrong return value |
7992 |
|
|
7993 |
|
(deftest misc.415 |
7994 |
|
(funcall |
7995 |
|
#'(lambda (a c) |
7996 |
|
(catch 'ct2 |
7997 |
|
(flet ((%f17 (&optional x &key) |
7998 |
|
(let* ((y (cons (dotimes (iv3 0)) 0))) |
7999 |
|
a))) |
8000 |
|
c))) |
8001 |
|
:bad :good) |
8002 |
|
:good) |
8003 |
|
|
8004 |
|
;;; Wrong value |
8005 |
|
(deftest misc.416 |
8006 |
|
(funcall |
8007 |
|
(compile |
8008 |
|
nil |
8009 |
|
'(lambda (b) |
8010 |
|
(declare (type (integer 12052668 22838464) b)) |
8011 |
|
(declare (ignorable a b c)) |
8012 |
|
(declare (optimize (compilation-speed 3) (debug 2) (speed 1) (space 0) |
8013 |
|
(safety 3))) |
8014 |
|
(min (mask-field (byte 2 18) b) 89582))) |
8015 |
|
13891743) |
8016 |
|
0) |
8017 |
|
|
8018 |
|
;;; Invalid number of arguments: 3 |
8019 |
|
(deftest misc.417 |
8020 |
|
(funcall |
8021 |
|
(compile |
8022 |
|
nil |
8023 |
|
'(lambda (c) |
8024 |
|
(declare (type (integer 995 22565094) c)) |
8025 |
|
(declare (optimize (safety 2) (debug 1) (space 0) (compilation-speed 2) |
8026 |
|
(speed 1))) |
8027 |
|
(numerator (floor (numerator (deposit-field 0 (byte 0 0) c)))))) |
8028 |
|
17190042) |
8029 |
|
17190042) |
8030 |
|
|
8031 |
|
;;; Invalid number of arguments: #<Unknown Immediate Object, lowtag=#b110, type=#x66 |
8032 |
|
;;; {598FCC66}> |
8033 |
|
(deftest misc.418 |
8034 |
|
(funcall |
8035 |
|
(compile |
8036 |
|
nil |
8037 |
|
'(lambda (a b c) |
8038 |
|
(declare (type (integer 1670923021 2536883848) a)) |
8039 |
|
(declare (ignorable a b c)) |
8040 |
|
(declare (optimize (safety 3) (compilation-speed 3) (speed 1) (debug 1) |
8041 |
|
(space 2))) |
8042 |
|
(if (logior (setf c 67) 0 a) a 0))) |
8043 |
|
2161404325 -1968715305 83) |
8044 |
|
2161404325) |
8045 |
|
|
8046 |
|
;;; nil is not of type c::continuation |
8047 |
|
;;; (c::convert-type-check #<Continuation c1> |
8048 |
|
;;; ((nil #<numeric-type integer> #<numeric-type integer>))) |
8049 |
|
|
8050 |
|
(deftest misc.419 |
8051 |
|
(funcall |
8052 |
|
(compile |
8053 |
|
nil |
8054 |
|
'(lambda () |
8055 |
|
(declare (optimize (safety 3) (speed 3) (compilation-speed 1) (space 1) |
8056 |
|
(debug 2))) |
8057 |
|
(boole boole-set 0 (case 2 ((0) 0) (t (numerator (catch 'ct2 0)))))))) |
8058 |
|
-1) |
8059 |
|
|
8060 |
|
;;; nil is not of type c::continuation |
8061 |
|
;;; (c::convert-type-check #<Continuation c1> |
8062 |
|
;;; ((nil #<union-type real> #<union-type real>))) |
8063 |
|
|
8064 |
|
(deftest misc.420 |
8065 |
|
(funcall |
8066 |
|
(compile |
8067 |
|
nil |
8068 |
|
'(lambda (a b) |
8069 |
|
(declare (type (integer -65954801 6519292634236) a)) |
8070 |
|
(declare (type (integer 5721249203 36508717226) b)) |
8071 |
|
(declare (ignorable a b)) |
8072 |
|
(declare |
8073 |
|
(optimize (space 3) (compilation-speed 2) (safety 3) (speed 0) |
8074 |
|
(debug 2))) |
8075 |
|
(flet ((%f14 (f14-1 f14-2 &key) |
8076 |
|
(prog2 0 f14-2 (min (catch 'ct4 (floor 120378948 (max 22 a))))))) |
8077 |
|
(reduce #'(lambda (lmv6 lmv5) (%f14 0 0)) |
8078 |
|
(vector 0 0 0) |
8079 |
|
:start |
8080 |
|
0 |
8081 |
|
:from-end |
8082 |
|
t)))) |
8083 |
|
6313133774518 10840050742) |
8084 |
|
0) |
8085 |
|
|
8086 |
|
;;; Invalid number of arguments: 1 |
8087 |
|
(deftest misc.421 |
8088 |
|
(funcall |
8089 |
|
(compile |
8090 |
|
nil |
8091 |
|
'(lambda (a) |
8092 |
|
(declare (optimize (debug 0) (space 2) (compilation-speed 1) (safety 0) |
8093 |
|
(speed 0))) |
8094 |
|
(imagpart (block b8 (logior (catch 'ct7 (return-from b8 a)) -1123785))))) |
8095 |
|
-1021899) |
8096 |
|
0) |
8097 |
|
|
8098 |
|
;;; Invalid number of arguments: 2 |
8099 |
|
(deftest misc.422 |
8100 |
|
(funcall |
8101 |
|
(compile |
8102 |
|
nil |
8103 |
|
'(lambda (a) |
8104 |
|
(declare (type (integer -13 -3) a)) |
8105 |
|
(declare (optimize (space 2) (debug 1) (safety 1) (speed 2) |
8106 |
|
(compilation-speed 1))) |
8107 |
|
(logorc2 (sbit #*0010000011101010 (min 15 (max 0 0))) a))) |
8108 |
|
-7) |
8109 |
|
6) |
8110 |
|
|
8111 |
|
;;; nil is not of type c::continuation |
8112 |
|
;;; (c::convert-type-check #<Continuation c1> |
8113 |
|
;;; ((t #<member-type null> #<union-type real>))) |
8114 |
|
(deftest misc.423 |
8115 |
|
(funcall |
8116 |
|
(compile |
8117 |
|
nil |
8118 |
|
'(lambda (a b) |
8119 |
|
(declare (type (integer 0 1) a)) |
8120 |
|
(declare (type (integer -8031148528 5509023941) b)) |
8121 |
|
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
8122 |
|
(declare (optimize (space 2) (safety 3) (debug 1) (compilation-speed 3) (speed 2))) |
8123 |
|
(min 0 (ignore-errors (logand 0 b 388))))) |
8124 |
|
0 4604112015) |
8125 |
|
0) |
8126 |
|
|
8127 |
|
;;; Argument x is not a real: nil. |
8128 |
|
;;; (kernel:two-arg-> nil 0) |
8129 |
|
|
8130 |
|
(deftest misc.424 |
8131 |
|
(funcall |
8132 |
|
(compile |
8133 |
|
nil |
8134 |
|
'(lambda (a b) |
8135 |
|
(declare (type (integer -24 15) a)) |
8136 |
|
(declare (type (integer -99661829155 16) b)) |
8137 |
|
(declare (ignorable a b)) |
8138 |
|
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
8139 |
|
(declare (optimize (safety 3) (debug 1) (compilation-speed 1) (space 3) |
8140 |
|
(speed 3))) |
8141 |
|
(catch 'ct4 |
8142 |
|
(logandc1 a |
8143 |
|
(ignore-errors |
8144 |
|
(let* ((v8 (complex (throw 'ct4 0) 0))) |
8145 |
|
0)))))) |
8146 |
|
-18 -47519360453) |
8147 |
|
0) |
8148 |
|
|
8149 |
|
;;; Different results |
8150 |
|
(deftest misc.425 |
8151 |
|
(funcall |
8152 |
|
(compile |
8153 |
|
nil |
8154 |
|
'(lambda (a b) |
8155 |
|
(declare (type (integer -394128 80657) a)) |
8156 |
|
(declare (type (integer 13729431 14852298) b)) |
8157 |
|
(declare (optimize (space 2) (compilation-speed 1) (safety 0) (debug 0) |
8158 |
|
(speed 2))) |
8159 |
|
(logorc1 (* a (logior b 0)) 0))) |
8160 |
|
-80334 14527920) |
8161 |
|
1167085925279) |
8162 |
|
|
8163 |
|
;;; Unable to display error condition |
8164 |
|
(deftest misc.426 |
8165 |
|
(funcall |
8166 |
|
(compile |
8167 |
|
nil |
8168 |
|
'(lambda () |
8169 |
|
#+cmu (declare (optimize (extensions:inhibit-warnings 3))) |
8170 |
|
(declare (optimize (safety 3) (space 3) (speed 3) (debug 1) |
8171 |
|
(compilation-speed 3))) |
8172 |
|
(dotimes (iv3 1 0) (logxor iv3 1285775))))) |
8173 |
|
0) |
8174 |
|
|