Skip to content

Commit 174a0ec

Browse files
committed
feefrac: add support for evaluating at given size
1 parent 779e431 commit 174a0ec

File tree

3 files changed

+60
-0
lines changed

3 files changed

+60
-0
lines changed

src/test/feefrac_tests.cpp

Lines changed: 33 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -17,6 +17,27 @@ BOOST_AUTO_TEST_CASE(feefrac_operators)
1717
FeeFrac empty{0, 0};
1818
FeeFrac zero_fee{0, 1}; // zero-fee allowed
1919

20+
BOOST_CHECK_EQUAL(zero_fee.Evaluate(0), 0);
21+
BOOST_CHECK_EQUAL(zero_fee.Evaluate(1), 0);
22+
BOOST_CHECK_EQUAL(zero_fee.Evaluate(1000000), 0);
23+
BOOST_CHECK_EQUAL(zero_fee.Evaluate(0x7fffffff), 0);
24+
25+
BOOST_CHECK_EQUAL(p1.Evaluate(0), 0);
26+
BOOST_CHECK_EQUAL(p1.Evaluate(1), 10);
27+
BOOST_CHECK_EQUAL(p1.Evaluate(100000000), 1000000000);
28+
BOOST_CHECK_EQUAL(p1.Evaluate(0x7fffffff), int64_t(0x7fffffff) * 10);
29+
30+
FeeFrac neg{-1001, 100};
31+
BOOST_CHECK_EQUAL(neg.Evaluate(0), 0);
32+
BOOST_CHECK_EQUAL(neg.Evaluate(1), -11);
33+
BOOST_CHECK_EQUAL(neg.Evaluate(2), -21);
34+
BOOST_CHECK_EQUAL(neg.Evaluate(3), -31);
35+
BOOST_CHECK_EQUAL(neg.Evaluate(100), -1001);
36+
BOOST_CHECK_EQUAL(neg.Evaluate(101), -1012);
37+
BOOST_CHECK_EQUAL(neg.Evaluate(100000000), -1001000000);
38+
BOOST_CHECK_EQUAL(neg.Evaluate(100000001), -1001000011);
39+
BOOST_CHECK_EQUAL(neg.Evaluate(0x7fffffff), -21496311307);
40+
2041
BOOST_CHECK(empty == FeeFrac{}); // same as no-args
2142

2243
BOOST_CHECK(p1 == p1);
@@ -67,6 +88,11 @@ BOOST_AUTO_TEST_CASE(feefrac_operators)
6788
BOOST_CHECK(oversized_1 << oversized_2);
6889
BOOST_CHECK(oversized_1 != oversized_2);
6990

91+
BOOST_CHECK_EQUAL(oversized_1.Evaluate(0), 0);
92+
BOOST_CHECK_EQUAL(oversized_1.Evaluate(1), 1152921);
93+
BOOST_CHECK_EQUAL(oversized_1.Evaluate(2), 2305843);
94+
BOOST_CHECK_EQUAL(oversized_1.Evaluate(1548031267), 1784758530396540);
95+
7096
// Tests paths that use double arithmetic
7197
FeeFrac busted{(static_cast<int64_t>(INT32_MAX)) + 1, INT32_MAX};
7298
BOOST_CHECK(!(busted < busted));
@@ -77,6 +103,13 @@ BOOST_AUTO_TEST_CASE(feefrac_operators)
77103
BOOST_CHECK(max_fee <= max_fee);
78104
BOOST_CHECK(max_fee >= max_fee);
79105

106+
BOOST_CHECK_EQUAL(max_fee.Evaluate(0), 0);
107+
BOOST_CHECK_EQUAL(max_fee.Evaluate(1), 977888);
108+
BOOST_CHECK_EQUAL(max_fee.Evaluate(2), 1955777);
109+
BOOST_CHECK_EQUAL(max_fee.Evaluate(3), 2933666);
110+
BOOST_CHECK_EQUAL(max_fee.Evaluate(1256796054), 1229006664189047);
111+
BOOST_CHECK_EQUAL(max_fee.Evaluate(INT32_MAX), 2100000000000000);
112+
80113
FeeFrac max_fee2{1, 1};
81114
BOOST_CHECK(max_fee >= max_fee2);
82115

src/test/fuzz/feefrac.cpp

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -170,4 +170,10 @@ FUZZ_TARGET(feefrac_mul_div)
170170
// Verify the behavior of FeeFrac::MulFallback + FeeFrac::DivFallback.
171171
auto res_fallback = FeeFrac::DivFallback(FeeFrac::MulFallback(mul64, mul32), div);
172172
assert(res == res_fallback);
173+
174+
// Verify the behavior of FeeFrac::Evaluate.
175+
if (mul32 > 0) {
176+
auto res_fee = FeeFrac{mul64, div}.Evaluate(mul32);
177+
assert(res == res_fee);
178+
}
173179
}

src/util/feefrac.h

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -182,6 +182,27 @@ struct FeeFrac
182182
std::swap(a.fee, b.fee);
183183
std::swap(a.size, b.size);
184184
}
185+
186+
/** Compute, at this object's feerate, how much fee does at_size correspond to.
187+
*
188+
* This effectively corresponds to evaluating (this->fee * at_size) / this->size, with the
189+
* result rounded down (even for negative feerates).
190+
*
191+
* Requires this->size > 0, at_size >= 0, and that the correct result fits in a int64_t. This
192+
* is guaranteed to be the case when 0 <= at_size <= this->size.
193+
*/
194+
int64_t Evaluate(int32_t at_size) const noexcept
195+
{
196+
Assume(size > 0);
197+
Assume(at_size >= 0);
198+
if (fee >= 0 && fee < 0x200000000) [[likely]] {
199+
// Common case where (this->fee * at_size) is guaranteed to fit in a uint64_t.
200+
return (uint64_t(fee) * at_size) / uint32_t(size);
201+
} else {
202+
// Otherwise, use Mul and Div.
203+
return Div(Mul(fee, at_size), size);
204+
}
205+
}
185206
};
186207

187208
/** Compare the feerate diagrams implied by the provided sorted chunks data.

0 commit comments

Comments
 (0)