And moar

Author: polytypic

bench/bench_atomic.ml

@@ -39,10 +39,14 @@ let run_one (type a) ~budgetf ?(n_iter = 500 * Util.iter_factor) (op : a op) =
     | Get ->
         let rec loop i =
           if i > 0 then begin
-            if
+            let a =
               Atomic.get (Sys.opaque_identity loc)
-              == Atomic.get (Sys.opaque_identity loc)
-            then loop (i - 2)
+              land Atomic.get (Sys.opaque_identity loc)
+            and b =
+              Atomic.get (Sys.opaque_identity loc)
+              land Atomic.get (Sys.opaque_identity loc)
+            in
+            loop (i - 4 + a - b)
           end
         in
         loop n_iter

bench/bench_ref.ml

@@ -55,10 +55,14 @@ let run_one (type a) ~budgetf ?(n_iter = 500 * Util.iter_factor) (op : a op) =
     | Get ->
         let rec loop i =
           if i > 0 then begin
-            if
+            let a =
               Ref.get (Sys.opaque_identity loc)
-              == Ref.get (Sys.opaque_identity loc)
-            then loop (i - 2)
+              land Ref.get (Sys.opaque_identity loc)
+            and b =
+              Ref.get (Sys.opaque_identity loc)
+              land Ref.get (Sys.opaque_identity loc)
+            in
+            loop (i - 4 + a - b)
           end
         in
         loop n_iter