reed_solomon_simd/engine/
utils.rs1use crate::engine::{fwht, tables, Engine, GfElement, ShardsRefMut, GF_BITS, GF_ORDER};
6use std::iter::zip;
7
8#[inline(always)]
20pub fn eval_poly(erasures: &mut [GfElement; GF_ORDER], truncated_size: usize) {
21 let log_walsh = &*tables::LOG_WALSH;
22
23 fwht::fwht(erasures, truncated_size);
24
25 for (e, factor) in std::iter::zip(erasures.iter_mut(), log_walsh.iter()) {
26 let product = u32::from(*e) * u32::from(*factor);
27 *e = add_mod(product as GfElement, (product >> GF_BITS) as GfElement);
28 }
29
30 fwht::fwht(erasures, GF_ORDER);
31}
32
33#[inline(always)]
35pub fn xor(xs: &mut [[u8; 64]], ys: &[[u8; 64]]) {
36 debug_assert_eq!(xs.len(), ys.len());
37
38 for (x_chunk, y_chunk) in zip(xs.iter_mut(), ys.iter()) {
39 for (x, y) in zip(x_chunk.iter_mut(), y_chunk.iter()) {
40 *x ^= y;
41 }
42 }
43}
44
45#[inline(always)]
49pub fn xor_within(data: &mut ShardsRefMut, x: usize, y: usize, count: usize) {
50 let (xs, ys) = data.flat2_mut(x, y, count);
51 xor(xs, ys);
52}
53
54#[inline(always)]
59pub(crate) fn add_mod(x: GfElement, y: GfElement) -> GfElement {
60 let sum = u32::from(x) + u32::from(y);
61 (sum + (sum >> GF_BITS)) as GfElement
62}
63
64#[inline(always)]
66pub(crate) fn sub_mod(x: GfElement, y: GfElement) -> GfElement {
67 let dif = u32::from(x).wrapping_sub(u32::from(y));
68 dif.wrapping_add(dif >> GF_BITS) as GfElement
69}
70
71#[inline(always)]
76pub(crate) fn fft_skew_end(
77 engine: &impl Engine,
78 data: &mut ShardsRefMut,
79 pos: usize,
80 size: usize,
81 truncated_size: usize,
82) {
83 engine.fft(data, pos, size, truncated_size, pos + size);
84}
85
86#[inline(always)]
88pub(crate) fn ifft_skew_end(
89 engine: &impl Engine,
90 data: &mut ShardsRefMut,
91 pos: usize,
92 size: usize,
93 truncated_size: usize,
94) {
95 engine.ifft(data, pos, size, truncated_size, pos + size);
96}
97
98pub(crate) fn formal_derivative(data: &mut ShardsRefMut) {
100 for i in 1..data.len() {
101 let width: usize = 1 << i.trailing_zeros();
102 xor_within(data, i - width, i, width);
103 }
104}