def len_lo

bend-collections-laws-crypto@1.0.0.0 · src/crypto/sha/packed/core.bend:480

import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core.bend as Core

import Base

480def len_lo(+n: Nat) -> U32:
481  +d0 = Nat.div(n, 32n)
482  +d1 = Nat.div(d0, 256n)
483  +d2 = Nat.div(d1, 256n)
484  pack(U32.from_nat(Nat.mod(d2, 256n)), U32.from_nat(Nat.mod(d1, 256n)),
485    U32.from_nat(Nat.mod(d0, 256n)), U32.shln(U32.from_nat(Nat.mod(n, 32n)), 3n))

Uses (7)

Used by (70)