X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fsparc%2Ffloat.lisp;h=c6f3de7d8cba255dbe74d773a09d4989edac23e1;hb=57e21c4b62e8c1a1ee7ef59ed2abb0c864fb06bc;hp=f472a82eb596debe0eb8ebb1f982e7b30e023664;hpb=071afc96281a1dac1938268b1cf35d7e92c7e2c0;p=sbcl.git diff --git a/src/compiler/sparc/float.lisp b/src/compiler/sparc/float.lisp index f472a82..c6f3de7 100644 --- a/src/compiler/sparc/float.lisp +++ b/src/compiler/sparc/float.lisp @@ -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))