From cf57fcfa0256df8d69638ab1462267413755ba86 Mon Sep 17 00:00:00 2001 From: Thomas Preud'homme Date: Wed, 28 Jun 2023 22:53:56 +0100 Subject: [FileCheck, 1/4] NFC: Switch ExpressionValue to APInt Use APInt internally to store values represented by ExpressionValue. This will allow to support any integer values in FileCheck numeric expression in a subsequent commit. Reviewed By: arichardson Differential Revision: https://reviews.llvm.org/D154428 --- llvm/lib/FileCheck/FileCheck.cpp | 41 +++++++++------------------------------- 1 file changed, 9 insertions(+), 32 deletions(-) (limited to 'llvm/lib/FileCheck/FileCheck.cpp') diff --git a/llvm/lib/FileCheck/FileCheck.cpp b/llvm/lib/FileCheck/FileCheck.cpp index f2ef46f12ef0..dd20bd3f0714 100644 --- a/llvm/lib/FileCheck/FileCheck.cpp +++ b/llvm/lib/FileCheck/FileCheck.cpp @@ -155,48 +155,25 @@ ExpressionFormat::valueFromStringRepr(StringRef StrVal, return ExpressionValue(UnsignedValue); } -static int64_t getAsSigned(uint64_t UnsignedValue) { - // Use memcpy to reinterpret the bitpattern in Value since casting to - // signed is implementation-defined if the unsigned value is too big to be - // represented in the signed type and using an union violates type aliasing - // rules. - int64_t SignedValue; - memcpy(&SignedValue, &UnsignedValue, sizeof(SignedValue)); - return SignedValue; -} - Expected ExpressionValue::getSignedValue() const { - if (Negative) - return getAsSigned(Value); - - if (Value > (uint64_t)std::numeric_limits::max()) + std::optional SignedValue = Value.trySExtValue(); + if (!SignedValue) return make_error(); - - // Value is in the representable range of int64_t so we can use cast. - return static_cast(Value); + return *SignedValue; } Expected ExpressionValue::getUnsignedValue() const { - if (Negative) + std::optional UnsignedValue = Value.tryZExtValue(); + if (!UnsignedValue) return make_error(); - return Value; + return *UnsignedValue; } ExpressionValue ExpressionValue::getAbsolute() const { - if (!Negative) - return *this; - - int64_t SignedValue = getAsSigned(Value); - int64_t MaxInt64 = std::numeric_limits::max(); - // Absolute value can be represented as int64_t. - if (SignedValue >= -MaxInt64) - return ExpressionValue(-getAsSigned(Value)); - - // -X == -(max int64_t + Rem), negate each component independently. - SignedValue += MaxInt64; - uint64_t RemainingValueAbsolute = -SignedValue; - return ExpressionValue(MaxInt64 + RemainingValueAbsolute); + unsigned bitwidth = Value.getBitWidth(); + assert(!Value.isNegative() || Value.isSignedIntN(bitwidth - 1)); + return ExpressionValue(Value.abs().getZExtValue()); } Expected llvm::operator+(const ExpressionValue &LeftOperand, -- cgit v1.2.3