Lines Matching defs:s12
3791 int64_t s12 = 2097151 & (load_4(s + 31) >> 4);
3822 s12 += s23 * 470296;
3831 s12 += s22 * 654183;
3840 s12 -= s21 * 997805;
3849 s12 += s20 * 136657;
3858 s12 -= s19 * 683901;
3878 carry12 = (s12 + (1 << 20)) >> 21;
3880 s12 -= carry12 << 21;
3895 s12 += carry11;
3944 s0 += s12 * 666643;
3945 s1 += s12 * 470296;
3946 s2 += s12 * 654183;
3947 s3 -= s12 * 997805;
3948 s4 += s12 * 136657;
3949 s5 -= s12 * 683901;
3950 s12 = 0;
3987 s12 += carry11;
3990 s0 += s12 * 666643;
3991 s1 += s12 * 470296;
3992 s2 += s12 * 654183;
3993 s3 -= s12 * 997805;
3994 s4 += s12 * 136657;
3995 s5 -= s12 * 683901;
3996 s12 = 0;
4032 s12 += carry11;
4035 s0 += s12 * 666643;
4036 s1 += s12 * 470296;
4037 s2 += s12 * 654183;
4038 s3 -= s12 * 997805;
4039 s4 += s12 * 136657;
4040 s5 -= s12 * 683901;
4041 s12 = 0;
4169 int64_t s12;
4222 s12 = a1 * b11 + a2 * b10 + a3 * b9 + a4 * b8 + a5 * b7 + a6 * b6 + a7 * b5 +
4257 carry12 = (s12 + (1 << 20)) >> 21;
4259 s12 -= carry12 << 21;
4292 s12 += carry11;
4311 s12 += s23 * 470296;
4320 s12 += s22 * 654183;
4329 s12 -= s21 * 997805;
4338 s12 += s20 * 136657;
4347 s12 -= s19 * 683901;
4367 carry12 = (s12 + (1 << 20)) >> 21;
4369 s12 -= carry12 << 21;
4384 s12 += carry11;
4433 s0 += s12 * 666643;
4434 s1 += s12 * 470296;
4435 s2 += s12 * 654183;
4436 s3 -= s12 * 997805;
4437 s4 += s12 * 136657;
4438 s5 -= s12 * 683901;
4439 s12 = 0;
4476 s12 += carry11;
4479 s0 += s12 * 666643;
4480 s1 += s12 * 470296;
4481 s2 += s12 * 654183;
4482 s3 -= s12 * 997805;
4483 s4 += s12 * 136657;
4484 s5 -= s12 * 683901;
4485 s12 = 0;
4521 s12 += carry11;
4524 s0 += s12 * 666643;
4525 s1 += s12 * 470296;
4526 s2 += s12 * 654183;
4527 s3 -= s12 * 997805;
4528 s4 += s12 * 136657;
4529 s5 -= s12 * 683901;
4530 s12 = 0;