Final dog?

Author: polytypic

bench/bench_atomic.ml

@@ -45,8 +45,14 @@ let run_one (type a) ~budgetf ?(n_iter = 500 * Util.iter_factor) (op : a op) =
             and b =
               Atomic.get (Sys.opaque_identity loc)
               land Atomic.get (Sys.opaque_identity loc)
+            and c =
+              Atomic.get (Sys.opaque_identity loc)
+              land Atomic.get (Sys.opaque_identity loc)
+            and d =
+              Atomic.get (Sys.opaque_identity loc)
+              land Atomic.get (Sys.opaque_identity loc)
             in
-            loop (i - 4 + a - b)
+            loop (i - 8 + a - b + c - d)
           end
         in
         loop n_iter

bench/bench_ref.ml

@@ -61,8 +61,14 @@ let run_one (type a) ~budgetf ?(n_iter = 500 * Util.iter_factor) (op : a op) =
             and b =
               Ref.get (Sys.opaque_identity loc)
               land Ref.get (Sys.opaque_identity loc)
+            and c =
+              Ref.get (Sys.opaque_identity loc)
+              land Ref.get (Sys.opaque_identity loc)
+            and d =
+              Ref.get (Sys.opaque_identity loc)
+              land Ref.get (Sys.opaque_identity loc)
             in
-            loop (i - 4 + a - b)
+            loop (i - 8 + a - b + c - d)
           end
         in
         loop n_iter