Lines Matching refs:input
41 inline static void Hacl_Bignum_Fproduct_copy_from_wide_(uint64_t *output, uint128_t *input)
46 uint128_t xi = input[i];
52 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(uint128_t *output, uint64_t *input, uint64_t s)
58 uint64_t yi = input[i];
97 Hacl_Bignum_Fmul_mul_shift_reduce_(uint128_t *output, uint64_t *input, uint64_t *input2)
106 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i0);
107 Hacl_Bignum_Fmul_shift_reduce(input);
112 Hacl_Bignum_Fproduct_sum_scalar_multiplication_(output, input, input2i);
115 inline static void Hacl_Bignum_Fmul_fmul(uint64_t *output, uint64_t *input, uint64_t *input2)
118 memcpy(tmp, input, (uint32_t)5U * sizeof input[0U]);
207 Hacl_Bignum_Fsquare_fsquare_times_(uint64_t *input, uint128_t *tmp, uint32_t count1)
210 Hacl_Bignum_Fsquare_fsquare_(tmp, input);
212 Hacl_Bignum_Fsquare_fsquare_(tmp, input);
216 Hacl_Bignum_Fsquare_fsquare_times(uint64_t *output, uint64_t *input, uint32_t count1)
226 memcpy(output, input, (uint32_t)5U * sizeof input[0U]);
370 inline static void Hacl_Bignum_crecip(uint64_t *output, uint64_t *input)
372 Hacl_Bignum_Crecip_crecip(output, input);
407 static void Hacl_EC_Point_copy(uint64_t *output, uint64_t *input)
409 memcpy(output, input, (uint32_t)5U * sizeof input[0U]);
411 input + (uint32_t)5U,
412 (uint32_t)5U * sizeof (input + (uint32_t)5U)[0U]);
415 static void Hacl_EC_Format_fexpand(uint64_t *output, uint8_t *input)
417 uint64_t i0 = load64_le(input);
418 uint8_t *x00 = input + (uint32_t)6U;
420 uint8_t *x01 = input + (uint32_t)12U;
422 uint8_t *x02 = input + (uint32_t)19U;
424 uint8_t *x0 = input + (uint32_t)24U;
438 static void Hacl_EC_Format_fcontract_first_carry_pass(uint64_t *input)
440 uint64_t t0 = input[0U];
441 uint64_t t1 = input[1U];
442 uint64_t t2 = input[2U];
443 uint64_t t3 = input[3U];
444 uint64_t t4 = input[4U];
453 input[0U] = t0_;
454 input[1U] = t1__;
455 input[2U] = t2__;
456 input[3U] = t3__;
457 input[4U] = t4_;
460 static void Hacl_EC_Format_fcontract_first_carry_full(uint64_t *input)
462 Hacl_EC_Format_fcontract_first_carry_pass(input);
463 Hacl_Bignum_Modulo_carry_top(input);
466 static void Hacl_EC_Format_fcontract_second_carry_pass(uint64_t *input)
468 uint64_t t0 = input[0U];
469 uint64_t t1 = input[1U];
470 uint64_t t2 = input[2U];
471 uint64_t t3 = input[3U];
472 uint64_t t4 = input[4U];
481 input[0U] = t0_;
482 input[1U] = t1__;
483 input[2U] = t2__;
484 input[3U] = t3__;
485 input[4U] = t4_;
488 static void Hacl_EC_Format_fcontract_second_carry_full(uint64_t *input)
494 Hacl_EC_Format_fcontract_second_carry_pass(input);
495 Hacl_Bignum_Modulo_carry_top(input);
496 i0 = input[0U];
497 i1 = input[1U];
500 input[0U] = i0_;
501 input[1U] = i1_;
504 static void Hacl_EC_Format_fcontract_trim(uint64_t *input)
506 uint64_t a0 = input[0U];
507 uint64_t a1 = input[1U];
508 uint64_t a2 = input[2U];
509 uint64_t a3 = input[3U];
510 uint64_t a4 = input[4U];
522 input[0U] = a0_;
523 input[1U] = a1_;
524 input[2U] = a2_;
525 input[3U] = a3_;
526 input[4U] = a4_;
529 static void Hacl_EC_Format_fcontract_store(uint8_t *output, uint64_t *input)
531 uint64_t t0 = input[0U];
532 uint64_t t1 = input[1U];
533 uint64_t t2 = input[2U];
534 uint64_t t3 = input[3U];
535 uint64_t t4 = input[4U];
550 static void Hacl_EC_Format_fcontract(uint8_t *output, uint64_t *input)
552 Hacl_EC_Format_fcontract_first_carry_full(input);
553 Hacl_EC_Format_fcontract_second_carry_full(input);
554 Hacl_EC_Format_fcontract_trim(input);
555 Hacl_EC_Format_fcontract_store(output, input);