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