E.V.E
v2023.02.15
 
Loading...
Searching...
No Matches

◆ bit_notand

eve::bit_notand = functor<bit_notand_t>
inlineconstexpr

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overloads
constexpr auto bit_notand(value auto x, value auto ... xs) noexcept; // 1
constexpr auto bit_notand(kumi::non_empty_product_type auto const& tup) noexcept; // 2
// Lanes masking
constexpr auto bit_notand[conditional_expr auto c](/*any of the above overloads*/) noexcept; // 3
constexpr auto bit_notand[logical_value auto m](/*any of the above overloads*/) noexcept; // 3
}
Specifies that a type is a Conditional Expression.
Definition conditional.hpp:28
The concept logical_value<T> is satisfied if and only if T satisfies eve::value and the element type ...
Definition value.hpp:134
The concept value<T> is satisfied if and only if T satisfies either eve::scalar_value or eve::simd_va...
Definition value.hpp:34
constexpr auto bit_notand
bit_callable object computing the bitwise NOTAND of its arguments.
Definition bit_notand.hpp:88
typename decltype(detail::as_translated_type(as< T >{}))::type translate_t
Returns the final translated type of T.
Definition translation.hpp:107
EVE Main Namespace.
Definition abi.hpp:19

Parameters

Return value

  1. The return value type is the common bit_value of the parameters. Each parameter is converted to this type and then:
    • For two parameters it computes the bitwise NOTAND of the two parameters
    • For more than two parameters the call is semantically equivalent to bit_notand(a0, bit_and(xs...))
  2. equivalent to the call on the elements of the tuple.
  3. The operation is performed conditionnaly. This is only supported when all parameters share the same number of lanes or are scalars.

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
int main()
{
eve::wide wf0{0.0, 1.0, 2.0, 3.0, -1.0, -2.0, -3.0, -4.0};
eve::wide wf1{0.0, -4.0, 1.0, -1.0, 2.0, -2.0, 3.0, -3.0};
eve::wide wi0{0, 1, 2, 3, -1, -2, -3, -4};
eve::wide wi1{0, -4, 1, -1, 2, -2, 3, -3};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
eve::wide wu1{7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wf1 = " << wf1 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wi1 = " << wi1 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "<- wu1 = " << wu1 << "\n";
std::cout << "-> bit_notand(wf0, wf1) = " << eve::bit_notand(wf0, wf1) << "\n";
std::cout << "-> bit_notand[ignore_last(2)](wf0, wf1) = " << eve::bit_notand[eve::ignore_last(2)](wf0, wf1) << "\n";
std::cout << "-> bit_notand[wf0 != 0](wf0, wf1) = " << eve::bit_notand[wf0 != 0](wf0, wf1) << "\n";
std::cout << "-> bit_notand(wu0, wu1) = " << eve::bit_notand(wu0, wu1) << "\n";
std::cout << "-> bit_notand(wi0, wi1) = " << eve::bit_notand(wi0, wi1) << "\n";
std::cout << "-> bit_notand(2.,1.,2.,3.,-3.,-4.,-6.0) = " << eve::bit_notand(2.0, 1.0, 2.0, 3.0, -3.0, -4., -6.0) << "\n";
std::cout << "->:bit_notand(2.1,2.,2.,2.,2.,2.,2.) = " << eve::bit_notand(2.1,2.,2.,2.,2.,2.,2.) << "\n";
}
Conditional expression ignoring the k last lanes from a eve::simd_value.
Definition conditional.hpp:320
Wrapper for SIMD registers.
Definition wide.hpp:94