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_