From d5c19bb16dec134bc9e690b479a8113a9c671c36 Mon Sep 17 00:00:00 2001 From: Dan Albert Date: Tue, 6 Jan 2015 22:18:27 +0000 Subject: Move a test to the new tests directory. I had written the patch that added this test before the tests were moved into tests/std, so the test ended up in the wrong directory. llvm-svn: 225300 --- .../atomics.general/replace_failure_order.pass.cpp | 43 ++++++++++++++++++++++ 1 file changed, 43 insertions(+) create mode 100644 libcxx/test/std/atomics/atomics.general/replace_failure_order.pass.cpp (limited to 'libcxx/test/std/atomics/atomics.general/replace_failure_order.pass.cpp') diff --git a/libcxx/test/std/atomics/atomics.general/replace_failure_order.pass.cpp b/libcxx/test/std/atomics/atomics.general/replace_failure_order.pass.cpp new file mode 100644 index 00000000000..cd0683d6887 --- /dev/null +++ b/libcxx/test/std/atomics/atomics.general/replace_failure_order.pass.cpp @@ -0,0 +1,43 @@ +//===----------------------------------------------------------------------===// +// +// 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: libcpp-has-no-threads + +// This test verifies behavior specified by [atomics.types.operations.req]/21: +// +// When only one memory_order argument is supplied, the value of success is +// order, and the value of failure is order except that a value of +// memory_order_acq_rel shall be replaced by the value memory_order_acquire +// and a value of memory_order_release shall be replaced by the value +// memory_order_relaxed. +// +// Clang's atomic intrinsics do this for us, but GCC's do not. We don't actually +// have visibility to see what these memory orders are lowered to, but we can at +// least check that they are lowered at all (otherwise there is a compile +// failure with GCC). + +#include + +int main() { + std::atomic i; + volatile std::atomic v; + int exp = 0; + + i.compare_exchange_weak(exp, 0, std::memory_order_acq_rel); + i.compare_exchange_weak(exp, 0, std::memory_order_release); + i.compare_exchange_strong(exp, 0, std::memory_order_acq_rel); + i.compare_exchange_strong(exp, 0, std::memory_order_release); + + v.compare_exchange_weak(exp, 0, std::memory_order_acq_rel); + v.compare_exchange_weak(exp, 0, std::memory_order_release); + v.compare_exchange_strong(exp, 0, std::memory_order_acq_rel); + v.compare_exchange_strong(exp, 0, std::memory_order_release); + + return 0; +} -- cgit v1.2.3