Changeset 11353

Timestamp:

Nov 11, 2008, 5:55:53 PM (12 years ago)

Author:

gb

Message:

In EQUAL: if we have two non-EQ lists, terminate if either is NIL.
[(EQUAL '(NIL . NIL) NIL) was erroneously returning T.]

File:

• trunk/source/level-0/X86/X8632/x8632-pred.lisp (modified) (1 diff)

trunk/source/level-0/X86/X8632/x8632-pred.lisp

@@ -132 +132 @@
   (single-value-return)
   @cons
+  ;; If either X or Y is NIL, lose.
+  (cmp-reg-to-nil x)
+  (je @lose)
+  (cmp-reg-to-nil y)
+  (je @lose)
   ;; Check to see if the CARs are EQ.  If so, we can avoid saving
   ;; context, and can just tail call ourselves on the CDRs.