Changeset 10017

Timestamp:

01/09/04 04:20:59 (5 years ago)

Author:

toy

Message:

The EXPT derive-type optimizer was incorrectly deriving the type for
(expt <rational> <rational>). The result can be a rational, a float,
or a complex single-float.

Files:

• trunk/src/compiler/float-tran.lisp (modified) (3 diffs)

trunk/src/compiler/float-tran.lisp

@@ -23 +23 @@
 (defknown %double-float (real) double-float (movable foldable flushable))
 
-(deftransform float ((n &optional f) (* &optional single-float) *
-                     :when :both)
+(deftransform float ((n prototype) (* single-float) * :when :both)
   '(%single-float n))
 
-(deftransform float ((n f) (* double-float) * :when :both)
+(deftransform float ((n prototype) (* double-float) * :when :both)
   '(%double-float n))
+
+(deftransform float ((n) *)
+  `(if (floatp n) n (%single-float n)))
 
 (deftransform %single-float ((n) (single-float) * :when :both)
@@ -1262 +1264 @@
                  '(complex (- (realpart w) z) (imagpart w)))
                (deftransform - ((z w) (real (complex ,type)) *)
-                 '(complex (- z (realpart w)) (- (imagpart w))))
+                 ;; The 0 for the imaginary part is needed so we get
+                 ;; the correct signed zero.
+                 '(complex (- z (realpart w)) (- 0 (imagpart w))))
                ;; Multiply and divide two complex numbers
                (deftransform * ((x y) ((complex ,type) (complex ,type)) *)
@@ -1338 +1342 @@
          (deftransform = ((w z) (real (complex ,type)) *)
            '(and (= (realpart z) w) (zerop (imagpart z))))
+         (deftransform - ((z w) (real (complex ,type)) *)
+           ;; The 0 for the imaginary part is needed so we get
+           ;; the correct signed zero.
+           '(complex (- z (realpart w)) (- 0 (imagpart w))))
          )))