- 06c8c67f5a564d00696e023060f05a5c34e7e164 IWYU | absl/base by Juemin Yang <jueminyang@google.com> - 2b1a054a09bda55843b449843b2a125741e936e7 Internal refactoring by Greg Miller <jgm@google.com> - f43f7f1f91bee26b5ddcd0c5bbbc47cb977aef77 Make std::hash<absl::optional<T>> to be standard compliant: by Xiaoyi Zhang <zhangxy@google.com> - 539bad2ebc22e610e1f292285a30a87945bc663e Update utility.h to Abseil standards by Tom Manshreck <shreck@google.com> - d05ec10a5f16a5d6640e0db91ecc7ab3ea971fd4 Add a test for absl::Barrier. by Derek Mauro <dmauro@google.com> - d707e27acb3c06f0d74c5f7ad7861e3841a5471f Run leak-checking tool over all outbound code. by Daniel Katz <katzdm@google.com> - 55f07f482a50422b8f99f7176374a19d0d473c5f Add alignas(16) to uint128. by Alex Strelnikov <strel@google.com> - 94999b7edde82308f736fb939501537ee9edbca6 Update attributes.h to Abseil standards by Tom Manshreck <shreck@google.com> - 321bed0061c41b53d0206ad4865528c00dd6d825 Test git merge + piper cl process by Juemin Yang <jueminyang@google.com> - 69920e7351a1053a7f4940bbde1768e839ce84bc Adds support for "/etc/localtime" as an embedded time zon... by Greg Miller <jgm@google.com> - 6839c06bf232903d3a9cbffa6eb2c960db78e67b Add copyright notices to inlined_vector code. by Greg Falcon <gfalcon@google.com> - 4e2714f6266263515cdfd31675c30c6ed6f98e1a Adding Apache 2.0 License by Gennadiy Civil <misterg@google.com> - 7402e7594016a4cd0a8b823fe6bc1bad1874bb85 IWYU | absl/utility by Juemin Yang <jueminyang@google.com> - 271a3812337eed97c412042738482688a80e19bd IWYU | absl/memory by Juemin Yang <jueminyang@google.com> - 32bda13a8098c2b06e25a5cf7bb782d6b79eb006 IWYU | absl/numeric by Juemin Yang <jueminyang@google.com> - 62d375cedc133108904bc06e340e303091a565df Remove "no_test"-annotations on span_test_noexceptions. by Daniel Katz <katzdm@google.com> - ebcbae9a55a93a7f1bb6862edc2715a6d9877206 Move CI-testing support files out of public-facing reposi... by Daniel Katz <katzdm@google.com> - d3f05eff4daa6030bfacb31cca0f9213fb702247 Fixes ToInt64Minutes() and ToInt64Hours() to properly sat... by Greg Miller <jgm@google.com> - b8dfae3facb6bb002622f083a10d14448f19e6e0 Fix typo. by Abseil Team <absl-team@google.com> - 150f03baa0afa231c2fc01597ea2321da586caba Update README.md by Yilei Yang <yileiyang@google.com> - 05276aa837dd081686518fd27bda4bd206ac4443 Adding Apache 2.0 License by Gennadiy Civil <misterg@google.com> - 37bf8e223e79ad06a195e28db9499e0c3d140f73 IWYU | absl/container by Juemin Yang <jueminyang@google.com> - 49164928f220978a32f88d16a55549bdf871daef IWYU | absl/algorithm by Juemin Yang <jueminyang@google.com> - a6804734e129039f9580a4fcd0f66425d0d0ac30 Move throw delegate wrappers to an internal namespace. by Greg Falcon <gfalcon@google.com> - ac83e73f67f593e2aff957b2be0b28e59c552a71 Fix error in comment stripping directives. by Greg Falcon <gfalcon@google.com> - e018a24185a984e787fb81a75fc35b74ad3a4d3d Update copyright headers all BUILD files by Gennadiy Civil <misterg@google.com> - a3be0990bfd76b0dec76bd85cecfa4dcec68b3ea Fix closing namespace comment typo. by Abseil Team <absl-team@google.com> - be3e3c4327e4f83949e0f29fd7a190d7eaa8b50b Update TODO by Abseil Team <absl-team@google.com> - f56a5d6f72685d92bb9c2905841b950d8177210c Add test-coverage for leak-sanitizer. by Daniel Katz <katzdm@google.com> - 7694bf161c7e00fdd08bfadc2aaf8e0fb09335f8 span.h: further touch up wording around the std::initiali... by Abseil Team <absl-team@google.com> - 3a12e081c0f8b359973e020d1e91f65356548ebc Update time.h to Abseil standards by Tom Manshreck <shreck@google.com> - 48d28f6468129420f4b20d451dca8e08012a7a77 Remove references to google from comments in Abseil. by Greg Falcon <gfalcon@google.com> - 773e34402d15fcad6370d5ed2430482d17db910d Rename the ExpectTime macro to match Abseil naming conven... by Greg Falcon <gfalcon@google.com> - 774d2ff1fe26c7313b301ff203e83e1aaac86627 Internal change. by Daniel Katz <katzdm@google.com> - 2e8a5830e95c8a1b839721bb2f1d4f5c85b9fb60 Fix typo in comment (missing '*' on a pointer). by Abseil Team <absl-team@google.com> - 458106feb707cf9609dd243713bde44aa9679e2a Correct capitalization: github -> GitHub by Yilei Yang <yileiyang@google.com> - af440725f02c2a83ca5cbaf176e1142f9e9d9b2f Update copyright headers by Gennadiy Civil <misterg@google.com> - 05b1118cce4ab87d23c33d48e64a96bcfec08761 Update copyright headers by Gennadiy Civil <misterg@google.com> - d5c6669a62d047156bb77055c5da03ee1b3c61b9 Update Abseil README to include descriptions of the inclu... by Tom Manshreck <shreck@google.com> - 3cd7e4663dddc840087469a6495f6cf433bfad8d Update copyright headers in //base by Tom Manshreck <shreck@google.com> - 7a876da657cd6698c5da2008a582d52eedc85dd1 Update strings overview with robust string library docume... by Tom Manshreck <shreck@google.com> - d9e3d0768d6f1c77d30992bdbef7b47ec92994bb Update copyright headers all BUILD files by Abseil Team <absl-team@google.com> - 6fe942728bceb0625f7c79b2840c4a6154d076b3 Make InlinedVector, FixedArray, and Span's at() throw on ... by Jon Cohen <cohenjon@google.com> - 5b52d5ec6cb9fbb07fc2e2fa020bd3eeb48c4953 Update clock.h to Abseil standards by Tom Manshreck <shreck@google.com> - c03c1ca3aee8bb7e40aa0315f6c432d31a72c30c Update //algorithm copyright headers by Tom Manshreck <shreck@google.com> - d46f40ddc596aaacb0459351d0e4aa6871289fa2 Temporarily prevent running mutex_test on crosstool17, wh... by Jon Cohen <cohenjon@google.com> - 61f11476189df68edfb9908308d677a91f03ff67 Update copyright headers in //container by Tom Manshreck <shreck@google.com> - 91832c00948954edf0b3dda12219c9a0202421ac Update copyright headers for //synchronization by Tom Manshreck <shreck@google.com> - 4e09100264b4585af6b4508ff35b9c627ac1f1ce Update copyright headers all BUILD files by Gennadiy Civil <misterg@google.com> - 13a0e8aebedec0f95b33750cbcd6b5548619b2a5 Update copyright headers in //memory by Tom Manshreck <shreck@google.com> - 63e1b9d4fdbcdf097e5276050ad1f76f0053e553 Update copyright headers for //strings (+ one from //nume... by Tom Manshreck <shreck@google.com> - 0108e7cfc50777a94c56d00e9c305161364df341 Convert ASSERT and EXPECT to ABSL_RAW_CHECK in helper fun... by Derek Mauro <dmauro@google.com> - 0122306fe47a3093248254a1b475c3a1d82abec5 Internal change by Abseil Team <absl-team@google.com> - 89c0c2698c98a12cd63172eeb02063b2f67e7c81 #absl Fix comment. by Abseil Team <absl-team@google.com> - 6621cc1ff54800e0aadb5e3071dbaa84b2077ceb Publishing contributing guidelines. by Gennadiy Civil <misterg@google.com> - e48c5be3c75e794b3e3827d40915b01fe1a1afc5 Avoid PRIdPTR. Cast to long long and use %lld insted. by Abseil Team <absl-team@google.com> - 2640ea4a260d89b94b07a3142660327e47db33fd No algorithmic changes. by Abseil Team <absl-team@google.com> - 1bc6c1bad17754f5d84963bf1d0db279402a0a1d Internal change. by Derek Mauro <dmauro@google.com> - 6845d24733e8c95bebde825ba78a2abfd9e35bdb span.h: fix up incorrect wording around lvalues. by Abseil Team <absl-team@google.com> - d8f5caee721e252e5f9b1080fb996363f498ac28 Add more exaustive Mutex testing. by Derek Mauro <dmauro@google.com> - e8b4cb053eb98858eef10cc53280b6ed5d6815a7 Change Span::subspan to not call into a deprecated constr... by Jon Cohen <cohenjon@google.com> - 49c36a82b3114926390557670aaaf0ea25b5760c s/std::size_t/size_t/g by Jon Cohen <cohenjon@google.com> - e17487c3c4d4a99f2fd8bc3e42176fc3171614d1 Account for the case of timeval::tv_sec being smaller than by Abseil Team <absl-team@google.com> - ecbb89d5fb98483e777c03d97ac02d7b7b54985e Alias absl::string_view to std::string_view when C++17 st... by Xiaoyi Zhang <zhangxy@google.com> - 6820e5a51459cdbb6a423cbae25a0cc839c85d44 Internal cleanup. by Xiaoyi Zhang <zhangxy@google.com> - 6976469b76a6faaf4111a24ddb37f40211ffadae More Span constexpr by Jon Cohen <cohenjon@google.com> - 8521c8956eee1125b7759eb272ec4a5a86fcefc5 #absl Fix comment. by Abseil Team <absl-team@google.com> - 20eae7a67fde5dd809aa47e5f7de8a493701645e Embed enough zoneinfo data to make time:time_test (under ... by Abseil Team <absl-team@google.com> - 841f5d98ceef4a423839ea73ee06c2f47a9b9680 Clean up macros in attributes.h | ATTRIBUTE_INITIAL_EXEC by Juemin Yang <jueminyang@google.com> - 83d8b36656e47919b5d0bac82eece897e195697e Update any.h comments to Abseil standards by Tom Manshreck <shreck@google.com> - bb3fae11d3459eeae2f63bfd22e65d3193187cc8 Update type_traits.h comments to Abseil standards by Tom Manshreck <shreck@google.com> - 992e1b07c0dec64271f8c44f22fd8df3734d0c47 Renamespace CycleClock code. by Greg Falcon <gfalcon@google.com> - 08d6fb0594098493ffbc0e737405182638122e7e Eliminate more existing lint warnings by Gennadiy Rozental <rogeeff@google.com> - 1cc6fdc71eb777497239f8c3e9168e6c9d40ea53 Update optional.h to Abseil standards by Tom Manshreck <shreck@google.com> - baa91747aa55009a9eb31b6072e33db06cfce2d2 Enforce internal namespace symbol reference policy by Gennadiy Rozental <rogeeff@google.com> - 939251e39342ce559e5d23fe43799671581f7cf5 Add CycleClock scaling shift to mitigate a possible overf... by Derek Mauro <dmauro@google.com> - c6dfdeecea0c7470938bed47c99ea2b2a95889d8 Add constexpr tests for absl::make_optional(). by Xiaoyi Zhang <zhangxy@google.com> - 509e949b992db33041d840746fbd05cc01cb206e Alias absl::optional to std::optional when C++17 std::opt... by Xiaoyi Zhang <zhangxy@google.com> - a1ae6d96a8826ba75281cac8632a766b5856acaf Remove no_test_* tags from span_test to increase test cov... by Xiaoyi Zhang <zhangxy@google.com> - 3c2a43cc09791723c8a324836629644ac44cb9c8 Remove accidental bits of Google-internal code and short ... by Greg Falcon <gfalcon@google.com> - 4874d49d496ac0b6ec36f4280a14b2159e7af930 Replaces the macro-generated Duration factory functions e... by Greg Miller <jgm@google.com> - 90e62695e03cb4a57e137ca0c3e116b1d802db57 Fix namespacing for a couple files in base/internal, and ... by Greg Falcon <gfalcon@google.com> - b0e6e00e34f967924849aaf8c123bba068f093e3 Publishing contributing guidelines. by Gennadiy Civil <misterg@google.com> - d74eafbccc3dffa6c25f9b6a2219425a24b5a959 Internal change by Abseil Team <absl-team@google.com> - 27477badbbf720265f5b9509b6c0e01913dc0a9f Update escaping.h comments to Abseil standards by Tom Manshreck <shreck@google.com> - 67002f55738319c2875197c3b6282de215ec250d adds absl namespace to debugging/stacktrace.h by Behzad Nouri <bnouri@google.com> - e608018f7faa384d5b202ac0a4c7a0d5166f4d9c Update string_view.h comments to Abseil standards by Tom Manshreck <shreck@google.com> - e884f04d4c648e01ed7dcde2fda80c24e8452047 Exclude strings/ files we are not releasing from OSS univ... by Gennadiy Rozental <rogeeff@google.com> - 3f4c4032ed520f2dd10a81d58ef4f399c001c5cc Strip out eventmanager reference from release. by Gennadiy Rozental <rogeeff@google.com> - fb0f1c204793c3792bad101dbaa734e7c2a35887 Fix copybara strip comments by Gennadiy Rozental <rogeeff@google.com> - 3eaaac942f77c3d41d63d414630403bfd0f6b70c Strip out style guide waivers. by Gennadiy Rozental <rogeeff@google.com> - 020e045058173178b51266b99a2a5dc9ed921960 substitute_test portability | MUST_USE_RESULT cast-to-voi... by Juemin Yang <jueminyang@google.com> - 86c093bf81d80ff537ed5e8b89225ce75a636220 Internal change. by Derek Mauro <dmauro@google.com> - 330375eb952fe78276e75631a28e750d5bfdb198 Prefer absl::FixedTimeZone() over loading "Etc/GMT[-+]<N>". by Abseil Team <absl-team@google.com> - 2e07ebee46a8201adc0dfd2c4ddb3df76e524357 Internal change. by Derek Mauro <dmauro@google.com> - 1f0c8b78c8ebd66f14cdf39fcba9f4c9986dcdca ::absl -> absl by Gennadiy Rozental <rogeeff@google.com> - ad163566d12ea08f1da2c23931eeacfffc564139 Avoid old style loops where possible. by Gennadiy Rozental <rogeeff@google.com> - bce2108818fe57b5617ce0090ddd4f753808f0a1 Update comments in str_cat.h in line with recent changes. by Abseil Team <absl-team@google.com> - cfd593a80f4897256f2ce1ea0be55dc14e3fcad4 Copybara-out gtl aliases. by Gennadiy Rozental <rogeeff@google.com> - 584f1524d717993c1a16093caccd9ed2b1e5409e Fix a warning for Windows/Kokoro time_test.cc. by Daniel Katz <katzdm@google.com> (And 562 more changes) GitOrigin-RevId: 06c8c67f5a564d00696e023060f05a5c34e7e164 Change-Id: I89907a6188fe7de05da400bf49ddfeba242aff8e
648 lines
20 KiB
C++
648 lines
20 KiB
C++
//
|
|
// Copyright 2017 The Abseil Authors.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
//
|
|
// -----------------------------------------------------------------------------
|
|
// File: int128.h
|
|
// -----------------------------------------------------------------------------
|
|
//
|
|
// This header file defines 128-bit integer types. Currently, this file defines
|
|
// `uint128`, an unsigned 128-bit integer; a signed 128-bit integer is
|
|
// forthcoming.
|
|
|
|
#ifndef ABSL_NUMERIC_INT128_H_
|
|
#define ABSL_NUMERIC_INT128_H_
|
|
|
|
#include <cassert>
|
|
#include <cmath>
|
|
#include <cstdint>
|
|
#include <cstring>
|
|
#include <iosfwd>
|
|
#include <limits>
|
|
|
|
#include "absl/base/config.h"
|
|
#include "absl/base/macros.h"
|
|
#include "absl/base/port.h"
|
|
|
|
namespace absl {
|
|
|
|
// uint128
|
|
//
|
|
// An unsigned 128-bit integer type. The API is meant to mimic an intrinsic type
|
|
// as closely as is practical, including exhibiting undefined behavior in
|
|
// analogous cases (e.g. division by zero). This type is intended to be a
|
|
// drop-in replacement once C++ supports an intrinsic `uint128_t` type; when
|
|
// that occurs, existing uses of `uint128` will continue to work using that new
|
|
// type.
|
|
//
|
|
// Note: code written with this type will continue to compile once `unint128_t`
|
|
// is introduced, provided the replacement helper functions
|
|
// `Uint128(Low|High)64()` and `MakeUint128()` are made.
|
|
//
|
|
// A `uint128` supports the following:
|
|
//
|
|
// * Implicit construction from integral types
|
|
// * Explicit conversion to integral types
|
|
//
|
|
// Additionally, if your compiler supports `__int128`, `uint128` is
|
|
// interoperable with that type. (Abseil checks for this compatibility through
|
|
// the `ABSL_HAVE_INTRINSIC_INT128` macro.)
|
|
//
|
|
// However, a `uint128` differs from intrinsic integral types in the following
|
|
// ways:
|
|
//
|
|
// * Errors on implicit conversions that does not preserve value (such as
|
|
// loss of precision when converting to float values).
|
|
// * Requires explicit construction from and conversion to floating point
|
|
// types.
|
|
// * Conversion to integral types requires an explicit static_cast() to
|
|
// mimic use of the `-Wnarrowing` compiler flag.
|
|
//
|
|
// Example:
|
|
//
|
|
// float y = kuint128max; // Error. uint128 cannot be implicitly converted
|
|
// // to float.
|
|
//
|
|
// uint128 v;
|
|
// uint64_t i = v // Error
|
|
// uint64_t i = static_cast<uint64_t>(v) // OK
|
|
//
|
|
class alignas(16) uint128 {
|
|
public:
|
|
uint128() = default;
|
|
|
|
// Constructors from arithmetic types
|
|
constexpr uint128(int v); // NOLINT(runtime/explicit)
|
|
constexpr uint128(unsigned int v); // NOLINT(runtime/explicit)
|
|
constexpr uint128(long v); // NOLINT(runtime/int)
|
|
constexpr uint128(unsigned long v); // NOLINT(runtime/int)
|
|
constexpr uint128(long long v); // NOLINT(runtime/int)
|
|
constexpr uint128(unsigned long long v); // NOLINT(runtime/int)
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
|
constexpr uint128(__int128 v); // NOLINT(runtime/explicit)
|
|
constexpr uint128(unsigned __int128 v); // NOLINT(runtime/explicit)
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
explicit uint128(float v); // NOLINT(runtime/explicit)
|
|
explicit uint128(double v); // NOLINT(runtime/explicit)
|
|
explicit uint128(long double v); // NOLINT(runtime/explicit)
|
|
|
|
// Assignment operators from arithmetic types
|
|
uint128& operator=(int v);
|
|
uint128& operator=(unsigned int v);
|
|
uint128& operator=(long v); // NOLINT(runtime/int)
|
|
uint128& operator=(unsigned long v); // NOLINT(runtime/int)
|
|
uint128& operator=(long long v); // NOLINT(runtime/int)
|
|
uint128& operator=(unsigned long long v); // NOLINT(runtime/int)
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
|
uint128& operator=(__int128 v);
|
|
uint128& operator=(unsigned __int128 v);
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
|
|
// Conversion operators to other arithmetic types
|
|
constexpr explicit operator bool() const;
|
|
constexpr explicit operator char() const;
|
|
constexpr explicit operator signed char() const;
|
|
constexpr explicit operator unsigned char() const;
|
|
constexpr explicit operator char16_t() const;
|
|
constexpr explicit operator char32_t() const;
|
|
constexpr explicit operator wchar_t() const;
|
|
constexpr explicit operator short() const; // NOLINT(runtime/int)
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
constexpr explicit operator unsigned short() const;
|
|
constexpr explicit operator int() const;
|
|
constexpr explicit operator unsigned int() const;
|
|
constexpr explicit operator long() const; // NOLINT(runtime/int)
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
constexpr explicit operator unsigned long() const;
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
constexpr explicit operator long long() const;
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
constexpr explicit operator unsigned long long() const;
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
|
constexpr explicit operator __int128() const;
|
|
constexpr explicit operator unsigned __int128() const;
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
explicit operator float() const;
|
|
explicit operator double() const;
|
|
explicit operator long double() const;
|
|
|
|
// Trivial copy constructor, assignment operator and destructor.
|
|
|
|
// Arithmetic operators.
|
|
uint128& operator+=(const uint128& other);
|
|
uint128& operator-=(const uint128& other);
|
|
uint128& operator*=(const uint128& other);
|
|
// Long division/modulo for uint128.
|
|
uint128& operator/=(const uint128& other);
|
|
uint128& operator%=(const uint128& other);
|
|
uint128 operator++(int);
|
|
uint128 operator--(int);
|
|
uint128& operator<<=(int);
|
|
uint128& operator>>=(int);
|
|
uint128& operator&=(const uint128& other);
|
|
uint128& operator|=(const uint128& other);
|
|
uint128& operator^=(const uint128& other);
|
|
uint128& operator++();
|
|
uint128& operator--();
|
|
|
|
// Uint128Low64()
|
|
//
|
|
// Returns the lower 64-bit value of a `uint128` value.
|
|
friend uint64_t Uint128Low64(const uint128& v);
|
|
|
|
// Uint128High64()
|
|
//
|
|
// Returns the higher 64-bit value of a `uint128` value.
|
|
friend uint64_t Uint128High64(const uint128& v);
|
|
|
|
// MakeUInt128()
|
|
//
|
|
// Constructs a `uint128` numeric value from two 64-bit unsigned integers.
|
|
// Note that this factory function is the only way to construct a `uint128`
|
|
// from integer values greater than 2^64.
|
|
//
|
|
// Example:
|
|
//
|
|
// absl::uint128 big = absl::MakeUint128(1, 0);
|
|
friend constexpr uint128 MakeUint128(uint64_t top, uint64_t bottom);
|
|
|
|
private:
|
|
constexpr uint128(uint64_t top, uint64_t bottom);
|
|
|
|
// TODO(strel) Update implementation to use __int128 once all users of
|
|
// uint128 are fixed to not depend on alignof(uint128) == 8. Also add
|
|
// alignas(16) to class definition to keep alignment consistent across
|
|
// platforms.
|
|
#if defined(ABSL_IS_LITTLE_ENDIAN)
|
|
uint64_t lo_;
|
|
uint64_t hi_;
|
|
#elif defined(ABSL_IS_BIG_ENDIAN)
|
|
uint64_t hi_;
|
|
uint64_t lo_;
|
|
#else // byte order
|
|
#error "Unsupported byte order: must be little-endian or big-endian."
|
|
#endif // byte order
|
|
};
|
|
|
|
extern const uint128 kuint128max;
|
|
|
|
// allow uint128 to be logged
|
|
extern std::ostream& operator<<(std::ostream& o, const uint128& b);
|
|
|
|
// TODO(strel) add operator>>(std::istream&, uint128&)
|
|
|
|
// Methods to access low and high pieces of 128-bit value.
|
|
uint64_t Uint128Low64(const uint128& v);
|
|
uint64_t Uint128High64(const uint128& v);
|
|
|
|
// TODO(b/31950287): Implement signed 128-bit type
|
|
|
|
// --------------------------------------------------------------------------
|
|
// Implementation details follow
|
|
// --------------------------------------------------------------------------
|
|
|
|
inline constexpr uint128 MakeUint128(uint64_t top, uint64_t bottom) {
|
|
return uint128(top, bottom);
|
|
}
|
|
|
|
// Assignment from integer types.
|
|
|
|
inline uint128& uint128::operator=(int v) {
|
|
return *this = uint128(v);
|
|
}
|
|
|
|
inline uint128& uint128::operator=(unsigned int v) {
|
|
return *this = uint128(v);
|
|
}
|
|
|
|
inline uint128& uint128::operator=(long v) { // NOLINT(runtime/int)
|
|
return *this = uint128(v);
|
|
}
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline uint128& uint128::operator=(unsigned long v) {
|
|
return *this = uint128(v);
|
|
}
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline uint128& uint128::operator=(long long v) {
|
|
return *this = uint128(v);
|
|
}
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline uint128& uint128::operator=(unsigned long long v) {
|
|
return *this = uint128(v);
|
|
}
|
|
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
|
inline uint128& uint128::operator=(__int128 v) {
|
|
return *this = uint128(v);
|
|
}
|
|
|
|
inline uint128& uint128::operator=(unsigned __int128 v) {
|
|
return *this = uint128(v);
|
|
}
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
|
|
// Shift and arithmetic operators.
|
|
|
|
inline uint128 operator<<(const uint128& lhs, int amount) {
|
|
return uint128(lhs) <<= amount;
|
|
}
|
|
|
|
inline uint128 operator>>(const uint128& lhs, int amount) {
|
|
return uint128(lhs) >>= amount;
|
|
}
|
|
|
|
inline uint128 operator+(const uint128& lhs, const uint128& rhs) {
|
|
return uint128(lhs) += rhs;
|
|
}
|
|
|
|
inline uint128 operator-(const uint128& lhs, const uint128& rhs) {
|
|
return uint128(lhs) -= rhs;
|
|
}
|
|
|
|
inline uint128 operator*(const uint128& lhs, const uint128& rhs) {
|
|
return uint128(lhs) *= rhs;
|
|
}
|
|
|
|
inline uint128 operator/(const uint128& lhs, const uint128& rhs) {
|
|
return uint128(lhs) /= rhs;
|
|
}
|
|
|
|
inline uint128 operator%(const uint128& lhs, const uint128& rhs) {
|
|
return uint128(lhs) %= rhs;
|
|
}
|
|
|
|
inline uint64_t Uint128Low64(const uint128& v) { return v.lo_; }
|
|
|
|
inline uint64_t Uint128High64(const uint128& v) { return v.hi_; }
|
|
|
|
// Constructors from integer types.
|
|
|
|
#if defined(ABSL_IS_LITTLE_ENDIAN)
|
|
|
|
inline constexpr uint128::uint128(uint64_t top, uint64_t bottom)
|
|
: lo_(bottom), hi_(top) {}
|
|
|
|
inline constexpr uint128::uint128(int v)
|
|
: lo_(v), hi_(v < 0 ? std::numeric_limits<uint64_t>::max() : 0) {}
|
|
inline constexpr uint128::uint128(long v) // NOLINT(runtime/int)
|
|
: lo_(v), hi_(v < 0 ? std::numeric_limits<uint64_t>::max() : 0) {}
|
|
inline constexpr uint128::uint128(long long v) // NOLINT(runtime/int)
|
|
: lo_(v), hi_(v < 0 ? std::numeric_limits<uint64_t>::max() : 0) {}
|
|
|
|
inline constexpr uint128::uint128(unsigned int v) : lo_(v), hi_(0) {}
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::uint128(unsigned long v) : lo_(v), hi_(0) {}
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::uint128(unsigned long long v)
|
|
: lo_(v), hi_(0) {}
|
|
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
|
inline constexpr uint128::uint128(__int128 v)
|
|
: lo_(static_cast<uint64_t>(v & ~uint64_t{0})),
|
|
hi_(static_cast<uint64_t>(static_cast<unsigned __int128>(v) >> 64)) {}
|
|
inline constexpr uint128::uint128(unsigned __int128 v)
|
|
: lo_(static_cast<uint64_t>(v & ~uint64_t{0})),
|
|
hi_(static_cast<uint64_t>(v >> 64)) {}
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
|
|
#elif defined(ABSL_IS_BIG_ENDIAN)
|
|
|
|
inline constexpr uint128::uint128(uint64_t top, uint64_t bottom)
|
|
: hi_(top), lo_(bottom) {}
|
|
|
|
inline constexpr uint128::uint128(int v)
|
|
: hi_(v < 0 ? std::numeric_limits<uint64_t>::max() : 0), lo_(v) {}
|
|
inline constexpr uint128::uint128(long v) // NOLINT(runtime/int)
|
|
: hi_(v < 0 ? std::numeric_limits<uint64_t>::max() : 0), lo_(v) {}
|
|
inline constexpr uint128::uint128(long long v) // NOLINT(runtime/int)
|
|
: hi_(v < 0 ? std::numeric_limits<uint64_t>::max() : 0), lo_(v) {}
|
|
|
|
inline constexpr uint128::uint128(unsigned int v) : hi_(0), lo_(v) {}
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::uint128(unsigned long v) : hi_(0), lo_(v) {}
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::uint128(unsigned long long v)
|
|
: hi_(0), lo_(v) {}
|
|
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
|
inline constexpr uint128::uint128(__int128 v)
|
|
: hi_(static_cast<uint64_t>(static_cast<unsigned __int128>(v) >> 64)),
|
|
lo_(static_cast<uint64_t>(v & ~uint64_t{0})) {}
|
|
inline constexpr uint128::uint128(unsigned __int128 v)
|
|
: hi_(static_cast<uint64_t>(v >> 64)),
|
|
lo_(static_cast<uint64_t>(v & ~uint64_t{0})) {}
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
|
|
#else // byte order
|
|
#error "Unsupported byte order: must be little-endian or big-endian."
|
|
#endif // byte order
|
|
|
|
// Conversion operators to integer types.
|
|
|
|
inline constexpr uint128::operator bool() const {
|
|
return lo_ || hi_;
|
|
}
|
|
|
|
inline constexpr uint128::operator char() const {
|
|
return static_cast<char>(lo_);
|
|
}
|
|
|
|
inline constexpr uint128::operator signed char() const {
|
|
return static_cast<signed char>(lo_);
|
|
}
|
|
|
|
inline constexpr uint128::operator unsigned char() const {
|
|
return static_cast<unsigned char>(lo_);
|
|
}
|
|
|
|
inline constexpr uint128::operator char16_t() const {
|
|
return static_cast<char16_t>(lo_);
|
|
}
|
|
|
|
inline constexpr uint128::operator char32_t() const {
|
|
return static_cast<char32_t>(lo_);
|
|
}
|
|
|
|
inline constexpr uint128::operator wchar_t() const {
|
|
return static_cast<wchar_t>(lo_);
|
|
}
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::operator short() const {
|
|
return static_cast<short>(lo_); // NOLINT(runtime/int)
|
|
}
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::operator unsigned short() const {
|
|
return static_cast<unsigned short>(lo_); // NOLINT(runtime/int)
|
|
}
|
|
|
|
inline constexpr uint128::operator int() const {
|
|
return static_cast<int>(lo_);
|
|
}
|
|
|
|
inline constexpr uint128::operator unsigned int() const {
|
|
return static_cast<unsigned int>(lo_);
|
|
}
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::operator long() const {
|
|
return static_cast<long>(lo_); // NOLINT(runtime/int)
|
|
}
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::operator unsigned long() const {
|
|
return static_cast<unsigned long>(lo_); // NOLINT(runtime/int)
|
|
}
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::operator long long() const {
|
|
return static_cast<long long>(lo_); // NOLINT(runtime/int)
|
|
}
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
|
inline constexpr uint128::operator unsigned long long() const {
|
|
return static_cast<unsigned long long>(lo_); // NOLINT(runtime/int)
|
|
}
|
|
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
|
inline constexpr uint128::operator __int128() const {
|
|
return (static_cast<__int128>(hi_) << 64) + lo_;
|
|
}
|
|
|
|
inline constexpr uint128::operator unsigned __int128() const {
|
|
return (static_cast<unsigned __int128>(hi_) << 64) + lo_;
|
|
}
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
|
|
// Conversion operators to floating point types.
|
|
|
|
inline uint128::operator float() const {
|
|
return static_cast<float>(lo_) + std::ldexp(static_cast<float>(hi_), 64);
|
|
}
|
|
|
|
inline uint128::operator double() const {
|
|
return static_cast<double>(lo_) + std::ldexp(static_cast<double>(hi_), 64);
|
|
}
|
|
|
|
inline uint128::operator long double() const {
|
|
return static_cast<long double>(lo_) +
|
|
std::ldexp(static_cast<long double>(hi_), 64);
|
|
}
|
|
|
|
// Comparison operators.
|
|
|
|
inline bool operator==(const uint128& lhs, const uint128& rhs) {
|
|
return (Uint128Low64(lhs) == Uint128Low64(rhs) &&
|
|
Uint128High64(lhs) == Uint128High64(rhs));
|
|
}
|
|
|
|
inline bool operator!=(const uint128& lhs, const uint128& rhs) {
|
|
return !(lhs == rhs);
|
|
}
|
|
|
|
inline bool operator<(const uint128& lhs, const uint128& rhs) {
|
|
return (Uint128High64(lhs) == Uint128High64(rhs))
|
|
? (Uint128Low64(lhs) < Uint128Low64(rhs))
|
|
: (Uint128High64(lhs) < Uint128High64(rhs));
|
|
}
|
|
|
|
inline bool operator>(const uint128& lhs, const uint128& rhs) {
|
|
return (Uint128High64(lhs) == Uint128High64(rhs))
|
|
? (Uint128Low64(lhs) > Uint128Low64(rhs))
|
|
: (Uint128High64(lhs) > Uint128High64(rhs));
|
|
}
|
|
|
|
inline bool operator<=(const uint128& lhs, const uint128& rhs) {
|
|
return (Uint128High64(lhs) == Uint128High64(rhs))
|
|
? (Uint128Low64(lhs) <= Uint128Low64(rhs))
|
|
: (Uint128High64(lhs) <= Uint128High64(rhs));
|
|
}
|
|
|
|
inline bool operator>=(const uint128& lhs, const uint128& rhs) {
|
|
return (Uint128High64(lhs) == Uint128High64(rhs))
|
|
? (Uint128Low64(lhs) >= Uint128Low64(rhs))
|
|
: (Uint128High64(lhs) >= Uint128High64(rhs));
|
|
}
|
|
|
|
// Unary operators.
|
|
|
|
inline uint128 operator-(const uint128& val) {
|
|
const uint64_t hi_flip = ~Uint128High64(val);
|
|
const uint64_t lo_flip = ~Uint128Low64(val);
|
|
const uint64_t lo_add = lo_flip + 1;
|
|
if (lo_add < lo_flip) {
|
|
return MakeUint128(hi_flip + 1, lo_add);
|
|
}
|
|
return MakeUint128(hi_flip, lo_add);
|
|
}
|
|
|
|
inline bool operator!(const uint128& val) {
|
|
return !Uint128High64(val) && !Uint128Low64(val);
|
|
}
|
|
|
|
// Logical operators.
|
|
|
|
inline uint128 operator~(const uint128& val) {
|
|
return MakeUint128(~Uint128High64(val), ~Uint128Low64(val));
|
|
}
|
|
|
|
inline uint128 operator|(const uint128& lhs, const uint128& rhs) {
|
|
return MakeUint128(Uint128High64(lhs) | Uint128High64(rhs),
|
|
Uint128Low64(lhs) | Uint128Low64(rhs));
|
|
}
|
|
|
|
inline uint128 operator&(const uint128& lhs, const uint128& rhs) {
|
|
return MakeUint128(Uint128High64(lhs) & Uint128High64(rhs),
|
|
Uint128Low64(lhs) & Uint128Low64(rhs));
|
|
}
|
|
|
|
inline uint128 operator^(const uint128& lhs, const uint128& rhs) {
|
|
return MakeUint128(Uint128High64(lhs) ^ Uint128High64(rhs),
|
|
Uint128Low64(lhs) ^ Uint128Low64(rhs));
|
|
}
|
|
|
|
inline uint128& uint128::operator|=(const uint128& other) {
|
|
hi_ |= other.hi_;
|
|
lo_ |= other.lo_;
|
|
return *this;
|
|
}
|
|
|
|
inline uint128& uint128::operator&=(const uint128& other) {
|
|
hi_ &= other.hi_;
|
|
lo_ &= other.lo_;
|
|
return *this;
|
|
}
|
|
|
|
inline uint128& uint128::operator^=(const uint128& other) {
|
|
hi_ ^= other.hi_;
|
|
lo_ ^= other.lo_;
|
|
return *this;
|
|
}
|
|
|
|
// Shift and arithmetic assign operators.
|
|
|
|
inline uint128& uint128::operator<<=(int amount) {
|
|
// Shifts of >= 128 are undefined.
|
|
assert(amount < 128);
|
|
|
|
// uint64_t shifts of >= 64 are undefined, so we will need some
|
|
// special-casing.
|
|
if (amount < 64) {
|
|
if (amount != 0) {
|
|
hi_ = (hi_ << amount) | (lo_ >> (64 - amount));
|
|
lo_ = lo_ << amount;
|
|
}
|
|
} else {
|
|
hi_ = lo_ << (amount - 64);
|
|
lo_ = 0;
|
|
}
|
|
return *this;
|
|
}
|
|
|
|
inline uint128& uint128::operator>>=(int amount) {
|
|
// Shifts of >= 128 are undefined.
|
|
assert(amount < 128);
|
|
|
|
// uint64_t shifts of >= 64 are undefined, so we will need some
|
|
// special-casing.
|
|
if (amount < 64) {
|
|
if (amount != 0) {
|
|
lo_ = (lo_ >> amount) | (hi_ << (64 - amount));
|
|
hi_ = hi_ >> amount;
|
|
}
|
|
} else {
|
|
lo_ = hi_ >> (amount - 64);
|
|
hi_ = 0;
|
|
}
|
|
return *this;
|
|
}
|
|
|
|
inline uint128& uint128::operator+=(const uint128& other) {
|
|
hi_ += other.hi_;
|
|
uint64_t lolo = lo_ + other.lo_;
|
|
if (lolo < lo_)
|
|
++hi_;
|
|
lo_ = lolo;
|
|
return *this;
|
|
}
|
|
|
|
inline uint128& uint128::operator-=(const uint128& other) {
|
|
hi_ -= other.hi_;
|
|
if (other.lo_ > lo_) --hi_;
|
|
lo_ -= other.lo_;
|
|
return *this;
|
|
}
|
|
|
|
inline uint128& uint128::operator*=(const uint128& other) {
|
|
#if defined(ABSL_HAVE_INTRINSIC_INT128)
|
|
// TODO(strel) Remove once alignment issues are resolved and unsigned __int128
|
|
// can be used for uint128 storage.
|
|
*this = static_cast<unsigned __int128>(*this) *
|
|
static_cast<unsigned __int128>(other);
|
|
return *this;
|
|
#else // ABSL_HAVE_INTRINSIC128
|
|
uint64_t a96 = hi_ >> 32;
|
|
uint64_t a64 = hi_ & 0xffffffff;
|
|
uint64_t a32 = lo_ >> 32;
|
|
uint64_t a00 = lo_ & 0xffffffff;
|
|
uint64_t b96 = other.hi_ >> 32;
|
|
uint64_t b64 = other.hi_ & 0xffffffff;
|
|
uint64_t b32 = other.lo_ >> 32;
|
|
uint64_t b00 = other.lo_ & 0xffffffff;
|
|
// multiply [a96 .. a00] x [b96 .. b00]
|
|
// terms higher than c96 disappear off the high side
|
|
// terms c96 and c64 are safe to ignore carry bit
|
|
uint64_t c96 = a96 * b00 + a64 * b32 + a32 * b64 + a00 * b96;
|
|
uint64_t c64 = a64 * b00 + a32 * b32 + a00 * b64;
|
|
this->hi_ = (c96 << 32) + c64;
|
|
this->lo_ = 0;
|
|
// add terms after this one at a time to capture carry
|
|
*this += uint128(a32 * b00) << 32;
|
|
*this += uint128(a00 * b32) << 32;
|
|
*this += a00 * b00;
|
|
return *this;
|
|
#endif // ABSL_HAVE_INTRINSIC128
|
|
}
|
|
|
|
// Increment/decrement operators.
|
|
|
|
inline uint128 uint128::operator++(int) {
|
|
uint128 tmp(*this);
|
|
*this += 1;
|
|
return tmp;
|
|
}
|
|
|
|
inline uint128 uint128::operator--(int) {
|
|
uint128 tmp(*this);
|
|
*this -= 1;
|
|
return tmp;
|
|
}
|
|
|
|
inline uint128& uint128::operator++() {
|
|
*this += 1;
|
|
return *this;
|
|
}
|
|
|
|
inline uint128& uint128::operator--() {
|
|
*this -= 1;
|
|
return *this;
|
|
}
|
|
|
|
} // namespace absl
|
|
|
|
#endif // ABSL_NUMERIC_INT128_H_
|