Details | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 14 | pmbaty | 1 | //===-- llvm/ADT/APSInt.h - Arbitrary Precision Signed Int -----*- C++ -*--===// |
| 2 | // |
||
| 3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
||
| 4 | // See https://llvm.org/LICENSE.txt for license information. |
||
| 5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
||
| 6 | // |
||
| 7 | //===----------------------------------------------------------------------===// |
||
| 8 | /// |
||
| 9 | /// \file |
||
| 10 | /// This file implements the APSInt class, which is a simple class that |
||
| 11 | /// represents an arbitrary sized integer that knows its signedness. |
||
| 12 | /// |
||
| 13 | //===----------------------------------------------------------------------===// |
||
| 14 | |||
| 15 | #ifndef LLVM_ADT_APSINT_H |
||
| 16 | #define LLVM_ADT_APSINT_H |
||
| 17 | |||
| 18 | #include "llvm/ADT/APInt.h" |
||
| 19 | |||
| 20 | namespace llvm { |
||
| 21 | |||
| 22 | /// An arbitrary precision integer that knows its signedness. |
||
| 23 | class [[nodiscard]] APSInt : public APInt { |
||
| 24 | bool IsUnsigned = false; |
||
| 25 | |||
| 26 | public: |
||
| 27 | /// Default constructor that creates an uninitialized APInt. |
||
| 28 | explicit APSInt() = default; |
||
| 29 | |||
| 30 | /// Create an APSInt with the specified width, default to unsigned. |
||
| 31 | explicit APSInt(uint32_t BitWidth, bool isUnsigned = true) |
||
| 32 | : APInt(BitWidth, 0), IsUnsigned(isUnsigned) {} |
||
| 33 | |||
| 34 | explicit APSInt(APInt I, bool isUnsigned = true) |
||
| 35 | : APInt(std::move(I)), IsUnsigned(isUnsigned) {} |
||
| 36 | |||
| 37 | /// Construct an APSInt from a string representation. |
||
| 38 | /// |
||
| 39 | /// This constructor interprets the string \p Str using the radix of 10. |
||
| 40 | /// The interpretation stops at the end of the string. The bit width of the |
||
| 41 | /// constructed APSInt is determined automatically. |
||
| 42 | /// |
||
| 43 | /// \param Str the string to be interpreted. |
||
| 44 | explicit APSInt(StringRef Str); |
||
| 45 | |||
| 46 | /// Determine sign of this APSInt. |
||
| 47 | /// |
||
| 48 | /// \returns true if this APSInt is negative, false otherwise |
||
| 49 | bool isNegative() const { return isSigned() && APInt::isNegative(); } |
||
| 50 | |||
| 51 | /// Determine if this APSInt Value is non-negative (>= 0) |
||
| 52 | /// |
||
| 53 | /// \returns true if this APSInt is non-negative, false otherwise |
||
| 54 | bool isNonNegative() const { return !isNegative(); } |
||
| 55 | |||
| 56 | /// Determine if this APSInt Value is positive. |
||
| 57 | /// |
||
| 58 | /// This tests if the value of this APSInt is positive (> 0). Note |
||
| 59 | /// that 0 is not a positive value. |
||
| 60 | /// |
||
| 61 | /// \returns true if this APSInt is positive. |
||
| 62 | bool isStrictlyPositive() const { return isNonNegative() && !isZero(); } |
||
| 63 | |||
| 64 | APSInt &operator=(APInt RHS) { |
||
| 65 | // Retain our current sign. |
||
| 66 | APInt::operator=(std::move(RHS)); |
||
| 67 | return *this; |
||
| 68 | } |
||
| 69 | |||
| 70 | APSInt &operator=(uint64_t RHS) { |
||
| 71 | // Retain our current sign. |
||
| 72 | APInt::operator=(RHS); |
||
| 73 | return *this; |
||
| 74 | } |
||
| 75 | |||
| 76 | // Query sign information. |
||
| 77 | bool isSigned() const { return !IsUnsigned; } |
||
| 78 | bool isUnsigned() const { return IsUnsigned; } |
||
| 79 | void setIsUnsigned(bool Val) { IsUnsigned = Val; } |
||
| 80 | void setIsSigned(bool Val) { IsUnsigned = !Val; } |
||
| 81 | |||
| 82 | /// Append this APSInt to the specified SmallString. |
||
| 83 | void toString(SmallVectorImpl<char> &Str, unsigned Radix = 10) const { |
||
| 84 | APInt::toString(Str, Radix, isSigned()); |
||
| 85 | } |
||
| 86 | using APInt::toString; |
||
| 87 | |||
| 88 | /// If this int is representable using an int64_t. |
||
| 89 | bool isRepresentableByInt64() const { |
||
| 90 | // For unsigned values with 64 active bits, they technically fit into a |
||
| 91 | // int64_t, but the user may get negative numbers and has to manually cast |
||
| 92 | // them to unsigned. Let's not bet the user has the sanity to do that and |
||
| 93 | // not give them a vague value at the first place. |
||
| 94 | return isSigned() ? isSignedIntN(64) : isIntN(63); |
||
| 95 | } |
||
| 96 | |||
| 97 | /// Get the correctly-extended \c int64_t value. |
||
| 98 | int64_t getExtValue() const { |
||
| 99 | assert(isRepresentableByInt64() && "Too many bits for int64_t"); |
||
| 100 | return isSigned() ? getSExtValue() : getZExtValue(); |
||
| 101 | } |
||
| 102 | |||
| 103 | std::optional<int64_t> tryExtValue() const { |
||
| 104 | return isRepresentableByInt64() ? std::optional<int64_t>(getExtValue()) |
||
| 105 | : std::nullopt; |
||
| 106 | } |
||
| 107 | |||
| 108 | APSInt trunc(uint32_t width) const { |
||
| 109 | return APSInt(APInt::trunc(width), IsUnsigned); |
||
| 110 | } |
||
| 111 | |||
| 112 | APSInt extend(uint32_t width) const { |
||
| 113 | if (IsUnsigned) |
||
| 114 | return APSInt(zext(width), IsUnsigned); |
||
| 115 | else |
||
| 116 | return APSInt(sext(width), IsUnsigned); |
||
| 117 | } |
||
| 118 | |||
| 119 | APSInt extOrTrunc(uint32_t width) const { |
||
| 120 | if (IsUnsigned) |
||
| 121 | return APSInt(zextOrTrunc(width), IsUnsigned); |
||
| 122 | else |
||
| 123 | return APSInt(sextOrTrunc(width), IsUnsigned); |
||
| 124 | } |
||
| 125 | |||
| 126 | const APSInt &operator%=(const APSInt &RHS) { |
||
| 127 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 128 | if (IsUnsigned) |
||
| 129 | *this = urem(RHS); |
||
| 130 | else |
||
| 131 | *this = srem(RHS); |
||
| 132 | return *this; |
||
| 133 | } |
||
| 134 | const APSInt &operator/=(const APSInt &RHS) { |
||
| 135 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 136 | if (IsUnsigned) |
||
| 137 | *this = udiv(RHS); |
||
| 138 | else |
||
| 139 | *this = sdiv(RHS); |
||
| 140 | return *this; |
||
| 141 | } |
||
| 142 | APSInt operator%(const APSInt &RHS) const { |
||
| 143 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 144 | return IsUnsigned ? APSInt(urem(RHS), true) : APSInt(srem(RHS), false); |
||
| 145 | } |
||
| 146 | APSInt operator/(const APSInt &RHS) const { |
||
| 147 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 148 | return IsUnsigned ? APSInt(udiv(RHS), true) : APSInt(sdiv(RHS), false); |
||
| 149 | } |
||
| 150 | |||
| 151 | APSInt operator>>(unsigned Amt) const { |
||
| 152 | return IsUnsigned ? APSInt(lshr(Amt), true) : APSInt(ashr(Amt), false); |
||
| 153 | } |
||
| 154 | APSInt &operator>>=(unsigned Amt) { |
||
| 155 | if (IsUnsigned) |
||
| 156 | lshrInPlace(Amt); |
||
| 157 | else |
||
| 158 | ashrInPlace(Amt); |
||
| 159 | return *this; |
||
| 160 | } |
||
| 161 | APSInt relativeShr(unsigned Amt) const { |
||
| 162 | return IsUnsigned ? APSInt(relativeLShr(Amt), true) |
||
| 163 | : APSInt(relativeAShr(Amt), false); |
||
| 164 | } |
||
| 165 | |||
| 166 | inline bool operator<(const APSInt &RHS) const { |
||
| 167 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 168 | return IsUnsigned ? ult(RHS) : slt(RHS); |
||
| 169 | } |
||
| 170 | inline bool operator>(const APSInt &RHS) const { |
||
| 171 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 172 | return IsUnsigned ? ugt(RHS) : sgt(RHS); |
||
| 173 | } |
||
| 174 | inline bool operator<=(const APSInt &RHS) const { |
||
| 175 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 176 | return IsUnsigned ? ule(RHS) : sle(RHS); |
||
| 177 | } |
||
| 178 | inline bool operator>=(const APSInt &RHS) const { |
||
| 179 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 180 | return IsUnsigned ? uge(RHS) : sge(RHS); |
||
| 181 | } |
||
| 182 | inline bool operator==(const APSInt &RHS) const { |
||
| 183 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 184 | return eq(RHS); |
||
| 185 | } |
||
| 186 | inline bool operator!=(const APSInt &RHS) const { return !((*this) == RHS); } |
||
| 187 | |||
| 188 | bool operator==(int64_t RHS) const { |
||
| 189 | return compareValues(*this, get(RHS)) == 0; |
||
| 190 | } |
||
| 191 | bool operator!=(int64_t RHS) const { |
||
| 192 | return compareValues(*this, get(RHS)) != 0; |
||
| 193 | } |
||
| 194 | bool operator<=(int64_t RHS) const { |
||
| 195 | return compareValues(*this, get(RHS)) <= 0; |
||
| 196 | } |
||
| 197 | bool operator>=(int64_t RHS) const { |
||
| 198 | return compareValues(*this, get(RHS)) >= 0; |
||
| 199 | } |
||
| 200 | bool operator<(int64_t RHS) const { |
||
| 201 | return compareValues(*this, get(RHS)) < 0; |
||
| 202 | } |
||
| 203 | bool operator>(int64_t RHS) const { |
||
| 204 | return compareValues(*this, get(RHS)) > 0; |
||
| 205 | } |
||
| 206 | |||
| 207 | // The remaining operators just wrap the logic of APInt, but retain the |
||
| 208 | // signedness information. |
||
| 209 | |||
| 210 | APSInt operator<<(unsigned Bits) const { |
||
| 211 | return APSInt(static_cast<const APInt &>(*this) << Bits, IsUnsigned); |
||
| 212 | } |
||
| 213 | APSInt &operator<<=(unsigned Amt) { |
||
| 214 | static_cast<APInt &>(*this) <<= Amt; |
||
| 215 | return *this; |
||
| 216 | } |
||
| 217 | APSInt relativeShl(unsigned Amt) const { |
||
| 218 | return IsUnsigned ? APSInt(relativeLShl(Amt), true) |
||
| 219 | : APSInt(relativeAShl(Amt), false); |
||
| 220 | } |
||
| 221 | |||
| 222 | APSInt &operator++() { |
||
| 223 | ++(static_cast<APInt &>(*this)); |
||
| 224 | return *this; |
||
| 225 | } |
||
| 226 | APSInt &operator--() { |
||
| 227 | --(static_cast<APInt &>(*this)); |
||
| 228 | return *this; |
||
| 229 | } |
||
| 230 | APSInt operator++(int) { |
||
| 231 | return APSInt(++static_cast<APInt &>(*this), IsUnsigned); |
||
| 232 | } |
||
| 233 | APSInt operator--(int) { |
||
| 234 | return APSInt(--static_cast<APInt &>(*this), IsUnsigned); |
||
| 235 | } |
||
| 236 | APSInt operator-() const { |
||
| 237 | return APSInt(-static_cast<const APInt &>(*this), IsUnsigned); |
||
| 238 | } |
||
| 239 | APSInt &operator+=(const APSInt &RHS) { |
||
| 240 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 241 | static_cast<APInt &>(*this) += RHS; |
||
| 242 | return *this; |
||
| 243 | } |
||
| 244 | APSInt &operator-=(const APSInt &RHS) { |
||
| 245 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 246 | static_cast<APInt &>(*this) -= RHS; |
||
| 247 | return *this; |
||
| 248 | } |
||
| 249 | APSInt &operator*=(const APSInt &RHS) { |
||
| 250 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 251 | static_cast<APInt &>(*this) *= RHS; |
||
| 252 | return *this; |
||
| 253 | } |
||
| 254 | APSInt &operator&=(const APSInt &RHS) { |
||
| 255 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 256 | static_cast<APInt &>(*this) &= RHS; |
||
| 257 | return *this; |
||
| 258 | } |
||
| 259 | APSInt &operator|=(const APSInt &RHS) { |
||
| 260 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 261 | static_cast<APInt &>(*this) |= RHS; |
||
| 262 | return *this; |
||
| 263 | } |
||
| 264 | APSInt &operator^=(const APSInt &RHS) { |
||
| 265 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 266 | static_cast<APInt &>(*this) ^= RHS; |
||
| 267 | return *this; |
||
| 268 | } |
||
| 269 | |||
| 270 | APSInt operator&(const APSInt &RHS) const { |
||
| 271 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 272 | return APSInt(static_cast<const APInt &>(*this) & RHS, IsUnsigned); |
||
| 273 | } |
||
| 274 | |||
| 275 | APSInt operator|(const APSInt &RHS) const { |
||
| 276 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 277 | return APSInt(static_cast<const APInt &>(*this) | RHS, IsUnsigned); |
||
| 278 | } |
||
| 279 | |||
| 280 | APSInt operator^(const APSInt &RHS) const { |
||
| 281 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 282 | return APSInt(static_cast<const APInt &>(*this) ^ RHS, IsUnsigned); |
||
| 283 | } |
||
| 284 | |||
| 285 | APSInt operator*(const APSInt &RHS) const { |
||
| 286 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 287 | return APSInt(static_cast<const APInt &>(*this) * RHS, IsUnsigned); |
||
| 288 | } |
||
| 289 | APSInt operator+(const APSInt &RHS) const { |
||
| 290 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 291 | return APSInt(static_cast<const APInt &>(*this) + RHS, IsUnsigned); |
||
| 292 | } |
||
| 293 | APSInt operator-(const APSInt &RHS) const { |
||
| 294 | assert(IsUnsigned == RHS.IsUnsigned && "Signedness mismatch!"); |
||
| 295 | return APSInt(static_cast<const APInt &>(*this) - RHS, IsUnsigned); |
||
| 296 | } |
||
| 297 | APSInt operator~() const { |
||
| 298 | return APSInt(~static_cast<const APInt &>(*this), IsUnsigned); |
||
| 299 | } |
||
| 300 | |||
| 301 | /// Return the APSInt representing the maximum integer value with the given |
||
| 302 | /// bit width and signedness. |
||
| 303 | static APSInt getMaxValue(uint32_t numBits, bool Unsigned) { |
||
| 304 | return APSInt(Unsigned ? APInt::getMaxValue(numBits) |
||
| 305 | : APInt::getSignedMaxValue(numBits), |
||
| 306 | Unsigned); |
||
| 307 | } |
||
| 308 | |||
| 309 | /// Return the APSInt representing the minimum integer value with the given |
||
| 310 | /// bit width and signedness. |
||
| 311 | static APSInt getMinValue(uint32_t numBits, bool Unsigned) { |
||
| 312 | return APSInt(Unsigned ? APInt::getMinValue(numBits) |
||
| 313 | : APInt::getSignedMinValue(numBits), |
||
| 314 | Unsigned); |
||
| 315 | } |
||
| 316 | |||
| 317 | /// Determine if two APSInts have the same value, zero- or |
||
| 318 | /// sign-extending as needed. |
||
| 319 | static bool isSameValue(const APSInt &I1, const APSInt &I2) { |
||
| 320 | return !compareValues(I1, I2); |
||
| 321 | } |
||
| 322 | |||
| 323 | /// Compare underlying values of two numbers. |
||
| 324 | static int compareValues(const APSInt &I1, const APSInt &I2) { |
||
| 325 | if (I1.getBitWidth() == I2.getBitWidth() && I1.isSigned() == I2.isSigned()) |
||
| 326 | return I1.IsUnsigned ? I1.compare(I2) : I1.compareSigned(I2); |
||
| 327 | |||
| 328 | // Check for a bit-width mismatch. |
||
| 329 | if (I1.getBitWidth() > I2.getBitWidth()) |
||
| 330 | return compareValues(I1, I2.extend(I1.getBitWidth())); |
||
| 331 | if (I2.getBitWidth() > I1.getBitWidth()) |
||
| 332 | return compareValues(I1.extend(I2.getBitWidth()), I2); |
||
| 333 | |||
| 334 | // We have a signedness mismatch. Check for negative values and do an |
||
| 335 | // unsigned compare if both are positive. |
||
| 336 | if (I1.isSigned()) { |
||
| 337 | assert(!I2.isSigned() && "Expected signed mismatch"); |
||
| 338 | if (I1.isNegative()) |
||
| 339 | return -1; |
||
| 340 | } else { |
||
| 341 | assert(I2.isSigned() && "Expected signed mismatch"); |
||
| 342 | if (I2.isNegative()) |
||
| 343 | return 1; |
||
| 344 | } |
||
| 345 | |||
| 346 | return I1.compare(I2); |
||
| 347 | } |
||
| 348 | |||
| 349 | static APSInt get(int64_t X) { return APSInt(APInt(64, X), false); } |
||
| 350 | static APSInt getUnsigned(uint64_t X) { return APSInt(APInt(64, X), true); } |
||
| 351 | |||
| 352 | /// Used to insert APSInt objects, or objects that contain APSInt objects, |
||
| 353 | /// into FoldingSets. |
||
| 354 | void Profile(FoldingSetNodeID &ID) const; |
||
| 355 | }; |
||
| 356 | |||
| 357 | inline bool operator==(int64_t V1, const APSInt &V2) { return V2 == V1; } |
||
| 358 | inline bool operator!=(int64_t V1, const APSInt &V2) { return V2 != V1; } |
||
| 359 | inline bool operator<=(int64_t V1, const APSInt &V2) { return V2 >= V1; } |
||
| 360 | inline bool operator>=(int64_t V1, const APSInt &V2) { return V2 <= V1; } |
||
| 361 | inline bool operator<(int64_t V1, const APSInt &V2) { return V2 > V1; } |
||
| 362 | inline bool operator>(int64_t V1, const APSInt &V2) { return V2 < V1; } |
||
| 363 | |||
| 364 | inline raw_ostream &operator<<(raw_ostream &OS, const APSInt &I) { |
||
| 365 | I.print(OS, I.isSigned()); |
||
| 366 | return OS; |
||
| 367 | } |
||
| 368 | |||
| 369 | /// Provide DenseMapInfo for APSInt, using the DenseMapInfo for APInt. |
||
| 370 | template <> struct DenseMapInfo<APSInt, void> { |
||
| 371 | static inline APSInt getEmptyKey() { |
||
| 372 | return APSInt(DenseMapInfo<APInt, void>::getEmptyKey()); |
||
| 373 | } |
||
| 374 | |||
| 375 | static inline APSInt getTombstoneKey() { |
||
| 376 | return APSInt(DenseMapInfo<APInt, void>::getTombstoneKey()); |
||
| 377 | } |
||
| 378 | |||
| 379 | static unsigned getHashValue(const APSInt &Key) { |
||
| 380 | return DenseMapInfo<APInt, void>::getHashValue(Key); |
||
| 381 | } |
||
| 382 | |||
| 383 | static bool isEqual(const APSInt &LHS, const APSInt &RHS) { |
||
| 384 | return LHS.getBitWidth() == RHS.getBitWidth() && |
||
| 385 | LHS.isUnsigned() == RHS.isUnsigned() && LHS == RHS; |
||
| 386 | } |
||
| 387 | }; |
||
| 388 | |||
| 389 | } // end namespace llvm |
||
| 390 | |||
| 391 | #endif |