has_equal_in

eve::has_equal_in = functor<has_equal_in_t>

inlineconstexpr

Optional last parameter allows to ovewrite the equality from eve::is_equal to an arbitrary simd binary predicate.

We took the idea for the operation from: "Faster-Than-Native Alternatives for x86 VP2INTERSECT Instructions" by Guillermo Diez-Canas. Link: https://arxiv.org/abs/2112.06342

Defined in Header

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
   template<simd_value T>
   constexpr auto has_equal_in(T x, T match_against) noexcept;           // 1
 
   template<simd_value T, simd_value U, simd_predicate<T, U> Op>
   constexpr auto has_equal_in(T x, U match_against, Op op) noexcept;    // 2
}

Parameters

• x : argument.
• match_against argument.
• op : The binary predicate to use for the comparison.

Return value

1. A logical SIMD value built as described previously.
2. Same as 1. but uses a custom predicate instead of eve::is_equal.

Example

#include <iostream>
#include <eve/module/core.hpp>
 
using wide_it = eve::wide<std::uint32_t, eve::fixed<4>>;
 
int main()
{
  wide_it x = {2, 1, 2, 4};
  wide_it y = {0, 2, 3, 1};
 
  std::cout << "---- simd" << '\n'
            << "<- x                  = " << x << '\n'
            << "<- y                  = " << y << '\n'
            << "-> has_equal_in(x, y) = " << eve::has_equal_in(x, y) << '\n'
            << "-> has_equal_in(y, x) = " << eve::has_equal_in(y, x) << '\n';
}