Core.window_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 195-240 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=195&end_line=240

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

# Fast path for the 16-word blocks produced by block_bytes. It executes the
# seed rounds directly and constructs only the fixed rolling window.
def window_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,
  +extra: Nat,
  +ks: List<&2, U32>,
  +state: S.State
) -> S.State:
  match ks:
    case k0 <> k1 <> k2 <> k3 <> k4 <> k5 <> k6 <> k7 <>
      k8 <> k9 <> k10 <> k11 <> k12 <> k13 <> k14 <> k15 <> kt:
      s1 = step(state, k0, word_a)
      s2 = step(s1, k1, word_b)
      s3 = step(s2, k2, word_c)
      s4 = step(s3, k3, word_d)
      s5 = step(s4, k4, word_e)
      s6 = step(s5, k5, word_f)
      s7 = step(s6, k6, word_g)
      s8 = step(s7, k7, word_h)
      s9 = step(s8, k8, word_i)
      s10 = step(s9, k9, word_j)
      s11 = step(s10, k10, round_constant)
      s12 = step(s11, k11, word_l)
      s13 = step(s12, k12, word_m)
      s14 = step(s13, k13, count)
      s15 = step(s14, k14, word_o)
      s16 = step(s15, k15, word_p)
      feedforward(state, window_rounds(extra,
        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}, kt, s16))
    case _:
      fused_compress([word_a, word_b, word_c, word_d, word_e, word_f, word_g, word_h, word_i, word_j, round_constant, word_l, word_m, count, word_o, word_p], extra, ks, state)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  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=fused_compress
  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/core.bend&name=window_rounds
  https://jend.leeeet.dev/definition.txt?path=mylsm-lsm-store@0.6.0.1/src/hub_sha/state.bend&name=State