bug in longlong.h for aarch64 sub_ddmmss
Vincent Lefevre
vincent at vinc17.net
Wed Jun 17 09:15:39 UTC 2020
On 2020-06-17 11:04:26 +0200, Niels Möller wrote:
> tg at gmplib.org (Torbjörn Granlund) writes:
>
> > The two - signs ought to be ~, I think. Let me think a buit more about that.
>
> If I remember ARM conventions correctly, subtract with carry is defined
> as
>
> {cout, r} = a + ~b + cin
This is a - b - borrow, where the borrow is the complement of the
carry bit.
--
Vincent Lefèvre <vincent at vinc17.net> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
More information about the gmp-bugs
mailing list