NT2_TEST_CASE_TPL ( divfloor_real__2_0, NT2_SIMD_REAL_TYPES) { using nt2::divfloor; using nt2::tag::divfloor_; 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<divfloor_(vT,vT)>::type r_t; typedef typename nt2::meta::call<divfloor_(T,T)>::type sr_t; typedef typename nt2::meta::scalar_of<r_t>::type ssr_t; double ulpd; ulpd=0.0; // specific values tests NT2_TEST_ULP_EQUAL(divfloor(nt2::Four<vT>(),nt2::Three<vT>())[0], nt2::One<sr_t>(), 0); NT2_TEST_ULP_EQUAL(divfloor(nt2::Four<vT>(),nt2::Zero<vT>())[0], nt2::Inf<sr_t>(), 0); NT2_TEST_ULP_EQUAL(divfloor(nt2::Inf<vT>(), nt2::Inf<vT>())[0], nt2::Nan<sr_t>(), 0); NT2_TEST_ULP_EQUAL(divfloor(nt2::Minf<vT>(), nt2::Minf<vT>())[0], nt2::Nan<sr_t>(), 0); NT2_TEST_ULP_EQUAL(divfloor(nt2::Mone<vT>(), nt2::Mone<vT>())[0], nt2::One<sr_t>(), 0); NT2_TEST_ULP_EQUAL(divfloor(nt2::Nan<vT>(), nt2::Nan<vT>())[0], nt2::Nan<sr_t>(), 0); NT2_TEST_ULP_EQUAL(divfloor(nt2::One<vT>(), nt2::One<vT>())[0], nt2::One<sr_t>(), 0); } // end of test for floating_
NT2_TEST_CASE_TPL ( divfloor_signed_int__2_0, NT2_INTEGRAL_SIGNED_TYPES) { using nt2::divfloor; using nt2::tag::divfloor_; typedef typename nt2::meta::as_integer<T>::type iT; typedef typename nt2::meta::call<divfloor_(T,T)>::type r_t; typedef typename nt2::meta::upgrade<T>::type u_t; typedef typename boost::result_of<nt2::meta::arithmetic(T,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_ULP_EQUAL(divfloor(4,3), 1, 0); NT2_TEST_ULP_EQUAL(divfloor(T(4),T(0)), 0, 0); NT2_TEST_ULP_EQUAL(divfloor(nt2::Mone<T>(), nt2::Mone<T>()), nt2::One<T>(), 0); NT2_TEST_ULP_EQUAL(divfloor(nt2::One<T>(), nt2::One<T>()), nt2::One<T>(), 0); // random verifications static const uint32_t NR = NT2_NB_RANDOM_TEST; { NT2_CREATE_BUF(tab_a0,T, NR, -100, 100); NT2_CREATE_BUF(tab_a1,T, NR, -100, 100); double ulp0, ulpd ; ulpd=ulp0=0.0; T a0; T a1; for (uint32_t j =0; j < NR; ++j ) { std::cout << "for params " << " a0 = "<< u_t(a0 = tab_a0[j]) << ", a1 = "<< u_t(a1 = tab_a1[j]) << std::endl; NT2_TEST_ULP_EQUAL( nt2::divfloor(a0,a1),r_t(a1 ? nt2::floor((1.0*a0)/a1) : 0),0); ulp0=nt2::max(ulpd,ulp0); } std::cout << "max ulp found is: " << ulp0 << std::endl; } } // end of test for signed_int_
NT2_TEST_CASE_TPL ( divfloor_real_types, NT2_SIMD_REAL_TYPES) { using nt2::divfloor; using nt2::tag::divfloor_; using boost::simd::native; typedef NT2_SIMD_DEFAULT_EXTENSION ext_t; typedef native<T,ext_t> nT; typedef typename nt2::meta::call<divfloor_(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::Valmin<T>()/2, nt2::Valmax<T>()/2); std::vector<r_t> ref(NR); for(nt2::uint32_t i=0; i < NR ; ++i) ref[i] = divfloor(in1[i], in2[i]); NT2_COVER_ULP_EQUAL(divfloor_, ((nT, in1))((nT, in2)), ref, 0); }