grpc 1.26.0 → 1.27.0.pre1

Sign up to get free protection for your applications and to get access to all the features.

Potentially problematic release.


This version of grpc might be problematic. Click here for more details.

Files changed (209) hide show
  1. checksums.yaml +4 -4
  2. data/Makefile +1654 -1519
  3. data/etc/roots.pem +44 -0
  4. data/include/grpc/grpc_security.h +37 -15
  5. data/include/grpc/grpc_security_constants.h +27 -0
  6. data/include/grpc/impl/codegen/grpc_types.h +14 -0
  7. data/include/grpc/impl/codegen/port_platform.h +1 -1
  8. data/src/core/ext/filters/client_channel/client_channel.cc +0 -20
  9. data/src/core/ext/filters/client_channel/http_proxy.cc +4 -4
  10. data/src/core/ext/filters/client_channel/lb_policy.cc +4 -3
  11. data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb.cc +191 -201
  12. data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb_balancer_addresses.cc +89 -0
  13. data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb_balancer_addresses.h +40 -0
  14. data/src/core/ext/filters/client_channel/lb_policy/grpclb/grpclb_channel_secure.cc +3 -2
  15. data/src/core/ext/filters/client_channel/lb_policy/grpclb/load_balancer_api.cc +88 -121
  16. data/src/core/ext/filters/client_channel/lb_policy/grpclb/load_balancer_api.h +28 -57
  17. data/src/core/ext/filters/client_channel/lb_policy/subchannel_list.h +0 -7
  18. data/src/core/ext/filters/client_channel/lb_policy/xds/cds.cc +8 -9
  19. data/src/core/ext/filters/client_channel/lb_policy/xds/xds.cc +53 -34
  20. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/dns_resolver_ares.cc +18 -5
  21. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_wrapper.cc +24 -19
  22. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_wrapper.h +2 -1
  23. data/src/core/ext/filters/client_channel/resolver/dns/c_ares/grpc_ares_wrapper_fallback.cc +4 -2
  24. data/src/core/ext/filters/client_channel/server_address.cc +6 -9
  25. data/src/core/ext/filters/client_channel/server_address.h +3 -10
  26. data/src/core/ext/filters/client_channel/xds/xds_api.cc +394 -150
  27. data/src/core/ext/filters/client_channel/xds/xds_api.h +75 -35
  28. data/src/core/ext/filters/client_channel/xds/xds_bootstrap.cc +59 -22
  29. data/src/core/ext/filters/client_channel/xds/xds_bootstrap.h +13 -9
  30. data/src/core/ext/filters/client_channel/xds/xds_channel_secure.cc +8 -6
  31. data/src/core/ext/filters/client_channel/xds/xds_client.cc +456 -175
  32. data/src/core/ext/filters/client_channel/xds/xds_client.h +33 -21
  33. data/src/core/ext/filters/client_channel/xds/xds_client_stats.cc +5 -8
  34. data/src/core/ext/filters/client_channel/xds/xds_client_stats.h +18 -24
  35. data/src/core/ext/transport/chttp2/transport/chttp2_transport.cc +2 -2
  36. data/src/core/ext/upb-generated/src/proto/grpc/lb/v1/load_balancer.upb.c +13 -5
  37. data/src/core/ext/upb-generated/src/proto/grpc/lb/v1/load_balancer.upb.h +34 -0
  38. data/src/core/lib/channel/channelz.h +11 -1
  39. data/src/core/lib/gpr/time_precise.cc +1 -1
  40. data/src/core/lib/gprpp/optional.h +26 -0
  41. data/src/core/lib/gprpp/string_view.h +14 -10
  42. data/src/core/lib/iomgr/executor.cc +1 -1
  43. data/src/core/lib/iomgr/fork_posix.cc +4 -0
  44. data/src/core/lib/iomgr/poller/eventmanager_libuv.cc +87 -0
  45. data/src/core/lib/iomgr/poller/eventmanager_libuv.h +88 -0
  46. data/src/core/lib/iomgr/socket_utils_common_posix.cc +14 -0
  47. data/src/core/lib/iomgr/socket_utils_posix.h +12 -0
  48. data/src/core/lib/iomgr/tcp_custom.h +3 -0
  49. data/src/core/lib/iomgr/tcp_posix.cc +607 -56
  50. data/src/core/lib/iomgr/tcp_server_custom.cc +15 -2
  51. data/src/core/lib/iomgr/tcp_server_utils_posix_common.cc +8 -0
  52. data/src/core/lib/json/json.h +11 -1
  53. data/src/core/lib/json/json_reader.cc +206 -28
  54. data/src/core/lib/json/json_writer.cc +111 -24
  55. data/src/core/lib/security/credentials/composite/composite_credentials.cc +7 -0
  56. data/src/core/lib/security/credentials/composite/composite_credentials.h +5 -1
  57. data/src/core/lib/security/credentials/credentials.h +10 -1
  58. data/src/core/lib/security/credentials/fake/fake_credentials.h +2 -1
  59. data/src/core/lib/security/credentials/oauth2/oauth2_credentials.cc +1 -1
  60. data/src/core/lib/security/credentials/plugin/plugin_credentials.cc +6 -4
  61. data/src/core/lib/security/credentials/plugin/plugin_credentials.h +2 -1
  62. data/src/core/lib/security/credentials/tls/grpc_tls_credentials_options.cc +20 -0
  63. data/src/core/lib/security/credentials/tls/grpc_tls_credentials_options.h +8 -0
  64. data/src/core/lib/security/credentials/tls/{spiffe_credentials.cc → tls_credentials.cc} +23 -24
  65. data/src/core/lib/security/credentials/tls/{spiffe_credentials.h → tls_credentials.h} +9 -9
  66. data/src/core/lib/security/security_connector/alts/alts_security_connector.cc +13 -0
  67. data/src/core/lib/security/security_connector/fake/fake_security_connector.cc +22 -2
  68. data/src/core/lib/security/security_connector/load_system_roots_fallback.cc +2 -2
  69. data/src/core/lib/security/security_connector/load_system_roots_linux.cc +2 -2
  70. data/src/core/lib/security/security_connector/local/local_security_connector.cc +30 -3
  71. data/src/core/lib/security/security_connector/ssl_utils.cc +45 -3
  72. data/src/core/lib/security/security_connector/ssl_utils.h +12 -0
  73. data/src/core/lib/security/security_connector/tls/{spiffe_security_connector.cc → tls_security_connector.cc} +82 -69
  74. data/src/core/lib/security/security_connector/tls/{spiffe_security_connector.h → tls_security_connector.h} +17 -18
  75. data/src/core/lib/security/transport/client_auth_filter.cc +33 -0
  76. data/src/core/lib/surface/completion_queue.cc +22 -1
  77. data/src/core/lib/surface/version.cc +1 -1
  78. data/src/core/tsi/alts/handshaker/alts_tsi_handshaker.cc +11 -1
  79. data/src/core/tsi/alts/handshaker/alts_tsi_handshaker.h +1 -1
  80. data/src/core/tsi/alts/zero_copy_frame_protector/alts_zero_copy_grpc_protector.cc +3 -3
  81. data/src/core/tsi/fake_transport_security.cc +7 -3
  82. data/src/core/tsi/fake_transport_security.h +2 -0
  83. data/src/core/tsi/ssl_transport_security.cc +144 -8
  84. data/src/core/tsi/ssl_transport_security.h +15 -1
  85. data/src/core/tsi/transport_security.cc +13 -0
  86. data/src/core/tsi/transport_security_grpc.cc +2 -2
  87. data/src/core/tsi/transport_security_grpc.h +2 -2
  88. data/src/core/tsi/transport_security_interface.h +12 -0
  89. data/src/ruby/bin/math_pb.rb +5 -5
  90. data/src/ruby/ext/grpc/rb_call_credentials.c +4 -1
  91. data/src/ruby/ext/grpc/rb_grpc_imports.generated.c +2 -0
  92. data/src/ruby/ext/grpc/rb_grpc_imports.generated.h +4 -1
  93. data/src/ruby/lib/grpc/version.rb +1 -1
  94. data/src/ruby/pb/grpc/health/v1/health_pb.rb +3 -3
  95. data/src/ruby/pb/src/proto/grpc/testing/empty_pb.rb +1 -1
  96. data/src/ruby/pb/src/proto/grpc/testing/messages_pb.rb +23 -13
  97. data/third_party/abseil-cpp/absl/algorithm/algorithm.h +159 -0
  98. data/third_party/abseil-cpp/absl/base/attributes.h +609 -0
  99. data/third_party/abseil-cpp/absl/base/call_once.h +226 -0
  100. data/third_party/abseil-cpp/absl/base/casts.h +184 -0
  101. data/third_party/abseil-cpp/absl/base/config.h +622 -0
  102. data/third_party/abseil-cpp/absl/base/const_init.h +76 -0
  103. data/third_party/abseil-cpp/absl/base/dynamic_annotations.cc +129 -0
  104. data/third_party/abseil-cpp/absl/base/dynamic_annotations.h +389 -0
  105. data/third_party/abseil-cpp/absl/base/internal/atomic_hook.h +179 -0
  106. data/third_party/abseil-cpp/absl/base/internal/bits.h +218 -0
  107. data/third_party/abseil-cpp/absl/base/internal/cycleclock.cc +107 -0
  108. data/third_party/abseil-cpp/absl/base/internal/cycleclock.h +94 -0
  109. data/third_party/abseil-cpp/absl/base/internal/endian.h +266 -0
  110. data/third_party/abseil-cpp/absl/base/internal/hide_ptr.h +51 -0
  111. data/third_party/abseil-cpp/absl/base/internal/identity.h +37 -0
  112. data/third_party/abseil-cpp/absl/base/internal/inline_variable.h +107 -0
  113. data/third_party/abseil-cpp/absl/base/internal/invoke.h +187 -0
  114. data/third_party/abseil-cpp/absl/base/internal/low_level_scheduling.h +107 -0
  115. data/third_party/abseil-cpp/absl/base/internal/per_thread_tls.h +52 -0
  116. data/third_party/abseil-cpp/absl/base/internal/raw_logging.cc +237 -0
  117. data/third_party/abseil-cpp/absl/base/internal/raw_logging.h +179 -0
  118. data/third_party/abseil-cpp/absl/base/internal/scheduling_mode.h +58 -0
  119. data/third_party/abseil-cpp/absl/base/internal/spinlock.cc +233 -0
  120. data/third_party/abseil-cpp/absl/base/internal/spinlock.h +243 -0
  121. data/third_party/abseil-cpp/absl/base/internal/spinlock_akaros.inc +35 -0
  122. data/third_party/abseil-cpp/absl/base/internal/spinlock_linux.inc +67 -0
  123. data/third_party/abseil-cpp/absl/base/internal/spinlock_posix.inc +46 -0
  124. data/third_party/abseil-cpp/absl/base/internal/spinlock_wait.cc +81 -0
  125. data/third_party/abseil-cpp/absl/base/internal/spinlock_wait.h +93 -0
  126. data/third_party/abseil-cpp/absl/base/internal/spinlock_win32.inc +37 -0
  127. data/third_party/abseil-cpp/absl/base/internal/sysinfo.cc +414 -0
  128. data/third_party/abseil-cpp/absl/base/internal/sysinfo.h +66 -0
  129. data/third_party/abseil-cpp/absl/base/internal/thread_annotations.h +271 -0
  130. data/third_party/abseil-cpp/absl/base/internal/thread_identity.cc +140 -0
  131. data/third_party/abseil-cpp/absl/base/internal/thread_identity.h +250 -0
  132. data/third_party/abseil-cpp/absl/base/internal/throw_delegate.cc +108 -0
  133. data/third_party/abseil-cpp/absl/base/internal/throw_delegate.h +75 -0
  134. data/third_party/abseil-cpp/absl/base/internal/tsan_mutex_interface.h +66 -0
  135. data/third_party/abseil-cpp/absl/base/internal/unaligned_access.h +158 -0
  136. data/third_party/abseil-cpp/absl/base/internal/unscaledcycleclock.cc +103 -0
  137. data/third_party/abseil-cpp/absl/base/internal/unscaledcycleclock.h +124 -0
  138. data/third_party/abseil-cpp/absl/base/log_severity.cc +27 -0
  139. data/third_party/abseil-cpp/absl/base/log_severity.h +121 -0
  140. data/third_party/abseil-cpp/absl/base/macros.h +220 -0
  141. data/third_party/abseil-cpp/absl/base/optimization.h +181 -0
  142. data/third_party/abseil-cpp/absl/base/options.h +214 -0
  143. data/third_party/abseil-cpp/absl/base/policy_checks.h +111 -0
  144. data/third_party/abseil-cpp/absl/base/port.h +26 -0
  145. data/third_party/abseil-cpp/absl/base/thread_annotations.h +280 -0
  146. data/third_party/abseil-cpp/absl/container/inlined_vector.h +848 -0
  147. data/third_party/abseil-cpp/absl/container/internal/compressed_tuple.h +265 -0
  148. data/third_party/abseil-cpp/absl/container/internal/inlined_vector.h +892 -0
  149. data/third_party/abseil-cpp/absl/memory/memory.h +695 -0
  150. data/third_party/abseil-cpp/absl/meta/type_traits.h +759 -0
  151. data/third_party/abseil-cpp/absl/numeric/int128.cc +404 -0
  152. data/third_party/abseil-cpp/absl/numeric/int128.h +1091 -0
  153. data/third_party/abseil-cpp/absl/numeric/int128_have_intrinsic.inc +302 -0
  154. data/third_party/abseil-cpp/absl/numeric/int128_no_intrinsic.inc +308 -0
  155. data/third_party/abseil-cpp/absl/strings/ascii.cc +200 -0
  156. data/third_party/abseil-cpp/absl/strings/ascii.h +241 -0
  157. data/third_party/abseil-cpp/absl/strings/charconv.cc +985 -0
  158. data/third_party/abseil-cpp/absl/strings/charconv.h +119 -0
  159. data/third_party/abseil-cpp/absl/strings/escaping.cc +949 -0
  160. data/third_party/abseil-cpp/absl/strings/escaping.h +164 -0
  161. data/third_party/abseil-cpp/absl/strings/internal/char_map.h +156 -0
  162. data/third_party/abseil-cpp/absl/strings/internal/charconv_bigint.cc +359 -0
  163. data/third_party/abseil-cpp/absl/strings/internal/charconv_bigint.h +421 -0
  164. data/third_party/abseil-cpp/absl/strings/internal/charconv_parse.cc +504 -0
  165. data/third_party/abseil-cpp/absl/strings/internal/charconv_parse.h +99 -0
  166. data/third_party/abseil-cpp/absl/strings/internal/escaping.cc +180 -0
  167. data/third_party/abseil-cpp/absl/strings/internal/escaping.h +58 -0
  168. data/third_party/abseil-cpp/absl/strings/internal/memutil.cc +112 -0
  169. data/third_party/abseil-cpp/absl/strings/internal/memutil.h +148 -0
  170. data/third_party/abseil-cpp/absl/strings/internal/ostringstream.cc +36 -0
  171. data/third_party/abseil-cpp/absl/strings/internal/ostringstream.h +89 -0
  172. data/third_party/abseil-cpp/absl/strings/internal/resize_uninitialized.h +73 -0
  173. data/third_party/abseil-cpp/absl/strings/internal/stl_type_traits.h +248 -0
  174. data/third_party/abseil-cpp/absl/strings/internal/str_join_internal.h +314 -0
  175. data/third_party/abseil-cpp/absl/strings/internal/str_split_internal.h +455 -0
  176. data/third_party/abseil-cpp/absl/strings/internal/utf8.cc +53 -0
  177. data/third_party/abseil-cpp/absl/strings/internal/utf8.h +50 -0
  178. data/third_party/abseil-cpp/absl/strings/match.cc +40 -0
  179. data/third_party/abseil-cpp/absl/strings/match.h +90 -0
  180. data/third_party/abseil-cpp/absl/strings/numbers.cc +916 -0
  181. data/third_party/abseil-cpp/absl/strings/numbers.h +263 -0
  182. data/third_party/abseil-cpp/absl/strings/str_cat.cc +246 -0
  183. data/third_party/abseil-cpp/absl/strings/str_cat.h +408 -0
  184. data/third_party/abseil-cpp/absl/strings/str_join.h +293 -0
  185. data/third_party/abseil-cpp/absl/strings/str_replace.cc +82 -0
  186. data/third_party/abseil-cpp/absl/strings/str_replace.h +219 -0
  187. data/third_party/abseil-cpp/absl/strings/str_split.cc +139 -0
  188. data/third_party/abseil-cpp/absl/strings/str_split.h +513 -0
  189. data/third_party/abseil-cpp/absl/strings/string_view.cc +235 -0
  190. data/third_party/abseil-cpp/absl/strings/string_view.h +615 -0
  191. data/third_party/abseil-cpp/absl/strings/strip.h +91 -0
  192. data/third_party/abseil-cpp/absl/strings/substitute.cc +171 -0
  193. data/third_party/abseil-cpp/absl/strings/substitute.h +693 -0
  194. data/third_party/abseil-cpp/absl/types/bad_optional_access.cc +48 -0
  195. data/third_party/abseil-cpp/absl/types/bad_optional_access.h +78 -0
  196. data/third_party/abseil-cpp/absl/types/internal/optional.h +396 -0
  197. data/third_party/abseil-cpp/absl/types/internal/span.h +128 -0
  198. data/third_party/abseil-cpp/absl/types/optional.h +776 -0
  199. data/third_party/abseil-cpp/absl/types/span.h +713 -0
  200. data/third_party/abseil-cpp/absl/utility/utility.h +350 -0
  201. data/third_party/upb/upb/decode.c +4 -0
  202. data/third_party/upb/upb/port.c +0 -1
  203. data/third_party/upb/upb/port_def.inc +1 -3
  204. data/third_party/upb/upb/table.c +2 -1
  205. metadata +147 -43
  206. data/src/core/lib/json/json_common.h +0 -34
  207. data/src/core/lib/json/json_reader.h +0 -146
  208. data/src/core/lib/json/json_string.cc +0 -367
  209. data/src/core/lib/json/json_writer.h +0 -84
