Core.fips_compress16: def of mylsm-lsm-store@0.6.0.1
Import: import mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend as Core
Lines 743-780 of mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend: https://jend.leeeet.dev/read.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend&start_line=743&end_line=780

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

# window_compress16 specialized to the FIPS table: no constant list is walked.
def fips_compress16(
  +word_a: U32,
  +word_b: U32,
  +word_c: U32,
  +word_d: U32,
  +word_e: U32,
  +word_f: U32,
  +word_g: U32,
  +word_h: U32,
  +word_i: U32,
  +word_j: U32,
  +round_constant: U32,
  +word_l: U32,
  +word_m: U32,
  +count: U32,
  +word_o: U32,
  +word_p: U32,
  +rounds_left: Nat,
  +state: S.State
) -> S.State:
  s1 = step(state, 1116352408, word_a)
  s2 = step(s1, 1899447441, word_b)
  s3 = step(s2, 3049323471, word_c)
  s4 = step(s3, 3921009573, word_d)
  s5 = step(s4, 961987163, word_e)
  s6 = step(s5, 1508970993, word_f)
  s7 = step(s6, 2453635748, word_g)
  s8 = step(s7, 2870763221, word_h)
  s9 = step(s8, 3624381080, word_i)
  s10 = step(s9, 310598401, word_j)
  s11 = step(s10, 607225278, round_constant)
  s12 = step(s11, 1426881987, word_l)
  s13 = step(s12, 1925078388, word_m)
  s14 = step(s13, 2162078206, count)
  s15 = step(s14, 2614888103, word_o)
  s16 = step(s15, 3248222580, word_p)
  feedforward(state, kr16(rounds_left, W{word_p, word_o, count, word_m, word_l, round_constant, word_j, word_i, word_h, word_g, word_f, word_e, word_d, word_c, word_b, word_a}, s16))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend&name=ShaWindow
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend&name=feedforward
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend&name=kr16
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/core.bend&name=step
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend&name=State