def t32.fill.r

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

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

16def t32.fill.r(n: Nat, a: Array<U32>, +poly: U32, +i: U32) -> Array<U32>:
17  match n:
18    case 0n:
19      a
20    case 1n+p:
21      t32.fill.r(p, Array.set(U32, a, i, C.r32.bits(8n, poly, i)), poly, U32.add(i, 1))