102 	uint64_t t0, t1, t2, t3, cc;  in f255_add()  local
110 	t2 = (uint64_t)z;  in f255_add()
127 	z = (unsigned __int128)t2 + (z >> 64);  in f255_add()
133 	uint64_t t0, t1, t2, t3, cc;  in f255_add()
138 	k = _addcarry_u64(k, a[2], b[2], &t2);  in f255_add()
153 	k = _addcarry_u64(k, t2, 0, &d[2]);  in f255_add()
174 	uint64_t t0, t1, t2, t3, t4, cc;  in f255_sub()  local
186 	t2 = (uint64_t)z;  in f255_sub()
205 	z = (unsigned __int128)t2 + (z >> 64);  in f255_sub()
218 	uint64_t t0, t1, t2, t3, t4;  in f255_sub()
223 	k = _subborrow_u64(k, a[2], b[2], &t2);  in f255_sub()
229 	k = _subborrow_u64(k, t2, 0, &t2);  in f255_sub()
243 	k = _addcarry_u64(k, t2, 0, &d[2]);  in f255_sub()
258 	uint64_t t0, t1, t2, t3, t4, t5, t6, t7, th;  in f255_mul()  local
268 	t2 = (uint64_t)z;  in f255_mul()
277 		+ (unsigned __int128)t2 + (z >> 64);  in f255_mul()
278 	t2 = (uint64_t)z;  in f255_mul()
288 		+ (unsigned __int128)t2;  in f255_mul()
289 	t2 = (uint64_t)z;  in f255_mul()
360 	z = (unsigned __int128)t2 + (unsigned __int128)t6 + (z >> 64);  in f255_mul()
361 	t2 = (uint64_t)z;  in f255_mul()
375 	z = (unsigned __int128)t2 + (z >> 64);  in f255_mul()
381 	uint64_t t0, t1, t2, t3, t4, t5, t6, t7, th;  in f255_mul()
391 	t2 = _umul128(a[0], b[2], &h2);  in f255_mul()
392 	k = _addcarry_u64(k, t2, h1, &t2);  in f255_mul()
398 	k = _addcarry_u64(k, _umul128(a[1], b[1], &h1), t2, &t2);  in f255_mul()
402 	k = _addcarry_u64(0, t2, h0, &t2);  in f255_mul()
407 	k = _addcarry_u64(0, _umul128(a[2], b[0], &h0), t2, &t2);  in f255_mul()
469 	k = _addcarry_u64(k, t2, t6, &t2);  in f255_mul()
474 	k = _addcarry_u64(k, t2, 0, &t2);  in f255_mul()
488 	k = _addcarry_u64(k, t2, 0, &d[2]);  in f255_mul()
502 	uint64_t t0, t1, t2, t3;  in f255_mul_a24()  local
510 	t2 = (uint64_t)z;  in f255_mul_a24()
518 	z = (unsigned __int128)t2 + (z >> 64);  in f255_mul_a24()
519 	t2 = (uint64_t)z;  in f255_mul_a24()
526 	z = (unsigned __int128)t2 + (z >> 64);  in f255_mul_a24()
532 	uint64_t t0, t1, t2, t3, t4, h0, h1, h2, h3;  in f255_mul_a24()
538 	t2 = _umul128(a[2], 121665, &h2);  in f255_mul_a24()
539 	k = _addcarry_u64(k, t2, h1, &t2);  in f255_mul_a24()
548 	k = _addcarry_u64(k, t2, 0, &t2);  in f255_mul_a24()
555 	k = _addcarry_u64(k, t2, 0, &d[2]);  in f255_mul_a24()
569 	uint64_t t0, t1, t2, t3, m;  in f255_final_reduce()  local
583 	t2 = (uint64_t)z;  in f255_final_reduce()
590 	a[2] ^= m & (a[2] ^ t2);  in f255_final_reduce()
595 	uint64_t t0, t1, t2, t3, m;  in f255_final_reduce()
606 	k = _addcarry_u64(k, a[2], 0, &t2);  in f255_final_reduce()
613 	a[2] ^= m & (a[2] ^ t2);  in f255_final_reduce()