first_true

auto eve::first_true = functor<first_true_t>

inlineconstexpr

#include <eve/module/core.hpp>

Callable Signatures

template <relaxed_logical_value L>
std::optional<std::ptrdiff_t> first_true(L m) noexcept;                                               // 1
 
template <logical_simd_value L>
std::optional<std::ptrdiff_t> first_true(top_bits<L> m) noexcept;                                     // 1
 
// lane masking
std::optional<std::ptrdiff_t> first_true[conditional_expr auto c](/* any of the above */) noexcept;   // 2
std::optional<std::ptrdiff_t> first_true[logical_value auto c](/* any of the above */) noexcept;      // 2

Parameters

• m - logical_value or top_bits where to find first true value

Return value

1. An std::optional containing the index of the first element which evaluates to true, std::nullopt if there are none.
2. Same as 1. but masked elements are ignored during the search.

Should you check for any?

The function is considering the case when nothing is set to be likely, checking for eve::any before hand is not going to be helpful. At the moment there isn't a function that would do it otherwise.

What if I know there is a match?

We would recommend eve::first_true(m) - this is likely to trigger compiler optimizations, based on it being UB otherwise.

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
 
int main()
{
  eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
 
  std::cout << "<- wu0                                                      = " << wu0 << "\n";
 
  std::cout << "-> first_true(wu0 >= maximum(wu0)/2)                        = " << *eve::first_true(wu0 >= eve::maximum(wu0)/2) << "\n";
  std::cout << "-> first_true[ignore_first(4)](wu0 <= maximum(wu0)/2 >  1u) = " << *eve::first_true[eve::ignore_first(4)](wu0 > 1u) << "\n";
}