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

feat(big): add SBigIsZero

Browse source
This commit is contained in:
Adam Heinermann 2024-11-15 08:38:56 -08:00 • committed by superp00t
parent c9826d2336
commit 1cad63b7f2
5 changed files with 33 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
storm/Big.cpp
View file

@ -81,6 +81,10 @@ int32_t SBigIsOne(BigData* a) {
return IsOne(a->Primary()); return IsOne(a->Primary());
} }
int32_t SBigIsZero(BigData* a) {
return IsZero(a->Primary());
}
void SBigMod(BigData* a, BigData* b, BigData* c) { void SBigMod(BigData* a, BigData* b, BigData* c) {
uint32_t allocCount = 0; uint32_t allocCount = 0;
auto& scratch = a->Stack().Alloc(&allocCount); auto& scratch = a->Stack().Alloc(&allocCount);

2
storm/Big.hpp
View file

@ -34,6 +34,8 @@ int32_t SBigIsOdd(BigData* a);
int32_t SBigIsOne(BigData* a); int32_t SBigIsOne(BigData* a);
int32_t SBigIsZero(BigData* a);
void SBigMod(BigData* a, BigData* b, BigData* c); void SBigMod(BigData* a, BigData* b, BigData* c);
void SBigMul(BigData* a, BigData* b, BigData* c); void SBigMul(BigData* a, BigData* b, BigData* c);

5
storm/big/Ops.cpp
View file

@ -225,6 +225,11 @@ int32_t IsOne(const BigBuffer &num) {
return num.Count() == 1 && num[0] == 1; return num.Count() == 1 && num[0] == 1;
} }
int32_t IsZero(const BigBuffer &num) {
num.Trim();
return num.Count() == 0;
}
uint64_t MakeLarge(uint32_t low, uint32_t high) { uint64_t MakeLarge(uint32_t low, uint32_t high) {
return low + (static_cast<uint64_t>(high) << 32); return low + (static_cast<uint64_t>(high) << 32);
} }

2
storm/big/Ops.hpp
View file

@ -39,6 +39,8 @@ int32_t IsOdd(const BigBuffer &num);
int32_t IsOne(const BigBuffer &num); int32_t IsOne(const BigBuffer &num);
int32_t IsZero(const BigBuffer &num);
uint64_t MakeLarge(uint32_t low, uint32_t high); uint64_t MakeLarge(uint32_t low, uint32_t high);
void Mul(BigBuffer& a, const BigBuffer& b, uint64_t c); void Mul(BigBuffer& a, const BigBuffer& b, uint64_t c);

20
test/Big.cpp
View file

@ -486,6 +486,26 @@ TEST_CASE("SBigIsOne", "[big]") {
} }
} }
TEST_CASE("SBigIsZero", "[big]") {
BigDataTest a;
SECTION("unset is zero") {
CHECK(SBigIsZero(a));
}
SECTION("0 is 0") {
SBigFromUnsigned(a, 0);
CHECK(SBigIsZero(a));
}
SECTION("numbers are not 0") {
auto v = GENERATE(1ULL, 2ULL, 10ULL, 0xFFFFFFFFULL, 10000000000000ULL, 0xFF00000000000000ULL);
SBigFromStr(a, std::to_string(v).c_str());
CHECK_FALSE(SBigIsZero(a));
}
}
TEST_CASE("SBigMod", "[big]") { TEST_CASE("SBigMod", "[big]") {
SECTION("mods 7 by 4") { SECTION("mods 7 by 4") {
BigData* a; BigData* a;