/*
Copyright (c) 2019, Lawrence Livermore National Security, LLC
and DESUL project contributors. See the COPYRIGHT file for details.
Source: https://github.com/desul/desul

SPDX-License-Identifier: (BSD-3-Clause)
*/

#ifndef DESUL_ATOMICS_COMPARE_EXCHANGE_MSVC_HPP_
#define DESUL_ATOMICS_COMPARE_EXCHANGE_MSVC_HPP_

#include <desul/atomics/Common.hpp>
#include <desul/atomics/Lock_Free_Types_MSVC.hpp>
#include <desul/atomics/Thread_Fence_MSVC.hpp>
#include <type_traits>

namespace desul {
namespace Impl {

// Forward declare these functions. They use compare_exchange themselves
// so the actual header file with them comes after this file is included.
template <class MemoryScope>
bool lock_address(void* ptr, MemoryScope ms);

template <class MemoryScope>
void unlock_address(void* ptr, MemoryScope ms);

}  // namespace Impl
}  // namespace desul

namespace desul {
namespace Impl {

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<sizeof(T) == 1, T> host_atomic_exchange(T* const dest,
                                                         T val,
                                                         MemoryOrder,
                                                         MemoryScope) {
  char return_val = _InterlockedExchange8((char*)dest, *((char*)&val));
  return *(reinterpret_cast<T*>(&return_val));
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<sizeof(T) == 2, T> host_atomic_exchange(T* const dest,
                                                         T val,
                                                         MemoryOrder,
                                                         MemoryScope) {
  short return_val = _InterlockedExchange16((short*)dest, *((short*)&val));
  return *(reinterpret_cast<T*>(&return_val));
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<sizeof(T) == 4, T> host_atomic_exchange(T* const dest,
                                                         T val,
                                                         MemoryOrder,
                                                         MemoryScope) {
  long return_val = _InterlockedExchange((long*)dest, *((long*)&val));
  return *(reinterpret_cast<T*>(&return_val));
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<sizeof(T) == 8, T> host_atomic_exchange(T* const dest,
                                                         T val,
                                                         MemoryOrder,
                                                         MemoryScope) {
  __int64 return_val = _InterlockedExchange64((__int64*)dest, *((__int64*)&val));
  return *(reinterpret_cast<T*>(&return_val));
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<(sizeof(T) != 1 && sizeof(T) != 2 && sizeof(T) != 4 && sizeof(T) != 8),
                 T>
host_atomic_exchange(T* const dest, T val, MemoryOrder, MemoryScope scope) {
  while (!lock_address((void*)dest, scope)) {
  }
  if (std::is_same<MemoryOrder, MemoryOrderSeqCst>::value)
    host_atomic_thread_fence(MemoryOrderRelease(), scope);
  host_atomic_thread_fence(MemoryOrderAcquire(), scope);
  T return_val = *dest;
  *dest = val;
  host_atomic_thread_fence(MemoryOrderRelease(), scope);

  unlock_address((void*)dest, scope);
  return return_val;
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<sizeof(T) == 1, T> host_atomic_compare_exchange(
    T* const dest, T compare, T val, MemoryOrder, MemoryScope) {
  char return_val =
      _InterlockedCompareExchange8((char*)dest, *((char*)&val), *((char*)&compare));
  return *(reinterpret_cast<T*>(&return_val));
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<sizeof(T) == 2, T> host_atomic_compare_exchange(
    T* const dest, T compare, T val, MemoryOrder, MemoryScope) {
  short return_val =
      _InterlockedCompareExchange16((short*)dest, *((short*)&val), *((short*)&compare));
  return *(reinterpret_cast<T*>(&return_val));
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<sizeof(T) == 4, T> host_atomic_compare_exchange(
    T* const dest, T compare, T val, MemoryOrder, MemoryScope) {
  long return_val =
      _InterlockedCompareExchange((long*)dest, *((long*)&val), *((long*)&compare));
  return *(reinterpret_cast<T*>(&return_val));
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<sizeof(T) == 8, T> host_atomic_compare_exchange(
    T* const dest, T compare, T val, MemoryOrder, MemoryScope) {
  __int64 return_val = _InterlockedCompareExchange64(
      (__int64*)dest, *((__int64*)&val), *((__int64*)&compare));
  return *(reinterpret_cast<T*>(&return_val));
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<sizeof(T) == 16, T> host_atomic_compare_exchange(
    T* const dest, T compare, T val, MemoryOrder, MemoryScope) {
  Dummy16ByteValue* val16 = reinterpret_cast<Dummy16ByteValue*>(&val);
  (void)_InterlockedCompareExchange128(reinterpret_cast<__int64*>(dest),
                                       val16->value2,
                                       val16->value1,
                                       (reinterpret_cast<__int64*>(&compare)));
  return compare;
}

template <class T, class MemoryOrder, class MemoryScope>
std::enable_if_t<!host_atomic_always_lock_free<T>, T> host_atomic_compare_exchange(
    T* const dest, T compare, T val, MemoryOrder, MemoryScope scope) {
  while (!lock_address((void*)dest, scope)) {
  }
  if (std::is_same<MemoryOrder, MemoryOrderSeqCst>::value)
    host_atomic_thread_fence(MemoryOrderRelease(), scope);
  host_atomic_thread_fence(MemoryOrderAcquire(), scope);
  T return_val = *dest;
  if (return_val == compare) {
    *dest = val;
    host_atomic_thread_fence(MemoryOrderRelease(), scope);
  }

  unlock_address((void*)dest, scope);
  return return_val;
}

}  // namespace Impl
}  // namespace desul

#endif
