(sc-is target signed-reg unsigned-reg descriptor-reg any-reg))
(inst mov target val))
;; Likewise if the value is small enough.
- ((typep val '(signed-byte 31))
+ ((typep val '(signed-byte 32))
(inst mov target val))
;; Otherwise go through the temporary register
(tmp-tn
(etypecase val
((integer 0 0)
(zeroize y))
- ((or (signed-byte 29) (unsigned-byte 29))
- (inst mov y (fixnumize val)))
(integer
- (move-immediate y (fixnumize val)))
+ (inst mov y (fixnumize val)))
(symbol
(load-symbol y val))
(character
(:generator 1
(cond ((and (sc-is x signed-reg unsigned-reg)
(not (location= x y)))
- ;; Uses 7 bytes, but faster on the Pentium
- (inst lea y (make-ea :qword :index x
- :scale (ash 1 n-fixnum-tag-bits))))
+ (if (= n-fixnum-tag-bits 1)
+ (inst lea y (make-ea :qword :base x :index x))
+ (inst lea y (make-ea :qword :index x
+ :scale (ash 1 n-fixnum-tag-bits)))))
(t
;; Uses: If x is a reg 2 + 3; if x = y uses only 3 bytes
(move y x)
(:generator 20
(aver (not (location= x y)))
(let ((done (gen-label)))
- (inst mov y #.(ash lowtag-mask n-positive-fixnum-bits))
+ (inst mov y #.(ash (1- (ash 1 (1+ n-fixnum-tag-bits)))
+ n-positive-fixnum-bits))
;; The assembly routines test the sign flag from this one, so if
;; you change stuff here, make sure the sign flag doesn't get
;; overwritten before the CALL!
(inst test x y)
- ;; Faster but bigger then SHL Y 4. The cost of doing this
- ;; speculatively should be noise compared to bignum consing if
- ;; that is needed and saves one branch.
- (inst lea y (make-ea :qword :index x :scale (ash 1 n-fixnum-tag-bits)))
+ ;; Using LEA is faster but bigger than MOV+SHL; it also doesn't
+ ;; twiddle the sign flag. The cost of doing this speculatively
+ ;; should be noise compared to bignum consing if that is needed
+ ;; and saves one branch.
+ (if (= n-fixnum-tag-bits 1)
+ (inst lea y (make-ea :qword :base x :index x))
+ (inst lea y (make-ea :qword :index x
+ :scale (ash 1 n-fixnum-tag-bits))))
(inst jmp :z done)
(inst mov y x)
(inst lea temp-reg-tn