Lines Matching refs:h4
316 uint64_t h4 = (load_6(s + 26) & 0x7fffffffffff) << 4; /* 51 bits */ in fe51_frombytes() local
321 h4 |= h3 >> 51; h3 &= MASK51; in fe51_frombytes()
327 h[4] = h4; in fe51_frombytes()
336 uint64_t h4 = h[4]; in fe51_tobytes() local
344 q = (h4 + q) >> 51; in fe51_tobytes()
351 h4 += h3 >> 51; h3 &= MASK51; in fe51_tobytes()
352 h4 &= MASK51; in fe51_tobytes()
380 s[25] = (uint8_t)((h3 >> 47) | ((uint32_t)h4 << 4)); in fe51_tobytes()
381 s[26] = (uint8_t)(h4 >> 4); in fe51_tobytes()
382 s[27] = (uint8_t)(h4 >> 12); in fe51_tobytes()
383 s[28] = (uint8_t)(h4 >> 20); in fe51_tobytes()
384 s[29] = (uint8_t)(h4 >> 28); in fe51_tobytes()
385 s[30] = (uint8_t)(h4 >> 36); in fe51_tobytes()
386 s[31] = (uint8_t)(h4 >> 44); in fe51_tobytes()
402 u128 h0, h1, h2, h3, h4; in fe51_mul() local
410 h4 = (u128)f_i * (g4 = g[4]); in fe51_mul()
417 h4 += (u128)f_i * g3; in fe51_mul()
424 h4 += (u128)f_i * g2; in fe51_mul()
431 h4 += (u128)f_i * g1; in fe51_mul()
438 h4 += (u128)f_i * g0; in fe51_mul()
444 h4 += (uint64_t)(h3 >> 51); g3 = (uint64_t)h3 & MASK51; in fe51_mul()
447 g0 += (uint64_t)(h4 >> 51) * 19; g4 = (uint64_t)h4 & MASK51; in fe51_mul()
469 u128 h0, h1, h2, h3, h4; in fe51_sq()
475 h4 = (u128)g0 * g4; in fe51_sq()
482 h4 += (u128)g1 * g3; in fe51_sq()
489 h4 += (u128)g2 * g2; g2 *= 2; in fe51_sq()
497 h4 += (uint64_t)(h3 >> 51); g3 = (uint64_t)h3 & MASK51; in fe51_sq()
500 g0 += (uint64_t)(h4 >> 51) * 19; g4 = (uint64_t)h4 & MASK51; in fe51_sq()
518 u128 h4 = f[4] * (u128)121666; in fe51_mul121666() local
524 h4 += (uint64_t)(h3 >> 51); g3 = (uint64_t)h3 & MASK51; in fe51_mul121666()
527 g0 += (uint64_t)(h4 >> 51) * 19; g4 = (uint64_t)h4 & MASK51; in fe51_mul121666()
807 int64_t h4 = load_3(s + 13) << 2; in fe_frombytes() local
826 carry3 = h3 + (1 << 24); h4 += carry3 >> 25; h3 -= carry3 & kTop39Bits; in fe_frombytes()
832 carry4 = h4 + (1 << 25); h5 += carry4 >> 26; h4 -= carry4 & kTop38Bits; in fe_frombytes()
840 h[4] = (int32_t)h4; in fe_frombytes()
878 int32_t h4 = h[4]; in fe_tobytes() local
891 q = (h4 + q) >> 26; in fe_tobytes()
905 h4 += h3 >> 25; h3 &= kBottom25Bits; in fe_tobytes()
906 h5 += h4 >> 26; h4 &= kBottom26Bits; in fe_tobytes()
932 s[12] = (uint8_t)((h3 >> 19) | ((uint32_t)(h4) << 6)); in fe_tobytes()
933 s[13] = (uint8_t) (h4 >> 2); in fe_tobytes()
934 s[14] = (uint8_t) (h4 >> 10); in fe_tobytes()
935 s[15] = (uint8_t) (h4 >> 18); in fe_tobytes()
1185 …int64_t h4 = f0g4 + f1g3_2 + f2g2 + f3g1_2 + f4g0 + f5g9_38 + f6g8_19 + f7g7_38 + f8g6_19 … in fe_mul() local
1208 carry4 = h4 + (1 << 25); h5 += carry4 >> 26; h4 -= carry4 & kTop38Bits; in fe_mul()
1228 carry3 = h3 + (1 << 24); h4 += carry3 >> 25; h3 -= carry3 & kTop39Bits; in fe_mul()
1235 carry4 = h4 + (1 << 25); h5 += carry4 >> 26; h4 -= carry4 & kTop38Bits; in fe_mul()
1254 h[4] = (int32_t)h4; in fe_mul()
1359 int64_t h4 = f0f4_2 + f1f3_4 + f2f2 + f5f9_76 + f6f8_38 + f7f7_38; in fe_sq() local
1377 carry4 = h4 + (1 << 25); h5 += carry4 >> 26; h4 -= carry4 & kTop38Bits; in fe_sq()
1385 carry3 = h3 + (1 << 24); h4 += carry3 >> 25; h3 -= carry3 & kTop39Bits; in fe_sq()
1388 carry4 = h4 + (1 << 25); h5 += carry4 >> 26; h4 -= carry4 & kTop38Bits; in fe_sq()
1399 h[4] = (int32_t)h4; in fe_sq()
1668 int64_t h4 = f0f4_2 + f1f3_4 + f2f2 + f5f9_76 + f6f8_38 + f7f7_38; in fe_sq2() local
1689 h4 += h4; in fe_sq2()
1697 carry4 = h4 + (1 << 25); h5 += carry4 >> 26; h4 -= carry4 & kTop38Bits; in fe_sq2()
1705 carry3 = h3 + (1 << 24); h4 += carry3 >> 25; h3 -= carry3 & kTop39Bits; in fe_sq2()
1708 carry4 = h4 + (1 << 25); h5 += carry4 >> 26; h4 -= carry4 & kTop38Bits; in fe_sq2()
1719 h[4] = (int32_t)h4; in fe_sq2()
4336 int64_t h4 = f4 * (int64_t) 121666; in fe_mul121666() local
4355 carry3 = h3 + (1 << 24); h4 += carry3 >> 25; h3 -= carry3 & kTop39Bits; in fe_mul121666()
4361 carry4 = h4 + (1 << 25); h5 += carry4 >> 26; h4 -= carry4 & kTop38Bits; in fe_mul121666()
4369 h[4] = (int32_t)h4; in fe_mul121666()