nextafter

eve::nextafter = functor<nextafter_t>

inlineconstexpr

Header file

#include <eve/module/core.hpp>

Callable Signatures

namespace eve
{
   // Regular overloads
   constexpr auto nextafter(eve::value auto x, eve::value auto ... xs)                 noexcept; // 1
 
   // Lanes masking
   constexpr auto nextafter[conditional_expr auto c](/* any of the above overloads */) noexcept; // 3
   constexpr auto nextafter[logical_value auto m](/* any of the above overloads */)    noexcept; // 3
 
   // Semantic options
   constexpr auto nextafter[pedantic](/* any of the above overloads */)                noexcept; // 4
}

Parameters

• x, y: arguments.
• c: Conditional expression masking the operation.
• m: Logical value masking the operation.

Return value

1. the next representable value after x in the y direction is returned. If y == x returns x.
2. The operation is performed conditionnaly
3. Provides a version of nextafter for which floating plus zero and minus zero are distinct.

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 << "-> nextafter(wf0, wf1)                 = " << eve::nextafter(wf0, wf1) << "\n";
  std::cout << "-> nextafter[ignore_last(2)](wf0, wf1) = " << eve::nextafter[eve::ignore_last(2)](wf0, wf1) << "\n";
  std::cout << "-> nextafter[wf0 != 0](wf0, wf1)       = " << eve::nextafter[wf0 != 0](wf0, wf1) << "\n";
  std::cout << "-> nextafter[pedantic](wf0, wf1)       = " << eve::nextafter[eve::pedantic](wf0, wf1) << "\n";
  std::cout << "-> nextafter(wu0, wu1)                 = " << eve::nextafter(wu0, wu1) << "\n";
  std::cout << "-> nextafter(wi0, wi1)                 = " << eve::nextafter(wi0, wi1) << "\n";
}