mirror of
https://github.com/yuzu-emu/ext-boost.git
synced 2025-01-24 12:11:01 +00:00
1657 lines
52 KiB
C++
1657 lines
52 KiB
C++
/*
|
|
* Distributed under the Boost Software License, Version 1.0.
|
|
* (See accompanying file LICENSE_1_0.txt or copy at
|
|
* http://www.boost.org/LICENSE_1_0.txt)
|
|
*
|
|
* Copyright (c) 2015 Andrey Semashev
|
|
*/
|
|
/*!
|
|
* \file atomic/detail/extra_ops_gcc_x86.hpp
|
|
*
|
|
* This header contains implementation of the extra atomic operations for x86.
|
|
*/
|
|
|
|
#ifndef BOOST_ATOMIC_DETAIL_EXTRA_OPS_GCC_X86_HPP_INCLUDED_
|
|
#define BOOST_ATOMIC_DETAIL_EXTRA_OPS_GCC_X86_HPP_INCLUDED_
|
|
|
|
#include <cstddef>
|
|
#include <boost/memory_order.hpp>
|
|
#include <boost/atomic/detail/config.hpp>
|
|
#include <boost/atomic/detail/storage_type.hpp>
|
|
#include <boost/atomic/detail/extra_operations_fwd.hpp>
|
|
#include <boost/atomic/capabilities.hpp>
|
|
|
|
#ifdef BOOST_HAS_PRAGMA_ONCE
|
|
#pragma once
|
|
#endif
|
|
|
|
namespace boost {
|
|
namespace atomics {
|
|
namespace detail {
|
|
|
|
template< typename Base >
|
|
struct gcc_x86_extra_operations_common :
|
|
public Base
|
|
{
|
|
typedef Base base_type;
|
|
typedef typename base_type::storage_type storage_type;
|
|
|
|
static BOOST_FORCEINLINE storage_type add(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return static_cast< storage_type >(Base::fetch_add(storage, v, order) + v);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type sub(storage_type volatile& storage, storage_type v, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return static_cast< storage_type >(Base::fetch_sub(storage, v, order) - v);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool bit_test_and_set(storage_type volatile& storage, unsigned int bit_number, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; bts %[bit_number], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccc" (res)
|
|
: [bit_number] "Kq" (bit_number)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; bts %[bit_number], %[storage]\n\t"
|
|
"setc %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [bit_number] "Kq" (bit_number)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool bit_test_and_reset(storage_type volatile& storage, unsigned int bit_number, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; btr %[bit_number], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccc" (res)
|
|
: [bit_number] "Kq" (bit_number)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; btr %[bit_number], %[storage]\n\t"
|
|
"setc %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [bit_number] "Kq" (bit_number)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool bit_test_and_complement(storage_type volatile& storage, unsigned int bit_number, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; btc %[bit_number], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccc" (res)
|
|
: [bit_number] "Kq" (bit_number)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; btc %[bit_number], %[storage]\n\t"
|
|
"setc %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [bit_number] "Kq" (bit_number)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
};
|
|
|
|
template< typename Base, bool Signed >
|
|
struct extra_operations< Base, 1u, Signed, true > :
|
|
public gcc_x86_extra_operations_common< Base >
|
|
{
|
|
typedef gcc_x86_extra_operations_common< Base > base_type;
|
|
typedef typename base_type::storage_type storage_type;
|
|
typedef typename make_storage_type< 4u >::type temp_storage_type;
|
|
|
|
#define BOOST_ATOMIC_DETAIL_CAS_LOOP(op, original, result)\
|
|
__asm__ __volatile__\
|
|
(\
|
|
".align 16\n\t"\
|
|
"1: movzbl %[orig], %2\n\t"\
|
|
op " %b2\n\t"\
|
|
"lock; cmpxchgb %b2, %[storage]\n\t"\
|
|
"jne 1b"\
|
|
: [orig] "+a" (original), [storage] "+m" (storage), "=&q" (result)\
|
|
: \
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"\
|
|
)
|
|
|
|
static BOOST_FORCEINLINE storage_type fetch_negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("negb", original, result);
|
|
return original;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type fetch_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("notb", original, result);
|
|
return original;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("negb", original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("notb", original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
#undef BOOST_ATOMIC_DETAIL_CAS_LOOP
|
|
|
|
#define BOOST_ATOMIC_DETAIL_CAS_LOOP(op, argument, original, result)\
|
|
__asm__ __volatile__\
|
|
(\
|
|
".align 16\n\t"\
|
|
"1: mov %[arg], %2\n\t"\
|
|
op " %%al, %b2\n\t"\
|
|
"lock; cmpxchgb %b2, %[storage]\n\t"\
|
|
"jne 1b"\
|
|
: [orig] "+a" (original), [storage] "+m" (storage), "=&q" (result)\
|
|
: [arg] "ir" ((temp_storage_type)argument)\
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"\
|
|
)
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_and(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("andb", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_or(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("orb", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_xor(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("xorb", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
#undef BOOST_ATOMIC_DETAIL_CAS_LOOP
|
|
|
|
static BOOST_FORCEINLINE bool negate_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return !!negate(storage, order);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool complement_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return !!bitwise_complement(storage, order);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_add(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incb %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_sub(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decb %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; negb %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_and(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_or(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_xor(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; notb %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool add_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incb %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
}
|
|
#else
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incb %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addb %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool sub_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decb %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
}
|
|
#else
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decb %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subb %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool and_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andb %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool or_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orb %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool xor_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorb %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorb %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
};
|
|
|
|
template< typename Base, bool Signed >
|
|
struct extra_operations< Base, 2u, Signed, true > :
|
|
public gcc_x86_extra_operations_common< Base >
|
|
{
|
|
typedef gcc_x86_extra_operations_common< Base > base_type;
|
|
typedef typename base_type::storage_type storage_type;
|
|
typedef typename make_storage_type< 4u >::type temp_storage_type;
|
|
|
|
#define BOOST_ATOMIC_DETAIL_CAS_LOOP(op, original, result)\
|
|
__asm__ __volatile__\
|
|
(\
|
|
".align 16\n\t"\
|
|
"1: movzwl %[orig], %2\n\t"\
|
|
op " %w2\n\t"\
|
|
"lock; cmpxchgw %w2, %[storage]\n\t"\
|
|
"jne 1b"\
|
|
: [orig] "+a" (original), [storage] "+m" (storage), "=&q" (result)\
|
|
: \
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"\
|
|
)
|
|
|
|
static BOOST_FORCEINLINE storage_type fetch_negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("negw", original, result);
|
|
return original;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type fetch_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("notw", original, result);
|
|
return original;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("negw", original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("notw", original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
#undef BOOST_ATOMIC_DETAIL_CAS_LOOP
|
|
|
|
#define BOOST_ATOMIC_DETAIL_CAS_LOOP(op, argument, original, result)\
|
|
__asm__ __volatile__\
|
|
(\
|
|
".align 16\n\t"\
|
|
"1: mov %[arg], %2\n\t"\
|
|
op " %%ax, %w2\n\t"\
|
|
"lock; cmpxchgw %w2, %[storage]\n\t"\
|
|
"jne 1b"\
|
|
: [orig] "+a" (original), [storage] "+m" (storage), "=&q" (result)\
|
|
: [arg] "ir" ((temp_storage_type)argument)\
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"\
|
|
)
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_and(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("andw", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_or(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("orw", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_xor(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
temp_storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("xorw", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
#undef BOOST_ATOMIC_DETAIL_CAS_LOOP
|
|
|
|
static BOOST_FORCEINLINE bool negate_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return !!negate(storage, order);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool complement_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return !!bitwise_complement(storage, order);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_add(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incw %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_sub(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decw %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; negw %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_and(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_or(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_xor(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; notw %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool add_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incw %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
}
|
|
#else
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incw %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addw %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool sub_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decw %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
}
|
|
#else
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decw %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subw %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool and_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andw %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool or_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orw %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool xor_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorw %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "iq" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorw %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "iq" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
};
|
|
|
|
template< typename Base, bool Signed >
|
|
struct extra_operations< Base, 4u, Signed, true > :
|
|
public gcc_x86_extra_operations_common< Base >
|
|
{
|
|
typedef gcc_x86_extra_operations_common< Base > base_type;
|
|
typedef typename base_type::storage_type storage_type;
|
|
|
|
#define BOOST_ATOMIC_DETAIL_CAS_LOOP(op, original, result)\
|
|
__asm__ __volatile__\
|
|
(\
|
|
".align 16\n\t"\
|
|
"1: mov %[orig], %[res]\n\t"\
|
|
op " %[res]\n\t"\
|
|
"lock; cmpxchgl %[res], %[storage]\n\t"\
|
|
"jne 1b"\
|
|
: [orig] "+a" (original), [storage] "+m" (storage), [res] "=&r" (result)\
|
|
: \
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"\
|
|
)
|
|
|
|
static BOOST_FORCEINLINE storage_type fetch_negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("negl", original, result);
|
|
return original;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type fetch_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("notl", original, result);
|
|
return original;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("negl", original, result);
|
|
return result;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("notl", original, result);
|
|
return result;
|
|
}
|
|
|
|
#undef BOOST_ATOMIC_DETAIL_CAS_LOOP
|
|
|
|
#define BOOST_ATOMIC_DETAIL_CAS_LOOP(op, argument, original, result)\
|
|
__asm__ __volatile__\
|
|
(\
|
|
".align 16\n\t"\
|
|
"1: mov %[arg], %[res]\n\t"\
|
|
op " %%eax, %[res]\n\t"\
|
|
"lock; cmpxchgl %[res], %[storage]\n\t"\
|
|
"jne 1b"\
|
|
: [orig] "+a" (original), [storage] "+m" (storage), [res] "=&r" (result)\
|
|
: [arg] "ir" (argument)\
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"\
|
|
)
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_and(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("andl", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_or(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("orl", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_xor(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("xorl", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
#undef BOOST_ATOMIC_DETAIL_CAS_LOOP
|
|
|
|
static BOOST_FORCEINLINE bool negate_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return !!negate(storage, order);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool complement_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return !!bitwise_complement(storage, order);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_add(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incl %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_sub(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decl %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; negl %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_and(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_or(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_xor(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; notl %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool add_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incl %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "ir" (v)
|
|
: "memory"
|
|
);
|
|
}
|
|
#else
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incl %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addl %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool sub_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decl %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "ir" (v)
|
|
: "memory"
|
|
);
|
|
}
|
|
#else
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decl %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subl %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool and_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "ir" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andl %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool or_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "ir" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orl %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool xor_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorl %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "ir" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorl %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "ir" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
};
|
|
|
|
#if defined(__x86_64__)
|
|
|
|
template< typename Base, bool Signed >
|
|
struct extra_operations< Base, 8u, Signed, true > :
|
|
public gcc_x86_extra_operations_common< Base >
|
|
{
|
|
typedef gcc_x86_extra_operations_common< Base > base_type;
|
|
typedef typename base_type::storage_type storage_type;
|
|
|
|
#define BOOST_ATOMIC_DETAIL_CAS_LOOP(op, original, result)\
|
|
__asm__ __volatile__\
|
|
(\
|
|
".align 16\n\t"\
|
|
"1: mov %[orig], %[res]\n\t"\
|
|
op " %[res]\n\t"\
|
|
"lock; cmpxchgq %[res], %[storage]\n\t"\
|
|
"jne 1b"\
|
|
: [orig] "+a" (original), [storage] "+m" (storage), [res] "=&r" (result)\
|
|
: \
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"\
|
|
)
|
|
|
|
static BOOST_FORCEINLINE storage_type fetch_negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("negq", original, result);
|
|
return original;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type fetch_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("notq", original, result);
|
|
return original;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("negq", original, result);
|
|
return result;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("notq", original, result);
|
|
return result;
|
|
}
|
|
|
|
#undef BOOST_ATOMIC_DETAIL_CAS_LOOP
|
|
|
|
#define BOOST_ATOMIC_DETAIL_CAS_LOOP(op, argument, original, result)\
|
|
__asm__ __volatile__\
|
|
(\
|
|
".align 16\n\t"\
|
|
"1: mov %[arg], %[res]\n\t"\
|
|
op " %%rax, %[res]\n\t"\
|
|
"lock; cmpxchgq %[res], %[storage]\n\t"\
|
|
"jne 1b"\
|
|
: [orig] "+a" (original), [storage] "+m" (storage), [res] "=&r" (result)\
|
|
: [arg] "r" (argument)\
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"\
|
|
)
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_and(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("andq", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_or(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("orq", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE storage_type bitwise_xor(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
storage_type original = storage;
|
|
storage_type result;
|
|
BOOST_ATOMIC_DETAIL_CAS_LOOP("xorq", v, original, result);
|
|
return static_cast< storage_type >(result);
|
|
}
|
|
|
|
#undef BOOST_ATOMIC_DETAIL_CAS_LOOP
|
|
|
|
static BOOST_FORCEINLINE bool negate_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return !!negate(storage, order);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool complement_and_test(storage_type volatile& storage, memory_order order) BOOST_NOEXCEPT
|
|
{
|
|
return !!bitwise_complement(storage, order);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_add(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incq %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_sub(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decq %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_negate(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; negq %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_and(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_or(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_xor(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE void opaque_complement(storage_type volatile& storage, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; notq %[storage]\n\t"
|
|
: [storage] "+m" (storage)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool add_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incq %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "er" (v)
|
|
: "memory"
|
|
);
|
|
}
|
|
#else
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; incq %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; addq %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool sub_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decq %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
:
|
|
: "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "er" (v)
|
|
: "memory"
|
|
);
|
|
}
|
|
#else
|
|
if (BOOST_ATOMIC_DETAIL_IS_CONSTANT(v) && v == 1)
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; decq %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
:
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
else
|
|
{
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; subq %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
}
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool and_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "er" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; andq %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool or_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "er" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; orq %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
|
|
static BOOST_FORCEINLINE bool xor_and_test(storage_type volatile& storage, storage_type v, memory_order) BOOST_NOEXCEPT
|
|
{
|
|
bool res;
|
|
#if defined(BOOST_ATOMIC_DETAIL_ASM_HAS_FLAG_OUTPUTS)
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorq %[argument], %[storage]\n\t"
|
|
: [storage] "+m" (storage), [result] "=@ccnz" (res)
|
|
: [argument] "er" (v)
|
|
: "memory"
|
|
);
|
|
#else
|
|
__asm__ __volatile__
|
|
(
|
|
"lock; xorq %[argument], %[storage]\n\t"
|
|
"setnz %[result]\n\t"
|
|
: [storage] "+m" (storage), [result] "=q" (res)
|
|
: [argument] "er" (v)
|
|
: BOOST_ATOMIC_DETAIL_ASM_CLOBBER_CC_COMMA "memory"
|
|
);
|
|
#endif
|
|
return res;
|
|
}
|
|
};
|
|
|
|
#endif // defined(__x86_64__)
|
|
|
|
} // namespace detail
|
|
} // namespace atomics
|
|
} // namespace boost
|
|
|
|
#endif // BOOST_ATOMIC_DETAIL_EXTRA_OPS_GCC_X86_HPP_INCLUDED_
|