def W64.div10_go

bendtorch-load@1.3.0.0 · main.bend:56

import Base

56def W64.div10_go(+qh: U32, +r1: U32, +q1: U32, +l: U32) -> W64 & U32:
57  +t = (U32.shln(r1, 16n) + U32.and(l, 65535) : U32)
58  Tuple{W64{qh, U32.or(U32.shln(q1, 16n), U32.div(t, 10))}, U32.mod(t, 10)}