def mul32.of

bend-kit-hash@0.3.0.2 · hash.bend:26

import Base

26# The full 64-bit product of two U32, from four 16-bit partial products.
27def mul32.of(+p00: U32, +p01: U32, +p10: U32, +p11: U32) -> W64:
28  +mid = ((p00 >> 16n) + (p01 .&. 65535) + (p10 .&. 65535) : U32)
29  W64{(p11 + (p01 >> 16n) + (p10 >> 16n) + (mid >> 16n) : U32), ((p00 .&. 65535) .|. (mid << 16n) : U32)}