def hs.stb.finish

bend-osdev-hashes@0.1.0.0 · streebog.bend:798

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs

798def hs.stb.finish(+st: Hs.HsMdState<HsStbCv>) -> Hs.HsW16:
799  +cnt = Hs.HsMd.count(~HsStbCv, st)
800  hs.stb.finish.of(Hs.HsMd.cv(~HsStbCv, st), Hs.hs.block.le(B.append(Hs.HsMd.pending(~HsStbCv, st), Con{1, B.zeros(U32.to_nat(U32.sub(63, cnt)))})), cnt)