Lines Matching full:uint64
313 func p256ReduceDegree(out *[p256Limbs]uint32, tmp [17]uint64) {
500 var tmp [17]uint64
502 tmp[0] = uint64(in[0]) * uint64(in[0])
503 tmp[1] = uint64(in[0]) * (uint64(in[1]) << 1)
504 tmp[2] = uint64(in[0])*(uint64(in[2])<<1) +
505 uint64(in[1])*(uint64(in[1])<<1)
506 tmp[3] = uint64(in[0])*(uint64(in[3])<<1) +
507 uint64(in[1])*(uint64(in[2])<<1)
508 tmp[4] = uint64(in[0])*(uint64(in[4])<<1) +
509 uint64(in[1])*(uint64(in[3])<<2) +
510 uint64(in[2])*uint64(in[2])
511 tmp[5] = uint64(in[0])*(uint64(in[5])<<1) +
512 uint64(in[1])*(uint64(in[4])<<1) +
513 uint64(in[2])*(uint64(in[3])<<1)
514 tmp[6] = uint64(in[0])*(uint64(in[6])<<1) +
515 uint64(in[1])*(uint64(in[5])<<2) +
516 uint64(in[2])*(uint64(in[4])<<1) +
517 uint64(in[3])*(uint64(in[3])<<1)
518 tmp[7] = uint64(in[0])*(uint64(in[7])<<1) +
519 uint64(in[1])*(uint64(in[6])<<1) +
520 uint64(in[2])*(uint64(in[5])<<1) +
521 uint64(in[3])*(uint64(in[4])<<1)
524 tmp[8] = uint64(in[0])*(uint64(in[8])<<1) +
525 uint64(in[1])*(uint64(in[7])<<2) +
526 uint64(in[2])*(uint64(in[6])<<1) +
527 uint64(in[3])*(uint64(in[5])<<2) +
528 uint64(in[4])*uint64(in[4])
529 tmp[9] = uint64(in[1])*(uint64(in[8])<<1) +
530 uint64(in[2])*(uint64(in[7])<<1) +
531 uint64(in[3])*(uint64(in[6])<<1) +
532 uint64(in[4])*(uint64(in[5])<<1)
533 tmp[10] = uint64(in[2])*(uint64(in[8])<<1) +
534 uint64(in[3])*(uint64(in[7])<<2) +
535 uint64(in[4])*(uint64(in[6])<<1) +
536 uint64(in[5])*(uint64(in[5])<<1)
537 tmp[11] = uint64(in[3])*(uint64(in[8])<<1) +
538 uint64(in[4])*(uint64(in[7])<<1) +
539 uint64(in[5])*(uint64(in[6])<<1)
540 tmp[12] = uint64(in[4])*(uint64(in[8])<<1) +
541 uint64(in[5])*(uint64(in[7])<<2) +
542 uint64(in[6])*uint64(in[6])
543 tmp[13] = uint64(in[5])*(uint64(in[8])<<1) +
544 uint64(in[6])*(uint64(in[7])<<1)
545 tmp[14] = uint64(in[6])*(uint64(in[8])<<1) +
546 uint64(in[7])*(uint64(in[7])<<1)
547 tmp[15] = uint64(in[7]) * (uint64(in[8]) << 1)
548 tmp[16] = uint64(in[8]) * uint64(in[8])
559 var tmp [17]uint64
561 tmp[0] = uint64(in[0]) * uint64(in2[0])
562 tmp[1] = uint64(in[0])*(uint64(in2[1])<<0) +
563 uint64(in[1])*(uint64(in2[0])<<0)
564 tmp[2] = uint64(in[0])*(uint64(in2[2])<<0) +
565 uint64(in[1])*(uint64(in2[1])<<1) +
566 uint64(in[2])*(uint64(in2[0])<<0)
567 tmp[3] = uint64(in[0])*(uint64(in2[3])<<0) +
568 uint64(in[1])*(uint64(in2[2])<<0) +
569 uint64(in[2])*(uint64(in2[1])<<0) +
570 uint64(in[3])*(uint64(in2[0])<<0)
571 tmp[4] = uint64(in[0])*(uint64(in2[4])<<0) +
572 uint64(in[1])*(uint64(in2[3])<<1) +
573 uint64(in[2])*(uint64(in2[2])<<0) +
574 uint64(in[3])*(uint64(in2[1])<<1) +
575 uint64(in[4])*(uint64(in2[0])<<0)
576 tmp[5] = uint64(in[0])*(uint64(in2[5])<<0) +
577 uint64(in[1])*(uint64(in2[4])<<0) +
578 uint64(in[2])*(uint64(in2[3])<<0) +
579 uint64(in[3])*(uint64(in2[2])<<0) +
580 uint64(in[4])*(uint64(in2[1])<<0) +
581 uint64(in[5])*(uint64(in2[0])<<0)
582 tmp[6] = uint64(in[0])*(uint64(in2[6])<<0) +
583 uint64(in[1])*(uint64(in2[5])<<1) +
584 uint64(in[2])*(uint64(in2[4])<<0) +
585 uint64(in[3])*(uint64(in2[3])<<1) +
586 uint64(in[4])*(uint64(in2[2])<<0) +
587 uint64(in[5])*(uint64(in2[1])<<1) +
588 uint64(in[6])*(uint64(in2[0])<<0)
589 tmp[7] = uint64(in[0])*(uint64(in2[7])<<0) +
590 uint64(in[1])*(uint64(in2[6])<<0) +
591 uint64(in[2])*(uint64(in2[5])<<0) +
592 uint64(in[3])*(uint64(in2[4])<<0) +
593 uint64(in[4])*(uint64(in2[3])<<0) +
594 uint64(in[5])*(uint64(in2[2])<<0) +
595 uint64(in[6])*(uint64(in2[1])<<0) +
596 uint64(in[7])*(uint64(in2[0])<<0)
599 tmp[8] = uint64(in[0])*(uint64(in2[8])<<0) +
600 uint64(in[1])*(uint64(in2[7])<<1) +
601 uint64(in[2])*(uint64(in2[6])<<0) +
602 uint64(in[3])*(uint64(in2[5])<<1) +
603 uint64(in[4])*(uint64(in2[4])<<0) +
604 uint64(in[5])*(uint64(in2[3])<<1) +
605 uint64(in[6])*(uint64(in2[2])<<0) +
606 uint64(in[7])*(uint64(in2[1])<<1) +
607 uint64(in[8])*(uint64(in2[0])<<0)
608 tmp[9] = uint64(in[1])*(uint64(in2[8])<<0) +
609 uint64(in[2])*(uint64(in2[7])<<0) +
610 uint64(in[3])*(uint64(in2[6])<<0) +
611 uint64(in[4])*(uint64(in2[5])<<0) +
612 uint64(in[5])*(uint64(in2[4])<<0) +
613 uint64(in[6])*(uint64(in2[3])<<0) +
614 uint64(in[7])*(uint64(in2[2])<<0) +
615 uint64(in[8])*(uint64(in2[1])<<0)
616 tmp[10] = uint64(in[2])*(uint64(in2[8])<<0) +
617 uint64(in[3])*(uint64(in2[7])<<1) +
618 uint64(in[4])*(uint64(in2[6])<<0) +
619 uint64(in[5])*(uint64(in2[5])<<1) +
620 uint64(in[6])*(uint64(in2[4])<<0) +
621 uint64(in[7])*(uint64(in2[3])<<1) +
622 uint64(in[8])*(uint64(in2[2])<<0)
623 tmp[11] = uint64(in[3])*(uint64(in2[8])<<0) +
624 uint64(in[4])*(uint64(in2[7])<<0) +
625 uint64(in[5])*(uint64(in2[6])<<0) +
626 uint64(in[6])*(uint64(in2[5])<<0) +
627 uint64(in[7])*(uint64(in2[4])<<0) +
628 uint64(in[8])*(uint64(in2[3])<<0)
629 tmp[12] = uint64(in[4])*(uint64(in2[8])<<0) +
630 uint64(in[5])*(uint64(in2[7])<<1) +
631 uint64(in[6])*(uint64(in2[6])<<0) +
632 uint64(in[7])*(uint64(in2[5])<<1) +
633 uint64(in[8])*(uint64(in2[4])<<0)
634 tmp[13] = uint64(in[5])*(uint64(in2[8])<<0) +
635 uint64(in[6])*(uint64(in2[7])<<0) +
636 uint64(in[7])*(uint64(in2[6])<<0) +
637 uint64(in[8])*(uint64(in2[5])<<0)
638 tmp[14] = uint64(in[6])*(uint64(in2[8])<<0) +
639 uint64(in[7])*(uint64(in2[7])<<1) +
640 uint64(in[8])*(uint64(in2[6])<<0)
641 tmp[15] = uint64(in[7])*(uint64(in2[8])<<0) +
642 uint64(in[8])*(uint64(in2[7])<<0)
643 tmp[16] = uint64(in[8]) * (uint64(in2[8]) << 0)
