Function intnat::shoupMulHi(uint64_t, uint64_t)

Function Documentation

static inline uint64_t intnat::shoupMulHi(uint64_t a, uint64_t b)

High word of the 64x64-bit product, as used by the Shoup multiplication; uses the 128-bit type, the x86-64 mulq instruction, or 32-bit halves depending on the target.

Parameters
  • a – is the first factor.

  • b – is the second factor.

Returns

the upper 64 bits of a * b.