NT2_TEST_CASE_TPL ( definitely_not_equal_unsigned_int, NT2_UNSIGNED_TYPES)
{
using nt2::definitely_not_equal;
using nt2::tag::definitely_not_equal_;
typedef typename nt2::meta::as_integer<T>::type iT;
typedef typename nt2::meta::call<definitely_not_equal_(T,T,iT)>::type r_t;
typedef typename nt2::meta::as_logical<T>::type wished_r_t;
// return type conformity test
NT2_TEST_TYPE_IS(r_t, wished_r_t);
// specific values tests
NT2_TEST_EQUAL(definitely_not_equal(T(0),T(0),iT(1)), nt2::False< nt2::logical<T> >());
NT2_TEST_EQUAL(definitely_not_equal(T(0),T(1),iT(1)), nt2::False< nt2::logical<T> >());
}
NT2_TEST_CASE_TPL ( definitely_not_equal_unsigned_int__3_0, NT2_UNSIGNED_TYPES)
{
using nt2::definitely_not_equal;
using nt2::tag::definitely_not_equal_;
typedef typename nt2::meta::as_integer<T>::type iT;
typedef typename nt2::meta::call<definitely_not_equal_(T,T,iT)>::type r_t;
typedef typename nt2::meta::scalar_of<r_t>::type ssr_t;
typedef typename nt2::meta::upgrade<T>::type u_t;
typedef typename nt2::meta::as_logical<T>::type 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(definitely_not_equal(T(0),T(0),iT(1)), nt2::False<T>());
NT2_TEST_EQUAL(definitely_not_equal(T(0),T(1),iT(1)), nt2::False<T>());
} // end of test for unsigned_int_
NT2_TEST_CASE_TPL ( definitely_not_equal_unsigned_int__3_0, NT2_SIMD_UNSIGNED_TYPES)
{
using nt2::definitely_not_equal;
using nt2::tag::definitely_not_equal_;
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<definitely_not_equal_(vT,vT,ivT)>::type r_t;
typedef typename nt2::meta::call<definitely_not_equal_(T,T,iT)>::type sr_t;
typedef typename nt2::meta::scalar_of<r_t>::type ssr_t;
double ulpd;
ulpd=0.0;
// specific values tests
NT2_TEST_EQUAL(definitely_not_equal(nt2::splat<vT>(0),nt2::splat<vT>(0),nt2::splat<ivT>(1))[0], nt2::False<sr_t>());
NT2_TEST_EQUAL(definitely_not_equal(nt2::splat<vT>(0),nt2::splat<vT>(1),nt2::splat<ivT>(1))[0], nt2::False<sr_t>());
} // end of test for unsigned_int_
NT2_TEST_CASE_TPL ( definitely_not_equal_signed_int__3_0, NT2_INTEGRAL_SIGNED_TYPES)
{
using nt2::definitely_not_equal;
using nt2::tag::definitely_not_equal_;
using nt2::load;
using nt2::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<definitely_not_equal_(vT,vT,ivT)>::type r_t;
typedef typename nt2::meta::call<definitely_not_equal_(T,T,iT)>::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, T(-10), T(10));
NT2_CREATE_BUF(tab_a1,T, NR, T(-10), T(10));
NT2_CREATE_BUF(tab_a2,iT, NR, iT(0), iT(10));
double ulp0, ulpd ; ulpd=ulp0=0.0;
for(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);
ivT a2 = load<ivT>(&tab_a2[0],j);
r_t v = definitely_not_equal(a0,a1,a2);
for(int i = 0; i< cardinal_of<n_t>::value; i++)
{
int k = i+j*cardinal_of<n_t>::value;
NT2_TEST_EQUAL( v[i]!=0,ssr_t(nt2::definitely_not_equal (tab_a0[k],tab_a1[k],tab_a2[k])));
}
}
}
} // end of test for signed_int_
