1.0.7.30: be more paranoid about saps
[sbcl.git] / contrib / sb-posix / macros.lisp
1 (in-package :sb-posix)
2
3 (define-designator filename c-string
4   (pathname
5    (sb-ext:native-namestring (translate-logical-pathname filename)))
6   (string filename))
7
8 (define-designator file-descriptor (integer 32)
9   (file-stream (sb-sys:fd-stream-fd file-descriptor))
10   (fixnum file-descriptor))
11
12 (define-designator sap-or-nil sb-sys:system-area-pointer
13   (null (sb-sys:int-sap 0))
14   (sb-sys:system-area-pointer sap-or-nil))
15
16 (define-designator alien-pointer-to-anything-or-nil (* t)
17   (null (sb-alien:sap-alien (sb-sys:int-sap 0) (* t)))
18   ((alien (* t)) alien-pointer-to-anything-or-nil))
19
20 (defun lisp-for-c-symbol (name)
21   (etypecase name
22     (list
23      (lisp-for-c-symbol (car name)))
24     (string
25      (let ((root (if (eql #\_ (char name 0)) (subseq name 1) name)))
26        (intern (substitute #\- #\_ (string-upcase root)) :sb-posix)))))
27
28 ;; Note: this variable is set in interface.lisp.  defined here for
29 ;; clarity and so the real-c-name compile as desired.
30 (defparameter *c-functions-in-runtime* nil)
31
32 (defun real-c-name (name)
33   (let  ((maybe-name
34           (etypecase name
35             (list
36              (destructuring-bind (name &key c-name options) name
37                (if c-name
38                    c-name
39                    (cond #+largefile
40                          ((or (eql options :largefile)
41                               (member :largefile options))
42                           (format nil "~a_largefile" name))
43                          (t
44                           name)))))
45             (string
46              name))))
47     (if (member maybe-name *c-functions-in-runtime*
48                 :test #'string=)
49         (format nil "_~A" maybe-name)
50         maybe-name)))
51
52 (defmacro define-call-internally (lisp-name c-name return-type error-predicate
53                                   &rest arguments)
54   (if (sb-sys:find-foreign-symbol-address c-name)
55       `(progn
56         (declaim (inline ,lisp-name))
57         (defun ,lisp-name ,(mapcar #'car arguments)
58           (let ((r (alien-funcall
59                     (extern-alien
60                      ,c-name
61                      (function ,return-type
62                                ,@(mapcar
63                                   (lambda (x)
64                                     (gethash (cadr x)
65                                              *designator-types*
66                                              (cadr x)))
67                                   arguments)))
68                     ,@(mapcar (lambda (x)
69                                 (if (nth-value 1
70                                                (gethash (cadr x)
71                                                         *designator-types*))
72                                     `(,(intern (symbol-name (cadr x))
73                                                :sb-posix)
74                                       ,(car x))
75                                     (car x)))
76                               arguments))))
77             (if (,error-predicate r) (syscall-error) r))))
78       `(sb-int:style-warn "Didn't find definition for ~S" ,c-name)))
79
80 (defmacro define-call (name return-type error-predicate &rest arguments)
81   (let ((lisp-name (lisp-for-c-symbol name))
82         (real-c-name (real-c-name name)))
83     `(progn
84        (export ',lisp-name :sb-posix)
85        (define-call-internally ,lisp-name
86            ,real-c-name
87          ,return-type
88          ,error-predicate
89          ,@arguments))))
90
91 (defmacro define-entry-point (name arglist &body body)
92   (let ((lisp-name (lisp-for-c-symbol name)))
93     `(progn
94       (export ',lisp-name :sb-posix)
95       (declaim (inline ,lisp-name))
96       (defun ,lisp-name ,arglist
97         ,@body))))