def t64.fill.n

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

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

98def t64.fill.n(n: Nat, a: Array<W.W64>, +poly: W.W64, +i: U32) -> Array<W.W64>:
99  match n:
100    case 0n:
101      a
102    case 1n+p:
103      t64.fill.n(p, Array.set(W.W64, a, i, C.n64.bits(8n, poly, W.W64.from_parts(U32.shln(i, 24n), 0))), poly, U32.add(i, 1))