[email protected] (Niels Möller) writes:
[email protected] (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
Here we traded non-borrow subtract and non-carry addition on both ARM
and PPC.
Subtract is defined on both these architectures as
{cout, r} = a + ~b + 1
while addition is refined similarly as
{cout, r} = a + b
.
--
Torbjörn
Please encrypt, key id 0xC8601622
_______________________________________________
gmp-bugs mailing list
[email protected]
https://gmplib.org/mailman/listinfo/gmp-bugs
