X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=src%2Fcompiler%2Faliencomp.lisp;h=3ac88bb26e3e00292bb5164c463fbc52cef42efd;hb=f7e3e709f7c2207f1923375942f7fb1c092f92b0;hp=08f7100efc883d79043382d72da05b380f7fa4ae;hpb=adeddfb8570bb924b4899679912b4629008b7566;p=sbcl.git diff --git a/src/compiler/aliencomp.lisp b/src/compiler/aliencomp.lisp index 08f7100..3ac88bb 100644 --- a/src/compiler/aliencomp.lisp +++ b/src/compiler/aliencomp.lisp @@ -61,6 +61,8 @@ (flushable movable)) (defknown deport (alien alien-type) t (flushable movable)) +(defknown deport-alloc (alien alien-type) t + (flushable movable)) (defknown extract-alien-value (system-area-pointer unsigned-byte alien-type) t (flushable)) (defknown deposit-alien-value (system-area-pointer unsigned-byte alien-type t) t @@ -68,9 +70,6 @@ (defknown alien-funcall (alien-value &rest *) * (any recursive)) -#!+win32 -(defknown alien-funcall-stdcall (alien-value &rest *) * - (any recursive)) ;;;; cosmetic transforms @@ -333,7 +332,8 @@ (deftransform %heap-alien-addr ((info) * * :important t) (multiple-value-bind (sap type) (heap-alien-sap-and-type info) (/noshow "in DEFTRANSFORM %HEAP-ALIEN-ADDR, creating %SAP-ALIEN") - `(%sap-alien ,sap ',type))) + `(%sap-alien ,sap ',(make-alien-pointer-type :to type)))) + ;;;; support for local (stack or register) aliens @@ -349,26 +349,26 @@ (/noshow (local-alien-info-force-to-memory-p info)) (/noshow alien-type (unparse-alien-type alien-type) (alien-type-bits alien-type)) (if (local-alien-info-force-to-memory-p info) - #!+(or x86 x86-64) `(truly-the system-area-pointer - (%primitive alloc-alien-stack-space - ,(ceiling (alien-type-bits alien-type) - sb!vm:n-byte-bits))) - #!-(or x86 x86-64) `(truly-the system-area-pointer - (%primitive alloc-number-stack-space - ,(ceiling (alien-type-bits alien-type) - sb!vm:n-byte-bits))) - (let* ((alien-rep-type-spec (compute-alien-rep-type alien-type)) - (alien-rep-type (specifier-type alien-rep-type-spec))) - (cond ((csubtypep (specifier-type 'system-area-pointer) - alien-rep-type) - '(int-sap 0)) - ((ctypep 0 alien-rep-type) 0) - ((ctypep 0.0f0 alien-rep-type) 0.0f0) - ((ctypep 0.0d0 alien-rep-type) 0.0d0) - (t - (compiler-error - "Aliens of type ~S cannot be represented immediately." - (unparse-alien-type alien-type)))))))) + #!+(or x86 x86-64) + `(%primitive alloc-alien-stack-space + ,(ceiling (alien-type-bits alien-type) + sb!vm:n-byte-bits)) + #!-(or x86 x86-64) + `(%primitive alloc-number-stack-space + ,(ceiling (alien-type-bits alien-type) + sb!vm:n-byte-bits)) + (let* ((alien-rep-type-spec (compute-alien-rep-type alien-type)) + (alien-rep-type (specifier-type alien-rep-type-spec))) + (cond ((csubtypep (specifier-type 'system-area-pointer) + alien-rep-type) + '(int-sap 0)) + ((ctypep 0 alien-rep-type) 0) + ((ctypep 0.0f0 alien-rep-type) 0.0f0) + ((ctypep 0.0d0 alien-rep-type) 0.0d0) + (t + (compiler-error + "Aliens of type ~S cannot be represented immediately." + (unparse-alien-type alien-type)))))))) (deftransform note-local-alien-type ((info var) * * :important t) ;; FIXME: This test and error occur about a zillion times. They @@ -472,7 +472,7 @@ (let ((alien-node (lvar-uses alien))) (typecase alien-node (combination - (extract-fun-args alien '%sap-alien 2) + (splice-fun-args alien '%sap-alien 2) '(lambda (sap type) (declare (ignore type)) sap)) @@ -509,6 +509,8 @@ (%computed-lambda #'compute-naturalize-lambda type)) (deftransform deport ((alien type) * * :important t) (%computed-lambda #'compute-deport-lambda type)) + (deftransform deport-alloc ((alien type) * * :important t) + (%computed-lambda #'compute-deport-alloc-lambda type)) (deftransform extract-alien-value ((sap offset type) * * :important t) (%computed-lambda #'compute-extract-lambda type)) (deftransform deposit-alien-value ((sap offset type value) * * :important t) @@ -524,7 +526,7 @@ (count-low-order-zeros (lvar-uses thing)))) (combination (case (let ((name (lvar-fun-name (combination-fun thing)))) - (or (modular-version-info name :unsigned) name)) + (or (modular-version-info name :untagged nil) name)) ((+ -) (let ((min most-positive-fixnum) (itype (specifier-type 'integer))) @@ -581,7 +583,7 @@ (give-up-ir1-transform)) (let ((inside-fun-name (lvar-fun-name (combination-fun value-node)))) (multiple-value-bind (prototype width) - (modular-version-info inside-fun-name :unsigned) + (modular-version-info inside-fun-name :untagged nil) (unless (eq (or prototype inside-fun-name) 'ash) (give-up-ir1-transform)) (when (and width (not (constant-lvar-p amount))) @@ -593,7 +595,7 @@ (unless (and (constant-lvar-p inside-amount) (not (minusp (lvar-value inside-amount)))) (give-up-ir1-transform))) - (extract-fun-args value inside-fun-name 2) + (splice-fun-args value inside-fun-name 2) (if width `(lambda (value amount1 amount2) (logand (ash value (+ amount1 amount2)) @@ -611,7 +613,36 @@ `(lambda (function ,@names) (alien-funcall (deref function) ,@names)))) -(deftransform alien-funcall ((function &rest args) * * :important t) +;;; Frame pointer, program counter conses. In each thread it's bound +;;; locally or not bound at all. +(defvar *saved-fp-and-pcs*) + +#!+:c-stack-is-control-stack +(declaim (inline invoke-with-saved-fp-and-pc)) +#!+:c-stack-is-control-stack +(defun invoke-with-saved-fp-and-pc (fn) + (declare #-sb-xc-host (muffle-conditions compiler-note) + (optimize (speed 3))) + (let* ((fp-and-pc (cons (%caller-frame) + (sap-int (%caller-pc))))) + (declare (truly-dynamic-extent fp-and-pc)) + (let ((*saved-fp-and-pcs* (if (boundp '*saved-fp-and-pcs*) + (cons fp-and-pc *saved-fp-and-pcs*) + (list fp-and-pc)))) + (declare (truly-dynamic-extent *saved-fp-and-pcs*)) + (funcall fn)))) + +(defun find-saved-fp-and-pc (fp) + (when (boundp '*saved-fp-and-pcs*) + (dolist (x *saved-fp-and-pcs*) + (when (#!+:stack-grows-downward-not-upward + sap> + #!-:stack-grows-downward-not-upward + sap< + (int-sap (get-lisp-obj-address (car x))) fp) + (return (values (car x) (cdr x))))))) + +(deftransform alien-funcall ((function &rest args) * * :node node :important t) (let ((type (lvar-type function))) (unless (alien-type-type-p type) (give-up-ir1-transform "can't tell function type at compile time")) @@ -630,10 +661,31 @@ (let ((param (gensym))) (params param) (deports `(deport ,param ',arg-type)))) + ;; Build BODY from the inside out. (let ((return-type (alien-fun-type-result-type alien-type)) + ;; Innermost, we DEPORT the parameters (e.g. by taking SAPs + ;; to them) and do the call. (body `(%alien-funcall (deport function ',alien-type) ',alien-type ,@(deports)))) + ;; Wrap that in a WITH-PINNED-OBJECTS to ensure the values + ;; the SAPs are taken for won't be moved by the GC. (If + ;; needed: some alien types won't need it). + (setf body `(maybe-with-pinned-objects ,(params) ,arg-types + ,body)) + ;; Around that handle any memory allocation that's needed. + ;; Mostly the DEPORT-ALLOC alien-type-methods are just an + ;; identity operation, but for example for deporting a + ;; Unicode string we need to convert the string into an + ;; octet array. This step needs to be done before the pinning + ;; to ensure we pin the right objects, so it can't be combined + ;; with the deporting. + ;; -- JES 2006-03-16 + (loop for param in (params) + for arg-type in arg-types + do (setf body + `(let ((,param (deport-alloc ,param ',arg-type))) + ,body))) (if (alien-values-type-p return-type) (collect ((temps) (results)) (dolist (type (alien-values-type-values return-type)) @@ -644,6 +696,12 @@ `(multiple-value-bind ,(temps) ,body (values ,@(results))))) (setf body `(naturalize ,body ',return-type))) + ;; Remember this frame to make sure that we can get back + ;; to it later regardless of how the foreign stack looks + ;; like. + #!+:c-stack-is-control-stack + (when (policy node (<= speed debug)) + (setf body `(invoke-with-saved-fp-and-pc (lambda () ,body)))) (/noshow "returning from DEFTRANSFORM ALIEN-FUNCALL" (params) body) `(lambda (function ,@(params)) ,body))))))) @@ -667,15 +725,25 @@ (dolist (arg args) (annotate-ordinary-lvar arg))) +;;; We support both the stdcall and cdecl calling conventions on win32 by +;;; resetting ESP after the foreign function returns. This way it works +;;; correctly whether the party that is supposed to pop arguments from +;;; the stack is the caller (cdecl) or the callee (stdcall). (defoptimizer (%alien-funcall ir2-convert) ((function type &rest args) call block) (let ((type (if (constant-lvar-p type) (lvar-value type) (error "Something is broken."))) (lvar (node-lvar call)) - (args args)) + (args args) + #!+x86 + (stack-pointer (make-stack-pointer-tn))) (multiple-value-bind (nsp stack-frame-size arg-tns result-tns) (make-call-out-tns type) + #!+x86 + (progn + (vop set-fpu-word-for-c call block) + (vop current-stack-pointer call block stack-pointer)) (vop alloc-number-stack-space call block stack-frame-size nsp) (dolist (tn arg-tns) ;; On PPC, TN might be a list. This is used to indicate @@ -693,23 +761,23 @@ (unless (= (length move-arg-vops) 1) (error "no unique move-arg-vop for moves in SC ~S" (sc-name sc))) #!+(or x86 x86-64) (emit-move-arg-template call - block - (first move-arg-vops) - (lvar-tn call block arg) - nsp - first-tn) + block + (first move-arg-vops) + (lvar-tn call block arg) + nsp + first-tn) #!-(or x86 x86-64) (progn - (emit-move call - block - (lvar-tn call block arg) - temp-tn) - (emit-move-arg-template call - block - (first move-arg-vops) - temp-tn - nsp - first-tn)) - #+(and ppc darwin) + (emit-move call + block + (lvar-tn call block arg) + temp-tn) + (emit-move-arg-template call + block + (first move-arg-vops) + temp-tn + nsp + first-tn)) + #!+(and ppc darwin) (when (listp tn) ;; This means that we have a float arg that we need to ;; also copy to some int regs. The list contains the TN @@ -730,124 +798,10 @@ ((lvar-tn call block function) (reference-tn-list arg-tns nil)) ((reference-tn-list result-tns t)))) + #!-x86 (vop dealloc-number-stack-space call block stack-frame-size) - (move-lvar-result call block result-tns lvar)))) - -;;;; ALIEN-FUNCALL-STDCALL support - -#!+win32 -(deftransform alien-funcall-stdcall ((function &rest args) - ((alien (* t)) &rest *) * - :important t) - (let ((names (make-gensym-list (length args)))) - (/noshow "entering first DEFTRANSFORM ALIEN-FUNCALL-STDCALL" function args) - `(lambda (function ,@names) - (alien-funcall-stdcall (deref function) ,@names)))) - -#!+win32 -(deftransform alien-funcall-stdcall ((function &rest args) * * :important t) - (let ((type (lvar-type function))) - (unless (alien-type-type-p type) - (give-up-ir1-transform "can't tell function type at compile time")) - (/noshow "entering second DEFTRANSFORM ALIEN-FUNCALL-STDCALL" function) - (let ((alien-type (alien-type-type-alien-type type))) - (unless (alien-fun-type-p alien-type) - (give-up-ir1-transform)) - (let ((arg-types (alien-fun-type-arg-types alien-type))) - (unless (= (length args) (length arg-types)) - (abort-ir1-transform - "wrong number of arguments; expected ~W, got ~W" - (length arg-types) - (length args))) - (collect ((params) (deports)) - (dolist (arg-type arg-types) - (let ((param (gensym))) - (params param) - (deports `(deport ,param ',arg-type)))) - (let ((return-type (alien-fun-type-result-type alien-type)) - (body `(%alien-funcall-stdcall (deport function ',alien-type) - ',alien-type - ,@(deports)))) - (if (alien-values-type-p return-type) - (collect ((temps) (results)) - (dolist (type (alien-values-type-values return-type)) - (let ((temp (gensym))) - (temps temp) - (results `(naturalize ,temp ',type)))) - (setf body - `(multiple-value-bind ,(temps) ,body - (values ,@(results))))) - (setf body `(naturalize ,body ',return-type))) - (/noshow "returning from DEFTRANSFORM ALIEN-FUNCALL-STDCALL" (params) body) - `(lambda (function ,@(params)) - ,body))))))) - -#!+win32 -(defoptimizer (%alien-funcall-stdcall derive-type) ((function type &rest args)) - (declare (ignore function args)) - (unless (constant-lvar-p type) - (error "Something is broken.")) - (let ((type (lvar-value type))) - (unless (alien-fun-type-p type) - (error "Something is broken.")) - (values-specifier-type - (compute-alien-rep-type - (alien-fun-type-result-type type))))) - -#!+win32 -(defoptimizer (%alien-funcall-stdcall ltn-annotate) - ((function type &rest args) node ltn-policy) - (setf (basic-combination-info node) :funny) - (setf (node-tail-p node) nil) - (annotate-ordinary-lvar function) - (dolist (arg args) - (annotate-ordinary-lvar arg))) - -#!+win32 -(defoptimizer (%alien-funcall-stdcall ir2-convert) - ((function type &rest args) call block) - (let ((type (if (constant-lvar-p type) - (lvar-value type) - (error "Something is broken."))) - (lvar (node-lvar call)) - (args args)) - (multiple-value-bind (nsp stack-frame-size arg-tns result-tns) - (make-call-out-tns type) - (vop alloc-number-stack-space call block stack-frame-size nsp) - (dolist (tn arg-tns) - (let* ((arg (pop args)) - (sc (tn-sc tn)) - (scn (sc-number sc)) - #!-x86 (temp-tn (make-representation-tn (tn-primitive-type tn) - scn)) - (move-arg-vops (svref (sc-move-arg-vops sc) scn))) - (aver arg) - (unless (= (length move-arg-vops) 1) - (error "no unique move-arg-vop for moves in SC ~S" (sc-name sc))) - #!+x86 (emit-move-arg-template call - block - (first move-arg-vops) - (lvar-tn call block arg) - nsp - tn) - #!-x86 (progn - (emit-move call - block - (lvar-tn call block arg) - temp-tn) - (emit-move-arg-template call - block - (first move-arg-vops) - temp-tn - nsp - tn)))) - (aver (null args)) - (unless (listp result-tns) - (setf result-tns (list result-tns))) - (vop* call-out call block - ((lvar-tn call block function) - (reference-tn-list arg-tns nil)) - ((reference-tn-list result-tns t))) - ;; This is the stdcall magic: Callee clears args. - #+nil (vop dealloc-number-stack-space call block stack-frame-size) + #!+x86 + (progn + (vop reset-stack-pointer call block stack-pointer) + (vop set-fpu-word-for-lisp call block)) (move-lvar-result call block result-tns lvar))))