def W64.mul_go

bendtorch-load@1.3.0.0 · main.bend:47

import bendtorch-load@1.3.0.0/main.bend as BendtorchLoad

import Base

47def W64.mul_go(+h: U32, +k: U32, +p0: U32, +p1: U32) -> W64:
48  W64.add(W64{((h * k : U32) + U32.shrn(p1, 16n) : U32), p0}, W64{0, U32.shln(p1, 16n)})

Uses (7)

Used by (1)

bendtorch-load@1.3.0.0/main:W64.mul_small