1*9356374aSAndroid Build Coastguard Worker // Copyright 2017 The Abseil Authors.
2*9356374aSAndroid Build Coastguard Worker //
3*9356374aSAndroid Build Coastguard Worker // Licensed under the Apache License, Version 2.0 (the "License");
4*9356374aSAndroid Build Coastguard Worker // you may not use this file except in compliance with the License.
5*9356374aSAndroid Build Coastguard Worker // You may obtain a copy of the License at
6*9356374aSAndroid Build Coastguard Worker //
7*9356374aSAndroid Build Coastguard Worker // https://www.apache.org/licenses/LICENSE-2.0
8*9356374aSAndroid Build Coastguard Worker //
9*9356374aSAndroid Build Coastguard Worker // Unless required by applicable law or agreed to in writing, software
10*9356374aSAndroid Build Coastguard Worker // distributed under the License is distributed on an "AS IS" BASIS,
11*9356374aSAndroid Build Coastguard Worker // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12*9356374aSAndroid Build Coastguard Worker // See the License for the specific language governing permissions and
13*9356374aSAndroid Build Coastguard Worker // limitations under the License.
14*9356374aSAndroid Build Coastguard Worker
15*9356374aSAndroid Build Coastguard Worker #include "absl/numeric/int128.h"
16*9356374aSAndroid Build Coastguard Worker
17*9356374aSAndroid Build Coastguard Worker #include <stddef.h>
18*9356374aSAndroid Build Coastguard Worker
19*9356374aSAndroid Build Coastguard Worker #include <cassert>
20*9356374aSAndroid Build Coastguard Worker #include <iomanip>
21*9356374aSAndroid Build Coastguard Worker #include <ostream> // NOLINT(readability/streams)
22*9356374aSAndroid Build Coastguard Worker #include <sstream>
23*9356374aSAndroid Build Coastguard Worker #include <string>
24*9356374aSAndroid Build Coastguard Worker #include <type_traits>
25*9356374aSAndroid Build Coastguard Worker
26*9356374aSAndroid Build Coastguard Worker #include "absl/base/optimization.h"
27*9356374aSAndroid Build Coastguard Worker #include "absl/numeric/bits.h"
28*9356374aSAndroid Build Coastguard Worker
29*9356374aSAndroid Build Coastguard Worker namespace absl {
30*9356374aSAndroid Build Coastguard Worker ABSL_NAMESPACE_BEGIN
31*9356374aSAndroid Build Coastguard Worker
32*9356374aSAndroid Build Coastguard Worker namespace {
33*9356374aSAndroid Build Coastguard Worker
34*9356374aSAndroid Build Coastguard Worker // Returns the 0-based position of the last set bit (i.e., most significant bit)
35*9356374aSAndroid Build Coastguard Worker // in the given uint128. The argument is not 0.
36*9356374aSAndroid Build Coastguard Worker //
37*9356374aSAndroid Build Coastguard Worker // For example:
38*9356374aSAndroid Build Coastguard Worker // Given: 5 (decimal) == 101 (binary)
39*9356374aSAndroid Build Coastguard Worker // Returns: 2
Fls128(uint128 n)40*9356374aSAndroid Build Coastguard Worker inline ABSL_ATTRIBUTE_ALWAYS_INLINE int Fls128(uint128 n) {
41*9356374aSAndroid Build Coastguard Worker if (uint64_t hi = Uint128High64(n)) {
42*9356374aSAndroid Build Coastguard Worker ABSL_ASSUME(hi != 0);
43*9356374aSAndroid Build Coastguard Worker return 127 - countl_zero(hi);
44*9356374aSAndroid Build Coastguard Worker }
45*9356374aSAndroid Build Coastguard Worker const uint64_t low = Uint128Low64(n);
46*9356374aSAndroid Build Coastguard Worker ABSL_ASSUME(low != 0);
47*9356374aSAndroid Build Coastguard Worker return 63 - countl_zero(low);
48*9356374aSAndroid Build Coastguard Worker }
49*9356374aSAndroid Build Coastguard Worker
50*9356374aSAndroid Build Coastguard Worker // Long division/modulo for uint128 implemented using the shift-subtract
51*9356374aSAndroid Build Coastguard Worker // division algorithm adapted from:
52*9356374aSAndroid Build Coastguard Worker // https://stackoverflow.com/questions/5386377/division-without-using
DivModImpl(uint128 dividend,uint128 divisor,uint128 * quotient_ret,uint128 * remainder_ret)53*9356374aSAndroid Build Coastguard Worker inline void DivModImpl(uint128 dividend, uint128 divisor, uint128* quotient_ret,
54*9356374aSAndroid Build Coastguard Worker uint128* remainder_ret) {
55*9356374aSAndroid Build Coastguard Worker assert(divisor != 0);
56*9356374aSAndroid Build Coastguard Worker
57*9356374aSAndroid Build Coastguard Worker if (divisor > dividend) {
58*9356374aSAndroid Build Coastguard Worker *quotient_ret = 0;
59*9356374aSAndroid Build Coastguard Worker *remainder_ret = dividend;
60*9356374aSAndroid Build Coastguard Worker return;
61*9356374aSAndroid Build Coastguard Worker }
62*9356374aSAndroid Build Coastguard Worker
63*9356374aSAndroid Build Coastguard Worker if (divisor == dividend) {
64*9356374aSAndroid Build Coastguard Worker *quotient_ret = 1;
65*9356374aSAndroid Build Coastguard Worker *remainder_ret = 0;
66*9356374aSAndroid Build Coastguard Worker return;
67*9356374aSAndroid Build Coastguard Worker }
68*9356374aSAndroid Build Coastguard Worker
69*9356374aSAndroid Build Coastguard Worker uint128 denominator = divisor;
70*9356374aSAndroid Build Coastguard Worker uint128 quotient = 0;
71*9356374aSAndroid Build Coastguard Worker
72*9356374aSAndroid Build Coastguard Worker // Left aligns the MSB of the denominator and the dividend.
73*9356374aSAndroid Build Coastguard Worker const int shift = Fls128(dividend) - Fls128(denominator);
74*9356374aSAndroid Build Coastguard Worker denominator <<= shift;
75*9356374aSAndroid Build Coastguard Worker
76*9356374aSAndroid Build Coastguard Worker // Uses shift-subtract algorithm to divide dividend by denominator. The
77*9356374aSAndroid Build Coastguard Worker // remainder will be left in dividend.
78*9356374aSAndroid Build Coastguard Worker for (int i = 0; i <= shift; ++i) {
79*9356374aSAndroid Build Coastguard Worker quotient <<= 1;
80*9356374aSAndroid Build Coastguard Worker if (dividend >= denominator) {
81*9356374aSAndroid Build Coastguard Worker dividend -= denominator;
82*9356374aSAndroid Build Coastguard Worker quotient |= 1;
83*9356374aSAndroid Build Coastguard Worker }
84*9356374aSAndroid Build Coastguard Worker denominator >>= 1;
85*9356374aSAndroid Build Coastguard Worker }
86*9356374aSAndroid Build Coastguard Worker
87*9356374aSAndroid Build Coastguard Worker *quotient_ret = quotient;
88*9356374aSAndroid Build Coastguard Worker *remainder_ret = dividend;
89*9356374aSAndroid Build Coastguard Worker }
90*9356374aSAndroid Build Coastguard Worker
91*9356374aSAndroid Build Coastguard Worker template <typename T>
MakeUint128FromFloat(T v)92*9356374aSAndroid Build Coastguard Worker uint128 MakeUint128FromFloat(T v) {
93*9356374aSAndroid Build Coastguard Worker static_assert(std::is_floating_point<T>::value, "");
94*9356374aSAndroid Build Coastguard Worker
95*9356374aSAndroid Build Coastguard Worker // Rounding behavior is towards zero, same as for built-in types.
96*9356374aSAndroid Build Coastguard Worker
97*9356374aSAndroid Build Coastguard Worker // Undefined behavior if v is NaN or cannot fit into uint128.
98*9356374aSAndroid Build Coastguard Worker assert(std::isfinite(v) && v > -1 &&
99*9356374aSAndroid Build Coastguard Worker (std::numeric_limits<T>::max_exponent <= 128 ||
100*9356374aSAndroid Build Coastguard Worker v < std::ldexp(static_cast<T>(1), 128)));
101*9356374aSAndroid Build Coastguard Worker
102*9356374aSAndroid Build Coastguard Worker if (v >= std::ldexp(static_cast<T>(1), 64)) {
103*9356374aSAndroid Build Coastguard Worker uint64_t hi = static_cast<uint64_t>(std::ldexp(v, -64));
104*9356374aSAndroid Build Coastguard Worker uint64_t lo = static_cast<uint64_t>(v - std::ldexp(static_cast<T>(hi), 64));
105*9356374aSAndroid Build Coastguard Worker return MakeUint128(hi, lo);
106*9356374aSAndroid Build Coastguard Worker }
107*9356374aSAndroid Build Coastguard Worker
108*9356374aSAndroid Build Coastguard Worker return MakeUint128(0, static_cast<uint64_t>(v));
109*9356374aSAndroid Build Coastguard Worker }
110*9356374aSAndroid Build Coastguard Worker
111*9356374aSAndroid Build Coastguard Worker #if defined(__clang__) && (__clang_major__ < 9) && !defined(__SSE3__)
112*9356374aSAndroid Build Coastguard Worker // Workaround for clang bug: https://bugs.llvm.org/show_bug.cgi?id=38289
113*9356374aSAndroid Build Coastguard Worker // Casting from long double to uint64_t is miscompiled and drops bits.
114*9356374aSAndroid Build Coastguard Worker // It is more work, so only use when we need the workaround.
MakeUint128FromFloat(long double v)115*9356374aSAndroid Build Coastguard Worker uint128 MakeUint128FromFloat(long double v) {
116*9356374aSAndroid Build Coastguard Worker // Go 50 bits at a time, that fits in a double
117*9356374aSAndroid Build Coastguard Worker static_assert(std::numeric_limits<double>::digits >= 50, "");
118*9356374aSAndroid Build Coastguard Worker static_assert(std::numeric_limits<long double>::digits <= 150, "");
119*9356374aSAndroid Build Coastguard Worker // Undefined behavior if v is not finite or cannot fit into uint128.
120*9356374aSAndroid Build Coastguard Worker assert(std::isfinite(v) && v > -1 && v < std::ldexp(1.0L, 128));
121*9356374aSAndroid Build Coastguard Worker
122*9356374aSAndroid Build Coastguard Worker v = std::ldexp(v, -100);
123*9356374aSAndroid Build Coastguard Worker uint64_t w0 = static_cast<uint64_t>(static_cast<double>(std::trunc(v)));
124*9356374aSAndroid Build Coastguard Worker v = std::ldexp(v - static_cast<double>(w0), 50);
125*9356374aSAndroid Build Coastguard Worker uint64_t w1 = static_cast<uint64_t>(static_cast<double>(std::trunc(v)));
126*9356374aSAndroid Build Coastguard Worker v = std::ldexp(v - static_cast<double>(w1), 50);
127*9356374aSAndroid Build Coastguard Worker uint64_t w2 = static_cast<uint64_t>(static_cast<double>(std::trunc(v)));
128*9356374aSAndroid Build Coastguard Worker return (static_cast<uint128>(w0) << 100) | (static_cast<uint128>(w1) << 50) |
129*9356374aSAndroid Build Coastguard Worker static_cast<uint128>(w2);
130*9356374aSAndroid Build Coastguard Worker }
131*9356374aSAndroid Build Coastguard Worker #endif // __clang__ && (__clang_major__ < 9) && !__SSE3__
132*9356374aSAndroid Build Coastguard Worker } // namespace
133*9356374aSAndroid Build Coastguard Worker
uint128(float v)134*9356374aSAndroid Build Coastguard Worker uint128::uint128(float v) : uint128(MakeUint128FromFloat(v)) {}
uint128(double v)135*9356374aSAndroid Build Coastguard Worker uint128::uint128(double v) : uint128(MakeUint128FromFloat(v)) {}
uint128(long double v)136*9356374aSAndroid Build Coastguard Worker uint128::uint128(long double v) : uint128(MakeUint128FromFloat(v)) {}
137*9356374aSAndroid Build Coastguard Worker
138*9356374aSAndroid Build Coastguard Worker #if !defined(ABSL_HAVE_INTRINSIC_INT128)
operator /(uint128 lhs,uint128 rhs)139*9356374aSAndroid Build Coastguard Worker uint128 operator/(uint128 lhs, uint128 rhs) {
140*9356374aSAndroid Build Coastguard Worker uint128 quotient = 0;
141*9356374aSAndroid Build Coastguard Worker uint128 remainder = 0;
142*9356374aSAndroid Build Coastguard Worker DivModImpl(lhs, rhs, "ient, &remainder);
143*9356374aSAndroid Build Coastguard Worker return quotient;
144*9356374aSAndroid Build Coastguard Worker }
145*9356374aSAndroid Build Coastguard Worker
operator %(uint128 lhs,uint128 rhs)146*9356374aSAndroid Build Coastguard Worker uint128 operator%(uint128 lhs, uint128 rhs) {
147*9356374aSAndroid Build Coastguard Worker uint128 quotient = 0;
148*9356374aSAndroid Build Coastguard Worker uint128 remainder = 0;
149*9356374aSAndroid Build Coastguard Worker DivModImpl(lhs, rhs, "ient, &remainder);
150*9356374aSAndroid Build Coastguard Worker return remainder;
151*9356374aSAndroid Build Coastguard Worker }
152*9356374aSAndroid Build Coastguard Worker #endif // !defined(ABSL_HAVE_INTRINSIC_INT128)
153*9356374aSAndroid Build Coastguard Worker
154*9356374aSAndroid Build Coastguard Worker namespace {
155*9356374aSAndroid Build Coastguard Worker
Uint128ToFormattedString(uint128 v,std::ios_base::fmtflags flags)156*9356374aSAndroid Build Coastguard Worker std::string Uint128ToFormattedString(uint128 v, std::ios_base::fmtflags flags) {
157*9356374aSAndroid Build Coastguard Worker // Select a divisor which is the largest power of the base < 2^64.
158*9356374aSAndroid Build Coastguard Worker uint128 div;
159*9356374aSAndroid Build Coastguard Worker int div_base_log;
160*9356374aSAndroid Build Coastguard Worker switch (flags & std::ios::basefield) {
161*9356374aSAndroid Build Coastguard Worker case std::ios::hex:
162*9356374aSAndroid Build Coastguard Worker div = 0x1000000000000000; // 16^15
163*9356374aSAndroid Build Coastguard Worker div_base_log = 15;
164*9356374aSAndroid Build Coastguard Worker break;
165*9356374aSAndroid Build Coastguard Worker case std::ios::oct:
166*9356374aSAndroid Build Coastguard Worker div = 01000000000000000000000; // 8^21
167*9356374aSAndroid Build Coastguard Worker div_base_log = 21;
168*9356374aSAndroid Build Coastguard Worker break;
169*9356374aSAndroid Build Coastguard Worker default: // std::ios::dec
170*9356374aSAndroid Build Coastguard Worker div = 10000000000000000000u; // 10^19
171*9356374aSAndroid Build Coastguard Worker div_base_log = 19;
172*9356374aSAndroid Build Coastguard Worker break;
173*9356374aSAndroid Build Coastguard Worker }
174*9356374aSAndroid Build Coastguard Worker
175*9356374aSAndroid Build Coastguard Worker // Now piece together the uint128 representation from three chunks of the
176*9356374aSAndroid Build Coastguard Worker // original value, each less than "div" and therefore representable as a
177*9356374aSAndroid Build Coastguard Worker // uint64_t.
178*9356374aSAndroid Build Coastguard Worker std::ostringstream os;
179*9356374aSAndroid Build Coastguard Worker std::ios_base::fmtflags copy_mask =
180*9356374aSAndroid Build Coastguard Worker std::ios::basefield | std::ios::showbase | std::ios::uppercase;
181*9356374aSAndroid Build Coastguard Worker os.setf(flags & copy_mask, copy_mask);
182*9356374aSAndroid Build Coastguard Worker uint128 high = v;
183*9356374aSAndroid Build Coastguard Worker uint128 low;
184*9356374aSAndroid Build Coastguard Worker DivModImpl(high, div, &high, &low);
185*9356374aSAndroid Build Coastguard Worker uint128 mid;
186*9356374aSAndroid Build Coastguard Worker DivModImpl(high, div, &high, &mid);
187*9356374aSAndroid Build Coastguard Worker if (Uint128Low64(high) != 0) {
188*9356374aSAndroid Build Coastguard Worker os << Uint128Low64(high);
189*9356374aSAndroid Build Coastguard Worker os << std::noshowbase << std::setfill('0') << std::setw(div_base_log);
190*9356374aSAndroid Build Coastguard Worker os << Uint128Low64(mid);
191*9356374aSAndroid Build Coastguard Worker os << std::setw(div_base_log);
192*9356374aSAndroid Build Coastguard Worker } else if (Uint128Low64(mid) != 0) {
193*9356374aSAndroid Build Coastguard Worker os << Uint128Low64(mid);
194*9356374aSAndroid Build Coastguard Worker os << std::noshowbase << std::setfill('0') << std::setw(div_base_log);
195*9356374aSAndroid Build Coastguard Worker }
196*9356374aSAndroid Build Coastguard Worker os << Uint128Low64(low);
197*9356374aSAndroid Build Coastguard Worker return os.str();
198*9356374aSAndroid Build Coastguard Worker }
199*9356374aSAndroid Build Coastguard Worker
200*9356374aSAndroid Build Coastguard Worker } // namespace
201*9356374aSAndroid Build Coastguard Worker
ToString() const202*9356374aSAndroid Build Coastguard Worker std::string uint128::ToString() const {
203*9356374aSAndroid Build Coastguard Worker return Uint128ToFormattedString(*this, std::ios_base::dec);
204*9356374aSAndroid Build Coastguard Worker }
205*9356374aSAndroid Build Coastguard Worker
operator <<(std::ostream & os,uint128 v)206*9356374aSAndroid Build Coastguard Worker std::ostream& operator<<(std::ostream& os, uint128 v) {
207*9356374aSAndroid Build Coastguard Worker std::ios_base::fmtflags flags = os.flags();
208*9356374aSAndroid Build Coastguard Worker std::string rep = Uint128ToFormattedString(v, flags);
209*9356374aSAndroid Build Coastguard Worker
210*9356374aSAndroid Build Coastguard Worker // Add the requisite padding.
211*9356374aSAndroid Build Coastguard Worker std::streamsize width = os.width(0);
212*9356374aSAndroid Build Coastguard Worker if (static_cast<size_t>(width) > rep.size()) {
213*9356374aSAndroid Build Coastguard Worker const size_t count = static_cast<size_t>(width) - rep.size();
214*9356374aSAndroid Build Coastguard Worker std::ios::fmtflags adjustfield = flags & std::ios::adjustfield;
215*9356374aSAndroid Build Coastguard Worker if (adjustfield == std::ios::left) {
216*9356374aSAndroid Build Coastguard Worker rep.append(count, os.fill());
217*9356374aSAndroid Build Coastguard Worker } else if (adjustfield == std::ios::internal &&
218*9356374aSAndroid Build Coastguard Worker (flags & std::ios::showbase) &&
219*9356374aSAndroid Build Coastguard Worker (flags & std::ios::basefield) == std::ios::hex && v != 0) {
220*9356374aSAndroid Build Coastguard Worker rep.insert(size_t{2}, count, os.fill());
221*9356374aSAndroid Build Coastguard Worker } else {
222*9356374aSAndroid Build Coastguard Worker rep.insert(size_t{0}, count, os.fill());
223*9356374aSAndroid Build Coastguard Worker }
224*9356374aSAndroid Build Coastguard Worker }
225*9356374aSAndroid Build Coastguard Worker
226*9356374aSAndroid Build Coastguard Worker return os << rep;
227*9356374aSAndroid Build Coastguard Worker }
228*9356374aSAndroid Build Coastguard Worker
229*9356374aSAndroid Build Coastguard Worker namespace {
230*9356374aSAndroid Build Coastguard Worker
UnsignedAbsoluteValue(int128 v)231*9356374aSAndroid Build Coastguard Worker uint128 UnsignedAbsoluteValue(int128 v) {
232*9356374aSAndroid Build Coastguard Worker // Cast to uint128 before possibly negating because -Int128Min() is undefined.
233*9356374aSAndroid Build Coastguard Worker return Int128High64(v) < 0 ? -uint128(v) : uint128(v);
234*9356374aSAndroid Build Coastguard Worker }
235*9356374aSAndroid Build Coastguard Worker
236*9356374aSAndroid Build Coastguard Worker } // namespace
237*9356374aSAndroid Build Coastguard Worker
238*9356374aSAndroid Build Coastguard Worker #if !defined(ABSL_HAVE_INTRINSIC_INT128)
239*9356374aSAndroid Build Coastguard Worker namespace {
240*9356374aSAndroid Build Coastguard Worker
241*9356374aSAndroid Build Coastguard Worker template <typename T>
MakeInt128FromFloat(T v)242*9356374aSAndroid Build Coastguard Worker int128 MakeInt128FromFloat(T v) {
243*9356374aSAndroid Build Coastguard Worker // Conversion when v is NaN or cannot fit into int128 would be undefined
244*9356374aSAndroid Build Coastguard Worker // behavior if using an intrinsic 128-bit integer.
245*9356374aSAndroid Build Coastguard Worker assert(std::isfinite(v) && (std::numeric_limits<T>::max_exponent <= 127 ||
246*9356374aSAndroid Build Coastguard Worker (v >= -std::ldexp(static_cast<T>(1), 127) &&
247*9356374aSAndroid Build Coastguard Worker v < std::ldexp(static_cast<T>(1), 127))));
248*9356374aSAndroid Build Coastguard Worker
249*9356374aSAndroid Build Coastguard Worker // We must convert the absolute value and then negate as needed, because
250*9356374aSAndroid Build Coastguard Worker // floating point types are typically sign-magnitude. Otherwise, the
251*9356374aSAndroid Build Coastguard Worker // difference between the high and low 64 bits when interpreted as two's
252*9356374aSAndroid Build Coastguard Worker // complement overwhelms the precision of the mantissa.
253*9356374aSAndroid Build Coastguard Worker uint128 result = v < 0 ? -MakeUint128FromFloat(-v) : MakeUint128FromFloat(v);
254*9356374aSAndroid Build Coastguard Worker return MakeInt128(int128_internal::BitCastToSigned(Uint128High64(result)),
255*9356374aSAndroid Build Coastguard Worker Uint128Low64(result));
256*9356374aSAndroid Build Coastguard Worker }
257*9356374aSAndroid Build Coastguard Worker
258*9356374aSAndroid Build Coastguard Worker } // namespace
259*9356374aSAndroid Build Coastguard Worker
int128(float v)260*9356374aSAndroid Build Coastguard Worker int128::int128(float v) : int128(MakeInt128FromFloat(v)) {}
int128(double v)261*9356374aSAndroid Build Coastguard Worker int128::int128(double v) : int128(MakeInt128FromFloat(v)) {}
int128(long double v)262*9356374aSAndroid Build Coastguard Worker int128::int128(long double v) : int128(MakeInt128FromFloat(v)) {}
263*9356374aSAndroid Build Coastguard Worker
operator /(int128 lhs,int128 rhs)264*9356374aSAndroid Build Coastguard Worker int128 operator/(int128 lhs, int128 rhs) {
265*9356374aSAndroid Build Coastguard Worker assert(lhs != Int128Min() || rhs != -1); // UB on two's complement.
266*9356374aSAndroid Build Coastguard Worker
267*9356374aSAndroid Build Coastguard Worker uint128 quotient = 0;
268*9356374aSAndroid Build Coastguard Worker uint128 remainder = 0;
269*9356374aSAndroid Build Coastguard Worker DivModImpl(UnsignedAbsoluteValue(lhs), UnsignedAbsoluteValue(rhs),
270*9356374aSAndroid Build Coastguard Worker "ient, &remainder);
271*9356374aSAndroid Build Coastguard Worker if ((Int128High64(lhs) < 0) != (Int128High64(rhs) < 0)) quotient = -quotient;
272*9356374aSAndroid Build Coastguard Worker return MakeInt128(int128_internal::BitCastToSigned(Uint128High64(quotient)),
273*9356374aSAndroid Build Coastguard Worker Uint128Low64(quotient));
274*9356374aSAndroid Build Coastguard Worker }
275*9356374aSAndroid Build Coastguard Worker
operator %(int128 lhs,int128 rhs)276*9356374aSAndroid Build Coastguard Worker int128 operator%(int128 lhs, int128 rhs) {
277*9356374aSAndroid Build Coastguard Worker assert(lhs != Int128Min() || rhs != -1); // UB on two's complement.
278*9356374aSAndroid Build Coastguard Worker
279*9356374aSAndroid Build Coastguard Worker uint128 quotient = 0;
280*9356374aSAndroid Build Coastguard Worker uint128 remainder = 0;
281*9356374aSAndroid Build Coastguard Worker DivModImpl(UnsignedAbsoluteValue(lhs), UnsignedAbsoluteValue(rhs),
282*9356374aSAndroid Build Coastguard Worker "ient, &remainder);
283*9356374aSAndroid Build Coastguard Worker if (Int128High64(lhs) < 0) remainder = -remainder;
284*9356374aSAndroid Build Coastguard Worker return MakeInt128(int128_internal::BitCastToSigned(Uint128High64(remainder)),
285*9356374aSAndroid Build Coastguard Worker Uint128Low64(remainder));
286*9356374aSAndroid Build Coastguard Worker }
287*9356374aSAndroid Build Coastguard Worker #endif // ABSL_HAVE_INTRINSIC_INT128
288*9356374aSAndroid Build Coastguard Worker
ToString() const289*9356374aSAndroid Build Coastguard Worker std::string int128::ToString() const {
290*9356374aSAndroid Build Coastguard Worker std::string rep;
291*9356374aSAndroid Build Coastguard Worker if (Int128High64(*this) < 0) rep = "-";
292*9356374aSAndroid Build Coastguard Worker rep.append(Uint128ToFormattedString(UnsignedAbsoluteValue(*this),
293*9356374aSAndroid Build Coastguard Worker std::ios_base::dec));
294*9356374aSAndroid Build Coastguard Worker return rep;
295*9356374aSAndroid Build Coastguard Worker }
296*9356374aSAndroid Build Coastguard Worker
operator <<(std::ostream & os,int128 v)297*9356374aSAndroid Build Coastguard Worker std::ostream& operator<<(std::ostream& os, int128 v) {
298*9356374aSAndroid Build Coastguard Worker std::ios_base::fmtflags flags = os.flags();
299*9356374aSAndroid Build Coastguard Worker std::string rep;
300*9356374aSAndroid Build Coastguard Worker
301*9356374aSAndroid Build Coastguard Worker // Add the sign if needed.
302*9356374aSAndroid Build Coastguard Worker bool print_as_decimal =
303*9356374aSAndroid Build Coastguard Worker (flags & std::ios::basefield) == std::ios::dec ||
304*9356374aSAndroid Build Coastguard Worker (flags & std::ios::basefield) == std::ios_base::fmtflags();
305*9356374aSAndroid Build Coastguard Worker if (print_as_decimal) {
306*9356374aSAndroid Build Coastguard Worker if (Int128High64(v) < 0) {
307*9356374aSAndroid Build Coastguard Worker rep = "-";
308*9356374aSAndroid Build Coastguard Worker } else if (flags & std::ios::showpos) {
309*9356374aSAndroid Build Coastguard Worker rep = "+";
310*9356374aSAndroid Build Coastguard Worker }
311*9356374aSAndroid Build Coastguard Worker }
312*9356374aSAndroid Build Coastguard Worker
313*9356374aSAndroid Build Coastguard Worker rep.append(Uint128ToFormattedString(
314*9356374aSAndroid Build Coastguard Worker print_as_decimal ? UnsignedAbsoluteValue(v) : uint128(v), os.flags()));
315*9356374aSAndroid Build Coastguard Worker
316*9356374aSAndroid Build Coastguard Worker // Add the requisite padding.
317*9356374aSAndroid Build Coastguard Worker std::streamsize width = os.width(0);
318*9356374aSAndroid Build Coastguard Worker if (static_cast<size_t>(width) > rep.size()) {
319*9356374aSAndroid Build Coastguard Worker const size_t count = static_cast<size_t>(width) - rep.size();
320*9356374aSAndroid Build Coastguard Worker switch (flags & std::ios::adjustfield) {
321*9356374aSAndroid Build Coastguard Worker case std::ios::left:
322*9356374aSAndroid Build Coastguard Worker rep.append(count, os.fill());
323*9356374aSAndroid Build Coastguard Worker break;
324*9356374aSAndroid Build Coastguard Worker case std::ios::internal:
325*9356374aSAndroid Build Coastguard Worker if (print_as_decimal && (rep[0] == '+' || rep[0] == '-')) {
326*9356374aSAndroid Build Coastguard Worker rep.insert(size_t{1}, count, os.fill());
327*9356374aSAndroid Build Coastguard Worker } else if ((flags & std::ios::basefield) == std::ios::hex &&
328*9356374aSAndroid Build Coastguard Worker (flags & std::ios::showbase) && v != 0) {
329*9356374aSAndroid Build Coastguard Worker rep.insert(size_t{2}, count, os.fill());
330*9356374aSAndroid Build Coastguard Worker } else {
331*9356374aSAndroid Build Coastguard Worker rep.insert(size_t{0}, count, os.fill());
332*9356374aSAndroid Build Coastguard Worker }
333*9356374aSAndroid Build Coastguard Worker break;
334*9356374aSAndroid Build Coastguard Worker default: // std::ios::right
335*9356374aSAndroid Build Coastguard Worker rep.insert(size_t{0}, count, os.fill());
336*9356374aSAndroid Build Coastguard Worker break;
337*9356374aSAndroid Build Coastguard Worker }
338*9356374aSAndroid Build Coastguard Worker }
339*9356374aSAndroid Build Coastguard Worker
340*9356374aSAndroid Build Coastguard Worker return os << rep;
341*9356374aSAndroid Build Coastguard Worker }
342*9356374aSAndroid Build Coastguard Worker
343*9356374aSAndroid Build Coastguard Worker ABSL_NAMESPACE_END
344*9356374aSAndroid Build Coastguard Worker } // namespace absl
345*9356374aSAndroid Build Coastguard Worker
346*9356374aSAndroid Build Coastguard Worker #ifdef ABSL_INTERNAL_NEED_REDUNDANT_CONSTEXPR_DECL
347*9356374aSAndroid Build Coastguard Worker namespace std {
348*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::is_specialized;
349*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::is_signed;
350*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::is_integer;
351*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::is_exact;
352*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::has_infinity;
353*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::has_quiet_NaN;
354*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::has_signaling_NaN;
355*9356374aSAndroid Build Coastguard Worker constexpr float_denorm_style numeric_limits<absl::uint128>::has_denorm;
356*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::has_denorm_loss;
357*9356374aSAndroid Build Coastguard Worker constexpr float_round_style numeric_limits<absl::uint128>::round_style;
358*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::is_iec559;
359*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::is_bounded;
360*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::is_modulo;
361*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::uint128>::digits;
362*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::uint128>::digits10;
363*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::uint128>::max_digits10;
364*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::uint128>::radix;
365*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::uint128>::min_exponent;
366*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::uint128>::min_exponent10;
367*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::uint128>::max_exponent;
368*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::uint128>::max_exponent10;
369*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::traps;
370*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::uint128>::tinyness_before;
371*9356374aSAndroid Build Coastguard Worker
372*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::is_specialized;
373*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::is_signed;
374*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::is_integer;
375*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::is_exact;
376*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::has_infinity;
377*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::has_quiet_NaN;
378*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::has_signaling_NaN;
379*9356374aSAndroid Build Coastguard Worker constexpr float_denorm_style numeric_limits<absl::int128>::has_denorm;
380*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::has_denorm_loss;
381*9356374aSAndroid Build Coastguard Worker constexpr float_round_style numeric_limits<absl::int128>::round_style;
382*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::is_iec559;
383*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::is_bounded;
384*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::is_modulo;
385*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::int128>::digits;
386*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::int128>::digits10;
387*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::int128>::max_digits10;
388*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::int128>::radix;
389*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::int128>::min_exponent;
390*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::int128>::min_exponent10;
391*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::int128>::max_exponent;
392*9356374aSAndroid Build Coastguard Worker constexpr int numeric_limits<absl::int128>::max_exponent10;
393*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::traps;
394*9356374aSAndroid Build Coastguard Worker constexpr bool numeric_limits<absl::int128>::tinyness_before;
395*9356374aSAndroid Build Coastguard Worker } // namespace std
396*9356374aSAndroid Build Coastguard Worker #endif
397