From 91af9048b26b02b82b4eee637dabb6c81e275905 Mon Sep 17 00:00:00 2001 From: Marshall Clow Date: Thu, 1 Feb 2018 15:49:27 +0000 Subject: Remove ; use instead. See https://libcxx.llvm.org/TS_deprecation.html llvm-svn: 323975 --- .../numeric.ops/numeric.ops.gcd/gcd.pass.cpp | 139 --------------------- 1 file changed, 139 deletions(-) delete mode 100644 libcxx/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.pass.cpp (limited to 'libcxx/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.pass.cpp') diff --git a/libcxx/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.pass.cpp b/libcxx/test/std/experimental/numeric/numeric.ops/numeric.ops.gcd/gcd.pass.cpp deleted file mode 100644 index 3f86cfe4c7f..00000000000 --- a/libcxx/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 -// - -// template -// constexpr common_type_t<_M,_N> gcd(_M __m, _N __n) - -#include -#include -#include // for rand() -#include - -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 -constexpr bool test0(Input1 in1, Input2 in2, Output out) -{ - static_assert((std::is_same::value), "" ); - static_assert((std::is_same::value), "" ); - return out == std::experimental::gcd(in1, in2) ? true : (std::abort(), false); -} - - -template -constexpr bool do_test(int = 0) -{ - using S1 = typename std::make_signed::type; - using S2 = typename std::make_signed::type; - using U1 = typename std::make_unsigned::type; - using U2 = typename std::make_unsigned::type; - bool accumulate = true; - for (auto TC : Cases) { - { // Test with two signed types - using Output = std::common_type_t; - accumulate &= test0(TC.x, TC.y, TC.expect); - accumulate &= test0(-TC.x, TC.y, TC.expect); - accumulate &= test0(TC.x, -TC.y, TC.expect); - accumulate &= test0(-TC.x, -TC.y, TC.expect); - accumulate &= test0(TC.x, TC.y, TC.expect); - accumulate &= test0(-TC.x, TC.y, TC.expect); - accumulate &= test0(TC.x, -TC.y, TC.expect); - accumulate &= test0(-TC.x, -TC.y, TC.expect); - } - { // test with two unsigned types - using Output = std::common_type_t; - accumulate &= test0(TC.x, TC.y, TC.expect); - accumulate &= test0(TC.x, TC.y, TC.expect); - } - { // Test with mixed signs - using Output = std::common_type_t; - accumulate &= test0(TC.x, TC.y, TC.expect); - accumulate &= test0(TC.x, TC.y, TC.expect); - accumulate &= test0(-TC.x, TC.y, TC.expect); - accumulate &= test0(TC.x, -TC.y, TC.expect); - } - { // Test with mixed signs - using Output = std::common_type_t; - accumulate &= test0(TC.x, TC.y, TC.expect); - accumulate &= test0(TC.x, TC.y, TC.expect); - accumulate &= test0(-TC.x, TC.y, TC.expect); - accumulate &= test0(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(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - - assert(do_test(non_cce)); - assert(do_test(non_cce)); - assert(do_test(non_cce)); - assert(do_test(non_cce)); - assert(do_test(non_cce)); - - static_assert(do_test< int8_t>(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - - assert(do_test< int8_t>(non_cce)); - assert(do_test(non_cce)); - assert(do_test(non_cce)); - assert(do_test(non_cce)); - - static_assert(do_test(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - static_assert(do_test(), ""); - - assert((do_test(non_cce))); - assert((do_test(non_cce))); - assert((do_test(non_cce))); - assert((do_test(non_cce))); - assert((do_test(non_cce))); - assert((do_test(non_cce))); - assert((do_test(non_cce))); - assert((do_test(non_cce))); - -// LWG#2792 - { - auto res = std::experimental::gcd((int64_t)1234, (int32_t)-2147483648); - static_assert( std::is_same::type>::value, ""); - assert(res == 2); - } -} -- cgit v1.2.3