~/jendhub

def x64.start

bend-kit-hash@0.3.0.2 · hash.bend:586

import bend-kit-hash@0.3.0.2/hash.bend as Hash
import Base

586def x64.start(big: Bool, +len: U32, +seed: W64, a: Array<U32>) -> Array<U32> & W64:
587  match big:
588    case True{}:
589      x64.merge(dfrom(~V64, ~x64.lane, U32.to_nat(((len >> 5n) << 2n : U32)), a, 0, V64{W64.add(seed, W64{1625958382, 2915087830}), W64.add(seed, x64.P2()), seed, W64.add(seed, W64{1640531534, 2048144761})}))
590    case False{}:
591      (a, W64.add(seed, x64.P5()))

Uses (16)

Used by (1)