def fin8

mylsm-lsm-store@0.6.0.1 · src/hub_sha/core.bend:892

import Base
import mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend as S

892# Apply SHA-256 round 8 to the compression state.
893def fin8(
894  +t0: U32,
895  +t1: U32,
896  +t2: U32,
897  +t3: U32,
898  +t4: U32,
899  +t5: U32,
900  +t6: U32,
901  +t7: U32,
902  +byte_length: Nat,
903  +extra: Nat,
904  state: S.State
905) -> S.State:
906  fips_compress16(pack(t0, t1, t2, t3), pack(t4, t5, t6, t7), pack(128, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), pack(0, 0, 0, 0), len_hi(byte_length), len_lo(byte_length),
907    extra, state)