Searched refs:xi (Results 1 – 2 of 2) sorted by relevance
46 uint128_t xi = input[i]; in Hacl_Bignum_Fproduct_copy_from_wide_() local47 output[i] = (uint64_t)xi; in Hacl_Bignum_Fproduct_copy_from_wide_()57 uint128_t xi = output[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local59 output[i] = xi + (uint128_t)yi * s; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()294 uint64_t xi = a[i]; in Hacl_Bignum_fsum() local296 a[i] = xi + yi; in Hacl_Bignum_fsum()323 uint64_t xi = a[i]; in Hacl_Bignum_fdifference() local325 a[i] = yi - xi; in Hacl_Bignum_fdifference()349 uint64_t xi = b[i]; in Hacl_Bignum_fscalar() local350 tmp[i] = (uint128_t)xi * s; in Hacl_Bignum_fscalar()
50 FStar_UInt128_uint128 xi = input[i]; in Hacl_Bignum_Fproduct_copy_from_wide_() local51 output[i] = FStar_UInt128_uint128_to_uint64(xi); in Hacl_Bignum_Fproduct_copy_from_wide_()65 FStar_UInt128_uint128 xi = output[i]; in Hacl_Bignum_Fproduct_sum_scalar_multiplication_() local67 output[i] = FStar_UInt128_add_mod(xi, FStar_UInt128_mul_wide(yi, s)); in Hacl_Bignum_Fproduct_sum_scalar_multiplication_()336 uint64_t xi = a[i]; in Hacl_Bignum_fsum() local338 a[i] = xi + yi; in Hacl_Bignum_fsum()365 uint64_t xi = a[i]; in Hacl_Bignum_fdifference() local367 a[i] = yi - xi; in Hacl_Bignum_fdifference()391 uint64_t xi = b[i]; in Hacl_Bignum_fscalar() local392 tmp[i] = FStar_UInt128_mul_wide(xi, s); in Hacl_Bignum_fscalar()
Completed in 7 milliseconds