3 * @brief Arbitrary sized integer definitions
5 * @see add_digits_asm.s
6 * @see sub_digits_asm.s
7 * @see mul_digits_asm.s
27 /** Absolute value hackery **/
28 template <> Arbint Tabs(const Arbint & a)
35 Arbint::Arbint(int64_t i) : m_digits(1), m_sign(i < 0)
37 m_digits[0] = llabs(i);
40 Arbint::Arbint(unsigned n, digit_t d0, ...) : m_digits(n), m_sign(false)
46 for (unsigned i = 1; i < n; ++i)
48 m_digits[i] = va_arg(ap, digit_t);
53 Arbint::Arbint(const Arbint & cpy) : m_digits(cpy.m_digits), m_sign(cpy.m_sign)
58 Arbint::Arbint(const vector<digit_t> & digits) : m_digits(digits), m_sign(false)
63 Arbint & Arbint::operator=(const Arbint & cpy)
65 m_digits = cpy.m_digits;
72 m_digits.resize(1, 0L);
75 unsigned Arbint::Shrink()
77 if (m_digits.size() <= 1)
80 for (i = m_digits.size()-1; (i > 0 && m_digits[i] != 0L); --i);
81 unsigned result = m_digits.size() - i;
86 Arbint & Arbint::operator*=(const Arbint & mul)
88 vector<digit_t> new_digits(m_digits.size(), 0L);
89 new_digits.reserve(new_digits.size()+mul.m_digits.size());
90 for (unsigned i = 0; i < mul.m_digits.size(); ++i)
92 vector<digit_t> step(m_digits.size()+i, 0L);
93 memcpy(step.data()+i, m_digits.data(), sizeof(digit_t)*m_digits.size());
95 digit_t overflow = mul_digits((digit_t*)step.data()+i, mul.m_digits[i], m_digits.size());
98 step.push_back(overflow);
100 new_digits.resize(max(new_digits.size(), step.size()), 0L);
101 digit_t carry = add_digits((digit_t*)new_digits.data(), step.data(), step.size());
104 new_digits.push_back(carry);
108 m_digits.swap(new_digits);
109 m_sign = !(m_sign == mul.m_sign);
113 void Arbint::Division(const Arbint & div, Arbint & result, Arbint & remainder) const
122 else if (div.m_digits.size() == 1)
124 result.m_digits.resize(m_digits.size(), 0L);
125 remainder = Arbint(div_digits((digit_t*)&m_digits[0], div.m_digits[0], m_digits.size(), result.m_digits.data()));
126 result.m_sign = !(m_sign == div.m_sign);
129 for (int i = 8*sizeof(digit_t)*m_digits.size(); i >= 0; --i)
135 remainder.BitClear(0);
136 if (remainder >= div)
142 result.m_sign = !(m_sign == div.m_sign);
145 Arbint & Arbint::operator+=(const Arbint & add)
147 if (m_sign == add.m_sign)
149 // -a + -b == -(a + b)
150 return AddBasic(add);
155 // -a + b == -(a - b)
168 Arbint & Arbint::operator-=(const Arbint & sub)
170 if (m_sign == sub.m_sign)
171 return SubBasic(sub);
172 return AddBasic(sub);
175 Arbint & Arbint::AddBasic(const Arbint & add)
177 if (add.m_digits.size() >= m_digits.size())
179 m_digits.resize(add.m_digits.size()+1,0L);
182 digit_t carry = add_digits((digit_t*)m_digits.data(),
183 (digit_t*)add.m_digits.data(), add.m_digits.size());
185 m_digits[m_digits.size()-1] = carry;
186 else if (m_digits.back() == 0L)
187 m_digits.resize(m_digits.size()-1);
191 Arbint & Arbint::SubBasic(const Arbint & sub)
193 if (sub.m_digits.size() >= m_digits.size())
195 m_digits.resize(sub.m_digits.size(),0L);
197 digit_t borrow = sub_digits((digit_t*)m_digits.data(),
198 (digit_t*)sub.m_digits.data(), sub.m_digits.size());
201 //TODO: Write ASM to do this bit?
205 for (unsigned i = 0; i < m_digits.size(); ++i)
206 m_digits[i] = (~m_digits[i]);
207 std::vector<digit_t> one_digits(m_digits.size(), 0L);
209 add_digits((digit_t*)m_digits.data(), (digit_t*)one_digits.data(), m_digits.size());
215 string Arbint::Str(const string & base) const
220 reverse(s.begin(), s.end());
224 bool Arbint::IsZero() const
226 for (unsigned i = m_digits.size()-1; i > 0; --i)
228 if (m_digits[i] != 0L) return false;
230 return (m_digits[0] == 0L);
233 bool Arbint::operator==(const Arbint & equ) const
235 if (m_sign != equ.m_sign)
237 unsigned min_size = m_digits.size();
238 const Arbint * larger = &equ;
239 if (m_digits.size() > equ.m_digits.size())
241 min_size = equ.m_digits.size();
245 if (memcmp(m_digits.data(), equ.m_digits.data(), sizeof(digit_t)*min_size) != 0)
248 for (unsigned i = min_size; i < larger->m_digits.size(); ++i)
250 if (larger->m_digits[i] != 0L)
256 bool Arbint::operator<(const Arbint & less) const
260 return (cpy.m_sign && !cpy.IsZero());
263 string Arbint::DigitStr() const
266 //ss << std::hex << std::setfill('0');
267 for (unsigned i = 0; i < m_digits.size(); ++i)
269 if (i != 0) ss << ',';
270 //ss << std::setw(2*sizeof(digit_t)) << static_cast<digit_t>(m_digits[i]);
271 ss << static_cast<digit_t>(m_digits[i]);
276 Arbint & Arbint::operator>>=(unsigned amount)
278 // Shift by whole number of digits
279 unsigned whole = amount/(8*sizeof(digit_t));
280 unsigned old_size = m_digits.size();
282 if (whole >= old_size)
284 m_digits.resize(1,0L);
288 memmove(m_digits.data(), m_digits.data()+whole, sizeof(digit_t)*(old_size-whole));
289 m_digits.resize(old_size-whole, 0L);
291 // Shift by partial amount
292 amount = amount %(8*sizeof(digit_t));
296 digit_t underflow = 0L;
297 for (int i = (int)(m_digits.size()-1); i >= 0; --i)
299 unsigned shl = (8*sizeof(digit_t)-amount);
300 digit_t next_underflow = (m_digits[i] << shl);
301 //digit_t mask_upper = ~(0L >> amount);
302 m_digits[i] = (m_digits[i] >> amount);// & mask_upper;
303 m_digits[i] |= underflow;
304 underflow = next_underflow;
309 Arbint & Arbint::operator<<=(unsigned amount)
311 // Shift by whole number of digits
312 unsigned whole = amount/(8*sizeof(digit_t));
313 unsigned old_size = m_digits.size();
314 m_digits.resize(m_digits.size() + whole);
315 memmove(m_digits.data()+whole, m_digits.data(), sizeof(digit_t)*old_size);
316 memset(m_digits.data(), 0L, whole*sizeof(digit_t));
321 amount = amount % (8*sizeof(digit_t));
325 //Debug("Shift by %u from %u", amount, whole);
326 digit_t overflow = 0L;
327 for (unsigned i = whole; i < m_digits.size(); ++i)
329 //Debug("Digit is %.16lx", m_digits[i]);
330 unsigned shr = (8*sizeof(digit_t)-amount);
331 //Debug("shr is %u", shr);
332 digit_t next_overflow = (m_digits[i] >> shr);
333 //Debug("Next overflow %.16lx", next_overflow);
334 m_digits[i] <<= amount;
335 //Debug("Before overflow %.16lx", m_digits[i]);
336 m_digits[i] |= overflow;
337 overflow = next_overflow;
340 m_digits.push_back(overflow);
345 bool Arbint::GetBit(unsigned i) const
347 unsigned digit = i/(8*sizeof(digit_t));
348 if (digit >= m_digits.size())
351 i = i % (8*sizeof(digit_t));
353 return (m_digits[digit] & (1L << i));
357 void Arbint::BitClear(unsigned i)
359 unsigned digit = i/(8*sizeof(digit_t));
360 if (digit >= m_digits.size())
362 i = i % (8*sizeof(digit_t));
363 m_digits[digit] &= ~(1L << i);
366 void Arbint::BitSet(unsigned i)
368 unsigned digit = i/(8*sizeof(digit_t));
369 if (digit >= m_digits.size())
371 m_digits.resize(digit+1, 0L);
373 i = i % (8*sizeof(digit_t));
374 m_digits[digit] |= (1L << i);