Re: BUG: incorrect results with notinline MIN on AMD64
Eric Marsden via Sbcl-devel <[email protected]>
| Newsgroups | gmane.lisp.steel-bank.devel |
|---|---|
| Message-ID | <[email protected]> |
Indeed, it is fixed in 2.5.11.37-ae3dc4896. On 12/5/25 18:44, Stas Boukarev wrote: > This might have been already fixed. > > > On Fri, Dec 5, 2025 at 8:42 PM Eric Marsden via Sbcl-devel > <[email protected]> wrote: >> Hi, >> >> This is from random-integer testing on AMD64. >> >> * (lisp-implementation-version) >> "2.5.11.34-373278e4e" >> * (defun foo (a b) >> (1+ >> (ash a >> (min 63 >> (deposit-field -10 (byte 15 2) >> (expt (if (< a b) a a) 0)))))) >> FOO >> * (defun bar (a b) ; identical except for declaration >> (declare (notinline min)) >> (1+ >> (ash a >> (min 63 >> (deposit-field -10 (byte 15 2) >> (expt (if (< a b) a a) 0)))))) >> BAR >> * (foo -973374182 -2808094898932282) >> 8977792211655191254905389057 >> * (bar -973374182 -2808094898932282) >> -8977792211655191254905389055 ;; different result >> >> >> _______________________________________________ >> Sbcl-devel mailing list >> [email protected] >> https://lists.sourceforge.net/lists/listinfo/sbcl-devel -- Eric Marsden Web:https://risk-engineering.org/ _______________________________________________ Sbcl-devel mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/sbcl-devel