Lines Matching refs:r01
394 uint128_t r01 = { 0, 0 }; in vli_mult() local
414 r01 = add_128_128(r01, product); in vli_mult()
415 r2 += (r01.m_high < product.m_high); in vli_mult()
418 result[k] = r01.m_low; in vli_mult()
419 r01.m_low = r01.m_high; in vli_mult()
420 r01.m_high = r2; in vli_mult()
424 result[ndigits * 2 - 1] = r01.m_low; in vli_mult()
431 uint128_t r01 = { 0 }; in vli_umult() local
438 r01 = add_128_128(r01, product); in vli_umult()
440 result[k] = r01.m_low; in vli_umult()
441 r01.m_low = r01.m_high; in vli_umult()
442 r01.m_high = 0; in vli_umult()
444 result[k] = r01.m_low; in vli_umult()
451 uint128_t r01 = { 0, 0 }; in vli_square() local
475 r01 = add_128_128(r01, product); in vli_square()
476 r2 += (r01.m_high < product.m_high); in vli_square()
479 result[k] = r01.m_low; in vli_square()
480 r01.m_low = r01.m_high; in vli_square()
481 r01.m_high = r2; in vli_square()
485 result[ndigits * 2 - 1] = r01.m_low; in vli_square()