def fc.v

bend-osdev-legacy-ciphers@0.1.0.0 · fcrypt.bend:185

import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W

185# the 56-bit value of the key bytes xs (parity bits dropped), onto v
186def fc.v(xs: List<&2, U32>, v: W.W64) -> W.W64:
187  match xs:
188    case Nil{}:
189      v
190    case Con{x, t}:
191      fc.v(t, W.W64.or(W.W64.shl(v, 7n), W.W64.from_u32(U32.shrn(U32.and(255, x), 1n))))