[Libre-soc-dev] SVP64 Vectorised add-carry => big int add

[Richard Wilbur]

> On Apr 18, 2022, at 10:47, lkcl <luke.leighton at gmail.com> wrote:
[…]
> ok i corrected it: still no dice.  i think the reason for that is that "t" is
> not being set correctly: t is supposed to be used later, if is -ve, then
> 1 is added back onto un[].
> 
> it's almost there:
> 
> Error, dividend u = 80000000 00000000 00000003
>       divisor  v = 20000000 00000000 00000001
> For quotient,  got: 00000004
>        Should get: 00000003
> 
> Error, dividend u = 80000000 00000000 fffffffe 00000000
>       divisor  v = 80000000 00000000 ffffffff
> For quotient,  got: 00000001 fffffffd
>        Should get: 00000000 ffffffff

From the results you present, a 2 is being added to the quotient where a 1 should be.