D | ecc.c | 434 uint128_t product; in vli_mult() local 436 product = mul_64_64(left[i], right[k - i]); in vli_mult() 438 r01 = add_128_128(r01, product); in vli_mult() 439 r2 += (r01.m_high < product.m_high); in vli_mult() 451 /* Compute product = left * right, for a small right value. */ 459 uint128_t product; in vli_umult() local 461 product = mul_64_64(left[k], right); in vli_umult() 462 r01 = add_128_128(r01, product); in vli_umult() 488 uint128_t product; in vli_square() local 490 product = mul_64_64(left[i], left[k - i]); in vli_square() [all …]
|