def gdiv

bend-collections-laws-math@1.0.0.0 · proofs/math/u64/u64div.bend:98

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

98def gdiv(a: U.U64, +d: U32, +c20: U32, +c12: U32, +c8: U32, +m12: U32, +m8: U32) -> U.U64:
99  U.U64{+lo, +hi} = a
100  g_t2(lo, hi, d, U32.add(U32.mul(U32.mod(hi, d), c12), U32.div(lo, c20)), c20, c12, c8, m12, m8)