Optimize slice binary_search_by

Author: RoDmitry

library/core/src/slice/mod.rs

@@ -2887,36 +2887,24 @@ impl<T> [T] {
         }
         let mut base = 0usize;
 
-        // This loop intentionally doesn't have an early exit if the comparison
-        // returns Equal. We want the number of loop iterations to depend *only*
-        // on the size of the input slice so that the CPU can reliably predict
-        // the loop count.
         while size > 1 {
-            let half = size / 2;
-            let mid = base + half;
+            size >>= 1;
+            let mid = base + size;
 
-            // SAFETY: the call is made safe by the following invariants:
-            // - `mid >= 0`: by definition
-            // - `mid < size`: `mid = size / 2 + size / 4 + size / 8 ...`
+            // SAFETY: `mid < self.len()`:
+            // mid = self.len() / 2 + self.len() % 2 +
+            //       self.len() / 4 + self.len() % 4 +
+            //       self.len() / 8 + self.len() % 8 ...
             let cmp = f(unsafe { self.get_unchecked(mid) });
 
-            // Binary search interacts poorly with branch prediction, so force
-            // the compiler to use conditional moves if supported by the target
-            // architecture.
-            base = hint::select_unpredictable(cmp == Greater, base, mid);
-
-            // This is imprecise in the case where `size` is odd and the
-            // comparison returns Greater: the mid element still gets included
-            // by `size` even though it's known to be larger than the element
-            // being searched for.
-            //
-            // This is fine though: we gain more performance by keeping the
-            // loop iteration count invariant (and thus predictable) than we
-            // lose from considering one additional element.
-            size -= half;
+            base = match cmp {
+                Less => mid + (size & 1),
+                Equal => return Ok(mid),
+                Greater => base,
+            };
         }
 
-        // SAFETY: base is always in [0, size) because base <= mid.
+        // SAFETY: same as the `get_unchecked` above.
         let cmp = f(unsafe { self.get_unchecked(base) });
         if cmp == Equal {
             // SAFETY: same as the `get_unchecked` above.