Prevent CSE optimization on fenceless_get operations

ocaml-multicore · Dec 23, 2023 · f8d1155 · f8d1155
1 parent ea53867
commit f8d1155
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/Multicore_magic.ml b/src/Multicore_magic.ml
@@ -1,7 +1,8 @@
 include Padding
 module Transparent_atomic = Transparent_atomic
 
-let[@inline] fenceless_get (atomic : 'a Atomic.t) = !(Obj.magic atomic : 'a ref)
+let[@inline] fenceless_get (atomic : 'a Atomic.t) =
+  !(Sys.opaque_identity (Obj.magic atomic : 'a ref))
 
 let[@inline] fenceless_set (atomic : 'a Atomic.t) value =
   (Obj.magic atomic : 'a ref) := value