85inline void mul64x64_128(uint64_t a, uint64_t b, uint64_t* lo, uint64_t* hi)
87#if defined(BOTAN_FAST_64X64_MUL)
88 BOTAN_FAST_64X64_MUL(a, b, lo, hi);
96 const size_t HWORD_BITS = 32;
97 const uint32_t HWORD_MASK = 0xFFFFFFFF;
99 const uint32_t a_hi = (a >> HWORD_BITS);
100 const uint32_t a_lo = (a & HWORD_MASK);
101 const uint32_t b_hi = (b >> HWORD_BITS);
102 const uint32_t b_lo = (b & HWORD_MASK);
104 uint64_t x0 =
static_cast<uint64_t
>(a_hi) * b_hi;
105 uint64_t x1 =
static_cast<uint64_t
>(a_lo) * b_hi;
106 uint64_t x2 =
static_cast<uint64_t
>(a_hi) * b_lo;
107 uint64_t x3 =
static_cast<uint64_t
>(a_lo) * b_lo;
110 x2 += x3 >> HWORD_BITS;
116 x0 +=
static_cast<uint64_t
>(
static_cast<bool>(x2 < x1)) << HWORD_BITS;
118 *hi = x0 + (x2 >> HWORD_BITS);
119 *lo = ((x2 & HWORD_MASK) << HWORD_BITS) + (x3 & HWORD_MASK);