X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fx86%2Fc-call.lisp;h=e3fd9d0e11183b558ef3b4da4ee61f15afddeece;hb=cf4cb9554515c59eddbde38d1cf236339c37f55f;hp=d626ede2f2177ab11396cfb1ef9a819bb7cc3766;hpb=40aa4eb7162dde58f42dd7615f0b220ddba71c10;p=sbcl.git diff --git a/src/compiler/x86/c-call.lisp b/src/compiler/x86/c-call.lisp index d626ede..e3fd9d0 100644 --- a/src/compiler/x86/c-call.lisp +++ b/src/compiler/x86/c-call.lisp @@ -126,8 +126,8 @@ (deftransform %alien-funcall ((function type &rest args) * * :node node) - (aver (sb!c::constant-continuation-p type)) - (let* ((type (sb!c::continuation-value type)) + (aver (sb!c::constant-lvar-p type)) + (let* ((type (sb!c::lvar-value type)) (env (sb!c::node-lexenv node)) (arg-types (alien-fun-type-arg-types type)) (result-type (alien-fun-type-result-type type))) @@ -237,8 +237,16 @@ (define-vop (alloc-number-stack-space) (:info amount) (:results (result :scs (sap-reg any-reg))) + (:node-var node) (:generator 0 (aver (location= result esp-tn)) + (when (policy node (= sb!c::float-accuracy 3)) + (inst sub esp-tn 4) + (inst fnstcw (make-ea :word :base esp-tn)) + (inst wait) + (inst or (make-ea :word :base esp-tn) #x300) + (inst fldcw (make-ea :word :base esp-tn)) + (inst wait)) (unless (zerop amount) (let ((delta (logandc2 (+ amount 3) 3))) (inst sub esp-tn delta))) @@ -246,10 +254,18 @@ (define-vop (dealloc-number-stack-space) (:info amount) + (:node-var node) (:generator 0 (unless (zerop amount) (let ((delta (logandc2 (+ amount 3) 3))) - (inst add esp-tn delta))))) + (inst add esp-tn delta))) + (when (policy node (= sb!c::float-accuracy 3)) + (inst fnstcw (make-ea :word :base esp-tn)) + (inst wait) + (inst and (make-ea :word :base esp-tn) #xfeff) + (inst fldcw (make-ea :word :base esp-tn)) + (inst wait) + (inst add esp-tn 4)))) (define-vop (alloc-alien-stack-space) (:info amount) @@ -307,3 +323,26 @@ (ash symbol-value-slot word-shift) (- other-pointer-lowtag))) delta))))) + +;;; these are not strictly part of the c-call convention, but are +;;; needed for the WITH-PRESERVED-POINTERS macro used for "locking +;;; down" lisp objects so that GC won't move them while foreign +;;; functions go to work. + +(define-vop (push-word-on-c-stack) + (:translate push-word-on-c-stack) + (:args (val :scs (sap-reg))) + (:policy :fast-safe) + (:arg-types system-area-pointer) + (:generator 2 + (inst push val))) + +(define-vop (pop-words-from-c-stack) + (:translate pop-words-from-c-stack) + (:args) + (:arg-types (:constant (unsigned-byte 29))) + (:info number) + (:policy :fast-safe) + (:generator 2 + (inst add esp-tn (fixnumize number)))) +