source: trunk/j/src/org/armedbear/lisp/bit-array-ops.lisp @ 8559

Last change on this file since 8559 was 8559, checked in by piso, 16 years ago

BIT-NOT

File size: 9.0 KB
Line 
1;;; bit-array-ops.lisp
2;;;
3;;; Copyright (C) 2003-2005 Peter Graves
4;;; $Id: bit-array-ops.lisp,v 1.5 2005-02-13 04:13:33 piso Exp $
5;;;
6;;; This program is free software; you can redistribute it and/or
7;;; modify it under the terms of the GNU General Public License
8;;; as published by the Free Software Foundation; either version 2
9;;; of the License, or (at your option) any later version.
10;;;
11;;; This program is distributed in the hope that it will be useful,
12;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
13;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14;;; GNU General Public License for more details.
15;;;
16;;; You should have received a copy of the GNU General Public License
17;;; along with this program; if not, write to the Free Software
18;;; Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.
19
20;;; Adapted from CMUCL.
21
22(in-package #:system)
23
24(defun bit-array-same-dimensions-p (array1 array2)
25  (declare (type (array bit) array1 array2))
26  (and (= (array-rank array1)
27    (array-rank array2))
28       (dotimes (index (array-rank array1) t)
29   (when (/= (array-dimension array1 index)
30       (array-dimension array2 index))
31     (return nil)))))
32
33(defun require-same-dimensions (array1 array2)
34  (unless (bit-array-same-dimensions-p array1 array2)
35    (error 'program-error
36           "~S and ~S do not have the same dimensions."
37           array1 array2)))
38
39(defun pick-result-array (result-bit-array bit-array-1)
40  (case result-bit-array
41    ((t) bit-array-1)
42    ((nil) (make-array (array-dimensions bit-array-1)
43           :element-type 'bit
44           :initial-element 0))
45    (t
46     (require-same-dimensions bit-array-1 result-bit-array)
47     result-bit-array)))
48
49(defun bit-and (bit-array-1 bit-array-2 &optional result-bit-array)
50  (require-same-dimensions bit-array-1 bit-array-2)
51  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
52    (if (and (simple-bit-vector-p bit-array-1)
53             (simple-bit-vector-p bit-array-2)
54             (simple-bit-vector-p result-bit-array))
55        (%simple-bit-vector-bit-and bit-array-1 bit-array-2 result-bit-array)
56        (dotimes (i (array-total-size result-bit-array) result-bit-array)
57          (setf (row-major-aref result-bit-array i)
58                (logand (row-major-aref bit-array-1 i)
59                        (row-major-aref bit-array-2 i)))))))
60
61(defun bit-ior (bit-array-1 bit-array-2 &optional result-bit-array)
62  (require-same-dimensions bit-array-1 bit-array-2)
63  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
64    (if (and (simple-bit-vector-p bit-array-1)
65             (simple-bit-vector-p bit-array-2)
66             (simple-bit-vector-p result-bit-array))
67        (%simple-bit-vector-bit-ior bit-array-1 bit-array-2 result-bit-array)
68        (dotimes (i (array-total-size result-bit-array) result-bit-array)
69          (setf (row-major-aref result-bit-array i)
70                (logior (row-major-aref bit-array-1 i)
71                        (row-major-aref bit-array-2 i)))))))
72
73(defun bit-xor (bit-array-1 bit-array-2 &optional result-bit-array)
74  (require-same-dimensions bit-array-1 bit-array-2)
75  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
76    (if (and (simple-bit-vector-p bit-array-1)
77             (simple-bit-vector-p bit-array-2)
78             (simple-bit-vector-p result-bit-array))
79        (%simple-bit-vector-bit-xor bit-array-1 bit-array-2 result-bit-array)
80        (dotimes (i (array-total-size result-bit-array) result-bit-array)
81          (setf (row-major-aref result-bit-array i)
82                (logxor (row-major-aref bit-array-1 i)
83                        (row-major-aref bit-array-2 i)))))))
84
85(defun bit-eqv (bit-array-1 bit-array-2 &optional result-bit-array)
86  (require-same-dimensions bit-array-1 bit-array-2)
87  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
88    (if (and (simple-bit-vector-p bit-array-1)
89             (simple-bit-vector-p bit-array-2)
90             (simple-bit-vector-p result-bit-array))
91        (%simple-bit-vector-bit-eqv bit-array-1 bit-array-2 result-bit-array)
92        (dotimes (i (array-total-size result-bit-array) result-bit-array)
93          (setf (row-major-aref result-bit-array i)
94                (logand (logeqv (row-major-aref bit-array-1 i)
95                                (row-major-aref bit-array-2 i))
96                        1))))))
97
98(defun bit-nand (bit-array-1 bit-array-2 &optional result-bit-array)
99  (require-same-dimensions bit-array-1 bit-array-2)
100  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
101    (if (and (simple-bit-vector-p bit-array-1)
102             (simple-bit-vector-p bit-array-2)
103             (simple-bit-vector-p result-bit-array))
104        (%simple-bit-vector-bit-nand bit-array-1 bit-array-2 result-bit-array)
105        (dotimes (i (array-total-size result-bit-array) result-bit-array)
106          (setf (row-major-aref result-bit-array i)
107                (logand (lognand (row-major-aref bit-array-1 i)
108                                 (row-major-aref bit-array-2 i))
109                        1))))))
110
111(defun bit-nor (bit-array-1 bit-array-2 &optional result-bit-array)
112  (require-same-dimensions bit-array-1 bit-array-2)
113  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
114    (if (and (simple-bit-vector-p bit-array-1)
115             (simple-bit-vector-p bit-array-2)
116             (simple-bit-vector-p result-bit-array))
117        (%simple-bit-vector-bit-nor bit-array-1 bit-array-2 result-bit-array)
118        (dotimes (i (array-total-size result-bit-array) result-bit-array)
119          (setf (row-major-aref result-bit-array i)
120                (logand (lognor (row-major-aref bit-array-1 i)
121                                (row-major-aref bit-array-2 i))
122                        1))))))
123
124(defun bit-andc1 (bit-array-1 bit-array-2 &optional result-bit-array)
125  (require-same-dimensions bit-array-1 bit-array-2)
126  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
127    (if (and (simple-bit-vector-p bit-array-1)
128             (simple-bit-vector-p bit-array-2)
129             (simple-bit-vector-p result-bit-array))
130        (%simple-bit-vector-bit-andc1 bit-array-1 bit-array-2 result-bit-array)
131        (dotimes (i (array-total-size result-bit-array) result-bit-array)
132          (setf (row-major-aref result-bit-array i)
133                (logand (logandc1 (row-major-aref bit-array-1 i)
134                                  (row-major-aref bit-array-2 i))
135                        1))))))
136
137(defun bit-andc2 (bit-array-1 bit-array-2 &optional result-bit-array)
138  (require-same-dimensions bit-array-1 bit-array-2)
139  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
140    (if (and (simple-bit-vector-p bit-array-1)
141             (simple-bit-vector-p bit-array-2)
142             (simple-bit-vector-p result-bit-array))
143        (%simple-bit-vector-bit-andc2 bit-array-1 bit-array-2 result-bit-array)
144        (dotimes (i (array-total-size result-bit-array) result-bit-array)
145          (setf (row-major-aref result-bit-array i)
146                (logand (logandc2 (row-major-aref bit-array-1 i)
147                                  (row-major-aref bit-array-2 i))
148                        1))))))
149
150(defun bit-orc1 (bit-array-1 bit-array-2 &optional result-bit-array)
151  (require-same-dimensions bit-array-1 bit-array-2)
152  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
153    (if (and (simple-bit-vector-p bit-array-1)
154             (simple-bit-vector-p bit-array-2)
155             (simple-bit-vector-p result-bit-array))
156        (%simple-bit-vector-bit-orc1 bit-array-1 bit-array-2 result-bit-array)
157        (dotimes (i (array-total-size result-bit-array) result-bit-array)
158          (setf (row-major-aref result-bit-array i)
159                (logand (logorc1 (row-major-aref bit-array-1 i)
160                                 (row-major-aref bit-array-2 i))
161                        1))))))
162
163(defun bit-orc2 (bit-array-1 bit-array-2 &optional result-bit-array)
164  (require-same-dimensions bit-array-1 bit-array-2)
165  (let ((result-bit-array (pick-result-array result-bit-array bit-array-1)))
166    (if (and (simple-bit-vector-p bit-array-1)
167             (simple-bit-vector-p bit-array-2)
168             (simple-bit-vector-p result-bit-array))
169        (%simple-bit-vector-bit-orc2 bit-array-1 bit-array-2 result-bit-array)
170        (dotimes (i (array-total-size result-bit-array) result-bit-array)
171          (setf (row-major-aref result-bit-array i)
172                (logand (logorc2 (row-major-aref bit-array-1 i)
173                                 (row-major-aref bit-array-2 i))
174                        1))))))
175
176(defun bit-not (bit-array &optional result-bit-array)
177  (let ((result-bit-array (pick-result-array result-bit-array bit-array)))
178    (if (and (simple-bit-vector-p bit-array)
179             (simple-bit-vector-p result-bit-array))
180        (%simple-bit-vector-bit-not bit-array result-bit-array)
181    (dotimes (i (array-total-size result-bit-array) result-bit-array)
182      (setf (row-major-aref result-bit-array i)
183            (logxor (row-major-aref bit-array i) 1))))))
Note: See TracBrowser for help on using the repository browser.