~/jendhub

def redc32_p

bend-collections-laws-crypto@1.0.0.0 · src/math/w64.bend:666

import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as W64
import Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W

666def redc32_p(+m: U32, +t: W.U64, +p: W.U64) -> U32:
667  redc32_s(m, U32.add(hi(t), hi(p)), U32.add(U32.add(hi(t), hi(p)), b32(U32.is_lt(U32.add(lo(t), lo(p)), lo(t)))), U32.is_lt(U32.add(hi(t), hi(p)), hi(t)))

Uses (8)

Used by (1)