X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/clg/blobdiff_plain/90e8bbf63d6ab5647f284af1cbab30ae37c5ae1c..9cbf385857b0d6f4d41d374e0b1673293eee59a0:/gffi/vectors.lisp

diff --git a/gffi/vectors.lisp b/gffi/vectors.lisp
index 082c34c..d7ded24 100644
--- a/gffi/vectors.lisp
+++ b/gffi/vectors.lisp
@@ -20,11 +20,24 @@
 ;; TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE
 ;; SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
 
-;; $Id: vectors.lisp,v 1.2 2006-06-08 13:24:25 espen Exp $
+;; $Id: vectors.lisp,v 1.7 2008-04-29 22:16:28 espen Exp $
 
 
 (in-package "GFFI")
 
+
+;;; Accessor functions for raw memory access
+
+(define-memory-accessor int-16)
+(define-memory-accessor int-32)
+(define-memory-accessor int-64)
+(define-memory-accessor uint-16)
+(define-memory-accessor uint-32)
+(define-memory-accessor uint-64)
+(define-memory-accessor single-float)
+(define-memory-accessor double-float)
+
+
 ;;; Vector
 
 (defun make-c-vector (type length &key content location temp)
@@ -101,6 +114,17 @@ (define-type-method alien-type ((type vector))
   (declare (ignore type))
   (alien-type 'pointer))
 
+(define-type-method argument-type ((type vector))
+  (declare (ignore type))
+  'sequence)
+
+(define-type-method return-type ((type vector))
+  (destructuring-bind (element-type &optional (length '*)) 
+      (rest (type-expand-to 'vector type))
+    (if (constantp length)
+	`(vector ,(return-type element-type) ,length)
+      `(vector ,(return-type element-type) *))))
+
 (define-type-method size-of ((type vector) &key inlined)
   (if inlined
       (destructuring-bind (element-type &optional (length '*)) 
@@ -260,6 +284,143 @@ (define-type-method copy-function ((type vector) &key inlined)
 		(setf (ref-pointer to offset) vector)	    
 		(funcall copy-content (ref-pointer from offset) vector)))))))))
 
+;;;; Unboxed vector
+
+(deftype unboxed-vector (element-type &optional (length '*)) 
+  `(simple-array ,element-type (,length)))
+
+(define-type-method argument-type ((type unboxed-vector))
+  type)
+
+(define-type-method return-type ((type unboxed-vector))
+  (destructuring-bind (element-type &optional (length '*)) 
+      (rest (type-expand-to 'unboxed-vector type))
+    (if (constantp length)
+	`(unboxed-vector ,(return-type element-type) ,length)
+      `(unboxed-vector ,(return-type element-type) *))))
+
+(defun check-unboxed-vector (type)
+  #+(or sbcl cmu)
+  (unless (subtypep type 'simple-unboxed-array)
+    (error "~A is not a subtype of ~A" type 'simple-unboxed-array)))
+
+#+(or sbcl cmu)
+(progn
+  (define-type-method alien-arg-wrapper ((type unboxed-vector) var vector style form &optional copy-in-p)
+    (destructuring-bind (element-type &optional (length '*)) 
+	(rest (type-expand-to 'unboxed-vector type))
+      (check-unboxed-vector type)
+      (when (and (eq length '*) (out-arg-p style))
+	(error "Can't use vector with variable size as return type"))
+      (cond
+	((and (in-arg-p style) copy-in-p)
+	 `(with-pointer (,var (with-pinned-objects (,vector)
+				(copy-memory (vector-sap ,vector) 
+				 (* (length ,vector) ,(size-of element-type)))))
+	    ,form))
+	((in-arg-p style)
+	 `(with-pinned-objects (,vector)
+	    (let ((,var (vector-sap ,vector)))
+	      ,form)))
+	((out-arg-p style)
+	 `(with-pointer (,var)
+	    ,form)))))
+
+  (define-type-method to-alien-form ((type unboxed-vector) vector &optional copy-p)
+    (declare (ignore copy-p))
+    (destructuring-bind (element-type &optional (length '*)) 
+	(rest (type-expand-to 'unboxed-vector type))
+      (check-unboxed-vector type)
+      `(with-pinned-objects (,vector)
+	 (copy-memory 
+	  (vector-sap ,vector) 
+	  (* ,(if (eq length '*) `(length ,vector) length) 
+	     ,(size-of element-type))))))
+
+
+  (define-type-method from-alien-form ((type unboxed-vector) form &key (ref :free))
+    (destructuring-bind (element-type &optional (length '*))
+	(rest (type-expand-to 'unboxed-vector type))
+      (check-unboxed-vector type)
+      (when (eq length '*)
+	(error "Can't use vector of variable size as return type"))
+      `(let ((c-vector ,form)
+	     (vector (make-array ,length :element-type ',element-type)))
+	 (with-pinned-objects (vector)
+	   (copy-memory c-vector (* ,length ,(size-of element-type)) (vector-sap vector))
+	   ,(when (eq ref :free)
+	     `(deallocate-memory c-vector))
+	   vector))))
+
+  (define-type-method writer-function ((type unboxed-vector) &key temp inlined)
+    (declare (ignore temp))
+    (destructuring-bind (element-type &optional (length '*))
+	(rest (type-expand-to 'unboxed-vector type))
+      (check-unboxed-vector type)
+      (if inlined
+	  (if (eq length '*)
+	      (error "Can't inline vector with variable size: ~A" type)
+	      #'(lambda (vector location &optional (offset 0))
+		  (with-pinned-objects (vector)
+		    (copy-memory 
+		     (vector-sap vector) 
+		     (* length (size-of element-type))
+		     (pointer+ location offset)))))
+	  #'(lambda (vector location &optional (offset 0))
+	      (setf 
+	       (ref-pointer location offset)
+	       (with-pinned-objects (vector)
+		 (copy-memory (vector-sap vector) 
+		  (* (length vector) (size-of element-type)))))))))
+
+  (define-type-method reader-function ((type unboxed-vector) &key (ref :read) inlined)
+    (destructuring-bind (element-type &optional (length '*))
+	(rest (type-expand-to 'unboxed-vector type))
+      (check-unboxed-vector type)
+      (cond
+	((eq length '*)
+	 (error "Can't create reader function for vector with variable size"))
+	(inlined
+	 #'(lambda (location &optional (offset 0))
+	     (let ((vector (make-array length :element-type element-type)))
+	       (with-pinned-objects (vector)
+		 (copy-memory 
+		  (pointer+ location offset)
+		  (* length (size-of element-type))
+		  (vector-sap vector))
+		 vector))))
+	(t
+	 #'(lambda (location &optional (offset 0))
+	     (let ((vector (make-array length :element-type element-type)))
+	       (unless (null-pointer-p (ref-pointer location offset))
+		 (with-pinned-objects (vector)
+		   (copy-memory 
+		    (ref-pointer location offset)
+		    (* (length vector) (size-of element-type))
+		    (vector-sap vector)))
+		 (when (eq ref :get)
+		   (deallocate-memory (ref-pointer location offset))
+		   (setf (ref-pointer location offset) (make-pointer 0)))
+		 vector))))))))
+
+(define-type-method destroy-function ((type unboxed-vector) &key temp inlined)
+  (declare (ignore temp))
+  (destructuring-bind (element-type &optional (length '*))
+      (rest (type-expand-to 'unboxed-vector type))
+    (check-unboxed-vector type)
+    (cond
+     #+sbcl 
+     ((eq length '*)
+      (error "Can't create destroy function for vector with variable size"))
+     (inlined
+      #'(lambda (location &optional (offset 0))
+	  (clear-memory location (* length (size-of element-type)) offset)))
+     (t
+      #'(lambda (location &optional (offset 0))
+	  (unless (null-pointer-p (ref-pointer location offset))
+	    (deallocate-memory (ref-pointer location offset))
+	    (setf (ref-pointer location offset) (make-pointer 0))))))))
+
 
 ;;;; Null terminated vector
 
@@ -295,7 +456,7 @@ (defun map-0-vector (seqtype function location element-type &optional (ref :read
 
 (defun unset-0-vector (location element-type &optional temp-p)
   (loop
-   with destroy = (destroy-function element-type temp-p)
+   with destroy = (destroy-function element-type :temp temp-p)
    with element-size = (size-of element-type)
    for offset by element-size
    until (memory-clear-p (pointer+ location offset) element-size)
@@ -411,9 +572,9 @@ (define-type-method copy-function ((type vector0) &key inlined)
 		     for element by element-size
 		     until (memory-clear-p from-vector element-size element)
 		     finally (return length)))
-		   (to-vector (setf 
-			       (ref-pointer to offset)		  
-			       (allocate-memory (* length element-size)))))
+		   (to-vector 
+		    (setf (ref-pointer to offset)		  
+		     (allocate-memory (* (1+ length) element-size)))))
 	      (loop
 	       repeat length
 	       for element by element-size
@@ -575,3 +736,50 @@ (define-type-method copy-function ((type counted-vector) &key inlined)
 	       repeat length
 	       for element from counter-size by element-size
 	       do (funcall copy-element from-vector to-vector element))))))))
+
+
+;;;; Accessor functions for raw memory access
+
+(defun vector-reader-function (type &key (start 0) end)
+  "Returns a function for reading values from raw C vectors"
+  (let ((element-size (size-of type))
+	(reader (reader-function type)))
+    #'(lambda (vector index)
+	(assert (and (>= index start) (or (not end) (< index end))))
+	(funcall reader vector (* index element-size)))))
+
+(defun vector-writer-function (type &key (start 0) end)
+  "Returns a function for writing values to raw C vectors"
+  (let ((element-size (size-of type))
+	(writer (writer-function type)))
+    #'(lambda (value vector index)
+	(assert (and (>= index start) (or (not end) (< index end))))
+	(funcall writer value vector (* index element-size)))))
+
+
+(defmacro define-vector-accessor (type)
+  (let ((name (intern (format nil "VECTOR-REF-~A" type)))
+	(ref (intern (format nil "REF-~A" type))))
+    `(progn     
+       (declaim 
+	(ftype (function (pointer fixnum) ,type) ,name)
+	(inline ,name))
+       (defun ,name (vector index)
+	 (,ref vector (* ,(size-of type) index)))
+       (declaim 
+	(ftype (function (,type pointer fixnum) ,type) (setf ,name))
+	(inline (setf ,name)))
+       (defun (setf ,name) (value vector index)
+	 (setf (,ref vector (* ,(size-of type) index)) value)))))
+
+(define-vector-accessor int-8)
+(define-vector-accessor uint-8)
+(define-vector-accessor int-16)
+(define-vector-accessor uint-16)
+(define-vector-accessor int-32)
+(define-vector-accessor uint-32)
+(define-vector-accessor int-64)
+(define-vector-accessor uint-64)
+(define-vector-accessor double-float)
+(define-vector-accessor single-float)
+