X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fx86%2Ftype-vops.lisp;h=5c3fb79e707beb239ee307fc8462a0d49d7d42b9;hb=03df95052f395c205d7e5028e06bc043ee60125d;hp=36f49a60123126233e9e0536bd3c9ee70a6b6e3d;hpb=faa0ea92986f4c2b361c9378c69a540e42a70c62;p=sbcl.git

diff --git a/src/compiler/x86/type-vops.lisp b/src/compiler/x86/type-vops.lisp
index 36f49a6..5c3fb79 100644
--- a/src/compiler/x86/type-vops.lisp
+++ b/src/compiler/x86/type-vops.lisp
@@ -145,7 +145,7 @@
 
 (defmacro !define-type-vops (pred-name check-name ptype error-code
 			     (&rest type-codes)
-			     &key (variant nil variant-p))
+			     &key (variant nil variant-p) &allow-other-keys)
   ;; KLUDGE: UGH. Why do we need this eval? Can't we put this in the
   ;; expansion?
   (let* ((cost (cost-to-test-types (mapcar #'eval type-codes)))
@@ -170,6 +170,14 @@
 
 ;;;; other integer ranges
 
+(define-vop (fixnump/unsigned-byte-32 simple-type-predicate)
+  (:args (value :scs (unsigned-reg)))
+  (:arg-types unsigned-num)
+  (:translate fixnump)
+  (:generator 5
+    (inst cmp value #.sb!xc:most-positive-fixnum)
+    (inst jmp (if not-p :a :be) target)))
+
 ;;; A (SIGNED-BYTE 32) can be represented with either fixnum or a bignum with
 ;;; exactly one digit.