(inst movs :qword)
(inst cmp rsp-tn rsi)
(inst jmp :be LOOP)
+ (inst cld)
DONE
(inst lea rsp-tn (make-ea :qword :base rdi :disp n-word-bytes))
(inst sub rdi rsi)
(:results (start) (count))
(:info nvals)
(:generator 20
- (move temp rsp-tn) ; WARN pointing 1 below
+ (move temp rsp-tn) ; WARN pointing 1 below
(do ((val vals (tn-ref-across val)))
- ((null val))
+ ((null val))
(inst push (tn-ref-tn val)))
(move start temp)
(inst mov count (fixnumize nvals))))
(:arg-types list)
(:policy :fast-safe)
(:results (start :scs (any-reg))
- (count :scs (any-reg)))
+ (count :scs (any-reg)))
(:temporary (:sc descriptor-reg :from (:argument 0) :to (:result 1)) list)
(:temporary (:sc descriptor-reg :to (:result 1)) nil-temp)
(:temporary (:sc unsigned-reg :offset rax-offset :to (:result 1)) rax)
(:save-p :compute-only)
(:generator 0
(move list arg)
- (move start rsp-tn) ; WARN pointing 1 below
+ (move start rsp-tn) ; WARN pointing 1 below
(inst mov nil-temp nil-value)
LOOP
(inst and al-tn lowtag-mask)
(inst cmp al-tn list-pointer-lowtag)
(inst jmp :e LOOP)
- (error-call vop bogus-arg-to-values-list-error list)
+ (error-call vop 'bogus-arg-to-values-list-error list)
DONE
- (inst mov count start) ; start is high address
- (inst sub count rsp-tn))) ; stackp is low address
+ (inst mov count start) ; start is high address
+ (inst sub count rsp-tn) ; stackp is low address
+ #!-#.(cl:if (cl:= sb!vm:word-shift sb!vm:n-fixnum-tag-bits) '(and) '(or))
+ (inst shr count (- word-shift n-fixnum-tag-bits))))
;;; Copy the more arg block to the top of the stack so we can use them
;;; as function arguments.
;;; defining a new stack frame.
(define-vop (%more-arg-values)
(:args (context :scs (descriptor-reg any-reg) :target src)
- (skip :scs (any-reg immediate))
- (num :scs (any-reg) :target count))
+ (skip :scs (any-reg immediate))
+ (num :scs (any-reg) :target count))
(:arg-types * positive-fixnum positive-fixnum)
(:temporary (:sc any-reg :offset rsi-offset :from (:argument 0)) src)
(:temporary (:sc descriptor-reg :offset rax-offset) temp)
- (:temporary (:sc unsigned-reg :offset rcx-offset) temp1)
+ (:temporary (:sc unsigned-reg :offset rcx-offset) loop-index)
(:results (start :scs (any-reg))
- (count :scs (any-reg)))
+ (count :scs (any-reg)))
(:generator 20
(sc-case skip
(immediate
(cond ((zerop (tn-value skip))
- (move src context)
- (move count num))
- (t
- (inst lea src (make-ea :dword :base context
- :disp (- (* (tn-value skip)
- n-word-bytes))))
- (move count num)
- (inst sub count (* (tn-value skip) n-word-bytes)))))
+ (move src context)
+ (move count num))
+ (t
+ (inst lea src (make-ea :dword :base context
+ :disp (- (* (tn-value skip)
+ n-word-bytes))))
+ (move count num)
+ (inst sub count (* (tn-value skip) n-word-bytes)))))
(any-reg
(move src context)
+ #!+#.(cl:if (cl:= sb!vm:word-shift sb!vm:n-fixnum-tag-bits) '(and) '(or))
(inst sub src skip)
+ #!-#.(cl:if (cl:= sb!vm:word-shift sb!vm:n-fixnum-tag-bits) '(and) '(or))
+ (progn
+ ;; FIXME: This can't be efficient, but LEA (my first choice)
+ ;; doesn't do subtraction.
+ (inst shl skip (- word-shift n-fixnum-tag-bits))
+ (inst sub src skip)
+ (inst shr skip (- word-shift n-fixnum-tag-bits)))
(move count num)
(inst sub count skip)))
- (move temp1 count)
+ (inst lea loop-index (make-ea :byte :index count
+ :scale (ash 1 (- word-shift n-fixnum-tag-bits))))
(inst mov start rsp-tn)
- (inst jecxz DONE) ; check for 0 count?
+ (inst jrcxz DONE) ; check for 0 count?
- (inst shr temp1 word-shift) ; convert the fixnum to a count.
+ (inst sub rsp-tn loop-index)
+ (inst sub src loop-index)
- (inst std) ; move down the stack as more value are copied to the bottom.
LOOP
- (inst lods temp)
- (inst push temp)
- (inst loop LOOP)
+ (inst mov temp (make-ea :qword :base src :index loop-index))
+ (inst sub loop-index n-word-bytes)
+ (inst mov (make-ea :qword :base rsp-tn :index loop-index) temp)
+ (inst jmp :nz LOOP)
DONE))