1 ;;;; the VM definition arithmetic VOPs for MIPS
3 ;;;; This software is part of the SBCL system. See the README file for
6 ;;;; This software is derived from the CMU CL system, which was
7 ;;;; written at Carnegie Mellon University and released into the
8 ;;;; public domain. The software is in the public domain and is
9 ;;;; provided with absolutely no warranty. See the COPYING and CREDITS
10 ;;;; files for more information.
14 ;;;; Unary operations.
16 (define-vop (fixnum-unop)
17 (:args (x :scs (any-reg)))
18 (:results (res :scs (any-reg)))
19 (:note "inline fixnum arithmetic")
20 (:arg-types tagged-num)
21 (:result-types tagged-num)
24 (define-vop (signed-unop)
25 (:args (x :scs (signed-reg)))
26 (:results (res :scs (signed-reg)))
27 (:note "inline (signed-byte 32) arithmetic")
28 (:arg-types signed-num)
29 (:result-types signed-num)
32 (define-vop (fast-negate/fixnum fixnum-unop)
35 (inst subu res zero-tn x)))
37 (define-vop (fast-negate/signed signed-unop)
40 (inst subu res zero-tn x)))
42 (define-vop (fast-lognot/fixnum fixnum-unop)
43 (:temporary (:scs (any-reg) :type fixnum :to (:result 0))
47 (inst li temp (fixnumize -1))
48 (inst xor res x temp)))
50 (define-vop (fast-lognot/signed signed-unop)
53 (inst nor res x zero-tn)))
57 ;;;; Binary fixnum operations.
59 ;;; Assume that any constant operand is the second arg...
61 (define-vop (fast-fixnum-binop)
62 (:args (x :target r :scs (any-reg))
63 (y :target r :scs (any-reg)))
64 (:arg-types tagged-num tagged-num)
65 (:results (r :scs (any-reg)))
66 (:result-types tagged-num)
67 (:note "inline fixnum arithmetic")
72 (define-vop (fast-unsigned-binop)
73 (:args (x :target r :scs (unsigned-reg))
74 (y :target r :scs (unsigned-reg)))
75 (:arg-types unsigned-num unsigned-num)
76 (:results (r :scs (unsigned-reg)))
77 (:result-types unsigned-num)
78 (:note "inline (unsigned-byte 32) arithmetic")
83 (define-vop (fast-signed-binop)
84 (:args (x :target r :scs (signed-reg))
85 (y :target r :scs (signed-reg)))
86 (:arg-types signed-num signed-num)
87 (:results (r :scs (signed-reg)))
88 (:result-types signed-num)
89 (:note "inline (signed-byte 32) arithmetic")
94 (define-vop (fast-fixnum-c-binop fast-fixnum-binop)
95 (:args (x :target r :scs (any-reg)))
97 (:arg-types tagged-num (:constant integer)))
99 (define-vop (fast-signed-c-binop fast-signed-binop)
100 (:args (x :target r :scs (signed-reg)))
102 (:arg-types tagged-num (:constant integer)))
104 (define-vop (fast-unsigned-c-binop fast-unsigned-binop)
105 (:args (x :target r :scs (unsigned-reg)))
107 (:arg-types tagged-num (:constant integer)))
109 (defmacro define-binop (translate cost untagged-cost op
110 tagged-type untagged-type)
112 (define-vop (,(symbolicate "FAST-" translate "/FIXNUM=>FIXNUM")
114 (:args (x :target r :scs (any-reg))
115 (y :target r :scs (any-reg)))
116 (:translate ,translate)
117 (:generator ,(1+ cost)
119 (define-vop (,(symbolicate "FAST-" translate "/SIGNED=>SIGNED")
121 (:args (x :target r :scs (signed-reg))
122 (y :target r :scs (signed-reg)))
123 (:translate ,translate)
124 (:generator ,(1+ untagged-cost)
126 (define-vop (,(symbolicate "FAST-" translate "/UNSIGNED=>UNSIGNED")
128 (:args (x :target r :scs (unsigned-reg))
129 (y :target r :scs (unsigned-reg)))
130 (:translate ,translate)
131 (:generator ,(1+ untagged-cost)
134 `((define-vop (,(symbolicate "FAST-" translate "-C/FIXNUM=>FIXNUM")
136 (:arg-types tagged-num (:constant ,tagged-type))
137 (:translate ,translate)
139 (inst ,op r x (fixnumize y))))))
140 ,@(when untagged-type
141 `((define-vop (,(symbolicate "FAST-" translate "-C/SIGNED=>SIGNED")
143 (:arg-types signed-num (:constant ,untagged-type))
144 (:translate ,translate)
145 (:generator ,untagged-cost
147 (define-vop (,(symbolicate "FAST-" translate
148 "-C/UNSIGNED=>UNSIGNED")
149 fast-unsigned-c-binop)
150 (:arg-types unsigned-num (:constant ,untagged-type))
151 (:translate ,translate)
152 (:generator ,untagged-cost
153 (inst ,op r x y)))))))
155 (define-binop + 1 5 addu (signed-byte 14) (signed-byte 16))
156 (define-binop - 1 5 subu
157 (integer #.(- (1- (ash 1 14))) #.(ash 1 14))
158 (integer #.(- (1- (ash 1 16))) #.(ash 1 16)))
159 (define-binop logior 1 3 or (unsigned-byte 14) (unsigned-byte 16))
160 (define-binop logand 1 3 and (unsigned-byte 14) (unsigned-byte 16))
161 (define-binop logxor 1 3 xor (unsigned-byte 14) (unsigned-byte 16))
163 ;;; KLUDGE: no FIXNUM VOP for LOGNOR, because there's no efficient way
164 ;;; of restoring the tag bits. (No -C/ VOPs for LOGNOR because the
165 ;;; NOR instruction doesn't take immediate args). -- CSR, 2003-09-11
166 (define-vop (fast-lognor/signed=>signed fast-signed-binop)
168 (:args (x :target r :scs (signed-reg))
169 (y :target r :scs (signed-reg)))
172 (define-vop (fast-lognor/unsigned=>unsigned fast-unsigned-binop)
174 (:args (x :target r :scs (unsigned-reg))
175 (y :target r :scs (unsigned-reg)))
179 ;;; Special case fixnum + and - that trap on overflow. Useful when we don't
180 ;;; know that the result is going to be a fixnum.
183 (define-vop (fast-+/fixnum fast-+/fixnum=>fixnum)
184 (:results (r :scs (any-reg descriptor-reg)))
185 (:result-types (:or signed-num unsigned-num))
190 (define-vop (fast-+-c/fixnum fast-+-c/fixnum=>fixnum)
191 (:results (r :scs (any-reg descriptor-reg)))
192 (:result-types (:or signed-num unsigned-num))
195 (inst add r x (fixnumize y))))
197 (define-vop (fast--/fixnum fast--/fixnum=>fixnum)
198 (:results (r :scs (any-reg descriptor-reg)))
199 (:result-types (:or signed-num unsigned-num))
204 (define-vop (fast---c/fixnum fast---c/fixnum=>fixnum)
205 (:results (r :scs (any-reg descriptor-reg)))
206 (:result-types (:or signed-num unsigned-num))
209 (inst sub r x (fixnumize y))))
210 ) ; bogus trap-to-c-land +/-
214 (define-vop (fast-ash/unsigned=>unsigned)
216 (:args (number :scs (unsigned-reg) :to :save)
217 (amount :scs (signed-reg) :to :save))
218 (:arg-types unsigned-num signed-num)
219 (:results (result :scs (unsigned-reg)))
220 (:result-types unsigned-num)
223 (:temporary (:sc non-descriptor-reg) ndesc)
224 (:temporary (:sc non-descriptor-reg :to :eval) temp)
226 (inst bgez amount positive)
227 (inst subu ndesc zero-tn amount)
228 (inst slt temp ndesc 32)
229 (inst bne temp zero-tn done)
230 (inst srl result number ndesc)
232 (inst move result zero-tn)
235 ;; The result-type assures us that this shift will not overflow.
236 (inst sll result number amount)
240 (define-vop (fast-ash/signed=>signed)
242 (:args (number :scs (signed-reg) :to :save)
243 (amount :scs (signed-reg)))
244 (:arg-types signed-num signed-num)
245 (:results (result :scs (signed-reg)))
246 (:result-types signed-num)
249 (:temporary (:sc non-descriptor-reg) ndesc)
250 (:temporary (:sc non-descriptor-reg :to :eval) temp)
252 (inst bgez amount positive)
253 (inst subu ndesc zero-tn amount)
254 (inst slt temp ndesc 31)
255 (inst bne temp zero-tn done)
256 (inst sra result number ndesc)
258 (inst sra result number 31)
261 ;; The result-type assures us that this shift will not overflow.
262 (inst sll result number amount)
267 (define-vop (fast-ash-c/unsigned=>unsigned)
271 (:args (number :scs (unsigned-reg)))
273 (:arg-types unsigned-num (:constant integer))
274 (:results (result :scs (unsigned-reg)))
275 (:result-types unsigned-num)
278 ((< count -31) (move result zero-tn))
279 ((< count 0) (inst srl result number (min (- count) 31)))
280 ((> count 0) (inst sll result number (min count 31)))
281 (t (bug "identity ASH not transformed away")))))
283 (define-vop (fast-ash-c/signed=>signed)
287 (:args (number :scs (signed-reg)))
289 (:arg-types signed-num (:constant integer))
290 (:results (result :scs (signed-reg)))
291 (:result-types signed-num)
294 ((< count 0) (inst sra result number (min (- count) 31)))
295 ((> count 0) (inst sll result number (min count 31)))
296 (t (bug "identity ASH not transformed away")))))
298 (macrolet ((def (name sc-type type result-type cost)
302 (:args (number :scs (,sc-type))
303 (amount :scs (signed-reg unsigned-reg immediate)))
304 (:arg-types ,type positive-fixnum)
305 (:results (result :scs (,result-type)))
306 (:result-types ,type)
310 ((signed-reg unsigned-reg)
311 (inst sll result number amount))
313 (let ((amount (tn-value amount)))
315 (inst sll result number amount))))))))
316 (def fast-ash-left/fixnum=>fixnum any-reg tagged-num any-reg 2)
317 (def fast-ash-left/signed=>signed signed-reg signed-num signed-reg 3)
318 (def fast-ash-left/unsigned=>unsigned unsigned-reg unsigned-num unsigned-reg 3))
320 (define-vop (signed-byte-32-len)
321 (:translate integer-length)
322 (:note "inline (signed-byte 32) integer-length")
324 (:args (arg :scs (signed-reg) :target shift))
325 (:arg-types signed-num)
326 (:results (res :scs (any-reg)))
327 (:result-types positive-fixnum)
328 (:temporary (:scs (non-descriptor-reg) :from (:argument 0)) shift)
330 (let ((loop (gen-label))
333 (inst bgez shift test)
336 (inst nor shift shift)
339 (inst add res (fixnumize 1))
342 (inst bne shift loop)
343 (inst srl shift 1))))
345 (define-vop (unsigned-byte-32-count)
346 (:translate logcount)
347 (:note "inline (unsigned-byte 32) logcount")
349 (:args (arg :scs (unsigned-reg) :target num))
350 (:arg-types unsigned-num)
351 (:results (res :scs (unsigned-reg)))
352 (:result-types positive-fixnum)
353 (:temporary (:scs (non-descriptor-reg) :from (:argument 0) :to (:result 0)
355 (:temporary (:scs (non-descriptor-reg)) mask temp)
357 (inst li mask #x55555555)
358 (inst srl temp arg 1)
359 (inst and num arg mask)
362 (inst li mask #x33333333)
363 (inst srl temp num 2)
367 (inst li mask #x0f0f0f0f)
368 (inst srl temp num 4)
372 (inst li mask #x00ff00ff)
373 (inst srl temp num 8)
377 (inst li mask #x0000ffff)
378 (inst srl temp num 16)
381 (inst addu res num temp)))
384 ;;; Multiply and Divide.
386 (define-vop (fast-*/fixnum=>fixnum fast-fixnum-binop)
387 (:temporary (:scs (non-descriptor-reg)) temp)
394 (define-vop (fast-*/signed=>signed fast-signed-binop)
400 (define-vop (fast-*/unsigned=>unsigned fast-unsigned-binop)
408 (define-vop (fast-truncate/fixnum fast-fixnum-binop)
409 (:translate truncate)
410 (:results (q :scs (any-reg))
412 (:result-types tagged-num tagged-num)
413 (:temporary (:scs (non-descriptor-reg) :to :eval) temp)
415 (:save-p :compute-only)
417 (let ((zero (generate-error-code vop division-by-zero-error x y)))
418 (inst beq y zero-tn zero))
425 (define-vop (fast-truncate/unsigned fast-unsigned-binop)
426 (:translate truncate)
427 (:results (q :scs (unsigned-reg))
428 (r :scs (unsigned-reg)))
429 (:result-types unsigned-num unsigned-num)
431 (:save-p :compute-only)
433 (let ((zero (generate-error-code vop division-by-zero-error x y)))
434 (inst beq y zero-tn zero))
440 (define-vop (fast-truncate/signed fast-signed-binop)
441 (:translate truncate)
442 (:results (q :scs (signed-reg))
443 (r :scs (signed-reg)))
444 (:result-types signed-num signed-num)
446 (:save-p :compute-only)
448 (let ((zero (generate-error-code vop division-by-zero-error x y)))
449 (inst beq y zero-tn zero))
457 ;;;; Binary conditional VOPs:
459 (define-vop (fast-conditional)
464 (:temporary (:scs (non-descriptor-reg)) temp)
465 (:policy :fast-safe))
467 (define-vop (fast-conditional/fixnum fast-conditional)
468 (:args (x :scs (any-reg))
470 (:arg-types tagged-num tagged-num)
471 (:note "inline fixnum comparison"))
473 (define-vop (fast-conditional-c/fixnum fast-conditional/fixnum)
474 (:args (x :scs (any-reg)))
475 (:arg-types tagged-num (:constant (signed-byte-with-a-bite-out 14 4)))
476 (:info target not-p y))
478 (define-vop (fast-conditional/signed fast-conditional)
479 (:args (x :scs (signed-reg))
480 (y :scs (signed-reg)))
481 (:arg-types signed-num signed-num)
482 (:note "inline (signed-byte 32) comparison"))
484 (define-vop (fast-conditional-c/signed fast-conditional/signed)
485 (:args (x :scs (signed-reg)))
486 (:arg-types signed-num (:constant (signed-byte-with-a-bite-out 16 1)))
487 (:info target not-p y))
489 (define-vop (fast-conditional/unsigned fast-conditional)
490 (:args (x :scs (unsigned-reg))
491 (y :scs (unsigned-reg)))
492 (:arg-types unsigned-num unsigned-num)
493 (:note "inline (unsigned-byte 32) comparison"))
495 (define-vop (fast-conditional-c/unsigned fast-conditional/unsigned)
496 (:args (x :scs (unsigned-reg)))
497 (:arg-types unsigned-num (:constant (and (signed-byte-with-a-bite-out 16 1)
499 (:info target not-p y))
502 (defmacro define-conditional-vop (translate &rest generator)
504 ,@(mapcar #'(lambda (suffix cost signed)
505 (unless (and (member suffix '(/fixnum -c/fixnum))
507 `(define-vop (,(intern (format nil "~:@(FAST-IF-~A~A~)"
510 (format nil "~:@(FAST-CONDITIONAL~A~)"
512 (:translate ,translate)
514 (let* ((signed ,signed)
515 (-c/fixnum ,(eq suffix '-c/fixnum))
516 (y (if -c/fixnum (fixnumize y) y)))
517 (declare (ignorable signed -c/fixnum y))
519 '(/fixnum -c/fixnum /signed -c/signed /unsigned -c/unsigned)
521 '(t t t t nil nil))))
523 (define-conditional-vop <
524 (cond ((and signed (eql y 0))
527 (inst bltz x target)))
531 (inst sltu temp x y))
533 (inst beq temp zero-tn target)
534 (inst bne temp zero-tn target))))
537 (define-conditional-vop >
538 (cond ((and signed (eql y 0))
541 (inst bgtz x target)))
543 (let ((y (+ y (if -c/fixnum (fixnumize 1) 1))))
546 (inst sltu temp x y))
548 (inst bne temp zero-tn target)
549 (inst beq temp zero-tn target))))
553 (inst sltu temp y x))
555 (inst beq temp zero-tn target)
556 (inst bne temp zero-tn target))))
559 ;;; EQL/FIXNUM is funny because the first arg can be of any type, not just a
562 (define-conditional-vop eql
563 (declare (ignore signed))
568 (inst bne x y target)
569 (inst beq x y target))
572 ;;; These versions specify a fixnum restriction on their first arg. We have
573 ;;; also generic-eql/fixnum VOPs which are the same, but have no restriction on
574 ;;; the first arg and a higher cost. The reason for doing this is to prevent
575 ;;; fixnum specific operations from being used on word integers, spuriously
576 ;;; consing the argument.
578 (define-vop (fast-eql/fixnum fast-conditional)
579 (:args (x :scs (any-reg))
581 (:arg-types tagged-num tagged-num)
582 (:note "inline fixnum comparison")
587 (inst bne x y target)
588 (inst beq x y target))
591 (define-vop (generic-eql/fixnum fast-eql/fixnum)
592 (:args (x :scs (any-reg descriptor-reg))
594 (:arg-types * tagged-num)
597 (define-vop (fast-eql-c/fixnum fast-conditional/fixnum)
598 (:args (x :scs (any-reg)))
599 (:arg-types tagged-num (:constant (signed-byte 14)))
600 (:info target not-p y)
603 (let ((y (cond ((eql y 0) zero-tn)
605 (inst li temp (fixnumize y))
608 (inst bne x y target)
609 (inst beq x y target))
612 (define-vop (generic-eql-c/fixnum fast-eql-c/fixnum)
613 (:args (x :scs (any-reg descriptor-reg)))
614 (:arg-types * (:constant (signed-byte 14)))
618 ;;;; 32-bit logical operations
620 (define-vop (merge-bits)
621 (:translate merge-bits)
622 (:args (shift :scs (signed-reg unsigned-reg))
623 (prev :scs (unsigned-reg))
624 (next :scs (unsigned-reg)))
625 (:arg-types tagged-num unsigned-num unsigned-num)
626 (:temporary (:scs (unsigned-reg) :to (:result 0)) temp)
627 (:temporary (:scs (unsigned-reg) :to (:result 0) :target result) res)
628 (:results (result :scs (unsigned-reg)))
629 (:result-types unsigned-num)
632 (let ((done (gen-label)))
633 (inst beq shift done)
634 (inst srl res next shift)
635 (inst subu temp zero-tn shift)
636 (inst sll temp prev temp)
637 (inst or res res temp)
641 (define-vop (shift-towards-someplace)
643 (:args (num :scs (unsigned-reg))
644 (amount :scs (signed-reg)))
645 (:arg-types unsigned-num tagged-num)
646 (:results (r :scs (unsigned-reg)))
647 (:result-types unsigned-num))
649 (define-vop (shift-towards-start shift-towards-someplace)
650 (:translate shift-towards-start)
651 (:note "SHIFT-TOWARDS-START")
653 (ecase *backend-byte-order*
655 (inst sll r num amount))
657 (inst srl r num amount)))))
659 (define-vop (shift-towards-end shift-towards-someplace)
660 (:translate shift-towards-end)
661 (:note "SHIFT-TOWARDS-END")
663 (ecase *backend-byte-order*
665 (inst srl r num amount))
667 (inst sll r num amount)))))
669 ;;;; Modular arithmetic
671 (macrolet ((define-modular-backend (fun &optional constantp)
673 (dolist (info '((29 fixnum) (32 unsigned)))
674 (destructuring-bind (width regtype) info
675 (let ((mfun-name (intern (format nil "~A-MOD~A" fun width)))
676 (mvop (intern (format nil "FAST-~A-MOD~A/~A=>~A"
677 fun width regtype regtype)))
678 (mcvop (intern (format nil "FAST-~A-MOD~A-C/~A=>~A"
679 fun width regtype regtype)))
680 (vop (intern (format nil "FAST-~A/~A=>~A"
681 fun regtype regtype)))
682 (cvop (intern (format nil "FAST-~A-C/~A=>~A"
683 fun regtype regtype))))
684 (forms `(define-modular-fun ,mfun-name (x y) ,fun ,width))
685 (forms `(define-vop (,mvop ,vop)
686 (:translate ,mfun-name)))
688 (forms `(define-vop (,mcvop ,cvop)
689 (:translate ,mfun-name)))))))
690 `(progn ,@(forms)))))
691 (define-modular-backend + t)
692 (define-modular-backend - t)
693 (define-modular-backend logxor t))
695 (define-vop (fast-ash-left-mod32-c/unsigned=>unsigned
696 fast-ash-c/unsigned=>unsigned)
697 (:translate ash-left-mod32))
699 (define-vop (fast-ash-left-mod32/unsigned=>unsigned
700 fast-ash-left/unsigned=>unsigned))
701 (deftransform ash-left-mod32 ((integer count)
702 ((unsigned-byte 32) (unsigned-byte 5)))
703 (when (sb!c::constant-lvar-p count)
704 (sb!c::give-up-ir1-transform))
705 '(%primitive fast-ash-left-mod32/unsigned=>unsigned integer count))
707 ;;; logical operations
708 (define-modular-fun lognot-mod32 (x) lognot 32)
709 (define-vop (lognot-mod32/unsigned=>unsigned)
710 (:translate lognot-mod32)
711 (:args (x :scs (unsigned-reg)))
712 (:arg-types unsigned-num)
713 (:results (r :scs (unsigned-reg)))
714 (:result-types unsigned-num)
717 (inst nor r x zero-tn)))
719 (define-modular-fun lognor-mod32 (x y) lognor 32)
720 (define-vop (fast-lognor-mod32/unsigned=>unsigned
721 fast-lognor/unsigned=>unsigned)
722 (:translate lognor-mod32))
724 (define-source-transform logeqv (&rest args)
725 (if (oddp (length args))
727 `(lognot (logxor ,@args))))
728 (define-source-transform logandc1 (x y)
729 `(logand (lognot ,x) ,y))
730 (define-source-transform logandc2 (x y)
731 `(logand ,x (lognot ,y)))
732 (define-source-transform logorc1 (x y)
733 `(logior (lognot ,x) ,y))
734 (define-source-transform logorc2 (x y)
735 `(logior ,x (lognot ,y)))
736 (define-source-transform lognand (x y)
737 `(lognot (logand ,x ,y)))
740 (define-vop (bignum-length get-header-data)
741 (:translate sb!bignum:%bignum-length)
742 (:policy :fast-safe))
744 (define-vop (bignum-set-length set-header-data)
745 (:translate sb!bignum:%bignum-set-length)
746 (:policy :fast-safe))
748 (define-full-reffer bignum-ref * bignum-digits-offset other-pointer-lowtag
749 (unsigned-reg) unsigned-num sb!bignum:%bignum-ref)
751 (define-full-setter bignum-set * bignum-digits-offset other-pointer-lowtag
752 (unsigned-reg) unsigned-num sb!bignum:%bignum-set)
754 (define-vop (digit-0-or-plus)
755 (:translate sb!bignum:%digit-0-or-plusp)
757 (:args (digit :scs (unsigned-reg)))
758 (:arg-types unsigned-num)
763 (inst bltz digit target)
764 (inst bgez digit target))
767 (define-vop (add-w/carry)
768 (:translate sb!bignum:%add-with-carry)
770 (:args (a :scs (unsigned-reg))
771 (b :scs (unsigned-reg))
773 (:arg-types unsigned-num unsigned-num positive-fixnum)
774 (:temporary (:scs (unsigned-reg) :to (:result 0) :target result) res)
775 (:results (result :scs (unsigned-reg))
776 (carry :scs (unsigned-reg) :from :eval))
777 (:result-types unsigned-num positive-fixnum)
778 (:temporary (:scs (non-descriptor-reg)) temp)
780 (let ((carry-in (gen-label))
782 (inst bne c carry-in)
786 (inst sltu carry res b)
788 (emit-label carry-in)
790 (inst nor temp a zero-tn)
791 (inst sltu carry b temp)
797 (define-vop (sub-w/borrow)
798 (:translate sb!bignum:%subtract-with-borrow)
800 (:args (a :scs (unsigned-reg))
801 (b :scs (unsigned-reg))
803 (:arg-types unsigned-num unsigned-num positive-fixnum)
804 (:temporary (:scs (unsigned-reg) :to (:result 0) :target result) res)
805 (:results (result :scs (unsigned-reg))
806 (borrow :scs (unsigned-reg) :from :eval))
807 (:result-types unsigned-num positive-fixnum)
809 (let ((no-borrow-in (gen-label))
812 (inst bne c no-borrow-in)
817 (inst sltu borrow b a)
819 (emit-label no-borrow-in)
820 (inst sltu borrow a b)
826 (define-vop (bignum-mult-and-add-3-arg)
827 (:translate sb!bignum:%multiply-and-add)
829 (:args (x :scs (unsigned-reg))
830 (y :scs (unsigned-reg))
831 (carry-in :scs (unsigned-reg) :to :save))
832 (:arg-types unsigned-num unsigned-num unsigned-num)
833 (:temporary (:scs (unsigned-reg) :from (:argument 1)) temp)
834 (:results (hi :scs (unsigned-reg))
835 (lo :scs (unsigned-reg)))
836 (:result-types unsigned-num unsigned-num)
840 (inst addu lo temp carry-in)
841 (inst sltu temp lo carry-in)
843 (inst addu hi temp)))
845 (define-vop (bignum-mult-and-add-4-arg)
846 (:translate sb!bignum:%multiply-and-add)
848 (:args (x :scs (unsigned-reg))
849 (y :scs (unsigned-reg))
850 (prev :scs (unsigned-reg))
851 (carry-in :scs (unsigned-reg) :to :save))
852 (:arg-types unsigned-num unsigned-num unsigned-num unsigned-num)
853 (:temporary (:scs (unsigned-reg) :from (:argument 2)) temp)
854 (:results (hi :scs (unsigned-reg))
855 (lo :scs (unsigned-reg)))
856 (:result-types unsigned-num unsigned-num)
859 (inst addu lo prev carry-in)
860 (inst sltu temp lo carry-in)
865 (inst sltu temp lo temp)
866 (inst addu hi temp)))
868 (define-vop (bignum-mult)
869 (:translate sb!bignum:%multiply)
871 (:args (x :scs (unsigned-reg))
872 (y :scs (unsigned-reg)))
873 (:arg-types unsigned-num unsigned-num)
874 (:results (hi :scs (unsigned-reg))
875 (lo :scs (unsigned-reg)))
876 (:result-types unsigned-num unsigned-num)
882 (define-vop (bignum-lognot lognot-mod32/unsigned=>unsigned)
883 (:translate sb!bignum:%lognot))
885 (define-vop (fixnum-to-digit)
886 (:translate sb!bignum:%fixnum-to-digit)
888 (:args (fixnum :scs (any-reg)))
889 (:arg-types tagged-num)
890 (:results (digit :scs (unsigned-reg)))
891 (:result-types unsigned-num)
893 (inst sra digit fixnum 2)))
895 (define-vop (bignum-floor)
896 (:translate sb!bignum:%floor)
898 (:args (num-high :scs (unsigned-reg) :target rem)
899 (num-low :scs (unsigned-reg) :target rem-low)
900 (denom :scs (unsigned-reg) :to (:eval 1)))
901 (:arg-types unsigned-num unsigned-num unsigned-num)
902 (:temporary (:scs (unsigned-reg) :from (:argument 1)) rem-low)
903 (:temporary (:scs (unsigned-reg) :from (:eval 0)) temp)
904 (:results (quo :scs (unsigned-reg) :from (:eval 0))
905 (rem :scs (unsigned-reg) :from (:argument 0)))
906 (:result-types unsigned-num unsigned-num)
907 (:generator 325 ; number of inst assuming targeting works.
909 (move rem-low num-low)
910 (flet ((maybe-subtract (&optional (guess temp))
911 (inst subu temp guess 1)
912 (inst and temp denom)
913 (inst subu rem temp)))
914 (inst sltu quo rem denom)
918 (inst srl temp rem-low 31)
921 (inst sltu temp rem denom)
925 (inst nor quo zero-tn)))
927 (define-vop (signify-digit)
928 (:translate sb!bignum:%fixnum-digit-with-correct-sign)
930 (:args (digit :scs (unsigned-reg) :target res))
931 (:arg-types unsigned-num)
932 (:results (res :scs (any-reg signed-reg)))
933 (:result-types signed-num)
937 (inst sll res digit 2))
942 (define-vop (digit-ashr)
943 (:translate sb!bignum:%ashr)
945 (:args (digit :scs (unsigned-reg))
946 (count :scs (unsigned-reg)))
947 (:arg-types unsigned-num positive-fixnum)
948 (:results (result :scs (unsigned-reg)))
949 (:result-types unsigned-num)
951 (inst sra result digit count)))
953 (define-vop (digit-lshr digit-ashr)
954 (:translate sb!bignum:%digit-logical-shift-right)
956 (inst srl result digit count)))
958 (define-vop (digit-ashl digit-ashr)
959 (:translate sb!bignum:%ashl)
961 (inst sll result digit count)))
964 ;;;; Static functions.
966 (define-static-fun two-arg-gcd (x y) :translate gcd)
967 (define-static-fun two-arg-lcm (x y) :translate lcm)
969 (define-static-fun two-arg-+ (x y) :translate +)
970 (define-static-fun two-arg-- (x y) :translate -)
971 (define-static-fun two-arg-* (x y) :translate *)
972 (define-static-fun two-arg-/ (x y) :translate /)
974 (define-static-fun two-arg-< (x y) :translate <)
975 (define-static-fun two-arg-<= (x y) :translate <=)
976 (define-static-fun two-arg-> (x y) :translate >)
977 (define-static-fun two-arg->= (x y) :translate >=)
978 (define-static-fun two-arg-= (x y) :translate =)
979 (define-static-fun two-arg-/= (x y) :translate /=)
981 (define-static-fun %negate (x) :translate %negate)
983 (define-static-fun two-arg-and (x y) :translate logand)
984 (define-static-fun two-arg-ior (x y) :translate logior)
985 (define-static-fun two-arg-xor (x y) :translate logxor)