Lines Matching refs:r01
418 uint128_t r01 = { 0, 0 }; in vli_mult() local
438 r01 = add_128_128(r01, product); in vli_mult()
439 r2 += (r01.m_high < product.m_high); in vli_mult()
442 result[k] = r01.m_low; in vli_mult()
443 r01.m_low = r01.m_high; in vli_mult()
444 r01.m_high = r2; in vli_mult()
448 result[ndigits * 2 - 1] = r01.m_low; in vli_mult()
455 uint128_t r01 = { 0 }; in vli_umult() local
462 r01 = add_128_128(r01, product); in vli_umult()
464 result[k] = r01.m_low; in vli_umult()
465 r01.m_low = r01.m_high; in vli_umult()
466 r01.m_high = 0; in vli_umult()
468 result[k] = r01.m_low; in vli_umult()
475 uint128_t r01 = { 0, 0 }; in vli_square() local
499 r01 = add_128_128(r01, product); in vli_square()
500 r2 += (r01.m_high < product.m_high); in vli_square()
503 result[k] = r01.m_low; in vli_square()
504 r01.m_low = r01.m_high; in vli_square()
505 r01.m_high = r2; in vli_square()
509 result[ndigits * 2 - 1] = r01.m_low; in vli_square()