Lines Matching refs:t7
258 uint64_t t0, t1, t2, t3, t4, t5, t6, t7, th; in f255_mul() local
313 t7 = (uint64_t)(z >> 64); in f255_mul()
326 th = t7 >> 62; in f255_mul()
327 t7 = ((t7 << 1) | (t6 >> 63)) & MASK63; in f255_mul()
343 z = (unsigned __int128)t7 * 19 + (z >> 64); in f255_mul()
344 t7 = (uint64_t)z & MASK63; in f255_mul()
362 z = (unsigned __int128)t3 + (unsigned __int128)t7 + (z >> 64); in f255_mul()
381 uint64_t t0, t1, t2, t3, t4, t5, t6, t7, th; in f255_mul()
421 t7 = k; in f255_mul()
425 (void)_addcarry_u64(k, t7, h3, &t7); in f255_mul()
438 th = t7 >> 62; in f255_mul()
439 t7 = ((t7 << 1) | (t6 >> 63)) & MASK63; in f255_mul()
452 t7 = _umul128(t7, 19, &h3); in f255_mul()
455 k = _addcarry_u64(k, t7, h2, &t7); in f255_mul()
457 th = (361 & -th) + (19 * ((h3 << 1) + (t7 >> 63))); in f255_mul()
458 t7 &= MASK63; in f255_mul()
470 k = _addcarry_u64(k, t3, t7, &t3); in f255_mul()