Lines Matching refs:s13
4635 int64_t s13 = kBottom21Bits & (load_3(s + 34) >> 1); in x25519_sc_reduce() local
4666 s13 += s23 * 654183; in x25519_sc_reduce()
4675 s13 -= s22 * 997805; in x25519_sc_reduce()
4684 s13 += s21 * 136657; in x25519_sc_reduce()
4693 s13 -= s20 * 683901; in x25519_sc_reduce()
4722 s13 += carry12; in x25519_sc_reduce()
4740 carry13 = (s13 + (1 << 20)) >> 21; in x25519_sc_reduce()
4742 s13 -= carry13 * (1 << 21); in x25519_sc_reduce()
4779 s1 += s13 * 666643; in x25519_sc_reduce()
4780 s2 += s13 * 470296; in x25519_sc_reduce()
4781 s3 += s13 * 654183; in x25519_sc_reduce()
4782 s4 -= s13 * 997805; in x25519_sc_reduce()
4783 s5 += s13 * 136657; in x25519_sc_reduce()
4784 s6 -= s13 * 683901; in x25519_sc_reduce()
4785 s13 = 0; in x25519_sc_reduce()
5016 int64_t s13; in sc_muladd() local
5064 …s13 = a2 * b11 + a3 * b10 + a4 * b9 + a5 * b8 + a6 * b7 + a7 * b6 + a8 *… in sc_muladd()
5095 s13 += carry12; in sc_muladd()
5131 carry13 = (s13 + (1 << 20)) >> 21; in sc_muladd()
5133 s13 -= carry13 * (1 << 21); in sc_muladd()
5149 s13 += s23 * 654183; in sc_muladd()
5158 s13 -= s22 * 997805; in sc_muladd()
5167 s13 += s21 * 136657; in sc_muladd()
5176 s13 -= s20 * 683901; in sc_muladd()
5205 s13 += carry12; in sc_muladd()
5223 carry13 = (s13 + (1 << 20)) >> 21; in sc_muladd()
5225 s13 -= carry13 * (1 << 21); in sc_muladd()
5262 s1 += s13 * 666643; in sc_muladd()
5263 s2 += s13 * 470296; in sc_muladd()
5264 s3 += s13 * 654183; in sc_muladd()
5265 s4 -= s13 * 997805; in sc_muladd()
5266 s5 += s13 * 136657; in sc_muladd()
5267 s6 -= s13 * 683901; in sc_muladd()
5268 s13 = 0; in sc_muladd()
