Lines Matching defs:r01

409 	uint128_t r01 = { 0, 0 };
429 			r01 = add_128_128(r01, product);
430 			r2 += (r01.m_high < product.m_high);
433 		result[k] = r01.m_low;
434 		r01.m_low = r01.m_high;
435 		r01.m_high = r2;
439 	result[ndigits * 2 - 1] = r01.m_low;
446 	uint128_t r01 = { 0 };
453 		r01 = add_128_128(r01, product);
455 		result[k] = r01.m_low;
456 		r01.m_low = r01.m_high;
457 		r01.m_high = 0;
459 	result[k] = r01.m_low;
466 	uint128_t r01 = { 0, 0 };
490 			r01 = add_128_128(r01, product);
491 			r2 += (r01.m_high < product.m_high);
494 		result[k] = r01.m_low;
495 		r01.m_low = r01.m_high;
496 		r01.m_high = r2;
500 	result[ndigits * 2 - 1] = r01.m_low;