-
Notifications
You must be signed in to change notification settings - Fork 1.5k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
<cmath>: Complete additional overloads for integers (#4537)
Co-authored-by: Stephan T. Lavavej <[email protected]>
- Loading branch information
1 parent
be81252
commit d655083
Showing
5 changed files
with
285 additions
and
5 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,4 @@ | ||
| # Copyright (c) Microsoft Corporation. | ||
| # SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | ||
|
|
||
| RUNALL_INCLUDE ..\usual_matrix.lst |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,190 @@ | ||
| // Copyright (c) Microsoft Corporation. | ||
| // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception | ||
|
|
||
| #include <cassert> | ||
| #include <cmath> | ||
| #include <math.h> | ||
| #include <type_traits> | ||
|
|
||
| // Also test the partial implementation of P0533R9 "constexpr For <cmath> And <cstdlib>" | ||
| #if _HAS_CXX23 | ||
| #define CONSTEXPR23 constexpr | ||
| #else // ^^^ _HAS_CXX23 / !_HAS_CXX23 vvv | ||
| #define CONSTEXPR23 inline | ||
| #endif // ^^^ !_HAS_CXX23 ^^^ | ||
|
|
||
| CONSTEXPR23 void test_bool_overloads() { | ||
| // test overloads in std | ||
|
|
||
| assert(std::fpclassify(false) == FP_ZERO); | ||
| assert(std::fpclassify(true) == FP_NORMAL); | ||
|
|
||
| assert(std::isfinite(false)); | ||
| assert(std::isfinite(true)); | ||
|
|
||
| assert(!std::isinf(false)); | ||
| assert(!std::isinf(true)); | ||
|
|
||
| assert(!std::isnan(false)); | ||
| assert(!std::isnan(true)); | ||
|
|
||
| assert(!std::isnormal(false)); | ||
| assert(std::isnormal(true)); | ||
|
|
||
| assert(!std::signbit(false)); | ||
| assert(!std::signbit(true)); | ||
|
|
||
| #if _HAS_CXX23 // TRANSITION, UCRT should implement P0533R9 "constexpr For <cmath> And <cstdlib>" | ||
| if (!std::is_constant_evaluated()) | ||
| #endif // ^^^ _HAS_CXX23 ^^^ | ||
| { | ||
| assert(!std::isgreater(false, true)); | ||
| assert(!std::isgreaterequal(false, true)); | ||
| assert(std::isless(false, true)); | ||
| assert(std::islessequal(false, true)); | ||
| assert(std::islessgreater(false, true)); | ||
| assert(!std::isunordered(false, true)); | ||
| } | ||
|
|
||
| // test overloads in the global namespace | ||
|
|
||
| assert(::fpclassify(false) == FP_ZERO); | ||
| assert(::fpclassify(true) == FP_NORMAL); | ||
|
|
||
| assert(::isfinite(false)); | ||
| assert(::isfinite(true)); | ||
|
|
||
| assert(!::isinf(false)); | ||
| assert(!::isinf(true)); | ||
|
|
||
| assert(!::isnan(false)); | ||
| assert(!::isnan(true)); | ||
|
|
||
| assert(!::isnormal(false)); | ||
| assert(::isnormal(true)); | ||
|
|
||
| assert(!::signbit(false)); | ||
| assert(!::signbit(true)); | ||
|
|
||
| #if _HAS_CXX23 // TRANSITION, UCRT should implement P0533R9 "constexpr For <cmath> And <cstdlib>" | ||
| if (!std::is_constant_evaluated()) | ||
| #endif // ^^^ _HAS_CXX23 ^^^ | ||
| { | ||
| assert(!::isgreater(false, true)); | ||
| assert(!::isgreaterequal(false, true)); | ||
| assert(::isless(false, true)); | ||
| assert(::islessequal(false, true)); | ||
| assert(::islessgreater(false, true)); | ||
| assert(!::isunordered(false, true)); | ||
| } | ||
| } | ||
|
|
||
| template <class I> | ||
| CONSTEXPR23 void test_other_integral_overloads() { | ||
| // test overloads in std | ||
|
|
||
| assert(std::fpclassify(I{}) == FP_ZERO); | ||
| assert(std::fpclassify(static_cast<I>(42)) == FP_NORMAL); | ||
| assert(std::fpclassify(static_cast<I>(-42)) == FP_NORMAL); | ||
|
|
||
| assert(std::isfinite(I{})); | ||
| assert(std::isfinite(static_cast<I>(42))); | ||
| assert(std::isfinite(static_cast<I>(-42))); | ||
|
|
||
| assert(!std::isinf(I{})); | ||
| assert(!std::isinf(static_cast<I>(42))); | ||
| assert(!std::isinf(static_cast<I>(-42))); | ||
|
|
||
| assert(!std::isnan(I{})); | ||
| assert(!std::isnan(static_cast<I>(42))); | ||
| assert(!std::isnan(static_cast<I>(-42))); | ||
|
|
||
| assert(!std::isnormal(I{})); | ||
| assert(std::isnormal(static_cast<I>(42))); | ||
| assert(std::isnormal(static_cast<I>(-42))); | ||
|
|
||
| assert(!std::signbit(I{})); | ||
| assert(!std::signbit(static_cast<I>(42))); | ||
| assert(std::signbit(static_cast<I>(-42)) == std::is_signed_v<I>); | ||
|
|
||
| #if _HAS_CXX23 // TRANSITION, UCRT should implement P0533R9 "constexpr For <cmath> And <cstdlib>" | ||
| if (!std::is_constant_evaluated()) | ||
| #endif // ^^^ _HAS_CXX23 ^^^ | ||
| { | ||
| assert(!std::isgreater(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(!std::isgreaterequal(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(std::isless(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(std::islessequal(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(std::islessgreater(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(!std::isunordered(static_cast<I>(17), static_cast<I>(29))); | ||
| } | ||
|
|
||
| // test overloads in the global namespace | ||
|
|
||
| assert(::fpclassify(I{}) == FP_ZERO); | ||
| assert(::fpclassify(static_cast<I>(42)) == FP_NORMAL); | ||
| assert(::fpclassify(static_cast<I>(-42)) == FP_NORMAL); | ||
|
|
||
| assert(::isfinite(I{})); | ||
| assert(::isfinite(static_cast<I>(42))); | ||
| assert(::isfinite(static_cast<I>(-42))); | ||
|
|
||
| assert(!::isinf(I{})); | ||
| assert(!::isinf(static_cast<I>(42))); | ||
| assert(!::isinf(static_cast<I>(-42))); | ||
|
|
||
| assert(!::isnan(I{})); | ||
| assert(!::isnan(static_cast<I>(42))); | ||
| assert(!::isnan(static_cast<I>(-42))); | ||
|
|
||
| assert(!::isnormal(I{})); | ||
| assert(::isnormal(static_cast<I>(42))); | ||
| assert(::isnormal(static_cast<I>(-42))); | ||
|
|
||
| assert(!::signbit(I{})); | ||
| assert(!::signbit(static_cast<I>(42))); | ||
| assert(::signbit(static_cast<I>(-42)) == std::is_signed_v<I>); | ||
|
|
||
| #if _HAS_CXX23 // TRANSITION, UCRT should implement P0533R9 "constexpr For <cmath> And <cstdlib>" | ||
| if (!std::is_constant_evaluated()) | ||
| #endif // ^^^ _HAS_CXX23 ^^^ | ||
| { | ||
| assert(!::isgreater(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(!::isgreaterequal(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(::isless(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(::islessequal(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(::islessgreater(static_cast<I>(17), static_cast<I>(29))); | ||
| assert(!::isunordered(static_cast<I>(17), static_cast<I>(29))); | ||
| } | ||
| } | ||
|
|
||
| CONSTEXPR23 bool test_all_integral_overloads() { | ||
| test_bool_overloads(); | ||
| test_other_integral_overloads<signed char>(); | ||
| test_other_integral_overloads<unsigned char>(); | ||
| test_other_integral_overloads<short>(); | ||
| test_other_integral_overloads<unsigned short>(); | ||
| test_other_integral_overloads<int>(); | ||
| test_other_integral_overloads<unsigned int>(); | ||
| test_other_integral_overloads<long>(); | ||
| test_other_integral_overloads<unsigned long>(); | ||
| test_other_integral_overloads<long long>(); | ||
| test_other_integral_overloads<unsigned long long>(); | ||
| test_other_integral_overloads<char>(); | ||
| #ifdef __cpp_char8_t | ||
| test_other_integral_overloads<char8_t>(); | ||
| #endif // defined(__cpp_char8_t) | ||
| test_other_integral_overloads<char16_t>(); | ||
| test_other_integral_overloads<char32_t>(); | ||
| test_other_integral_overloads<wchar_t>(); | ||
|
|
||
| return true; | ||
| } | ||
|
|
||
| #if _HAS_CXX23 | ||
| static_assert(test_all_integral_overloads()); | ||
| #endif // _HAS_CXX23 | ||
|
|
||
| int main() { | ||
| test_all_integral_overloads(); | ||
| } |