Lines Matching refs:u64
46 typedef uint64_t u64; typedef
291 static void felem_reduce_degree(felem out, u64 tmp[17]) { in felem_reduce_degree()
481 u64 tmp[17]; in felem_square()
483 tmp[0] = ((u64) in[0]) * in[0]; in felem_square()
484 tmp[1] = ((u64) in[0]) * (in[1] << 1); in felem_square()
485 tmp[2] = ((u64) in[0]) * (in[2] << 1) + in felem_square()
486 ((u64) in[1]) * (in[1] << 1); in felem_square()
487 tmp[3] = ((u64) in[0]) * (in[3] << 1) + in felem_square()
488 ((u64) in[1]) * (in[2] << 1); in felem_square()
489 tmp[4] = ((u64) in[0]) * (in[4] << 1) + in felem_square()
490 ((u64) in[1]) * (in[3] << 2) + ((u64) in[2]) * in[2]; in felem_square()
491 tmp[5] = ((u64) in[0]) * (in[5] << 1) + ((u64) in[1]) * in felem_square()
492 (in[4] << 1) + ((u64) in[2]) * (in[3] << 1); in felem_square()
493 tmp[6] = ((u64) in[0]) * (in[6] << 1) + ((u64) in[1]) * in felem_square()
494 (in[5] << 2) + ((u64) in[2]) * (in[4] << 1) + in felem_square()
495 ((u64) in[3]) * (in[3] << 1); in felem_square()
496 tmp[7] = ((u64) in[0]) * (in[7] << 1) + ((u64) in[1]) * in felem_square()
497 (in[6] << 1) + ((u64) in[2]) * (in[5] << 1) + in felem_square()
498 ((u64) in[3]) * (in[4] << 1); in felem_square()
501 tmp[8] = ((u64) in[0]) * (in[8] << 1) + ((u64) in[1]) * in felem_square()
502 (in[7] << 2) + ((u64) in[2]) * (in[6] << 1) + in felem_square()
503 ((u64) in[3]) * (in[5] << 2) + ((u64) in[4]) * in[4]; in felem_square()
504 tmp[9] = ((u64) in[1]) * (in[8] << 1) + ((u64) in[2]) * in felem_square()
505 (in[7] << 1) + ((u64) in[3]) * (in[6] << 1) + in felem_square()
506 ((u64) in[4]) * (in[5] << 1); in felem_square()
507 tmp[10] = ((u64) in[2]) * (in[8] << 1) + ((u64) in[3]) * in felem_square()
508 (in[7] << 2) + ((u64) in[4]) * (in[6] << 1) + in felem_square()
509 ((u64) in[5]) * (in[5] << 1); in felem_square()
510 tmp[11] = ((u64) in[3]) * (in[8] << 1) + ((u64) in[4]) * in felem_square()
511 (in[7] << 1) + ((u64) in[5]) * (in[6] << 1); in felem_square()
512 tmp[12] = ((u64) in[4]) * (in[8] << 1) + in felem_square()
513 ((u64) in[5]) * (in[7] << 2) + ((u64) in[6]) * in[6]; in felem_square()
514 tmp[13] = ((u64) in[5]) * (in[8] << 1) + in felem_square()
515 ((u64) in[6]) * (in[7] << 1); in felem_square()
516 tmp[14] = ((u64) in[6]) * (in[8] << 1) + in felem_square()
517 ((u64) in[7]) * (in[7] << 1); in felem_square()
518 tmp[15] = ((u64) in[7]) * (in[8] << 1); in felem_square()
519 tmp[16] = ((u64) in[8]) * in[8]; in felem_square()
530 u64 tmp[17]; in felem_mul()
532 tmp[0] = ((u64) in[0]) * in2[0]; in felem_mul()
533 tmp[1] = ((u64) in[0]) * (in2[1] << 0) + in felem_mul()
534 ((u64) in[1]) * (in2[0] << 0); in felem_mul()
535 tmp[2] = ((u64) in[0]) * (in2[2] << 0) + ((u64) in[1]) * in felem_mul()
536 (in2[1] << 1) + ((u64) in[2]) * (in2[0] << 0); in felem_mul()
537 tmp[3] = ((u64) in[0]) * (in2[3] << 0) + ((u64) in[1]) * in felem_mul()
538 (in2[2] << 0) + ((u64) in[2]) * (in2[1] << 0) + in felem_mul()
539 ((u64) in[3]) * (in2[0] << 0); in felem_mul()
540 tmp[4] = ((u64) in[0]) * (in2[4] << 0) + ((u64) in[1]) * in felem_mul()
541 (in2[3] << 1) + ((u64) in[2]) * (in2[2] << 0) + in felem_mul()
542 ((u64) in[3]) * (in2[1] << 1) + in felem_mul()
543 ((u64) in[4]) * (in2[0] << 0); in felem_mul()
544 tmp[5] = ((u64) in[0]) * (in2[5] << 0) + ((u64) in[1]) * in felem_mul()
545 (in2[4] << 0) + ((u64) in[2]) * (in2[3] << 0) + in felem_mul()
546 ((u64) in[3]) * (in2[2] << 0) + ((u64) in[4]) * in felem_mul()
547 (in2[1] << 0) + ((u64) in[5]) * (in2[0] << 0); in felem_mul()
548 tmp[6] = ((u64) in[0]) * (in2[6] << 0) + ((u64) in[1]) * in felem_mul()
549 (in2[5] << 1) + ((u64) in[2]) * (in2[4] << 0) + in felem_mul()
550 ((u64) in[3]) * (in2[3] << 1) + ((u64) in[4]) * in felem_mul()
551 (in2[2] << 0) + ((u64) in[5]) * (in2[1] << 1) + in felem_mul()
552 ((u64) in[6]) * (in2[0] << 0); in felem_mul()
553 tmp[7] = ((u64) in[0]) * (in2[7] << 0) + ((u64) in[1]) * in felem_mul()
554 (in2[6] << 0) + ((u64) in[2]) * (in2[5] << 0) + in felem_mul()
555 ((u64) in[3]) * (in2[4] << 0) + ((u64) in[4]) * in felem_mul()
556 (in2[3] << 0) + ((u64) in[5]) * (in2[2] << 0) + in felem_mul()
557 ((u64) in[6]) * (in2[1] << 0) + in felem_mul()
558 ((u64) in[7]) * (in2[0] << 0); in felem_mul()
561 tmp[8] = ((u64) in[0]) * (in2[8] << 0) + ((u64) in[1]) * in felem_mul()
562 (in2[7] << 1) + ((u64) in[2]) * (in2[6] << 0) + in felem_mul()
563 ((u64) in[3]) * (in2[5] << 1) + ((u64) in[4]) * in felem_mul()
564 (in2[4] << 0) + ((u64) in[5]) * (in2[3] << 1) + in felem_mul()
565 ((u64) in[6]) * (in2[2] << 0) + ((u64) in[7]) * in felem_mul()
566 (in2[1] << 1) + ((u64) in[8]) * (in2[0] << 0); in felem_mul()
567 tmp[9] = ((u64) in[1]) * (in2[8] << 0) + ((u64) in[2]) * in felem_mul()
568 (in2[7] << 0) + ((u64) in[3]) * (in2[6] << 0) + in felem_mul()
569 ((u64) in[4]) * (in2[5] << 0) + ((u64) in[5]) * in felem_mul()
570 (in2[4] << 0) + ((u64) in[6]) * (in2[3] << 0) + in felem_mul()
571 ((u64) in[7]) * (in2[2] << 0) + in felem_mul()
572 ((u64) in[8]) * (in2[1] << 0); in felem_mul()
573 tmp[10] = ((u64) in[2]) * (in2[8] << 0) + ((u64) in[3]) * in felem_mul()
574 (in2[7] << 1) + ((u64) in[4]) * (in2[6] << 0) + in felem_mul()
575 ((u64) in[5]) * (in2[5] << 1) + ((u64) in[6]) * in felem_mul()
576 (in2[4] << 0) + ((u64) in[7]) * (in2[3] << 1) + in felem_mul()
577 ((u64) in[8]) * (in2[2] << 0); in felem_mul()
578 tmp[11] = ((u64) in[3]) * (in2[8] << 0) + ((u64) in[4]) * in felem_mul()
579 (in2[7] << 0) + ((u64) in[5]) * (in2[6] << 0) + in felem_mul()
580 ((u64) in[6]) * (in2[5] << 0) + ((u64) in[7]) * in felem_mul()
581 (in2[4] << 0) + ((u64) in[8]) * (in2[3] << 0); in felem_mul()
582 tmp[12] = ((u64) in[4]) * (in2[8] << 0) + ((u64) in[5]) * in felem_mul()
583 (in2[7] << 1) + ((u64) in[6]) * (in2[6] << 0) + in felem_mul()
584 ((u64) in[7]) * (in2[5] << 1) + in felem_mul()
585 ((u64) in[8]) * (in2[4] << 0); in felem_mul()
586 tmp[13] = ((u64) in[5]) * (in2[8] << 0) + ((u64) in[6]) * in felem_mul()
587 (in2[7] << 0) + ((u64) in[7]) * (in2[6] << 0) + in felem_mul()
588 ((u64) in[8]) * (in2[5] << 0); in felem_mul()
589 tmp[14] = ((u64) in[6]) * (in2[8] << 0) + ((u64) in[7]) * in felem_mul()
590 (in2[7] << 1) + ((u64) in[8]) * (in2[6] << 0); in felem_mul()
591 tmp[15] = ((u64) in[7]) * (in2[8] << 0) + in felem_mul()
592 ((u64) in[8]) * (in2[7] << 0); in felem_mul()
593 tmp[16] = ((u64) in[8]) * (in2[8] << 0); in felem_mul()