Lines Matching defs:r01
383 uint128_t r01 = { 0, 0 };
403 r01 = add_128_128(r01, product);
404 r2 += (r01.m_high < product.m_high);
407 result[k] = r01.m_low;
408 r01.m_low = r01.m_high;
409 r01.m_high = r2;
413 result[ndigits * 2 - 1] = r01.m_low;
420 uint128_t r01 = { 0 };
427 r01 = add_128_128(r01, product);
429 result[k] = r01.m_low;
430 r01.m_low = r01.m_high;
431 r01.m_high = 0;
433 result[k] = r01.m_low;
440 uint128_t r01 = { 0, 0 };
464 r01 = add_128_128(r01, product);
465 r2 += (r01.m_high < product.m_high);
468 result[k] = r01.m_low;
469 r01.m_low = r01.m_high;
470 r01.m_high = r2;
474 result[ndigits * 2 - 1] = r01.m_low;