@@ -0,0 +1,404 @@
1
+ // Copyright 2017 The Abseil Authors.
2
+ //
3
+ // Licensed under the Apache License, Version 2.0 (the "License");
4
+ // you may not use this file except in compliance with the License.
5
+ // You may obtain a copy of the License at
6
+ //
7
+ // https://www.apache.org/licenses/LICENSE-2.0
8
+ //
9
+ // Unless required by applicable law or agreed to in writing, software
10
+ // distributed under the License is distributed on an "AS IS" BASIS,
11
+ // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
12
+ // See the License for the specific language governing permissions and
13
+ // limitations under the License.
14
+
15
+ #include "absl/numeric/int128.h"
16
+
17
+ #include <stddef.h>
18
+ #include <cassert>
19
+ #include <iomanip>
20
+ #include <ostream> // NOLINT(readability/streams)
21
+ #include <sstream>
22
+ #include <string>
23
+ #include <type_traits>
24
+
25
+ namespace absl {
26
+ ABSL_NAMESPACE_BEGIN
27
+
28
+ const uint128 kuint128max = MakeUint128(std::numeric_limits<uint64_t>::max(),
29
+ std::numeric_limits<uint64_t>::max());
30
+
31
+ namespace {
32
+
33
+ // Returns the 0-based position of the last set bit (i.e., most significant bit)
34
+ // in the given uint64_t. The argument may not be 0.
35
+ //
36
+ // For example:
37
+ // Given: 5 (decimal) == 101 (binary)
38
+ // Returns: 2
39
+ #define STEP(T, n, pos, sh) \
40
+ do { \
41
+ if ((n) >= (static_cast<T>(1) << (sh))) { \
42
+ (n) = (n) >> (sh); \
43
+ (pos) |= (sh); \
44
+ } \
45
+ } while (0)
46
+ static inline int Fls64(uint64_t n) {
47
+ assert(n != 0);
48
+ int pos = 0;
49
+ STEP(uint64_t, n, pos, 0x20);
50
+ uint32_t n32 = static_cast<uint32_t>(n);
51
+ STEP(uint32_t, n32, pos, 0x10);
52
+ STEP(uint32_t, n32, pos, 0x08);
53
+ STEP(uint32_t, n32, pos, 0x04);
54
+ return pos + ((uint64_t{0x3333333322221100} >> (n32 << 2)) & 0x3);
55
+ }
56
+ #undef STEP
57
+
58
+ // Like Fls64() above, but returns the 0-based position of the last set bit
59
+ // (i.e., most significant bit) in the given uint128. The argument may not be 0.
60
+ static inline int Fls128(uint128 n) {
61
+ if (uint64_t hi = Uint128High64(n)) {
62
+ return Fls64(hi) + 64;
63
+ }
64
+ return Fls64(Uint128Low64(n));
65
+ }
66
+
67
+ // Long division/modulo for uint128 implemented using the shift-subtract
68
+ // division algorithm adapted from:
69
+ // https://stackoverflow.com/questions/5386377/division-without-using
70
+ void DivModImpl(uint128 dividend, uint128 divisor, uint128* quotient_ret,
71
+ uint128* remainder_ret) {
72
+ assert(divisor != 0);
73
+
74
+ if (divisor > dividend) {
75
+ *quotient_ret = 0;
76
+ *remainder_ret = dividend;
77
+ return;
78
+ }
79
+
80
+ if (divisor == dividend) {
81
+ *quotient_ret = 1;
82
+ *remainder_ret = 0;
83
+ return;
84
+ }
85
+
86
+ uint128 denominator = divisor;
87
+ uint128 quotient = 0;
88
+
89
+ // Left aligns the MSB of the denominator and the dividend.
90
+ const int shift = Fls128(dividend) - Fls128(denominator);
91
+ denominator <<= shift;
92
+
93
+ // Uses shift-subtract algorithm to divide dividend by denominator. The
94
+ // remainder will be left in dividend.
95
+ for (int i = 0; i <= shift; ++i) {
96
+ quotient <<= 1;
97
+ if (dividend >= denominator) {
98
+ dividend -= denominator;
99
+ quotient |= 1;
100
+ }
101
+ denominator >>= 1;
102
+ }
103
+
104
+ *quotient_ret = quotient;
105
+ *remainder_ret = dividend;
106
+ }
107
+
108
+ template <typename T>
109
+ uint128 MakeUint128FromFloat(T v) {
110
+ static_assert(std::is_floating_point<T>::value, "");
111
+
112
+ // Rounding behavior is towards zero, same as for built-in types.
113
+
114
+ // Undefined behavior if v is NaN or cannot fit into uint128.
115
+ assert(std::isfinite(v) && v > -1 &&
116
+ (std::numeric_limits<T>::max_exponent <= 128 ||
117
+ v < std::ldexp(static_cast<T>(1), 128)));
118
+
119
+ if (v >= std::ldexp(static_cast<T>(1), 64)) {
120
+ uint64_t hi = static_cast<uint64_t>(std::ldexp(v, -64));
121
+ uint64_t lo = static_cast<uint64_t>(v - std::ldexp(static_cast<T>(hi), 64));
122
+ return MakeUint128(hi, lo);
123
+ }
124
+
125
+ return MakeUint128(0, static_cast<uint64_t>(v));
126
+ }
127
+
128
+ #if defined(__clang__) && !defined(__SSE3__)
129
+ // Workaround for clang bug: https://bugs.llvm.org/show_bug.cgi?id=38289
130
+ // Casting from long double to uint64_t is miscompiled and drops bits.
131
+ // It is more work, so only use when we need the workaround.
132
+ uint128 MakeUint128FromFloat(long double v) {
133
+ // Go 50 bits at a time, that fits in a double
134
+ static_assert(std::numeric_limits<double>::digits >= 50, "");
135
+ static_assert(std::numeric_limits<long double>::digits <= 150, "");
136
+ // Undefined behavior if v is not finite or cannot fit into uint128.
137
+ assert(std::isfinite(v) && v > -1 && v < std::ldexp(1.0L, 128));
138
+
139
+ v = std::ldexp(v, -100);
140
+ uint64_t w0 = static_cast<uint64_t>(static_cast<double>(std::trunc(v)));
141
+ v = std::ldexp(v - static_cast<double>(w0), 50);
142
+ uint64_t w1 = static_cast<uint64_t>(static_cast<double>(std::trunc(v)));
143
+ v = std::ldexp(v - static_cast<double>(w1), 50);
144
+ uint64_t w2 = static_cast<uint64_t>(static_cast<double>(std::trunc(v)));
145
+ return (static_cast<uint128>(w0) << 100) | (static_cast<uint128>(w1) << 50) |
146
+ static_cast<uint128>(w2);
147
+ }
148
+ #endif // __clang__ && !__SSE3__
149
+ } // namespace
150
+
151
+ uint128::uint128(float v) : uint128(MakeUint128FromFloat(v)) {}
152
+ uint128::uint128(double v) : uint128(MakeUint128FromFloat(v)) {}
153
+ uint128::uint128(long double v) : uint128(MakeUint128FromFloat(v)) {}
154
+
155
+ uint128 operator/(uint128 lhs, uint128 rhs) {
156
+ #if defined(ABSL_HAVE_INTRINSIC_INT128)
157
+ return static_cast<unsigned __int128>(lhs) /
158
+ static_cast<unsigned __int128>(rhs);
159
+ #else // ABSL_HAVE_INTRINSIC_INT128
160
+ uint128 quotient = 0;
161
+ uint128 remainder = 0;
162
+ DivModImpl(lhs, rhs, &quotient, &remainder);
163
+ return quotient;
164
+ #endif // ABSL_HAVE_INTRINSIC_INT128
165
+ }
166
+ uint128 operator%(uint128 lhs, uint128 rhs) {
167
+ #if defined(ABSL_HAVE_INTRINSIC_INT128)
168
+ return static_cast<unsigned __int128>(lhs) %
169
+ static_cast<unsigned __int128>(rhs);
170
+ #else // ABSL_HAVE_INTRINSIC_INT128
171
+ uint128 quotient = 0;
172
+ uint128 remainder = 0;
173
+ DivModImpl(lhs, rhs, &quotient, &remainder);
174
+ return remainder;
175
+ #endif // ABSL_HAVE_INTRINSIC_INT128
176
+ }
177
+
178
+ namespace {
179
+
180
+ std::string Uint128ToFormattedString(uint128 v, std::ios_base::fmtflags flags) {
181
+ // Select a divisor which is the largest power of the base < 2^64.
182
+ uint128 div;
183
+ int div_base_log;
184
+ switch (flags & std::ios::basefield) {
185
+ case std::ios::hex:
186
+ div = 0x1000000000000000; // 16^15
187
+ div_base_log = 15;
188
+ break;
189
+ case std::ios::oct:
190
+ div = 01000000000000000000000; // 8^21
191
+ div_base_log = 21;
192
+ break;
193
+ default: // std::ios::dec
194
+ div = 10000000000000000000u; // 10^19
195
+ div_base_log = 19;
196
+ break;
197
+ }
198
+
199
+ // Now piece together the uint128 representation from three chunks of the
200
+ // original value, each less than "div" and therefore representable as a
201
+ // uint64_t.
202
+ std::ostringstream os;
203
+ std::ios_base::fmtflags copy_mask =
204
+ std::ios::basefield | std::ios::showbase | std::ios::uppercase;
205
+ os.setf(flags & copy_mask, copy_mask);
206
+ uint128 high = v;
207
+ uint128 low;
208
+ DivModImpl(high, div, &high, &low);
209
+ uint128 mid;
210
+ DivModImpl(high, div, &high, &mid);
211
+ if (Uint128Low64(high) != 0) {
212
+ os << Uint128Low64(high);
213
+ os << std::noshowbase << std::setfill('0') << std::setw(div_base_log);
214
+ os << Uint128Low64(mid);
215
+ os << std::setw(div_base_log);
216
+ } else if (Uint128Low64(mid) != 0) {
217
+ os << Uint128Low64(mid);
218
+ os << std::noshowbase << std::setfill('0') << std::setw(div_base_log);
219
+ }
220
+ os << Uint128Low64(low);
221
+ return os.str();
222
+ }
223
+
224
+ } // namespace
225
+
226
+ std::ostream& operator<<(std::ostream& os, uint128 v) {
227
+ std::ios_base::fmtflags flags = os.flags();
228
+ std::string rep = Uint128ToFormattedString(v, flags);
229
+
230
+ // Add the requisite padding.
231
+ std::streamsize width = os.width(0);
232
+ if (static_cast<size_t>(width) > rep.size()) {
233
+ std::ios::fmtflags adjustfield = flags & std::ios::adjustfield;
234
+ if (adjustfield == std::ios::left) {
235
+ rep.append(width - rep.size(), os.fill());
236
+ } else if (adjustfield == std::ios::internal &&
237
+ (flags & std::ios::showbase) &&
238
+ (flags & std::ios::basefield) == std::ios::hex && v != 0) {
239
+ rep.insert(2, width - rep.size(), os.fill());
240
+ } else {
241
+ rep.insert(0, width - rep.size(), os.fill());
242
+ }
243
+ }
244
+
245
+ return os << rep;
246
+ }
247
+
248
+ namespace {
249
+
250
+ uint128 UnsignedAbsoluteValue(int128 v) {
251
+ // Cast to uint128 before possibly negating because -Int128Min() is undefined.
252
+ return Int128High64(v) < 0 ? -uint128(v) : uint128(v);
253
+ }
254
+
255
+ } // namespace
256
+
257
+ #if !defined(ABSL_HAVE_INTRINSIC_INT128)
258
+ namespace {
259
+
260
+ template <typename T>
261
+ int128 MakeInt128FromFloat(T v) {
262
+ // Conversion when v is NaN or cannot fit into int128 would be undefined
263
+ // behavior if using an intrinsic 128-bit integer.
264
+ assert(std::isfinite(v) && (std::numeric_limits<T>::max_exponent <= 127 ||
265
+ (v >= -std::ldexp(static_cast<T>(1), 127) &&
266
+ v < std::ldexp(static_cast<T>(1), 127))));
267
+
268
+ // We must convert the absolute value and then negate as needed, because
269
+ // floating point types are typically sign-magnitude. Otherwise, the
270
+ // difference between the high and low 64 bits when interpreted as two's
271
+ // complement overwhelms the precision of the mantissa.
272
+ uint128 result = v < 0 ? -MakeUint128FromFloat(-v) : MakeUint128FromFloat(v);
273
+ return MakeInt128(int128_internal::BitCastToSigned(Uint128High64(result)),
274
+ Uint128Low64(result));
275
+ }
276
+
277
+ } // namespace
278
+
279
+ int128::int128(float v) : int128(MakeInt128FromFloat(v)) {}
280
+ int128::int128(double v) : int128(MakeInt128FromFloat(v)) {}
281
+ int128::int128(long double v) : int128(MakeInt128FromFloat(v)) {}
282
+
283
+ int128 operator/(int128 lhs, int128 rhs) {
284
+ assert(lhs != Int128Min() || rhs != -1); // UB on two's complement.
285
+
286
+ uint128 quotient = 0;
287
+ uint128 remainder = 0;
288
+ DivModImpl(UnsignedAbsoluteValue(lhs), UnsignedAbsoluteValue(rhs),
289
+ &quotient, &remainder);
290
+ if ((Int128High64(lhs) < 0) != (Int128High64(rhs) < 0)) quotient = -quotient;
291
+ return MakeInt128(int128_internal::BitCastToSigned(Uint128High64(quotient)),
292
+ Uint128Low64(quotient));
293
+ }
294
+
295
+ int128 operator%(int128 lhs, int128 rhs) {
296
+ assert(lhs != Int128Min() || rhs != -1); // UB on two's complement.
297
+
298
+ uint128 quotient = 0;
299
+ uint128 remainder = 0;
300
+ DivModImpl(UnsignedAbsoluteValue(lhs), UnsignedAbsoluteValue(rhs),
301
+ &quotient, &remainder);
302
+ if (Int128High64(lhs) < 0) remainder = -remainder;
303
+ return MakeInt128(int128_internal::BitCastToSigned(Uint128High64(remainder)),
304
+ Uint128Low64(remainder));
305
+ }
306
+ #endif // ABSL_HAVE_INTRINSIC_INT128
307
+
308
+ std::ostream& operator<<(std::ostream& os, int128 v) {
309
+ std::ios_base::fmtflags flags = os.flags();
310
+ std::string rep;
311
+
312
+ // Add the sign if needed.
313
+ bool print_as_decimal =
314
+ (flags & std::ios::basefield) == std::ios::dec ||
315
+ (flags & std::ios::basefield) == std::ios_base::fmtflags();
316
+ if (print_as_decimal) {
317
+ if (Int128High64(v) < 0) {
318
+ rep = "-";
319
+ } else if (flags & std::ios::showpos) {
320
+ rep = "+";
321
+ }
322
+ }
323
+
324
+ rep.append(Uint128ToFormattedString(
325
+ print_as_decimal ? UnsignedAbsoluteValue(v) : uint128(v), os.flags()));
326
+
327
+ // Add the requisite padding.
328
+ std::streamsize width = os.width(0);
329
+ if (static_cast<size_t>(width) > rep.size()) {
330
+ switch (flags & std::ios::adjustfield) {
331
+ case std::ios::left:
332
+ rep.append(width - rep.size(), os.fill());
333
+ break;
334
+ case std::ios::internal:
335
+ if (print_as_decimal && (rep[0] == '+' || rep[0] == '-')) {
336
+ rep.insert(1, width - rep.size(), os.fill());
337
+ } else if ((flags & std::ios::basefield) == std::ios::hex &&
338
+ (flags & std::ios::showbase) && v != 0) {
339
+ rep.insert(2, width - rep.size(), os.fill());
340
+ } else {
341
+ rep.insert(0, width - rep.size(), os.fill());
342
+ }
343
+ break;
344
+ default: // std::ios::right
345
+ rep.insert(0, width - rep.size(), os.fill());
346
+ break;
347
+ }
348
+ }
349
+
350
+ return os << rep;
351
+ }
352
+
353
+ ABSL_NAMESPACE_END
354
+ } // namespace absl
355
+
356
+ namespace std {
357
+ constexpr bool numeric_limits<absl::uint128>::is_specialized;
358
+ constexpr bool numeric_limits<absl::uint128>::is_signed;
359
+ constexpr bool numeric_limits<absl::uint128>::is_integer;
360
+ constexpr bool numeric_limits<absl::uint128>::is_exact;
361
+ constexpr bool numeric_limits<absl::uint128>::has_infinity;
362
+ constexpr bool numeric_limits<absl::uint128>::has_quiet_NaN;
363
+ constexpr bool numeric_limits<absl::uint128>::has_signaling_NaN;
364
+ constexpr float_denorm_style numeric_limits<absl::uint128>::has_denorm;
365
+ constexpr bool numeric_limits<absl::uint128>::has_denorm_loss;
366
+ constexpr float_round_style numeric_limits<absl::uint128>::round_style;
367
+ constexpr bool numeric_limits<absl::uint128>::is_iec559;
368
+ constexpr bool numeric_limits<absl::uint128>::is_bounded;
369
+ constexpr bool numeric_limits<absl::uint128>::is_modulo;
370
+ constexpr int numeric_limits<absl::uint128>::digits;
371
+ constexpr int numeric_limits<absl::uint128>::digits10;
372
+ constexpr int numeric_limits<absl::uint128>::max_digits10;
373
+ constexpr int numeric_limits<absl::uint128>::radix;
374
+ constexpr int numeric_limits<absl::uint128>::min_exponent;
375
+ constexpr int numeric_limits<absl::uint128>::min_exponent10;
376
+ constexpr int numeric_limits<absl::uint128>::max_exponent;
377
+ constexpr int numeric_limits<absl::uint128>::max_exponent10;
378
+ constexpr bool numeric_limits<absl::uint128>::traps;
379
+ constexpr bool numeric_limits<absl::uint128>::tinyness_before;
380
+
381
+ constexpr bool numeric_limits<absl::int128>::is_specialized;
382
+ constexpr bool numeric_limits<absl::int128>::is_signed;
383
+ constexpr bool numeric_limits<absl::int128>::is_integer;
384
+ constexpr bool numeric_limits<absl::int128>::is_exact;
385
+ constexpr bool numeric_limits<absl::int128>::has_infinity;
386
+ constexpr bool numeric_limits<absl::int128>::has_quiet_NaN;
387
+ constexpr bool numeric_limits<absl::int128>::has_signaling_NaN;
388
+ constexpr float_denorm_style numeric_limits<absl::int128>::has_denorm;
389
+ constexpr bool numeric_limits<absl::int128>::has_denorm_loss;
390
+ constexpr float_round_style numeric_limits<absl::int128>::round_style;
391
+ constexpr bool numeric_limits<absl::int128>::is_iec559;
392
+ constexpr bool numeric_limits<absl::int128>::is_bounded;
393
+ constexpr bool numeric_limits<absl::int128>::is_modulo;
394
+ constexpr int numeric_limits<absl::int128>::digits;
395
+ constexpr int numeric_limits<absl::int128>::digits10;
396
+ constexpr int numeric_limits<absl::int128>::max_digits10;
397
+ constexpr int numeric_limits<absl::int128>::radix;
398
+ constexpr int numeric_limits<absl::int128>::min_exponent;
399
+ constexpr int numeric_limits<absl::int128>::min_exponent10;
400
+ constexpr int numeric_limits<absl::int128>::max_exponent;
401
+ constexpr int numeric_limits<absl::int128>::max_exponent10;
402
+ constexpr bool numeric_limits<absl::int128>::traps;
403
+ constexpr bool numeric_limits<absl::int128>::tinyness_before;
404
+ } // namespace std
@@ -0,0 +1,1091 @@
1
+ //
2
+ // Copyright 2017 The Abseil Authors.
3
+ //
4
+ // Licensed under the Apache License, Version 2.0 (the "License");
5
+ // you may not use this file except in compliance with the License.
6
+ // You may obtain a copy of the License at
7
+ //
8
+ // https://www.apache.org/licenses/LICENSE-2.0
9
+ //
10
+ // Unless required by applicable law or agreed to in writing, software
11
+ // distributed under the License is distributed on an "AS IS" BASIS,
12
+ // WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13
+ // See the License for the specific language governing permissions and
14
+ // limitations under the License.
15
+ //
16
+ // -----------------------------------------------------------------------------
17
+ // File: int128.h
18
+ // -----------------------------------------------------------------------------
19
+ //
20
+ // This header file defines 128-bit integer types, `uint128` and `int128`.
21
+
22
+ #ifndef ABSL_NUMERIC_INT128_H_
23
+ #define ABSL_NUMERIC_INT128_H_
24
+
25
+ #include <cassert>
26
+ #include <cmath>
27
+ #include <cstdint>
28
+ #include <cstring>
29
+ #include <iosfwd>
30
+ #include <limits>
31
+ #include <utility>
32
+
33
+ #include "absl/base/config.h"
34
+ #include "absl/base/macros.h"
35
+ #include "absl/base/port.h"
36
+
37
+ #if defined(_MSC_VER)
38
+ // In very old versions of MSVC and when the /Zc:wchar_t flag is off, wchar_t is
39
+ // a typedef for unsigned short. Otherwise wchar_t is mapped to the __wchar_t
40
+ // builtin type. We need to make sure not to define operator wchar_t()
41
+ // alongside operator unsigned short() in these instances.
42
+ #define ABSL_INTERNAL_WCHAR_T __wchar_t
43
+ #if defined(_M_X64)
44
+ #include <intrin.h>
45
+ #pragma intrinsic(_umul128)
46
+ #endif // defined(_M_X64)
47
+ #else // defined(_MSC_VER)
48
+ #define ABSL_INTERNAL_WCHAR_T wchar_t
49
+ #endif // defined(_MSC_VER)
50
+
51
+ namespace absl {
52
+ ABSL_NAMESPACE_BEGIN
53
+
54
+ class int128;
55
+
56
+ // uint128
57
+ //
58
+ // An unsigned 128-bit integer type. The API is meant to mimic an intrinsic type
59
+ // as closely as is practical, including exhibiting undefined behavior in
60
+ // analogous cases (e.g. division by zero). This type is intended to be a
61
+ // drop-in replacement once C++ supports an intrinsic `uint128_t` type; when
62
+ // that occurs, existing well-behaved uses of `uint128` will continue to work
63
+ // using that new type.
64
+ //
65
+ // Note: code written with this type will continue to compile once `uint128_t`
66
+ // is introduced, provided the replacement helper functions
67
+ // `Uint128(Low|High)64()` and `MakeUint128()` are made.
68
+ //
69
+ // A `uint128` supports the following:
70
+ //
71
+ // * Implicit construction from integral types
72
+ // * Explicit conversion to integral types
73
+ //
74
+ // Additionally, if your compiler supports `__int128`, `uint128` is
75
+ // interoperable with that type. (Abseil checks for this compatibility through
76
+ // the `ABSL_HAVE_INTRINSIC_INT128` macro.)
77
+ //
78
+ // However, a `uint128` differs from intrinsic integral types in the following
79
+ // ways:
80
+ //
81
+ // * Errors on implicit conversions that do not preserve value (such as
82
+ // loss of precision when converting to float values).
83
+ // * Requires explicit construction from and conversion to floating point
84
+ // types.
85
+ // * Conversion to integral types requires an explicit static_cast() to
86
+ // mimic use of the `-Wnarrowing` compiler flag.
87
+ // * The alignment requirement of `uint128` may differ from that of an
88
+ // intrinsic 128-bit integer type depending on platform and build
89
+ // configuration.
90
+ //
91
+ // Example:
92
+ //
93
+ // float y = absl::Uint128Max(); // Error. uint128 cannot be implicitly
94
+ // // converted to float.
95
+ //
96
+ // absl::uint128 v;
97
+ // uint64_t i = v; // Error
98
+ // uint64_t i = static_cast<uint64_t>(v); // OK
99
+ //
100
+ class
101
+ #if defined(ABSL_HAVE_INTRINSIC_INT128)
102
+ alignas(unsigned __int128)
103
+ #endif // ABSL_HAVE_INTRINSIC_INT128
104
+ uint128 {
105
+ public:
106
+ uint128() = default;
107
+
108
+ // Constructors from arithmetic types
109
+ constexpr uint128(int v); // NOLINT(runtime/explicit)
110
+ constexpr uint128(unsigned int v); // NOLINT(runtime/explicit)
111
+ constexpr uint128(long v); // NOLINT(runtime/int)
112
+ constexpr uint128(unsigned long v); // NOLINT(runtime/int)
113
+ constexpr uint128(long long v); // NOLINT(runtime/int)
114
+ constexpr uint128(unsigned long long v); // NOLINT(runtime/int)
115
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
116
+ constexpr uint128(__int128 v); // NOLINT(runtime/explicit)
117
+ constexpr uint128(unsigned __int128 v); // NOLINT(runtime/explicit)
118
+ #endif // ABSL_HAVE_INTRINSIC_INT128
119
+ constexpr uint128(int128 v); // NOLINT(runtime/explicit)
120
+ explicit uint128(float v);
121
+ explicit uint128(double v);
122
+ explicit uint128(long double v);
123
+
124
+ // Assignment operators from arithmetic types
125
+ uint128& operator=(int v);
126
+ uint128& operator=(unsigned int v);
127
+ uint128& operator=(long v); // NOLINT(runtime/int)
128
+ uint128& operator=(unsigned long v); // NOLINT(runtime/int)
129
+ uint128& operator=(long long v); // NOLINT(runtime/int)
130
+ uint128& operator=(unsigned long long v); // NOLINT(runtime/int)
131
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
132
+ uint128& operator=(__int128 v);
133
+ uint128& operator=(unsigned __int128 v);
134
+ #endif // ABSL_HAVE_INTRINSIC_INT128
135
+ uint128& operator=(int128 v);
136
+
137
+ // Conversion operators to other arithmetic types
138
+ constexpr explicit operator bool() const;
139
+ constexpr explicit operator char() const;
140
+ constexpr explicit operator signed char() const;
141
+ constexpr explicit operator unsigned char() const;
142
+ constexpr explicit operator char16_t() const;
143
+ constexpr explicit operator char32_t() const;
144
+ constexpr explicit operator ABSL_INTERNAL_WCHAR_T() const;
145
+ constexpr explicit operator short() const; // NOLINT(runtime/int)
146
+ // NOLINTNEXTLINE(runtime/int)
147
+ constexpr explicit operator unsigned short() const;
148
+ constexpr explicit operator int() const;
149
+ constexpr explicit operator unsigned int() const;
150
+ constexpr explicit operator long() const; // NOLINT(runtime/int)
151
+ // NOLINTNEXTLINE(runtime/int)
152
+ constexpr explicit operator unsigned long() const;
153
+ // NOLINTNEXTLINE(runtime/int)
154
+ constexpr explicit operator long long() const;
155
+ // NOLINTNEXTLINE(runtime/int)
156
+ constexpr explicit operator unsigned long long() const;
157
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
158
+ constexpr explicit operator __int128() const;
159
+ constexpr explicit operator unsigned __int128() const;
160
+ #endif // ABSL_HAVE_INTRINSIC_INT128
161
+ explicit operator float() const;
162
+ explicit operator double() const;
163
+ explicit operator long double() const;
164
+
165
+ // Trivial copy constructor, assignment operator and destructor.
166
+
167
+ // Arithmetic operators.
168
+ uint128& operator+=(uint128 other);
169
+ uint128& operator-=(uint128 other);
170
+ uint128& operator*=(uint128 other);
171
+ // Long division/modulo for uint128.
172
+ uint128& operator/=(uint128 other);
173
+ uint128& operator%=(uint128 other);
174
+ uint128 operator++(int);
175
+ uint128 operator--(int);
176
+ uint128& operator<<=(int);
177
+ uint128& operator>>=(int);
178
+ uint128& operator&=(uint128 other);
179
+ uint128& operator|=(uint128 other);
180
+ uint128& operator^=(uint128 other);
181
+ uint128& operator++();
182
+ uint128& operator--();
183
+
184
+ // Uint128Low64()
185
+ //
186
+ // Returns the lower 64-bit value of a `uint128` value.
187
+ friend constexpr uint64_t Uint128Low64(uint128 v);
188
+
189
+ // Uint128High64()
190
+ //
191
+ // Returns the higher 64-bit value of a `uint128` value.
192
+ friend constexpr uint64_t Uint128High64(uint128 v);
193
+
194
+ // MakeUInt128()
195
+ //
196
+ // Constructs a `uint128` numeric value from two 64-bit unsigned integers.
197
+ // Note that this factory function is the only way to construct a `uint128`
198
+ // from integer values greater than 2^64.
199
+ //
200
+ // Example:
201
+ //
202
+ // absl::uint128 big = absl::MakeUint128(1, 0);
203
+ friend constexpr uint128 MakeUint128(uint64_t high, uint64_t low);
204
+
205
+ // Uint128Max()
206
+ //
207
+ // Returns the highest value for a 128-bit unsigned integer.
208
+ friend constexpr uint128 Uint128Max();
209
+
210
+ // Support for absl::Hash.
211
+ template <typename H>
212
+ friend H AbslHashValue(H h, uint128 v) {
213
+ return H::combine(std::move(h), Uint128High64(v), Uint128Low64(v));
214
+ }
215
+
216
+ private:
217
+ constexpr uint128(uint64_t high, uint64_t low);
218
+
219
+ // TODO(strel) Update implementation to use __int128 once all users of
220
+ // uint128 are fixed to not depend on alignof(uint128) == 8. Also add
221
+ // alignas(16) to class definition to keep alignment consistent across
222
+ // platforms.
223
+ #if defined(ABSL_IS_LITTLE_ENDIAN)
224
+ uint64_t lo_;
225
+ uint64_t hi_;
226
+ #elif defined(ABSL_IS_BIG_ENDIAN)
227
+ uint64_t hi_;
228
+ uint64_t lo_;
229
+ #else // byte order
230
+ #error "Unsupported byte order: must be little-endian or big-endian."
231
+ #endif // byte order
232
+ };
233
+
234
+ // Prefer to use the constexpr `Uint128Max()`.
235
+ //
236
+ // TODO(absl-team) deprecate kuint128max once migration tool is released.
237
+ extern const uint128 kuint128max;
238
+
239
+ // allow uint128 to be logged
240
+ std::ostream& operator<<(std::ostream& os, uint128 v);
241
+
242
+ // TODO(strel) add operator>>(std::istream&, uint128)
243
+
244
+ constexpr uint128 Uint128Max() {
245
+ return uint128((std::numeric_limits<uint64_t>::max)(),
246
+ (std::numeric_limits<uint64_t>::max)());
247
+ }
248
+
249
+ ABSL_NAMESPACE_END
250
+ } // namespace absl
251
+
252
+ // Specialized numeric_limits for uint128.
253
+ namespace std {
254
+ template <>
255
+ class numeric_limits<absl::uint128> {
256
+ public:
257
+ static constexpr bool is_specialized = true;
258
+ static constexpr bool is_signed = false;
259
+ static constexpr bool is_integer = true;
260
+ static constexpr bool is_exact = true;
261
+ static constexpr bool has_infinity = false;
262
+ static constexpr bool has_quiet_NaN = false;
263
+ static constexpr bool has_signaling_NaN = false;
264
+ static constexpr float_denorm_style has_denorm = denorm_absent;
265
+ static constexpr bool has_denorm_loss = false;
266
+ static constexpr float_round_style round_style = round_toward_zero;
267
+ static constexpr bool is_iec559 = false;
268
+ static constexpr bool is_bounded = true;
269
+ static constexpr bool is_modulo = true;
270
+ static constexpr int digits = 128;
271
+ static constexpr int digits10 = 38;
272
+ static constexpr int max_digits10 = 0;
273
+ static constexpr int radix = 2;
274
+ static constexpr int min_exponent = 0;
275
+ static constexpr int min_exponent10 = 0;
276
+ static constexpr int max_exponent = 0;
277
+ static constexpr int max_exponent10 = 0;
278
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
279
+ static constexpr bool traps = numeric_limits<unsigned __int128>::traps;
280
+ #else // ABSL_HAVE_INTRINSIC_INT128
281
+ static constexpr bool traps = numeric_limits<uint64_t>::traps;
282
+ #endif // ABSL_HAVE_INTRINSIC_INT128
283
+ static constexpr bool tinyness_before = false;
284
+
285
+ static constexpr absl::uint128 (min)() { return 0; }
286
+ static constexpr absl::uint128 lowest() { return 0; }
287
+ static constexpr absl::uint128 (max)() { return absl::Uint128Max(); }
288
+ static constexpr absl::uint128 epsilon() { return 0; }
289
+ static constexpr absl::uint128 round_error() { return 0; }
290
+ static constexpr absl::uint128 infinity() { return 0; }
291
+ static constexpr absl::uint128 quiet_NaN() { return 0; }
292
+ static constexpr absl::uint128 signaling_NaN() { return 0; }
293
+ static constexpr absl::uint128 denorm_min() { return 0; }
294
+ };
295
+ } // namespace std
296
+
297
+ namespace absl {
298
+ ABSL_NAMESPACE_BEGIN
299
+
300
+ // int128
301
+ //
302
+ // A signed 128-bit integer type. The API is meant to mimic an intrinsic
303
+ // integral type as closely as is practical, including exhibiting undefined
304
+ // behavior in analogous cases (e.g. division by zero).
305
+ //
306
+ // An `int128` supports the following:
307
+ //
308
+ // * Implicit construction from integral types
309
+ // * Explicit conversion to integral types
310
+ //
311
+ // However, an `int128` differs from intrinsic integral types in the following
312
+ // ways:
313
+ //
314
+ // * It is not implicitly convertible to other integral types.
315
+ // * Requires explicit construction from and conversion to floating point
316
+ // types.
317
+
318
+ // Additionally, if your compiler supports `__int128`, `int128` is
319
+ // interoperable with that type. (Abseil checks for this compatibility through
320
+ // the `ABSL_HAVE_INTRINSIC_INT128` macro.)
321
+ //
322
+ // The design goal for `int128` is that it will be compatible with a future
323
+ // `int128_t`, if that type becomes a part of the standard.
324
+ //
325
+ // Example:
326
+ //
327
+ // float y = absl::int128(17); // Error. int128 cannot be implicitly
328
+ // // converted to float.
329
+ //
330
+ // absl::int128 v;
331
+ // int64_t i = v; // Error
332
+ // int64_t i = static_cast<int64_t>(v); // OK
333
+ //
334
+ class int128 {
335
+ public:
336
+ int128() = default;
337
+
338
+ // Constructors from arithmetic types
339
+ constexpr int128(int v); // NOLINT(runtime/explicit)
340
+ constexpr int128(unsigned int v); // NOLINT(runtime/explicit)
341
+ constexpr int128(long v); // NOLINT(runtime/int)
342
+ constexpr int128(unsigned long v); // NOLINT(runtime/int)
343
+ constexpr int128(long long v); // NOLINT(runtime/int)
344
+ constexpr int128(unsigned long long v); // NOLINT(runtime/int)
345
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
346
+ constexpr int128(__int128 v); // NOLINT(runtime/explicit)
347
+ constexpr explicit int128(unsigned __int128 v);
348
+ #endif // ABSL_HAVE_INTRINSIC_INT128
349
+ constexpr explicit int128(uint128 v);
350
+ explicit int128(float v);
351
+ explicit int128(double v);
352
+ explicit int128(long double v);
353
+
354
+ // Assignment operators from arithmetic types
355
+ int128& operator=(int v);
356
+ int128& operator=(unsigned int v);
357
+ int128& operator=(long v); // NOLINT(runtime/int)
358
+ int128& operator=(unsigned long v); // NOLINT(runtime/int)
359
+ int128& operator=(long long v); // NOLINT(runtime/int)
360
+ int128& operator=(unsigned long long v); // NOLINT(runtime/int)
361
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
362
+ int128& operator=(__int128 v);
363
+ #endif // ABSL_HAVE_INTRINSIC_INT128
364
+
365
+ // Conversion operators to other arithmetic types
366
+ constexpr explicit operator bool() const;
367
+ constexpr explicit operator char() const;
368
+ constexpr explicit operator signed char() const;
369
+ constexpr explicit operator unsigned char() const;
370
+ constexpr explicit operator char16_t() const;
371
+ constexpr explicit operator char32_t() const;
372
+ constexpr explicit operator ABSL_INTERNAL_WCHAR_T() const;
373
+ constexpr explicit operator short() const; // NOLINT(runtime/int)
374
+ // NOLINTNEXTLINE(runtime/int)
375
+ constexpr explicit operator unsigned short() const;
376
+ constexpr explicit operator int() const;
377
+ constexpr explicit operator unsigned int() const;
378
+ constexpr explicit operator long() const; // NOLINT(runtime/int)
379
+ // NOLINTNEXTLINE(runtime/int)
380
+ constexpr explicit operator unsigned long() const;
381
+ // NOLINTNEXTLINE(runtime/int)
382
+ constexpr explicit operator long long() const;
383
+ // NOLINTNEXTLINE(runtime/int)
384
+ constexpr explicit operator unsigned long long() const;
385
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
386
+ constexpr explicit operator __int128() const;
387
+ constexpr explicit operator unsigned __int128() const;
388
+ #endif // ABSL_HAVE_INTRINSIC_INT128
389
+ explicit operator float() const;
390
+ explicit operator double() const;
391
+ explicit operator long double() const;
392
+
393
+ // Trivial copy constructor, assignment operator and destructor.
394
+
395
+ // Arithmetic operators
396
+ int128& operator+=(int128 other);
397
+ int128& operator-=(int128 other);
398
+ int128& operator*=(int128 other);
399
+ int128& operator/=(int128 other);
400
+ int128& operator%=(int128 other);
401
+ int128 operator++(int); // postfix increment: i++
402
+ int128 operator--(int); // postfix decrement: i--
403
+ int128& operator++(); // prefix increment: ++i
404
+ int128& operator--(); // prefix decrement: --i
405
+ int128& operator&=(int128 other);
406
+ int128& operator|=(int128 other);
407
+ int128& operator^=(int128 other);
408
+ int128& operator<<=(int amount);
409
+ int128& operator>>=(int amount);
410
+
411
+ // Int128Low64()
412
+ //
413
+ // Returns the lower 64-bit value of a `int128` value.
414
+ friend constexpr uint64_t Int128Low64(int128 v);
415
+
416
+ // Int128High64()
417
+ //
418
+ // Returns the higher 64-bit value of a `int128` value.
419
+ friend constexpr int64_t Int128High64(int128 v);
420
+
421
+ // MakeInt128()
422
+ //
423
+ // Constructs a `int128` numeric value from two 64-bit integers. Note that
424
+ // signedness is conveyed in the upper `high` value.
425
+ //
426
+ // (absl::int128(1) << 64) * high + low
427
+ //
428
+ // Note that this factory function is the only way to construct a `int128`
429
+ // from integer values greater than 2^64 or less than -2^64.
430
+ //
431
+ // Example:
432
+ //
433
+ // absl::int128 big = absl::MakeInt128(1, 0);
434
+ // absl::int128 big_n = absl::MakeInt128(-1, 0);
435
+ friend constexpr int128 MakeInt128(int64_t high, uint64_t low);
436
+
437
+ // Int128Max()
438
+ //
439
+ // Returns the maximum value for a 128-bit signed integer.
440
+ friend constexpr int128 Int128Max();
441
+
442
+ // Int128Min()
443
+ //
444
+ // Returns the minimum value for a 128-bit signed integer.
445
+ friend constexpr int128 Int128Min();
446
+
447
+ // Support for absl::Hash.
448
+ template <typename H>
449
+ friend H AbslHashValue(H h, int128 v) {
450
+ return H::combine(std::move(h), Int128High64(v), Int128Low64(v));
451
+ }
452
+
453
+ private:
454
+ constexpr int128(int64_t high, uint64_t low);
455
+
456
+ #if defined(ABSL_HAVE_INTRINSIC_INT128)
457
+ __int128 v_;
458
+ #else // ABSL_HAVE_INTRINSIC_INT128
459
+ #if defined(ABSL_IS_LITTLE_ENDIAN)
460
+ uint64_t lo_;
461
+ int64_t hi_;
462
+ #elif defined(ABSL_IS_BIG_ENDIAN)
463
+ int64_t hi_;
464
+ uint64_t lo_;
465
+ #else // byte order
466
+ #error "Unsupported byte order: must be little-endian or big-endian."
467
+ #endif // byte order
468
+ #endif // ABSL_HAVE_INTRINSIC_INT128
469
+ };
470
+
471
+ std::ostream& operator<<(std::ostream& os, int128 v);
472
+
473
+ // TODO(absl-team) add operator>>(std::istream&, int128)
474
+
475
+ constexpr int128 Int128Max() {
476
+ return int128((std::numeric_limits<int64_t>::max)(),
477
+ (std::numeric_limits<uint64_t>::max)());
478
+ }
479
+
480
+ constexpr int128 Int128Min() {
481
+ return int128((std::numeric_limits<int64_t>::min)(), 0);
482
+ }
483
+
484
+ ABSL_NAMESPACE_END
485
+ } // namespace absl
486
+
487
+ // Specialized numeric_limits for int128.
488
+ namespace std {
489
+ template <>
490
+ class numeric_limits<absl::int128> {
491
+ public:
492
+ static constexpr bool is_specialized = true;
493
+ static constexpr bool is_signed = true;
494
+ static constexpr bool is_integer = true;
495
+ static constexpr bool is_exact = true;
496
+ static constexpr bool has_infinity = false;
497
+ static constexpr bool has_quiet_NaN = false;
498
+ static constexpr bool has_signaling_NaN = false;
499
+ static constexpr float_denorm_style has_denorm = denorm_absent;
500
+ static constexpr bool has_denorm_loss = false;
501
+ static constexpr float_round_style round_style = round_toward_zero;
502
+ static constexpr bool is_iec559 = false;
503
+ static constexpr bool is_bounded = true;
504
+ static constexpr bool is_modulo = false;
505
+ static constexpr int digits = 127;
506
+ static constexpr int digits10 = 38;
507
+ static constexpr int max_digits10 = 0;
508
+ static constexpr int radix = 2;
509
+ static constexpr int min_exponent = 0;
510
+ static constexpr int min_exponent10 = 0;
511
+ static constexpr int max_exponent = 0;
512
+ static constexpr int max_exponent10 = 0;
513
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
514
+ static constexpr bool traps = numeric_limits<__int128>::traps;
515
+ #else // ABSL_HAVE_INTRINSIC_INT128
516
+ static constexpr bool traps = numeric_limits<uint64_t>::traps;
517
+ #endif // ABSL_HAVE_INTRINSIC_INT128
518
+ static constexpr bool tinyness_before = false;
519
+
520
+ static constexpr absl::int128 (min)() { return absl::Int128Min(); }
521
+ static constexpr absl::int128 lowest() { return absl::Int128Min(); }
522
+ static constexpr absl::int128 (max)() { return absl::Int128Max(); }
523
+ static constexpr absl::int128 epsilon() { return 0; }
524
+ static constexpr absl::int128 round_error() { return 0; }
525
+ static constexpr absl::int128 infinity() { return 0; }
526
+ static constexpr absl::int128 quiet_NaN() { return 0; }
527
+ static constexpr absl::int128 signaling_NaN() { return 0; }
528
+ static constexpr absl::int128 denorm_min() { return 0; }
529
+ };
530
+ } // namespace std
531
+
532
+ // --------------------------------------------------------------------------
533
+ // Implementation details follow
534
+ // --------------------------------------------------------------------------
535
+ namespace absl {
536
+ ABSL_NAMESPACE_BEGIN
537
+
538
+ constexpr uint128 MakeUint128(uint64_t high, uint64_t low) {
539
+ return uint128(high, low);
540
+ }
541
+
542
+ // Assignment from integer types.
543
+
544
+ inline uint128& uint128::operator=(int v) { return *this = uint128(v); }
545
+
546
+ inline uint128& uint128::operator=(unsigned int v) {
547
+ return *this = uint128(v);
548
+ }
549
+
550
+ inline uint128& uint128::operator=(long v) { // NOLINT(runtime/int)
551
+ return *this = uint128(v);
552
+ }
553
+
554
+ // NOLINTNEXTLINE(runtime/int)
555
+ inline uint128& uint128::operator=(unsigned long v) {
556
+ return *this = uint128(v);
557
+ }
558
+
559
+ // NOLINTNEXTLINE(runtime/int)
560
+ inline uint128& uint128::operator=(long long v) {
561
+ return *this = uint128(v);
562
+ }
563
+
564
+ // NOLINTNEXTLINE(runtime/int)
565
+ inline uint128& uint128::operator=(unsigned long long v) {
566
+ return *this = uint128(v);
567
+ }
568
+
569
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
570
+ inline uint128& uint128::operator=(__int128 v) {
571
+ return *this = uint128(v);
572
+ }
573
+
574
+ inline uint128& uint128::operator=(unsigned __int128 v) {
575
+ return *this = uint128(v);
576
+ }
577
+ #endif // ABSL_HAVE_INTRINSIC_INT128
578
+
579
+ inline uint128& uint128::operator=(int128 v) {
580
+ return *this = uint128(v);
581
+ }
582
+
583
+ // Arithmetic operators.
584
+
585
+ uint128 operator<<(uint128 lhs, int amount);
586
+ uint128 operator>>(uint128 lhs, int amount);
587
+ uint128 operator+(uint128 lhs, uint128 rhs);
588
+ uint128 operator-(uint128 lhs, uint128 rhs);
589
+ uint128 operator*(uint128 lhs, uint128 rhs);
590
+ uint128 operator/(uint128 lhs, uint128 rhs);
591
+ uint128 operator%(uint128 lhs, uint128 rhs);
592
+
593
+ inline uint128& uint128::operator<<=(int amount) {
594
+ *this = *this << amount;
595
+ return *this;
596
+ }
597
+
598
+ inline uint128& uint128::operator>>=(int amount) {
599
+ *this = *this >> amount;
600
+ return *this;
601
+ }
602
+
603
+ inline uint128& uint128::operator+=(uint128 other) {
604
+ *this = *this + other;
605
+ return *this;
606
+ }
607
+
608
+ inline uint128& uint128::operator-=(uint128 other) {
609
+ *this = *this - other;
610
+ return *this;
611
+ }
612
+
613
+ inline uint128& uint128::operator*=(uint128 other) {
614
+ *this = *this * other;
615
+ return *this;
616
+ }
617
+
618
+ inline uint128& uint128::operator/=(uint128 other) {
619
+ *this = *this / other;
620
+ return *this;
621
+ }
622
+
623
+ inline uint128& uint128::operator%=(uint128 other) {
624
+ *this = *this % other;
625
+ return *this;
626
+ }
627
+
628
+ constexpr uint64_t Uint128Low64(uint128 v) { return v.lo_; }
629
+
630
+ constexpr uint64_t Uint128High64(uint128 v) { return v.hi_; }
631
+
632
+ // Constructors from integer types.
633
+
634
+ #if defined(ABSL_IS_LITTLE_ENDIAN)
635
+
636
+ constexpr uint128::uint128(uint64_t high, uint64_t low)
637
+ : lo_{low}, hi_{high} {}
638
+
639
+ constexpr uint128::uint128(int v)
640
+ : lo_{static_cast<uint64_t>(v)},
641
+ hi_{v < 0 ? (std::numeric_limits<uint64_t>::max)() : 0} {}
642
+ constexpr uint128::uint128(long v) // NOLINT(runtime/int)
643
+ : lo_{static_cast<uint64_t>(v)},
644
+ hi_{v < 0 ? (std::numeric_limits<uint64_t>::max)() : 0} {}
645
+ constexpr uint128::uint128(long long v) // NOLINT(runtime/int)
646
+ : lo_{static_cast<uint64_t>(v)},
647
+ hi_{v < 0 ? (std::numeric_limits<uint64_t>::max)() : 0} {}
648
+
649
+ constexpr uint128::uint128(unsigned int v) : lo_{v}, hi_{0} {}
650
+ // NOLINTNEXTLINE(runtime/int)
651
+ constexpr uint128::uint128(unsigned long v) : lo_{v}, hi_{0} {}
652
+ // NOLINTNEXTLINE(runtime/int)
653
+ constexpr uint128::uint128(unsigned long long v) : lo_{v}, hi_{0} {}
654
+
655
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
656
+ constexpr uint128::uint128(__int128 v)
657
+ : lo_{static_cast<uint64_t>(v & ~uint64_t{0})},
658
+ hi_{static_cast<uint64_t>(static_cast<unsigned __int128>(v) >> 64)} {}
659
+ constexpr uint128::uint128(unsigned __int128 v)
660
+ : lo_{static_cast<uint64_t>(v & ~uint64_t{0})},
661
+ hi_{static_cast<uint64_t>(v >> 64)} {}
662
+ #endif // ABSL_HAVE_INTRINSIC_INT128
663
+
664
+ constexpr uint128::uint128(int128 v)
665
+ : lo_{Int128Low64(v)}, hi_{static_cast<uint64_t>(Int128High64(v))} {}
666
+
667
+ #elif defined(ABSL_IS_BIG_ENDIAN)
668
+
669
+ constexpr uint128::uint128(uint64_t high, uint64_t low)
670
+ : hi_{high}, lo_{low} {}
671
+
672
+ constexpr uint128::uint128(int v)
673
+ : hi_{v < 0 ? (std::numeric_limits<uint64_t>::max)() : 0},
674
+ lo_{static_cast<uint64_t>(v)} {}
675
+ constexpr uint128::uint128(long v) // NOLINT(runtime/int)
676
+ : hi_{v < 0 ? (std::numeric_limits<uint64_t>::max)() : 0},
677
+ lo_{static_cast<uint64_t>(v)} {}
678
+ constexpr uint128::uint128(long long v) // NOLINT(runtime/int)
679
+ : hi_{v < 0 ? (std::numeric_limits<uint64_t>::max)() : 0},
680
+ lo_{static_cast<uint64_t>(v)} {}
681
+
682
+ constexpr uint128::uint128(unsigned int v) : hi_{0}, lo_{v} {}
683
+ // NOLINTNEXTLINE(runtime/int)
684
+ constexpr uint128::uint128(unsigned long v) : hi_{0}, lo_{v} {}
685
+ // NOLINTNEXTLINE(runtime/int)
686
+ constexpr uint128::uint128(unsigned long long v) : hi_{0}, lo_{v} {}
687
+
688
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
689
+ constexpr uint128::uint128(__int128 v)
690
+ : hi_{static_cast<uint64_t>(static_cast<unsigned __int128>(v) >> 64)},
691
+ lo_{static_cast<uint64_t>(v & ~uint64_t{0})} {}
692
+ constexpr uint128::uint128(unsigned __int128 v)
693
+ : hi_{static_cast<uint64_t>(v >> 64)},
694
+ lo_{static_cast<uint64_t>(v & ~uint64_t{0})} {}
695
+ #endif // ABSL_HAVE_INTRINSIC_INT128
696
+
697
+ constexpr uint128::uint128(int128 v)
698
+ : hi_{static_cast<uint64_t>(Int128High64(v))}, lo_{Int128Low64(v)} {}
699
+
700
+ #else // byte order
701
+ #error "Unsupported byte order: must be little-endian or big-endian."
702
+ #endif // byte order
703
+
704
+ // Conversion operators to integer types.
705
+
706
+ constexpr uint128::operator bool() const { return lo_ || hi_; }
707
+
708
+ constexpr uint128::operator char() const { return static_cast<char>(lo_); }
709
+
710
+ constexpr uint128::operator signed char() const {
711
+ return static_cast<signed char>(lo_);
712
+ }
713
+
714
+ constexpr uint128::operator unsigned char() const {
715
+ return static_cast<unsigned char>(lo_);
716
+ }
717
+
718
+ constexpr uint128::operator char16_t() const {
719
+ return static_cast<char16_t>(lo_);
720
+ }
721
+
722
+ constexpr uint128::operator char32_t() const {
723
+ return static_cast<char32_t>(lo_);
724
+ }
725
+
726
+ constexpr uint128::operator ABSL_INTERNAL_WCHAR_T() const {
727
+ return static_cast<ABSL_INTERNAL_WCHAR_T>(lo_);
728
+ }
729
+
730
+ // NOLINTNEXTLINE(runtime/int)
731
+ constexpr uint128::operator short() const { return static_cast<short>(lo_); }
732
+
733
+ constexpr uint128::operator unsigned short() const { // NOLINT(runtime/int)
734
+ return static_cast<unsigned short>(lo_); // NOLINT(runtime/int)
735
+ }
736
+
737
+ constexpr uint128::operator int() const { return static_cast<int>(lo_); }
738
+
739
+ constexpr uint128::operator unsigned int() const {
740
+ return static_cast<unsigned int>(lo_);
741
+ }
742
+
743
+ // NOLINTNEXTLINE(runtime/int)
744
+ constexpr uint128::operator long() const { return static_cast<long>(lo_); }
745
+
746
+ constexpr uint128::operator unsigned long() const { // NOLINT(runtime/int)
747
+ return static_cast<unsigned long>(lo_); // NOLINT(runtime/int)
748
+ }
749
+
750
+ constexpr uint128::operator long long() const { // NOLINT(runtime/int)
751
+ return static_cast<long long>(lo_); // NOLINT(runtime/int)
752
+ }
753
+
754
+ constexpr uint128::operator unsigned long long() const { // NOLINT(runtime/int)
755
+ return static_cast<unsigned long long>(lo_); // NOLINT(runtime/int)
756
+ }
757
+
758
+ #ifdef ABSL_HAVE_INTRINSIC_INT128
759
+ constexpr uint128::operator __int128() const {
760
+ return (static_cast<__int128>(hi_) << 64) + lo_;
761
+ }
762
+
763
+ constexpr uint128::operator unsigned __int128() const {
764
+ return (static_cast<unsigned __int128>(hi_) << 64) + lo_;
765
+ }
766
+ #endif // ABSL_HAVE_INTRINSIC_INT128
767
+
768
+ // Conversion operators to floating point types.
769
+
770
+ inline uint128::operator float() const {
771
+ return static_cast<float>(lo_) + std::ldexp(static_cast<float>(hi_), 64);
772
+ }
773
+
774
+ inline uint128::operator double() const {
775
+ return static_cast<double>(lo_) + std::ldexp(static_cast<double>(hi_), 64);
776
+ }
777
+
778
+ inline uint128::operator long double() const {
779
+ return static_cast<long double>(lo_) +
780
+ std::ldexp(static_cast<long double>(hi_), 64);
781
+ }
782
+
783
+ // Comparison operators.
784
+
785
+ inline bool operator==(uint128 lhs, uint128 rhs) {
786
+ return (Uint128Low64(lhs) == Uint128Low64(rhs) &&
787
+ Uint128High64(lhs) == Uint128High64(rhs));
788
+ }
789
+
790
+ inline bool operator!=(uint128 lhs, uint128 rhs) {
791
+ return !(lhs == rhs);
792
+ }
793
+
794
+ inline bool operator<(uint128 lhs, uint128 rhs) {
795
+ return (Uint128High64(lhs) == Uint128High64(rhs))
796
+ ? (Uint128Low64(lhs) < Uint128Low64(rhs))
797
+ : (Uint128High64(lhs) < Uint128High64(rhs));
798
+ }
799
+
800
+ inline bool operator>(uint128 lhs, uint128 rhs) {
801
+ return (Uint128High64(lhs) == Uint128High64(rhs))
802
+ ? (Uint128Low64(lhs) > Uint128Low64(rhs))
803
+ : (Uint128High64(lhs) > Uint128High64(rhs));
804
+ }
805
+
806
+ inline bool operator<=(uint128 lhs, uint128 rhs) {
807
+ return (Uint128High64(lhs) == Uint128High64(rhs))
808
+ ? (Uint128Low64(lhs) <= Uint128Low64(rhs))
809
+ : (Uint128High64(lhs) <= Uint128High64(rhs));
810
+ }
811
+
812
+ inline bool operator>=(uint128 lhs, uint128 rhs) {
813
+ return (Uint128High64(lhs) == Uint128High64(rhs))
814
+ ? (Uint128Low64(lhs) >= Uint128Low64(rhs))
815
+ : (Uint128High64(lhs) >= Uint128High64(rhs));
816
+ }
817
+
818
+ // Unary operators.
819
+
820
+ inline uint128 operator-(uint128 val) {
821
+ uint64_t hi = ~Uint128High64(val);
822
+ uint64_t lo = ~Uint128Low64(val) + 1;
823
+ if (lo == 0) ++hi; // carry
824
+ return MakeUint128(hi, lo);
825
+ }
826
+
827
+ inline bool operator!(uint128 val) {
828
+ return !Uint128High64(val) && !Uint128Low64(val);
829
+ }
830
+
831
+ // Logical operators.
832
+
833
+ inline uint128 operator~(uint128 val) {
834
+ return MakeUint128(~Uint128High64(val), ~Uint128Low64(val));
835
+ }
836
+
837
+ inline uint128 operator|(uint128 lhs, uint128 rhs) {
838
+ return MakeUint128(Uint128High64(lhs) | Uint128High64(rhs),
839
+ Uint128Low64(lhs) | Uint128Low64(rhs));
840
+ }
841
+
842
+ inline uint128 operator&(uint128 lhs, uint128 rhs) {
843
+ return MakeUint128(Uint128High64(lhs) & Uint128High64(rhs),
844
+ Uint128Low64(lhs) & Uint128Low64(rhs));
845
+ }
846
+
847
+ inline uint128 operator^(uint128 lhs, uint128 rhs) {
848
+ return MakeUint128(Uint128High64(lhs) ^ Uint128High64(rhs),
849
+ Uint128Low64(lhs) ^ Uint128Low64(rhs));
850
+ }
851
+
852
+ inline uint128& uint128::operator|=(uint128 other) {
853
+ hi_ |= other.hi_;
854
+ lo_ |= other.lo_;
855
+ return *this;
856
+ }
857
+
858
+ inline uint128& uint128::operator&=(uint128 other) {
859
+ hi_ &= other.hi_;
860
+ lo_ &= other.lo_;
861
+ return *this;
862
+ }
863
+
864
+ inline uint128& uint128::operator^=(uint128 other) {
865
+ hi_ ^= other.hi_;
866
+ lo_ ^= other.lo_;
867
+ return *this;
868
+ }
869
+
870
+ // Arithmetic operators.
871
+
872
+ inline uint128 operator<<(uint128 lhs, int amount) {
873
+ // uint64_t shifts of >= 64 are undefined, so we will need some
874
+ // special-casing.
875
+ if (amount < 64) {
876
+ if (amount != 0) {
877
+ return MakeUint128(
878
+ (Uint128High64(lhs) << amount) | (Uint128Low64(lhs) >> (64 - amount)),
879
+ Uint128Low64(lhs) << amount);
880
+ }
881
+ return lhs;
882
+ }
883
+ return MakeUint128(Uint128Low64(lhs) << (amount - 64), 0);
884
+ }
885
+
886
+ inline uint128 operator>>(uint128 lhs, int amount) {
887
+ // uint64_t shifts of >= 64 are undefined, so we will need some
888
+ // special-casing.
889
+ if (amount < 64) {
890
+ if (amount != 0) {
891
+ return MakeUint128(Uint128High64(lhs) >> amount,
892
+ (Uint128Low64(lhs) >> amount) |
893
+ (Uint128High64(lhs) << (64 - amount)));
894
+ }
895
+ return lhs;
896
+ }
897
+ return MakeUint128(0, Uint128High64(lhs) >> (amount - 64));
898
+ }
899
+
900
+ inline uint128 operator+(uint128 lhs, uint128 rhs) {
901
+ uint128 result = MakeUint128(Uint128High64(lhs) + Uint128High64(rhs),
902
+ Uint128Low64(lhs) + Uint128Low64(rhs));
903
+ if (Uint128Low64(result) < Uint128Low64(lhs)) { // check for carry
904
+ return MakeUint128(Uint128High64(result) + 1, Uint128Low64(result));
905
+ }
906
+ return result;
907
+ }
908
+
909
+ inline uint128 operator-(uint128 lhs, uint128 rhs) {
910
+ uint128 result = MakeUint128(Uint128High64(lhs) - Uint128High64(rhs),
911
+ Uint128Low64(lhs) - Uint128Low64(rhs));
912
+ if (Uint128Low64(lhs) < Uint128Low64(rhs)) { // check for carry
913
+ return MakeUint128(Uint128High64(result) - 1, Uint128Low64(result));
914
+ }
915
+ return result;
916
+ }
917
+
918
+ inline uint128 operator*(uint128 lhs, uint128 rhs) {
919
+ #if defined(ABSL_HAVE_INTRINSIC_INT128)
920
+ // TODO(strel) Remove once alignment issues are resolved and unsigned __int128
921
+ // can be used for uint128 storage.
922
+ return static_cast<unsigned __int128>(lhs) *
923
+ static_cast<unsigned __int128>(rhs);
924
+ #elif defined(_MSC_VER) && defined(_M_X64)
925
+ uint64_t carry;
926
+ uint64_t low = _umul128(Uint128Low64(lhs), Uint128Low64(rhs), &carry);
927
+ return MakeUint128(Uint128Low64(lhs) * Uint128High64(rhs) +
928
+ Uint128High64(lhs) * Uint128Low64(rhs) + carry,
929
+ low);
930
+ #else // ABSL_HAVE_INTRINSIC128
931
+ uint64_t a32 = Uint128Low64(lhs) >> 32;
932
+ uint64_t a00 = Uint128Low64(lhs) & 0xffffffff;
933
+ uint64_t b32 = Uint128Low64(rhs) >> 32;
934
+ uint64_t b00 = Uint128Low64(rhs) & 0xffffffff;
935
+ uint128 result =
936
+ MakeUint128(Uint128High64(lhs) * Uint128Low64(rhs) +
937
+ Uint128Low64(lhs) * Uint128High64(rhs) + a32 * b32,
938
+ a00 * b00);
939
+ result += uint128(a32 * b00) << 32;
940
+ result += uint128(a00 * b32) << 32;
941
+ return result;
942
+ #endif // ABSL_HAVE_INTRINSIC128
943
+ }
944
+
945
+ // Increment/decrement operators.
946
+
947
+ inline uint128 uint128::operator++(int) {
948
+ uint128 tmp(*this);
949
+ *this += 1;
950
+ return tmp;
951
+ }
952
+
953
+ inline uint128 uint128::operator--(int) {
954
+ uint128 tmp(*this);
955
+ *this -= 1;
956
+ return tmp;
957
+ }
958
+
959
+ inline uint128& uint128::operator++() {
960
+ *this += 1;
961
+ return *this;
962
+ }
963
+
964
+ inline uint128& uint128::operator--() {
965
+ *this -= 1;
966
+ return *this;
967
+ }
968
+
969
+ constexpr int128 MakeInt128(int64_t high, uint64_t low) {
970
+ return int128(high, low);
971
+ }
972
+
973
+ // Assignment from integer types.
974
+ inline int128& int128::operator=(int v) {
975
+ return *this = int128(v);
976
+ }
977
+
978
+ inline int128& int128::operator=(unsigned int v) {
979
+ return *this = int128(v);
980
+ }
981
+
982
+ inline int128& int128::operator=(long v) { // NOLINT(runtime/int)
983
+ return *this = int128(v);
984
+ }
985
+
986
+ // NOLINTNEXTLINE(runtime/int)
987
+ inline int128& int128::operator=(unsigned long v) {
988
+ return *this = int128(v);
989
+ }
990
+
991
+ // NOLINTNEXTLINE(runtime/int)
992
+ inline int128& int128::operator=(long long v) {
993
+ return *this = int128(v);
994
+ }
995
+
996
+ // NOLINTNEXTLINE(runtime/int)
997
+ inline int128& int128::operator=(unsigned long long v) {
998
+ return *this = int128(v);
999
+ }
1000
+
1001
+ // Arithmetic operators.
1002
+
1003
+ int128 operator+(int128 lhs, int128 rhs);
1004
+ int128 operator-(int128 lhs, int128 rhs);
1005
+ int128 operator*(int128 lhs, int128 rhs);
1006
+ int128 operator/(int128 lhs, int128 rhs);
1007
+ int128 operator%(int128 lhs, int128 rhs);
1008
+ int128 operator|(int128 lhs, int128 rhs);
1009
+ int128 operator&(int128 lhs, int128 rhs);
1010
+ int128 operator^(int128 lhs, int128 rhs);
1011
+ int128 operator<<(int128 lhs, int amount);
1012
+ int128 operator>>(int128 lhs, int amount);
1013
+
1014
+ inline int128& int128::operator+=(int128 other) {
1015
+ *this = *this + other;
1016
+ return *this;
1017
+ }
1018
+
1019
+ inline int128& int128::operator-=(int128 other) {
1020
+ *this = *this - other;
1021
+ return *this;
1022
+ }
1023
+
1024
+ inline int128& int128::operator*=(int128 other) {
1025
+ *this = *this * other;
1026
+ return *this;
1027
+ }
1028
+
1029
+ inline int128& int128::operator/=(int128 other) {
1030
+ *this = *this / other;
1031
+ return *this;
1032
+ }
1033
+
1034
+ inline int128& int128::operator%=(int128 other) {
1035
+ *this = *this % other;
1036
+ return *this;
1037
+ }
1038
+
1039
+ inline int128& int128::operator|=(int128 other) {
1040
+ *this = *this | other;
1041
+ return *this;
1042
+ }
1043
+
1044
+ inline int128& int128::operator&=(int128 other) {
1045
+ *this = *this & other;
1046
+ return *this;
1047
+ }
1048
+
1049
+ inline int128& int128::operator^=(int128 other) {
1050
+ *this = *this ^ other;
1051
+ return *this;
1052
+ }
1053
+
1054
+ inline int128& int128::operator<<=(int amount) {
1055
+ *this = *this << amount;
1056
+ return *this;
1057
+ }
1058
+
1059
+ inline int128& int128::operator>>=(int amount) {
1060
+ *this = *this >> amount;
1061
+ return *this;
1062
+ }
1063
+
1064
+ namespace int128_internal {
1065
+
1066
+ // Casts from unsigned to signed while preserving the underlying binary
1067
+ // representation.
1068
+ constexpr int64_t BitCastToSigned(uint64_t v) {
1069
+ // Casting an unsigned integer to a signed integer of the same
1070
+ // width is implementation defined behavior if the source value would not fit
1071
+ // in the destination type. We step around it with a roundtrip bitwise not
1072
+ // operation to make sure this function remains constexpr. Clang, GCC, and
1073
+ // MSVC optimize this to a no-op on x86-64.
1074
+ return v & (uint64_t{1} << 63) ? ~static_cast<int64_t>(~v)
1075
+ : static_cast<int64_t>(v);
1076
+ }
1077
+
1078
+ } // namespace int128_internal
1079
+
1080
+ #if defined(ABSL_HAVE_INTRINSIC_INT128)
1081
+ #include "absl/numeric/int128_have_intrinsic.inc" // IWYU pragma: export
1082
+ #else // ABSL_HAVE_INTRINSIC_INT128
1083
+ #include "absl/numeric/int128_no_intrinsic.inc" // IWYU pragma: export
1084
+ #endif // ABSL_HAVE_INTRINSIC_INT128
1085
+
1086
+ ABSL_NAMESPACE_END
1087
+ } // namespace absl
1088
+
1089
+ #undef ABSL_INTERNAL_WCHAR_T
1090
+
1091
+ #endif // ABSL_NUMERIC_INT128_H_