Changeset 305

Timestamp:

Jan 17, 2004, 7:30:32 PM (21 years ago)

Author:

Gary Byers

Message:

Handle negative bytespecs; don't define synonyms where they may be involved.
Open-code INTEGERP.

File:

• trunk/ccl/compiler/optimizers.lisp (modified) (4 diffs)

trunk/ccl/compiler/optimizers.lisp

@@ -453 +453 @@
 
 (define-compiler-macro dpb (&whole call &environment env value byte integer)
-  (cond ((integerp byte)
+  (cond ((and (integerp byte) (> byte 0))
          (if (integerp value)
            `(logior ,(dpb value byte 0) (logand ,(lognot byte) ,integer))
@@ -496 +496 @@
 
 (define-compiler-macro ldb (&whole call &environment env byte integer)
-   (cond ((integerp byte)
+   (cond ((and (integerp byte) (> byte 0))
           (let ((size (byte-size byte))
                 (position (byte-position byte)))
@@ -1210 +1210 @@
 (defsynonym rest cdr)
 
-(defsynonym byte-size logcount)
-(defsynonym ldb-test logtest)
-(defsynonym mask-field logand)
 
 (defsynonym functionp lfunp)
@@ -1544 +1541 @@
   `(eq ppc32::subtag-lock (typecode ,lock)))
 
-
+(define-compiler-macro integerp (thing)
+  (let* ((typecode (gensym)))
+    `(let* ((,typecode (typecode ,thing)))
+      (declare (fixnum ,typecode))
+      (or (= ,typecode ppc32::tag-fixnum)
+          (= ,typecode ppc32::subtag-bignum)))))
+