Changeset 14738

Timestamp:

Apr 27, 2011, 3:51:17 PM (14 years ago)

Author:

Gary Byers

Message:

ACODE-OPTIMIZE-NUMCMP.

File:

• trunk/source/compiler/nx2.lisp (modified) (1 diff)

trunk/source/compiler/nx2.lisp

@@ -713 +713 @@
                                         (caddr unwrapped))
                   t))))))))
-                 
+
+(defun acode-optimize-numcmp (seg vreg xfer cc num1 num2 trust-decls &optional (result-type 'boolean))
+  (declare (ignorable result-type))
+  (cond ((and (acode-form-typep num1 *nx-target-fixnum-type* trust-decls)
+              (acode-form-typep num2 *nx-target-fixnum-type* trust-decls))
+         (backend-use-operator (%nx1-operator %i<>) seg vreg xfer cc num1 num2)
+         t)
+        ((and (acode-form-typep num1 *nx-target-natural-type* trust-decls)
+              (acode-form-typep num2 *nx-target-natural-type* trust-decls))
+         (backend-use-operator (%nx1-operator %natural<>) seg vreg xfer cc num1 num2)
+         t)
+        ((and (acode-form-typep num1 'double-float trust-decls)
+              (acode-form-typep num2 'double-float trust-decls))
+         (backend-use-operator (%nx1-operator double-float-compare) seg vreg xfer cc num1 num2)
+         t)
+        ((and (acode-form-typep num1 'single-float trust-decls)
+              (acode-form-typep num2 'single-float trust-decls))
+         (backend-use-operator (%nx1-operator short-float-compare) seg vreg xfer cc num1 num2)
+         t)))