(:temporary (:scs (any-reg) :type fixnum :to (:result 0))
temp)
(:translate lognot)
- (:generator 2
+ (:generator 1
(inst li temp (fixnumize -1))
(inst xor res x temp)))
(define-vop (fast-lognot/signed signed-unop)
(:translate lognot)
- (:generator 1
+ (:generator 2
(inst nor res x zero-tn)))
\f
;;;; Binary fixnum operations.
(inst bgez amount positive)
(inst subu ndesc zero-tn amount)
(inst slt temp ndesc 32)
- (inst bne temp zero-tn done)
+ (inst bne temp done)
(inst srl result number ndesc)
(inst b done)
(move result zero-tn t)
(inst bgez amount positive)
(inst subu ndesc zero-tn amount)
(inst slt temp ndesc 31)
- (inst bne temp zero-tn done)
+ (inst bne temp done)
(inst sra result number ndesc)
(inst b done)
(inst sra result number 31)
(:save-p :compute-only)
(:generator 11
(let ((zero (generate-error-code vop division-by-zero-error x y)))
- (inst beq y zero-tn zero))
+ (inst beq y zero))
(inst nop)
(inst div x y)
(inst mflo temp)
(:save-p :compute-only)
(:generator 12
(let ((zero (generate-error-code vop division-by-zero-error x y)))
- (inst beq y zero-tn zero))
+ (inst beq y zero))
(inst nop)
(inst divu x y)
(inst mflo q)
(:save-p :compute-only)
(:generator 12
(let ((zero (generate-error-code vop division-by-zero-error x y)))
- (inst beq y zero-tn zero))
+ (inst beq y zero))
(inst nop)
(inst div x y)
(inst mflo q)
(inst slt temp x y)
(inst sltu temp x y))
(if not-p
- (inst beq temp zero-tn target)
- (inst bne temp zero-tn target))))
+ (inst beq temp target)
+ (inst bne temp target))))
(inst nop))
(define-conditional-vop >
(inst slt temp x y)
(inst sltu temp x y))
(if not-p
- (inst bne temp zero-tn target)
- (inst beq temp zero-tn target))))
+ (inst bne temp target)
+ (inst beq temp target))))
(t
(if signed
(inst slt temp y x)
(inst sltu temp y x))
(if not-p
- (inst beq temp zero-tn target)
- (inst bne temp zero-tn target))))
+ (inst beq temp target)
+ (inst bne temp target))))
(inst nop))
;;; EQL/FIXNUM is funny because the first arg can be of any type, not just a
\f
;;;; 32-bit logical operations
-(define-vop (merge-bits)
- (:translate merge-bits)
- (:args (shift :scs (signed-reg unsigned-reg))
- (prev :scs (unsigned-reg))
- (next :scs (unsigned-reg)))
- (:arg-types tagged-num unsigned-num unsigned-num)
- (:temporary (:scs (unsigned-reg) :to (:result 0)) temp)
- (:temporary (:scs (unsigned-reg) :to (:result 0) :target result) res)
- (:results (result :scs (unsigned-reg)))
- (:result-types unsigned-num)
- (:policy :fast-safe)
- (:generator 4
- (let ((done (gen-label)))
- (inst beq shift done)
- (inst srl res next shift)
- (inst subu temp zero-tn shift)
- (inst sll temp prev temp)
- (inst or res res temp)
- (emit-label done)
- (move result res))))
-
(define-vop (shift-towards-someplace)
(:policy :fast-safe)
(:args (num :scs (unsigned-reg))
(inst sll r num amount)))))
\f
;;;; Modular arithmetic
-(define-modular-fun +-mod32 (x y) + :unsigned 32)
+(define-modular-fun +-mod32 (x y) + :untagged nil 32)
(define-vop (fast-+-mod32/unsigned=>unsigned fast-+/unsigned=>unsigned)
(:translate +-mod32))
(define-vop (fast-+-mod32-c/unsigned=>unsigned fast-+-c/unsigned=>unsigned)
(:translate +-mod32))
-(define-modular-fun --mod32 (x y) - :unsigned 32)
+(define-modular-fun --mod32 (x y) - :untagged nil 32)
(define-vop (fast---mod32/unsigned=>unsigned fast--/unsigned=>unsigned)
(:translate --mod32))
(define-vop (fast---mod32-c/unsigned=>unsigned fast---c/unsigned=>unsigned)
'(%primitive fast-ash-left-mod32/unsigned=>unsigned integer count))
;;; logical operations
-(define-modular-fun lognot-mod32 (x) lognot :unsigned 32)
+(define-modular-fun lognot-mod32 (x) lognot :untagged nil 32)
(define-vop (lognot-mod32/unsigned=>unsigned)
(:translate lognot-mod32)
(:args (x :scs (unsigned-reg)))
(:generator 1
(inst nor r x zero-tn)))
-(define-modular-fun logxor-mod32 (x y) logxor :unsigned 32)
-(define-vop (fast-logxor-mod32/unsigned=>unsigned
- fast-logxor/unsigned=>unsigned)
- (:translate logxor-mod32))
-(define-vop (fast-logxor-mod32-c/unsigned=>unsigned
- fast-logxor-c/unsigned=>unsigned)
- (:translate logxor-mod32))
-
-(define-modular-fun lognor-mod32 (x y) lognor :unsigned 32)
+(define-modular-fun lognor-mod32 (x y) lognor :untagged nil 32)
(define-vop (fast-lognor-mod32/unsigned=>unsigned
fast-lognor/unsigned=>unsigned)
(:translate lognor-mod32))
(inst sra digit fixnum n-fixnum-tag-bits)))
(define-vop (bignum-floor)
- (:translate sb!bignum:%floor)
+ (:translate sb!bignum:%bigfloor)
(:policy :fast-safe)
(:args (num-high :scs (unsigned-reg) :target rem)
(num-low :scs (unsigned-reg) :target rem-low)