E.V.E
v2023.02.15
Loading...
Searching...
No Matches
Variables
Fused multiply add family
EVE » Functions » Core functions

Detailed Description

These functions implements accurate versions of the operations \(\pm x \pm yz\) and \(\pm xy \pm z\).

The required accuracy is in two directions

  1. the computation is done with only one rounding
  2. there is no intermediate overflow

The implementation of these two properties can always be obtained calling the decorated pedantic version of these functions. (or the lower or upper versions, that must guarantee on ordering against the mathematical correct result)

Take care that can be very expensive if the proper hardware capabilities are not present.

By themselves the regular version of these function acts with mere operators * + and minus if the intrinsics are not at hand and if there is no possibility of mapping the std implementation

fam, fanm, fma, fms, fnma, fnmsfsm, fsnm.

Variables

constexpr auto eve::fam = functor<fam_t>
 strict_elementwise_callable computing the fused add multiply of its three parameters.
constexpr auto eve::fanm = functor<fanm_t>
 Computes the fused add negate multiply of its three parameters.
constexpr auto eve::fma = functor<fma_t>
 strict_elementwise_callable computing the fused multiply add of its three parameters.
constexpr auto eve::fms = functor<fms_t>
 strict_elementwise_callable computing the fused multiply subtract of its three parameters.
constexpr auto eve::fnma = functor<fnma_t>
 strict_elementwise_callable computing the fused negated multiply add of its three parameters.
constexpr auto eve::fnms = functor<fnms_t>
 strict_elementwise_callable computing the fused negated multiply subtract of its three parameters.
constexpr auto eve::fsm = functor<fsm_t>
 strict_elementwise_callable computing the fused subtract multiply of its three parameters.
constexpr auto eve::fsnm = functor<fsnm_t>
 strict_elementwise_callable computing the fused negated subtract multiply of its three parameters.

Variable Documentation

◆ fam

auto eve::fam = functor<fam_t>
inlineconstexpr

strict_elementwise_callable computing the fused add multiply of its three parameters.

Callable Signatures

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overload
constexpr auto fam(value auto x, value auto y, value auto z) noexcept; // 1
// Lanes masking
constexpr auto fam[conditional_expr auto c](value auto x, value auto y, value auto z) noexcept; // 2
constexpr auto fam[logical_value auto m](value auto x, value auto y, value auto z) noexcept; // 2
// Semantic option
constexpr auto fam[pedantic](value auto x, value auto y, value auto z) noexcept; // 3
constexpr auto fam[promote](value auto x, value auto y, value auto z) noexcept; // 4
}
eve::conditional_expr
Specifies that a type is a Conditional Expression.
Definition conditional.hpp:28
eve::logical_value
The concept logical_value<T> is satisfied if and only if T satisfies eve::value and the element type ...
Definition value.hpp:134
eve::value
The concept value<T> is satisfied if and only if T satisfies either eve::scalar_value or eve::simd_va...
Definition value.hpp:34
eve::pedantic
constexpr auto pedantic
Follows the corner cases of the corresponding standard function.
Definition core.hpp:91
eve::fam
constexpr auto fam
strict_elementwise_callable computing the fused add multiply of its three parameters.
Definition fam.hpp:86
eve
EVE Main Namespace.
Definition abi.hpp:19

Parameters

Return value

  1. The value of x+y*z as if calculated to infinite precision and rounded once is returned, but only if the hardware is in capacity to do it at reasonable cost.
  2. The operation is performed conditionally
  3. pedantic option always ensures the full compliance to fam properties. This can be very expensive if the system has no hardware capability.
  4. The operation is performed as if the parameters where promoted to the common type of the three parameters.

