2017-09-19 22:54:40 +02:00
|
|
|
//
|
|
|
|
// 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
|
|
|
|
// -----------------------------------------------------------------------------
|
|
|
|
//
|
2018-02-07 20:21:49 +01:00
|
|
|
// 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.
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
#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 {
|
|
|
|
|
2018-02-07 20:21:49 +01:00
|
|
|
|
2017-09-19 22:54:40 +02:00
|
|
|
// 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
|
2018-02-22 17:36:39 +01:00
|
|
|
// that occurs, existing well-behaved uses of `uint128` will continue to work
|
|
|
|
// using that new type.
|
2017-09-19 22:54:40 +02:00
|
|
|
//
|
2017-09-29 17:44:28 +02:00
|
|
|
// Note: code written with this type will continue to compile once `uint128_t`
|
2017-09-19 22:54:40 +02:00
|
|
|
// 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:
|
|
|
|
//
|
2018-01-09 17:46:23 +01:00
|
|
|
// * Errors on implicit conversions that do not preserve value (such as
|
2017-09-19 22:54:40 +02:00
|
|
|
// 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.
|
2018-02-22 17:36:39 +01:00
|
|
|
// * The alignment requirement of `uint128` may differ from that of an
|
|
|
|
// intrinsic 128-bit integer type depending on platform and build
|
|
|
|
// configuration.
|
2017-09-19 22:54:40 +02:00
|
|
|
//
|
|
|
|
// Example:
|
|
|
|
//
|
2018-01-12 16:45:05 +01:00
|
|
|
// float y = absl::Uint128Max(); // Error. uint128 cannot be implicitly
|
|
|
|
// // converted to float.
|
2017-09-19 22:54:40 +02:00
|
|
|
//
|
2017-11-20 22:53:50 +01:00
|
|
|
// absl::uint128 v;
|
|
|
|
// absl::uint64_t i = v; // Error
|
|
|
|
// absl::uint64_t i = static_cast<uint64_t>(v); // OK
|
2017-09-19 22:54:40 +02:00
|
|
|
//
|
2018-02-22 17:36:39 +01:00
|
|
|
class
|
|
|
|
#if defined(ABSL_HAVE_INTRINSIC_INT128)
|
|
|
|
alignas(unsigned __int128)
|
|
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
|
|
uint128 {
|
2017-09-19 22:54:40 +02:00
|
|
|
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
|
2017-11-06 21:54:54 +01:00
|
|
|
explicit uint128(float v);
|
|
|
|
explicit uint128(double v);
|
|
|
|
explicit uint128(long double v);
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
// 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.
|
2017-12-05 19:58:48 +01:00
|
|
|
uint128& operator+=(uint128 other);
|
|
|
|
uint128& operator-=(uint128 other);
|
|
|
|
uint128& operator*=(uint128 other);
|
2017-09-19 22:54:40 +02:00
|
|
|
// Long division/modulo for uint128.
|
2017-12-05 19:58:48 +01:00
|
|
|
uint128& operator/=(uint128 other);
|
|
|
|
uint128& operator%=(uint128 other);
|
2017-09-19 22:54:40 +02:00
|
|
|
uint128 operator++(int);
|
|
|
|
uint128 operator--(int);
|
|
|
|
uint128& operator<<=(int);
|
|
|
|
uint128& operator>>=(int);
|
2017-12-05 19:58:48 +01:00
|
|
|
uint128& operator&=(uint128 other);
|
|
|
|
uint128& operator|=(uint128 other);
|
|
|
|
uint128& operator^=(uint128 other);
|
2017-09-19 22:54:40 +02:00
|
|
|
uint128& operator++();
|
|
|
|
uint128& operator--();
|
|
|
|
|
|
|
|
// Uint128Low64()
|
|
|
|
//
|
|
|
|
// Returns the lower 64-bit value of a `uint128` value.
|
2017-12-05 19:58:48 +01:00
|
|
|
friend constexpr uint64_t Uint128Low64(uint128 v);
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
// Uint128High64()
|
|
|
|
//
|
|
|
|
// Returns the higher 64-bit value of a `uint128` value.
|
2017-12-05 19:58:48 +01:00
|
|
|
friend constexpr uint64_t Uint128High64(uint128 v);
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
// 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);
|
2018-01-09 17:46:23 +01:00
|
|
|
friend constexpr uint128 MakeUint128(uint64_t high, uint64_t low);
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-01-12 16:45:05 +01:00
|
|
|
// Uint128Max()
|
|
|
|
//
|
|
|
|
// Returns the highest value for a 128-bit unsigned integer.
|
|
|
|
friend constexpr uint128 Uint128Max();
|
|
|
|
|
2017-09-19 22:54:40 +02:00
|
|
|
private:
|
2018-01-09 17:46:23 +01:00
|
|
|
constexpr uint128(uint64_t high, uint64_t low);
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
// 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
|
|
|
|
};
|
|
|
|
|
2018-01-12 16:45:05 +01:00
|
|
|
// Prefer to use the constexpr `Uint128Max()`.
|
|
|
|
//
|
|
|
|
// TODO(absl-team) deprecate kuint128max once migration tool is released.
|
2017-09-19 22:54:40 +02:00
|
|
|
extern const uint128 kuint128max;
|
|
|
|
|
|
|
|
// allow uint128 to be logged
|
2018-02-02 19:36:07 +01:00
|
|
|
std::ostream& operator<<(std::ostream& os, uint128 v);
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
// TODO(strel) add operator>>(std::istream&, uint128)
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-09-24 17:20:48 +02:00
|
|
|
// TODO(absl-team): Implement signed 128-bit type
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
// --------------------------------------------------------------------------
|
|
|
|
// Implementation details follow
|
|
|
|
// --------------------------------------------------------------------------
|
|
|
|
|
2018-01-09 17:46:23 +01:00
|
|
|
constexpr uint128 MakeUint128(uint64_t high, uint64_t low) {
|
|
|
|
return uint128(high, low);
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
2018-01-12 16:45:05 +01:00
|
|
|
constexpr uint128 Uint128Max() {
|
|
|
|
return uint128(std::numeric_limits<uint64_t>::max(),
|
|
|
|
std::numeric_limits<uint64_t>::max());
|
|
|
|
}
|
|
|
|
|
2017-09-19 22:54:40 +02:00
|
|
|
// Assignment from integer types.
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
inline uint128& uint128::operator=(int v) { return *this = uint128(v); }
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
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
|
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
// Arithmetic operators.
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
uint128 operator<<(uint128 lhs, int amount);
|
|
|
|
uint128 operator>>(uint128 lhs, int amount);
|
|
|
|
uint128 operator+(uint128 lhs, uint128 rhs);
|
|
|
|
uint128 operator-(uint128 lhs, uint128 rhs);
|
|
|
|
uint128 operator*(uint128 lhs, uint128 rhs);
|
|
|
|
uint128 operator/(uint128 lhs, uint128 rhs);
|
|
|
|
uint128 operator%(uint128 lhs, uint128 rhs);
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128& uint128::operator<<=(int amount) {
|
|
|
|
*this = *this << amount;
|
|
|
|
return *this;
|
|
|
|
}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128& uint128::operator>>=(int amount) {
|
|
|
|
*this = *this >> amount;
|
|
|
|
return *this;
|
|
|
|
}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128& uint128::operator+=(uint128 other) {
|
|
|
|
*this = *this + other;
|
|
|
|
return *this;
|
|
|
|
}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128& uint128::operator-=(uint128 other) {
|
|
|
|
*this = *this - other;
|
|
|
|
return *this;
|
|
|
|
}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128& uint128::operator*=(uint128 other) {
|
|
|
|
*this = *this * other;
|
|
|
|
return *this;
|
|
|
|
}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128& uint128::operator/=(uint128 other) {
|
|
|
|
*this = *this / other;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline uint128& uint128::operator%=(uint128 other) {
|
|
|
|
*this = *this % other;
|
|
|
|
return *this;
|
|
|
|
}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
constexpr uint64_t Uint128Low64(uint128 v) { return v.lo_; }
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
constexpr uint64_t Uint128High64(uint128 v) { return v.hi_; }
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
// Constructors from integer types.
|
|
|
|
|
|
|
|
#if defined(ABSL_IS_LITTLE_ENDIAN)
|
|
|
|
|
2018-01-09 17:46:23 +01:00
|
|
|
constexpr uint128::uint128(uint64_t high, uint64_t low)
|
2018-02-02 19:36:07 +01:00
|
|
|
: lo_{low}, hi_{high} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(int v)
|
2018-02-02 19:36:07 +01:00
|
|
|
: lo_{static_cast<uint64_t>(v)},
|
|
|
|
hi_{v < 0 ? std::numeric_limits<uint64_t>::max() : 0} {}
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(long v) // NOLINT(runtime/int)
|
2018-02-02 19:36:07 +01:00
|
|
|
: lo_{static_cast<uint64_t>(v)},
|
|
|
|
hi_{v < 0 ? std::numeric_limits<uint64_t>::max() : 0} {}
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(long long v) // NOLINT(runtime/int)
|
2018-02-02 19:36:07 +01:00
|
|
|
: lo_{static_cast<uint64_t>(v)},
|
|
|
|
hi_{v < 0 ? std::numeric_limits<uint64_t>::max() : 0} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-02 19:36:07 +01:00
|
|
|
constexpr uint128::uint128(unsigned int v) : lo_{v}, hi_{0} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
2018-02-02 19:36:07 +01:00
|
|
|
constexpr uint128::uint128(unsigned long v) : lo_{v}, hi_{0} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
2018-02-02 19:36:07 +01:00
|
|
|
constexpr uint128::uint128(unsigned long long v) : lo_{v}, hi_{0} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(__int128 v)
|
2018-02-02 19:36:07 +01:00
|
|
|
: lo_{static_cast<uint64_t>(v & ~uint64_t{0})},
|
|
|
|
hi_{static_cast<uint64_t>(static_cast<unsigned __int128>(v) >> 64)} {}
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(unsigned __int128 v)
|
2018-02-02 19:36:07 +01:00
|
|
|
: lo_{static_cast<uint64_t>(v & ~uint64_t{0})},
|
|
|
|
hi_{static_cast<uint64_t>(v >> 64)} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
|
|
|
|
|
|
#elif defined(ABSL_IS_BIG_ENDIAN)
|
|
|
|
|
2018-01-09 17:46:23 +01:00
|
|
|
constexpr uint128::uint128(uint64_t high, uint64_t low)
|
2018-02-02 19:36:07 +01:00
|
|
|
: hi_{high}, lo_{low} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(int v)
|
2018-02-02 19:36:07 +01:00
|
|
|
: hi_{v < 0 ? std::numeric_limits<uint64_t>::max() : 0},
|
|
|
|
lo_{static_cast<uint64_t>(v)} {}
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(long v) // NOLINT(runtime/int)
|
2018-02-02 19:36:07 +01:00
|
|
|
: hi_{v < 0 ? std::numeric_limits<uint64_t>::max() : 0},
|
|
|
|
lo_{static_cast<uint64_t>(v)} {}
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(long long v) // NOLINT(runtime/int)
|
2018-02-02 19:36:07 +01:00
|
|
|
: hi_{v < 0 ? std::numeric_limits<uint64_t>::max() : 0},
|
|
|
|
lo_{static_cast<uint64_t>(v)} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-02 19:36:07 +01:00
|
|
|
constexpr uint128::uint128(unsigned int v) : hi_{0}, lo_{v} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
2018-02-02 19:36:07 +01:00
|
|
|
constexpr uint128::uint128(unsigned long v) : hi_{0}, lo_{v} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
2018-02-02 19:36:07 +01:00
|
|
|
constexpr uint128::uint128(unsigned long long v) : hi_{0}, lo_{v} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
|
|
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(__int128 v)
|
2018-02-02 19:36:07 +01:00
|
|
|
: hi_{static_cast<uint64_t>(static_cast<unsigned __int128>(v) >> 64)},
|
|
|
|
lo_{static_cast<uint64_t>(v & ~uint64_t{0})} {}
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::uint128(unsigned __int128 v)
|
2018-02-02 19:36:07 +01:00
|
|
|
: hi_{static_cast<uint64_t>(v >> 64)},
|
|
|
|
lo_{static_cast<uint64_t>(v & ~uint64_t{0})} {}
|
2017-09-19 22:54:40 +02:00
|
|
|
#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.
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator bool() const { return lo_ || hi_; }
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator char() const { return static_cast<char>(lo_); }
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator signed char() const {
|
2017-09-19 22:54:40 +02:00
|
|
|
return static_cast<signed char>(lo_);
|
|
|
|
}
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator unsigned char() const {
|
2017-09-19 22:54:40 +02:00
|
|
|
return static_cast<unsigned char>(lo_);
|
|
|
|
}
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator char16_t() const {
|
2017-09-19 22:54:40 +02:00
|
|
|
return static_cast<char16_t>(lo_);
|
|
|
|
}
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator char32_t() const {
|
2017-09-19 22:54:40 +02:00
|
|
|
return static_cast<char32_t>(lo_);
|
|
|
|
}
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator wchar_t() const {
|
2017-09-19 22:54:40 +02:00
|
|
|
return static_cast<wchar_t>(lo_);
|
|
|
|
}
|
|
|
|
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator short() const { return static_cast<short>(lo_); }
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator unsigned short() const { // NOLINT(runtime/int)
|
|
|
|
return static_cast<unsigned short>(lo_); // NOLINT(runtime/int)
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator int() const { return static_cast<int>(lo_); }
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator unsigned int() const {
|
2017-09-19 22:54:40 +02:00
|
|
|
return static_cast<unsigned int>(lo_);
|
|
|
|
}
|
|
|
|
|
|
|
|
// NOLINTNEXTLINE(runtime/int)
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator long() const { return static_cast<long>(lo_); }
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator unsigned long() const { // NOLINT(runtime/int)
|
|
|
|
return static_cast<unsigned long>(lo_); // NOLINT(runtime/int)
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator long long() const { // NOLINT(runtime/int)
|
|
|
|
return static_cast<long long>(lo_); // NOLINT(runtime/int)
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator unsigned long long() const { // NOLINT(runtime/int)
|
|
|
|
return static_cast<unsigned long long>(lo_); // NOLINT(runtime/int)
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
#ifdef ABSL_HAVE_INTRINSIC_INT128
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator __int128() const {
|
2017-09-19 22:54:40 +02:00
|
|
|
return (static_cast<__int128>(hi_) << 64) + lo_;
|
|
|
|
}
|
|
|
|
|
2017-11-06 21:54:54 +01:00
|
|
|
constexpr uint128::operator unsigned __int128() const {
|
2017-09-19 22:54:40 +02:00
|
|
|
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.
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline bool operator==(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return (Uint128Low64(lhs) == Uint128Low64(rhs) &&
|
|
|
|
Uint128High64(lhs) == Uint128High64(rhs));
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline bool operator!=(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return !(lhs == rhs);
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline bool operator<(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return (Uint128High64(lhs) == Uint128High64(rhs))
|
|
|
|
? (Uint128Low64(lhs) < Uint128Low64(rhs))
|
|
|
|
: (Uint128High64(lhs) < Uint128High64(rhs));
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline bool operator>(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return (Uint128High64(lhs) == Uint128High64(rhs))
|
|
|
|
? (Uint128Low64(lhs) > Uint128Low64(rhs))
|
|
|
|
: (Uint128High64(lhs) > Uint128High64(rhs));
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline bool operator<=(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return (Uint128High64(lhs) == Uint128High64(rhs))
|
|
|
|
? (Uint128Low64(lhs) <= Uint128Low64(rhs))
|
|
|
|
: (Uint128High64(lhs) <= Uint128High64(rhs));
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline bool operator>=(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return (Uint128High64(lhs) == Uint128High64(rhs))
|
|
|
|
? (Uint128Low64(lhs) >= Uint128Low64(rhs))
|
|
|
|
: (Uint128High64(lhs) >= Uint128High64(rhs));
|
|
|
|
}
|
|
|
|
|
|
|
|
// Unary operators.
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline uint128 operator-(uint128 val) {
|
2018-01-10 20:46:09 +01:00
|
|
|
uint64_t hi = ~Uint128High64(val);
|
|
|
|
uint64_t lo = ~Uint128Low64(val) + 1;
|
|
|
|
if (lo == 0) ++hi; // carry
|
|
|
|
return MakeUint128(hi, lo);
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline bool operator!(uint128 val) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return !Uint128High64(val) && !Uint128Low64(val);
|
|
|
|
}
|
|
|
|
|
|
|
|
// Logical operators.
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline uint128 operator~(uint128 val) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return MakeUint128(~Uint128High64(val), ~Uint128Low64(val));
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline uint128 operator|(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return MakeUint128(Uint128High64(lhs) | Uint128High64(rhs),
|
|
|
|
Uint128Low64(lhs) | Uint128Low64(rhs));
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline uint128 operator&(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return MakeUint128(Uint128High64(lhs) & Uint128High64(rhs),
|
|
|
|
Uint128Low64(lhs) & Uint128Low64(rhs));
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline uint128 operator^(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
return MakeUint128(Uint128High64(lhs) ^ Uint128High64(rhs),
|
|
|
|
Uint128Low64(lhs) ^ Uint128Low64(rhs));
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline uint128& uint128::operator|=(uint128 other) {
|
2017-09-19 22:54:40 +02:00
|
|
|
hi_ |= other.hi_;
|
|
|
|
lo_ |= other.lo_;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline uint128& uint128::operator&=(uint128 other) {
|
2017-09-19 22:54:40 +02:00
|
|
|
hi_ &= other.hi_;
|
|
|
|
lo_ &= other.lo_;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
2017-12-05 19:58:48 +01:00
|
|
|
inline uint128& uint128::operator^=(uint128 other) {
|
2017-09-19 22:54:40 +02:00
|
|
|
hi_ ^= other.hi_;
|
|
|
|
lo_ ^= other.lo_;
|
|
|
|
return *this;
|
|
|
|
}
|
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
// Arithmetic operators.
|
2017-09-19 22:54:40 +02:00
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128 operator<<(uint128 lhs, int amount) {
|
2017-09-19 22:54:40 +02:00
|
|
|
// uint64_t shifts of >= 64 are undefined, so we will need some
|
|
|
|
// special-casing.
|
|
|
|
if (amount < 64) {
|
|
|
|
if (amount != 0) {
|
2018-02-06 15:42:19 +01:00
|
|
|
return MakeUint128(
|
|
|
|
(Uint128High64(lhs) << amount) | (Uint128Low64(lhs) >> (64 - amount)),
|
|
|
|
Uint128Low64(lhs) << amount);
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
2018-02-06 15:42:19 +01:00
|
|
|
return lhs;
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
2018-02-06 15:42:19 +01:00
|
|
|
return MakeUint128(Uint128Low64(lhs) << (amount - 64), 0);
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128 operator>>(uint128 lhs, int amount) {
|
2017-09-19 22:54:40 +02:00
|
|
|
// uint64_t shifts of >= 64 are undefined, so we will need some
|
|
|
|
// special-casing.
|
|
|
|
if (amount < 64) {
|
|
|
|
if (amount != 0) {
|
2018-02-06 15:42:19 +01:00
|
|
|
return MakeUint128(Uint128High64(lhs) >> amount,
|
|
|
|
(Uint128Low64(lhs) >> amount) |
|
|
|
|
(Uint128High64(lhs) << (64 - amount)));
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
2018-02-06 15:42:19 +01:00
|
|
|
return lhs;
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
2018-02-06 15:42:19 +01:00
|
|
|
return MakeUint128(0, Uint128High64(lhs) >> (amount - 64));
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128 operator+(uint128 lhs, uint128 rhs) {
|
|
|
|
uint128 result = MakeUint128(Uint128High64(lhs) + Uint128High64(rhs),
|
|
|
|
Uint128Low64(lhs) + Uint128Low64(rhs));
|
|
|
|
if (Uint128Low64(result) < Uint128Low64(lhs)) { // check for carry
|
|
|
|
return MakeUint128(Uint128High64(result) + 1, Uint128Low64(result));
|
|
|
|
}
|
|
|
|
return result;
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128 operator-(uint128 lhs, uint128 rhs) {
|
|
|
|
uint128 result = MakeUint128(Uint128High64(lhs) - Uint128High64(rhs),
|
|
|
|
Uint128Low64(lhs) - Uint128Low64(rhs));
|
|
|
|
if (Uint128Low64(lhs) < Uint128Low64(rhs)) { // check for carry
|
|
|
|
return MakeUint128(Uint128High64(result) - 1, Uint128Low64(result));
|
|
|
|
}
|
|
|
|
return result;
|
2017-09-19 22:54:40 +02:00
|
|
|
}
|
|
|
|
|
2018-02-06 15:42:19 +01:00
|
|
|
inline uint128 operator*(uint128 lhs, uint128 rhs) {
|
2017-09-19 22:54:40 +02:00
|
|
|
#if defined(ABSL_HAVE_INTRINSIC_INT128)
|
|
|
|
// TODO(strel) Remove once alignment issues are resolved and unsigned __int128
|
|
|
|
// can be used for uint128 storage.
|
2018-02-06 15:42:19 +01:00
|
|
|
return static_cast<unsigned __int128>(lhs) *
|
|
|
|
static_cast<unsigned __int128>(rhs);
|
2017-09-19 22:54:40 +02:00
|
|
|
#else // ABSL_HAVE_INTRINSIC128
|
2018-02-06 15:42:19 +01:00
|
|
|
uint64_t a32 = Uint128Low64(lhs) >> 32;
|
|
|
|
uint64_t a00 = Uint128Low64(lhs) & 0xffffffff;
|
|
|
|
uint64_t b32 = Uint128Low64(rhs) >> 32;
|
|
|
|
uint64_t b00 = Uint128Low64(rhs) & 0xffffffff;
|
|
|
|
uint128 result =
|
|
|
|
MakeUint128(Uint128High64(lhs) * Uint128Low64(rhs) +
|
|
|
|
Uint128Low64(lhs) * Uint128High64(rhs) + a32 * b32,
|
|
|
|
a00 * b00);
|
|
|
|
result += uint128(a32 * b00) << 32;
|
|
|
|
result += uint128(a00 * b32) << 32;
|
|
|
|
return result;
|
2017-09-19 22:54:40 +02:00
|
|
|
#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;
|
|
|
|
}
|
|
|
|
|
2017-11-07 13:53:20 +01:00
|
|
|
#if defined(ABSL_HAVE_INTRINSIC_INT128)
|
|
|
|
#include "absl/numeric/int128_have_intrinsic.inc"
|
|
|
|
#else // ABSL_HAVE_INTRINSIC_INT128
|
|
|
|
#include "absl/numeric/int128_no_intrinsic.inc"
|
|
|
|
#endif // ABSL_HAVE_INTRINSIC_INT128
|
|
|
|
|
2017-09-19 22:54:40 +02:00
|
|
|
} // namespace absl
|
|
|
|
|
|
|
|
#endif // ABSL_NUMERIC_INT128_H_
|