123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617 |
- /*
- * Copyright (c) 2020, Itamar S. <itamar8910@gmail.com>
- * Copyright (c) 2022, David Tuin <davidot@serenityos.org>
- *
- * SPDX-License-Identifier: BSD-2-Clause
- */
- #include "UnsignedBigInteger.h"
- #include <AK/BuiltinWrappers.h>
- #include <AK/CharacterTypes.h>
- #include <AK/StringBuilder.h>
- #include <AK/StringHash.h>
- #include <LibCrypto/BigInt/Algorithms/UnsignedBigIntegerAlgorithms.h>
- #include <math.h>
- namespace Crypto {
- UnsignedBigInteger::UnsignedBigInteger(u8 const* ptr, size_t length)
- {
- m_words.resize_and_keep_capacity((length + sizeof(u32) - 1) / sizeof(u32));
- size_t in = length, out = 0;
- while (in >= sizeof(u32)) {
- in -= sizeof(u32);
- u32 word = ((u32)ptr[in] << 24) | ((u32)ptr[in + 1] << 16) | ((u32)ptr[in + 2] << 8) | (u32)ptr[in + 3];
- m_words[out++] = word;
- }
- if (in > 0) {
- u32 word = 0;
- for (size_t i = 0; i < in; i++) {
- word <<= 8;
- word |= (u32)ptr[i];
- }
- m_words[out++] = word;
- }
- }
- static constexpr u64 mantissa_size = 52;
- static constexpr u64 exponent_size = 11;
- static constexpr auto exponent_bias = (1 << (exponent_size - 1)) - 1;
- union DoubleExtractor {
- struct {
- unsigned long long mantissa : mantissa_size;
- unsigned exponent : exponent_size;
- unsigned sign : 1;
- };
- double double_value = 0;
- };
- UnsignedBigInteger::UnsignedBigInteger(double value)
- {
- // Because this is currently only used for LibJS we VERIFY some preconditions
- // also these values don't have a clear BigInteger representation.
- VERIFY(!isnan(value));
- VERIFY(!isinf(value));
- VERIFY(trunc(value) == value);
- VERIFY(value >= 0.0);
- if (value <= NumericLimits<u32>::max()) {
- m_words.append(static_cast<u32>(value));
- return;
- }
- DoubleExtractor extractor;
- extractor.double_value = value;
- VERIFY(!extractor.sign);
- i32 real_exponent = extractor.exponent - exponent_bias;
- VERIFY(real_exponent > 0);
- // Ensure we have enough space, we will need 2^exponent bits, so round up in words
- auto word_index = (real_exponent + BITS_IN_WORD) / BITS_IN_WORD;
- m_words.resize_and_keep_capacity(word_index);
- // Now we just need to put the mantissa with explicit 1 bit at the top at the proper location
- u64 raw_mantissa = extractor.mantissa | (1ull << mantissa_size);
- VERIFY((raw_mantissa & 0xfff0000000000000) == 0x0010000000000000);
- // Shift it so the bits we need are at the top
- raw_mantissa <<= 64 - mantissa_size - 1;
- // The initial bit needs to be exactly aligned with exponent, this is 1-indexed
- auto top_word_bit_offset = real_exponent % BITS_IN_WORD + 1;
- auto top_word_bits_from_mantissa = raw_mantissa >> (64 - top_word_bit_offset);
- VERIFY(top_word_bits_from_mantissa <= NumericLimits<Word>::max());
- m_words[word_index - 1] = top_word_bits_from_mantissa;
- --word_index;
- // Shift used bits away
- raw_mantissa <<= top_word_bit_offset;
- i32 bits_in_mantissa = mantissa_size + 1 - top_word_bit_offset;
- // Now just put everything at the top of the next words
- constexpr auto to_word_shift = 64 - BITS_IN_WORD;
- while (word_index > 0 && bits_in_mantissa > 0) {
- VERIFY((raw_mantissa >> to_word_shift) <= NumericLimits<Word>::max());
- m_words[word_index - 1] = raw_mantissa >> to_word_shift;
- raw_mantissa <<= to_word_shift;
- bits_in_mantissa -= BITS_IN_WORD;
- --word_index;
- }
- VERIFY(m_words.size() > word_index);
- VERIFY((m_words.size() - word_index) <= 3);
- // No bits left, otherwise we would have to round
- VERIFY(raw_mantissa == 0);
- }
- UnsignedBigInteger UnsignedBigInteger::create_invalid()
- {
- UnsignedBigInteger invalid(0);
- invalid.invalidate();
- return invalid;
- }
- size_t UnsignedBigInteger::export_data(Bytes data, bool remove_leading_zeros) const
- {
- size_t word_count = trimmed_length();
- size_t out = 0;
- if (word_count > 0) {
- ssize_t leading_zeros = -1;
- if (remove_leading_zeros) {
- UnsignedBigInteger::Word word = m_words[word_count - 1];
- for (size_t i = 0; i < sizeof(u32); i++) {
- u8 byte = (u8)(word >> ((sizeof(u32) - i - 1) * 8));
- data[out++] = byte;
- if (leading_zeros < 0 && byte != 0)
- leading_zeros = (int)i;
- }
- }
- for (size_t i = word_count - (remove_leading_zeros ? 1 : 0); i > 0; i--) {
- auto word = m_words[i - 1];
- data[out++] = (u8)(word >> 24);
- data[out++] = (u8)(word >> 16);
- data[out++] = (u8)(word >> 8);
- data[out++] = (u8)word;
- }
- if (leading_zeros > 0)
- out -= leading_zeros;
- }
- return out;
- }
- UnsignedBigInteger UnsignedBigInteger::from_base(u16 N, StringView str)
- {
- VERIFY(N <= 36);
- UnsignedBigInteger result;
- UnsignedBigInteger base { N };
- for (auto& c : str) {
- if (c == '_')
- continue;
- result = result.multiplied_by(base).plus(parse_ascii_base36_digit(c));
- }
- return result;
- }
- String UnsignedBigInteger::to_base(u16 N) const
- {
- VERIFY(N <= 36);
- if (*this == UnsignedBigInteger { 0 })
- return "0";
- StringBuilder builder;
- UnsignedBigInteger temp(*this);
- UnsignedBigInteger quotient;
- UnsignedBigInteger remainder;
- while (temp != UnsignedBigInteger { 0 }) {
- UnsignedBigIntegerAlgorithms::divide_u16_without_allocation(temp, N, quotient, remainder);
- VERIFY(remainder.words()[0] < N);
- builder.append(to_ascii_base36_digit(remainder.words()[0]));
- temp.set_to(quotient);
- }
- return builder.to_string().reverse();
- }
- u64 UnsignedBigInteger::to_u64() const
- {
- static_assert(sizeof(Word) == 4);
- if (!length())
- return 0;
- u64 value = m_words[0];
- if (length() > 1)
- value |= static_cast<u64>(m_words[1]) << 32;
- return value;
- }
- double UnsignedBigInteger::to_double(UnsignedBigInteger::RoundingMode rounding_mode) const
- {
- VERIFY(!is_invalid());
- auto highest_bit = one_based_index_of_highest_set_bit();
- if (highest_bit == 0)
- return 0;
- --highest_bit;
- // Simple case if less than 2^53 since those number are all exactly representable in doubles
- if (highest_bit < mantissa_size + 1)
- return static_cast<double>(to_u64());
- // If it uses too many bit to represent in a double return infinity
- if (highest_bit > exponent_bias)
- return __builtin_huge_val();
- // Otherwise we have to take the top 53 bits, use those as the mantissa,
- // and the amount of bits as the exponent. Note that the mantissa has an implicit top bit of 1
- // so we have to ignore the very top bit.
- // Since we extract at most 53 bits it will take at most 3 words
- static_assert(BITS_IN_WORD * 3 >= (mantissa_size + 1));
- constexpr auto bits_in_u64 = 64;
- static_assert(bits_in_u64 > mantissa_size + 1);
- auto bits_to_read = min(mantissa_size, highest_bit);
- auto last_word_index = trimmed_length();
- VERIFY(last_word_index > 0);
- // Note that highest bit is 0-indexed at this point.
- auto highest_bit_index_in_top_word = highest_bit % BITS_IN_WORD;
- // Shift initial word until highest bit is just beyond top of u64.
- u64 mantissa = m_words[last_word_index - 1];
- if (highest_bit_index_in_top_word != 0)
- mantissa <<= (bits_in_u64 - highest_bit_index_in_top_word);
- else
- mantissa = 0;
- auto bits_written = highest_bit_index_in_top_word;
- --last_word_index;
- Optional<Word> dropped_bits_for_rounding;
- u8 bits_dropped_from_final_word = 0;
- if (bits_written < bits_to_read && last_word_index > 0) {
- // Second word can always just cleanly be shifted upto the final bit of the first word
- // since the first has at most BIT_IN_WORD - 1, 31
- u64 next_word = m_words[last_word_index - 1];
- VERIFY((mantissa & (next_word << (bits_in_u64 - bits_written - BITS_IN_WORD))) == 0);
- mantissa |= next_word << (bits_in_u64 - bits_written - BITS_IN_WORD);
- bits_written += BITS_IN_WORD;
- --last_word_index;
- if (bits_written > bits_to_read) {
- bits_dropped_from_final_word = bits_written - bits_to_read;
- dropped_bits_for_rounding = m_words[last_word_index] & ((1 << bits_dropped_from_final_word) - 1);
- } else if (bits_written < bits_to_read && last_word_index > 0) {
- // The final word has to be shifted down first to discard any excess bits.
- u64 final_word = m_words[last_word_index - 1];
- --last_word_index;
- auto bits_to_write = bits_to_read - bits_written;
- bits_dropped_from_final_word = BITS_IN_WORD - bits_to_write;
- dropped_bits_for_rounding = final_word & ((1 << bits_dropped_from_final_word) - 1u);
- final_word >>= bits_dropped_from_final_word;
- // Then move the bits right up to the lowest bits of the second word
- VERIFY((mantissa & (final_word << (bits_in_u64 - bits_written - bits_to_write))) == 0);
- mantissa |= final_word << (bits_in_u64 - bits_written - bits_to_write);
- }
- }
- // Now the mantissa should be complete so shift it down
- mantissa >>= bits_in_u64 - mantissa_size;
- if (rounding_mode == RoundingMode::IEEERoundAndTiesToEvenMantissa) {
- bool round_up = false;
- if (bits_dropped_from_final_word == 0) {
- if (last_word_index > 0) {
- Word next_word = m_words[last_word_index - 1];
- last_word_index--;
- if ((next_word & 0x80000000) != 0) {
- // next top bit set check for any other bits
- if ((next_word ^ 0x80000000) != 0) {
- round_up = true;
- } else {
- while (last_word_index > 0) {
- if (m_words[last_word_index - 1] != 0) {
- round_up = true;
- break;
- }
- }
- // All other bits are 0 which is a tie thus round to even exponent
- // Since we are halfway, if exponent ends with 1 we round up, if 0 we round down
- round_up = (mantissa & 1) != 0;
- }
- } else {
- round_up = false;
- }
- } else {
- // If there are no words left the rest is implicitly 0 so just round down
- round_up = false;
- }
- } else {
- VERIFY(dropped_bits_for_rounding.has_value());
- VERIFY(bits_dropped_from_final_word >= 1);
- // In this case the top bit comes form the dropped bits
- auto top_bit_extractor = 1u << (bits_dropped_from_final_word - 1u);
- if ((*dropped_bits_for_rounding & top_bit_extractor) != 0) {
- // Possible tie again, if any other bit is set we round up
- if ((*dropped_bits_for_rounding ^ top_bit_extractor) != 0) {
- round_up = true;
- } else {
- while (last_word_index > 0) {
- if (m_words[last_word_index - 1] != 0) {
- round_up = true;
- break;
- }
- }
- round_up = (mantissa & 1) != 0;
- }
- } else {
- round_up = false;
- }
- }
- if (round_up) {
- ++mantissa;
- if ((mantissa & (1ull << mantissa_size)) != 0) {
- // we overflowed the mantissa
- mantissa = 0;
- highest_bit++;
- // In which case it is possible we have to round to infinity
- if (highest_bit > exponent_bias)
- return __builtin_huge_val();
- }
- }
- } else {
- VERIFY(rounding_mode == RoundingMode::RoundTowardZero);
- }
- DoubleExtractor extractor;
- extractor.exponent = highest_bit + exponent_bias;
- VERIFY((mantissa & 0xfff0000000000000) == 0);
- extractor.mantissa = mantissa;
- return extractor.double_value;
- }
- void UnsignedBigInteger::set_to_0()
- {
- m_words.clear_with_capacity();
- m_is_invalid = false;
- m_cached_trimmed_length = {};
- m_cached_hash = 0;
- }
- void UnsignedBigInteger::set_to(UnsignedBigInteger::Word other)
- {
- m_is_invalid = false;
- m_words.resize_and_keep_capacity(1);
- m_words[0] = other;
- m_cached_trimmed_length = {};
- m_cached_hash = 0;
- }
- void UnsignedBigInteger::set_to(UnsignedBigInteger const& other)
- {
- m_is_invalid = other.m_is_invalid;
- m_words.resize_and_keep_capacity(other.m_words.size());
- __builtin_memcpy(m_words.data(), other.m_words.data(), other.m_words.size() * sizeof(u32));
- m_cached_trimmed_length = {};
- m_cached_hash = 0;
- }
- bool UnsignedBigInteger::is_zero() const
- {
- for (size_t i = 0; i < length(); ++i) {
- if (m_words[i] != 0)
- return false;
- }
- return true;
- }
- size_t UnsignedBigInteger::trimmed_length() const
- {
- if (!m_cached_trimmed_length.has_value()) {
- size_t num_leading_zeroes = 0;
- for (int i = length() - 1; i >= 0; --i, ++num_leading_zeroes) {
- if (m_words[i] != 0)
- break;
- }
- m_cached_trimmed_length = length() - num_leading_zeroes;
- }
- return m_cached_trimmed_length.value();
- }
- void UnsignedBigInteger::clamp_to_trimmed_length()
- {
- auto length = trimmed_length();
- if (m_words.size() > length)
- m_words.resize(length);
- }
- void UnsignedBigInteger::resize_with_leading_zeros(size_t new_length)
- {
- size_t old_length = length();
- if (old_length < new_length) {
- m_words.resize_and_keep_capacity(new_length);
- __builtin_memset(&m_words.data()[old_length], 0, (new_length - old_length) * sizeof(u32));
- }
- }
- size_t UnsignedBigInteger::one_based_index_of_highest_set_bit() const
- {
- size_t number_of_words = trimmed_length();
- size_t index = 0;
- if (number_of_words > 0) {
- index += (number_of_words - 1) * BITS_IN_WORD;
- index += BITS_IN_WORD - count_leading_zeroes(m_words[number_of_words - 1]);
- }
- return index;
- }
- FLATTEN UnsignedBigInteger UnsignedBigInteger::plus(UnsignedBigInteger const& other) const
- {
- UnsignedBigInteger result;
- UnsignedBigIntegerAlgorithms::add_without_allocation(*this, other, result);
- return result;
- }
- FLATTEN UnsignedBigInteger UnsignedBigInteger::minus(UnsignedBigInteger const& other) const
- {
- UnsignedBigInteger result;
- UnsignedBigIntegerAlgorithms::subtract_without_allocation(*this, other, result);
- return result;
- }
- FLATTEN UnsignedBigInteger UnsignedBigInteger::bitwise_or(UnsignedBigInteger const& other) const
- {
- UnsignedBigInteger result;
- UnsignedBigIntegerAlgorithms::bitwise_or_without_allocation(*this, other, result);
- return result;
- }
- FLATTEN UnsignedBigInteger UnsignedBigInteger::bitwise_and(UnsignedBigInteger const& other) const
- {
- UnsignedBigInteger result;
- UnsignedBigIntegerAlgorithms::bitwise_and_without_allocation(*this, other, result);
- return result;
- }
- FLATTEN UnsignedBigInteger UnsignedBigInteger::bitwise_xor(UnsignedBigInteger const& other) const
- {
- UnsignedBigInteger result;
- UnsignedBigIntegerAlgorithms::bitwise_xor_without_allocation(*this, other, result);
- return result;
- }
- FLATTEN UnsignedBigInteger UnsignedBigInteger::bitwise_not_fill_to_one_based_index(size_t size) const
- {
- UnsignedBigInteger result;
- UnsignedBigIntegerAlgorithms::bitwise_not_fill_to_one_based_index_without_allocation(*this, size, result);
- return result;
- }
- FLATTEN UnsignedBigInteger UnsignedBigInteger::shift_left(size_t num_bits) const
- {
- UnsignedBigInteger output;
- UnsignedBigInteger temp_result;
- UnsignedBigInteger temp_plus;
- UnsignedBigIntegerAlgorithms::shift_left_without_allocation(*this, num_bits, temp_result, temp_plus, output);
- return output;
- }
- FLATTEN UnsignedBigInteger UnsignedBigInteger::multiplied_by(UnsignedBigInteger const& other) const
- {
- UnsignedBigInteger result;
- UnsignedBigInteger temp_shift_result;
- UnsignedBigInteger temp_shift_plus;
- UnsignedBigInteger temp_shift;
- UnsignedBigIntegerAlgorithms::multiply_without_allocation(*this, other, temp_shift_result, temp_shift_plus, temp_shift, result);
- return result;
- }
- FLATTEN UnsignedDivisionResult UnsignedBigInteger::divided_by(UnsignedBigInteger const& divisor) const
- {
- UnsignedBigInteger quotient;
- UnsignedBigInteger remainder;
- // If we actually have a u16-compatible divisor, short-circuit to the
- // less computationally-intensive "divide_u16_without_allocation" method.
- if (divisor.trimmed_length() == 1 && divisor.m_words[0] < (1 << 16)) {
- UnsignedBigIntegerAlgorithms::divide_u16_without_allocation(*this, divisor.m_words[0], quotient, remainder);
- return UnsignedDivisionResult { quotient, remainder };
- }
- UnsignedBigInteger temp_shift_result;
- UnsignedBigInteger temp_shift_plus;
- UnsignedBigInteger temp_shift;
- UnsignedBigInteger temp_minus;
- UnsignedBigIntegerAlgorithms::divide_without_allocation(*this, divisor, temp_shift_result, temp_shift_plus, temp_shift, temp_minus, quotient, remainder);
- return UnsignedDivisionResult { quotient, remainder };
- }
- u32 UnsignedBigInteger::hash() const
- {
- if (m_cached_hash != 0)
- return m_cached_hash;
- return m_cached_hash = string_hash((char const*)m_words.data(), sizeof(Word) * m_words.size());
- }
- void UnsignedBigInteger::set_bit_inplace(size_t bit_index)
- {
- const size_t word_index = bit_index / UnsignedBigInteger::BITS_IN_WORD;
- const size_t inner_word_index = bit_index % UnsignedBigInteger::BITS_IN_WORD;
- m_words.ensure_capacity(word_index + 1);
- for (size_t i = length(); i <= word_index; ++i) {
- m_words.unchecked_append(0);
- }
- m_words[word_index] |= (1 << inner_word_index);
- m_cached_trimmed_length = {};
- m_cached_hash = 0;
- }
- bool UnsignedBigInteger::operator==(UnsignedBigInteger const& other) const
- {
- if (is_invalid() != other.is_invalid())
- return false;
- auto length = trimmed_length();
- if (length != other.trimmed_length())
- return false;
- return !__builtin_memcmp(m_words.data(), other.words().data(), length * (BITS_IN_WORD / 8));
- }
- bool UnsignedBigInteger::operator!=(UnsignedBigInteger const& other) const
- {
- return !(*this == other);
- }
- bool UnsignedBigInteger::operator<(UnsignedBigInteger const& other) const
- {
- auto length = trimmed_length();
- auto other_length = other.trimmed_length();
- if (length < other_length) {
- return true;
- }
- if (length > other_length) {
- return false;
- }
- if (length == 0) {
- return false;
- }
- for (int i = length - 1; i >= 0; --i) {
- if (m_words[i] == other.m_words[i])
- continue;
- return m_words[i] < other.m_words[i];
- }
- return false;
- }
- bool UnsignedBigInteger::operator>(UnsignedBigInteger const& other) const
- {
- return *this != other && !(*this < other);
- }
- bool UnsignedBigInteger::operator>=(UnsignedBigInteger const& other) const
- {
- return *this > other || *this == other;
- }
- }
- ErrorOr<void> AK::Formatter<Crypto::UnsignedBigInteger>::format(FormatBuilder& fmtbuilder, Crypto::UnsignedBigInteger const& value)
- {
- if (value.is_invalid())
- return fmtbuilder.put_string("invalid"sv);
- StringBuilder builder;
- for (int i = value.length() - 1; i >= 0; --i)
- TRY(builder.try_appendff("{}|", value.words()[i]));
- return Formatter<StringView>::format(fmtbuilder, builder.string_view());
- }
|