mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2024-12-28 02:37:37 +00:00
5d71fc5d7b
This fixes most references to the paths: llvm.org/svn/ llvm.org/git/ llvm.org/viewvc/ github.com/llvm-mirror/ github.com/llvm-project/ reviews.llvm.org/diffusion/ to instead point to https://github.com/llvm/llvm-project. This is *not* a trivial substitution, because additionally, all the checkout instructions had to be migrated to instruct users on how to use the monorepo layout, setting LLVM_ENABLE_PROJECTS instead of checking out various projects into various subdirectories. I've attempted to not change any scripts here, only documentation. The scripts will have to be addressed separately. Additionally, I've deleted one document which appeared to be outdated and unneeded: lldb/docs/building-with-debug-llvm.txt Differential Revision: https://reviews.llvm.org/D57330 llvm-svn: 352514
250 lines
15 KiB
HTML
250 lines
15 KiB
HTML
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
|
|
"http://www.w3.org/TR/html4/strict.dtd">
|
|
<!-- Material used from: HTML 4.01 specs: http://www.w3.org/TR/html401/ -->
|
|
<html>
|
|
<head>
|
|
<META http-equiv="Content-Type" content="text/html; charset=ISO-8859-1">
|
|
<title><atomic> design</title>
|
|
<link type="text/css" rel="stylesheet" href="menu.css">
|
|
<link type="text/css" rel="stylesheet" href="content.css">
|
|
</head>
|
|
|
|
<body>
|
|
<div id="menu">
|
|
<div>
|
|
<a href="https://llvm.org/">LLVM Home</a>
|
|
</div>
|
|
|
|
<div class="submenu">
|
|
<label>libc++ Info</label>
|
|
<a href="/index.html">About</a>
|
|
</div>
|
|
|
|
<div class="submenu">
|
|
<label>Quick Links</label>
|
|
<a href="https://lists.llvm.org/mailman/listinfo/cfe-dev">cfe-dev</a>
|
|
<a href="https://lists.llvm.org/mailman/listinfo/cfe-commits">cfe-commits</a>
|
|
<a href="https://bugs.llvm.org/">Bug Reports</a>
|
|
<a href="https://github.com/llvm/llvm-project/tree/master/libcxx/">Browse Sources</a>
|
|
</div>
|
|
</div>
|
|
|
|
<div id="content">
|
|
<!--*********************************************************************-->
|
|
<h1><atomic> design</h1>
|
|
<!--*********************************************************************-->
|
|
|
|
<p>
|
|
This is a variation of design A which puts the burden on the library to arrange
|
|
for the correct manipulation of the run time memory ordering arguments, and only
|
|
calls the compiler for well-defined memory orderings. I think of this design as
|
|
the worst of A and C, instead of the best of A and C. But I offer it as an
|
|
option in the spirit of completeness.
|
|
</p>
|
|
|
|
<blockquote><pre>
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
|
bool __atomic_is_lock_free(const type* atomic_obj);
|
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
|
type __atomic_load_relaxed(const volatile type* atomic_obj);
|
|
type __atomic_load_consume(const volatile type* atomic_obj);
|
|
type __atomic_load_acquire(const volatile type* atomic_obj);
|
|
type __atomic_load_seq_cst(const volatile type* atomic_obj);
|
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
|
type __atomic_store_relaxed(volatile type* atomic_obj, type desired);
|
|
type __atomic_store_release(volatile type* atomic_obj, type desired);
|
|
type __atomic_store_seq_cst(volatile type* atomic_obj, type desired);
|
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
|
type __atomic_exchange_relaxed(volatile type* atomic_obj, type desired);
|
|
type __atomic_exchange_consume(volatile type* atomic_obj, type desired);
|
|
type __atomic_exchange_acquire(volatile type* atomic_obj, type desired);
|
|
type __atomic_exchange_release(volatile type* atomic_obj, type desired);
|
|
type __atomic_exchange_acq_rel(volatile type* atomic_obj, type desired);
|
|
type __atomic_exchange_seq_cst(volatile type* atomic_obj, type desired);
|
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
|
bool __atomic_compare_exchange_strong_relaxed_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_consume_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_consume_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_acquire_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_acquire_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_acquire_acquire(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_release_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_release_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_release_acquire(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_acq_rel_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_acq_rel_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_acq_rel_acquire(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_seq_cst_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_seq_cst_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_seq_cst_acquire(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_strong_seq_cst_seq_cst(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
|
|
<font color="#C80000">// type must be trivially copyable</font>
|
|
bool __atomic_compare_exchange_weak_relaxed_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_consume_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_consume_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_acquire_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_acquire_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_acquire_acquire(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_release_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_release_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_release_acquire(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_acq_rel_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_acq_rel_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_acq_rel_acquire(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_seq_cst_relaxed(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_seq_cst_consume(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_seq_cst_acquire(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
bool __atomic_compare_exchange_weak_seq_cst_seq_cst(volatile type* atomic_obj,
|
|
type* expected,
|
|
type desired);
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
type __atomic_fetch_add_relaxed(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_add_consume(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_add_acquire(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_add_release(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_add_acq_rel(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_add_seq_cst(volatile type* atomic_obj, type operand);
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
type __atomic_fetch_sub_relaxed(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_sub_consume(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_sub_acquire(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_sub_release(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_sub_acq_rel(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_sub_seq_cst(volatile type* atomic_obj, type operand);
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
type __atomic_fetch_and_relaxed(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_and_consume(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_and_acquire(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_and_release(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_and_acq_rel(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_and_seq_cst(volatile type* atomic_obj, type operand);
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
type __atomic_fetch_or_relaxed(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_or_consume(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_or_acquire(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_or_release(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_or_acq_rel(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_or_seq_cst(volatile type* atomic_obj, type operand);
|
|
|
|
<font color="#C80000">// type is one of: char, signed char, unsigned char, short, unsigned short, int,</font>
|
|
<font color="#C80000">// unsigned int, long, unsigned long, long long, unsigned long long,</font>
|
|
<font color="#C80000">// char16_t, char32_t, wchar_t</font>
|
|
type __atomic_fetch_xor_relaxed(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_xor_consume(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_xor_acquire(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_xor_release(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_xor_acq_rel(volatile type* atomic_obj, type operand);
|
|
type __atomic_fetch_xor_seq_cst(volatile type* atomic_obj, type operand);
|
|
|
|
void* __atomic_fetch_add_relaxed(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_add_consume(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_add_acquire(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_add_release(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_add_acq_rel(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_add_seq_cst(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
|
|
void* __atomic_fetch_sub_relaxed(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_sub_consume(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_sub_acquire(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_sub_release(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_sub_acq_rel(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
void* __atomic_fetch_sub_seq_cst(void* volatile* atomic_obj, ptrdiff_t operand);
|
|
|
|
void __atomic_thread_fence_relaxed();
|
|
void __atomic_thread_fence_consume();
|
|
void __atomic_thread_fence_acquire();
|
|
void __atomic_thread_fence_release();
|
|
void __atomic_thread_fence_acq_rel();
|
|
void __atomic_thread_fence_seq_cst();
|
|
|
|
void __atomic_signal_fence_relaxed();
|
|
void __atomic_signal_fence_consume();
|
|
void __atomic_signal_fence_acquire();
|
|
void __atomic_signal_fence_release();
|
|
void __atomic_signal_fence_acq_rel();
|
|
void __atomic_signal_fence_seq_cst();
|
|
</pre></blockquote>
|
|
|
|
</div>
|
|
</body>
|
|
</html>
|