13#ifndef LLVM_CLANG_AST_APVALUE_H
14#define LLVM_CLANG_AST_APVALUE_H
17#include "llvm/ADT/APFixedPoint.h"
18#include "llvm/ADT/APFloat.h"
19#include "llvm/ADT/APSInt.h"
20#include "llvm/ADT/FoldingSet.h"
21#include "llvm/ADT/PointerIntPair.h"
22#include "llvm/ADT/PointerUnion.h"
23#include "llvm/Support/AlignOf.h"
26namespace serialization {
52 explicit operator bool()
const {
return T; }
73 explicit operator bool()
const {
return Index != 0; }
76 return reinterpret_cast<void *
>(
static_cast<uintptr_t>(Index)
96 return V.getOpaqueValue();
103 static constexpr int NumLowBitsAvailable = 3;
108 return V.getOpaqueValue();
113 static constexpr int NumLowBitsAvailable =
123 typedef llvm::APFixedPoint APFixedPoint;
124 typedef llvm::APSInt APSInt;
125 typedef llvm::APFloat APFloat;
158 void Profile(llvm::FoldingSetNodeID &
ID)
const;
160 template <
class T>
bool is()
const {
return isa<T>(Ptr); }
162 template <
class T>
T get()
const {
return cast<T>(Ptr); }
171 explicit operator bool()
const;
182 return !(LHS == RHS);
190 unsigned CallIndex, Version;
207 static_assert(
sizeof(
uintptr_t) <=
sizeof(uint64_t),
208 "pointer doesn't fit in 64 bits?");
221 return BaseOrMemberType::getFromOpaqueValue(
222 reinterpret_cast<void *
>(
Value));
226 void Profile(llvm::FoldingSetNodeID &
ID)
const;
229 return A.Value == B.Value;
232 return A.Value != B.Value;
258 struct ComplexAPSInt {
260 ComplexAPSInt() : Real(1), Imag(1) {}
262 struct ComplexAPFloat {
264 ComplexAPFloat() : Real(0.0), Imag(0.0) {}
269 unsigned NumElts = 0;
271 Vec(
const Vec &) =
delete;
272 Vec &operator=(
const Vec &) =
delete;
273 ~Vec() {
delete[] Elts; }
277 unsigned NumElts, ArrSize;
278 Arr(
unsigned NumElts,
unsigned ArrSize);
279 Arr(
const Arr &) =
delete;
280 Arr &operator=(
const Arr &) =
delete;
287 StructData(
unsigned NumBases,
unsigned NumFields);
288 StructData(
const StructData &) =
delete;
289 StructData &operator=(
const StructData &) =
delete;
293 const FieldDecl *
Field;
296 UnionData(
const UnionData &) =
delete;
297 UnionData &operator=(
const UnionData &) =
delete;
300 struct AddrLabelDiffData {
301 const AddrLabelExpr* LHSExpr;
302 const AddrLabelExpr* RHSExpr;
304 struct MemberPointerData;
307 typedef llvm::AlignedCharArrayUnion<
void *,
APSInt,
APFloat, ComplexAPSInt,
308 ComplexAPFloat, Vec, Arr, StructData,
309 UnionData, AddrLabelDiffData> DataType;
310 static const size_t DataSize =
sizeof(DataType);
319 MakeInt();
setInt(std::move(I));
323 MakeFloat();
setFloat(std::move(F));
327 MakeFixedPoint(std::move(FX));
350 bool IsNullPtr =
false)
364 bool IsNullPtr =
false)
375 MakeArray(InitElts, Size);
382 MakeStruct(NumBases, NumMembers);
399 MakeMemberPointer(
Member, IsDerivedMember,
Path);
419 DestroyDataAndMakeUninit();
435 void Profile(llvm::FoldingSetNodeID &
ID)
const;
466 assert(
isInt() &&
"Invalid accessor");
467 return *(APSInt *)(
char *)&
Data;
480 assert(
isFloat() &&
"Invalid accessor");
481 return *(APFloat *)(
char *)&
Data;
489 return *(APFixedPoint *)(
char *)&
Data;
497 return ((ComplexAPSInt *)(
char *)&
Data)->Real;
505 return ((ComplexAPSInt *)(
char *)&
Data)->Imag;
513 return ((ComplexAPFloat *)(
char *)&
Data)->Real;
521 return ((ComplexAPFloat *)(
char *)&
Data)->Imag;
540 assert(
isVector() &&
"Invalid accessor");
542 return ((Vec *)(
char *)&
Data)->Elts[I];
548 assert(
isVector() &&
"Invalid accessor");
549 return ((
const Vec *)(
const void *)&
Data)->NumElts;
553 assert(
isArray() &&
"Invalid accessor");
555 return ((Arr *)(
char *)&
Data)->Elts[I];
564 assert(
isArray() &&
"Invalid accessor");
572 assert(
isArray() &&
"Invalid accessor");
573 return ((
const Arr *)(
const void *)&
Data)->NumElts;
576 assert(
isArray() &&
"Invalid accessor");
577 return ((
const Arr *)(
const void *)&
Data)->ArrSize;
581 assert(
isStruct() &&
"Invalid accessor");
582 return ((
const StructData *)(
const char *)&
Data)->NumBases;
585 assert(
isStruct() &&
"Invalid accessor");
586 return ((
const StructData *)(
const char *)&
Data)->NumFields;
589 assert(
isStruct() &&
"Invalid accessor");
591 return ((StructData *)(
char *)&
Data)->Elts[i];
594 assert(
isStruct() &&
"Invalid accessor");
606 assert(
isUnion() &&
"Invalid accessor");
607 return ((
const UnionData *)(
const char *)&
Data)->Field;
610 assert(
isUnion() &&
"Invalid accessor");
611 return *((UnionData *)(
char *)&
Data)->
Value;
623 return ((
const AddrLabelDiffData *)(
const char *)&
Data)->LHSExpr;
627 return ((
const AddrLabelDiffData *)(
const char *)&
Data)->RHSExpr;
631 assert(
isInt() &&
"Invalid accessor");
632 *(APSInt *)(
char *)&
Data = std::move(I);
635 assert(
isFloat() &&
"Invalid accessor");
636 *(APFloat *)(
char *)&
Data = std::move(F);
640 *(APFixedPoint *)(
char *)&
Data = std::move(FX);
644 for (
unsigned i = 0; i != N; ++i)
645 InternalElts[i] =
E[i];
648 assert(R.getBitWidth() == I.getBitWidth() &&
649 "Invalid complex int (type mismatch).");
651 ((ComplexAPSInt *)(
char *)&
Data)->Real = std::move(R);
652 ((ComplexAPSInt *)(
char *)&
Data)->Imag = std::move(I);
655 assert(&R.getSemantics() == &I.getSemantics() &&
656 "Invalid complex float (type mismatch).");
658 ((ComplexAPFloat *)(
char *)&
Data)->Real = std::move(R);
659 ((ComplexAPFloat *)(
char *)&
Data)->Imag = std::move(I);
669 ((AddrLabelDiffData *)(
char *)&
Data)->LHSExpr = LHSExpr;
670 ((AddrLabelDiffData *)(
char *)&
Data)->RHSExpr = RHSExpr;
674 void DestroyDataAndMakeUninit();
676 assert(
isAbsent() &&
"Bad state change");
681 assert(
isAbsent() &&
"Bad state change");
682 new ((
void *)(
char *)&
Data) APFloat(0.0);
685 void MakeFixedPoint(APFixedPoint &&FX) {
686 assert(
isAbsent() &&
"Bad state change");
687 new ((
void *)(
char *)&
Data) APFixedPoint(std::move(FX));
691 assert(
isAbsent() &&
"Bad state change");
692 new ((
void *)(
char *)&
Data) Vec();
695 void MakeComplexInt() {
696 assert(
isAbsent() &&
"Bad state change");
697 new ((
void *)(
char *)&
Data) ComplexAPSInt();
700 void MakeComplexFloat() {
701 assert(
isAbsent() &&
"Bad state change");
702 new ((
void *)(
char *)&
Data) ComplexAPFloat();
706 void MakeArray(
unsigned InitElts,
unsigned Size);
707 void MakeStruct(
unsigned B,
unsigned M) {
708 assert(
isAbsent() &&
"Bad state change");
709 new ((
void *)(
char *)&
Data) StructData(B, M);
713 assert(
isAbsent() &&
"Bad state change");
714 new ((
void *)(
char *)&
Data) UnionData();
717 void MakeMemberPointer(
const ValueDecl *
Member,
bool IsDerivedMember,
718 ArrayRef<const CXXRecordDecl*>
Path);
719 void MakeAddrLabelDiff() {
720 assert(
isAbsent() &&
"Bad state change");
721 new ((
void *)(
char *)&
Data) AddrLabelDiffData();
729 MutableArrayRef<APValue> setVectorUninit(
unsigned N) {
730 assert(
isVector() &&
"Invalid accessor");
731 Vec *
V = ((Vec *)(
char *)&
Data);
734 return {
V->Elts,
V->NumElts};
736 MutableArrayRef<LValuePathEntry>
737 setLValueUninit(LValueBase B,
const CharUnits &O,
unsigned Size,
738 bool OnePastTheEnd,
bool IsNullPtr);
739 MutableArrayRef<const CXXRecordDecl *>
740 setMemberPointerUninit(
const ValueDecl *
Member,
bool IsDerivedMember,
747template<>
struct DenseMapInfo<
clang::APValue::LValueBase> {
enum clang::sema::@1718::IndirectLocalPathEntry::EntryKind Kind
Forward-declares and imports various common LLVM datatypes that clang wants to use unqualified.
friend llvm::hash_code hash_value(const LValueBase &Base)
friend bool operator!=(const LValueBase &LHS, const LValueBase &RHS)
void Profile(llvm::FoldingSetNodeID &ID) const
unsigned getVersion() const
QualType getDynamicAllocType() const
QualType getTypeInfoType() const
friend bool operator==(const LValueBase &LHS, const LValueBase &RHS)
void * DynamicAllocType
The QualType, if this is a DynamicAllocLValue.
static LValueBase getTypeInfo(TypeInfoLValue LV, QualType TypeInfo)
static LValueBase getDynamicAlloc(DynamicAllocLValue LV, QualType Type)
void * TypeInfoType
The type std::type_info, if this is a TypeInfoLValue.
void * getOpaqueValue() const
unsigned getCallIndex() const
A non-discriminated union of a base, field, or array index.
BaseOrMemberType getAsBaseOrMember() const
uint64_t getAsArrayIndex() const
friend llvm::hash_code hash_value(LValuePathEntry A)
friend bool operator!=(LValuePathEntry A, LValuePathEntry B)
static LValuePathEntry ArrayIndex(uint64_t Index)
friend bool operator==(LValuePathEntry A, LValuePathEntry B)
void Profile(llvm::FoldingSetNodeID &ID) const
ArrayRef< LValuePathEntry > Path
APValue - This class implements a discriminated union of [uninitialized] [APSInt] [APFloat],...
const APSInt & getComplexIntReal() const
bool hasArrayFiller() const
const LValueBase getLValueBase() const
APValue(LValueBase Base, const CharUnits &Offset, NoLValuePath, bool IsNullPtr=false)
Creates an lvalue APValue without an lvalue path.
APValue(APFloat F)
Creates a float APValue holding the given value.
APValue & getArrayInitializedElt(unsigned I)
ArrayRef< LValuePathEntry > getLValuePath() const
void swap(APValue &RHS)
Swaps the contents of this and the given APValue.
APValue & getStructField(unsigned i)
APValue(APSInt I)
Creates an integer APValue holding the given value.
const FieldDecl * getUnionField() const
const APFloat & getFloat() const
APSInt & getComplexIntImag()
unsigned getStructNumFields() const
const APValue & getArrayInitializedElt(unsigned I) const
APValue(APFloat R, APFloat I)
Creates a float complex APValue with the given real and imaginary values.
APValue(const FieldDecl *ActiveDecl, const APValue &ActiveValue=APValue())
Creates a new union APValue.
bool isComplexInt() const
llvm::PointerIntPair< const Decl *, 1, bool > BaseOrMemberType
A FieldDecl or CXXRecordDecl, along with a flag indicating whether we mean a virtual or non-virtual b...
ValueKind getKind() const
bool isLValueOnePastTheEnd() const
APValue(const APValue *E, unsigned N)
Creates a vector APValue with N elements.
void setFixedPoint(APFixedPoint FX)
unsigned getLValueVersion() const
bool isMemberPointerToDerivedMember() const
unsigned getArrayInitializedElts() const
static APValue IndeterminateValue()
void setComplexInt(APSInt R, APSInt I)
const APFixedPoint & getFixedPoint() const
void Profile(llvm::FoldingSetNodeID &ID) const
profile this value.
unsigned getStructNumBases() const
APFixedPoint & getFixedPoint()
APValue(const ValueDecl *Member, bool IsDerivedMember, ArrayRef< const CXXRecordDecl * > Path)
Creates a new member pointer APValue.
bool needsCleanup() const
Returns whether the object performed allocations.
const APValue & getStructBase(unsigned i) const
APValue(LValueBase Base, const CharUnits &Offset, ArrayRef< LValuePathEntry > Path, bool OnePastTheEnd, bool IsNullPtr=false)
Creates an lvalue APValue with an lvalue path.
bool hasLValuePath() const
const ValueDecl * getMemberPointerDecl() const
APValue & getUnionValue()
const AddrLabelExpr * getAddrLabelDiffRHS() const
CharUnits & getLValueOffset()
void printPretty(raw_ostream &OS, const ASTContext &Ctx, QualType Ty) const
void setAddrLabelDiff(const AddrLabelExpr *LHSExpr, const AddrLabelExpr *RHSExpr)
void setComplexFloat(APFloat R, APFloat I)
bool isComplexFloat() const
APValue & getVectorElt(unsigned I)
APValue & getArrayFiller()
const APValue & getArrayFiller() const
const APFloat & getComplexFloatImag() const
unsigned getVectorLength() const
const APValue & getUnionValue() const
const APValue & getVectorElt(unsigned I) const
APValue(UninitArray, unsigned InitElts, unsigned Size)
Creates a new array APValue.
APValue(UninitStruct, unsigned NumBases, unsigned NumMembers)
Creates a new struct APValue.
void setUnion(const FieldDecl *Field, const APValue &Value)
APValue(const AddrLabelExpr *LHSExpr, const AddrLabelExpr *RHSExpr)
Creates a new address label diff APValue.
bool isIndeterminate() const
void setLValue(LValueBase B, const CharUnits &O, NoLValuePath, bool IsNullPtr)
ArrayRef< const CXXRecordDecl * > getMemberPointerPath() const
bool isMemberPointer() const
const APSInt & getInt() const
const APFloat & getComplexFloatReal() const
unsigned getArraySize() const
APValue(APSInt R, APSInt I)
Creates an integer complex APValue with the given real and imaginary values.
bool toIntegralConstant(APSInt &Result, QualType SrcTy, const ASTContext &Ctx) const
Try to convert this value to an integral constant.
const CharUnits & getLValueOffset() const
std::string getAsString(const ASTContext &Ctx, QualType Ty) const
bool isFixedPoint() const
APValue & operator=(const APValue &RHS)
unsigned getLValueCallIndex() const
void setVector(const APValue *E, unsigned N)
@ Indeterminate
This object has an indeterminate value (C++ [basic.indet]).
@ None
There is no such object (it's outside its lifetime).
const APValue & getStructField(unsigned i) const
const APSInt & getComplexIntImag() const
bool isNullPointer() const
APSInt & getComplexIntReal()
APFloat & getComplexFloatImag()
APFloat & getComplexFloatReal()
APValue & getStructBase(unsigned i)
APValue(APFixedPoint FX)
Creates a fixed-point APValue holding the given value.
const AddrLabelExpr * getAddrLabelDiffLHS() const
bool isAddrLabelDiff() const
APValue()
Creates an empty APValue of type None.
Holds long-lived AST nodes (such as types and decls) that can be referred to throughout the semantic ...
Imports selected nodes from one AST context into another context, merging AST nodes where appropriate...
AddrLabelExpr - The GNU address of label extension, representing &&label.
Represents a C++ struct/union/class.
CharUnits - This is an opaque type for sizes expressed in character units.
Decl - This represents one declaration (or definition), e.g.
A little helper class used to produce diagnostics.
Symbolic representation of a dynamic allocation.
static unsigned getMaxIndex()
static constexpr int NumLowBitsAvailable
DynamicAllocLValue(unsigned Index)
static DynamicAllocLValue getFromOpaqueValue(void *Value)
This represents one expression.
Represents a member of a struct/union/class.
A (possibly-)qualified type.
Symbolic representation of typeid(T) for some type T.
const Type * getType() const
static TypeInfoLValue getFromOpaqueValue(void *Value)
void print(llvm::raw_ostream &Out, const PrintingPolicy &Policy) const
The base class of the type hierarchy.
Represent the declaration of a variable (in which case it is an lvalue) a function (in which case it ...
The JSON file list parser is used to communicate input to InstallAPI.
@ Result
The result type of a method or function.
const FunctionProtoType * T
Diagnostic wrappers for TextAPI types for error reporting.
hash_code hash_value(const clang::tooling::dependencies::ModuleID &ID)
__UINTPTR_TYPE__ uintptr_t
An unsigned integer type with the property that any valid pointer to void can be converted to this ty...
Describes how types, statements, expressions, and declarations should be printed.
static void * getAsVoidPointer(clang::DynamicAllocLValue V)
static clang::DynamicAllocLValue getFromVoidPointer(void *P)
static void * getAsVoidPointer(clang::TypeInfoLValue V)
static clang::TypeInfoLValue getFromVoidPointer(void *P)