def mul32

bend-collections@1.0.0.0 · src/math/w64.bend:91

import Base
import bend-collections@1.0.0.0/src/math/u64.bend as W

91# the full product of two U32
92def mul32(+a: U32, +b: U32) -> W.U64:
93  mul32_h(U32.and(a, 65535), U32.shrn(a, 16n), U32.and(b, 65535), U32.shrn(b, 16n))