module AtomicOrdering:sig..end
load, store, cmpxchg, atomicrmw or
fence instruction. See llvm::AtomicOrdering.type t =
| |
NotAtomic |
| |
Unordered |
| |
Monotonic |
| |
Invalid |
| |
Acquire |
| |
Release |
| |
AcqiureRelease |
| |
SequentiallyConsistent |