D | ecc.c | 410 uint128_t product; in vli_mult() local 412 product = mul_64_64(left[i], right[k - i]); in vli_mult() 414 r01 = add_128_128(r01, product); in vli_mult() 415 r2 += (r01.m_high < product.m_high); in vli_mult() 427 /* Compute product = left * right, for a small right value. */ 435 uint128_t product; in vli_umult() local 437 product = mul_64_64(left[k], right); in vli_umult() 438 r01 = add_128_128(r01, product); in vli_umult() 464 uint128_t product; in vli_square() local 466 product = mul_64_64(left[i], left[k - i]); in vli_square() [all …]
|