X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fsparc%2Ffloat.lisp;h=c6f3de7d8cba255dbe74d773a09d4989edac23e1;hb=35b5e97163c45e89659dbd75c91d653b49c758d3;hp=329d8be027873b99a9ec22483cecbacbd76bce0b;hpb=9728093863d1ed201719d1f7ef61b9df29bb1d44;p=sbcl.git diff --git a/src/compiler/sparc/float.lisp b/src/compiler/sparc/float.lisp index 329d8be..c6f3de7 100644 --- a/src/compiler/sparc/float.lisp +++ b/src/compiler/sparc/float.lisp @@ -118,7 +118,7 @@ (defun move-long-reg (dst src) (cond ((member :sparc-v9 *backend-subfeatures*) - (inst fmovq dst src) + (inst fmovq dst src)) (t (dotimes (i 4) (let ((dst (make-random-tn :kind :normal @@ -127,7 +127,7 @@ (src (make-random-tn :kind :normal :sc (sc-or-lose 'single-reg) :offset (+ i (tn-offset src))))) - (inst fmovs dst src))))))) + (inst fmovs dst src)))))) (macrolet ((frob (vop sc format) `(progn @@ -2530,27 +2530,27 @@ (multiple-value-bind (definitely-< definitely->=) (ir1-transform-<-helper x y) (cond (definitely-< - (continuation-type y)) + (lvar-type y)) (definitely->= - (continuation-type x)) + (lvar-type x)) (t - (make-canonical-union-type (list (continuation-type x) - (continuation-type y))))))) + (make-canonical-union-type (list (lvar-type x) + (lvar-type y))))))) (defoptimizer (min derive-type) ((x y)) (multiple-value-bind (definitely-< definitely->=) (ir1-transform-<-helper x y) (cond (definitely-< - (continuation-type x)) + (lvar-type x)) (definitely->= - (continuation-type y)) + (lvar-type y)) (t - (make-canonical-union-type (list (continuation-type x) - (continuation-type y))))))) + (make-canonical-union-type (list (lvar-type x) + (lvar-type y))))))) (deftransform max ((x y) (number number) *) - (let ((x-type (continuation-type x)) - (y-type (continuation-type y)) + (let ((x-type (lvar-type x)) + (y-type (lvar-type y)) (signed (specifier-type '(signed-byte #.sb!vm:n-word-bits))) (unsigned (specifier-type '(unsigned-byte #.sb!vm:n-word-bits))) (d-float (specifier-type 'double-float)) @@ -2579,8 +2579,8 @@ ,arg1 ,arg2))))))) (deftransform min ((x y) (real real) *) - (let ((x-type (continuation-type x)) - (y-type (continuation-type y)) + (let ((x-type (lvar-type x)) + (y-type (lvar-type y)) (signed (specifier-type '(signed-byte #.sb!vm:n-word-bits))) (unsigned (specifier-type '(unsigned-byte #.sb!vm:n-word-bits))) (d-float (specifier-type 'double-float))