def hs.michael.pad

bend-osdev-hashes@0.1.0.0 · michael.bend:67

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

67# the padding after cnt bytes of an unfinished word: 0x5a, then four to
68# seven zeros, to a whole number of words
69def hs.michael.pad(cnt: U32) -> List<&2, U32>:
70  Con{90, B.zeros(U32.to_nat(U32.add(4, U32.and(U32.sub(3, cnt), 3))))}