def W64.mulhi
import bend-osdev-word64@0.1.1.0/word64.bend as Word64import Base
141def W64.mulhi(+a: U32, +b: U32) -> U32:
142 +a0 = U32.and(a, 65535)
143 +a1 = U32.shrn(a, 16n)
144 +b0 = U32.and(b, 65535)
145 +b1 = U32.shrn(b, 16n)
146 W64.mulhi.go(U32.mul(a0, b0), U32.mul(a0, b1), U32.mul(a1, b0), U32.mul(a1, b1))