Tom Kelly

Results 12 comments of Tom Kelly

I'm confused. When I compile the current atomic store code (`caml_atomic_exchange`) with Apple clang version 13.0.0: ```C atomic_thread_fence(memory_order_acquire); ret = atomic_exchange(Op_atomic_val(ref), v); ``` is becoming: ``` dmb ishld swpal x21,...

Ah, I might be getting somewhere. At the time of writing, #10972 has for non-atomic stores that do not go through `caml_modify`: https://github.com/ocaml/ocaml/blob/066c5c0aac82ef7b044bbe2a71973eddd729a15d/asmcomp/arm64/emit.mlp#L814-L815 The point of contention is that this...