Merge pull request #264 from chfast/lt_opt

Optimize less-than

Author: chfast

include/intx/intx.hpp

@@ -1087,11 +1087,14 @@ inline constexpr bool operator!=(const T& x, const uint<N>& y) noexcept
 #if !defined(_MSC_VER) || _MSC_VER < 1916  // This kills MSVC 2017 compiler.
 inline constexpr bool operator<(const uint256& x, const uint256& y) noexcept
 {
-    const auto xhi = uint128{x[2], x[3]};
-    const auto xlo = uint128{x[0], x[1]};
-    const auto yhi = uint128{y[2], y[3]};
-    const auto ylo = uint128{y[0], y[1]};
-    return (unsigned(xhi < yhi) | (unsigned(xhi == yhi) & unsigned(xlo < ylo))) != 0;
+    auto xp = intx::uint128{x[2], x[3]};
+    auto yp = intx::uint128{y[2], y[3]};
+    if (xp == yp)
+    {
+        xp = intx::uint128{x[0], x[1]};
+        yp = intx::uint128{y[0], y[1]};
+    }
+    return xp < yp;
 }
 #endif
 

test/benchmarks/benchmarks.cpp

@@ -351,6 +351,11 @@ BENCHMARK_TEMPLATE(shift, uint512, uint64_t, shl_public)->DenseRange(-1, 3);
     return x < y;
 }
 
+[[gnu::noinline]] static bool lt_sub(const uint256& x, const uint256& y) noexcept
+{
+    return subc(x, y).carry;
+}
+
 [[gnu::noinline]] static bool lt_wordcmp(const uint256& x, const uint256& y) noexcept
 {
     for (size_t i = 3; i >= 1; --i)
@@ -418,6 +423,7 @@ static void compare(benchmark::State& state)
     }
 }
 BENCHMARK_TEMPLATE(compare, lt_public)->DenseRange(64, 256, 64);
+BENCHMARK_TEMPLATE(compare, lt_sub)->DenseRange(64, 256, 64);
 BENCHMARK_TEMPLATE(compare, lt_wordcmp)->DenseRange(64, 256, 64);
 BENCHMARK_TEMPLATE(compare, lt_halves)->DenseRange(64, 256, 64);
 #if INTX_HAS_EXTINT