feat(big): add SBigIsOne

This commit is contained in:
Adam Heinermann 2024-11-15 08:35:42 -08:00 committed by superp00t
parent 9074869097
commit c9826d2336
5 changed files with 29 additions and 0 deletions

View file

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

View file

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

View file

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

View file

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

View file

@ -470,6 +470,22 @@ TEST_CASE("SBigIsOdd", "[big]") {
}
}
TEST_CASE("SBigIsOne", "[big]") {
BigDataTest a;
SECTION("1 is 1") {
SBigFromUnsigned(a, 1);
CHECK(SBigIsOne(a));
}
SECTION("numbers are not 1") {
auto v = GENERATE(0ULL, 2ULL, 10ULL, 11ULL, 10000000000001ULL, 0xFF00000000000001ULL);
SBigFromStr(a, std::to_string(v).c_str());
CHECK_FALSE(SBigIsOne(a));
}
}
TEST_CASE("SBigMod", "[big]") {
SECTION("mods 7 by 4") {
BigData* a;