Lines Matching refs:uint128_t
134 typedef uint128_t largefelem[NLIMBS];
381 static const uint128_t two127m70 = in felem_diff128()
382 (((uint128_t) 1) << 127) - (((uint128_t) 1) << 70); in felem_diff128()
383 static const uint128_t two127m69 = in felem_diff128()
384 (((uint128_t) 1) << 127) - (((uint128_t) 1) << 69); in felem_diff128()
421 out[0] = ((uint128_t) in[0]) * in[0]; in felem_square_ref()
422 out[1] = ((uint128_t) in[0]) * inx2[1]; in felem_square_ref()
423 out[2] = ((uint128_t) in[0]) * inx2[2] + ((uint128_t) in[1]) * in[1]; in felem_square_ref()
424 out[3] = ((uint128_t) in[0]) * inx2[3] + ((uint128_t) in[1]) * inx2[2]; in felem_square_ref()
425 out[4] = ((uint128_t) in[0]) * inx2[4] + in felem_square_ref()
426 ((uint128_t) in[1]) * inx2[3] + ((uint128_t) in[2]) * in[2]; in felem_square_ref()
427 out[5] = ((uint128_t) in[0]) * inx2[5] + in felem_square_ref()
428 ((uint128_t) in[1]) * inx2[4] + ((uint128_t) in[2]) * inx2[3]; in felem_square_ref()
429 out[6] = ((uint128_t) in[0]) * inx2[6] + in felem_square_ref()
430 ((uint128_t) in[1]) * inx2[5] + in felem_square_ref()
431 ((uint128_t) in[2]) * inx2[4] + ((uint128_t) in[3]) * in[3]; in felem_square_ref()
432 out[7] = ((uint128_t) in[0]) * inx2[7] + in felem_square_ref()
433 ((uint128_t) in[1]) * inx2[6] + in felem_square_ref()
434 ((uint128_t) in[2]) * inx2[5] + ((uint128_t) in[3]) * inx2[4]; in felem_square_ref()
435 out[8] = ((uint128_t) in[0]) * inx2[8] + in felem_square_ref()
436 ((uint128_t) in[1]) * inx2[7] + in felem_square_ref()
437 ((uint128_t) in[2]) * inx2[6] + in felem_square_ref()
438 ((uint128_t) in[3]) * inx2[5] + ((uint128_t) in[4]) * in[4]; in felem_square_ref()
450 out[0] += ((uint128_t) in[1]) * inx4[8] + in felem_square_ref()
451 ((uint128_t) in[2]) * inx4[7] + in felem_square_ref()
452 ((uint128_t) in[3]) * inx4[6] + ((uint128_t) in[4]) * inx4[5]; in felem_square_ref()
455 out[1] += ((uint128_t) in[2]) * inx4[8] + in felem_square_ref()
456 ((uint128_t) in[3]) * inx4[7] + in felem_square_ref()
457 ((uint128_t) in[4]) * inx4[6] + ((uint128_t) in[5]) * inx2[5]; in felem_square_ref()
460 out[2] += ((uint128_t) in[3]) * inx4[8] + in felem_square_ref()
461 ((uint128_t) in[4]) * inx4[7] + ((uint128_t) in[5]) * inx4[6]; in felem_square_ref()
464 out[3] += ((uint128_t) in[4]) * inx4[8] + in felem_square_ref()
465 ((uint128_t) in[5]) * inx4[7] + ((uint128_t) in[6]) * inx2[6]; in felem_square_ref()
468 out[4] += ((uint128_t) in[5]) * inx4[8] + ((uint128_t) in[6]) * inx4[7]; in felem_square_ref()
471 out[5] += ((uint128_t) in[6]) * inx4[8] + ((uint128_t) in[7]) * inx2[7]; in felem_square_ref()
474 out[6] += ((uint128_t) in[7]) * inx4[8]; in felem_square_ref()
477 out[7] += ((uint128_t) in[8]) * inx2[8]; in felem_square_ref()
493 out[0] = ((uint128_t) in1[0]) * in2[0]; in felem_mul_ref()
495 out[1] = ((uint128_t) in1[0]) * in2[1] + in felem_mul_ref()
496 ((uint128_t) in1[1]) * in2[0]; in felem_mul_ref()
498 out[2] = ((uint128_t) in1[0]) * in2[2] + in felem_mul_ref()
499 ((uint128_t) in1[1]) * in2[1] + in felem_mul_ref()
500 ((uint128_t) in1[2]) * in2[0]; in felem_mul_ref()
502 out[3] = ((uint128_t) in1[0]) * in2[3] + in felem_mul_ref()
503 ((uint128_t) in1[1]) * in2[2] + in felem_mul_ref()
504 ((uint128_t) in1[2]) * in2[1] + in felem_mul_ref()
505 ((uint128_t) in1[3]) * in2[0]; in felem_mul_ref()
507 out[4] = ((uint128_t) in1[0]) * in2[4] + in felem_mul_ref()
508 ((uint128_t) in1[1]) * in2[3] + in felem_mul_ref()
509 ((uint128_t) in1[2]) * in2[2] + in felem_mul_ref()
510 ((uint128_t) in1[3]) * in2[1] + in felem_mul_ref()
511 ((uint128_t) in1[4]) * in2[0]; in felem_mul_ref()
513 out[5] = ((uint128_t) in1[0]) * in2[5] + in felem_mul_ref()
514 ((uint128_t) in1[1]) * in2[4] + in felem_mul_ref()
515 ((uint128_t) in1[2]) * in2[3] + in felem_mul_ref()
516 ((uint128_t) in1[3]) * in2[2] + in felem_mul_ref()
517 ((uint128_t) in1[4]) * in2[1] + in felem_mul_ref()
518 ((uint128_t) in1[5]) * in2[0]; in felem_mul_ref()
520 out[6] = ((uint128_t) in1[0]) * in2[6] + in felem_mul_ref()
521 ((uint128_t) in1[1]) * in2[5] + in felem_mul_ref()
522 ((uint128_t) in1[2]) * in2[4] + in felem_mul_ref()
523 ((uint128_t) in1[3]) * in2[3] + in felem_mul_ref()
524 ((uint128_t) in1[4]) * in2[2] + in felem_mul_ref()
525 ((uint128_t) in1[5]) * in2[1] + in felem_mul_ref()
526 ((uint128_t) in1[6]) * in2[0]; in felem_mul_ref()
528 out[7] = ((uint128_t) in1[0]) * in2[7] + in felem_mul_ref()
529 ((uint128_t) in1[1]) * in2[6] + in felem_mul_ref()
530 ((uint128_t) in1[2]) * in2[5] + in felem_mul_ref()
531 ((uint128_t) in1[3]) * in2[4] + in felem_mul_ref()
532 ((uint128_t) in1[4]) * in2[3] + in felem_mul_ref()
533 ((uint128_t) in1[5]) * in2[2] + in felem_mul_ref()
534 ((uint128_t) in1[6]) * in2[1] + in felem_mul_ref()
535 ((uint128_t) in1[7]) * in2[0]; in felem_mul_ref()
537 out[8] = ((uint128_t) in1[0]) * in2[8] + in felem_mul_ref()
538 ((uint128_t) in1[1]) * in2[7] + in felem_mul_ref()
539 ((uint128_t) in1[2]) * in2[6] + in felem_mul_ref()
540 ((uint128_t) in1[3]) * in2[5] + in felem_mul_ref()
541 ((uint128_t) in1[4]) * in2[4] + in felem_mul_ref()
542 ((uint128_t) in1[5]) * in2[3] + in felem_mul_ref()
543 ((uint128_t) in1[6]) * in2[2] + in felem_mul_ref()
544 ((uint128_t) in1[7]) * in2[1] + in felem_mul_ref()
545 ((uint128_t) in1[8]) * in2[0]; in felem_mul_ref()
549 out[0] += ((uint128_t) in1[1]) * in2x2[8] + in felem_mul_ref()
550 ((uint128_t) in1[2]) * in2x2[7] + in felem_mul_ref()
551 ((uint128_t) in1[3]) * in2x2[6] + in felem_mul_ref()
552 ((uint128_t) in1[4]) * in2x2[5] + in felem_mul_ref()
553 ((uint128_t) in1[5]) * in2x2[4] + in felem_mul_ref()
554 ((uint128_t) in1[6]) * in2x2[3] + in felem_mul_ref()
555 ((uint128_t) in1[7]) * in2x2[2] + in felem_mul_ref()
556 ((uint128_t) in1[8]) * in2x2[1]; in felem_mul_ref()
558 out[1] += ((uint128_t) in1[2]) * in2x2[8] + in felem_mul_ref()
559 ((uint128_t) in1[3]) * in2x2[7] + in felem_mul_ref()
560 ((uint128_t) in1[4]) * in2x2[6] + in felem_mul_ref()
561 ((uint128_t) in1[5]) * in2x2[5] + in felem_mul_ref()
562 ((uint128_t) in1[6]) * in2x2[4] + in felem_mul_ref()
563 ((uint128_t) in1[7]) * in2x2[3] + in felem_mul_ref()
564 ((uint128_t) in1[8]) * in2x2[2]; in felem_mul_ref()
566 out[2] += ((uint128_t) in1[3]) * in2x2[8] + in felem_mul_ref()
567 ((uint128_t) in1[4]) * in2x2[7] + in felem_mul_ref()
568 ((uint128_t) in1[5]) * in2x2[6] + in felem_mul_ref()
569 ((uint128_t) in1[6]) * in2x2[5] + in felem_mul_ref()
570 ((uint128_t) in1[7]) * in2x2[4] + in felem_mul_ref()
571 ((uint128_t) in1[8]) * in2x2[3]; in felem_mul_ref()
573 out[3] += ((uint128_t) in1[4]) * in2x2[8] + in felem_mul_ref()
574 ((uint128_t) in1[5]) * in2x2[7] + in felem_mul_ref()
575 ((uint128_t) in1[6]) * in2x2[6] + in felem_mul_ref()
576 ((uint128_t) in1[7]) * in2x2[5] + in felem_mul_ref()
577 ((uint128_t) in1[8]) * in2x2[4]; in felem_mul_ref()
579 out[4] += ((uint128_t) in1[5]) * in2x2[8] + in felem_mul_ref()
580 ((uint128_t) in1[6]) * in2x2[7] + in felem_mul_ref()
581 ((uint128_t) in1[7]) * in2x2[6] + in felem_mul_ref()
582 ((uint128_t) in1[8]) * in2x2[5]; in felem_mul_ref()
584 out[5] += ((uint128_t) in1[6]) * in2x2[8] + in felem_mul_ref()
585 ((uint128_t) in1[7]) * in2x2[7] + in felem_mul_ref()
586 ((uint128_t) in1[8]) * in2x2[6]; in felem_mul_ref()
588 out[6] += ((uint128_t) in1[7]) * in2x2[8] + in felem_mul_ref()
589 ((uint128_t) in1[8]) * in2x2[7]; in felem_mul_ref()
591 out[7] += ((uint128_t) in1[8]) * in2x2[8]; in felem_mul_ref()
