1259701Sdim//===--- ASTTypeTraits.cpp --------------------------------------*- C++ -*-===// 2259701Sdim// 3353358Sdim// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 4353358Sdim// See https://llvm.org/LICENSE.txt for license information. 5353358Sdim// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 6259701Sdim// 7259701Sdim//===----------------------------------------------------------------------===// 8259701Sdim// 9259701Sdim// Provides a dynamic type identifier and a dynamically typed node container 10259701Sdim// that can be used to store an AST base node at runtime in the same storage in 11259701Sdim// a type safe way. 12259701Sdim// 13259701Sdim//===----------------------------------------------------------------------===// 14259701Sdim 15259701Sdim#include "clang/AST/ASTTypeTraits.h" 16259701Sdim#include "clang/AST/ASTContext.h" 17259701Sdim#include "clang/AST/DeclCXX.h" 18360784Sdim#include "clang/AST/NestedNameSpecifier.h" 19360784Sdim#include "clang/AST/OpenMPClause.h" 20259701Sdim 21259701Sdimnamespace clang { 22259701Sdimnamespace ast_type_traits { 23259701Sdim 24259701Sdimconst ASTNodeKind::KindInfo ASTNodeKind::AllKindInfo[] = { 25259701Sdim { NKI_None, "<None>" }, 26259701Sdim { NKI_None, "TemplateArgument" }, 27314564Sdim { NKI_None, "TemplateName" }, 28259701Sdim { NKI_None, "NestedNameSpecifierLoc" }, 29259701Sdim { NKI_None, "QualType" }, 30259701Sdim { NKI_None, "TypeLoc" }, 31309124Sdim { NKI_None, "CXXCtorInitializer" }, 32309124Sdim { NKI_None, "NestedNameSpecifier" }, 33259701Sdim { NKI_None, "Decl" }, 34259701Sdim#define DECL(DERIVED, BASE) { NKI_##BASE, #DERIVED "Decl" }, 35259701Sdim#include "clang/AST/DeclNodes.inc" 36259701Sdim { NKI_None, "Stmt" }, 37259701Sdim#define STMT(DERIVED, BASE) { NKI_##BASE, #DERIVED }, 38259701Sdim#include "clang/AST/StmtNodes.inc" 39259701Sdim { NKI_None, "Type" }, 40259701Sdim#define TYPE(DERIVED, BASE) { NKI_##BASE, #DERIVED "Type" }, 41360784Sdim#include "clang/AST/TypeNodes.inc" 42353358Sdim { NKI_None, "OMPClause" }, 43353358Sdim#define OPENMP_CLAUSE(TextualSpelling, Class) {NKI_OMPClause, #Class}, 44353358Sdim#include "clang/Basic/OpenMPKinds.def" 45259701Sdim}; 46259701Sdim 47276479Sdimbool ASTNodeKind::isBaseOf(ASTNodeKind Other, unsigned *Distance) const { 48276479Sdim return isBaseOf(KindId, Other.KindId, Distance); 49259701Sdim} 50259701Sdim 51276479Sdimbool ASTNodeKind::isBaseOf(NodeKindId Base, NodeKindId Derived, 52276479Sdim unsigned *Distance) { 53259701Sdim if (Base == NKI_None || Derived == NKI_None) return false; 54276479Sdim unsigned Dist = 0; 55276479Sdim while (Derived != Base && Derived != NKI_None) { 56259701Sdim Derived = AllKindInfo[Derived].ParentId; 57276479Sdim ++Dist; 58276479Sdim } 59276479Sdim if (Distance) 60276479Sdim *Distance = Dist; 61259701Sdim return Derived == Base; 62259701Sdim} 63259701Sdim 64259701SdimStringRef ASTNodeKind::asStringRef() const { return AllKindInfo[KindId].Name; } 65259701Sdim 66280031SdimASTNodeKind ASTNodeKind::getMostDerivedType(ASTNodeKind Kind1, 67280031Sdim ASTNodeKind Kind2) { 68280031Sdim if (Kind1.isBaseOf(Kind2)) return Kind2; 69280031Sdim if (Kind2.isBaseOf(Kind1)) return Kind1; 70280031Sdim return ASTNodeKind(); 71280031Sdim} 72280031Sdim 73280031SdimASTNodeKind ASTNodeKind::getMostDerivedCommonAncestor(ASTNodeKind Kind1, 74280031Sdim ASTNodeKind Kind2) { 75280031Sdim NodeKindId Parent = Kind1.KindId; 76280031Sdim while (!isBaseOf(Parent, Kind2.KindId, nullptr) && Parent != NKI_None) { 77280031Sdim Parent = AllKindInfo[Parent].ParentId; 78280031Sdim } 79280031Sdim return ASTNodeKind(Parent); 80280031Sdim} 81280031Sdim 82280031SdimASTNodeKind ASTNodeKind::getFromNode(const Decl &D) { 83280031Sdim switch (D.getKind()) { 84280031Sdim#define DECL(DERIVED, BASE) \ 85280031Sdim case Decl::DERIVED: return ASTNodeKind(NKI_##DERIVED##Decl); 86280031Sdim#define ABSTRACT_DECL(D) 87280031Sdim#include "clang/AST/DeclNodes.inc" 88280031Sdim }; 89280031Sdim llvm_unreachable("invalid decl kind"); 90280031Sdim} 91280031Sdim 92280031SdimASTNodeKind ASTNodeKind::getFromNode(const Stmt &S) { 93280031Sdim switch (S.getStmtClass()) { 94280031Sdim case Stmt::NoStmtClass: return NKI_None; 95280031Sdim#define STMT(CLASS, PARENT) \ 96280031Sdim case Stmt::CLASS##Class: return ASTNodeKind(NKI_##CLASS); 97280031Sdim#define ABSTRACT_STMT(S) 98280031Sdim#include "clang/AST/StmtNodes.inc" 99280031Sdim } 100280031Sdim llvm_unreachable("invalid stmt kind"); 101280031Sdim} 102280031Sdim 103280031SdimASTNodeKind ASTNodeKind::getFromNode(const Type &T) { 104280031Sdim switch (T.getTypeClass()) { 105280031Sdim#define TYPE(Class, Base) \ 106280031Sdim case Type::Class: return ASTNodeKind(NKI_##Class##Type); 107280031Sdim#define ABSTRACT_TYPE(Class, Base) 108360784Sdim#include "clang/AST/TypeNodes.inc" 109280031Sdim } 110280031Sdim llvm_unreachable("invalid type kind"); 111353358Sdim } 112353358Sdim 113353358SdimASTNodeKind ASTNodeKind::getFromNode(const OMPClause &C) { 114353358Sdim switch (C.getClauseKind()) { 115353358Sdim#define OPENMP_CLAUSE(Name, Class) \ 116353358Sdim case OMPC_##Name: return ASTNodeKind(NKI_##Class); 117353358Sdim#include "clang/Basic/OpenMPKinds.def" 118353358Sdim case OMPC_threadprivate: 119353358Sdim case OMPC_uniform: 120360784Sdim case OMPC_device_type: 121360784Sdim case OMPC_match: 122353358Sdim case OMPC_unknown: 123353358Sdim llvm_unreachable("unexpected OpenMP clause kind"); 124353358Sdim } 125353358Sdim llvm_unreachable("invalid stmt kind"); 126280031Sdim} 127280031Sdim 128259701Sdimvoid DynTypedNode::print(llvm::raw_ostream &OS, 129259701Sdim const PrintingPolicy &PP) const { 130259701Sdim if (const TemplateArgument *TA = get<TemplateArgument>()) 131259701Sdim TA->print(PP, OS); 132314564Sdim else if (const TemplateName *TN = get<TemplateName>()) 133314564Sdim TN->print(OS, PP); 134259701Sdim else if (const NestedNameSpecifier *NNS = get<NestedNameSpecifier>()) 135259701Sdim NNS->print(OS, PP); 136360784Sdim else if (const NestedNameSpecifierLoc *NNSL = get<NestedNameSpecifierLoc>()) { 137360784Sdim if (const NestedNameSpecifier *NNS = NNSL->getNestedNameSpecifier()) 138360784Sdim NNS->print(OS, PP); 139360784Sdim else 140360784Sdim OS << "(empty NestedNameSpecifierLoc)"; 141360784Sdim } else if (const QualType *QT = get<QualType>()) 142259701Sdim QT->print(OS, PP); 143259701Sdim else if (const TypeLoc *TL = get<TypeLoc>()) 144259701Sdim TL->getType().print(OS, PP); 145259701Sdim else if (const Decl *D = get<Decl>()) 146259701Sdim D->print(OS, PP); 147259701Sdim else if (const Stmt *S = get<Stmt>()) 148276479Sdim S->printPretty(OS, nullptr, PP); 149259701Sdim else if (const Type *T = get<Type>()) 150259701Sdim QualType(T, 0).print(OS, PP); 151259701Sdim else 152259701Sdim OS << "Unable to print values of type " << NodeKind.asStringRef() << "\n"; 153259701Sdim} 154259701Sdim 155259701Sdimvoid DynTypedNode::dump(llvm::raw_ostream &OS, SourceManager &SM) const { 156259701Sdim if (const Decl *D = get<Decl>()) 157259701Sdim D->dump(OS); 158259701Sdim else if (const Stmt *S = get<Stmt>()) 159259701Sdim S->dump(OS, SM); 160314564Sdim else if (const Type *T = get<Type>()) 161314564Sdim T->dump(OS); 162259701Sdim else 163259701Sdim OS << "Unable to dump values of type " << NodeKind.asStringRef() << "\n"; 164259701Sdim} 165259701Sdim 166259701SdimSourceRange DynTypedNode::getSourceRange() const { 167259701Sdim if (const CXXCtorInitializer *CCI = get<CXXCtorInitializer>()) 168259701Sdim return CCI->getSourceRange(); 169259701Sdim if (const NestedNameSpecifierLoc *NNSL = get<NestedNameSpecifierLoc>()) 170259701Sdim return NNSL->getSourceRange(); 171259701Sdim if (const TypeLoc *TL = get<TypeLoc>()) 172259701Sdim return TL->getSourceRange(); 173259701Sdim if (const Decl *D = get<Decl>()) 174259701Sdim return D->getSourceRange(); 175259701Sdim if (const Stmt *S = get<Stmt>()) 176259701Sdim return S->getSourceRange(); 177353358Sdim if (const auto *C = get<OMPClause>()) 178353358Sdim return SourceRange(C->getBeginLoc(), C->getEndLoc()); 179259701Sdim return SourceRange(); 180259701Sdim} 181259701Sdim 182259701Sdim} // end namespace ast_type_traits 183259701Sdim} // end namespace clang 184