NT2_TEST_CASE_TPL ( divides_integer__2_0, NT2_INTEGRAL_TYPES)
{
using nt2::divides;
using nt2::tag::divides_;
typedef typename nt2::meta::as_integer<T>::type iT;
typedef typename nt2::meta::call<divides_(T,T)>::type r_t;
typedef typename nt2::meta::scalar_of<r_t>::type ssr_t;
typedef typename nt2::meta::upgrade<T>::type u_t;
typedef r_t wished_r_t;
// return type conformity test
NT2_TEST( (boost::is_same < r_t, wished_r_t >::value) );
std::cout << std::endl;
double ulpd;
ulpd=0.0;
// specific values tests
NT2_TEST_EQUAL(divides(nt2::Four<T>(),nt2::Two<T>()), nt2::Two<r_t>());
NT2_TEST_EQUAL(divides(nt2::One<T>(), nt2::One<T>()), nt2::One<r_t>());
NT2_TEST_EQUAL(divides(nt2::One<T>(),nt2::Two<T>()), nt2::Zero<r_t>());
NT2_TEST_EQUAL(divides(nt2::Zero<T>(),nt2::Two<T>()), nt2::Zero<r_t>());
} // end of test for integer_
NT2_TEST_CASE_TPL ( divides_real__2_0, NT2_SIMD_REAL_TYPES)
{
using nt2::divides;
using nt2::tag::divides_;
using boost::simd::native;
using nt2::meta::cardinal_of;
typedef NT2_SIMD_DEFAULT_EXTENSION ext_t;
typedef typename nt2::meta::upgrade<T>::type u_t;
typedef native<T,ext_t> n_t;
typedef n_t vT;
typedef typename nt2::meta::as_integer<T>::type iT;
typedef native<iT,ext_t> ivT;
typedef typename nt2::meta::call<divides_(vT,vT)>::type r_t;
typedef typename nt2::meta::call<divides_(T,T)>::type sr_t;
typedef typename nt2::meta::scalar_of<r_t>::type ssr_t;
// specific values tests
NT2_TEST_EQUAL(divides(nt2::Inf<vT>(), nt2::Inf<vT>())[0], nt2::Nan<sr_t>());
NT2_TEST_EQUAL(divides(nt2::Minf<vT>(), nt2::Minf<vT>())[0], nt2::Nan<sr_t>());
NT2_TEST_EQUAL(divides(nt2::Nan<vT>(), nt2::Nan<vT>())[0], nt2::Nan<sr_t>());
NT2_TEST_EQUAL(divides(nt2::One<vT>(),nt2::Zero<vT>())[0], nt2::Inf<sr_t>());
NT2_TEST_EQUAL(divides(nt2::Zero<vT>(), nt2::Zero<vT>())[0], nt2::Nan<sr_t>());
} // end of test for floating_
NT2_TEST_CASE_TPL ( divides_real__2_0, NT2_REAL_TYPES)
{
using nt2::divides;
using nt2::tag::divides_;
typedef typename nt2::meta::as_integer<T>::type iT;
typedef typename nt2::meta::call<divides_(T,T)>::type r_t;
typedef typename nt2::meta::scalar_of<r_t>::type ssr_t;
typedef typename nt2::meta::upgrade<T>::type u_t;
typedef r_t wished_r_t;
// return type conformity test
NT2_TEST( (boost::is_same < r_t, wished_r_t >::value) );
std::cout << std::endl;
// specific values tests
NT2_TEST_EQUAL(divides(nt2::Inf<T>(), nt2::Inf<T>()), nt2::Nan<r_t>());
NT2_TEST_EQUAL(divides(nt2::Minf<T>(), nt2::Minf<T>()), nt2::Nan<r_t>());
NT2_TEST_EQUAL(divides(nt2::Nan<T>(), nt2::Nan<T>()), nt2::Nan<r_t>());
NT2_TEST_EQUAL(divides(nt2::One<T>(),nt2::Zero<T>()), nt2::Inf<r_t>());
NT2_TEST_EQUAL(divides(nt2::Zero<T>(), nt2::Zero<T>()), nt2::Nan<r_t>());
} // end of test for floating_
NT2_TEST_CASE_TPL ( divides_all_types, NT2_SIMD_TYPES)
{
using nt2::divides;
using nt2::tag::divides_;
using boost::simd::native;
typedef NT2_SIMD_DEFAULT_EXTENSION ext_t;
typedef native<T,ext_t> nT;
typedef typename nt2::meta::call<divides_(T, T)>::type r_t;
// random verifications
nt2::uint32_t NR = NT2_NB_RANDOM_TEST;
std::vector<T> in1(NR), in2(NR);
nt2::roll(in1, nt2::Valmin<T>()/2, nt2::Valmax<T>()/2);
nt2::roll(in2, nt2::One<T>(), nt2::Valmax<T>()/2);
std::vector<r_t> ref(NR);
for(nt2::uint32_t i=0; i < NR ; ++i) ref[i] = divides(in1[i], in2[i]);
NT2_COVER_ULP_EQUAL(divides_, ((nT, in1))((nT, in2)), ref, 0);
}
NT2_TEST_CASE_TPL ( divides_integer__2_0, NT2_SIMD_INTEGRAL_TYPES)
{
using nt2::divides;
using nt2::tag::divides_;
using nt2::load;
using boost::simd::native;
using nt2::meta::cardinal_of;
typedef NT2_SIMD_DEFAULT_EXTENSION ext_t;
typedef typename nt2::meta::upgrade<T>::type u_t;
typedef native<T,ext_t> n_t;
typedef n_t vT;
typedef typename nt2::meta::as_integer<T>::type iT;
typedef native<iT,ext_t> ivT;
typedef typename nt2::meta::call<divides_(vT,vT)>::type r_t;
typedef typename nt2::meta::call<divides_(T,T)>::type sr_t;
typedef typename nt2::meta::scalar_of<r_t>::type ssr_t;
double ulpd;
ulpd=0.0;
// random verifications
static const nt2::uint32_t NR = NT2_NB_RANDOM_TEST;
{
NT2_CREATE_BUF(tab_a0,T, NR, nt2::Valmin<T>()/2, nt2::Valmax<T>()/2);
NT2_CREATE_BUF(tab_a1,T, NR, nt2::One<T>(), nt2::Valmax<T>()/2);
double ulp0, ulpd ; ulpd=ulp0=0.0;
for(nt2::uint32_t j = 0; j < NR/cardinal_of<n_t>::value; j++)
{
vT a0 = load<vT>(&tab_a0[0],j);
vT a1 = load<vT>(&tab_a1[0],j);
r_t v = divides(a0,a1);
for(nt2::uint32_t i = 0; i< cardinal_of<n_t>::value; i++)
{
nt2::uint32_t k = i+j*cardinal_of<n_t>::value;
NT2_TEST_EQUAL( v[i],ssr_t(nt2::divides (tab_a0[k],tab_a1[k])));
}
}
}
} // end of test for integer_
