def t32.fill.n

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

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

23def t32.fill.n(n: Nat, a: Array<U32>, +poly: U32, +shift: Nat, +topbit: U32, +mask: U32, +i: U32) -> Array<U32>:
24  match n:
25    case 0n:
26      a
27    case 1n+p:
28      t32.fill.n(p, Array.set(U32, a, i, C.n32.bits(8n, poly, topbit, mask, U32.shln(i, shift))), poly, shift, topbit, mask, U32.add(i, 1))