9009 |
(aref r)) |
(aref r)) |
9010 |
2797674503) |
2797674503) |
9011 |
|
|
9012 |
|
(deftest misc.480 |
9013 |
|
(let ((r (make-array nil :element-type 'integer)) |
9014 |
|
(fn (compile nil '(lambda (r p1) |
9015 |
|
(declare (optimize speed (safety 1)) |
9016 |
|
(type (simple-array integer nil) r) |
9017 |
|
(type (integer -797971 -797511) p1)) |
9018 |
|
(setf (aref r) (logeqv p1 15 1078254884158 -12564176924 0 15096591909)) |
9019 |
|
(values))))) |
9020 |
|
(funcall fn r -797965) |
9021 |
|
(aref r)) |
9022 |
|
-1075415510532) |
9023 |
|
|
9024 |
|
(deftest misc.481 |
9025 |
|
(let ((r (make-array nil :element-type '(unsigned-byte 16))) |
9026 |
|
(fn (compile nil '(lambda (r p1) |
9027 |
|
(declare (optimize speed (safety 1)) |
9028 |
|
(type (simple-array (unsigned-byte 16) nil) r) |
9029 |
|
(type (member 4194309 -123 1692 -4432 -760653 -1741 37) p1)) |
9030 |
|
(setf (aref r) (logorc1 (the (eql -4432) p1) 0)) |
9031 |
|
(values))))) |
9032 |
|
(funcall fn r -4432) |
9033 |
|
(aref r)) |
9034 |
|
4431) |
9035 |
|
|
9036 |
|
;; Various incorrect results |
9037 |
|
|
|
|
|
|
|
|
9038 |
|
(deftest misc.482 |
9039 |
|
(let ((r (make-array nil :element-type '(unsigned-byte 4))) |
9040 |
|
(fn (compile nil '(lambda (r p2) |
9041 |
|
(declare (optimize speed (safety 1)) |
9042 |
|
(type (simple-array (unsigned-byte 4) nil) r) |
9043 |
|
(type (eql -4) p2)) |
9044 |
|
(setf (aref r) (logorc2 13 p2)) |
9045 |
|
(values))))) |
9046 |
|
(funcall fn r -4) |
9047 |
|
(aref r)) |
9048 |
|
15) |
9049 |
|
|
9050 |
|
(deftest misc.483 |
9051 |
|
(let ((r (make-array nil :element-type '(unsigned-byte 4))) |
9052 |
|
(fn (compile nil '(lambda (r p1 p2) |
9053 |
|
(declare (optimize speed (safety 1)) |
9054 |
|
(type (simple-array (unsigned-byte 4) nil) r) |
9055 |
|
(type (integer * 28306533) p1) (type (integer * 1245601) p2)) |
9056 |
|
(setf (aref r) (logandc1 p1 (the (integer -3308174) p2))) |
9057 |
|
(values))))) |
9058 |
|
(funcall fn r -519 -28180) |
9059 |
|
(aref r)) |
9060 |
|
4) |
9061 |
|
|
9062 |
|
(deftest misc.484 |
9063 |
|
(let ((r (make-array nil :element-type '(unsigned-byte 4))) |
9064 |
|
(fn (compile nil '(lambda (r p2) |
9065 |
|
(declare (optimize speed (safety 1)) |
9066 |
|
(type (simple-array (unsigned-byte 4) nil) r) |
9067 |
|
(type (member 260646 -348969 34359738370 -110167) p2)) |
9068 |
|
(setf (aref r) (logandc2 9 (the (eql -348969) p2))) |
9069 |
|
(values))))) |
9070 |
|
(funcall fn r -348969) |
9071 |
|
(aref r)) |
9072 |
|
8) |
9073 |
|
|
9074 |
|
(deftest misc.485 |
9075 |
|
(let ((r (make-array nil :element-type 'bit)) |
9076 |
|
(fn (compile nil '(lambda (r p2) |
9077 |
|
(declare (optimize speed (safety 1)) (type (simple-array bit nil) r) |
9078 |
|
(type (integer -108220 256178) p2)) |
9079 |
|
(setf (aref r) (logand 1 (the (member -1 2147483652 1 -5 3802) p2))) |
9080 |
|
(values))))) |
9081 |
|
(funcall fn r -5) |
9082 |
|
(aref r)) |
9083 |
|
1) |
9084 |
|
|
9085 |
|
(deftest misc.486 |
9086 |
|
(let ((r (make-array nil :element-type '(unsigned-byte 4))) |
9087 |
|
(fn (compile nil '(lambda (r p1 p2) |
9088 |
|
(declare (optimize speed (safety 1)) |
9089 |
|
(type (simple-array (unsigned-byte 4) nil) r) (type (integer -9) p1) |
9090 |
|
(type (integer * 1234117) p2)) |
9091 |
|
(setf (aref r) (logior (the (integer -295 *) p1) (the (integer -90 *) p2))) |
9092 |
|
(values))))) |
9093 |
|
(funcall fn r 6 6) |
9094 |
|
(aref r)) |
9095 |
|
6) |