xref: /freebsd/contrib/llvm-project/clang/lib/AST/Interp/IntegralAP.h (revision 7a6dacaca14b62ca4b74406814becb87a3fefac0)
15f757f3fSDimitry Andric //===--- Integral.h - Wrapper for numeric types for the VM ------*- C++ -*-===//
25f757f3fSDimitry Andric //
35f757f3fSDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
45f757f3fSDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
55f757f3fSDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
65f757f3fSDimitry Andric //
75f757f3fSDimitry Andric //===----------------------------------------------------------------------===//
85f757f3fSDimitry Andric //
95f757f3fSDimitry Andric // Defines the VM types and helpers operating on types.
105f757f3fSDimitry Andric //
115f757f3fSDimitry Andric //===----------------------------------------------------------------------===//
125f757f3fSDimitry Andric 
135f757f3fSDimitry Andric #ifndef LLVM_CLANG_AST_INTERP_INTEGRAL_AP_H
145f757f3fSDimitry Andric #define LLVM_CLANG_AST_INTERP_INTEGRAL_AP_H
155f757f3fSDimitry Andric 
165f757f3fSDimitry Andric #include "clang/AST/APValue.h"
175f757f3fSDimitry Andric #include "clang/AST/ComparisonCategories.h"
185f757f3fSDimitry Andric #include "llvm/ADT/APSInt.h"
195f757f3fSDimitry Andric #include "llvm/Support/MathExtras.h"
205f757f3fSDimitry Andric #include "llvm/Support/raw_ostream.h"
215f757f3fSDimitry Andric #include <cstddef>
225f757f3fSDimitry Andric #include <cstdint>
235f757f3fSDimitry Andric 
245f757f3fSDimitry Andric #include "Primitives.h"
255f757f3fSDimitry Andric 
265f757f3fSDimitry Andric namespace clang {
275f757f3fSDimitry Andric namespace interp {
285f757f3fSDimitry Andric 
295f757f3fSDimitry Andric using APInt = llvm::APInt;
305f757f3fSDimitry Andric using APSInt = llvm::APSInt;
315f757f3fSDimitry Andric template <unsigned Bits, bool Signed> class Integral;
325f757f3fSDimitry Andric 
335f757f3fSDimitry Andric template <bool Signed> class IntegralAP final {
345f757f3fSDimitry Andric private:
355f757f3fSDimitry Andric   friend IntegralAP<!Signed>;
365f757f3fSDimitry Andric   APInt V;
375f757f3fSDimitry Andric 
385f757f3fSDimitry Andric   template <typename T, bool InputSigned>
395f757f3fSDimitry Andric   static T truncateCast(const APInt &V) {
405f757f3fSDimitry Andric     constexpr unsigned BitSize = sizeof(T) * 8;
415f757f3fSDimitry Andric     if (BitSize >= V.getBitWidth()) {
425f757f3fSDimitry Andric       APInt Extended;
435f757f3fSDimitry Andric       if constexpr (InputSigned)
445f757f3fSDimitry Andric         Extended = V.sext(BitSize);
455f757f3fSDimitry Andric       else
465f757f3fSDimitry Andric         Extended = V.zext(BitSize);
475f757f3fSDimitry Andric       return std::is_signed_v<T> ? Extended.getSExtValue()
485f757f3fSDimitry Andric                                  : Extended.getZExtValue();
495f757f3fSDimitry Andric     }
505f757f3fSDimitry Andric 
515f757f3fSDimitry Andric     return std::is_signed_v<T> ? V.trunc(BitSize).getSExtValue()
525f757f3fSDimitry Andric                                : V.trunc(BitSize).getZExtValue();
535f757f3fSDimitry Andric   }
545f757f3fSDimitry Andric 
555f757f3fSDimitry Andric public:
565f757f3fSDimitry Andric   using AsUnsigned = IntegralAP<false>;
575f757f3fSDimitry Andric 
585f757f3fSDimitry Andric   template <typename T>
595f757f3fSDimitry Andric   IntegralAP(T Value, unsigned BitWidth)
605f757f3fSDimitry Andric       : V(APInt(BitWidth, static_cast<uint64_t>(Value), Signed)) {}
615f757f3fSDimitry Andric 
625f757f3fSDimitry Andric   IntegralAP(APInt V) : V(V) {}
635f757f3fSDimitry Andric   /// Arbitrary value for uninitialized variables.
645f757f3fSDimitry Andric   IntegralAP() : IntegralAP(-1, 1024) {}
655f757f3fSDimitry Andric 
665f757f3fSDimitry Andric   IntegralAP operator-() const { return IntegralAP(-V); }
675f757f3fSDimitry Andric   IntegralAP operator-(const IntegralAP &Other) const {
685f757f3fSDimitry Andric     return IntegralAP(V - Other.V);
695f757f3fSDimitry Andric   }
705f757f3fSDimitry Andric   bool operator>(const IntegralAP &RHS) const {
715f757f3fSDimitry Andric     if constexpr (Signed)
725f757f3fSDimitry Andric       return V.ugt(RHS.V);
735f757f3fSDimitry Andric     return V.sgt(RHS.V);
745f757f3fSDimitry Andric   }
755f757f3fSDimitry Andric   bool operator>=(IntegralAP RHS) const {
765f757f3fSDimitry Andric     if constexpr (Signed)
775f757f3fSDimitry Andric       return V.uge(RHS.V);
785f757f3fSDimitry Andric     return V.sge(RHS.V);
795f757f3fSDimitry Andric   }
805f757f3fSDimitry Andric   bool operator<(IntegralAP RHS) const {
815f757f3fSDimitry Andric     if constexpr (Signed)
825f757f3fSDimitry Andric       return V.slt(RHS.V);
835f757f3fSDimitry Andric     return V.slt(RHS.V);
845f757f3fSDimitry Andric   }
855f757f3fSDimitry Andric   bool operator<=(IntegralAP RHS) const {
865f757f3fSDimitry Andric     if constexpr (Signed)
875f757f3fSDimitry Andric       return V.ult(RHS.V);
885f757f3fSDimitry Andric     return V.ult(RHS.V);
895f757f3fSDimitry Andric   }
905f757f3fSDimitry Andric 
915f757f3fSDimitry Andric   template <typename Ty, typename = std::enable_if_t<std::is_integral_v<Ty>>>
925f757f3fSDimitry Andric   explicit operator Ty() const {
935f757f3fSDimitry Andric     return truncateCast<Ty, Signed>(V);
945f757f3fSDimitry Andric   }
955f757f3fSDimitry Andric 
965f757f3fSDimitry Andric   template <typename T> static IntegralAP from(T Value, unsigned NumBits = 0) {
975f757f3fSDimitry Andric     assert(NumBits > 0);
985f757f3fSDimitry Andric     APInt Copy = APInt(NumBits, static_cast<uint64_t>(Value), Signed);
995f757f3fSDimitry Andric 
1005f757f3fSDimitry Andric     return IntegralAP<Signed>(Copy);
1015f757f3fSDimitry Andric   }
1025f757f3fSDimitry Andric 
1035f757f3fSDimitry Andric   template <bool InputSigned>
1045f757f3fSDimitry Andric   static IntegralAP from(IntegralAP<InputSigned> V, unsigned NumBits = 0) {
1055f757f3fSDimitry Andric     if (NumBits == 0)
1065f757f3fSDimitry Andric       NumBits = V.bitWidth();
1075f757f3fSDimitry Andric 
1085f757f3fSDimitry Andric     if constexpr (InputSigned)
1095f757f3fSDimitry Andric       return IntegralAP<Signed>(V.V.sextOrTrunc(NumBits));
1105f757f3fSDimitry Andric     return IntegralAP<Signed>(V.V.zextOrTrunc(NumBits));
1115f757f3fSDimitry Andric   }
1125f757f3fSDimitry Andric 
1135f757f3fSDimitry Andric   template <unsigned Bits, bool InputSigned>
1145f757f3fSDimitry Andric   static IntegralAP from(Integral<Bits, InputSigned> I, unsigned BitWidth) {
1155f757f3fSDimitry Andric     APInt Copy = APInt(BitWidth, static_cast<uint64_t>(I), InputSigned);
1165f757f3fSDimitry Andric 
1175f757f3fSDimitry Andric     return IntegralAP<Signed>(Copy);
1185f757f3fSDimitry Andric   }
1195f757f3fSDimitry Andric 
1205f757f3fSDimitry Andric   static IntegralAP zero(int32_t BitWidth) {
1215f757f3fSDimitry Andric     APInt V = APInt(BitWidth, 0LL, Signed);
1225f757f3fSDimitry Andric     return IntegralAP(V);
1235f757f3fSDimitry Andric   }
1245f757f3fSDimitry Andric 
1255f757f3fSDimitry Andric   constexpr unsigned bitWidth() const { return V.getBitWidth(); }
1265f757f3fSDimitry Andric 
1275f757f3fSDimitry Andric   APSInt toAPSInt(unsigned Bits = 0) const {
1285f757f3fSDimitry Andric     if (Bits == 0)
1295f757f3fSDimitry Andric       Bits = bitWidth();
1305f757f3fSDimitry Andric 
1315f757f3fSDimitry Andric     if constexpr (Signed)
1325f757f3fSDimitry Andric       return APSInt(V.sext(Bits), !Signed);
1335f757f3fSDimitry Andric     else
1345f757f3fSDimitry Andric       return APSInt(V.zext(Bits), !Signed);
1355f757f3fSDimitry Andric   }
1365f757f3fSDimitry Andric   APValue toAPValue() const { return APValue(toAPSInt()); }
1375f757f3fSDimitry Andric 
1385f757f3fSDimitry Andric   bool isZero() const { return V.isZero(); }
1395f757f3fSDimitry Andric   bool isPositive() const { return V.isNonNegative(); }
1405f757f3fSDimitry Andric   bool isNegative() const { return !V.isNonNegative(); }
1415f757f3fSDimitry Andric   bool isMin() const { return V.isMinValue(); }
1425f757f3fSDimitry Andric   bool isMax() const { return V.isMaxValue(); }
1435f757f3fSDimitry Andric   static constexpr bool isSigned() { return Signed; }
1445f757f3fSDimitry Andric   bool isMinusOne() const { return Signed && V == -1; }
1455f757f3fSDimitry Andric 
1465f757f3fSDimitry Andric   unsigned countLeadingZeros() const { return V.countl_zero(); }
1475f757f3fSDimitry Andric 
1485f757f3fSDimitry Andric   void print(llvm::raw_ostream &OS) const { OS << V; }
1495f757f3fSDimitry Andric   std::string toDiagnosticString(const ASTContext &Ctx) const {
1505f757f3fSDimitry Andric     std::string NameStr;
1515f757f3fSDimitry Andric     llvm::raw_string_ostream OS(NameStr);
1525f757f3fSDimitry Andric     print(OS);
1535f757f3fSDimitry Andric     return NameStr;
1545f757f3fSDimitry Andric   }
1555f757f3fSDimitry Andric 
1565f757f3fSDimitry Andric   IntegralAP truncate(unsigned BitWidth) const {
1575f757f3fSDimitry Andric     return IntegralAP(V.trunc(BitWidth));
1585f757f3fSDimitry Andric   }
1595f757f3fSDimitry Andric 
1605f757f3fSDimitry Andric   IntegralAP<false> toUnsigned() const {
1615f757f3fSDimitry Andric     APInt Copy = V;
1625f757f3fSDimitry Andric     return IntegralAP<false>(Copy);
1635f757f3fSDimitry Andric   }
1645f757f3fSDimitry Andric 
1655f757f3fSDimitry Andric   ComparisonCategoryResult compare(const IntegralAP &RHS) const {
1665f757f3fSDimitry Andric     assert(Signed == RHS.isSigned());
1675f757f3fSDimitry Andric     assert(bitWidth() == RHS.bitWidth());
1685f757f3fSDimitry Andric     if constexpr (Signed) {
1695f757f3fSDimitry Andric       if (V.slt(RHS.V))
1705f757f3fSDimitry Andric         return ComparisonCategoryResult::Less;
1715f757f3fSDimitry Andric       if (V.sgt(RHS.V))
1725f757f3fSDimitry Andric         return ComparisonCategoryResult::Greater;
1735f757f3fSDimitry Andric       return ComparisonCategoryResult::Equal;
1745f757f3fSDimitry Andric     }
1755f757f3fSDimitry Andric 
1765f757f3fSDimitry Andric     assert(!Signed);
1775f757f3fSDimitry Andric     if (V.ult(RHS.V))
1785f757f3fSDimitry Andric       return ComparisonCategoryResult::Less;
1795f757f3fSDimitry Andric     if (V.ugt(RHS.V))
1805f757f3fSDimitry Andric       return ComparisonCategoryResult::Greater;
1815f757f3fSDimitry Andric     return ComparisonCategoryResult::Equal;
1825f757f3fSDimitry Andric   }
1835f757f3fSDimitry Andric 
1845f757f3fSDimitry Andric   static bool increment(IntegralAP A, IntegralAP *R) {
1855f757f3fSDimitry Andric     IntegralAP<Signed> One(1, A.bitWidth());
1865f757f3fSDimitry Andric     return add(A, One, A.bitWidth() + 1, R);
1875f757f3fSDimitry Andric   }
1885f757f3fSDimitry Andric 
1895f757f3fSDimitry Andric   static bool decrement(IntegralAP A, IntegralAP *R) {
1905f757f3fSDimitry Andric     IntegralAP<Signed> One(1, A.bitWidth());
1915f757f3fSDimitry Andric     return sub(A, One, A.bitWidth() + 1, R);
1925f757f3fSDimitry Andric   }
1935f757f3fSDimitry Andric 
1945f757f3fSDimitry Andric   static bool add(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {
1955f757f3fSDimitry Andric     return CheckAddSubMulUB<std::plus>(A, B, OpBits, R);
1965f757f3fSDimitry Andric   }
1975f757f3fSDimitry Andric 
1985f757f3fSDimitry Andric   static bool sub(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {
1995f757f3fSDimitry Andric     return CheckAddSubMulUB<std::minus>(A, B, OpBits, R);
2005f757f3fSDimitry Andric   }
2015f757f3fSDimitry Andric 
2025f757f3fSDimitry Andric   static bool mul(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {
2035f757f3fSDimitry Andric     return CheckAddSubMulUB<std::multiplies>(A, B, OpBits, R);
2045f757f3fSDimitry Andric   }
2055f757f3fSDimitry Andric 
2065f757f3fSDimitry Andric   static bool rem(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {
207*7a6dacacSDimitry Andric     if constexpr (Signed)
208*7a6dacacSDimitry Andric       *R = IntegralAP(A.V.srem(B.V));
209*7a6dacacSDimitry Andric     else
210*7a6dacacSDimitry Andric       *R = IntegralAP(A.V.urem(B.V));
2115f757f3fSDimitry Andric     return false;
2125f757f3fSDimitry Andric   }
2135f757f3fSDimitry Andric 
2145f757f3fSDimitry Andric   static bool div(IntegralAP A, IntegralAP B, unsigned OpBits, IntegralAP *R) {
215*7a6dacacSDimitry Andric     if constexpr (Signed)
216*7a6dacacSDimitry Andric       *R = IntegralAP(A.V.sdiv(B.V));
217*7a6dacacSDimitry Andric     else
218*7a6dacacSDimitry Andric       *R = IntegralAP(A.V.udiv(B.V));
2195f757f3fSDimitry Andric     return false;
2205f757f3fSDimitry Andric   }
2215f757f3fSDimitry Andric 
2225f757f3fSDimitry Andric   static bool bitAnd(IntegralAP A, IntegralAP B, unsigned OpBits,
2235f757f3fSDimitry Andric                      IntegralAP *R) {
2245f757f3fSDimitry Andric     *R = IntegralAP(A.V & B.V);
2255f757f3fSDimitry Andric     return false;
2265f757f3fSDimitry Andric   }
2275f757f3fSDimitry Andric 
2285f757f3fSDimitry Andric   static bool bitOr(IntegralAP A, IntegralAP B, unsigned OpBits,
2295f757f3fSDimitry Andric                     IntegralAP *R) {
2305f757f3fSDimitry Andric     *R = IntegralAP(A.V | B.V);
2315f757f3fSDimitry Andric     return false;
2325f757f3fSDimitry Andric   }
2335f757f3fSDimitry Andric 
2345f757f3fSDimitry Andric   static bool bitXor(IntegralAP A, IntegralAP B, unsigned OpBits,
2355f757f3fSDimitry Andric                      IntegralAP *R) {
2365f757f3fSDimitry Andric     *R = IntegralAP(A.V ^ B.V);
2375f757f3fSDimitry Andric     return false;
2385f757f3fSDimitry Andric   }
2395f757f3fSDimitry Andric 
2405f757f3fSDimitry Andric   static bool neg(const IntegralAP &A, IntegralAP *R) {
2415f757f3fSDimitry Andric     APInt AI = A.V;
2425f757f3fSDimitry Andric     AI.negate();
2435f757f3fSDimitry Andric     *R = IntegralAP(AI);
2445f757f3fSDimitry Andric     return false;
2455f757f3fSDimitry Andric   }
2465f757f3fSDimitry Andric 
2475f757f3fSDimitry Andric   static bool comp(IntegralAP A, IntegralAP *R) {
2485f757f3fSDimitry Andric     *R = IntegralAP(~A.V);
2495f757f3fSDimitry Andric     return false;
2505f757f3fSDimitry Andric   }
2515f757f3fSDimitry Andric 
2525f757f3fSDimitry Andric   static void shiftLeft(const IntegralAP A, const IntegralAP B, unsigned OpBits,
2535f757f3fSDimitry Andric                         IntegralAP *R) {
2545f757f3fSDimitry Andric     *R = IntegralAP(A.V.shl(B.V.getZExtValue()));
2555f757f3fSDimitry Andric   }
2565f757f3fSDimitry Andric 
2575f757f3fSDimitry Andric   static void shiftRight(const IntegralAP A, const IntegralAP B,
2585f757f3fSDimitry Andric                          unsigned OpBits, IntegralAP *R) {
2595f757f3fSDimitry Andric     unsigned ShiftAmount = B.V.getZExtValue();
2605f757f3fSDimitry Andric     if constexpr (Signed)
2615f757f3fSDimitry Andric       *R = IntegralAP(A.V.ashr(ShiftAmount));
2625f757f3fSDimitry Andric     else
2635f757f3fSDimitry Andric       *R = IntegralAP(A.V.lshr(ShiftAmount));
2645f757f3fSDimitry Andric   }
2655f757f3fSDimitry Andric 
2665f757f3fSDimitry Andric private:
2675f757f3fSDimitry Andric   template <template <typename T> class Op>
2685f757f3fSDimitry Andric   static bool CheckAddSubMulUB(const IntegralAP &A, const IntegralAP &B,
2695f757f3fSDimitry Andric                                unsigned BitWidth, IntegralAP *R) {
2705f757f3fSDimitry Andric     if constexpr (!Signed) {
2715f757f3fSDimitry Andric       R->V = Op<APInt>{}(A.V, B.V);
2725f757f3fSDimitry Andric       return false;
2735f757f3fSDimitry Andric     }
2745f757f3fSDimitry Andric 
2755f757f3fSDimitry Andric     const APSInt &LHS = A.toAPSInt();
2765f757f3fSDimitry Andric     const APSInt &RHS = B.toAPSInt();
2775f757f3fSDimitry Andric     APSInt Value = Op<APSInt>{}(LHS.extend(BitWidth), RHS.extend(BitWidth));
2785f757f3fSDimitry Andric     APSInt Result = Value.trunc(LHS.getBitWidth());
2795f757f3fSDimitry Andric     R->V = Result;
2805f757f3fSDimitry Andric 
2815f757f3fSDimitry Andric     return Result.extend(BitWidth) != Value;
2825f757f3fSDimitry Andric   }
2835f757f3fSDimitry Andric };
2845f757f3fSDimitry Andric 
2855f757f3fSDimitry Andric template <bool Signed>
2865f757f3fSDimitry Andric inline llvm::raw_ostream &operator<<(llvm::raw_ostream &OS,
2875f757f3fSDimitry Andric                                      IntegralAP<Signed> I) {
2885f757f3fSDimitry Andric   I.print(OS);
2895f757f3fSDimitry Andric   return OS;
2905f757f3fSDimitry Andric }
2915f757f3fSDimitry Andric 
2925f757f3fSDimitry Andric } // namespace interp
2935f757f3fSDimitry Andric } // namespace clang
2945f757f3fSDimitry Andric 
2955f757f3fSDimitry Andric #endif
296