Home
last modified time | relevance | path

Searched refs:carry13 (Results 1 – 1 of 1) sorted by relevance

/external/boringssl/src/third_party/fiat/
Dcurve25519.c1103 int64_t carry13; in x25519_sc_reduce() local
1184 carry13 = (s13 + (1 << 20)) >> 21; in x25519_sc_reduce()
1185 s14 += carry13; in x25519_sc_reduce()
1186 s13 -= int64_lshift21(carry13); in x25519_sc_reduce()
1481 int64_t carry13; in sc_muladd() local
1581 carry13 = (s13 + (1 << 20)) >> 21; in sc_muladd()
1582 s14 += carry13; in sc_muladd()
1583 s13 -= int64_lshift21(carry13); in sc_muladd()
1673 carry13 = (s13 + (1 << 20)) >> 21; in sc_muladd()
1674 s14 += carry13; in sc_muladd()
[all …]