From ea53809db177914ec14df44acc55fce70bdf3348 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mirza=20Halil=C4=8Devi=C4=87?= <109971222+mirza-halilcevic@users.noreply.github.com> Date: Thu, 28 Dec 2023 16:52:35 +0100 Subject: [PATCH] EXSWHTEC-297 - Implement memory ordering tests for builtin atomic operations #390 Change-Id: I9ed4ff6ec1e7b8aecc2e1c3ba5883c73901ba2e2 --- catch/unit/atomics/CMakeLists.txt | 2 + catch/unit/atomics/acquire_release.cc | 551 +++++++++++++++++++ catch/unit/atomics/sequential_consistency.cc | 165 ++++++ 3 files changed, 718 insertions(+) create mode 100644 catch/unit/atomics/acquire_release.cc create mode 100644 catch/unit/atomics/sequential_consistency.cc diff --git a/catch/unit/atomics/CMakeLists.txt b/catch/unit/atomics/CMakeLists.txt index 1c40746dff..559165977f 100644 --- a/catch/unit/atomics/CMakeLists.txt +++ b/catch/unit/atomics/CMakeLists.txt @@ -36,6 +36,8 @@ set(TEST_SRC __hip_atomic_fetch_min.cc __hip_atomic_fetch_max.cc atomic_builtins.cc + acquire_release.cc + sequential_consistency.cc atomicExch.cc atomicExch_system.cc __hip_atomic_fetch_and.cc diff --git a/catch/unit/atomics/acquire_release.cc b/catch/unit/atomics/acquire_release.cc new file mode 100644 index 0000000000..7e0996f566 --- /dev/null +++ b/catch/unit/atomics/acquire_release.cc @@ -0,0 +1,551 @@ +/* +Copyright (c) 2023 Advanced Micro Devices, Inc. All rights reserved. + +Permission is hereby granted, free of charge, to any person obtaining a copy +of this software and associated documentation files (the "Software"), to deal +in the Software without restriction, including without limitation the rights +to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +copies of the Software, and to permit persons to whom the Software is +furnished to do so, subject to the following conditions: + +The above copyright notice and this permission notice shall be included in +all copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN +THE SOFTWARE. +*/ + +#include + +#include "memory_order_common.hh" + +TEST_CASE("Unit___hip_atomic_load_store_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} + +TEST_CASE("Unit___hip_atomic_exchange_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("ACQ_REL") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} + +TEST_CASE("Unit___hip_atomic_compare_exchange_strong_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("ACQ_REL") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} + +TEST_CASE("Unit___hip_atomic_compare_exchange_weak_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("ACQ_REL") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} + +TEST_CASE("Unit___hip_atomic_fetch_add_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("ACQ_REL") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} + +TEST_CASE("Unit___hip_atomic_fetch_and_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("ACQ_REL") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} + +TEST_CASE("Unit___hip_atomic_fetch_or_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("ACQ_REL") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} + +TEST_CASE("Unit___hip_atomic_fetch_xor_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("ACQ_REL") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} + +TEST_CASE("Unit___hip_atomic_fetch_min_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("ACQ_REL") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} + +TEST_CASE("Unit___hip_atomic_fetch_max_Positive_Acquire_Release") { + SECTION("ACQUIRE/RELEASE") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("ACQ_REL") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } + SECTION("SEQ_CST") { + SECTION("WAVEFRONT") { + AcquireRelease::Test(); + } + SECTION("WORKGROUP") { + AcquireRelease::Test(); + } + SECTION("AGENT") { + AcquireRelease::Test(); + } + SECTION("SYSTEM") { + AcquireRelease::SystemTest(); + } + } +} \ No newline at end of file diff --git a/catch/unit/atomics/sequential_consistency.cc b/catch/unit/atomics/sequential_consistency.cc new file mode 100644 index 0000000000..c37b26487a --- /dev/null +++ b/catch/unit/atomics/sequential_consistency.cc @@ -0,0 +1,165 @@ +/* +Copyright (c) 2023 Advanced Micro Devices, Inc. All rights reserved. + +Permission is hereby granted, free of charge, to any person obtaining a copy +of this software and associated documentation files (the "Software"), to deal +in the Software without restriction, including without limitation the rights +to use, copy, modify, merge, publish, distribute, sublicense, and/or sell +copies of the Software, and to permit persons to whom the Software is +furnished to do so, subject to the following conditions: + +The above copyright notice and this permission notice shall be included in +all copies or substantial portions of the Software. + +THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, +FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE +AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER +LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, +OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN +THE SOFTWARE. +*/ + +#include + +#include "memory_order_common.hh" + +TEST_CASE("Unit___hip_atomic_load_store_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { SequentialConsistency::SystemTest(); } +} + +TEST_CASE("Unit___hip_atomic_exchange_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { SequentialConsistency::SystemTest(); } +} + +TEST_CASE("Unit___hip_atomic_compare_exchange_strong_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { + SequentialConsistency::SystemTest(); + } +} + +TEST_CASE("Unit___hip_atomic_compare_exchange_weak_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { + SequentialConsistency::SystemTest(); + } +} + +TEST_CASE("Unit___hip_atomic_fetch_add_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { SequentialConsistency::SystemTest(); } +} + +TEST_CASE("Unit___hip_atomic_fetch_and_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { SequentialConsistency::SystemTest(); } +} + +TEST_CASE("Unit___hip_atomic_fetch_or_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { SequentialConsistency::SystemTest(); } +} + +TEST_CASE("Unit___hip_atomic_fetch_xor_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { SequentialConsistency::SystemTest(); } +} + +TEST_CASE("Unit___hip_atomic_fetch_min_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { SequentialConsistency::SystemTest(); } +} + +TEST_CASE("Unit___hip_atomic_fetch_max_Positive_Sequential_Consistency") { + SECTION("WAVEFRONT") { + SequentialConsistency::Test(); + } + SECTION("WORKGROUP") { + SequentialConsistency::Test(); + } + SECTION("AGENT") { + SequentialConsistency::Test(); + } + SECTION("SYSTEM") { SequentialConsistency::SystemTest(); } +} \ No newline at end of file