use std::mem::size_of;
use crate::{
layouts::{Backend, HostDataMut, HostDataRef, VecZnxBackendMut, VecZnxBackendRef, ZnxView, ZnxViewMut},
reference::znx::{ZnxCopy, ZnxRotate, ZnxZero},
};
pub fn vec_znx_rotate_assign_tmp_bytes(n: usize) -> usize {
n * size_of::<i64>()
}
pub fn vec_znx_rotate<'r, 'a, BE>(
p: i64,
res: &mut VecZnxBackendMut<'r, BE>,
res_col: usize,
a: &VecZnxBackendRef<'a, BE>,
a_col: usize,
) where
BE: Backend + ZnxRotate + ZnxZero,
BE::BufMut<'r>: HostDataMut,
BE::BufRef<'a>: HostDataRef,
{
#[cfg(debug_assertions)]
{
assert_eq!(res.n(), a.n())
}
let res_size: usize = res.size();
let a_size: usize = a.size();
let min_size: usize = res_size.min(a_size);
for j in 0..min_size {
BE::znx_rotate(p, res.at_mut(res_col, j), a.at(a_col, j))
}
for j in min_size..res_size {
BE::znx_zero(res.at_mut(res_col, j));
}
}
pub fn vec_znx_rotate_assign<'r, BE>(p: i64, res: &mut VecZnxBackendMut<'r, BE>, res_col: usize, tmp: &mut [i64])
where
BE: Backend + ZnxRotate + ZnxCopy,
BE::BufMut<'r>: HostDataMut,
{
#[cfg(debug_assertions)]
{
assert_eq!(res.n(), tmp.len());
}
for j in 0..res.size() {
BE::znx_rotate(p, tmp, res.at(res_col, j));
BE::znx_copy(res.at_mut(res_col, j), tmp);
}
}