Re: Bug: incorrect results calculated for DPB on AMD64

Stas Boukarev <[email protected]> Thu, 11 Dec 2025 18:49:19 +0300

Newsgroups	gmane.lisp.steel-bank.devel
Message-ID	<CAF63=13obYxXYvmJvrnYD+-Szu_nOjQFVtx80AwR9=tqmCTL2A@mail.gmail.com>

Fixed. Thanks.

On Thu, Dec 11, 2025 at 12:34 PM Eric Marsden via Sbcl-devel
<[email protected]> wrote:
>
> Hi,
>
> * (lisp-implementation-version)
> "2.5.11.75-ef0ab5b6f"
> * (defun foo (a)
>      (declare (type (integer -1213569 8256103) a))
>      (dpb (dpb a (byte 0 0) -79) (byte 1 0) a))
>
> FOO
> * (defun bar (a)
>      (dpb (dpb a (byte 0 0) -79) (byte 1 0) a))
>
> BAR
> * (- (foo 5619207) (bar 5619207))
> -5619280   ;; expecting 0
>
>
>
> _______________________________________________
> Sbcl-devel mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/sbcl-devel


_______________________________________________
Sbcl-devel mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/sbcl-devel