X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fassembly%2Fmips%2Farith.lisp;h=b409c34427364c1f14152d7316cc935f0bb0c800;hb=11dc847696f9c5441c409ce5b7fdf77cf27746c5;hp=1cbbbbd5f213719c7431769f718c20d55763882b;hpb=4898ef32c639b1c7f4ee13a5ba566ce6debd03e6;p=sbcl.git diff --git a/src/assembly/mips/arith.lisp b/src/assembly/mips/arith.lisp index 1cbbbbd..b409c34 100644 --- a/src/assembly/mips/arith.lisp +++ b/src/assembly/mips/arith.lisp @@ -1,6 +1,26 @@ +;;;; stuff to handle simple cases for generic arithmetic + +;;;; This software is part of the SBCL system. See the README file for +;;;; more information. +;;;; +;;;; This software is derived from the CMU CL system, which was +;;;; written at Carnegie Mellon University and released into the +;;;; public domain. The software is in the public domain and is +;;;; provided with absolutely no warranty. See the COPYING and CREDITS +;;;; files for more information. + (in-package "SB!VM") + +;;;; Addition and subtraction. + +;;; static-fun-offset returns the address of the raw_addr slot of +;;; a static function's fdefn. + +;;; Note that there is only one use of static-fun-offset outside this +;;; file (in genesis.lisp) + (define-assembly-routine (generic-+ (:cost 10) (:return-style :full-call) @@ -16,39 +36,38 @@ (:temp temp1 non-descriptor-reg nl1-offset) (:temp temp2 non-descriptor-reg nl2-offset) (:temp pa-flag non-descriptor-reg nl4-offset) + (:temp lra descriptor-reg lra-offset) (:temp lip interior-reg lip-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) (inst or temp x y) (inst and temp fixnum-tag-mask) - (inst beq temp DO-ADD) + (inst bne temp DO-STATIC-FUN) + (inst addu temp x y) + ;; check for overflow + (inst xor temp1 temp x) + (inst xor temp2 temp y) + (inst and temp1 temp2) + (inst bltz temp1 DO-OVERFLOW) (inst sra temp1 x n-fixnum-tag-bits) + (inst move res temp) + (lisp-return lra lip :offset 2) - ;; DO-STATIC-FUN - (inst lw lip null-tn (static-fun-offset 'two-arg-+)) - (inst li nargs (fixnumize 2)) - (move ocfp cfp-tn) - (inst j lip) - (move cfp-tn csp-tn t) - - DO-ADD + DO-OVERFLOW + ;; We did overflow, so do the bignum version (inst sra temp2 y n-fixnum-tag-bits) (inst addu temp temp1 temp2) - ;; check for overflow - (inst sra temp1 temp (- n-word-bits n-lowtag-bits)) - (inst beq temp1 RETURN) - (inst nor temp1 temp1) - (inst beq temp1 RETURN) - (inst nop) - (with-fixed-allocation (res pa-flag temp2 bignum-widetag (1+ bignum-digits-offset)) + (with-fixed-allocation (res pa-flag temp2 bignum-widetag + (1+ bignum-digits-offset) nil) (storew temp res bignum-digits-offset other-pointer-lowtag)) - (inst b DONE) - (inst nop) - - RETURN - (inst sll res temp n-fixnum-tag-bits) + (lisp-return lra lip :offset 2) - DONE) + DO-STATIC-FUN + (inst lw lip null-tn (static-fun-offset 'two-arg-+)) + (inst li nargs (fixnumize 2)) + (move ocfp cfp-tn) + (inst j lip) + (move cfp-tn csp-tn t)) (define-assembly-routine (generic-- @@ -66,39 +85,42 @@ (:temp temp1 non-descriptor-reg nl1-offset) (:temp temp2 non-descriptor-reg nl2-offset) (:temp pa-flag non-descriptor-reg nl4-offset) + (:temp lra descriptor-reg lra-offset) (:temp lip interior-reg lip-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) (inst or temp x y) (inst and temp fixnum-tag-mask) - (inst beq temp DO-SUB) + (inst bne temp DO-STATIC-FUN) + (inst subu temp x y) + ;; check for overflow + (inst xor temp1 x y) + (inst xor temp2 x temp) + (inst and temp1 temp2) + (inst bltz temp1 DO-OVERFLOW) (inst sra temp1 x n-fixnum-tag-bits) + (inst move res temp) + (lisp-return lra lip :offset 2) + + DO-OVERFLOW + ;; We did overflow, so do the bignum version + (inst sra temp2 y n-fixnum-tag-bits) + (inst subu temp temp1 temp2) + (with-fixed-allocation (res pa-flag temp2 bignum-widetag + (1+ bignum-digits-offset) nil) + (storew temp res bignum-digits-offset other-pointer-lowtag)) + (lisp-return lra lip :offset 2) - ;; DO-STATIC-FUN + DO-STATIC-FUN (inst lw lip null-tn (static-fun-offset 'two-arg--)) (inst li nargs (fixnumize 2)) (move ocfp cfp-tn) (inst j lip) - (move cfp-tn csp-tn t) - - DO-SUB - (inst sra temp2 y n-fixnum-tag-bits) - (inst subu temp temp1 temp2) - ;; check for overflow - (inst sra temp1 temp (- n-word-bits n-lowtag-bits)) - (inst beq temp1 RETURN) - (inst nor temp1 temp1) - (inst beq temp1 RETURN) - (inst nop) - (with-fixed-allocation (res pa-flag temp2 bignum-widetag (1+ bignum-digits-offset)) - (storew temp res bignum-digits-offset other-pointer-lowtag)) - (inst b DONE) - (inst nop) + (move cfp-tn csp-tn t)) - RETURN - (inst sll res temp n-fixnum-tag-bits) - DONE) + +;;;; Multiplication (define-assembly-routine (generic-* @@ -116,6 +138,7 @@ (:temp lo non-descriptor-reg nl1-offset) (:temp hi non-descriptor-reg nl2-offset) (:temp pa-flag non-descriptor-reg nl4-offset) + (:temp lra descriptor-reg lra-offset) (:temp lip interior-reg lip-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) @@ -132,10 +155,13 @@ ;; Check to see if the result will fit in a fixnum. (I.e. the high word ;; is just 32 copies of the sign bit of the low word). (inst sra temp res 31) - (inst beq temp hi DONE) + (inst bne temp hi DO-BIGNUM) + (inst srl lo res n-fixnum-tag-bits) + (lisp-return lra lip :offset 2) + + DO-BIGNUM ;; Shift the double word hi:res down two bits into hi:low to get rid of the ;; fixnum tag. - (inst srl lo res n-fixnum-tag-bits) (inst sll temp hi (- n-word-bits n-fixnum-tag-bits)) (inst or lo temp) (inst sra hi n-fixnum-tag-bits) @@ -152,8 +178,8 @@ (pseudo-atomic (pa-flag :extra (pad-data-block (+ 1 bignum-digits-offset))) (inst or res alloc-tn other-pointer-lowtag) (storew temp res 0 other-pointer-lowtag)) - (inst b DONE) (storew lo res bignum-digits-offset other-pointer-lowtag) + (lisp-return lra lip :offset 2) TWO-WORDS (pseudo-atomic (pa-flag :extra (pad-data-block (+ 2 bignum-digits-offset))) @@ -161,24 +187,116 @@ (storew temp res 0 other-pointer-lowtag)) (storew lo res bignum-digits-offset other-pointer-lowtag) - (inst b DONE) (storew hi res (1+ bignum-digits-offset) other-pointer-lowtag) + (lisp-return lra lip :offset 2) DO-STATIC-FUN (inst lw lip null-tn (static-fun-offset 'two-arg-*)) (inst li nargs (fixnumize 2)) (move ocfp cfp-tn) (inst j lip) - (move cfp-tn csp-tn t) + (move cfp-tn csp-tn t)) + + +(macrolet + ((frob (name note cost type sc signed-p) + `(define-assembly-routine (,name + (:note ,note) + (:cost ,cost) + (:translate *) + (:policy :fast-safe) + (:arg-types ,type ,type) + (:result-types ,type)) + ((:arg x ,sc nl0-offset) + (:arg y ,sc nl1-offset) + (:res res ,sc nl0-offset)) + ,@(when (eq type 'tagged-num) + `((inst sra x 2))) + (inst ,(if signed-p 'mult 'multu) x y) + (inst mflo res)))) + (frob unsigned-* "unsigned *" 40 unsigned-num unsigned-reg nil) + (frob signed-* "signed *" 41 signed-num signed-reg t) + (frob fixnum-* "fixnum *" 30 tagged-num any-reg t)) + - DONE) + +;;;; Division. + + +(define-assembly-routine (positive-fixnum-truncate + (:note "unsigned fixnum truncate") + (:cost 45) + (:translate truncate) + (:policy :fast-safe) + (:arg-types positive-fixnum positive-fixnum) + (:result-types positive-fixnum positive-fixnum)) + ((:arg dividend any-reg nl0-offset) + (:arg divisor any-reg nl1-offset) + + (:res quo any-reg nl2-offset) + (:res rem any-reg nl3-offset)) + (let ((error (generate-error-code nil division-by-zero-error + dividend divisor))) + (inst beq divisor error) + (inst nop)) + + (inst divu dividend divisor) + (inst mflo quo) + (inst mfhi rem) + (inst sll quo 2)) + + +(define-assembly-routine (fixnum-truncate + (:note "fixnum truncate") + (:cost 50) + (:policy :fast-safe) + (:translate truncate) + (:arg-types tagged-num tagged-num) + (:result-types tagged-num tagged-num)) + ((:arg dividend any-reg nl0-offset) + (:arg divisor any-reg nl1-offset) + + (:res quo any-reg nl2-offset) + (:res rem any-reg nl3-offset)) + (let ((error (generate-error-code nil division-by-zero-error + dividend divisor))) + (inst beq divisor error) + (inst nop)) + + (inst div dividend divisor) + (inst mflo quo) + (inst mfhi rem) + (inst sll quo 2)) + + +(define-assembly-routine (signed-truncate + (:note "(signed-byte 32) truncate") + (:cost 60) + (:policy :fast-safe) + (:translate truncate) + (:arg-types signed-num signed-num) + (:result-types signed-num signed-num)) + + ((:arg dividend signed-reg nl0-offset) + (:arg divisor signed-reg nl1-offset) + + (:res quo signed-reg nl2-offset) + (:res rem signed-reg nl3-offset)) + (let ((error (generate-error-code nil division-by-zero-error + dividend divisor))) + (inst beq divisor error) + (inst nop)) + + (inst div dividend divisor) + (inst mflo quo) + (inst mfhi rem)) ;;;; Comparison routines. (macrolet - ((define-cond-assem-rtn (name translate static-fn cmp) + ((define-cond-assem-rtn (name translate static-fn cmp not-p) `(define-assembly-routine (,name (:cost 10) (:return-style :full-call) @@ -191,30 +309,33 @@ (:res res descriptor-reg a0-offset) (:temp temp non-descriptor-reg nl0-offset) + (:temp lra descriptor-reg lra-offset) (:temp lip interior-reg lip-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) (inst or temp x y) (inst and temp fixnum-tag-mask) - (inst beq temp DO-COMPARE) + (inst bne temp DO-STATIC-FUN) ,cmp - ;; DO-STATIC-FUN + (inst ,(if not-p 'beq 'bne) temp DONE) + (move res null-tn t) + (load-symbol res t) + + DONE + (lisp-return lra lip :offset 2) + + DO-STATIC-FUN (inst lw lip null-tn (static-fun-offset ',static-fn)) (inst li nargs (fixnumize 2)) (move ocfp cfp-tn) (inst j lip) - (move cfp-tn csp-tn t) - - DO-COMPARE - (inst beq temp DONE) - (move res null-tn t) - (load-symbol res t) - - DONE))) + (move cfp-tn csp-tn t)))) - (define-cond-assem-rtn generic-< < two-arg-< (inst slt temp x y)) - (define-cond-assem-rtn generic-> > two-arg-> (inst slt temp y x))) + (define-cond-assem-rtn generic-< < two-arg-< (inst slt temp x y) t) + (define-cond-assem-rtn generic-<= <= two-arg-<= (inst slt temp x y) nil) + (define-cond-assem-rtn generic-> > two-arg-> (inst slt temp y x) t) + (define-cond-assem-rtn generic->= >= two-arg->= (inst slt temp y x) nil)) (define-assembly-routine (generic-eql @@ -229,30 +350,31 @@ (:res res descriptor-reg a0-offset) (:temp temp non-descriptor-reg nl0-offset) + (:temp lra descriptor-reg lra-offset) (:temp lip interior-reg lip-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) (inst beq x y RETURN-T) (inst or temp x y) (inst and temp fixnum-tag-mask) - (inst beq temp RETURN) + (inst bne temp DO-STATIC-FUN) (inst nop) - ;; DO-STATIC-FUN - (inst lw lip null-tn (static-fun-offset 'eql)) - (inst li nargs (fixnumize 2)) - (move ocfp cfp-tn) - (inst j lip) - (move cfp-tn csp-tn t) - - RETURN (inst bne x y DONE) (move res null-tn t) RETURN-T (load-symbol res t) - DONE) + DONE + (lisp-return lra lip :offset 2) + + DO-STATIC-FUN + (inst lw lip null-tn (static-fun-offset 'eql)) + (inst li nargs (fixnumize 2)) + (move ocfp cfp-tn) + (inst j lip) + (move cfp-tn csp-tn t)) (define-assembly-routine (generic-= @@ -267,27 +389,28 @@ (:res res descriptor-reg a0-offset) (:temp temp non-descriptor-reg nl0-offset) + (:temp lra descriptor-reg lra-offset) (:temp lip interior-reg lip-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) (inst or temp x y) (inst and temp fixnum-tag-mask) - (inst beq temp RETURN) + (inst bne temp DO-STATIC-FUN) (inst nop) - ;; DO-STATIC-FUN - (inst lw lip null-tn (static-fun-offset 'two-arg-=)) - (inst li nargs (fixnumize 2)) - (move ocfp cfp-tn) - (inst j lip) - (move cfp-tn csp-tn t) - - RETURN (inst bne x y DONE) (move res null-tn t) (load-symbol res t) - DONE) + DONE + (lisp-return lra lip :offset 2) + + DO-STATIC-FUN + (inst lw lip null-tn (static-fun-offset 'two-arg-=)) + (inst li nargs (fixnumize 2)) + (move ocfp cfp-tn) + (inst j lip) + (move cfp-tn csp-tn t)) (define-assembly-routine (generic-/= @@ -302,24 +425,25 @@ (:res res descriptor-reg a0-offset) (:temp temp non-descriptor-reg nl0-offset) + (:temp lra descriptor-reg lra-offset) (:temp lip interior-reg lip-offset) (:temp nargs any-reg nargs-offset) (:temp ocfp any-reg ocfp-offset)) (inst or temp x y) (inst and temp fixnum-tag-mask) - (inst beq temp RETURN) + (inst bne temp DO-STATIC-FUN) (inst nop) - ;; DO-STATIC-FUN - (inst lw lip null-tn (static-fun-offset 'two-arg-/=)) - (inst li nargs (fixnumize 2)) - (move ocfp cfp-tn) - (inst j lip) - (move cfp-tn csp-tn t) - - RETURN (inst beq x y DONE) (move res null-tn t) (load-symbol res t) - DONE) + DONE + (lisp-return lra lip :offset 2) + + DO-STATIC-FUN + (inst lw lip null-tn (static-fun-offset 'two-arg-/=)) + (inst li nargs (fixnumize 2)) + (move ocfp cfp-tn) + (inst j lip) + (move cfp-tn csp-tn t))