Incorrect value computed with LOGXOR, ABS, +, SHIFTF

[Paul F. Dietz]

(defun bug118 ()
  (let* ((form '((lambda (v5) (isqrt (abs (shiftf v5 (+ v5 c -1)))))
                (logxor -186407873443 2305843009213693961 c -871746)))
         (lam1 `(lambda (c)
                 (declare (type (integer -464397608030354830 207343078637957091) c))
                 (declare
                  (optimize (space 2) (speed 3) (safety 1)
                   (debug 1) (compilation-speed 3)))
                 ,form))
         (lam2 `(lambda (c)
                  (declare (notinline logxor + abs isqrt))
                  ,form))
         (val -311322364377408855))
    (values (funcall (compile nil lam1) val)
            (funcall (compile nil lam2) val))))

(bug118) ==> 1711282511, 1617765579

x86-64, "2.3.0.187-db64046a8"

Still fails in "2.3.0.188-ad0b7f391"

[Paul F. Dietz (paul-f-dietz)]

Not seeing this commit on the master branch?

[Stas Boukarev (stassats)]

Try now.