blob: 346e6f83fc1ddfbd0663450af7b1301634ff9d34 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
val Poly32Mod2 : forall ('N : Int), 'N >= 0 & 32 >= 0 & 32 >= 0.
(bits('N), bits(32)) -> bits(32) effect {escape}
function Poly32Mod2 (data__arg, poly) = {
data = data__arg;
assert('N > 32, "(N > 32)");
let poly' : bits('N) = extzv(poly) in
foreach (i from ('N - 1) to 32 by 1 in dec)
if [data[i]] == 0b1 then data = data | (poly' << i - 32) else ();
return(slice(data, 0, 32))
}
|
