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

◆ minus

auto eve::minus = functor<minus_t>
inlineconstexpr

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overload
constexpr auto minus(value auto x) noexcept; // 1
// Lanes masking
constexpr auto minus[conditional_expr auto c](value auto x) noexcept; // 2
constexpr auto minus[logical_value auto m](value auto x) noexcept; // 2
// Semantic options
constexpr auto minus[saturated](value auto x) 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 minus
Computes the opposite of the parameter that must be signed.
Definition minus.hpp:82
EVE Main Namespace.
Definition abi.hpp:18

Parameters

Return value

  1. The result is the opposite of x if this value is representable in the type of x. More specifically, for signed integers the opposite value of their lowest finite value is not representable and the result is incorrect (in this case eve::minus(valmin) is valmin).
  2. The operation is performed conditionnaly.
  3. The saturated version of eve::minus. More specifically, for any signed integer value x, the expression minus[saturated](valmin(as(x))) evaluates to valmax(as(x)).
Note
Although the operator notation with - is supported, the - operator on standard scalar type is the original one and so can lead to automatic promotion. Also contrarily to - on signed scalar integral values, `eveminus is never undefined behaviour.

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 wi0{0, 1, 2, 3, -1, -2, -3, -4};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "-> minus(wf0) = " << eve::minus(wf0) << "\n";
std::cout << "-> minus[ignore_last(2)](wf0) = " << eve::minus[eve::ignore_last(2)](wf0) << "\n";
std::cout << "-> minus[wf0 != 0](wf0) = " << eve::minus[wf0 != 0](wf0) << "\n";
std::cout << "-> minus(wu0) = " << eve::minus(wu0) << "\n";
std::cout << "-> minus[ignore_last(2)](wu0) = " << eve::minus[eve::ignore_last(2)](wu0) << "\n";
std::cout << "-> minus[wu0 != 0](wu0) = " << eve::minus[wu0 != 0](wu0) << "\n";
std::cout << "-> minus[saturated](wu0) = " << eve::minus[eve::saturated](wu0) << "\n";
std::cout << "-> minus(wi0) = " << eve::minus(wi0) << "\n";
std::cout << "-> minus[ignore_last(2)](wi0) = " << eve::minus[eve::ignore_last(2)](wi0) << "\n";
std::cout << "-> minus[wi0 != 0](wi0) = " << eve::minus[wi0 != 0](wi0) << "\n";
std::cout << "-> minus[saturated](wi0) = " << eve::minus[eve::saturated](wi0) << "\n";
}
Conditional expression ignoring the k last lanes from a eve::simd_value.
Definition conditional.hpp:332
Wrapper for SIMD registers.
Definition wide.hpp:70