X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=contrib%2Fsb-grovel%2Fdef-to-lisp.lisp;h=0c8159c0ead781c36727c2e37ceee189b582a033;hb=31481ad7a664585715d60fbdeee153c5c5343400;hp=a929fd029222dc10649f444297b243b317b9f724;hpb=ecae2f9323086c64d026d4ce719590907f486c63;p=sbcl.git diff --git a/contrib/sb-grovel/def-to-lisp.lisp b/contrib/sb-grovel/def-to-lisp.lisp index a929fd0..0c8159c 100644 --- a/contrib/sb-grovel/def-to-lisp.lisp +++ b/contrib/sb-grovel/def-to-lisp.lisp @@ -8,9 +8,9 @@ (defun c-escape (string &optional (dangerous-chars '(#\")) (escape-char #\\)) "Escape DANGEROUS-CHARS in STRING, with ESCAPE-CHAR." (coerce (loop for c across string - if (member c dangerous-chars) collect escape-char - collect c) - 'string)) + if (member c dangerous-chars) collect escape-char + collect c) + 'string)) (defun as-c (&rest args) "Pretty-print ARGS into the C source file, separated by #\Space" @@ -33,36 +33,49 @@ code: printf-arg-1 printf-arg-2)" (let ((*print-pretty* nil)) (apply #'format *default-c-stream* - " printf (\"~@?\\n\"~@{, ~A~});~%" - (c-escape formatter) - args))) + " printf (\"~@?\\n\"~@{, ~A~});~%" + (c-escape formatter) + args))) + +(defun c-for-enum (lispname elements export) + (printf "(cl:eval-when (:compile-toplevel :load-toplevel :execute) (sb-alien:define-alien-type ~A (sb-alien:enum nil" lispname) + (dolist (element elements) + (destructuring-bind (lisp-element-name c-element-name) element + (printf " (~S %d)" lisp-element-name c-element-name))) + (printf ")))") + (when export + (dolist (element elements) + (destructuring-bind (lisp-element-name c-element-name) element + (declare (ignore c-element-name)) + (unless (keywordp lisp-element-name) + (printf "(export '~S)" lisp-element-name)))))) (defun c-for-structure (lispname cstruct) (destructuring-bind (cname &rest elements) cstruct (printf "(cl:eval-when (:compile-toplevel :load-toplevel :execute) (sb-grovel::define-c-struct ~A %d" lispname - (format nil "sizeof(~A)" cname)) + (format nil "sizeof(~A)" cname)) (dolist (e elements) (destructuring-bind (lisp-type lisp-el-name c-type c-el-name &key distrust-length) e - (printf " (~A ~A \"~A\"" lisp-el-name lisp-type c-type) - ;; offset - (as-c "{" cname "t;") - (printf " %d" - (format nil "((unsigned long)&(t.~A)) - ((unsigned long)&(t))" c-el-name)) - (as-c "}") - ;; length - (if distrust-length - (printf " 0)") - (progn - (as-c "{" cname "t;") - (printf " %d)" - (format nil "sizeof(t.~A)" c-el-name)) - (as-c "}"))))) + (printf " (~A ~A \"~A\"" lisp-el-name lisp-type c-type) + ;; offset + (as-c "{" cname "t;") + (printf " %d" + (format nil "((unsigned long)&(t.~A)) - ((unsigned long)&(t))" c-el-name)) + (as-c "}") + ;; length + (if distrust-length + (printf " 0)") + (progn + (as-c "{" cname "t;") + (printf " %d)" + (format nil "sizeof(t.~A)" c-el-name)) + (as-c "}"))))) (printf "))"))) (defun print-c-source (stream headers definitions package-name) (declare (ignorable definitions package-name)) (let ((*default-c-stream* stream) - (*print-right-margin* nil)) + (*print-right-margin* nil)) (loop for i in (cons "stdio.h" headers) do (format stream "#include <~A>~%" i)) (as-c "#define SIGNEDP(x) (((x)-1)<0)") @@ -72,41 +85,42 @@ code: (printf "(cl:eval-when (:compile-toplevel)") (printf " (cl:defparameter *integer-sizes* (cl:make-hash-table))") (dolist (type '("char" "short" "long" "int" - #+nil"long long" ; TODO: doesn't exist in sb-alien yet - )) + #+nil"long long" ; TODO: doesn't exist in sb-alien yet + )) (printf " (cl:setf (cl:gethash %d *integer-sizes*) 'sb-alien:~A)" (substitute #\- #\Space type) - (format nil "sizeof(~A)" type))) + (format nil "sizeof(~A)" type))) (printf ")") (dolist (def definitions) (destructuring-bind (type lispname cname &optional doc export) def - (case type - (:integer - (as-c "#ifdef" cname) - (printf "(cl:defconstant ~A %d \"~A\")" lispname doc - cname) - (as-c "#else") - (printf "(sb-int:style-warn \"Couldn't grovel for ~A (unknown to the C compiler).\")" cname) - (as-c "#endif")) - (:type - (printf "(cl:eval-when (:compile-toplevel :load-toplevel :execute) (sb-alien:define-alien-type ~A (sb-alien:%ssigned %d)))" lispname - (format nil "SIGNED_(~A)" cname) - (format nil "(8*sizeof(~A))" cname))) - (:string - (printf "(cl:defparameter ~A %s \"~A\"" lispname doc - cname)) - (:function - (printf "(cl:declaim (cl:inline ~A))" lispname) - (destructuring-bind (f-cname &rest definition) cname - (printf "(sb-grovel::define-foreign-routine (\"~A\" ~A)" f-cname lispname) - (printf "~{ ~W~^\\n~})" definition))) - (:structure - ;; FIXME: structure slots should be auto-exportable as well. - (c-for-structure lispname cname)) - (otherwise - ;; should we really not sprechen espagnol, monsieurs? - (error "Unknown grovel keyword encountered: ~A" type))) - (when export - (printf "(cl:export '~A)" lispname)))) + (case type + (:integer + (as-c "#ifdef" cname) + (printf "(cl:defconstant ~A %d \"~A\")" lispname doc + cname) + (as-c "#else") + (printf "(sb-int:style-warn \"Couldn't grovel for ~A (unknown to the C compiler).\")" cname) + (as-c "#endif")) + (:enum + (c-for-enum lispname cname export)) + (:type + (printf "(cl:eval-when (:compile-toplevel :load-toplevel :execute) (sb-alien:define-alien-type ~A (sb-alien:%ssigned %d)))" lispname + (format nil "SIGNED_(~A)" cname) + (format nil "(8*sizeof(~A))" cname))) + (:string + (printf "(cl:defparameter ~A %s \"~A\"" lispname doc + cname)) + (:function + (printf "(cl:declaim (cl:inline ~A))" lispname) + (destructuring-bind (f-cname &rest definition) cname + (printf "(sb-grovel::define-foreign-routine (\"~A\" ~A)" f-cname lispname) + (printf "~{ ~W~^\\n~})" definition))) + (:structure + (c-for-structure lispname cname)) + (otherwise + ;; should we really not sprechen espagnol, monsieurs? + (error "Unknown grovel keyword encountered: ~A" type))) + (when export + (printf "(cl:export '~A)" lispname)))) (as-c "return 0;") (as-c "}"))) @@ -122,72 +136,72 @@ code: (define-condition c-compile-failed (compile-failed) () (:report (lambda (c s) - (format s "~@" - (error-operation c) (error-component c))))) + (format s "~@" + (error-operation c) (error-component c))))) (define-condition a-dot-out-failed (compile-failed) () (:report (lambda (c s) - (format s "~@" - (error-operation c) (error-component c))))) + (format s "~@" + (error-operation c) (error-component c))))) (defmethod asdf:perform ((op asdf:compile-op) - (component grovel-constants-file)) + (component grovel-constants-file)) ;; we want to generate all our temporary files in the fasl directory ;; because that's where we have write permission. Can't use /tmp; ;; it's insecure (these files will later be owned by root) (let* ((output-file (car (output-files op component))) - (filename (component-pathname component)) - (real-output-file - (if (typep output-file 'logical-pathname) - (translate-logical-pathname output-file) - (pathname output-file))) - (tmp-c-source (merge-pathnames #p"foo.c" real-output-file)) - (tmp-a-dot-out (merge-pathnames #p"a.out" real-output-file)) - (tmp-constants (merge-pathnames #p"constants.lisp-temp" - real-output-file))) + (filename (component-pathname component)) + (real-output-file + (if (typep output-file 'logical-pathname) + (translate-logical-pathname output-file) + (pathname output-file))) + (tmp-c-source (merge-pathnames #p"foo.c" real-output-file)) + (tmp-a-dot-out (merge-pathnames #p"a.out" real-output-file)) + (tmp-constants (merge-pathnames #p"constants.lisp-temp" + real-output-file))) (princ (list filename output-file real-output-file - tmp-c-source tmp-a-dot-out tmp-constants)) + tmp-c-source tmp-a-dot-out tmp-constants)) (terpri) (funcall (intern "C-CONSTANTS-EXTRACT" (find-package "SB-GROVEL")) - filename tmp-c-source (constants-package component)) + filename tmp-c-source (constants-package component)) (let ((code (run-shell-command "gcc ~A -o ~S ~S" - (if (sb-ext:posix-getenv "EXTRA_CFLAGS") - (sb-ext:posix-getenv "EXTRA_CFLAGS") - "") - (namestring tmp-a-dot-out) - (namestring tmp-c-source)))) + (if (sb-ext:posix-getenv "EXTRA_CFLAGS") + (sb-ext:posix-getenv "EXTRA_CFLAGS") + "") + (namestring tmp-a-dot-out) + (namestring tmp-c-source)))) (unless (= code 0) - (case (operation-on-failure op) - (:warn (warn "~@" - op component)) - (:error - (error 'c-compile-failed :operation op :component component))))) + (case (operation-on-failure op) + (:warn (warn "~@" + op component)) + (:error + (error 'c-compile-failed :operation op :component component))))) (let ((code (run-shell-command "~A >~A" - (namestring tmp-a-dot-out) - (namestring tmp-constants)))) + (namestring tmp-a-dot-out) + (namestring tmp-constants)))) (unless (= code 0) - (case (operation-on-failure op) - (:warn (warn "~@" - op component)) - (:error - (error 'a-dot-out-failed :operation op :component component))))) + (case (operation-on-failure op) + (:warn (warn "~@" + op component)) + (:error + (error 'a-dot-out-failed :operation op :component component))))) (multiple-value-bind (output warnings-p failure-p) - (compile-file tmp-constants :output-file output-file) + (compile-file tmp-constants :output-file output-file) (when warnings-p - (case (operation-on-warnings op) - (:warn (warn - (formatter "~@") - op component)) - (:error (error 'compile-warned :component component :operation op)) - (:ignore nil))) + op component)) + (:error (error 'compile-warned :component component :operation op)) + (:ignore nil))) (when failure-p - (case (operation-on-failure op) - (:warn (warn - (formatter "~@") - op component)) - (:error (error 'compile-failed :component component :operation op)) - (:ignore nil))) + op component)) + (:error (error 'compile-failed :component component :operation op)) + (:ignore nil))) (unless output - (error 'compile-error :component component :operation op))))) + (error 'compile-error :component component :operation op)))))