thunderbrewhq/squall
1
0
Fork 0
mirror of https://github.com/thunderbrewhq/squall.git synced 2025-12-12 10:32:29 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore(big): add additional tests for Div and ExtractLowPartSx

Browse source
This commit is contained in:
fallenoak 2023-02-06 12:18:18 -06:00
parent 2d2ae3276a
commit 847352659f
No known key found for this signature in database
GPG key ID: 7628F8E61AEA070D
1 changed files with 58 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

58
test/big/Ops.cpp
View file

@ -386,6 +386,40 @@ TEST_CASE("Div", "[big]") {
SBigDel(c);
SBigDel(d);
}
SECTION("divides 0x9999444488885555 by 0x1111222233334444 (buffer divisor)") {
BigData* a;
SBigNew(&a);
BigData* b;
SBigNew(&b);
BigData* c;
SBigNew(&c);
uint64_t c_ = 0x9999444488885555;
SBigFromBinary(c, reinterpret_cast<uint8_t*>(&c_), sizeof(c_));
BigData* d;
SBigNew(&d);
uint64_t d_ = 0x1111222233334444;
SBigFromBinary(d, reinterpret_cast<uint8_t*>(&d_), sizeof(d_));
Div(a->Primary(), b->Primary(), c->Primary(), d->Primary(), a->Stack());
a->Primary().Trim();
b->Primary().Trim();
CHECK(a->Primary().Count() == 1);
CHECK(a->Primary()[0] == 8);
CHECK(b->Primary().Count() == 2);
CHECK(b->Primary()[0] == 0xEEEE3335);
CHECK(b->Primary()[1] == 0x11103332);
SBigDel(a);
SBigDel(b);
SBigDel(c);
SBigDel(d);
}
}
TEST_CASE("ExtractLowPart", "[big]") {
@ -478,6 +512,22 @@ TEST_CASE("ExtractLowPartSx", "[big]") {
REQUIRE(value == 0);
}
SECTION("extracts low part of 0x80000000") {
uint64_t value = 0x80000000;
auto low = ExtractLowPartSx(value);
REQUIRE(low == 0x80000000);
REQUIRE(value == 0);
}
SECTION("extracts low part of 0xFFFFFFFF") {
uint64_t value = 0xFFFFFFFF;
auto low = ExtractLowPartSx(value);
REQUIRE(low == 0xFFFFFFFF);
REQUIRE(value == 0);
}
SECTION("extracts low part of 0xAAAABBBBCCCCDDDD") {
uint64_t value = 0xAAAABBBBCCCCDDDD;
auto low = ExtractLowPartSx(value);
@ -485,6 +535,14 @@ TEST_CASE("ExtractLowPartSx", "[big]") {
REQUIRE(low == 0xCCCCDDDD);
REQUIRE(value == 0xFFFFFFFFAAAABBBB);
}
SECTION("extracts low part of 0xFFFFFFFF85B10E3A") {
uint64_t value = 0xFFFFFFFF85B10E3A;
auto low = ExtractLowPartSx(value);
REQUIRE(low == 0x85B10E3A);
REQUIRE(value == 0xFFFFFFFFFFFFFFFF);
}
}
TEST_CASE("HighBitPos", "[big]") {