1 // 2 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 3 // See https://llvm.org/LICENSE.txt for license information. 4 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 5 // 6 //===----------------------------------------------------------------------===// 7 8 // UNSUPPORTED: c++03, c++11, c++14, c++17 9 // XFAIL: !has-64-bit-atomics 10 11 // integral-type operator|=(integral-type) const noexcept; 12 13 #include <atomic> 14 #include <cassert> 15 #include <concepts> 16 #include <type_traits> 17 18 #include "atomic_helpers.h" 19 #include "test_macros.h" 20 21 template <typename T> 22 concept has_bitwise_xor_assign = requires { std::declval<T const>() ^= std::declval<T>(); }; 23 24 template <typename T> 25 struct TestDoesNotHaveBitwiseXorAssign { 26 void operator()() const { static_assert(!has_bitwise_xor_assign<std::atomic_ref<float>>); } 27 }; 28 29 template <typename T> 30 struct TestBitwiseXorAssign { 31 void operator()() const { 32 static_assert(std::is_integral_v<T>); 33 34 T x(T(1)); 35 std::atomic_ref<T> const a(x); 36 37 std::same_as<T> decltype(auto) y = (a ^= T(2)); 38 assert(y == T(3)); 39 assert(x == T(3)); 40 ASSERT_NOEXCEPT(a ^= T(0)); 41 } 42 }; 43 44 int main(int, char**) { 45 TestEachIntegralType<TestBitwiseXorAssign>()(); 46 47 TestEachFloatingPointType<TestDoesNotHaveBitwiseXorAssign>()(); 48 49 TestEachPointerType<TestDoesNotHaveBitwiseXorAssign>()(); 50 51 TestDoesNotHaveBitwiseXorAssign<bool>()(); 52 TestDoesNotHaveBitwiseXorAssign<UserAtomicType>()(); 53 TestDoesNotHaveBitwiseXorAssign<LargeUserAtomicType>()(); 54 55 return 0; 56 } 57