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

◆ bit_andnot

auto eve::bit_andnot = functor<bit_andnot_t>
inlineconstexpr

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overloads
constexpr auto bit_andnot(value auto x, value auto ... xs) noexcept; // 1
constexpr auto bit_andnot(kumi::non_empty_product_type auto const& tup) noexcept; // 2
// Lanes masking
constexpr auto bit_andnot[conditional_expr auto c](/*any of the above overloads*/) noexcept; // 3
constexpr auto bit_andnot[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:132
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_andnot
strict_tuple_callable object computing the bitwise ANDNOT of its arguments.
Definition bit_andnot.hpp:87
EVE Main Namespace.
Definition abi.hpp:18

Parameters

Return value

  1. The return value type is to the common bit_value of the parameters. Each parameter is converted to this type and then:
    • For two parameters it computes the bitwise ANDNOT of the two parameters
    • For more than two parameters the call is semantically equivalent to bit_andnot(a0, bit_and(xs...))
  2. equivalent to the call on the elements of the tuple.
  3. The operation is performed conditionnaly.

External references

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_andnot(wf0, wf1) = " << eve::bit_andnot(wf0, wf1) << "\n";
std::cout << "-> bit_andnot[ignore_last(2)](wf0, wf1) = " << eve::bit_andnot[eve::ignore_last(2)](wf0, wf1) << "\n";
std::cout << "-> bit_andnot[wf0 != 0](wf0, wf1) = " << eve::bit_andnot[wf0 != 0](wf0, wf1) << "\n";
std::cout << "-> bit_andnot(wu0, wu1) = " << eve::bit_andnot(wu0, wu1) << "\n";
std::cout << "-> bit_andnot(wi0, wi1) = " << eve::bit_andnot(wi0, wi1) << "\n";
}
Conditional expression ignoring the k last lanes from a eve::simd_value.
Definition conditional.hpp:332
Wrapper for SIMD registers.
Definition wide.hpp:86