Changeset 15347

Timestamp:

Apr 28, 2012, 3:43:24 AM (13 years ago)

Author:

Gary Byers

Message:

Remove unused FIXNUM-SUBTRACT-FROM vinsn.
In FIXNUM-SUB2, avoid copies/use of temp reg unless necessary.

Location:

trunk/source/compiler/X86

Files:

• X8632/x8632-vinsns.lisp (modified) (2 diffs)
• X8664/x8664-vinsns.lisp (modified) (2 diffs)

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

@@ -1054 +1054 @@
   (movl (:$self 0) (:% x8632::fn)))
 
-(define-x8632-vinsn fixnum-subtract-from (((dest t)
-                                           (y t))
-                                          ((y t)
-                                           (x t)))
-  (subl (:%l y) (:%l x)))
 
 (define-x8632-vinsn %ilognot (((dest :imm)
@@ -1296 +1291 @@
                                    (y :imm))
                                   ((temp :imm)))
-  (movl (:%l x) (:%l temp))
-  (subl (:%l y) (:%l temp))
-  (movl (:%l temp) (:%l dest)))
+  ((:pred = (:apply %hard-regspec-value x) (:apply %hard-regspec-value dest))
+   (subl (:%l y) (:%l dest)))
+  ((:not (:pred = (:apply %hard-regspec-value x) (:apply %hard-regspec-value dest)))
+   ((:pred = (:apply %hard-regspec-value y) (:apply %hard-regspec-value dest)) 
+    (movl (:%l x) (:%l temp))
+    (subl (:%l y) (:%l temp))
+    (movl (:%l temp) (:%l dest)))
+   ((:not (:pred = (:apply %hard-regspec-value y) (:apply %hard-regspec-value dest)))
+    (movl (:%l x) (:%l dest))
+    (subl (:%l y) (:%l dest)))))
 
 (define-x8632-vinsn fixnum-add3 (((dest :imm))

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

@@ -1201 +1201 @@
   (leaq (:@ (:^ entry) (:% x8664::rip)) (:%q x8664::fn)))
 
-(define-x8664-vinsn fixnum-subtract-from (((dest t)
-                                           (y t))
-                                          ((y t)
-                                           (x t)))
-  (subq (:%q y) (:%q x)))
 
 (define-x8664-vinsn %logand-c (((dest t)
@@ -1429 +1424 @@
                                    (y :imm))
                                   ((temp :imm)))
-  (movq (:%q x) (:%q temp))
-  (subq (:%q y) (:%q temp))
-  (movq (:%q temp) (:%q dest)))
+  ((:pred = (:apply %hard-regspec-value x) (:apply %hard-regspec-value dest))
+   (subq (:%q y) (:%q dest)))
+  ((:not (:pred = (:apply %hard-regspec-value x) (:apply %hard-regspec-value dest)))
+   ((:pred = (:apply %hard-regspec-value y) (:apply %hard-regspec-value dest)) 
+    (movq (:%q x) (:%q temp))
+    (subq (:%q y) (:%q temp))
+    (movq (:%q temp) (:%q dest)))
+   ((:not (:pred = (:apply %hard-regspec-value y) (:apply %hard-regspec-value dest)))
+    (movq (:%q x) (:%q dest))
+    (subq (:%q y) (:%q dest)))))