X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Falpha%2Fcall.lisp;h=2b6137f957545981ed030e0ae64a87bac800307d;hb=f2942b56a5ed1b60b730b387ee2b9e40c8cc28fb;hp=d62f5bda1238e506f2e553d7dc2ee1eb9d3061de;hpb=ca2d58fc8ab92eb5ab50ed4428af4b39866bd5f4;p=sbcl.git diff --git a/src/compiler/alpha/call.lisp b/src/compiler/alpha/call.lisp index d62f5bd..2b6137f 100644 --- a/src/compiler/alpha/call.lisp +++ b/src/compiler/alpha/call.lisp @@ -123,6 +123,24 @@ (when nfp (inst addq nfp (bytes-needed-for-non-descriptor-stack-frame) val))))) +;;; Accessing a slot from an earlier stack frame is definite hackery. +(define-vop (ancestor-frame-ref) + (:args (frame-pointer :scs (descriptor-reg)) + (variable-home-tn :load-if nil)) + (:results (value :scs (descriptor-reg any-reg))) + (:policy :fast-safe) + (:generator 4 + (aver (sc-is variable-home-tn control-stack)) + (loadw value frame-pointer (tn-offset variable-home-tn)))) +(define-vop (ancestor-frame-set) + (:args (frame-pointer :scs (descriptor-reg)) + (value :scs (descriptor-reg any-reg))) + (:results (variable-home-tn :load-if nil)) + (:policy :fast-safe) + (:generator 4 + (aver (sc-is variable-home-tn control-stack)) + (storew value frame-pointer (tn-offset variable-home-tn)))) + (define-vop (xep-allocate-frame) (:info start-lab copy-more-arg-follows) (:ignore copy-more-arg-follows) @@ -392,6 +410,16 @@ default-value-8 nvals) (:temporary (:scs (non-descriptor-reg)) temp)) +;;; This hook by the codegen lets us insert code before fall-thru entry points, +;;; local-call entry points, and tail-call entry points. The default does +;;; nothing. +(defun emit-block-header (start-label trampoline-label fall-thru-p alignp) + (declare (ignore fall-thru-p alignp)) + (when trampoline-label + (emit-label trampoline-label)) + (emit-label start-label)) + + ;;;; local call with unknown values convention return ;;; Non-TR local call for a fixed number of values passed according to the