(no commit message)
authorlkcl <lkcl@web>
Fri, 29 Apr 2022 11:38:22 +0000 (12:38 +0100)
committerIkiWiki <ikiwiki.info>
Fri, 29 Apr 2022 11:38:22 +0000 (12:38 +0100)
openpower/sv/biginteger/analysis.mdwn

index 960b501269fc085193ddfde6c5dae8be0bddf5e3..3024a02e7efea8ca5684b33049c7a3698c1c6376 100644 (file)
@@ -458,6 +458,7 @@ Look closely at Algorithm D when the divisor is only a scalar
 Here, just as with `madded` which can put the hi-half of the 128 bit product
 back in as a form of 64-bit carry, a scalar divisor of a vector dividend
 puts the modulo back in as the hi-half of a 128/64-bit divide.
+
     RT0      = ((  0<<64) | RA0) / RB0
          RC0 = ((  0<<64) | RA0) % RB0
           |
@@ -472,8 +473,8 @@ puts the modulo back in as the hi-half of a 128/64-bit divide.
          RC2 = ((RC1<<64) | RA2) % RB2
 
 By a nice coincidence this is exactly the same 128/64-bit operation
-needed for the `qhat` estimate if it may produce both the quotient and
-the remainder.
+needed (once, rather than chained) for the `qhat` estimate if it may
+produce both the quotient and the remainder.
 The pseudocode cleanly covering both scenarios (leaving out
 overflow for clarity) can be written as: