0.9.11.24:
authorNathan Froyd <froydnj@cs.rice.edu>
Sat, 8 Apr 2006 02:06:26 +0000 (02:06 +0000)
committerNathan Froyd <froydnj@cs.rice.edu>
Sat, 8 Apr 2006 02:06:26 +0000 (02:06 +0000)
Fix LOGBITP bug reported by James Knight, sbcl-devel 24 March 2006,
  AVER: "(EQ SB-NAME (SC-SB (TN-SC TN))) 'REGISTERS)".
... *sigh* one of these days, all the x86 LOGBITP bugs will be gone.

src/compiler/x86/arith.lisp
tests/compiler.pure.lisp
version.lisp-expr

index 3910de9..7670970 100644 (file)
     (inst jmp (if not-p :nc :c) target)))
 
 (define-vop (fast-logbitp/signed fast-conditional/signed)
+  (:args (x :scs (signed-reg signed-stack))
+         (y :scs (signed-reg)))
   (:translate %logbitp)
   (:generator 6
     (inst bt x y)
     (inst jmp (if not-p :nc :c) target)))
 
 (define-vop (fast-logbitp/unsigned fast-conditional/unsigned)
+  (:args (x :scs (unsigned-reg unsigned-stack))
+         (y :scs (unsigned-reg)))
   (:translate %logbitp)
   (:generator 6
     (inst bt x y)
index ac32148..0bfef0e 100644 (file)
 ;; Reported by James Knight
 ;; Subject: [Sbcl-devel] AVER: "(EQ (SB-NAME (SC-SB (TN-SC TN))) 'REGISTERS)"
 ;; Date: Fri, 24 Mar 2006 19:30:00 -0500
-(with-test (:name :logbitp-vop :fails-on :x86)
+(with-test (:name :logbitp-vop)
   (compile nil
            '(lambda (days shift)
              (declare (type fixnum shift days))
index 65d7f01..6b4cee7 100644 (file)
@@ -17,4 +17,4 @@
 ;;; checkins which aren't released. (And occasionally for internal
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
-"0.9.11.23"
+"0.9.11.24"