Lines Matching refs:SB
341 // Now, a/b - 4*P * 2^-W < q < a/b for q=<quotient_UQ1:dummy> in UQ1.(SB+1+W).
343 // quotient_UQ1 is in [0.5, 2.0) as UQ1.(SB+1),
344 // adjust it to be in [1.0, 2.0) as UQ1.SB.
347 // Highest bit is 0, so just reinterpret quotient_UQ1 as UQ1.SB,
353 // Highest bit is 1 (the UQ1.(SB+1) value is in [1, 2)), convert it
354 // to UQ1.SB by right shifting by 1. Least significant bit is omitted.
362 // Now, q cannot be greater than a/b and can differ by at most 8*P * 2^-W + 2^-SB
363 // Each NextAfter() increments the floating point value by at least 2^-SB
365 // Different cases (<---> is of 2^-SB length, * = a/b that is shown as a midpoint):
371 // To require at most one NextAfter(), an error should be less than 1.5 * 2^-SB.
372 // (8*P) * 2^-W + 2^-SB < 1.5 * 2^-SB
373 // (8*P) * 2^-W < 0.5 * 2^-SB
374 // P < 2^(W-4-SB)
376 // P < (2*R - 1) * 2^(W-4-SB)