Changeset 14776

Timestamp:

May 2, 2011, 4:08:22 PM (14 years ago)

Author:

Gary Byers

Message:

Floating-point negation in the x86 backends.

Location:

trunk/source/compiler/X86

Files:

• X8632/x8632-vinsns.lisp (modified) (1 diff)
• X8664/x8664-vinsns.lisp (modified) (1 diff)
• x862.lisp (modified) (1 diff)

trunk/source/compiler/X86/X8632/x8632-vinsns.lisp

@@ -4137 +4137 @@
 )
 
+(define-x8632-vinsn double-float-negate (((reg :double-float))
+                                         ((reg :double-float)))
+  (pxor (:@ (:^ :const) (:% x8632::fn)) (:%xmm reg))
+  (:uuo-section)
+  (:align 4)
+  :const
+  (:long 0)
+  (:long #x-80000000)
+  (:long 0)
+  (:long 0))
+
+(define-x8632-vinsn single-float-negate (((reg :single-float))
+                                         ((reg :single-float)))
+  (pxor (:@ (:^ :const) (:% x8632::fn)) (:%xmm reg))
+  (:uuo-section)
+  (:align 4)
+  :const
+  (:long #x80000000)
+  (:long 0)
+  (:long 0)
+  (:long 0))
+
 (queue-fixup
  (fixup-x86-vinsn-templates

trunk/source/compiler/X86/X8664/x8664-vinsns.lisp

@@ -4557 +4557 @@
                                      ()))
 
+(define-x8664-vinsn double-float-negate (((reg :double-float))
+                                         ((reg :double-float)))
+  (pxor (:@ (:^ :const) (:% x8664::fn)) (:%xmm reg))
+  (:uuo-section)
+  (:align 4)
+  :const
+  (:long 0)
+  (:long #x-80000000)
+  (:long 0)
+  (:long 0))
+
+(define-x8664-vinsn single-float-negate (((reg :single-float))
+                                         ((reg :single-float)))
+  (pxor (:@ (:^ :const) (:% x8664::fn)) (:%xmm reg))
+  (:uuo-section)
+  (:align 4)
+  :const
+  (:long #x80000000)
+  (:long 0)
+  (:long 0)
+  (:long 0))
+
 (queue-fixup
  (fixup-x86-vinsn-templates

trunk/source/compiler/X86/x862.lisp

@@ -7351 +7351 @@
 
 (defx862 x862-minus1 minus1 (seg vreg xfer form)
-  (x862-unary-builtin seg vreg xfer '%negate form))
+  (or (acode-optimize-minus1 seg vreg xfer form *x862-trust-declarations*)
+      (x862-unary-builtin seg vreg xfer '%negate form)))
+
+(defx862 x862-%double-float-negate %double-float-negate (seg vreg xfer form)
+  (if (and vreg
+           (= (hard-regspec-class vreg) hard-reg-class-fpr)
+           (= (get-regspec-mode vreg) hard-reg-class-fpr-mode-double))
+    (progn
+      (x862-one-targeted-reg-form seg form vreg)
+      (! double-float-negate vreg))
+    (with-fp-target () (r1 :double-float)
+      (setq r1 (x862-one-untargeted-reg-form seg form r1))
+      (! double-float-negate r1)
+      (ensuring-node-target (target vreg)
+        (x862-copy-register seg target r1))))
+  (^))
+
+(defx862 x862-%single-float-negate %single-float-negate (seg vreg xfer form)
+  (if (and vreg
+           (= (hard-regspec-class vreg) hard-reg-class-fpr)
+           (= (get-regspec-mode vreg) hard-reg-class-fpr-mode-single))
+    (progn
+      (x862-one-targeted-reg-form seg form vreg)
+      (! single-float-negate vreg))
+    (with-fp-target () (r1 :single-float)
+      (setq r1 (x862-one-untargeted-reg-form seg form r1))
+      (! single-float-negate r1)
+      (ensuring-node-target (target vreg)
+        (x862-copy-register seg target r1))))
+  (^))
 
 ;;; Return T if form is declare to be something that couldn't be a fixnum.