Index: /trunk/ccl/compiler/X86/X8664/x8664-vinsns.lisp
===================================================================
--- /trunk/ccl/compiler/X86/X8664/x8664-vinsns.lisp	(revision 5620)
+++ /trunk/ccl/compiler/X86/X8664/x8664-vinsns.lisp	(revision 5621)
@@ -1306,7 +1306,7 @@
               
 
-(define-x8664-vinsn double-float+-2 (((result :single-float))
-				     ((x :single-float)
-				      (y :single-float)))
+(define-x8664-vinsn double-float+-2 (((result :double-float))
+				     ((x :double-float)
+				      (y :double-float)))
   ((:pred =
           (:apply %hard-regspec-value result)
@@ -1330,7 +1330,7 @@
 
 ;;; Caller guarantees (not (eq y result))
-(define-x8664-vinsn double-float--2 (((result :single-float))
-				     ((x :single-float)
-				      (y :single-float)))
+(define-x8664-vinsn double-float--2 (((result :double-float))
+				     ((x :double-float)
+				      (y :double-float)))
   ((:not (:pred = (:apply %hard-regspec-value result)
                 (:apply %hard-regspec-value x)))
@@ -1338,7 +1338,7 @@
   (subsd (:%xmm y) (:%xmm result)))
 
-(define-x8664-vinsn double-float*-2 (((result :single-float))
-				     ((x :single-float)
-                                      (y :single-float)))
+(define-x8664-vinsn double-float*-2 (((result :double-float))
+				     ((x :double-float)
+                                      (y :double-float)))
   ((:pred =
           (:apply %hard-regspec-value result)