0.8.3.62:
[sbcl.git] / src / compiler / sparc / float.lisp
index f472a82..c6f3de7 100644 (file)
   (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))
                   ,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))