def W64.mul

bend-osdev-word64@0.1.1.0 · word64.bend:148

import Base

148def W64.mul(a: W64, b: W64) -> W64:
149  match a b:
150    case W64{ah, +al} W64{bh, +bl}:
151      W64{U32.add(U32.add(W64.mulhi(al, bl), U32.mul(al, bh)), U32.mul(ah, bl)), U32.mul(al, bl)}