[libcxx] r298689 - Implement P0298R3: 'std::byte'. Reviewed as https://reviews.llvm.org/D31022
Marshall Clow via cfe-commits
cfe-commits at lists.llvm.org
Thu Mar 23 22:45:40 PDT 2017
Author: marshall
Date: Fri Mar 24 00:45:39 2017
New Revision: 298689
URL: http://llvm.org/viewvc/llvm-project?rev=298689&view=rev
Log:
Implement P0298R3: 'std::byte'. Reviewed as https://reviews.llvm.org/D31022
Added:
libcxx/trunk/test/std/language.support/support.types/byte.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/
libcxx/trunk/test/std/language.support/support.types/byteops/and.assign.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/and.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.fail.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/lshift.fail.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/lshift.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/not.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/or.assign.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/or.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.fail.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/rshift.fail.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/rshift.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.fail.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/xor.assign.pass.cpp
libcxx/trunk/test/std/language.support/support.types/byteops/xor.pass.cpp
Modified:
libcxx/trunk/include/cstddef
libcxx/trunk/include/type_traits
libcxx/trunk/www/cxx1z_status.html
Modified: libcxx/trunk/include/cstddef
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/include/cstddef?rev=298689&r1=298688&r2=298689&view=diff
==============================================================================
--- libcxx/trunk/include/cstddef (original)
+++ libcxx/trunk/include/cstddef Fri Mar 24 00:45:39 2017
@@ -28,6 +28,7 @@ Types:
size_t
max_align_t
nullptr_t
+ byte // C++17
} // std
@@ -58,4 +59,32 @@ typedef long double max_align_t;
_LIBCPP_END_NAMESPACE_STD
+#if _LIBCPP_STD_VER > 14
+namespace std // purposefully not versioned
+{
+enum class byte : unsigned char {};
+
+constexpr byte& operator|=(byte& __lhs, byte __rhs) noexcept
+{ return __lhs = byte(static_cast<unsigned char>(__lhs) | static_cast<unsigned char>(__rhs)); }
+constexpr byte operator| (byte __lhs, byte __rhs) noexcept
+{ return byte(static_cast<unsigned char>(__lhs) | static_cast<unsigned char>(__rhs)); }
+
+constexpr byte& operator&=(byte& __lhs, byte __rhs) noexcept
+{ return __lhs = byte(static_cast<unsigned char>(__lhs) & static_cast<unsigned char>(__rhs)); }
+constexpr byte operator& (byte __lhs, byte __rhs) noexcept
+{ return byte(static_cast<unsigned char>(__lhs) & static_cast<unsigned char>(__rhs)); }
+
+constexpr byte& operator^=(byte& __lhs, byte __rhs) noexcept
+{ return __lhs = byte(static_cast<unsigned char>(__lhs) ^ static_cast<unsigned char>(__rhs)); }
+constexpr byte operator^ (byte __lhs, byte __rhs) noexcept
+{ return byte(static_cast<unsigned char>(__lhs) ^ static_cast<unsigned char>(__rhs)); }
+
+constexpr byte operator~ (byte __b) noexcept
+{ return byte(~static_cast<unsigned char>(__b)); }
+
+}
+
+#include <type_traits> // rest of byte
+#endif
+
#endif // _LIBCPP_CSTDDEF
Modified: libcxx/trunk/include/type_traits
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/include/type_traits?rev=298689&r1=298688&r2=298689&view=diff
==============================================================================
--- libcxx/trunk/include/type_traits (original)
+++ libcxx/trunk/include/type_traits Fri Mar 24 00:45:39 2017
@@ -4714,4 +4714,35 @@ struct __can_extract_map_key<_ValTy, _Ke
_LIBCPP_END_NAMESPACE_STD
+#if _LIBCPP_STD_VER > 14
+// std::byte
+namespace std // purposefully not versioned
+{
+template <class _Integer>
+ constexpr typename enable_if<is_integral_v<_Integer>, byte>::type &
+ operator<<=(byte& __lhs, _Integer __shift) noexcept
+ { return __lhs = byte(static_cast<unsigned char>(__lhs) << __shift); }
+
+template <class _Integer>
+ constexpr typename enable_if<is_integral_v<_Integer>, byte>::type
+ operator<< (byte __lhs, _Integer __shift) noexcept
+ { return byte(static_cast<unsigned char>(__lhs) << __shift); }
+
+template <class _Integer>
+ constexpr typename enable_if<is_integral_v<_Integer>, byte>::type &
+ operator>>=(byte& __lhs, _Integer __shift) noexcept
+ { return __lhs = byte(static_cast<unsigned char>(__lhs) >> __shift); }
+
+template <class _Integer>
+ constexpr typename enable_if<is_integral_v<_Integer>, byte>::type
+ operator>> (byte __lhs, _Integer __shift) noexcept
+ { return byte(static_cast<unsigned char>(__lhs) >> __shift); }
+
+template <class _Integer>
+ constexpr typename enable_if<is_integral_v<_Integer>, _Integer>::type
+ to_integer(byte __b) noexcept { return _Integer(__b); }
+
+}
+#endif
+
#endif // _LIBCPP_TYPE_TRAITS
Added: libcxx/trunk/test/std/language.support/support.types/byte.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byte.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byte.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byte.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,30 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <type_traits>
+#include <test_macros.h>
+
+// XFAIL: c++98, c++03, c++11, c++14
+
+// std::byte is not an integer type, nor a character type.
+// It is a distinct type for accessing the bits that ultimately make up object storage.
+
+static_assert( std::is_pod<std::byte>::value, "" );
+static_assert(!std::is_arithmetic<std::byte>::value, "" );
+static_assert(!std::is_integral<std::byte>::value, "" );
+
+static_assert(!std::is_same<std::byte, char>::value, "" );
+static_assert(!std::is_same<std::byte, signed char>::value, "" );
+static_assert(!std::is_same<std::byte, unsigned char>::value, "" );
+
+// The standard doesn't outright say this, but it's pretty clear that it has to be true.
+static_assert(sizeof(std::byte) == 1, "" );
+
+int main () {}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/and.assign.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/and.assign.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/and.assign.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/and.assign.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,39 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// constexpr byte& operator &=(byte l, byte r) noexcept;
+
+
+constexpr std::byte test(std::byte b1, std::byte b2) {
+ std::byte bret = b1;
+ return bret &= b2;
+ }
+
+
+int main () {
+ std::byte b; // not constexpr, just used in noexcept check
+ constexpr std::byte b1{1};
+ constexpr std::byte b8{8};
+ constexpr std::byte b9{9};
+
+ static_assert(noexcept(b &= b), "" );
+
+ static_assert(std::to_integer<int>(test(b1, b8)) == 0, "");
+ static_assert(std::to_integer<int>(test(b1, b9)) == 1, "");
+ static_assert(std::to_integer<int>(test(b8, b9)) == 8, "");
+
+ static_assert(std::to_integer<int>(test(b8, b1)) == 0, "");
+ static_assert(std::to_integer<int>(test(b9, b1)) == 1, "");
+ static_assert(std::to_integer<int>(test(b9, b8)) == 8, "");
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/and.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/and.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/and.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/and.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,31 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// constexpr byte operator&(byte l, byte r) noexcept;
+
+int main () {
+ constexpr std::byte b1{1};
+ constexpr std::byte b8{8};
+ constexpr std::byte b9{9};
+
+ static_assert(noexcept(b1 & b8), "" );
+
+ static_assert(std::to_integer<int>(b1 & b8) == 0, "");
+ static_assert(std::to_integer<int>(b1 & b9) == 1, "");
+ static_assert(std::to_integer<int>(b8 & b9) == 8, "");
+
+ static_assert(std::to_integer<int>(b8 & b1) == 0, "");
+ static_assert(std::to_integer<int>(b9 & b1) == 1, "");
+ static_assert(std::to_integer<int>(b9 & b8) == 8, "");
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.fail.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.fail.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.fail.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.fail.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,28 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr byte& operator<<=(byte& b, IntegerType shift) noexcept;
+// This function shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+
+constexpr std::byte test(std::byte b) {
+ return b <<= 2.0;
+ }
+
+
+int main () {
+ constexpr std::byte b1 = test(std::byte{1});
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/lshift.assign.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,36 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr byte& operator<<=(byte& b, IntegerType shift) noexcept;
+// This function shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+
+constexpr std::byte test(std::byte b) {
+ return b <<= 2;
+ }
+
+
+int main () {
+ std::byte b; // not constexpr, just used in noexcept check
+ constexpr std::byte b2{2};
+ constexpr std::byte b3{3};
+
+ static_assert(noexcept(b <<= 2), "" );
+
+ static_assert(std::to_integer<int>(test(b2)) == 8, "" );
+ static_assert(std::to_integer<int>(test(b3)) == 12, "" );
+
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/lshift.fail.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/lshift.fail.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/lshift.fail.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/lshift.fail.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,23 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr byte operator <<(byte b, IntegerType shift) noexcept;
+// These functions shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+int main () {
+ constexpr std::byte b1{1};
+ constexpr std::byte b2 = b1 << 2.0f;
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/lshift.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/lshift.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/lshift.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/lshift.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,30 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr byte operator <<(byte b, IntegerType shift) noexcept;
+// These functions shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+int main () {
+ constexpr std::byte b1{1};
+ constexpr std::byte b3{3};
+
+ static_assert(noexcept(b3 << 2), "" );
+
+ static_assert(std::to_integer<int>(b1 << 1) == 2, "");
+ static_assert(std::to_integer<int>(b1 << 2) == 4, "");
+ static_assert(std::to_integer<int>(b3 << 4) == 48, "");
+ static_assert(std::to_integer<int>(b3 << 6) == 192, "");
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/not.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/not.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/not.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/not.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,27 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// constexpr byte operator~(byte b) noexcept;
+
+int main () {
+ constexpr std::byte b1{1};
+ constexpr std::byte b2{2};
+ constexpr std::byte b8{8};
+
+ static_assert(noexcept(~b1), "" );
+
+ static_assert(std::to_integer<int>(~b1) == 254, "");
+ static_assert(std::to_integer<int>(~b2) == 253, "");
+ static_assert(std::to_integer<int>(~b8) == 247, "");
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/or.assign.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/or.assign.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/or.assign.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/or.assign.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,40 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// constexpr byte& operator |=(byte l, byte r) noexcept;
+
+
+constexpr std::byte test(std::byte b1, std::byte b2) {
+ std::byte bret = b1;
+ return bret |= b2;
+ }
+
+
+int main () {
+ std::byte b; // not constexpr, just used in noexcept check
+ constexpr std::byte b1{1};
+ constexpr std::byte b2{2};
+ constexpr std::byte b8{8};
+
+ static_assert(noexcept(b |= b), "" );
+
+ static_assert(std::to_integer<int>(test(b1, b2)) == 3, "");
+ static_assert(std::to_integer<int>(test(b1, b8)) == 9, "");
+ static_assert(std::to_integer<int>(test(b2, b8)) == 10, "");
+
+ static_assert(std::to_integer<int>(test(b2, b1)) == 3, "");
+ static_assert(std::to_integer<int>(test(b8, b1)) == 9, "");
+ static_assert(std::to_integer<int>(test(b8, b2)) == 10, "");
+
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/or.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/or.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/or.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/or.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,31 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// constexpr byte operator|(byte l, byte r) noexcept;
+
+int main () {
+ constexpr std::byte b1{1};
+ constexpr std::byte b2{2};
+ constexpr std::byte b8{8};
+
+ static_assert(noexcept(b1 | b2), "" );
+
+ static_assert(std::to_integer<int>(b1 | b2) == 3, "");
+ static_assert(std::to_integer<int>(b1 | b8) == 9, "");
+ static_assert(std::to_integer<int>(b2 | b8) == 10, "");
+
+ static_assert(std::to_integer<int>(b2 | b1) == 3, "");
+ static_assert(std::to_integer<int>(b8 | b1) == 9, "");
+ static_assert(std::to_integer<int>(b8 | b2) == 10, "");
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.fail.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.fail.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.fail.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.fail.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,28 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr byte operator>>(byte& b, IntegerType shift) noexcept;
+// This function shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+
+constexpr std::byte test(std::byte b) {
+ return b >>= 2.0;
+ }
+
+
+int main () {
+ constexpr std::byte b1 = test(std::byte{1});
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/rshift.assign.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,35 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr byte& operator>>=(byte& b, IntegerType shift) noexcept;
+// This function shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+
+constexpr std::byte test(std::byte b) {
+ return b >>= 2;
+ }
+
+
+int main () {
+ std::byte b; // not constexpr, just used in noexcept check
+ constexpr std::byte b16{16};
+ constexpr std::byte b192{192};
+
+ static_assert(noexcept(b >>= 2), "" );
+
+ static_assert(std::to_integer<int>(test(b16)) == 4, "" );
+ static_assert(std::to_integer<int>(test(b192)) == 48, "" );
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/rshift.fail.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/rshift.fail.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/rshift.fail.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/rshift.fail.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,23 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr byte operator >>(byte b, IntegerType shift) noexcept;
+// These functions shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+int main () {
+ constexpr std::byte b1{1};
+ constexpr std::byte b2 = b1 >> 2.0f;
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/rshift.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/rshift.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/rshift.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/rshift.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,37 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr byte operator <<(byte b, IntegerType shift) noexcept;
+// These functions shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+
+constexpr std::byte test(std::byte b) {
+ return b <<= 2;
+ }
+
+
+int main () {
+ constexpr std::byte b100{100};
+ constexpr std::byte b115{115};
+
+ static_assert(noexcept(b100 << 2), "" );
+
+ static_assert(std::to_integer<int>(b100 >> 1) == 50, "");
+ static_assert(std::to_integer<int>(b100 >> 2) == 25, "");
+ static_assert(std::to_integer<int>(b115 >> 3) == 14, "");
+ static_assert(std::to_integer<int>(b115 >> 6) == 1, "");
+
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.fail.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.fail.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.fail.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.fail.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,23 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr IntegerType to_integer(byte b) noexcept;
+// This function shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+int main () {
+ constexpr std::byte b1{1};
+ auto f = std::to_integer<float>(b1);
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/to_integer.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,31 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// template <class IntegerType>
+// constexpr IntegerType to_integer(byte b) noexcept;
+// This function shall not participate in overload resolution unless
+// is_integral_v<IntegerType> is true.
+
+int main () {
+ constexpr std::byte b1{1};
+ constexpr std::byte b3{3};
+
+ static_assert(noexcept(std::to_integer<int>(b1)), "" );
+ static_assert(std::is_same<int, decltype(std::to_integer<int>(b1))>::value, "" );
+ static_assert(std::is_same<long, decltype(std::to_integer<long>(b1))>::value, "" );
+ static_assert(std::is_same<unsigned short, decltype(std::to_integer<unsigned short>(b1))>::value, "" );
+
+ static_assert(std::to_integer<int>(b1) == 1, "");
+ static_assert(std::to_integer<int>(b3) == 3, "");
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/xor.assign.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/xor.assign.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/xor.assign.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/xor.assign.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,39 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// constexpr byte& operator ^=(byte l, byte r) noexcept;
+
+
+constexpr std::byte test(std::byte b1, std::byte b2) {
+ std::byte bret = b1;
+ return bret ^= b2;
+ }
+
+
+int main () {
+ std::byte b; // not constexpr, just used in noexcept check
+ constexpr std::byte b1{1};
+ constexpr std::byte b8{8};
+ constexpr std::byte b9{9};
+
+ static_assert(noexcept(b ^= b), "" );
+
+ static_assert(std::to_integer<int>(test(b1, b8)) == 9, "");
+ static_assert(std::to_integer<int>(test(b1, b9)) == 8, "");
+ static_assert(std::to_integer<int>(test(b8, b9)) == 1, "");
+
+ static_assert(std::to_integer<int>(test(b8, b1)) == 9, "");
+ static_assert(std::to_integer<int>(test(b9, b1)) == 8, "");
+ static_assert(std::to_integer<int>(test(b9, b8)) == 1, "");
+}
Added: libcxx/trunk/test/std/language.support/support.types/byteops/xor.pass.cpp
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/test/std/language.support/support.types/byteops/xor.pass.cpp?rev=298689&view=auto
==============================================================================
--- libcxx/trunk/test/std/language.support/support.types/byteops/xor.pass.cpp (added)
+++ libcxx/trunk/test/std/language.support/support.types/byteops/xor.pass.cpp Fri Mar 24 00:45:39 2017
@@ -0,0 +1,31 @@
+//===----------------------------------------------------------------------===//
+//
+// 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.
+//
+//===----------------------------------------------------------------------===//
+
+#include <cstddef>
+#include <test_macros.h>
+
+// UNSUPPORTED: c++98, c++03, c++11, c++14
+
+// constexpr byte operator^(byte l, byte r) noexcept;
+
+int main () {
+ constexpr std::byte b1{1};
+ constexpr std::byte b8{8};
+ constexpr std::byte b9{9};
+
+ static_assert(noexcept(b1 ^ b8), "" );
+
+ static_assert(std::to_integer<int>(b1 ^ b8) == 9, "");
+ static_assert(std::to_integer<int>(b1 ^ b9) == 8, "");
+ static_assert(std::to_integer<int>(b8 ^ b9) == 1, "");
+
+ static_assert(std::to_integer<int>(b8 ^ b1) == 9, "");
+ static_assert(std::to_integer<int>(b9 ^ b1) == 8, "");
+ static_assert(std::to_integer<int>(b9 ^ b8) == 1, "");
+}
Modified: libcxx/trunk/www/cxx1z_status.html
URL: http://llvm.org/viewvc/llvm-project/libcxx/trunk/www/cxx1z_status.html?rev=298689&r1=298688&r2=298689&view=diff
==============================================================================
--- libcxx/trunk/www/cxx1z_status.html (original)
+++ libcxx/trunk/www/cxx1z_status.html Fri Mar 24 00:45:39 2017
@@ -144,7 +144,7 @@
<tr><td></td><td></td><td></td><td></td><td></td><td></td></tr>
<tr><td><a href="http://wg21.link/P0156R2">P0156R2</a></td><td>LWG</td><td>Variadic Lock guard(rev 5)</td><td>Kona</td><td>Complete</td><td>5.0</td></tr>
<tr><td><a href="http://wg21.link/P0270R3">P0270R3</a></td><td>CWG</td><td>Removing C dependencies from signal handler wording</td><td>Kona</td><td></td><td></td></tr>
- <tr><td><a href="http://wg21.link/P0298R3">P0298R3</a></td><td>CWG</td><td>A byte type definition</td><td>Kona</td><td></td><td></td></tr>
+ <tr><td><a href="http://wg21.link/P0298R3">P0298R3</a></td><td>CWG</td><td>A byte type definition</td><td>Kona</td><td>Complete</td><td>5.0</td></tr>
<tr><td><a href="http://wg21.link/P0317R1">P0317R1</a></td><td>LWG</td><td>Directory Entry Caching for Filesystem</td><td>Kona</td><td></td><td></td></tr>
<tr><td><a href="http://wg21.link/P0430R2">P0430R2</a></td><td>LWG</td><td>File system library on non-POSIX-like operating systems</td><td>Kona</td><td></td><td></td></tr>
<tr><td><a href="http://wg21.link/P0433R2">P0433R2</a></td><td>LWG</td><td>Toward a resolution of US7 and US14: Integrating template deduction for class templates into the standard library</td><td>Kona</td><td></td><td></td></tr>
More information about the cfe-commits
mailing list