118 	uint64_t cc, w;  in f255_sub()  local
133 	cc = -(w >> 51) & 0x3FF;  in f255_sub()
134 	w = a[1] - b[1] - cc;  in f255_sub()
136 	cc = -(w >> 51) & 0x3FF;  in f255_sub()
137 	w = a[2] - b[2] - cc;  in f255_sub()
139 	cc = -(w >> 51) & 0x3FF;  in f255_sub()
140 	w = a[3] - b[3] - cc;  in f255_sub()
142 	cc = -(w >> 51) & 0x3FF;  in f255_sub()
143 	d[4] = ((uint64_t)1 << 61) + a[4] - b[4] - cc;  in f255_sub()
192 	uint64_t t[10], hi, lo, w, cc;  in f255_mul()  local
258 	cc = w >> 51;  in f255_mul()
259 	w = t[1] + cc;  in f255_mul()
261 	cc = w >> 51;  in f255_mul()
262 	w = t[2] + cc;  in f255_mul()
264 	cc = w >> 51;  in f255_mul()
265 	w = t[3] + cc;  in f255_mul()
267 	cc = w >> 51;  in f255_mul()
268 	w = t[4] + cc;  in f255_mul()
270 	cc = w >> 51;  in f255_mul()
277 	d[0] += 19 * cc;  in f255_mul()
287 	uint64_t t[5], cc, w;  in f255_mul_a24()  local
295 	cc = w >> 51;  in f255_mul_a24()
296 	w = a[1] * 15 + cc;  in f255_mul_a24()
298 	cc = w >> 51;  in f255_mul_a24()
299 	w = a[2] * 15 + cc;  in f255_mul_a24()
301 	cc = w >> 51;  in f255_mul_a24()
302 	w = a[3] * 15 + cc;  in f255_mul_a24()
304 	cc = w >> 51;  in f255_mul_a24()
305 	w = a[4] * 15 + cc;  in f255_mul_a24()
316 	cc = w >> 51;  in f255_mul_a24()
317 	w = t[1] * 8111 + cc;  in f255_mul_a24()
319 	cc = w >> 51;  in f255_mul_a24()
320 	w = t[2] * 8111 + cc;  in f255_mul_a24()
322 	cc = w >> 51;  in f255_mul_a24()
323 	w = t[3] * 8111 + cc;  in f255_mul_a24()
325 	cc = w >> 51;  in f255_mul_a24()
326 	w = t[4] * 8111 + cc;  in f255_mul_a24()
339 	uint64_t t[5], cc, w;  in f255_final_reduce()  local
349 	cc = w >> 51;  in f255_final_reduce()
350 	w = a[1] + cc;  in f255_final_reduce()
352 	cc = w >> 51;  in f255_final_reduce()
353 	w = a[2] + cc;  in f255_final_reduce()
355 	cc = w >> 51;  in f255_final_reduce()
356 	w = a[3] + cc;  in f255_final_reduce()
358 	cc = w >> 51;  in f255_final_reduce()
359 	w = a[4] + cc;  in f255_final_reduce()
361 	cc = w >> 51;  in f255_final_reduce()
367 	cc = -cc;  in f255_final_reduce()
368 	a[0] ^= cc & (a[0] ^ t[0]);  in f255_final_reduce()
369 	a[1] ^= cc & (a[1] ^ t[1]);  in f255_final_reduce()
370 	a[2] ^= cc & (a[2] ^ t[2]);  in f255_final_reduce()
371 	a[3] ^= cc & (a[3] ^ t[3]);  in f255_final_reduce()
372 	a[4] ^= cc & (a[4] ^ t[4]);  in f255_final_reduce()