Changeset 15283

Timestamp:

Mar 28, 2012, 1:59:48 PM (13 years ago)

Author:

Gary Byers

Message:

Saner, simpler %SET-Z-FLAG-IF-U64-FITS-IN-FIXNUM vinsn.

File:

• trunk/source/compiler/X86/X8664/x8664-vinsns.lisp (modified) (1 diff)

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

@@ -1294 +1294 @@
 
 (define-x8664-vinsn %set-z-flag-if-u64-fits-in-fixnum (((dest :imm))
-                                                       ((src :u64))
-                                                       ((temp :u64)))
-  (movq (:%q src) (:%q temp))
-  (shlq (:$ub (1+ x8664::fixnumshift)) (:%q temp))
-  (movq (:%q temp) (:%q dest))          ; tagged as an even fixnum
-  (shrq (:$ub (1+ x8664::fixnumshift)) (:%q temp))
-  (shrq (:%q dest))
-  (cmpq (:%q src) (:%q temp))
-  :done)
+                                                       ((src :u64)))
+  (movq (:$q (ash #xf 60)) (:%q dest))
+  (testq (:%q dest) (:%q src))
+  (leaq (:@ (:%q src) x8664::fixnumone) (:% dest)))