Lines Matching full:31
34 * d <- (d + xu*y + f*m) / 2^31 in br_i31_montymul()
35 * We have xu <= 2^31-1 and f <= 2^31-1. in br_i31_montymul()
37 * 2*m-1 + 2*(2^31-1)*m <= (2^32)*m-1 in br_i31_montymul()
40 * We represent d over 31-bit words, with an extra word 'dh' in br_i31_montymul()
46 len = (m[0] + 31) >> 5; in br_i31_montymul()
53 * d[v+1] <= 2^31-1 in br_i31_montymul()
54 * xu*y[v+1] <= (2^31-1)*(2^31-1) in br_i31_montymul()
55 * f*m[v+1] <= (2^31-1)*(2^31-1) in br_i31_montymul()
57 * (2^31-1) + 2*(2^31-1)*(2^31-1) + (2^32-1) = 2^63 - 2^31 in br_i31_montymul()
58 * After division by 2^31, the new r is then at most 2^32-1 in br_i31_montymul()
81 r = z >> 31; in br_i31_montymul()
85 r = z >> 31; in br_i31_montymul()
89 r = z >> 31; in br_i31_montymul()
93 r = z >> 31; in br_i31_montymul()
101 r = z >> 31; in br_i31_montymul()
112 dh >>= 31; in br_i31_montymul()