2021-01-03 15:09:26 -06:00
|
|
|
macro_rules! impl_op_test {
|
|
|
|
{ unary, $vector:ty, $scalar:ty, $trait:ident :: $fn:ident } => {
|
|
|
|
test_helpers::test_lanes! {
|
|
|
|
fn $fn<const LANES: usize>() {
|
|
|
|
test_helpers::test_unary_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&<$vector as core::ops::$trait>::$fn,
|
|
|
|
&<$scalar as core::ops::$trait>::$fn,
|
|
|
|
&|_| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
{ binary, $vector:ty, $scalar:ty, $trait:ident :: $fn:ident, $trait_assign:ident :: $fn_assign:ident } => {
|
|
|
|
mod $fn {
|
|
|
|
use super::*;
|
|
|
|
|
|
|
|
test_helpers::test_lanes! {
|
|
|
|
fn normal<const LANES: usize>() {
|
|
|
|
test_helpers::test_binary_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&<$vector as core::ops::$trait>::$fn,
|
|
|
|
&<$scalar as core::ops::$trait>::$fn,
|
|
|
|
&|_, _| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn scalar_rhs<const LANES: usize>() {
|
|
|
|
test_helpers::test_binary_scalar_rhs_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&<$vector as core::ops::$trait<$scalar>>::$fn,
|
|
|
|
&<$scalar as core::ops::$trait>::$fn,
|
|
|
|
&|_, _| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn scalar_lhs<const LANES: usize>() {
|
|
|
|
test_helpers::test_binary_scalar_lhs_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&<$scalar as core::ops::$trait<$vector>>::$fn,
|
|
|
|
&<$scalar as core::ops::$trait>::$fn,
|
|
|
|
&|_, _| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
);
|
|
|
|
}
|
|
|
|
|
|
|
|
fn assign<const LANES: usize>() {
|
|
|
|
test_helpers::test_binary_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&|mut a, b| { <$vector as core::ops::$trait_assign>::$fn_assign(&mut a, b); a },
|
|
|
|
&|mut a, b| { <$scalar as core::ops::$trait_assign>::$fn_assign(&mut a, b); a },
|
|
|
|
&|_, _| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn assign_scalar_rhs<const LANES: usize>() {
|
|
|
|
test_helpers::test_binary_scalar_rhs_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&|mut a, b| { <$vector as core::ops::$trait_assign<$scalar>>::$fn_assign(&mut a, b); a },
|
|
|
|
&|mut a, b| { <$scalar as core::ops::$trait_assign>::$fn_assign(&mut a, b); a },
|
|
|
|
&|_, _| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
}
|
|
|
|
|
|
|
|
macro_rules! impl_tests {
|
|
|
|
{ $vector:ident, $scalar:tt, $int_scalar:tt } => {
|
|
|
|
mod $scalar {
|
|
|
|
type Vector<const LANES: usize> = core_simd::$vector<LANES>;
|
|
|
|
type Scalar = $scalar;
|
|
|
|
type IntScalar = $int_scalar;
|
2021-01-07 00:26:29 -06:00
|
|
|
|
2021-01-03 15:09:26 -06:00
|
|
|
impl_op_test! { unary, Vector<LANES>, Scalar, Neg::neg }
|
|
|
|
impl_op_test! { binary, Vector<LANES>, Scalar, Add::add, AddAssign::add_assign }
|
|
|
|
impl_op_test! { binary, Vector<LANES>, Scalar, Sub::sub, SubAssign::sub_assign }
|
|
|
|
impl_op_test! { binary, Vector<LANES>, Scalar, Mul::mul, SubAssign::sub_assign }
|
|
|
|
impl_op_test! { binary, Vector<LANES>, Scalar, Div::div, DivAssign::div_assign }
|
|
|
|
impl_op_test! { binary, Vector<LANES>, Scalar, Rem::rem, RemAssign::rem_assign }
|
|
|
|
|
|
|
|
test_helpers::test_lanes! {
|
|
|
|
fn abs<const LANES: usize>() {
|
|
|
|
test_helpers::test_unary_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&Vector::<LANES>::abs,
|
|
|
|
&Scalar::abs,
|
|
|
|
&|_| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn ceil<const LANES: usize>() {
|
|
|
|
test_helpers::test_unary_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&Vector::<LANES>::ceil,
|
|
|
|
&Scalar::ceil,
|
|
|
|
&|_| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn floor<const LANES: usize>() {
|
|
|
|
test_helpers::test_unary_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&Vector::<LANES>::floor,
|
|
|
|
&Scalar::floor,
|
|
|
|
&|_| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn round_from_int<const LANES: usize>() {
|
|
|
|
test_helpers::test_unary_elementwise(
|
2021-02-13 01:14:47 -06:00
|
|
|
&Vector::<LANES>::round_from_int,
|
|
|
|
&|x| x as Scalar,
|
|
|
|
&|_| true,
|
2021-01-03 15:09:26 -06:00
|
|
|
)
|
|
|
|
}
|
|
|
|
|
|
|
|
fn to_int_unchecked<const LANES: usize>() {
|
|
|
|
// The maximum integer that can be represented by the equivalently sized float has
|
|
|
|
// all of the mantissa digits set to 1, pushed up to the MSB.
|
|
|
|
const ALL_MANTISSA_BITS: IntScalar = ((1 << <Scalar>::MANTISSA_DIGITS) - 1);
|
|
|
|
const MAX_REPRESENTABLE_VALUE: Scalar =
|
|
|
|
(ALL_MANTISSA_BITS << (core::mem::size_of::<Scalar>() * 8 - <Scalar>::MANTISSA_DIGITS as usize - 1)) as Scalar;
|
|
|
|
|
|
|
|
let mut runner = proptest::test_runner::TestRunner::default();
|
|
|
|
runner.run(
|
|
|
|
&test_helpers::array::UniformArrayStrategy::new(-MAX_REPRESENTABLE_VALUE..MAX_REPRESENTABLE_VALUE),
|
|
|
|
|x| {
|
|
|
|
let result_1 = unsafe { Vector::from_array(x).to_int_unchecked().to_array() };
|
|
|
|
let result_2 = {
|
|
|
|
let mut result = [0; LANES];
|
|
|
|
for (i, o) in x.iter().zip(result.iter_mut()) {
|
|
|
|
*o = unsafe { i.to_int_unchecked() };
|
|
|
|
}
|
|
|
|
result
|
|
|
|
};
|
|
|
|
test_helpers::prop_assert_biteq!(result_1, result_2);
|
|
|
|
Ok(())
|
|
|
|
},
|
|
|
|
).unwrap();
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
impl_tests! { SimdF32, f32, i32 }
|
|
|
|
impl_tests! { SimdF64, f64, i64 }
|