External references

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
#include <iomanip>
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 wf2{0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.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 wi2{0, 1, 2 ,3, 4, 5, 6, 7};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
eve::wide wu1{7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u};
eve::wide wu2{0u, 2u, 4u, 6u, 1u, 3u, 5u, 7u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wf1 = " << wf1 << "\n";
std::cout << "<- wf2 = " << wf2 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wi1 = " << wi1 << "\n";
std::cout << "<- wi2 = " << wi2 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "<- wu1 = " << wu1 << "\n";
std::cout << "<- wu2 = " << wu2 << "\n";
std::cout << "-> fam(wf0, wf1, wf2) = " << eve::fam(wf0, wf1, wf2) << "\n";
std::cout << "-> fam[ignore_last(2)](wf0, wf1, wf2) = " << eve::fam[eve::ignore_last(2)](wf0, wf1, wf2) << "\n";
std::cout << "-> fam[wf0 != 0](wf0, wf1, wf2) = " << eve::fam[wf0 != 0](wf0, wf1, wf2) << "\n";
std::cout << "-> fam[pedantic](wf0, wf1, wf2) = " << eve::fam[eve::pedantic](wf0, wf1, wf2) << "\n";
std::cout << "-> fam[promote](wf0, wf1, wf2) = " << eve::fam[eve::promote](wf0, wf1, wf2) << "\n";
std::cout << "-> fam(wu0, wu1, wu2) = " << eve::fam(wu0, wu1, wu2) << "\n";
std::cout << "-> fam[ignore_last(2)](wu0, wu1, wu2) = " << eve::fam[eve::ignore_last(2)](wu0, wu1, wu2) << "\n";
std::cout << "-> fam[wu0 != 0](wu0, wu1, wu2) = " << eve::fam[wu0 != 0](wu0, wu1, wu2) << "\n";
std::cout << "-> fam[pedantic](wu0, wu1, wu2) = " << eve::fam[eve::pedantic](wu0, wu1, wu2) << "\n";
std::cout << "-> fam[promote](wu0, wu1, wu2) = " << eve::fam[eve::promote](wu0, wu1, wu2) << "\n";
std::cout << "-> fam(wi0, wi1, wi2) = " << eve::fam(wi0, wi1, wi2) << "\n";
std::cout << "-> fam[ignore_last(2)](wi0, wi1, wi2) = " << eve::fam[eve::ignore_last(2)](wi0, wi1, wi2) << "\n";
std::cout << "-> fam[wi0 != 0](wi0, wi1, wi2) = " << eve::fam[wi0 != 0](wi0, wi1, wi2) << "\n";
std::cout << "-> fam[pedantic](wi0, wi1, wi2) = " << eve::fam[eve::pedantic](wi0, wi1, wi2) << "\n";
std::cout << "-> fam[promote](wi0, wi1, wi2) = " << eve::fam[eve::promote](wi0, wi1, wi2) << "\n";
std::cout << std::setprecision(20) << "-> fam(wf0, wf1, wf2) = " << eve::fam(wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fam[lower](wf0, wf1, wf2) = " << eve::fam[eve::lower](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fam[upper](wf0, wf1, wf2) = " << eve::fam[eve::upper](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fam[lower][strict](wf0, wf1, wf2) = " << eve::fam[eve::lower][eve::strict](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fam[upper][strict](wf0, wf1, wf2) = " << eve::fam[eve::upper][eve::strict](wf0, wf1, wf2) << "\n";
}
eve::strict
constexpr auto strict
Turns the guarantee of lower or upper into a strict inequality.
Definition core.hpp:105
eve::lower
constexpr auto lower
Guarantees a result no greater than the exact mathematical one.
Definition core.hpp:103
eve::upper
constexpr auto upper
Guarantees a result no smaller than the exact mathematical one.
Definition core.hpp:102
eve::ignore_last
Conditional expression ignoring the k last lanes from a eve::simd_value.
Definition conditional.hpp:361
eve::wide
Wrapper for SIMD registers.
Definition wide.hpp:94

◆ fanm

auto eve::fanm = functor<fanm_t>
inlineconstexpr

Computes the fused add negate multiply of its three parameters.

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overload
constexpr auto fanm(value auto x, value auto y, value auto z) noexcept; // 1
// Lanes masking
constexpr auto fanm[conditional_expr auto c](value auto x, value auto y, value auto z) noexcept; // 2
constexpr auto fanm[logical_value auto m](value auto x, value auto y, value auto z) noexcept; // 2
// Semantic option
constexpr auto fanm[pedantic](value auto x, value auto y, value auto z) noexcept; // 3
constexpr auto fanm[promote](value auto x, value auto y, value auto z) noexcept; // 4
}
eve::fanm
constexpr auto fanm
Computes the fused add negate multiply of its three parameters.
Definition fanm.hpp:85

Parameters

Return value

  1. The value of x-y*z as if calculated to infinite precision and rounded once is returned, but only if the hardware is in capacity to do it at reasonable cost.
  2. The operation is performed conditionally
  3. pedantic option always ensures the full compliance to fam properties. This can be very expensive if the system has no hardware capability.
  4. The operation is performed as if the parameters where promoted to the common type of the three parameters.

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
#include <iomanip>
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 wf2{0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.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 wi2{0, 1, 2 ,3, 4, 5, 6, 7};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
eve::wide wu1{7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u};
eve::wide wu2{0u, 2u, 4u, 6u, 1u, 3u, 5u, 7u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wf1 = " << wf1 << "\n";
std::cout << "<- wf2 = " << wf2 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wi1 = " << wi1 << "\n";
std::cout << "<- wi2 = " << wi2 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "<- wu1 = " << wu1 << "\n";
std::cout << "<- wu2 = " << wu2 << "\n";
std::cout << "-> fanm(wf0, wf1, wf2) = " << eve::fanm(wf0, wf1, wf2) << "\n";
std::cout << "-> fanm[ignore_last(2)](wf0, wf1, wf2) = " << eve::fanm[eve::ignore_last(2)](wf0, wf1, wf2) << "\n";
std::cout << "-> fanm[wf0 != 0](wf0, wf1, wf2) = " << eve::fanm[wf0 != 0](wf0, wf1, wf2) << "\n";
std::cout << "-> fanm[pedantic](wf0, wf1, wf2) = " << eve::fanm[eve::pedantic](wf0, wf1, wf2) << "\n";
std::cout << "-> fanm[promote](wf0, wf1, wf2) = " << eve::fanm[eve::promote](wf0, wf1, wf2) << "\n";
std::cout << "-> fanm(wu0, wu1, wu2) = " << eve::fanm(wu0, wu1, wu2) << "\n";
std::cout << "-> fanm[ignore_last(2)](wu0, wu1, wu2) = " << eve::fanm[eve::ignore_last(2)](wu0, wu1, wu2) << "\n";
std::cout << "-> fanm[wu0 != 0](wu0, wu1, wu2) = " << eve::fanm[wu0 != 0](wu0, wu1, wu2) << "\n";
std::cout << "-> fanm[pedantic](wu0, wu1, wu2) = " << eve::fanm[eve::pedantic](wu0, wu1, wu2) << "\n";
std::cout << "-> fanm[promote](wu0, wu1, wu2) = " << eve::fanm[eve::promote](wu0, wu1, wu2) << "\n";
std::cout << "-> fanm(wi0, wi1, wi2) = " << eve::fanm(wi0, wi1, wi2) << "\n";
std::cout << "-> fanm[ignore_last(2)](wi0, wi1, wi2) = " << eve::fanm[eve::ignore_last(2)](wi0, wi1, wi2) << "\n";
std::cout << "-> fanm[wi0 != 0](wi0, wi1, wi2) = " << eve::fanm[wi0 != 0](wi0, wi1, wi2) << "\n";
std::cout << "-> fanm[pedantic](wi0, wi1, wi2) = " << eve::fanm[eve::pedantic](wi0, wi1, wi2) << "\n";
std::cout << "-> fanm[promote](wi0, wi1, wi2) = " << eve::fanm[eve::promote](wi0, wi1, wi2) << "\n";
std::cout << std::setprecision(20) << "-> fanm(wf0, wf1, wf2) = " << eve::fanm(wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fanm[lower](wf0, wf1, wf2) = " << eve::fanm[eve::lower](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fanm[upper](wf0, wf1, wf2) = " << eve::fanm[eve::upper](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fanm[lower][strict](wf0, wf1, wf2) = " << eve::fanm[eve::lower][eve::strict](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fanm[upper][strict](wf0, wf1, wf2) = " << eve::fanm[eve::upper][eve::strict](wf0, wf1, wf2) << "\n";
}

◆ fma

auto eve::fma = functor<fma_t>
inlineconstexpr

strict_elementwise_callable computing the fused multiply add of its three parameters.

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overload
constexpr auto fma(value auto x, value auto y, value auto z) noexcept; // 1
// Lanes masking
constexpr auto fma[conditional_expr auto c](value auto x, value auto y, value auto z) noexcept; // 2
constexpr auto fma[logical_value auto m](value auto x, value auto y, value auto z) noexcept; // 2
// Semantic option
constexpr auto fma[pedantic](value auto x, value auto y, value auto z) noexcept; // 3
constexpr auto fma[promote](value auto x, value auto y, value auto z) noexcept; // 4
constexpr auto add[lower](value auto x, value auto y, value auto z) noexcept; // 5
constexpr auto add[upper](value auto x, value auto y, value auto z) noexcept; // 6
constexpr auto fma[lower][srict](value auto x, value auto y, value auto z) noexcept; // 5
constexpr auto fma[upper][srict](value auto x, value auto y, value auto z) noexcept; // 6
}
eve::add
constexpr auto add
tuple_callable computing the sum of its arguments.
Definition add.hpp:126
eve::fma
constexpr auto fma
strict_elementwise_callable computing the fused multiply add of its three parameters.
Definition fma.hpp:100

Parameters

Return value

  1. The value of x*y+z as if calculated to infinite precision and rounded once is returned, but only if the hardware is in capacity to do it at reasonable cost.
  2. The operation is performed conditionally
  3. pedantic option always ensures the full compliance to fam properties. This can be very expensive if the system has no hardware capability.
  4. The operation is performed as if the parameters where promoted to the common type of the three parameters.
  5. The operation is computed in a 'round toward \(-\infty\) mode. The result is guaranteed to be less or equal to the exact one (except for Nans). Combined with strict the option ensures generally faster computation, but strict inequality.
  6. The operation is computed in a 'round toward \(\infty\) mode. The result is guaranteed to be greater or equal to the exact one (except for Nans). Combined with strict the option ensures generally faster computation, but strict inequality.
Note
  • lowerand upper can be associated with raw to provide a correct, faster but less accurate version

External references

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
#include <iomanip>
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 wf2{0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.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 wi2{0, 1, 2 ,3, 4, 5, 6, 7};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
eve::wide wu1{7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u};
eve::wide wu2{0u, 2u, 4u, 6u, 1u, 3u, 5u, 7u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wf1 = " << wf1 << "\n";
std::cout << "<- wf2 = " << wf2 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wi1 = " << wi1 << "\n";
std::cout << "<- wi2 = " << wi2 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "<- wu1 = " << wu1 << "\n";
std::cout << "<- wu2 = " << wu2 << "\n";
std::cout << "-> fma(wf0, wf1, wf2) = " << eve::fma(wf0, wf1, wf2) << "\n";
std::cout << "-> fma[ignore_last(2)](wf0, wf1, wf2) = " << eve::fma[eve::ignore_last(2)](wf0, wf1, wf2) << "\n";
std::cout << "-> fma[wf0 != 0](wf0, wf1, wf2) = " << eve::fma[wf0 != 0](wf0, wf1, wf2) << "\n";
std::cout << "-> fma[pedantic](wf0, wf1, wf2) = " << eve::fma[eve::pedantic](wf0, wf1, wf2) << "\n";
std::cout << "-> fma[promote](wf0, wf1, wf2) = " << eve::fma[eve::promote](wf0, wf1, wf2) << "\n";
std::cout << "-> fma(wu0, wu1, wu2) = " << eve::fma(wu0, wu1, wu2) << "\n";
std::cout << "-> fma[ignore_last(2)](wu0, wu1, wu2) = " << eve::fma[eve::ignore_last(2)](wu0, wu1, wu2) << "\n";
std::cout << "-> fma[wu0 != 0](wu0, wu1, wu2) = " << eve::fma[wu0 != 0](wu0, wu1, wu2) << "\n";
std::cout << "-> fma[pedantic](wu0, wu1, wu2) = " << eve::fma[eve::pedantic](wu0, wu1, wu2) << "\n";
std::cout << "-> fma[promote](wu0, wu1, wu2) = " << eve::fma[eve::promote](wu0, wu1, wu2) << "\n";
std::cout << "-> fma(wi0, wi1, wi2) = " << eve::fma(wi0, wi1, wi2) << "\n";
std::cout << "-> fma[ignore_last(2)](wi0, wi1, wi2) = " << eve::fma[eve::ignore_last(2)](wi0, wi1, wi2) << "\n";
std::cout << "-> fma[wi0 != 0](wi0, wi1, wi2) = " << eve::fma[wi0 != 0](wi0, wi1, wi2) << "\n";
std::cout << "-> fma[pedantic](wi0, wi1, wi2) = " << eve::fma[eve::pedantic](wi0, wi1, wi2) << "\n";
std::cout << "-> fma[promote](wi0, wi1, wi2) = " << eve::fma[eve::promote](wi0, wi1, wi2) << "\n";
std::cout << std::setprecision(20) << "-> fma(wf0, wf1, wf2) = " << eve::fma(wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fma[lower](wf0, wf1, wf2) = " << eve::fma[eve::lower](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fma[upper](wf0, wf1, wf2) = " << eve::fma[eve::upper](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fma[lower][strict](wf0, wf1, wf2) = " << eve::fma[eve::lower][eve::strict](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fma[upper][strict](wf0, wf1, wf2) = " << eve::fma[eve::upper][eve::strict](wf0, wf1, wf2) << "\n";
}

◆ fms

auto eve::fms = functor<fms_t>
inlineconstexpr

strict_elementwise_callable computing the fused multiply subtract of its three parameters.

Callable Signatures

namespace eve
{
// Regular overload
constexpr auto fms(value auto x, value auto y, value auto z) noexcept; // 1
// Lanes masking
constexpr auto fms[conditional_expr auto c](value auto x, value auto y, value auto z) noexcept; // 2
constexpr auto fms[logical_value auto m](value auto x, value auto y, value auto z) noexcept; // 2
// Semantic option
constexpr auto fms[pedantic](value auto x, value auto y, value auto z) noexcept; // 3
constexpr auto fms[promote](value auto x, value auto y, value auto z) noexcept; // 4
}
eve::fms
constexpr auto fms
strict_elementwise_callable computing the fused multiply subtract of its three parameters.
Definition fms.hpp:80

Parameters

Return value

  1. The value of x*y-z as if calculated to infinite precision and rounded once is returned, but only if the hardware is in capacity to do it at reasonable cost.
  2. The operation is performed conditionally
  3. pedantic option always ensures the full compliance to fam properties. This can be very expensive if the system has no hardware capability.
  4. The operation is performed as if the parameters where promoted to the common type of the three parameters.

External references

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
#include <iomanip>
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 wf2{0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.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 wi2{0, 1, 2 ,3, 4, 5, 6, 7};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
eve::wide wu1{7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u};
eve::wide wu2{0u, 2u, 4u, 6u, 1u, 3u, 5u, 7u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wf1 = " << wf1 << "\n";
std::cout << "<- wf2 = " << wf2 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wi1 = " << wi1 << "\n";
std::cout << "<- wi2 = " << wi2 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "<- wu1 = " << wu1 << "\n";
std::cout << "<- wu2 = " << wu2 << "\n";
std::cout << "-> fma(wf0, wf1, wf2) = " << eve::fma(wf0, wf1, wf2) << "\n";
std::cout << "-> fma[ignore_last(2)](wf0, wf1, wf2) = " << eve::fma[eve::ignore_last(2)](wf0, wf1, wf2) << "\n";
std::cout << "-> fma[wf0 != 0](wf0, wf1, wf2) = " << eve::fma[wf0 != 0](wf0, wf1, wf2) << "\n";
std::cout << "-> fma[pedantic](wf0, wf1, wf2) = " << eve::fma[eve::pedantic](wf0, wf1, wf2) << "\n";
std::cout << "-> fma[promote](wf0, wf1, wf2) = " << eve::fma[eve::promote](wf0, wf1, wf2) << "\n";
std::cout << "-> fma(wu0, wu1, wu2) = " << eve::fma(wu0, wu1, wu2) << "\n";
std::cout << "-> fma[ignore_last(2)](wu0, wu1, wu2) = " << eve::fma[eve::ignore_last(2)](wu0, wu1, wu2) << "\n";
std::cout << "-> fma[wu0 != 0](wu0, wu1, wu2) = " << eve::fma[wu0 != 0](wu0, wu1, wu2) << "\n";
std::cout << "-> fma[pedantic](wu0, wu1, wu2) = " << eve::fma[eve::pedantic](wu0, wu1, wu2) << "\n";
std::cout << "-> fma[promote](wu0, wu1, wu2) = " << eve::fma[eve::promote](wu0, wu1, wu2) << "\n";
std::cout << "-> fma(wi0, wi1, wi2) = " << eve::fma(wi0, wi1, wi2) << "\n";
std::cout << "-> fma[ignore_last(2)](wi0, wi1, wi2) = " << eve::fma[eve::ignore_last(2)](wi0, wi1, wi2) << "\n";
std::cout << "-> fma[wi0 != 0](wi0, wi1, wi2) = " << eve::fma[wi0 != 0](wi0, wi1, wi2) << "\n";
std::cout << "-> fma[pedantic](wi0, wi1, wi2) = " << eve::fma[eve::pedantic](wi0, wi1, wi2) << "\n";
std::cout << "-> fma[promote](wi0, wi1, wi2) = " << eve::fma[eve::promote](wi0, wi1, wi2) << "\n";
std::cout << std::setprecision(20) << "-> fma(wf0, wf1, wf2) = " << eve::fma(wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fma[lower](wf0, wf1, wf2) = " << eve::fma[eve::lower](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fma[upper](wf0, wf1, wf2) = " << eve::fma[eve::upper](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fma[lower][strict](wf0, wf1, wf2) = " << eve::fma[eve::lower][eve::strict](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fma[upper][strict](wf0, wf1, wf2) = " << eve::fma[eve::upper][eve::strict](wf0, wf1, wf2) << "\n";
}

◆ fnma

auto eve::fnma = functor<fnma_t>
inlineconstexpr

strict_elementwise_callable computing the fused negated multiply add of its three parameters.

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overload
constexpr auto fnma(value auto x, value auto y, value auto z) noexcept; // 1
// Lanes masking
constexpr auto fnma[conditional_expr auto c](value auto x, value auto y, value auto z) noexcept; // 2
constexpr auto fnma[logical_value auto m](value auto x, value auto y, value auto z) noexcept; // 2
// Semantic option
constexpr auto fnma[pedantic](value auto x, value auto y, value auto z) noexcept; // 3
constexpr auto fnma[promote](value auto x, value auto y, value auto z) noexcept; // 4
}
eve::fnma
constexpr auto fnma
strict_elementwise_callable computing the fused negated multiply add of its three parameters.
Definition fnma.hpp:90

Parameters

Return value

  1. The value of -x*y+z as if calculated to infinite precision and rounded once is returned, but only if the hardware is in capacity to do it at reasonable cost.
  2. The operation is performed conditionally
  3. pedantic option always ensures the full compliance to fam properties. This can be very expensive if the system has no hardware capability.
  4. The operation is performed as if the parameters where promoted to the common type of the three parameters.

External references

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
#include <iomanip>
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 wf2{0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.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 wi2{0, 1, 2 ,3, 4, 5, 6, 7};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
eve::wide wu1{7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u};
eve::wide wu2{0u, 2u, 4u, 6u, 1u, 3u, 5u, 7u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wf1 = " << wf1 << "\n";
std::cout << "<- wf2 = " << wf2 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wi1 = " << wi1 << "\n";
std::cout << "<- wi2 = " << wi2 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "<- wu1 = " << wu1 << "\n";
std::cout << "<- wu2 = " << wu2 << "\n";
std::cout << "-> fnma(wf0, wf1, wf2) = " << eve::fnma(wf0, wf1, wf2) << "\n";
std::cout << "-> fnma[ignore_last(2)](wf0, wf1, wf2) = " << eve::fnma[eve::ignore_last(2)](wf0, wf1, wf2) << "\n";
std::cout << "-> fnma[wf0 != 0](wf0, wf1, wf2) = " << eve::fnma[wf0 != 0](wf0, wf1, wf2) << "\n";
std::cout << "-> fnma[pedantic](wf0, wf1, wf2) = " << eve::fnma[eve::pedantic](wf0, wf1, wf2) << "\n";
std::cout << "-> fnma[promote](wf0, wf1, wf2) = " << eve::fnma[eve::promote](wf0, wf1, wf2) << "\n";
std::cout << "-> fnma(wu0, wu1, wu2) = " << eve::fnma(wu0, wu1, wu2) << "\n";
std::cout << "-> fnma[ignore_last(2)](wu0, wu1, wu2) = " << eve::fnma[eve::ignore_last(2)](wu0, wu1, wu2) << "\n";
std::cout << "-> fnma[wu0 != 0](wu0, wu1, wu2) = " << eve::fnma[wu0 != 0](wu0, wu1, wu2) << "\n";
std::cout << "-> fnma[pedantic](wu0, wu1, wu2) = " << eve::fnma[eve::pedantic](wu0, wu1, wu2) << "\n";
std::cout << "-> fnma[promote](wu0, wu1, wu2) = " << eve::fnma[eve::promote](wu0, wu1, wu2) << "\n";
std::cout << "-> fnma(wi0, wi1, wi2) = " << eve::fnma(wi0, wi1, wi2) << "\n";
std::cout << "-> fnma[ignore_last(2)](wi0, wi1, wi2) = " << eve::fnma[eve::ignore_last(2)](wi0, wi1, wi2) << "\n";
std::cout << "-> fnma[wi0 != 0](wi0, wi1, wi2) = " << eve::fnma[wi0 != 0](wi0, wi1, wi2) << "\n";
std::cout << "-> fnma[pedantic](wi0, wi1, wi2) = " << eve::fnma[eve::pedantic](wi0, wi1, wi2) << "\n";
std::cout << "-> fnma[promote](wi0, wi1, wi2) = " << eve::fnma[eve::promote](wi0, wi1, wi2) << "\n";
std::cout << std::setprecision(20) << "-> fnma(wf0, wf1, wf2) = " << eve::fnma(wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fnma[lower](wf0, wf1, wf2) = " << eve::fnma[eve::lower](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fnma[upper](wf0, wf1, wf2) = " << eve::fnma[eve::upper](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fnma[lower][strict](wf0, wf1, wf2) = " << eve::fnma[eve::lower][eve::strict](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fnma[upper][strict](wf0, wf1, wf2) = " << eve::fnma[eve::upper][eve::strict](wf0, wf1, wf2) << "\n";
}

◆ fnms

auto eve::fnms = functor<fnms_t>
inlineconstexpr

strict_elementwise_callable computing the fused negated multiply subtract of its three parameters.

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overload
constexpr auto fnms(value auto x, value auto y, value auto z) noexcept; // 1
// Lanes masking
constexpr auto fnms[conditional_expr auto c](value auto x, value auto y, value auto z) noexcept; // 2
constexpr auto fnms[logical_value auto m](value auto x, value auto y, value auto z) noexcept; // 2
// Semantic option
constexpr auto fnms[pedantic](value auto x, value auto y, value auto z) noexcept; // 3
constexpr auto fnms[promote](value auto x, value auto y, value auto z) noexcept; // 4
}
eve::fnms
constexpr auto fnms
strict_elementwise_callable computing the fused negated multiply subtract of its three parameters.
Definition fnms.hpp:88

Parameters

Return value

  1. The value of -x*y-z as if calculated to infinite precision and rounded once is returned, but only if the hardware is in capacity to do it at reasonable cost.
  2. The operation is performed conditionally
  3. pedantic option always ensures the full compliance to fam properties. This can be very expensive if the system has no hardware capability.
  4. The operation is performed as if the parameters where promoted to the common type of the three parameters.

External references

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
#include <iomanip>
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 wf2{0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.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 wi2{0, 1, 2 ,3, 4, 5, 6, 7};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
eve::wide wu1{7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u};
eve::wide wu2{0u, 2u, 4u, 6u, 1u, 3u, 5u, 7u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wf1 = " << wf1 << "\n";
std::cout << "<- wf2 = " << wf2 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wi1 = " << wi1 << "\n";
std::cout << "<- wi2 = " << wi2 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "<- wu1 = " << wu1 << "\n";
std::cout << "<- wu2 = " << wu2 << "\n";
std::cout << "-> fnms(wf0, wf1, wf2) = " << eve::fnms(wf0, wf1, wf2) << "\n";
std::cout << "-> fnms[ignore_last(2)](wf0, wf1, wf2) = " << eve::fnms[eve::ignore_last(2)](wf0, wf1, wf2) << "\n";
std::cout << "-> fnms[wf0 != 0](wf0, wf1, wf2) = " << eve::fnms[wf0 != 0](wf0, wf1, wf2) << "\n";
std::cout << "-> fnms[pedantic](wf0, wf1, wf2) = " << eve::fnms[eve::pedantic](wf0, wf1, wf2) << "\n";
std::cout << "-> fnms[promote](wf0, wf1, wf2) = " << eve::fnms[eve::promote](wf0, wf1, wf2) << "\n";
std::cout << "-> fnms(wu0, wu1, wu2) = " << eve::fnms(wu0, wu1, wu2) << "\n";
std::cout << "-> fnms[ignore_last(2)](wu0, wu1, wu2) = " << eve::fnms[eve::ignore_last(2)](wu0, wu1, wu2) << "\n";
std::cout << "-> fnms[wu0 != 0](wu0, wu1, wu2) = " << eve::fnms[wu0 != 0](wu0, wu1, wu2) << "\n";
std::cout << "-> fnms[pedantic](wu0, wu1, wu2) = " << eve::fnms[eve::pedantic](wu0, wu1, wu2) << "\n";
std::cout << "-> fnms[promote](wu0, wu1, wu2) = " << eve::fnms[eve::promote](wu0, wu1, wu2) << "\n";
std::cout << "-> fnms(wi0, wi1, wi2) = " << eve::fnms(wi0, wi1, wi2) << "\n";
std::cout << "-> fnms[ignore_last(2)](wi0, wi1, wi2) = " << eve::fnms[eve::ignore_last(2)](wi0, wi1, wi2) << "\n";
std::cout << "-> fnms[wi0 != 0](wi0, wi1, wi2) = " << eve::fnms[wi0 != 0](wi0, wi1, wi2) << "\n";
std::cout << "-> fnms[pedantic](wi0, wi1, wi2) = " << eve::fnms[eve::pedantic](wi0, wi1, wi2) << "\n";
std::cout << "-> fnms[promote](wi0, wi1, wi2) = " << eve::fnms[eve::promote](wi0, wi1, wi2) << "\n";
std::cout << std::setprecision(20) << "-> fnms(wf0, wf1, wf2) = " << eve::fnms(wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fnms[lower](wf0, wf1, wf2) = " << eve::fnms[eve::lower](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fnms[upper](wf0, wf1, wf2) = " << eve::fnms[eve::upper](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fnms[lower][strict](wf0, wf1, wf2) = " << eve::fnms[eve::lower][eve::strict](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fnms[upper][strict](wf0, wf1, wf2) = " << eve::fnms[eve::upper][eve::strict](wf0, wf1, wf2) << "\n";
}

◆ fsm

auto eve::fsm = functor<fsm_t>
inlineconstexpr

strict_elementwise_callable computing the fused subtract multiply of its three parameters.

Callable Signatures

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overload
constexpr auto fsm(value auto x, value auto y, value auto z) noexcept; // 1
// Lanes masking
constexpr auto fsm[conditional_expr auto c](value auto x, value auto y, value auto z) noexcept; // 2
constexpr auto fsm[logical_value auto m](value auto x, value auto y, value auto z) noexcept; // 2
// Semantic option
constexpr auto fsm[pedantic](value auto x, value auto y, value auto z) noexcept; // 3
constexpr auto fsm[promote](value auto x, value auto y, value auto z) noexcept; // 4
}
eve::fsm
constexpr auto fsm
strict_elementwise_callable computing the fused subtract multiply of its three parameters.
Definition fsm.hpp:88

Parameters

Return value

  1. The value of -x+y*z as if calculated to infinite precision and rounded once is returned, but only if the hardware is in capacity to do it at reasonable cost.
  2. The operation is performed conditionally
  3. pedantic option always ensures the full compliance to fsm properties. This can be very expensive if the system has no hardware capability.
  4. The operation is performed as if the parameters where promoted to the common type of the three parameters.

External references

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
#include <iomanip>
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 wf2{0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.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 wi2{0, 1, 2 ,3, 4, 5, 6, 7};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
eve::wide wu1{7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u};
eve::wide wu2{0u, 2u, 4u, 6u, 1u, 3u, 5u, 7u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wf1 = " << wf1 << "\n";
std::cout << "<- wf2 = " << wf2 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wi1 = " << wi1 << "\n";
std::cout << "<- wi2 = " << wi2 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "<- wu1 = " << wu1 << "\n";
std::cout << "<- wu2 = " << wu2 << "\n";
std::cout << "-> fsm(wf0, wf1, wf2) = " << eve::fsm(wf0, wf1, wf2) << "\n";
std::cout << "-> fsm[ignore_last(2)](wf0, wf1, wf2) = " << eve::fsm[eve::ignore_last(2)](wf0, wf1, wf2) << "\n";
std::cout << "-> fsm[wf0 != 0](wf0, wf1, wf2) = " << eve::fsm[wf0 != 0](wf0, wf1, wf2) << "\n";
std::cout << "-> fsm[pedantic](wf0, wf1, wf2) = " << eve::fsm[eve::pedantic](wf0, wf1, wf2) << "\n";
std::cout << "-> fsm[promote](wf0, wf1, wf2) = " << eve::fsm[eve::promote](wf0, wf1, wf2) << "\n";
std::cout << "-> fsm(wu0, wu1, wu2) = " << eve::fsm(wu0, wu1, wu2) << "\n";
std::cout << "-> fsm[ignore_last(2)](wu0, wu1, wu2) = " << eve::fsm[eve::ignore_last(2)](wu0, wu1, wu2) << "\n";
std::cout << "-> fsm[wu0 != 0](wu0, wu1, wu2) = " << eve::fsm[wu0 != 0](wu0, wu1, wu2) << "\n";
std::cout << "-> fsm[pedantic](wu0, wu1, wu2) = " << eve::fsm[eve::pedantic](wu0, wu1, wu2) << "\n";
std::cout << "-> fsm[promote](wu0, wu1, wu2) = " << eve::fsm[eve::promote](wu0, wu1, wu2) << "\n";
std::cout << "-> fsm(wi0, wi1, wi2) = " << eve::fsm(wi0, wi1, wi2) << "\n";
std::cout << "-> fsm[ignore_last(2)](wi0, wi1, wi2) = " << eve::fsm[eve::ignore_last(2)](wi0, wi1, wi2) << "\n";
std::cout << "-> fsm[wi0 != 0](wi0, wi1, wi2) = " << eve::fsm[wi0 != 0](wi0, wi1, wi2) << "\n";
std::cout << "-> fsm[pedantic](wi0, wi1, wi2) = " << eve::fsm[eve::pedantic](wi0, wi1, wi2) << "\n";
std::cout << "-> fsm[promote](wi0, wi1, wi2) = " << eve::fsm[eve::promote](wi0, wi1, wi2) << "\n";
std::cout << std::setprecision(20) << "-> fsm(wf0, wf1, wf2) = " << eve::fsm(wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fsm[lower](wf0, wf1, wf2) = " << eve::fsm[eve::lower](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fsm[upper](wf0, wf1, wf2) = " << eve::fsm[eve::upper](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fsm[lower][strict](wf0, wf1, wf2) = " << eve::fsm[eve::lower][eve::strict](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fsm[upper][strict](wf0, wf1, wf2) = " << eve::fsm[eve::upper][eve::strict](wf0, wf1, wf2) << "\n";
}

◆ fsnm

auto eve::fsnm = functor<fsnm_t>
inlineconstexpr

strict_elementwise_callable computing the fused negated subtract multiply of its three parameters.

Callable Signatures

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
// Regular overload
constexpr auto fsnm(value auto x, value auto y, value auto z) noexcept; // 1
// Lanes masking
constexpr auto fsnm[conditional_expr auto c](value auto x, value auto y, value auto z) noexcept; // 2
constexpr auto fsnm[logical_value auto m](value auto x, value auto y, value auto z) noexcept; // 2
// Semantic option
constexpr auto fsnm[pedantic](value auto x, value auto y, value auto z) noexcept; // 3
constexpr auto fsnm[promote](value auto x, value auto y, value auto z) noexcept; // 4
}
eve::fsnm
constexpr auto fsnm
strict_elementwise_callable computing the fused negated subtract multiply of its three parameters.
Definition fsnm.hpp:89

Parameters

Return value

  1. The value of -x-y*z as if calculated to infinite precision and rounded once is returned, but only if the hardware is in capacity to do it at reasonable cost.
  2. The operation is performed conditionally
  3. pedantic option always ensures the full compliance to fsnm properties. This can be very expensive if the system has no hardware capability.
  4. The operation is performed as if the parameters where promoted to the common type of the three parameters.

External references

Example

// revision 0
#include <eve/module/core.hpp>
#include <iostream>
#include <iomanip>
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 wf2{0.0, 1.0, 2.0, 3.0, 4.0, 5.0, 6.0, 7.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 wi2{0, 1, 2 ,3, 4, 5, 6, 7};
eve::wide wu0{0u, 1u, 2u, 3u, 4u, 5u, 6u, 7u};
eve::wide wu1{7u, 6u, 5u, 4u, 3u, 2u, 1u, 0u};
eve::wide wu2{0u, 2u, 4u, 6u, 1u, 3u, 5u, 7u};
std::cout << "<- wf0 = " << wf0 << "\n";
std::cout << "<- wf1 = " << wf1 << "\n";
std::cout << "<- wf2 = " << wf2 << "\n";
std::cout << "<- wi0 = " << wi0 << "\n";
std::cout << "<- wi1 = " << wi1 << "\n";
std::cout << "<- wi2 = " << wi2 << "\n";
std::cout << "<- wu0 = " << wu0 << "\n";
std::cout << "<- wu1 = " << wu1 << "\n";
std::cout << "<- wu2 = " << wu2 << "\n";
std::cout << "-> fsnm(wf0, wf1, wf2) = " << eve::fsnm(wf0, wf1, wf2) << "\n";
std::cout << "-> fsnm[ignore_last(2)](wf0, wf1, wf2) = " << eve::fsnm[eve::ignore_last(2)](wf0, wf1, wf2) << "\n";
std::cout << "-> fsnm[wf0 != 0](wf0, wf1, wf2) = " << eve::fsnm[wf0 != 0](wf0, wf1, wf2) << "\n";
std::cout << "-> fsnm[pedantic](wf0, wf1, wf2) = " << eve::fsnm[eve::pedantic](wf0, wf1, wf2) << "\n";
std::cout << "-> fsnm[promote](wf0, wf1, wf2) = " << eve::fsnm[eve::promote](wf0, wf1, wf2) << "\n";
std::cout << "-> fsnm(wu0, wu1, wu2) = " << eve::fsnm(wu0, wu1, wu2) << "\n";
std::cout << "-> fsnm[ignore_last(2)](wu0, wu1, wu2) = " << eve::fsnm[eve::ignore_last(2)](wu0, wu1, wu2) << "\n";
std::cout << "-> fsnm[wu0 != 0](wu0, wu1, wu2) = " << eve::fsnm[wu0 != 0](wu0, wu1, wu2) << "\n";
std::cout << "-> fsnm[pedantic](wu0, wu1, wu2) = " << eve::fsnm[eve::pedantic](wu0, wu1, wu2) << "\n";
std::cout << "-> fsnm[promote](wu0, wu1, wu2) = " << eve::fsnm[eve::promote](wu0, wu1, wu2) << "\n";
std::cout << "-> fsnm(wi0, wi1, wi2) = " << eve::fsnm(wi0, wi1, wi2) << "\n";
std::cout << "-> fsnm[ignore_last(2)](wi0, wi1, wi2) = " << eve::fsnm[eve::ignore_last(2)](wi0, wi1, wi2) << "\n";
std::cout << "-> fsnm[wi0 != 0](wi0, wi1, wi2) = " << eve::fsnm[wi0 != 0](wi0, wi1, wi2) << "\n";
std::cout << "-> fsnm[pedantic](wi0, wi1, wi2) = " << eve::fsnm[eve::pedantic](wi0, wi1, wi2) << "\n";
std::cout << "-> fsnm[promote](wi0, wi1, wi2) = " << eve::fsnm[eve::promote](wi0, wi1, wi2) << "\n";
std::cout << std::setprecision(20) << "-> fsnm(wf0, wf1, wf2) = " << eve::fsnm(wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fsnm[lower](wf0, wf1, wf2) = " << eve::fsnm[eve::lower](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fsnm[upper](wf0, wf1, wf2) = " << eve::fsnm[eve::upper](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fsnm[lower][strict](wf0, wf1, wf2) = " << eve::fsnm[eve::lower][eve::strict](wf0, wf1, wf2) << "\n";
std::cout << std::setprecision(20) << "-> fsnm[upper][strict](wf0, wf1, wf2) = " << eve::fsnm[eve::upper][eve::strict](wf0, wf1, wf2) << "\n";
}