diff --git a/libcxx/test/std/atomics/atomics.lockfree/isalwayslockfree.pass.cpp b/libcxx/test/std/atomics/atomics.lockfree/isalwayslockfree.pass.cpp --- a/libcxx/test/std/atomics/atomics.lockfree/isalwayslockfree.pass.cpp +++ b/libcxx/test/std/atomics/atomics.lockfree/isalwayslockfree.pass.cpp @@ -29,40 +29,6 @@ assert(std::atomic().is_lock_free()); } -// FIXME: This separate test is needed to work around llvm.org/PR31864 -// which causes ATOMIC_LLONG_LOCK_FREE to be defined as '1' in 32-bit builds -// even though __atomic_always_lock_free returns true for the same type. -constexpr bool NeedWorkaroundForPR31864 = -#if defined(__clang__) -(sizeof(void*) == 4); // Needed on 32 bit builds -#else -false; -#endif - -template * = nullptr, - class LLong = long long, - class ULLong = unsigned long long> -void checkLongLongTypes() { - static_assert(std::atomic::is_always_lock_free == (2 == ATOMIC_LLONG_LOCK_FREE), ""); - static_assert(std::atomic::is_always_lock_free == (2 == ATOMIC_LLONG_LOCK_FREE), ""); -} - -// Used to make the calls to __atomic_always_lock_free dependent on a template -// parameter. -template constexpr size_t getSizeOf() { return sizeof(T); } - -template * = nullptr, - class LLong = long long, - class ULLong = unsigned long long> -void checkLongLongTypes() { - constexpr bool ExpectLockFree = __atomic_always_lock_free(getSizeOf(), 0); - static_assert(std::atomic::is_always_lock_free == ExpectLockFree, ""); - static_assert(std::atomic::is_always_lock_free == ExpectLockFree, ""); - static_assert((0 != ATOMIC_LLONG_LOCK_FREE) == ExpectLockFree, ""); -} - void run() { // structs and unions can't be defined in the template invocation. @@ -140,7 +106,8 @@ static_assert(std::atomic::is_always_lock_free == (2 == ATOMIC_INT_LOCK_FREE), ""); static_assert(std::atomic::is_always_lock_free == (2 == ATOMIC_LONG_LOCK_FREE), ""); static_assert(std::atomic::is_always_lock_free == (2 == ATOMIC_LONG_LOCK_FREE), ""); - checkLongLongTypes(); + static_assert(std::atomic::is_always_lock_free == (2 == ATOMIC_LLONG_LOCK_FREE), ""); + static_assert(std::atomic::is_always_lock_free == (2 == ATOMIC_LLONG_LOCK_FREE), ""); static_assert(std::atomic::is_always_lock_free == (2 == ATOMIC_POINTER_LOCK_FREE), ""); static_assert(std::atomic::is_always_lock_free == (2 == ATOMIC_POINTER_LOCK_FREE), "");