Lines Matching refs:s13
4640 int64_t s13 = kBottom21Bits & (load_3(s + 34) >> 1);
4671 s13 += s23 * 654183;
4680 s13 -= s22 * 997805;
4689 s13 += s21 * 136657;
4698 s13 -= s20 * 683901;
4727 s13 += carry12;
4745 carry13 = (s13 + (1 << 20)) >> 21;
4747 s13 -= carry13 * (1 << 21);
4784 s1 += s13 * 666643;
4785 s2 += s13 * 470296;
4786 s3 += s13 * 654183;
4787 s4 -= s13 * 997805;
4788 s5 += s13 * 136657;
4789 s6 -= s13 * 683901;
4790 s13 = 0;
5021 int64_t s13;
5069 s13 = a2 * b11 + a3 * b10 + a4 * b9 + a5 * b8 + a6 * b7 + a7 * b6 + a8 * b5 + a9 * b4 + a10 * b3 + a11 * b2;
5100 s13 += carry12;
5136 carry13 = (s13 + (1 << 20)) >> 21;
5138 s13 -= carry13 * (1 << 21);
5154 s13 += s23 * 654183;
5163 s13 -= s22 * 997805;
5172 s13 += s21 * 136657;
5181 s13 -= s20 * 683901;
5210 s13 += carry12;
5228 carry13 = (s13 + (1 << 20)) >> 21;
5230 s13 -= carry13 * (1 << 21);
5267 s1 += s13 * 666643;
5268 s2 += s13 * 470296;
5269 s3 += s13 * 654183;
5270 s4 -= s13 * 997805;
5271 s5 += s13 * 136657;
5272 s6 -= s13 * 683901;
5273 s13 = 0;