module AtomicOrdering:sig..end
The ordering of an atomic load, store, cmpxchg, atomicrmw or
fence instruction. See llvm::AtomicOrdering.
type
| |
NotAtomic |
|||
| |
Unordered |
|||
| |
Monotonic |
|||
| |
Invalid |
(* | removed due to API changes | *) |
| |
Acquire |
|||
| |
Release |
|||
| |
AcqiureRelease |
|||
| |
SequentiallyConsistent |