Would there be interest in binding LLVM's unordered
ordering in the Ordering
enum? That's even weaker than monotonic
(Relaxed
) and is intended to be the bare minimum to support data races without UB in memory-safe languages, e.g. access to object fields in Java when the compiler cannot prove single-threaded access…
The intrinsics for this already exist, it's just not exposed in the stable API