Lines Matching refs:z
103 unsigned __int128 z; in f255_add() local
105 z = (unsigned __int128)a[0] + (unsigned __int128)b[0]; in f255_add()
106 t0 = (uint64_t)z; in f255_add()
107 z = (unsigned __int128)a[1] + (unsigned __int128)b[1] + (z >> 64); in f255_add()
108 t1 = (uint64_t)z; in f255_add()
109 z = (unsigned __int128)a[2] + (unsigned __int128)b[2] + (z >> 64); in f255_add()
110 t2 = (uint64_t)z; in f255_add()
111 z = (unsigned __int128)a[3] + (unsigned __int128)b[3] + (z >> 64); in f255_add()
112 t3 = (uint64_t)z & MASK63; in f255_add()
113 cc = (uint64_t)(z >> 63); in f255_add()
123 z = (unsigned __int128)t0 + (unsigned __int128)(19 * cc); in f255_add()
124 d[0] = (uint64_t)z; in f255_add()
125 z = (unsigned __int128)t1 + (z >> 64); in f255_add()
126 d[1] = (uint64_t)z; in f255_add()
127 z = (unsigned __int128)t2 + (z >> 64); in f255_add()
128 d[2] = (uint64_t)z; in f255_add()
129 d[3] = t3 + (uint64_t)(z >> 64); in f255_add()
175 unsigned __int128 z; in f255_sub() local
177 z = (unsigned __int128)a[0] - (unsigned __int128)b[0] - 38; in f255_sub()
178 t0 = (uint64_t)z; in f255_sub()
179 cc = -(uint64_t)(z >> 64); in f255_sub()
180 z = (unsigned __int128)a[1] - (unsigned __int128)b[1] in f255_sub()
182 t1 = (uint64_t)z; in f255_sub()
183 cc = -(uint64_t)(z >> 64); in f255_sub()
184 z = (unsigned __int128)a[2] - (unsigned __int128)b[2] in f255_sub()
186 t2 = (uint64_t)z; in f255_sub()
187 cc = -(uint64_t)(z >> 64); in f255_sub()
188 z = (unsigned __int128)a[3] - (unsigned __int128)b[3] in f255_sub()
190 t3 = (uint64_t)z; in f255_sub()
191 t4 = 1 + (uint64_t)(z >> 64); in f255_sub()
201 z = (unsigned __int128)t0 + (unsigned __int128)cc; in f255_sub()
202 d[0] = (uint64_t)z; in f255_sub()
203 z = (unsigned __int128)t1 + (z >> 64); in f255_sub()
204 d[1] = (uint64_t)z; in f255_sub()
205 z = (unsigned __int128)t2 + (z >> 64); in f255_sub()
206 d[2] = (uint64_t)z; in f255_sub()
207 d[3] = t3 + (uint64_t)(z >> 64); in f255_sub()
257 unsigned __int128 z; in f255_mul() local
263 z = (unsigned __int128)a[0] * (unsigned __int128)b[0]; in f255_mul()
264 t0 = (uint64_t)z; in f255_mul()
265 z = (unsigned __int128)a[0] * (unsigned __int128)b[1] + (z >> 64); in f255_mul()
266 t1 = (uint64_t)z; in f255_mul()
267 z = (unsigned __int128)a[0] * (unsigned __int128)b[2] + (z >> 64); in f255_mul()
268 t2 = (uint64_t)z; in f255_mul()
269 z = (unsigned __int128)a[0] * (unsigned __int128)b[3] + (z >> 64); in f255_mul()
270 t3 = (uint64_t)z; in f255_mul()
271 t4 = (uint64_t)(z >> 64); in f255_mul()
273 z = (unsigned __int128)a[1] * (unsigned __int128)b[0] in f255_mul()
275 t1 = (uint64_t)z; in f255_mul()
276 z = (unsigned __int128)a[1] * (unsigned __int128)b[1] in f255_mul()
277 + (unsigned __int128)t2 + (z >> 64); in f255_mul()
278 t2 = (uint64_t)z; in f255_mul()
279 z = (unsigned __int128)a[1] * (unsigned __int128)b[2] in f255_mul()
280 + (unsigned __int128)t3 + (z >> 64); in f255_mul()
281 t3 = (uint64_t)z; in f255_mul()
282 z = (unsigned __int128)a[1] * (unsigned __int128)b[3] in f255_mul()
283 + (unsigned __int128)t4 + (z >> 64); in f255_mul()
284 t4 = (uint64_t)z; in f255_mul()
285 t5 = (uint64_t)(z >> 64); in f255_mul()
287 z = (unsigned __int128)a[2] * (unsigned __int128)b[0] in f255_mul()
289 t2 = (uint64_t)z; in f255_mul()
290 z = (unsigned __int128)a[2] * (unsigned __int128)b[1] in f255_mul()
291 + (unsigned __int128)t3 + (z >> 64); in f255_mul()
292 t3 = (uint64_t)z; in f255_mul()
293 z = (unsigned __int128)a[2] * (unsigned __int128)b[2] in f255_mul()
294 + (unsigned __int128)t4 + (z >> 64); in f255_mul()
295 t4 = (uint64_t)z; in f255_mul()
296 z = (unsigned __int128)a[2] * (unsigned __int128)b[3] in f255_mul()
297 + (unsigned __int128)t5 + (z >> 64); in f255_mul()
298 t5 = (uint64_t)z; in f255_mul()
299 t6 = (uint64_t)(z >> 64); in f255_mul()
301 z = (unsigned __int128)a[3] * (unsigned __int128)b[0] in f255_mul()
303 t3 = (uint64_t)z; in f255_mul()
304 z = (unsigned __int128)a[3] * (unsigned __int128)b[1] in f255_mul()
305 + (unsigned __int128)t4 + (z >> 64); in f255_mul()
306 t4 = (uint64_t)z; in f255_mul()
307 z = (unsigned __int128)a[3] * (unsigned __int128)b[2] in f255_mul()
308 + (unsigned __int128)t5 + (z >> 64); in f255_mul()
309 t5 = (uint64_t)z; in f255_mul()
310 z = (unsigned __int128)a[3] * (unsigned __int128)b[3] in f255_mul()
311 + (unsigned __int128)t6 + (z >> 64); in f255_mul()
312 t6 = (uint64_t)z; in f255_mul()
313 t7 = (uint64_t)(z >> 64); in f255_mul()
337 z = (unsigned __int128)t4 * 19; in f255_mul()
338 t4 = (uint64_t)z; in f255_mul()
339 z = (unsigned __int128)t5 * 19 + (z >> 64); in f255_mul()
340 t5 = (uint64_t)z; in f255_mul()
341 z = (unsigned __int128)t6 * 19 + (z >> 64); in f255_mul()
342 t6 = (uint64_t)z; in f255_mul()
343 z = (unsigned __int128)t7 * 19 + (z >> 64); in f255_mul()
344 t7 = (uint64_t)z & MASK63; in f255_mul()
346 th = (361 & -th) + (19 * (uint64_t)(z >> 63)); in f255_mul()
355 z = (unsigned __int128)t0 + (unsigned __int128)t4 in f255_mul()
357 t0 = (uint64_t)z; in f255_mul()
358 z = (unsigned __int128)t1 + (unsigned __int128)t5 + (z >> 64); in f255_mul()
359 t1 = (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()
362 z = (unsigned __int128)t3 + (unsigned __int128)t7 + (z >> 64); in f255_mul()
363 t3 = (uint64_t)z & MASK63; in f255_mul()
364 th = (uint64_t)(z >> 63); in f255_mul()
371 z = (unsigned __int128)t0 + (19 * th); in f255_mul()
372 d[0] = (uint64_t)z; in f255_mul()
373 z = (unsigned __int128)t1 + (z >> 64); in f255_mul()
374 d[1] = (uint64_t)z; in f255_mul()
375 z = (unsigned __int128)t2 + (z >> 64); in f255_mul()
376 d[2] = (uint64_t)z; in f255_mul()
377 d[3] = t3 + (uint64_t)(z >> 64); in f255_mul()
503 unsigned __int128 z; in f255_mul_a24() local
505 z = (unsigned __int128)a[0] * 121665; in f255_mul_a24()
506 t0 = (uint64_t)z; in f255_mul_a24()
507 z = (unsigned __int128)a[1] * 121665 + (z >> 64); in f255_mul_a24()
508 t1 = (uint64_t)z; in f255_mul_a24()
509 z = (unsigned __int128)a[2] * 121665 + (z >> 64); in f255_mul_a24()
510 t2 = (uint64_t)z; in f255_mul_a24()
511 z = (unsigned __int128)a[3] * 121665 + (z >> 64); in f255_mul_a24()
512 t3 = (uint64_t)z & MASK63; in f255_mul_a24()
514 z = (unsigned __int128)t0 + (19 * (uint64_t)(z >> 63)); in f255_mul_a24()
515 t0 = (uint64_t)z; in f255_mul_a24()
516 z = (unsigned __int128)t1 + (z >> 64); in f255_mul_a24()
517 t1 = (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()
520 t3 = t3 + (uint64_t)(z >> 64); in f255_mul_a24()
522 z = (unsigned __int128)t0 + (19 & -(t3 >> 63)); in f255_mul_a24()
523 d[0] = (uint64_t)z; in f255_mul_a24()
524 z = (unsigned __int128)t1 + (z >> 64); in f255_mul_a24()
525 d[1] = (uint64_t)z; in f255_mul_a24()
526 z = (unsigned __int128)t2 + (z >> 64); in f255_mul_a24()
527 d[2] = (uint64_t)z; in f255_mul_a24()
528 d[3] = (t3 & MASK63) + (uint64_t)(z >> 64); in f255_mul_a24()
570 unsigned __int128 z; in f255_final_reduce() local
578 z = (unsigned __int128)a[0] + 19; in f255_final_reduce()
579 t0 = (uint64_t)z; in f255_final_reduce()
580 z = (unsigned __int128)a[1] + (z >> 64); in f255_final_reduce()
581 t1 = (uint64_t)z; in f255_final_reduce()
582 z = (unsigned __int128)a[2] + (z >> 64); in f255_final_reduce()
583 t2 = (uint64_t)z; in f255_final_reduce()
584 t3 = a[3] + (uint64_t)(z >> 64); in f255_final_reduce()