def t64.r.raw

bend-osdev-crc@0.1.0.0 · table.bend:109

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

109def t64.r.raw(xs: List<&2, U32>, r: Array<W.W64> & W.W64) -> Array<W.W64> & W.W64:
110  match xs:
111    case Nil{}:
112      r
113    case Con{h, t}:
114      (tab, +c) = r
115      t64.r.raw(t, t64.r.fin(Array.get(W.W64, tab, U32.and(U32.xor(W.W64.lo(c), h), 255)), c))

Uses (11)

Used by (1)