X-Git-Url: https://git.distorted.org.uk/~mdw/clg/blobdiff_plain/12b7df041a52d531724e41e2fcb60b07f8db71e5..4f805161e70cf5f9a07a8e20d819b4abe436022a:/glib/ffi.lisp diff --git a/glib/ffi.lisp b/glib/ffi.lisp index 761f0cd..385a7c4 100644 --- a/glib/ffi.lisp +++ b/glib/ffi.lisp @@ -15,7 +15,7 @@ ;; License along with this library; if not, write to the Free Software ;; Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA -;; $Id: ffi.lisp,v 1.10 2004-12-26 11:40:14 espen Exp $ +;; $Id: ffi.lisp,v 1.18 2005-03-13 18:06:51 espen Exp $ (in-package "GLIB") @@ -103,20 +103,20 @@ (not supplied-lambda-list) (namep expr) (member style '(:in :in-out :return))) (push expr lambda-list)) - (push - (list (if (namep expr) - (make-symbol (string expr)) - (gensym)) - expr (mklist type) style) args))))) + (push (list (cond + ((and (namep expr) (eq style :out)) expr) + ((namep expr) (make-symbol (string expr))) + ((gensym))) + expr (mklist type) style) args))))) (%defbinding c-name lisp-name (or supplied-lambda-list (nreverse lambda-list)) return-type (reverse docs) (reverse args))))) -#+cmu +#+(or cmu sbcl) (defun %defbinding (foreign-name lisp-name lambda-list return-type docs args) - (ext:collect ((alien-types) (alien-bindings) (alien-parameters) - (return-values) (cleanup-forms)) + (collect ((alien-types) (alien-bindings) (alien-parameters) + (return-values) (cleanup-forms)) (dolist (arg args) (destructuring-bind (var expr type style) arg (let ((declaration (alien-type type)) @@ -128,8 +128,10 @@ (alien-parameters `(addr ,var)) (alien-bindings `(,var ,declaration - ,@(when (eq style :in-out) - (list (to-alien-form expr type))))) + ,@(cond + ((eq style :in-out) (list (to-alien-form expr type))) + ((eq declaration 'system-area-pointer) + (list '(make-pointer 0)))))) (return-values (from-alien-form var type))) ((eq style :return) (alien-types declaration) @@ -151,7 +153,8 @@ (alien-funcall `(alien-funcall ,alien-name ,@(alien-parameters)))) `(defun ,lisp-name ,lambda-list ,@docs - (declare (optimize (ext:inhibit-warnings 3))) + #+cmu(declare (optimize (inhibit-warnings 3))) + #+sbcl(declare (muffle-conditions compiler-note)) (with-alien ((,alien-name (function ,(alien-type return-type) @@ -173,14 +176,15 @@ ;;; Creates bindings at runtime (defun mkbinding (name return-type &rest arg-types) - (declare (optimize (ext:inhibit-warnings 3))) + #+cmu(declare (optimize (inhibit-warnings 3))) + #+sbcl(declare (muffle-conditions compiler-note)) (let* ((ftype `(function ,@(mapcar #'alien-type (cons return-type arg-types)))) (alien - (alien::%heap-alien - (alien::make-heap-alien-info - :type (alien::parse-alien-type ftype) - :sap-form (system:foreign-symbol-address name :flavor :code)))) + (%heap-alien + (make-heap-alien-info + :type (parse-alien-type ftype #+sbcl nil) + :sap-form (foreign-symbol-address name)))) (translate-arguments (mapcar #'to-alien-function arg-types)) (translate-return-value (from-alien-function return-type)) (cleanup-arguments (mapcar #'cleanup-function arg-types))) @@ -189,26 +193,37 @@ (map-into args #'funcall translate-arguments args) (prog1 (funcall translate-return-value - (apply #'alien:alien-funcall alien args)) + (apply #'alien-funcall alien args)) (mapc #'funcall cleanup-arguments args))))) (defmacro defcallback (name (return-type &rest args) &body body) - `(def-callback ,name - (,(alien-type return-type) - ,@(mapcar #'(lambda (arg) - (destructuring-bind (name type) arg - `(,name ,(alien-type type)))) - args)) - ,(to-alien-form - `(let (,@(mapcar #'(lambda (arg) - (destructuring-bind (name type) arg - `(,name ,(from-alien-form name type)))) - args)) - ,@body) - return-type))) - - + (let ((def-callback #+cmu'alien:def-callback + #+sbcl'sb-alien:define-alien-function)) + `(,def-callback ,name + (,(alien-type return-type) + ,@(mapcar #'(lambda (arg) + (destructuring-bind (name type) arg + `(,name ,(alien-type type)))) + args)) + ,(to-alien-form + `(let (,@(delete nil + (mapcar #'(lambda (arg) + (destructuring-bind (name type) arg + (let ((from-alien + (from-alien-form name type))) + (unless (eq name from-alien) + `(,name ,from-alien))))) + args))) + ,@body) + return-type)))) + +#+sbcl +(defun callback (af) + (sb-alien:alien-function-sap af)) + +#+sbcl +(deftype callback () 'sb-alien:alien-function) ;;;; Definitons and translations of fundamental types @@ -329,10 +344,10 @@ (declare (ignore type)) (destructuring-bind (&optional (size '*)) args (ecase size - (#.+bits-of-byte+ '(signed-byte 8)) - (#.+bits-of-short+ 'c-call:short) - ((* #.+bits-of-int+) 'c-call:int) - (#.+bits-of-long+ 'c-call:long)))) + (#.+bits-of-byte+ #+cmu'(alien:signed 8) #+sbcl'(sb-alien:signed 8)) + (#.+bits-of-short+ #+cmu 'c-call:short #+sbcl 'sb-alien:short) + ((* #.+bits-of-int+) #+cmu 'c-call:int #+sbcl 'sb-alien:int) + (#.+bits-of-long+ #+cmu 'c-call:long #+sbcl 'sb-alien:long)))) (defmethod size-of ((type (eql 'signed-byte)) &rest args) (declare (ignore type)) @@ -378,10 +393,13 @@ (defmethod alien-type ((type (eql 'unsigned-byte)) &rest args) (destructuring-bind (&optional (size '*)) args (ecase size - (#.+bits-of-byte+ '(unsigned-byte 8)) - (#.+bits-of-short+ 'c-call:unsigned-short) - ((* #.+bits-of-int+) 'c-call:unsigned-int) - (#.+bits-of-long+ 'c-call:unsigned-long)))) + (#.+bits-of-byte+ #+cmu'(alien:unsigned 8) #+sbcl'(sb-alien:unsigned 8)) + (#.+bits-of-short+ #+cmu 'c-call:unsigned-short + #+sbcl 'sb-alien:unsigned-short) + ((* #.+bits-of-int+) #+cmu 'c-call:unsigned-int + #+sbcl 'sb-alien:unsigned-int) + (#.+bits-of-long+ #+cmu 'c-call:unsigned-long + #+sbcl 'sb-alien:unsigned-long)))) (defmethod size-of ((type (eql 'unsigned-byte)) &rest args) (apply #'size-of 'signed args)) @@ -443,12 +461,21 @@ (defmethod alien-type ((type (eql 'single-float)) &rest args) (declare (ignore type args)) - 'alien:single-float) + #+cmu 'alien:single-float #+sbcl 'sb-alien:single-float) (defmethod size-of ((type (eql 'single-float)) &rest args) (declare (ignore type args)) +size-of-float+) +(defmethod to-alien-form (form (type (eql 'single-float)) &rest args) + (declare (ignore type args)) + `(coerce ,form 'single-float)) + +(defmethod to-alien-function ((type (eql 'single-float)) &rest args) + (declare (ignore type args)) + #'(lambda (number) + (coerce number 'single-float))) + (defmethod writer-function ((type (eql 'single-float)) &rest args) (declare (ignore type args)) #'(lambda (value location &optional (offset 0)) @@ -462,12 +489,21 @@ (defmethod alien-type ((type (eql 'double-float)) &rest args) (declare (ignore type args)) - 'alien:double-float) + #+cmu 'alien:double-float #+sbcl 'sb-alien:double-float) (defmethod size-of ((type (eql 'double-float)) &rest args) (declare (ignore type args)) +size-of-double+) +(defmethod to-alien-form (form (type (eql 'double-float)) &rest args) + (declare (ignore type args)) + `(coerce ,form 'double-float)) + +(defmethod to-alien-function ((type (eql 'double-float)) &rest args) + (declare (ignore type args)) + #'(lambda (number) + (coerce number 'double-float))) + (defmethod writer-function ((type (eql 'double-float)) &rest args) (declare (ignore type args)) #'(lambda (value location &optional (offset 0)) @@ -481,7 +517,7 @@ (defmethod alien-type ((type (eql 'base-char)) &rest args) (declare (ignore type args)) - 'c-call:char) + #+cmu 'c-call:char #+sbcl 'sb-alien:char) (defmethod size-of ((type (eql 'base-char)) &rest args) (declare (ignore type args)) @@ -511,14 +547,14 @@ `(let ((string ,string)) ;; Always copy strings to prevent seg fault due to GC (copy-memory - (make-pointer (1+ (kernel:get-lisp-obj-address string))) + (vector-sap (coerce string 'simple-base-string)) (1+ (length string))))) (defmethod to-alien-function ((type (eql 'string)) &rest args) (declare (ignore type args)) #'(lambda (string) (copy-memory - (make-pointer (1+ (kernel:get-lisp-obj-address string))) + (vector-sap (coerce string 'simple-base-string)) (1+ (length string))))) (defmethod from-alien-form (string (type (eql 'string)) &rest args) @@ -526,7 +562,7 @@ `(let ((string ,string)) (unless (null-pointer-p string) (prog1 - (c-call::%naturalize-c-string string) + (%naturalize-c-string string) (deallocate-memory string))))) (defmethod from-alien-function ((type (eql 'string)) &rest args) @@ -534,7 +570,7 @@ #'(lambda (string) (unless (null-pointer-p string) (prog1 - (c-call::%naturalize-c-string string) + (%naturalize-c-string string) (deallocate-memory string))))) (defmethod cleanup-form (string (type (eql 'string)) &rest args) @@ -553,13 +589,14 @@ (declare (ignore type args)) `(let ((string ,string)) (unless (null-pointer-p string) - (c-call::%naturalize-c-string string)))) + (%naturalize-c-string string)))) + (defmethod copy-from-alien-function ((type (eql 'string)) &rest args) (declare (ignore type args)) #'(lambda (string) (unless (null-pointer-p string) - (c-call::%naturalize-c-string string)))) + (%naturalize-c-string string)))) (defmethod writer-function ((type (eql 'string)) &rest args) (declare (ignore type args)) @@ -567,14 +604,14 @@ (assert (null-pointer-p (sap-ref-sap location offset))) (setf (sap-ref-sap location offset) (copy-memory - (make-pointer (1+ (kernel:get-lisp-obj-address string))) + (vector-sap (coerce string 'simple-base-string)) (1+ (length string)))))) (defmethod reader-function ((type (eql 'string)) &rest args) (declare (ignore type args)) #'(lambda (location &optional (offset 0)) (unless (null-pointer-p (sap-ref-sap location offset)) - (c-call::%naturalize-c-string (sap-ref-sap location offset))))) + (%naturalize-c-string (sap-ref-sap location offset))))) (defmethod destroy-function ((type (eql 'string)) &rest args) (declare (ignore type args)) @@ -756,7 +793,7 @@ (defmethod alien-type ((type (eql 'nil)) &rest args) (declare (ignore type args)) - 'c-call:void) + 'void) (defmethod from-alien-function ((type (eql 'nil)) &rest args) (declare (ignore type args)) @@ -797,4 +834,55 @@ (declare (ignore type)) (writer-function (first args))) -(export 'copy-of) + +(defmethod alien-type ((type (eql 'callback)) &rest args) + (declare (ignore type args)) + (alien-type 'pointer)) + +(defmethod size-of ((type (eql 'callback)) &rest args) + (declare (ignore type args)) + (size-of 'pointer)) + +(defmethod to-alien-form (callback (type (eql 'callback)) &rest args) + (declare (ignore type args)) + #+cmu `(callback ,callback) + #+sbcl `(sb-alien:alien-function-sap ,callback)) + +(defmethod to-alien-function ((type (eql 'callback)) &rest args) + (declare (ignore type args)) + #+cmu #'(lambda (callback) (callback callback)) + #+sbcl #'sb-alien:alien-function-sap) + +#+cmu +(defun find-callback (pointer) + (find pointer alien::*callbacks* :key #'callback-trampoline :test #'sap=)) + +(defmethod from-alien-form (pointer (type (eql 'callback)) &rest args) + (declare (ignore type args)) + #+cmu `(find-callback ,pointer) + #+sbcl `(sb-alien::%find-alien-function ,pointer)) + +(defmethod from-alien-function ((type (eql 'callback)) &rest args) + (declare (ignore type args)) + #+cmu #'find-callback + #+sbcl #'sb-alien::%find-alien-function) + +(defmethod writer-function ((type (eql 'callback)) &rest args) + (declare (ignore type args)) + (let ((writer (writer-function 'pointer)) + (to-alien (to-alien-function 'callback))) + #'(lambda (callback location &optional (offset 0)) + (funcall writer (funcall to-alien callback) location offset)))) + +(defmethod reader-function ((type (eql 'callback)) &rest args) + (declare (ignore type args)) + (let ((reader (reader-function 'pointer)) + (from-alien (from-alien-function 'callback))) + #'(lambda (location &optional (offset 0)) + (let ((pointer (funcall reader location offset))) + (unless (null-pointer-p pointer) + (funcall from-alien pointer)))))) + +(defmethod unbound-value ((type (eql 'callback)) &rest args) + (declare (ignore type args)) + (values t nil))