Lines Matching refs:r01
380 uint128_t r01 = { 0, 0 }; in vli_mult() local
400 r01 = add_128_128(r01, product); in vli_mult()
401 r2 += (r01.m_high < product.m_high); in vli_mult()
404 result[k] = r01.m_low; in vli_mult()
405 r01.m_low = r01.m_high; in vli_mult()
406 r01.m_high = r2; in vli_mult()
410 result[ndigits * 2 - 1] = r01.m_low; in vli_mult()
417 uint128_t r01 = { 0 }; in vli_umult() local
424 r01 = add_128_128(r01, product); in vli_umult()
426 result[k] = r01.m_low; in vli_umult()
427 r01.m_low = r01.m_high; in vli_umult()
428 r01.m_high = 0; in vli_umult()
430 result[k] = r01.m_low; in vli_umult()
437 uint128_t r01 = { 0, 0 }; in vli_square() local
461 r01 = add_128_128(r01, product); in vli_square()
462 r2 += (r01.m_high < product.m_high); in vli_square()
465 result[k] = r01.m_low; in vli_square()
466 r01.m_low = r01.m_high; in vli_square()
467 r01.m_high = r2; in vli_square()
471 result[ndigits * 2 - 1] = r01.m_low; in vli_square()