def hs.md5.step

bend-osdev-hashes@0.1.0.0 · md5.bend:28

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

28# one step: b + ((a + f + X[k] + T[i]) <<< s)
29def hs.md5.step(a: U32, b: U32, f: U32, x: U32, t: U32, +s: Nat) -> U32:
30  U32.add(b, Hs.hs.rotl(U32.add(U32.add(a, f), U32.add(x, t)), s))