def r32.raw

bend-osdev-crc@0.1.0.0 · crc.bend:64

import Base

64# the register after the bytes xs, from register c (poly reflected)
65def r32.raw(xs: List<&2, U32>, +poly: U32, c: U32) -> U32:
66  match xs:
67    case Nil{}:
68      c
69    case Con{h, t}:
70      r32.raw(t, poly, r32.bits(8n, poly, U32.xor(c, U32.and(h, 255))))