diff options
author | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2023-05-16 11:52:31 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-05-16 11:52:31 +0200 |
commit | 8d1af245ef46e40652be4509f03ab600405aef63 (patch) | |
tree | 2e68eb707d3d6e40c1d22153aa62adf4f73e9ef7 /Changes | |
parent | cd01cac2e11706cac40462f185345848596f2b40 (diff) | |
download | ocaml-trunk.tar.gz |
Just treat atomic loads like stores.
Fixes: #12216
Diffstat (limited to 'Changes')
-rw-r--r-- | Changes | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -38,6 +38,12 @@ Working version ### Internal/compiler-libs changes: +- #12216, #12248: Prevent reordering of atomic loads during instruction + scheduling. This is for reference, as instruction scheduling is currently + unused in OCaml 5. + (Xavier Leroy, report by Luc Maranget and KC Sivaramakrishnan, + review by Nicolás Ojeda Bär) + ### Build system: ### Bug fixes: |