;; DEFTRANSFORMed away.
(aver (not (= count 0)))
(if (> count 0)
- (inst rotlwi res integer count)
+ (inst rotlwi res integer count)
(inst rotrwi res integer (- count)))))
(define-vop (%32bit-rotate-byte-fixnum/c)
(t (inst rotrwi res integer (- 2 count))))))
(macrolet ((def (name arg-type)
- `(define-vop (,name)
- (:policy :fast-safe)
- (:translate %unsigned-32-rotate-byte)
- (:note "inline 32-bit rotation")
- (:args (count :scs (sb-vm::signed-reg))
- (integer :scs (sb-vm::unsigned-reg) :target res))
- (:arg-types sb-vm::tagged-num ,arg-type)
- (:temporary (:scs (sb-vm::unsigned-reg) :from (:argument 0))
- realcount)
- (:results (res :scs (sb-vm::unsigned-reg)))
- (:result-types sb-vm::unsigned-byte-32)
- (:generator 10
- (let ((label (gen-label))
- (end (gen-label)))
- (inst cmpwi count 0)
- (inst bge label)
- (inst addi realcount count 32)
- (inst rotlw res integer realcount)
- (inst b end)
- (emit-label label)
- (inst rotlw res integer count)
- (emit-label end))))))
+ `(define-vop (,name)
+ (:policy :fast-safe)
+ (:translate %unsigned-32-rotate-byte)
+ (:note "inline 32-bit rotation")
+ (:args (count :scs (sb-vm::signed-reg))
+ (integer :scs (sb-vm::unsigned-reg) :target res))
+ (:arg-types sb-vm::tagged-num ,arg-type)
+ (:temporary (:scs (sb-vm::unsigned-reg) :from (:argument 0))
+ realcount)
+ (:results (res :scs (sb-vm::unsigned-reg)))
+ (:result-types sb-vm::unsigned-byte-32)
+ (:generator 10
+ (let ((label (gen-label))
+ (end (gen-label)))
+ (inst cmpwi count 0)
+ (inst bge label)
+ (inst addi realcount count 32)
+ (inst rotlw res integer realcount)
+ (inst b end)
+ (emit-label label)
+ (inst rotlw res integer count)
+ (emit-label end))))))
(def %32bit-rotate-byte sb-vm::unsigned-byte-32)
;; FIXME: see x86-vm.lisp
(def %32bit-rotate-byte-fixnum sb-vm::positive-fixnum))