Lines Matching refs:t6
258 uint64_t t0, t1, t2, t3, t4, t5, t6, t7, th; in f255_mul() local
299 t6 = (uint64_t)(z >> 64); in f255_mul()
311 + (unsigned __int128)t6 + (z >> 64); in f255_mul()
312 t6 = (uint64_t)z; in f255_mul()
327 t7 = ((t7 << 1) | (t6 >> 63)) & MASK63; in f255_mul()
328 t6 = (t6 << 1) | (t5 >> 63); in f255_mul()
341 z = (unsigned __int128)t6 * 19 + (z >> 64); in f255_mul()
342 t6 = (uint64_t)z; in f255_mul()
360 z = (unsigned __int128)t2 + (unsigned __int128)t6 + (z >> 64); in f255_mul()
381 uint64_t t0, t1, t2, t3, t4, t5, t6, t7, th; in f255_mul()
411 t6 = k; in f255_mul()
415 (void)_addcarry_u64(k, t6, h3, &t6); in f255_mul()
420 k = _addcarry_u64(k, _umul128(a[3], b[3], &h3), t6, &t6); in f255_mul()
424 k = _addcarry_u64(k, t6, h2, &t6); in f255_mul()
439 t7 = ((t7 << 1) | (t6 >> 63)) & MASK63; in f255_mul()
440 t6 = (t6 << 1) | (t5 >> 63); in f255_mul()
451 t6 = _umul128(t6, 19, &h2); in f255_mul()
454 k = _addcarry_u64(k, t6, h1, &t6); in f255_mul()
469 k = _addcarry_u64(k, t2, t6, &t2); in f255_mul()