X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Falpha%2Fvalues.lisp;h=6b385a4cda16d25894f47e5cb0ac58b4fb73e411;hb=80f222325e1f677e5cf8de01c6990906fa47f65d;hp=6e5043ef308d8bc8647bec8f30a86262de623374;hpb=63fcb94b875a97e468d9add229e220ecceec2352;p=sbcl.git diff --git a/src/compiler/alpha/values.lisp b/src/compiler/alpha/values.lisp index 6e5043e..6b385a4 100644 --- a/src/compiler/alpha/values.lisp +++ b/src/compiler/alpha/values.lisp @@ -16,6 +16,40 @@ (:generator 1 (move ptr csp-tn))) +(define-vop (%%nip-values) + (:args (last-nipped-ptr :scs (any-reg) :target dest) + (last-preserved-ptr :scs (any-reg) :target src) + (moved-ptrs :scs (any-reg) :more t)) + (:results (r-moved-ptrs :scs (any-reg) :more t)) + (:temporary (:sc any-reg) src) + (:temporary (:sc any-reg) dest) + (:temporary (:sc non-descriptor-reg) temp) + (:ignore r-moved-ptrs) + (:generator 1 + (move last-nipped-ptr dest) + (move last-preserved-ptr src) + (inst cmple csp-tn src temp) + (inst bne temp DONE) + LOOP + (loadw temp src) + (inst addq dest n-word-bytes dest) + (inst addq src n-word-bytes src) + (storew temp dest -1) + (inst cmple csp-tn src temp) + (inst beq temp LOOP) + DONE + (inst lda csp-tn 0 dest) + (inst subq src dest src) + (loop for moved = moved-ptrs then (tn-ref-across moved) + while moved + do (sc-case (tn-ref-tn moved) + ((descriptor-reg any-reg) + (inst subq (tn-ref-tn moved) src (tn-ref-tn moved))) + ((control-stack) + (load-stack-tn temp (tn-ref-tn moved)) + (inst subq temp src temp) + (store-stack-tn (tn-ref-tn moved) temp)))))) + ;;; Push some values onto the stack, returning the start and number of ;;; values pushed as results. It is assumed that the Vals are wired to ;;; the standard argument locations. Nvals is the number of values to @@ -39,7 +73,7 @@ start-temp) (:generator 20 (move csp-tn start-temp) - (inst lda csp-tn (* nvals word-bytes) csp-tn) + (inst lda csp-tn (* nvals n-word-bytes) csp-tn) (do ((val vals (tn-ref-across val)) (i 0 (1+ i))) ((null val)) @@ -73,14 +107,14 @@ LOOP (inst cmpeq list null-tn temp) (inst bne temp done) - (loadw temp list cons-car-slot list-pointer-type) - (loadw list list cons-cdr-slot list-pointer-type) - (inst lda csp-tn word-bytes csp-tn) + (loadw temp list cons-car-slot list-pointer-lowtag) + (loadw list list cons-cdr-slot list-pointer-lowtag) + (inst lda csp-tn n-word-bytes csp-tn) (storew temp csp-tn -1) (inst and list lowtag-mask ndescr) - (inst xor ndescr list-pointer-type ndescr) + (inst xor ndescr list-pointer-lowtag ndescr) (inst beq ndescr loop) - (error-call vop bogus-argument-to-values-list-error list) + (error-call vop bogus-arg-to-values-list-error list) DONE (inst subq csp-tn start count))) @@ -103,7 +137,7 @@ (zero (move context src)) (immediate - (inst lda src (* (tn-value skip) word-bytes) context)) + (inst lda src (* (tn-value skip) n-word-bytes) context)) (any-reg (inst addq context skip src))) (move num count)