X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fsparc%2Farith.lisp;h=17af5dd5c82d3bc91acdcbbb1fc7a59249a05c2a;hb=acce826c593a188b231b7b7918c752bda21d0201;hp=cadcdabd6f4f1c469bff8ea9d0ba2b10a6bf8342;hpb=ea775867d48327bf1179eb570263427f28083880;p=sbcl.git diff --git a/src/compiler/sparc/arith.lisp b/src/compiler/sparc/arith.lisp index cadcdab..17af5dd 100644 --- a/src/compiler/sparc/arith.lisp +++ b/src/compiler/sparc/arith.lisp @@ -159,21 +159,20 @@ (define-vop (fast-logand/signed-unsigned=>unsigned fast-logand/unsigned=>unsigned) - (:args (x :target r :scs (signed-reg)) - (y :scs (unsigned-reg unsigned-stack))) + (:args (x :scs (signed-reg)) + (y :target r :scs (unsigned-reg))) (:arg-types signed-num unsigned-num)) (define-vop (fast-logand/unsigned-signed=>unsigned fast-logand/unsigned=>unsigned) (:args (x :target r :scs (unsigned-reg)) - (y :scs (signed-reg signed-stack))) + (y :scs (signed-reg))) (:arg-types unsigned-num signed-num)) ;;; Special case fixnum + and - that trap on overflow. Useful when we ;;; don't know that the output type is a fixnum. -;;; I (toy@rtp.ericsson.se) took these out. They don't seem to be -;;; used anywhere at all. +;;; I (Raymond Toy) took these out. They don't seem to be used anywhere at all. #+nil (progn (define-vop (+/fixnum fast-+/fixnum=>fixnum) @@ -640,14 +639,6 @@ (:affected) (:policy :fast-safe)) -(deftype integer-with-a-bite-out (s bite) - (cond ((eq s '*) 'integer) - ((and (integerp s) (> s 1)) - (let ((bound (ash 1 (1- s)))) - `(integer ,(- bound) ,(- bound bite 1)))) - (t - (error "Bad size specified for SIGNED-BYTE type specifier: ~S." s)))) - (define-vop (fast-conditional/fixnum fast-conditional) (:args (x :scs (any-reg zero)) (y :scs (any-reg zero)))