Changeset 5196

Timestamp:

Sep 11, 2006, 8:31:15 PM (18 years ago)

Author:

Gary Byers

Message:

x862-explicit-non-fixnum-type-p looks for intersection.

File:

• trunk/ccl/compiler/X86/x862.lisp (modified) (1 diff)

trunk/ccl/compiler/X86/x862.lisp

@@ -6241 +6241 @@
 ;;; Return T if form is declare to be something that couldn't be a fixnum.
 (defun x862-explicit-non-fixnum-type-p (form)
-  (or (x862-form-typep form 'float)
-      (x862-form-typep form 'complex)
-      (x862-form-typep form 'ratio)
-      (x862-form-typep form 'bignum)))
+  (let* ((type (x862-form-type form))
+         (target-fixnum-type (nx-target-type 'fixnum)))
+    (and (not (subtypep type target-fixnum-type))
+         (not (subtypep target-fixnum-type type)))))
 
 (defun x862-inline-add2 (seg vreg xfer form1 form2)