diff options
Diffstat (limited to 'test/std/experimental/numeric')
16 files changed, 0 insertions, 604 deletions
diff --git a/test/std/experimental/numeric/numeric.ops.overview/nothing_to_do.pass.cpp b/test/std/experimental/numeric/numeric.ops.overview/nothing_to_do.pass.cpp deleted file mode 100644 index 7b2527f22bf4..000000000000 --- a/test/std/experimental/numeric/numeric.ops.overview/nothing_to_do.pass.cpp +++ /dev/null @@ -1,15 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -#include <experimental/numeric> - -int main () {} diff --git a/test/std/experimental/numeric/numeric.ops/nothing_to_do.pass.cpp b/test/std/experimental/numeric/numeric.ops/nothing_to_do.pass.cpp deleted file mode 100644 index 7b2527f22bf4..000000000000 --- a/test/std/experimental/numeric/numeric.ops/nothing_to_do.pass.cpp +++ /dev/null @@ -1,15 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -#include <experimental/numeric> - -int main () {} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool1.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool1.fail.cpp deleted file mode 100644 index c8d6c5367d7e..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool1.fail.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, -// or if either is (a possibly cv-qualified) bool, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::gcd(false, 4); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool2.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool2.fail.cpp deleted file mode 100644 index a3a2206fba63..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool2.fail.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, -// or if either is (a possibly cv-qualified) bool, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::gcd(2, true); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool3.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool3.fail.cpp deleted file mode 100644 index 1f04580ddabd..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool3.fail.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, -// or if either is (a possibly cv-qualified) bool, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::gcd<volatile bool, int>(false, 4); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool4.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool4.fail.cpp deleted file mode 100644 index 1f0e8a2b3a2f..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.bool4.fail.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, -// or if either is (a possibly cv-qualified) bool, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::gcd<int, const bool>(2, true); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.not_integral1.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.not_integral1.fail.cpp deleted file mode 100644 index 8b069832aac8..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.not_integral1.fail.cpp +++ /dev/null @@ -1,24 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::gcd(2.0, 4); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.not_integral2.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.not_integral2.fail.cpp deleted file mode 100644 index ca9b871ef5e0..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.not_integral2.fail.cpp +++ /dev/null @@ -1,24 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::gcd(4, 6.0); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.pass.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.pass.cpp deleted file mode 100644 index 3f86cfe4c7f0..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.pass.cpp +++ /dev/null @@ -1,139 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n) - -#include <experimental/numeric> -#include <cassert> -#include <cstdlib> // for rand() -#include <iostream> - -constexpr struct { - int x; - int y; - int expect; -} Cases[] = { - {0, 0, 0}, - {1, 0, 1}, - {0, 1, 1}, - {1, 1, 1}, - {2, 3, 1}, - {2, 4, 2}, - {36, 17, 1}, - {36, 18, 18} -}; - - -template <typename Input1, typename Input2, typename Output> -constexpr bool test0(Input1 in1, Input2 in2, Output out) -{ - static_assert((std::is_same<Output, decltype(std::experimental::gcd(in1, in2))>::value), "" ); - static_assert((std::is_same<Output, decltype(std::experimental::gcd(in2, in1))>::value), "" ); - return out == std::experimental::gcd(in1, in2) ? true : (std::abort(), false); -} - - -template <typename Input1, typename Input2 = Input1> -constexpr bool do_test(int = 0) -{ - using S1 = typename std::make_signed<Input1>::type; - using S2 = typename std::make_signed<Input2>::type; - using U1 = typename std::make_unsigned<Input1>::type; - using U2 = typename std::make_unsigned<Input2>::type; - bool accumulate = true; - for (auto TC : Cases) { - { // Test with two signed types - using Output = std::common_type_t<S1, S2>; - accumulate &= test0<S1, S2, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<S1, S2, Output>(-TC.x, TC.y, TC.expect); - accumulate &= test0<S1, S2, Output>(TC.x, -TC.y, TC.expect); - accumulate &= test0<S1, S2, Output>(-TC.x, -TC.y, TC.expect); - accumulate &= test0<S2, S1, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<S2, S1, Output>(-TC.x, TC.y, TC.expect); - accumulate &= test0<S2, S1, Output>(TC.x, -TC.y, TC.expect); - accumulate &= test0<S2, S1, Output>(-TC.x, -TC.y, TC.expect); - } - { // test with two unsigned types - using Output = std::common_type_t<U1, U2>; - accumulate &= test0<U1, U2, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<U2, U1, Output>(TC.x, TC.y, TC.expect); - } - { // Test with mixed signs - using Output = std::common_type_t<S1, U2>; - accumulate &= test0<S1, U2, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<U2, S1, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<S1, U2, Output>(-TC.x, TC.y, TC.expect); - accumulate &= test0<U2, S1, Output>(TC.x, -TC.y, TC.expect); - } - { // Test with mixed signs - using Output = std::common_type_t<S2, U1>; - accumulate &= test0<S2, U1, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<U1, S2, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<S2, U1, Output>(-TC.x, TC.y, TC.expect); - accumulate &= test0<U1, S2, Output>(TC.x, -TC.y, TC.expect); - } - } - return accumulate; -} - -int main() -{ - auto non_cce = std::rand(); // a value that can't possibly be constexpr - - static_assert(do_test<signed char>(), ""); - static_assert(do_test<short>(), ""); - static_assert(do_test<int>(), ""); - static_assert(do_test<long>(), ""); - static_assert(do_test<long long>(), ""); - - assert(do_test<signed char>(non_cce)); - assert(do_test<short>(non_cce)); - assert(do_test<int>(non_cce)); - assert(do_test<long>(non_cce)); - assert(do_test<long long>(non_cce)); - - static_assert(do_test< int8_t>(), ""); - static_assert(do_test<int16_t>(), ""); - static_assert(do_test<int32_t>(), ""); - static_assert(do_test<int64_t>(), ""); - - assert(do_test< int8_t>(non_cce)); - assert(do_test<int16_t>(non_cce)); - assert(do_test<int32_t>(non_cce)); - assert(do_test<int64_t>(non_cce)); - - static_assert(do_test<signed char, int>(), ""); - static_assert(do_test<int, signed char>(), ""); - static_assert(do_test<short, int>(), ""); - static_assert(do_test<int, short>(), ""); - static_assert(do_test<int, long>(), ""); - static_assert(do_test<long, int>(), ""); - static_assert(do_test<int, long long>(), ""); - static_assert(do_test<long long, int>(), ""); - - assert((do_test<signed char, int>(non_cce))); - assert((do_test<int, signed char>(non_cce))); - assert((do_test<short, int>(non_cce))); - assert((do_test<int, short>(non_cce))); - assert((do_test<int, long>(non_cce))); - assert((do_test<long, int>(non_cce))); - assert((do_test<int, long long>(non_cce))); - assert((do_test<long long, int>(non_cce))); - -// LWG#2792 - { - auto res = std::experimental::gcd((int64_t)1234, (int32_t)-2147483648); - static_assert( std::is_same<decltype(res), std::common_type<int64_t, int32_t>::type>::value, ""); - assert(res == 2); - } -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool1.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool1.fail.cpp deleted file mode 100644 index e4c2ed8bf539..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool1.fail.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> lcm(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, -// or if either is (a possibly cv-qualified) bool, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::lcm(false, 4); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool2.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool2.fail.cpp deleted file mode 100644 index 097b23eae6e4..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool2.fail.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> lcm(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, -// or if either is (a possibly cv-qualified) bool, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::lcm(2, true); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool3.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool3.fail.cpp deleted file mode 100644 index d5e6300818cc..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool3.fail.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> lcm(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, -// or if either is (a possibly cv-qualified) bool, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::lcm<volatile bool, int>(false, 4); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool4.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool4.fail.cpp deleted file mode 100644 index d88c490d64bf..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.bool4.fail.cpp +++ /dev/null @@ -1,25 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> lcm(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, -// or if either is (a possibly cv-qualified) bool, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::lcm<int, const bool>(2, true); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.not_integral1.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.not_integral1.fail.cpp deleted file mode 100644 index d12b35609b1e..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.not_integral1.fail.cpp +++ /dev/null @@ -1,24 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> lcm(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::lcm(2.0, 4); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.not_integral2.fail.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.not_integral2.fail.cpp deleted file mode 100644 index d5731870eb19..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.not_integral2.fail.cpp +++ /dev/null @@ -1,24 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> lcm(_M __m, _N __n) - -// Remarks: If either M or N is not an integer type, the program is ill-formed. - -#include <experimental/numeric> - - -int main() -{ - std::experimental::lcm(4, 6.0); -} diff --git a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.pass.cpp b/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.pass.cpp deleted file mode 100644 index 211363aeac68..000000000000 --- a/test/std/experimental/numeric/numeric.ops/numeric.ops.lcm/lcm.pass.cpp +++ /dev/null @@ -1,139 +0,0 @@ -//===----------------------------------------------------------------------===// -// -// The LLVM Compiler Infrastructure -// -// This file is dual licensed under the MIT and the University of Illinois Open -// Source Licenses. See LICENSE.TXT for details. -// -//===----------------------------------------------------------------------===// -// -// UNSUPPORTED: c++98, c++03, c++11 -// <numeric> - -// template<class _M, class _N> -// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n) - -#include <experimental/numeric> -#include <cassert> -#include <cstdlib> -#include <iostream> - -constexpr struct { - int x; - int y; - int expect; -} Cases[] = { - {0, 0, 0}, - {1, 0, 0}, - {0, 1, 0}, - {1, 1, 1}, - {2, 3, 6}, - {2, 4, 4}, - {3, 17, 51}, - {36, 18, 36} -}; - -template <typename Input1, typename Input2, typename Output> -constexpr bool test0(Input1 in1, Input2 in2, Output out) -{ - static_assert((std::is_same<Output, decltype(std::experimental::lcm(Input1(0), Input2(0)))>::value), "" ); - static_assert((std::is_same<Output, decltype(std::experimental::lcm(Input2(0), Input1(0)))>::value), "" ); - return out == std::experimental::lcm(in1, in2) ? true : (std::abort(), false); -} - - -template <typename Input1, typename Input2 = Input1> -constexpr bool do_test(int = 0) -{ - using S1 = typename std::make_signed<Input1>::type; - using S2 = typename std::make_signed<Input2>::type; - using U1 = typename std::make_unsigned<Input1>::type; - using U2 = typename std::make_unsigned<Input2>::type; - bool accumulate = true; - for (auto TC : Cases) { - { // Test with two signed types - using Output = std::common_type_t<S1, S2>; - accumulate &= test0<S1, S2, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<S1, S2, Output>(-TC.x, TC.y, TC.expect); - accumulate &= test0<S1, S2, Output>(TC.x, -TC.y, TC.expect); - accumulate &= test0<S1, S2, Output>(-TC.x, -TC.y, TC.expect); - accumulate &= test0<S2, S1, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<S2, S1, Output>(-TC.x, TC.y, TC.expect); - accumulate &= test0<S2, S1, Output>(TC.x, -TC.y, TC.expect); - accumulate &= test0<S2, S1, Output>(-TC.x, -TC.y, TC.expect); - } - { // test with two unsigned types - using Output = std::common_type_t<U1, U2>; - accumulate &= test0<U1, U2, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<U2, U1, Output>(TC.x, TC.y, TC.expect); - } - { // Test with mixed signs - using Output = std::common_type_t<S1, U2>; - accumulate &= test0<S1, U2, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<U2, S1, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<S1, U2, Output>(-TC.x, TC.y, TC.expect); - accumulate &= test0<U2, S1, Output>(TC.x, -TC.y, TC.expect); - } - { // Test with mixed signs - using Output = std::common_type_t<S2, U1>; - accumulate &= test0<S2, U1, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<U1, S2, Output>(TC.x, TC.y, TC.expect); - accumulate &= test0<S2, U1, Output>(-TC.x, TC.y, TC.expect); - accumulate &= test0<U1, S2, Output>(TC.x, -TC.y, TC.expect); - } - } - return accumulate; -} - -int main() -{ - auto non_cce = std::rand(); // a value that can't possibly be constexpr - - static_assert(do_test<signed char>(), ""); - static_assert(do_test<short>(), ""); - static_assert(do_test<int>(), ""); - static_assert(do_test<long>(), ""); - static_assert(do_test<long long>(), ""); - - assert(do_test<signed char>(non_cce)); - assert(do_test<short>(non_cce)); - assert(do_test<int>(non_cce)); - assert(do_test<long>(non_cce)); - assert(do_test<long long>(non_cce)); - - static_assert(do_test< int8_t>(), ""); - static_assert(do_test<int16_t>(), ""); - static_assert(do_test<int32_t>(), ""); - static_assert(do_test<int64_t>(), ""); - - assert(do_test< int8_t>(non_cce)); - assert(do_test<int16_t>(non_cce)); - assert(do_test<int32_t>(non_cce)); - assert(do_test<int64_t>(non_cce)); - - static_assert(do_test<signed char, int>(), ""); - static_assert(do_test<int, signed char>(), ""); - static_assert(do_test<short, int>(), ""); - static_assert(do_test<int, short>(), ""); - static_assert(do_test<int, long>(), ""); - static_assert(do_test<long, int>(), ""); - static_assert(do_test<int, long long>(), ""); - static_assert(do_test<long long, int>(), ""); - - assert((do_test<signed char, int>(non_cce))); - assert((do_test<int, signed char>(non_cce))); - assert((do_test<short, int>(non_cce))); - assert((do_test<int, short>(non_cce))); - assert((do_test<int, long>(non_cce))); - assert((do_test<long, int>(non_cce))); - assert((do_test<int, long long>(non_cce))); - assert((do_test<long long, int>(non_cce))); - -// LWG#2792 - { - auto res1 = std::experimental::lcm((int64_t)1234, (int32_t)-2147483648); - (void) std::experimental::lcm<int, unsigned long>(INT_MIN, 2); // this used to trigger UBSAN - static_assert( std::is_same<decltype(res1), std::common_type<int64_t, int32_t>::type>::value, ""); - assert(res1 == 1324997410816LL); - } -} |