10b57cec5SDimitry Andric //===- LLVMContextImpl.h - The LLVMContextImpl opaque class -----*- C++ -*-===// 20b57cec5SDimitry Andric // 30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. 40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information. 50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception 60b57cec5SDimitry Andric // 70b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 80b57cec5SDimitry Andric // 90b57cec5SDimitry Andric // This file declares LLVMContextImpl, the opaque implementation 100b57cec5SDimitry Andric // of LLVMContext. 110b57cec5SDimitry Andric // 120b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 130b57cec5SDimitry Andric 140b57cec5SDimitry Andric #ifndef LLVM_LIB_IR_LLVMCONTEXTIMPL_H 150b57cec5SDimitry Andric #define LLVM_LIB_IR_LLVMCONTEXTIMPL_H 160b57cec5SDimitry Andric 170b57cec5SDimitry Andric #include "ConstantsContext.h" 180b57cec5SDimitry Andric #include "llvm/ADT/APFloat.h" 190b57cec5SDimitry Andric #include "llvm/ADT/APInt.h" 200b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h" 210b57cec5SDimitry Andric #include "llvm/ADT/DenseMap.h" 220b57cec5SDimitry Andric #include "llvm/ADT/DenseMapInfo.h" 230b57cec5SDimitry Andric #include "llvm/ADT/DenseSet.h" 240b57cec5SDimitry Andric #include "llvm/ADT/FoldingSet.h" 250b57cec5SDimitry Andric #include "llvm/ADT/Hashing.h" 260b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h" 270b57cec5SDimitry Andric #include "llvm/ADT/SmallPtrSet.h" 280b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h" 290b57cec5SDimitry Andric #include "llvm/ADT/StringMap.h" 300b57cec5SDimitry Andric #include "llvm/BinaryFormat/Dwarf.h" 310b57cec5SDimitry Andric #include "llvm/IR/Constants.h" 320b57cec5SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h" 330b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h" 340b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h" 350b57cec5SDimitry Andric #include "llvm/IR/Metadata.h" 361fd87a68SDimitry Andric #include "llvm/IR/Module.h" 370b57cec5SDimitry Andric #include "llvm/IR/TrackingMDRef.h" 381fd87a68SDimitry Andric #include "llvm/IR/Type.h" 391fd87a68SDimitry Andric #include "llvm/IR/Value.h" 400b57cec5SDimitry Andric #include "llvm/Support/Allocator.h" 410b57cec5SDimitry Andric #include "llvm/Support/Casting.h" 420b57cec5SDimitry Andric #include "llvm/Support/StringSaver.h" 430b57cec5SDimitry Andric #include <algorithm> 440b57cec5SDimitry Andric #include <cassert> 450b57cec5SDimitry Andric #include <cstddef> 460b57cec5SDimitry Andric #include <cstdint> 470b57cec5SDimitry Andric #include <memory> 48bdd1243dSDimitry Andric #include <optional> 490b57cec5SDimitry Andric #include <string> 500b57cec5SDimitry Andric #include <utility> 510b57cec5SDimitry Andric #include <vector> 520b57cec5SDimitry Andric 530b57cec5SDimitry Andric namespace llvm { 540b57cec5SDimitry Andric 551fd87a68SDimitry Andric class AttributeImpl; 561fd87a68SDimitry Andric class AttributeListImpl; 571fd87a68SDimitry Andric class AttributeSetNode; 581fd87a68SDimitry Andric class BasicBlock; 59*0fca6ea1SDimitry Andric class ConstantRangeAttributeImpl; 60*0fca6ea1SDimitry Andric class ConstantRangeListAttributeImpl; 611fd87a68SDimitry Andric struct DiagnosticHandler; 62*0fca6ea1SDimitry Andric class DbgMarker; 631fd87a68SDimitry Andric class ElementCount; 641fd87a68SDimitry Andric class Function; 651fd87a68SDimitry Andric class GlobalObject; 661fd87a68SDimitry Andric class GlobalValue; 671fd87a68SDimitry Andric class InlineAsm; 681fd87a68SDimitry Andric class LLVMRemarkStreamer; 691fd87a68SDimitry Andric class OptPassGate; 701fd87a68SDimitry Andric namespace remarks { 711fd87a68SDimitry Andric class RemarkStreamer; 721fd87a68SDimitry Andric } 731fd87a68SDimitry Andric template <typename T> class StringMapEntry; 745ffd83dbSDimitry Andric class StringRef; 75bdd1243dSDimitry Andric class TypedPointerType; 760b57cec5SDimitry Andric class ValueHandleBase; 770b57cec5SDimitry Andric 785f757f3fSDimitry Andric template <> struct DenseMapInfo<APFloat> { 790b57cec5SDimitry Andric static inline APFloat getEmptyKey() { return APFloat(APFloat::Bogus(), 1); } 80349cc55cSDimitry Andric static inline APFloat getTombstoneKey() { 81349cc55cSDimitry Andric return APFloat(APFloat::Bogus(), 2); 82349cc55cSDimitry Andric } 830b57cec5SDimitry Andric 840b57cec5SDimitry Andric static unsigned getHashValue(const APFloat &Key) { 850b57cec5SDimitry Andric return static_cast<unsigned>(hash_value(Key)); 860b57cec5SDimitry Andric } 870b57cec5SDimitry Andric 880b57cec5SDimitry Andric static bool isEqual(const APFloat &LHS, const APFloat &RHS) { 890b57cec5SDimitry Andric return LHS.bitwiseIsEqual(RHS); 900b57cec5SDimitry Andric } 910b57cec5SDimitry Andric }; 920b57cec5SDimitry Andric 930b57cec5SDimitry Andric struct AnonStructTypeKeyInfo { 940b57cec5SDimitry Andric struct KeyTy { 950b57cec5SDimitry Andric ArrayRef<Type *> ETypes; 960b57cec5SDimitry Andric bool isPacked; 970b57cec5SDimitry Andric 98349cc55cSDimitry Andric KeyTy(const ArrayRef<Type *> &E, bool P) : ETypes(E), isPacked(P) {} 990b57cec5SDimitry Andric 1000b57cec5SDimitry Andric KeyTy(const StructType *ST) 1010b57cec5SDimitry Andric : ETypes(ST->elements()), isPacked(ST->isPacked()) {} 1020b57cec5SDimitry Andric 1030b57cec5SDimitry Andric bool operator==(const KeyTy &that) const { 1040b57cec5SDimitry Andric if (isPacked != that.isPacked) 1050b57cec5SDimitry Andric return false; 1060b57cec5SDimitry Andric if (ETypes != that.ETypes) 1070b57cec5SDimitry Andric return false; 1080b57cec5SDimitry Andric return true; 1090b57cec5SDimitry Andric } 110349cc55cSDimitry Andric bool operator!=(const KeyTy &that) const { return !this->operator==(that); } 1110b57cec5SDimitry Andric }; 1120b57cec5SDimitry Andric 1130b57cec5SDimitry Andric static inline StructType *getEmptyKey() { 1140b57cec5SDimitry Andric return DenseMapInfo<StructType *>::getEmptyKey(); 1150b57cec5SDimitry Andric } 1160b57cec5SDimitry Andric 1170b57cec5SDimitry Andric static inline StructType *getTombstoneKey() { 1180b57cec5SDimitry Andric return DenseMapInfo<StructType *>::getTombstoneKey(); 1190b57cec5SDimitry Andric } 1200b57cec5SDimitry Andric 1210b57cec5SDimitry Andric static unsigned getHashValue(const KeyTy &Key) { 122349cc55cSDimitry Andric return hash_combine( 123349cc55cSDimitry Andric hash_combine_range(Key.ETypes.begin(), Key.ETypes.end()), Key.isPacked); 1240b57cec5SDimitry Andric } 1250b57cec5SDimitry Andric 1260b57cec5SDimitry Andric static unsigned getHashValue(const StructType *ST) { 1270b57cec5SDimitry Andric return getHashValue(KeyTy(ST)); 1280b57cec5SDimitry Andric } 1290b57cec5SDimitry Andric 1300b57cec5SDimitry Andric static bool isEqual(const KeyTy &LHS, const StructType *RHS) { 1310b57cec5SDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 1320b57cec5SDimitry Andric return false; 1330b57cec5SDimitry Andric return LHS == KeyTy(RHS); 1340b57cec5SDimitry Andric } 1350b57cec5SDimitry Andric 1360b57cec5SDimitry Andric static bool isEqual(const StructType *LHS, const StructType *RHS) { 1370b57cec5SDimitry Andric return LHS == RHS; 1380b57cec5SDimitry Andric } 1390b57cec5SDimitry Andric }; 1400b57cec5SDimitry Andric 1410b57cec5SDimitry Andric struct FunctionTypeKeyInfo { 1420b57cec5SDimitry Andric struct KeyTy { 1430b57cec5SDimitry Andric const Type *ReturnType; 1440b57cec5SDimitry Andric ArrayRef<Type *> Params; 1450b57cec5SDimitry Andric bool isVarArg; 1460b57cec5SDimitry Andric 147349cc55cSDimitry Andric KeyTy(const Type *R, const ArrayRef<Type *> &P, bool V) 148349cc55cSDimitry Andric : ReturnType(R), Params(P), isVarArg(V) {} 1490b57cec5SDimitry Andric KeyTy(const FunctionType *FT) 1500b57cec5SDimitry Andric : ReturnType(FT->getReturnType()), Params(FT->params()), 1510b57cec5SDimitry Andric isVarArg(FT->isVarArg()) {} 1520b57cec5SDimitry Andric 1530b57cec5SDimitry Andric bool operator==(const KeyTy &that) const { 1540b57cec5SDimitry Andric if (ReturnType != that.ReturnType) 1550b57cec5SDimitry Andric return false; 1560b57cec5SDimitry Andric if (isVarArg != that.isVarArg) 1570b57cec5SDimitry Andric return false; 1580b57cec5SDimitry Andric if (Params != that.Params) 1590b57cec5SDimitry Andric return false; 1600b57cec5SDimitry Andric return true; 1610b57cec5SDimitry Andric } 162349cc55cSDimitry Andric bool operator!=(const KeyTy &that) const { return !this->operator==(that); } 1630b57cec5SDimitry Andric }; 1640b57cec5SDimitry Andric 1650b57cec5SDimitry Andric static inline FunctionType *getEmptyKey() { 1660b57cec5SDimitry Andric return DenseMapInfo<FunctionType *>::getEmptyKey(); 1670b57cec5SDimitry Andric } 1680b57cec5SDimitry Andric 1690b57cec5SDimitry Andric static inline FunctionType *getTombstoneKey() { 1700b57cec5SDimitry Andric return DenseMapInfo<FunctionType *>::getTombstoneKey(); 1710b57cec5SDimitry Andric } 1720b57cec5SDimitry Andric 1730b57cec5SDimitry Andric static unsigned getHashValue(const KeyTy &Key) { 174349cc55cSDimitry Andric return hash_combine( 175349cc55cSDimitry Andric Key.ReturnType, 176349cc55cSDimitry Andric hash_combine_range(Key.Params.begin(), Key.Params.end()), Key.isVarArg); 1770b57cec5SDimitry Andric } 1780b57cec5SDimitry Andric 1790b57cec5SDimitry Andric static unsigned getHashValue(const FunctionType *FT) { 1800b57cec5SDimitry Andric return getHashValue(KeyTy(FT)); 1810b57cec5SDimitry Andric } 1820b57cec5SDimitry Andric 1830b57cec5SDimitry Andric static bool isEqual(const KeyTy &LHS, const FunctionType *RHS) { 1840b57cec5SDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 1850b57cec5SDimitry Andric return false; 1860b57cec5SDimitry Andric return LHS == KeyTy(RHS); 1870b57cec5SDimitry Andric } 1880b57cec5SDimitry Andric 1890b57cec5SDimitry Andric static bool isEqual(const FunctionType *LHS, const FunctionType *RHS) { 1900b57cec5SDimitry Andric return LHS == RHS; 1910b57cec5SDimitry Andric } 1920b57cec5SDimitry Andric }; 1930b57cec5SDimitry Andric 194bdd1243dSDimitry Andric struct TargetExtTypeKeyInfo { 195bdd1243dSDimitry Andric struct KeyTy { 196bdd1243dSDimitry Andric StringRef Name; 197bdd1243dSDimitry Andric ArrayRef<Type *> TypeParams; 198bdd1243dSDimitry Andric ArrayRef<unsigned> IntParams; 199bdd1243dSDimitry Andric 200bdd1243dSDimitry Andric KeyTy(StringRef N, const ArrayRef<Type *> &TP, const ArrayRef<unsigned> &IP) 201bdd1243dSDimitry Andric : Name(N), TypeParams(TP), IntParams(IP) {} 202bdd1243dSDimitry Andric KeyTy(const TargetExtType *TT) 203bdd1243dSDimitry Andric : Name(TT->getName()), TypeParams(TT->type_params()), 204bdd1243dSDimitry Andric IntParams(TT->int_params()) {} 205bdd1243dSDimitry Andric 206bdd1243dSDimitry Andric bool operator==(const KeyTy &that) const { 207bdd1243dSDimitry Andric return Name == that.Name && TypeParams == that.TypeParams && 208bdd1243dSDimitry Andric IntParams == that.IntParams; 209bdd1243dSDimitry Andric } 210bdd1243dSDimitry Andric bool operator!=(const KeyTy &that) const { return !this->operator==(that); } 211bdd1243dSDimitry Andric }; 212bdd1243dSDimitry Andric 213bdd1243dSDimitry Andric static inline TargetExtType *getEmptyKey() { 214bdd1243dSDimitry Andric return DenseMapInfo<TargetExtType *>::getEmptyKey(); 215bdd1243dSDimitry Andric } 216bdd1243dSDimitry Andric 217bdd1243dSDimitry Andric static inline TargetExtType *getTombstoneKey() { 218bdd1243dSDimitry Andric return DenseMapInfo<TargetExtType *>::getTombstoneKey(); 219bdd1243dSDimitry Andric } 220bdd1243dSDimitry Andric 221bdd1243dSDimitry Andric static unsigned getHashValue(const KeyTy &Key) { 222bdd1243dSDimitry Andric return hash_combine( 223bdd1243dSDimitry Andric Key.Name, 224bdd1243dSDimitry Andric hash_combine_range(Key.TypeParams.begin(), Key.TypeParams.end()), 225bdd1243dSDimitry Andric hash_combine_range(Key.IntParams.begin(), Key.IntParams.end())); 226bdd1243dSDimitry Andric } 227bdd1243dSDimitry Andric 228bdd1243dSDimitry Andric static unsigned getHashValue(const TargetExtType *FT) { 229bdd1243dSDimitry Andric return getHashValue(KeyTy(FT)); 230bdd1243dSDimitry Andric } 231bdd1243dSDimitry Andric 232bdd1243dSDimitry Andric static bool isEqual(const KeyTy &LHS, const TargetExtType *RHS) { 233bdd1243dSDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 234bdd1243dSDimitry Andric return false; 235bdd1243dSDimitry Andric return LHS == KeyTy(RHS); 236bdd1243dSDimitry Andric } 237bdd1243dSDimitry Andric 238bdd1243dSDimitry Andric static bool isEqual(const TargetExtType *LHS, const TargetExtType *RHS) { 239bdd1243dSDimitry Andric return LHS == RHS; 240bdd1243dSDimitry Andric } 241bdd1243dSDimitry Andric }; 242bdd1243dSDimitry Andric 2430b57cec5SDimitry Andric /// Structure for hashing arbitrary MDNode operands. 2440b57cec5SDimitry Andric class MDNodeOpsKey { 2450b57cec5SDimitry Andric ArrayRef<Metadata *> RawOps; 2460b57cec5SDimitry Andric ArrayRef<MDOperand> Ops; 2470b57cec5SDimitry Andric unsigned Hash; 2480b57cec5SDimitry Andric 2490b57cec5SDimitry Andric protected: 2500b57cec5SDimitry Andric MDNodeOpsKey(ArrayRef<Metadata *> Ops) 2510b57cec5SDimitry Andric : RawOps(Ops), Hash(calculateHash(Ops)) {} 2520b57cec5SDimitry Andric 2530b57cec5SDimitry Andric template <class NodeTy> 2540b57cec5SDimitry Andric MDNodeOpsKey(const NodeTy *N, unsigned Offset = 0) 2550b57cec5SDimitry Andric : Ops(N->op_begin() + Offset, N->op_end()), Hash(N->getHash()) {} 2560b57cec5SDimitry Andric 2570b57cec5SDimitry Andric template <class NodeTy> 2580b57cec5SDimitry Andric bool compareOps(const NodeTy *RHS, unsigned Offset = 0) const { 2590b57cec5SDimitry Andric if (getHash() != RHS->getHash()) 2600b57cec5SDimitry Andric return false; 2610b57cec5SDimitry Andric 2620b57cec5SDimitry Andric assert((RawOps.empty() || Ops.empty()) && "Two sets of operands?"); 2630b57cec5SDimitry Andric return RawOps.empty() ? compareOps(Ops, RHS, Offset) 2640b57cec5SDimitry Andric : compareOps(RawOps, RHS, Offset); 2650b57cec5SDimitry Andric } 2660b57cec5SDimitry Andric 2670b57cec5SDimitry Andric static unsigned calculateHash(MDNode *N, unsigned Offset = 0); 2680b57cec5SDimitry Andric 2690b57cec5SDimitry Andric private: 2700b57cec5SDimitry Andric template <class T> 2710b57cec5SDimitry Andric static bool compareOps(ArrayRef<T> Ops, const MDNode *RHS, unsigned Offset) { 2720b57cec5SDimitry Andric if (Ops.size() != RHS->getNumOperands() - Offset) 2730b57cec5SDimitry Andric return false; 2740b57cec5SDimitry Andric return std::equal(Ops.begin(), Ops.end(), RHS->op_begin() + Offset); 2750b57cec5SDimitry Andric } 2760b57cec5SDimitry Andric 2770b57cec5SDimitry Andric static unsigned calculateHash(ArrayRef<Metadata *> Ops); 2780b57cec5SDimitry Andric 2790b57cec5SDimitry Andric public: 2800b57cec5SDimitry Andric unsigned getHash() const { return Hash; } 2810b57cec5SDimitry Andric }; 2820b57cec5SDimitry Andric 2830b57cec5SDimitry Andric template <class NodeTy> struct MDNodeKeyImpl; 2840b57cec5SDimitry Andric 2850b57cec5SDimitry Andric /// Configuration point for MDNodeInfo::isEqual(). 2860b57cec5SDimitry Andric template <class NodeTy> struct MDNodeSubsetEqualImpl { 2870b57cec5SDimitry Andric using KeyTy = MDNodeKeyImpl<NodeTy>; 2880b57cec5SDimitry Andric 2890b57cec5SDimitry Andric static bool isSubsetEqual(const KeyTy &LHS, const NodeTy *RHS) { 2900b57cec5SDimitry Andric return false; 2910b57cec5SDimitry Andric } 2920b57cec5SDimitry Andric 2930b57cec5SDimitry Andric static bool isSubsetEqual(const NodeTy *LHS, const NodeTy *RHS) { 2940b57cec5SDimitry Andric return false; 2950b57cec5SDimitry Andric } 2960b57cec5SDimitry Andric }; 2970b57cec5SDimitry Andric 2980b57cec5SDimitry Andric /// DenseMapInfo for MDTuple. 2990b57cec5SDimitry Andric /// 3000b57cec5SDimitry Andric /// Note that we don't need the is-function-local bit, since that's implicit in 3010b57cec5SDimitry Andric /// the operands. 3020b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<MDTuple> : MDNodeOpsKey { 3030b57cec5SDimitry Andric MDNodeKeyImpl(ArrayRef<Metadata *> Ops) : MDNodeOpsKey(Ops) {} 3040b57cec5SDimitry Andric MDNodeKeyImpl(const MDTuple *N) : MDNodeOpsKey(N) {} 3050b57cec5SDimitry Andric 3060b57cec5SDimitry Andric bool isKeyOf(const MDTuple *RHS) const { return compareOps(RHS); } 3070b57cec5SDimitry Andric 3080b57cec5SDimitry Andric unsigned getHashValue() const { return getHash(); } 3090b57cec5SDimitry Andric 3100b57cec5SDimitry Andric static unsigned calculateHash(MDTuple *N) { 3110b57cec5SDimitry Andric return MDNodeOpsKey::calculateHash(N); 3120b57cec5SDimitry Andric } 3130b57cec5SDimitry Andric }; 3140b57cec5SDimitry Andric 3150b57cec5SDimitry Andric /// DenseMapInfo for DILocation. 3160b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILocation> { 3170b57cec5SDimitry Andric unsigned Line; 3180b57cec5SDimitry Andric unsigned Column; 3190b57cec5SDimitry Andric Metadata *Scope; 3200b57cec5SDimitry Andric Metadata *InlinedAt; 3210b57cec5SDimitry Andric bool ImplicitCode; 3220b57cec5SDimitry Andric 3230b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Line, unsigned Column, Metadata *Scope, 3240b57cec5SDimitry Andric Metadata *InlinedAt, bool ImplicitCode) 3250b57cec5SDimitry Andric : Line(Line), Column(Column), Scope(Scope), InlinedAt(InlinedAt), 3260b57cec5SDimitry Andric ImplicitCode(ImplicitCode) {} 3270b57cec5SDimitry Andric MDNodeKeyImpl(const DILocation *L) 3280b57cec5SDimitry Andric : Line(L->getLine()), Column(L->getColumn()), Scope(L->getRawScope()), 3290b57cec5SDimitry Andric InlinedAt(L->getRawInlinedAt()), ImplicitCode(L->isImplicitCode()) {} 3300b57cec5SDimitry Andric 3310b57cec5SDimitry Andric bool isKeyOf(const DILocation *RHS) const { 3320b57cec5SDimitry Andric return Line == RHS->getLine() && Column == RHS->getColumn() && 3330b57cec5SDimitry Andric Scope == RHS->getRawScope() && InlinedAt == RHS->getRawInlinedAt() && 3340b57cec5SDimitry Andric ImplicitCode == RHS->isImplicitCode(); 3350b57cec5SDimitry Andric } 3360b57cec5SDimitry Andric 3370b57cec5SDimitry Andric unsigned getHashValue() const { 3380b57cec5SDimitry Andric return hash_combine(Line, Column, Scope, InlinedAt, ImplicitCode); 3390b57cec5SDimitry Andric } 3400b57cec5SDimitry Andric }; 3410b57cec5SDimitry Andric 3420b57cec5SDimitry Andric /// DenseMapInfo for GenericDINode. 3430b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<GenericDINode> : MDNodeOpsKey { 3440b57cec5SDimitry Andric unsigned Tag; 3450b57cec5SDimitry Andric MDString *Header; 3460b57cec5SDimitry Andric 3470b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Header, ArrayRef<Metadata *> DwarfOps) 3480b57cec5SDimitry Andric : MDNodeOpsKey(DwarfOps), Tag(Tag), Header(Header) {} 3490b57cec5SDimitry Andric MDNodeKeyImpl(const GenericDINode *N) 3500b57cec5SDimitry Andric : MDNodeOpsKey(N, 1), Tag(N->getTag()), Header(N->getRawHeader()) {} 3510b57cec5SDimitry Andric 3520b57cec5SDimitry Andric bool isKeyOf(const GenericDINode *RHS) const { 3530b57cec5SDimitry Andric return Tag == RHS->getTag() && Header == RHS->getRawHeader() && 3540b57cec5SDimitry Andric compareOps(RHS, 1); 3550b57cec5SDimitry Andric } 3560b57cec5SDimitry Andric 3570b57cec5SDimitry Andric unsigned getHashValue() const { return hash_combine(getHash(), Tag, Header); } 3580b57cec5SDimitry Andric 3590b57cec5SDimitry Andric static unsigned calculateHash(GenericDINode *N) { 3600b57cec5SDimitry Andric return MDNodeOpsKey::calculateHash(N, 1); 3610b57cec5SDimitry Andric } 3620b57cec5SDimitry Andric }; 3630b57cec5SDimitry Andric 3640b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DISubrange> { 3650b57cec5SDimitry Andric Metadata *CountNode; 3665ffd83dbSDimitry Andric Metadata *LowerBound; 3675ffd83dbSDimitry Andric Metadata *UpperBound; 3685ffd83dbSDimitry Andric Metadata *Stride; 3690b57cec5SDimitry Andric 3705ffd83dbSDimitry Andric MDNodeKeyImpl(Metadata *CountNode, Metadata *LowerBound, Metadata *UpperBound, 3715ffd83dbSDimitry Andric Metadata *Stride) 3725ffd83dbSDimitry Andric : CountNode(CountNode), LowerBound(LowerBound), UpperBound(UpperBound), 3735ffd83dbSDimitry Andric Stride(Stride) {} 3740b57cec5SDimitry Andric MDNodeKeyImpl(const DISubrange *N) 3755ffd83dbSDimitry Andric : CountNode(N->getRawCountNode()), LowerBound(N->getRawLowerBound()), 3765ffd83dbSDimitry Andric UpperBound(N->getRawUpperBound()), Stride(N->getRawStride()) {} 3770b57cec5SDimitry Andric 3780b57cec5SDimitry Andric bool isKeyOf(const DISubrange *RHS) const { 3795ffd83dbSDimitry Andric auto BoundsEqual = [=](Metadata *Node1, Metadata *Node2) -> bool { 3805ffd83dbSDimitry Andric if (Node1 == Node2) 3810b57cec5SDimitry Andric return true; 3820b57cec5SDimitry Andric 3835ffd83dbSDimitry Andric ConstantAsMetadata *MD1 = dyn_cast_or_null<ConstantAsMetadata>(Node1); 3845ffd83dbSDimitry Andric ConstantAsMetadata *MD2 = dyn_cast_or_null<ConstantAsMetadata>(Node2); 3855ffd83dbSDimitry Andric if (MD1 && MD2) { 3865ffd83dbSDimitry Andric ConstantInt *CV1 = cast<ConstantInt>(MD1->getValue()); 3875ffd83dbSDimitry Andric ConstantInt *CV2 = cast<ConstantInt>(MD2->getValue()); 3885ffd83dbSDimitry Andric if (CV1->getSExtValue() == CV2->getSExtValue()) 3895ffd83dbSDimitry Andric return true; 3905ffd83dbSDimitry Andric } 3915ffd83dbSDimitry Andric return false; 3925ffd83dbSDimitry Andric }; 3935ffd83dbSDimitry Andric 3945ffd83dbSDimitry Andric return BoundsEqual(CountNode, RHS->getRawCountNode()) && 3955ffd83dbSDimitry Andric BoundsEqual(LowerBound, RHS->getRawLowerBound()) && 3965ffd83dbSDimitry Andric BoundsEqual(UpperBound, RHS->getRawUpperBound()) && 3975ffd83dbSDimitry Andric BoundsEqual(Stride, RHS->getRawStride()); 3980b57cec5SDimitry Andric } 3990b57cec5SDimitry Andric 4000b57cec5SDimitry Andric unsigned getHashValue() const { 4015ffd83dbSDimitry Andric if (CountNode) 4020b57cec5SDimitry Andric if (auto *MD = dyn_cast<ConstantAsMetadata>(CountNode)) 4030b57cec5SDimitry Andric return hash_combine(cast<ConstantInt>(MD->getValue())->getSExtValue(), 4045ffd83dbSDimitry Andric LowerBound, UpperBound, Stride); 4055ffd83dbSDimitry Andric return hash_combine(CountNode, LowerBound, UpperBound, Stride); 4060b57cec5SDimitry Andric } 4070b57cec5SDimitry Andric }; 4080b57cec5SDimitry Andric 409e8d8bef9SDimitry Andric template <> struct MDNodeKeyImpl<DIGenericSubrange> { 410e8d8bef9SDimitry Andric Metadata *CountNode; 411e8d8bef9SDimitry Andric Metadata *LowerBound; 412e8d8bef9SDimitry Andric Metadata *UpperBound; 413e8d8bef9SDimitry Andric Metadata *Stride; 414e8d8bef9SDimitry Andric 415e8d8bef9SDimitry Andric MDNodeKeyImpl(Metadata *CountNode, Metadata *LowerBound, Metadata *UpperBound, 416e8d8bef9SDimitry Andric Metadata *Stride) 417e8d8bef9SDimitry Andric : CountNode(CountNode), LowerBound(LowerBound), UpperBound(UpperBound), 418e8d8bef9SDimitry Andric Stride(Stride) {} 419e8d8bef9SDimitry Andric MDNodeKeyImpl(const DIGenericSubrange *N) 420e8d8bef9SDimitry Andric : CountNode(N->getRawCountNode()), LowerBound(N->getRawLowerBound()), 421e8d8bef9SDimitry Andric UpperBound(N->getRawUpperBound()), Stride(N->getRawStride()) {} 422e8d8bef9SDimitry Andric 423e8d8bef9SDimitry Andric bool isKeyOf(const DIGenericSubrange *RHS) const { 424e8d8bef9SDimitry Andric return (CountNode == RHS->getRawCountNode()) && 425e8d8bef9SDimitry Andric (LowerBound == RHS->getRawLowerBound()) && 426e8d8bef9SDimitry Andric (UpperBound == RHS->getRawUpperBound()) && 427e8d8bef9SDimitry Andric (Stride == RHS->getRawStride()); 428e8d8bef9SDimitry Andric } 429e8d8bef9SDimitry Andric 430e8d8bef9SDimitry Andric unsigned getHashValue() const { 431e8d8bef9SDimitry Andric auto *MD = dyn_cast_or_null<ConstantAsMetadata>(CountNode); 432e8d8bef9SDimitry Andric if (CountNode && MD) 433e8d8bef9SDimitry Andric return hash_combine(cast<ConstantInt>(MD->getValue())->getSExtValue(), 434e8d8bef9SDimitry Andric LowerBound, UpperBound, Stride); 435e8d8bef9SDimitry Andric return hash_combine(CountNode, LowerBound, UpperBound, Stride); 436e8d8bef9SDimitry Andric } 437e8d8bef9SDimitry Andric }; 438e8d8bef9SDimitry Andric 4390b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIEnumerator> { 4405ffd83dbSDimitry Andric APInt Value; 4410b57cec5SDimitry Andric MDString *Name; 4420b57cec5SDimitry Andric bool IsUnsigned; 4430b57cec5SDimitry Andric 4445ffd83dbSDimitry Andric MDNodeKeyImpl(APInt Value, bool IsUnsigned, MDString *Name) 445*0fca6ea1SDimitry Andric : Value(std::move(Value)), Name(Name), IsUnsigned(IsUnsigned) {} 4465ffd83dbSDimitry Andric MDNodeKeyImpl(int64_t Value, bool IsUnsigned, MDString *Name) 4475ffd83dbSDimitry Andric : Value(APInt(64, Value, !IsUnsigned)), Name(Name), 4485ffd83dbSDimitry Andric IsUnsigned(IsUnsigned) {} 4490b57cec5SDimitry Andric MDNodeKeyImpl(const DIEnumerator *N) 4500b57cec5SDimitry Andric : Value(N->getValue()), Name(N->getRawName()), 4510b57cec5SDimitry Andric IsUnsigned(N->isUnsigned()) {} 4520b57cec5SDimitry Andric 4530b57cec5SDimitry Andric bool isKeyOf(const DIEnumerator *RHS) const { 4540eae32dcSDimitry Andric return Value.getBitWidth() == RHS->getValue().getBitWidth() && 4550eae32dcSDimitry Andric Value == RHS->getValue() && IsUnsigned == RHS->isUnsigned() && 4560eae32dcSDimitry Andric Name == RHS->getRawName(); 4570b57cec5SDimitry Andric } 4580b57cec5SDimitry Andric 4590b57cec5SDimitry Andric unsigned getHashValue() const { return hash_combine(Value, Name); } 4600b57cec5SDimitry Andric }; 4610b57cec5SDimitry Andric 4620b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIBasicType> { 4630b57cec5SDimitry Andric unsigned Tag; 4640b57cec5SDimitry Andric MDString *Name; 4650b57cec5SDimitry Andric uint64_t SizeInBits; 4660b57cec5SDimitry Andric uint32_t AlignInBits; 4670b57cec5SDimitry Andric unsigned Encoding; 4680b57cec5SDimitry Andric unsigned Flags; 4690b57cec5SDimitry Andric 4700b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, uint64_t SizeInBits, 4710b57cec5SDimitry Andric uint32_t AlignInBits, unsigned Encoding, unsigned Flags) 4720b57cec5SDimitry Andric : Tag(Tag), Name(Name), SizeInBits(SizeInBits), AlignInBits(AlignInBits), 4730b57cec5SDimitry Andric Encoding(Encoding), Flags(Flags) {} 4740b57cec5SDimitry Andric MDNodeKeyImpl(const DIBasicType *N) 4750b57cec5SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), SizeInBits(N->getSizeInBits()), 476349cc55cSDimitry Andric AlignInBits(N->getAlignInBits()), Encoding(N->getEncoding()), 477349cc55cSDimitry Andric Flags(N->getFlags()) {} 4780b57cec5SDimitry Andric 4790b57cec5SDimitry Andric bool isKeyOf(const DIBasicType *RHS) const { 4800b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 4810b57cec5SDimitry Andric SizeInBits == RHS->getSizeInBits() && 4820b57cec5SDimitry Andric AlignInBits == RHS->getAlignInBits() && 483349cc55cSDimitry Andric Encoding == RHS->getEncoding() && Flags == RHS->getFlags(); 4840b57cec5SDimitry Andric } 4850b57cec5SDimitry Andric 4860b57cec5SDimitry Andric unsigned getHashValue() const { 4870b57cec5SDimitry Andric return hash_combine(Tag, Name, SizeInBits, AlignInBits, Encoding); 4880b57cec5SDimitry Andric } 4890b57cec5SDimitry Andric }; 4900b57cec5SDimitry Andric 491e8d8bef9SDimitry Andric template <> struct MDNodeKeyImpl<DIStringType> { 492e8d8bef9SDimitry Andric unsigned Tag; 493e8d8bef9SDimitry Andric MDString *Name; 494e8d8bef9SDimitry Andric Metadata *StringLength; 495e8d8bef9SDimitry Andric Metadata *StringLengthExp; 49604eeddc0SDimitry Andric Metadata *StringLocationExp; 497e8d8bef9SDimitry Andric uint64_t SizeInBits; 498e8d8bef9SDimitry Andric uint32_t AlignInBits; 499e8d8bef9SDimitry Andric unsigned Encoding; 500e8d8bef9SDimitry Andric 501e8d8bef9SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, Metadata *StringLength, 50204eeddc0SDimitry Andric Metadata *StringLengthExp, Metadata *StringLocationExp, 50304eeddc0SDimitry Andric uint64_t SizeInBits, uint32_t AlignInBits, unsigned Encoding) 504e8d8bef9SDimitry Andric : Tag(Tag), Name(Name), StringLength(StringLength), 50504eeddc0SDimitry Andric StringLengthExp(StringLengthExp), StringLocationExp(StringLocationExp), 50604eeddc0SDimitry Andric SizeInBits(SizeInBits), AlignInBits(AlignInBits), Encoding(Encoding) {} 507e8d8bef9SDimitry Andric MDNodeKeyImpl(const DIStringType *N) 508e8d8bef9SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), 509e8d8bef9SDimitry Andric StringLength(N->getRawStringLength()), 510e8d8bef9SDimitry Andric StringLengthExp(N->getRawStringLengthExp()), 51104eeddc0SDimitry Andric StringLocationExp(N->getRawStringLocationExp()), 512e8d8bef9SDimitry Andric SizeInBits(N->getSizeInBits()), AlignInBits(N->getAlignInBits()), 513e8d8bef9SDimitry Andric Encoding(N->getEncoding()) {} 514e8d8bef9SDimitry Andric 515e8d8bef9SDimitry Andric bool isKeyOf(const DIStringType *RHS) const { 516e8d8bef9SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 51706c3fb27SDimitry Andric StringLength == RHS->getRawStringLength() && 51806c3fb27SDimitry Andric StringLengthExp == RHS->getRawStringLengthExp() && 51906c3fb27SDimitry Andric StringLocationExp == RHS->getRawStringLocationExp() && 520e8d8bef9SDimitry Andric SizeInBits == RHS->getSizeInBits() && 521e8d8bef9SDimitry Andric AlignInBits == RHS->getAlignInBits() && 522e8d8bef9SDimitry Andric Encoding == RHS->getEncoding(); 523e8d8bef9SDimitry Andric } 52406c3fb27SDimitry Andric unsigned getHashValue() const { 52506c3fb27SDimitry Andric // Intentionally computes the hash on a subset of the operands for 52606c3fb27SDimitry Andric // performance reason. The subset has to be significant enough to avoid 52706c3fb27SDimitry Andric // collision "most of the time". There is no correctness issue in case of 52806c3fb27SDimitry Andric // collision because of the full check above. 52906c3fb27SDimitry Andric return hash_combine(Tag, Name, StringLength, Encoding); 53006c3fb27SDimitry Andric } 531e8d8bef9SDimitry Andric }; 532e8d8bef9SDimitry Andric 5330b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIDerivedType> { 5340b57cec5SDimitry Andric unsigned Tag; 5350b57cec5SDimitry Andric MDString *Name; 5360b57cec5SDimitry Andric Metadata *File; 5370b57cec5SDimitry Andric unsigned Line; 5380b57cec5SDimitry Andric Metadata *Scope; 5390b57cec5SDimitry Andric Metadata *BaseType; 5400b57cec5SDimitry Andric uint64_t SizeInBits; 5410b57cec5SDimitry Andric uint64_t OffsetInBits; 5420b57cec5SDimitry Andric uint32_t AlignInBits; 543bdd1243dSDimitry Andric std::optional<unsigned> DWARFAddressSpace; 544*0fca6ea1SDimitry Andric std::optional<DIDerivedType::PtrAuthData> PtrAuthData; 5450b57cec5SDimitry Andric unsigned Flags; 5460b57cec5SDimitry Andric Metadata *ExtraData; 547349cc55cSDimitry Andric Metadata *Annotations; 5480b57cec5SDimitry Andric 5490b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, Metadata *File, unsigned Line, 5500b57cec5SDimitry Andric Metadata *Scope, Metadata *BaseType, uint64_t SizeInBits, 5510b57cec5SDimitry Andric uint32_t AlignInBits, uint64_t OffsetInBits, 552*0fca6ea1SDimitry Andric std::optional<unsigned> DWARFAddressSpace, 553*0fca6ea1SDimitry Andric std::optional<DIDerivedType::PtrAuthData> PtrAuthData, 554*0fca6ea1SDimitry Andric unsigned Flags, Metadata *ExtraData, Metadata *Annotations) 5550b57cec5SDimitry Andric : Tag(Tag), Name(Name), File(File), Line(Line), Scope(Scope), 5560b57cec5SDimitry Andric BaseType(BaseType), SizeInBits(SizeInBits), OffsetInBits(OffsetInBits), 5570b57cec5SDimitry Andric AlignInBits(AlignInBits), DWARFAddressSpace(DWARFAddressSpace), 558*0fca6ea1SDimitry Andric PtrAuthData(PtrAuthData), Flags(Flags), ExtraData(ExtraData), 559*0fca6ea1SDimitry Andric Annotations(Annotations) {} 5600b57cec5SDimitry Andric MDNodeKeyImpl(const DIDerivedType *N) 5610b57cec5SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), File(N->getRawFile()), 5620b57cec5SDimitry Andric Line(N->getLine()), Scope(N->getRawScope()), 5630b57cec5SDimitry Andric BaseType(N->getRawBaseType()), SizeInBits(N->getSizeInBits()), 5640b57cec5SDimitry Andric OffsetInBits(N->getOffsetInBits()), AlignInBits(N->getAlignInBits()), 565*0fca6ea1SDimitry Andric DWARFAddressSpace(N->getDWARFAddressSpace()), 566*0fca6ea1SDimitry Andric PtrAuthData(N->getPtrAuthData()), Flags(N->getFlags()), 567349cc55cSDimitry Andric ExtraData(N->getRawExtraData()), Annotations(N->getRawAnnotations()) {} 5680b57cec5SDimitry Andric 5690b57cec5SDimitry Andric bool isKeyOf(const DIDerivedType *RHS) const { 5700b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 5710b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 5720b57cec5SDimitry Andric Scope == RHS->getRawScope() && BaseType == RHS->getRawBaseType() && 5730b57cec5SDimitry Andric SizeInBits == RHS->getSizeInBits() && 5740b57cec5SDimitry Andric AlignInBits == RHS->getAlignInBits() && 5750b57cec5SDimitry Andric OffsetInBits == RHS->getOffsetInBits() && 5760b57cec5SDimitry Andric DWARFAddressSpace == RHS->getDWARFAddressSpace() && 577*0fca6ea1SDimitry Andric PtrAuthData == RHS->getPtrAuthData() && Flags == RHS->getFlags() && 578*0fca6ea1SDimitry Andric ExtraData == RHS->getRawExtraData() && 579349cc55cSDimitry Andric Annotations == RHS->getRawAnnotations(); 5800b57cec5SDimitry Andric } 5810b57cec5SDimitry Andric 5820b57cec5SDimitry Andric unsigned getHashValue() const { 5830b57cec5SDimitry Andric // If this is a member inside an ODR type, only hash the type and the name. 5840b57cec5SDimitry Andric // Otherwise the hash will be stronger than 5850b57cec5SDimitry Andric // MDNodeSubsetEqualImpl::isODRMember(). 5860b57cec5SDimitry Andric if (Tag == dwarf::DW_TAG_member && Name) 5870b57cec5SDimitry Andric if (auto *CT = dyn_cast_or_null<DICompositeType>(Scope)) 5880b57cec5SDimitry Andric if (CT->getRawIdentifier()) 5890b57cec5SDimitry Andric return hash_combine(Name, Scope); 5900b57cec5SDimitry Andric 5910b57cec5SDimitry Andric // Intentionally computes the hash on a subset of the operands for 5920b57cec5SDimitry Andric // performance reason. The subset has to be significant enough to avoid 5930b57cec5SDimitry Andric // collision "most of the time". There is no correctness issue in case of 5940b57cec5SDimitry Andric // collision because of the full check above. 5950b57cec5SDimitry Andric return hash_combine(Tag, Name, File, Line, Scope, BaseType, Flags); 5960b57cec5SDimitry Andric } 5970b57cec5SDimitry Andric }; 5980b57cec5SDimitry Andric 5990b57cec5SDimitry Andric template <> struct MDNodeSubsetEqualImpl<DIDerivedType> { 6000b57cec5SDimitry Andric using KeyTy = MDNodeKeyImpl<DIDerivedType>; 6010b57cec5SDimitry Andric 6020b57cec5SDimitry Andric static bool isSubsetEqual(const KeyTy &LHS, const DIDerivedType *RHS) { 6030b57cec5SDimitry Andric return isODRMember(LHS.Tag, LHS.Scope, LHS.Name, RHS); 6040b57cec5SDimitry Andric } 6050b57cec5SDimitry Andric 606349cc55cSDimitry Andric static bool isSubsetEqual(const DIDerivedType *LHS, 607349cc55cSDimitry Andric const DIDerivedType *RHS) { 6080b57cec5SDimitry Andric return isODRMember(LHS->getTag(), LHS->getRawScope(), LHS->getRawName(), 6090b57cec5SDimitry Andric RHS); 6100b57cec5SDimitry Andric } 6110b57cec5SDimitry Andric 6120b57cec5SDimitry Andric /// Subprograms compare equal if they declare the same function in an ODR 6130b57cec5SDimitry Andric /// type. 6140b57cec5SDimitry Andric static bool isODRMember(unsigned Tag, const Metadata *Scope, 6150b57cec5SDimitry Andric const MDString *Name, const DIDerivedType *RHS) { 6160b57cec5SDimitry Andric // Check whether the LHS is eligible. 6170b57cec5SDimitry Andric if (Tag != dwarf::DW_TAG_member || !Name) 6180b57cec5SDimitry Andric return false; 6190b57cec5SDimitry Andric 6200b57cec5SDimitry Andric auto *CT = dyn_cast_or_null<DICompositeType>(Scope); 6210b57cec5SDimitry Andric if (!CT || !CT->getRawIdentifier()) 6220b57cec5SDimitry Andric return false; 6230b57cec5SDimitry Andric 6240b57cec5SDimitry Andric // Compare to the RHS. 6250b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 6260b57cec5SDimitry Andric Scope == RHS->getRawScope(); 6270b57cec5SDimitry Andric } 6280b57cec5SDimitry Andric }; 6290b57cec5SDimitry Andric 6300b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DICompositeType> { 6310b57cec5SDimitry Andric unsigned Tag; 6320b57cec5SDimitry Andric MDString *Name; 6330b57cec5SDimitry Andric Metadata *File; 6340b57cec5SDimitry Andric unsigned Line; 6350b57cec5SDimitry Andric Metadata *Scope; 6360b57cec5SDimitry Andric Metadata *BaseType; 6370b57cec5SDimitry Andric uint64_t SizeInBits; 6380b57cec5SDimitry Andric uint64_t OffsetInBits; 6390b57cec5SDimitry Andric uint32_t AlignInBits; 6400b57cec5SDimitry Andric unsigned Flags; 6410b57cec5SDimitry Andric Metadata *Elements; 6420b57cec5SDimitry Andric unsigned RuntimeLang; 6430b57cec5SDimitry Andric Metadata *VTableHolder; 6440b57cec5SDimitry Andric Metadata *TemplateParams; 6450b57cec5SDimitry Andric MDString *Identifier; 6460b57cec5SDimitry Andric Metadata *Discriminator; 6475ffd83dbSDimitry Andric Metadata *DataLocation; 648e8d8bef9SDimitry Andric Metadata *Associated; 649e8d8bef9SDimitry Andric Metadata *Allocated; 650e8d8bef9SDimitry Andric Metadata *Rank; 651349cc55cSDimitry Andric Metadata *Annotations; 6520b57cec5SDimitry Andric 6530b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, Metadata *File, unsigned Line, 6540b57cec5SDimitry Andric Metadata *Scope, Metadata *BaseType, uint64_t SizeInBits, 6550b57cec5SDimitry Andric uint32_t AlignInBits, uint64_t OffsetInBits, unsigned Flags, 6560b57cec5SDimitry Andric Metadata *Elements, unsigned RuntimeLang, 6570b57cec5SDimitry Andric Metadata *VTableHolder, Metadata *TemplateParams, 6585ffd83dbSDimitry Andric MDString *Identifier, Metadata *Discriminator, 659e8d8bef9SDimitry Andric Metadata *DataLocation, Metadata *Associated, 660349cc55cSDimitry Andric Metadata *Allocated, Metadata *Rank, Metadata *Annotations) 6610b57cec5SDimitry Andric : Tag(Tag), Name(Name), File(File), Line(Line), Scope(Scope), 6620b57cec5SDimitry Andric BaseType(BaseType), SizeInBits(SizeInBits), OffsetInBits(OffsetInBits), 6630b57cec5SDimitry Andric AlignInBits(AlignInBits), Flags(Flags), Elements(Elements), 6640b57cec5SDimitry Andric RuntimeLang(RuntimeLang), VTableHolder(VTableHolder), 6650b57cec5SDimitry Andric TemplateParams(TemplateParams), Identifier(Identifier), 666e8d8bef9SDimitry Andric Discriminator(Discriminator), DataLocation(DataLocation), 667349cc55cSDimitry Andric Associated(Associated), Allocated(Allocated), Rank(Rank), 668349cc55cSDimitry Andric Annotations(Annotations) {} 6690b57cec5SDimitry Andric MDNodeKeyImpl(const DICompositeType *N) 6700b57cec5SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), File(N->getRawFile()), 6710b57cec5SDimitry Andric Line(N->getLine()), Scope(N->getRawScope()), 6720b57cec5SDimitry Andric BaseType(N->getRawBaseType()), SizeInBits(N->getSizeInBits()), 6730b57cec5SDimitry Andric OffsetInBits(N->getOffsetInBits()), AlignInBits(N->getAlignInBits()), 6740b57cec5SDimitry Andric Flags(N->getFlags()), Elements(N->getRawElements()), 6750b57cec5SDimitry Andric RuntimeLang(N->getRuntimeLang()), VTableHolder(N->getRawVTableHolder()), 6760b57cec5SDimitry Andric TemplateParams(N->getRawTemplateParams()), 6770b57cec5SDimitry Andric Identifier(N->getRawIdentifier()), 6785ffd83dbSDimitry Andric Discriminator(N->getRawDiscriminator()), 679e8d8bef9SDimitry Andric DataLocation(N->getRawDataLocation()), 680e8d8bef9SDimitry Andric Associated(N->getRawAssociated()), Allocated(N->getRawAllocated()), 681349cc55cSDimitry Andric Rank(N->getRawRank()), Annotations(N->getRawAnnotations()) {} 6820b57cec5SDimitry Andric 6830b57cec5SDimitry Andric bool isKeyOf(const DICompositeType *RHS) const { 6840b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 6850b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 6860b57cec5SDimitry Andric Scope == RHS->getRawScope() && BaseType == RHS->getRawBaseType() && 6870b57cec5SDimitry Andric SizeInBits == RHS->getSizeInBits() && 6880b57cec5SDimitry Andric AlignInBits == RHS->getAlignInBits() && 6890b57cec5SDimitry Andric OffsetInBits == RHS->getOffsetInBits() && Flags == RHS->getFlags() && 6900b57cec5SDimitry Andric Elements == RHS->getRawElements() && 6910b57cec5SDimitry Andric RuntimeLang == RHS->getRuntimeLang() && 6920b57cec5SDimitry Andric VTableHolder == RHS->getRawVTableHolder() && 6930b57cec5SDimitry Andric TemplateParams == RHS->getRawTemplateParams() && 6940b57cec5SDimitry Andric Identifier == RHS->getRawIdentifier() && 6955ffd83dbSDimitry Andric Discriminator == RHS->getRawDiscriminator() && 696e8d8bef9SDimitry Andric DataLocation == RHS->getRawDataLocation() && 697e8d8bef9SDimitry Andric Associated == RHS->getRawAssociated() && 698349cc55cSDimitry Andric Allocated == RHS->getRawAllocated() && Rank == RHS->getRawRank() && 699349cc55cSDimitry Andric Annotations == RHS->getRawAnnotations(); 7000b57cec5SDimitry Andric } 7010b57cec5SDimitry Andric 7020b57cec5SDimitry Andric unsigned getHashValue() const { 7030b57cec5SDimitry Andric // Intentionally computes the hash on a subset of the operands for 7040b57cec5SDimitry Andric // performance reason. The subset has to be significant enough to avoid 7050b57cec5SDimitry Andric // collision "most of the time". There is no correctness issue in case of 7060b57cec5SDimitry Andric // collision because of the full check above. 7070b57cec5SDimitry Andric return hash_combine(Name, File, Line, BaseType, Scope, Elements, 708349cc55cSDimitry Andric TemplateParams, Annotations); 7090b57cec5SDimitry Andric } 7100b57cec5SDimitry Andric }; 7110b57cec5SDimitry Andric 7120b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DISubroutineType> { 7130b57cec5SDimitry Andric unsigned Flags; 7140b57cec5SDimitry Andric uint8_t CC; 7150b57cec5SDimitry Andric Metadata *TypeArray; 7160b57cec5SDimitry Andric 7170b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Flags, uint8_t CC, Metadata *TypeArray) 7180b57cec5SDimitry Andric : Flags(Flags), CC(CC), TypeArray(TypeArray) {} 7190b57cec5SDimitry Andric MDNodeKeyImpl(const DISubroutineType *N) 7200b57cec5SDimitry Andric : Flags(N->getFlags()), CC(N->getCC()), TypeArray(N->getRawTypeArray()) {} 7210b57cec5SDimitry Andric 7220b57cec5SDimitry Andric bool isKeyOf(const DISubroutineType *RHS) const { 7230b57cec5SDimitry Andric return Flags == RHS->getFlags() && CC == RHS->getCC() && 7240b57cec5SDimitry Andric TypeArray == RHS->getRawTypeArray(); 7250b57cec5SDimitry Andric } 7260b57cec5SDimitry Andric 7270b57cec5SDimitry Andric unsigned getHashValue() const { return hash_combine(Flags, CC, TypeArray); } 7280b57cec5SDimitry Andric }; 7290b57cec5SDimitry Andric 7300b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIFile> { 7310b57cec5SDimitry Andric MDString *Filename; 7320b57cec5SDimitry Andric MDString *Directory; 733bdd1243dSDimitry Andric std::optional<DIFile::ChecksumInfo<MDString *>> Checksum; 734bdd1243dSDimitry Andric MDString *Source; 7350b57cec5SDimitry Andric 7360b57cec5SDimitry Andric MDNodeKeyImpl(MDString *Filename, MDString *Directory, 737bdd1243dSDimitry Andric std::optional<DIFile::ChecksumInfo<MDString *>> Checksum, 738bdd1243dSDimitry Andric MDString *Source) 7390b57cec5SDimitry Andric : Filename(Filename), Directory(Directory), Checksum(Checksum), 7400b57cec5SDimitry Andric Source(Source) {} 7410b57cec5SDimitry Andric MDNodeKeyImpl(const DIFile *N) 7420b57cec5SDimitry Andric : Filename(N->getRawFilename()), Directory(N->getRawDirectory()), 7430b57cec5SDimitry Andric Checksum(N->getRawChecksum()), Source(N->getRawSource()) {} 7440b57cec5SDimitry Andric 7450b57cec5SDimitry Andric bool isKeyOf(const DIFile *RHS) const { 7460b57cec5SDimitry Andric return Filename == RHS->getRawFilename() && 7470b57cec5SDimitry Andric Directory == RHS->getRawDirectory() && 748349cc55cSDimitry Andric Checksum == RHS->getRawChecksum() && Source == RHS->getRawSource(); 7490b57cec5SDimitry Andric } 7500b57cec5SDimitry Andric 7510b57cec5SDimitry Andric unsigned getHashValue() const { 752349cc55cSDimitry Andric return hash_combine(Filename, Directory, Checksum ? Checksum->Kind : 0, 753bdd1243dSDimitry Andric Checksum ? Checksum->Value : nullptr, Source); 7540b57cec5SDimitry Andric } 7550b57cec5SDimitry Andric }; 7560b57cec5SDimitry Andric 7570b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DISubprogram> { 7580b57cec5SDimitry Andric Metadata *Scope; 7590b57cec5SDimitry Andric MDString *Name; 7600b57cec5SDimitry Andric MDString *LinkageName; 7610b57cec5SDimitry Andric Metadata *File; 7620b57cec5SDimitry Andric unsigned Line; 7630b57cec5SDimitry Andric Metadata *Type; 7640b57cec5SDimitry Andric unsigned ScopeLine; 7650b57cec5SDimitry Andric Metadata *ContainingType; 7660b57cec5SDimitry Andric unsigned VirtualIndex; 7670b57cec5SDimitry Andric int ThisAdjustment; 7680b57cec5SDimitry Andric unsigned Flags; 7690b57cec5SDimitry Andric unsigned SPFlags; 7700b57cec5SDimitry Andric Metadata *Unit; 7710b57cec5SDimitry Andric Metadata *TemplateParams; 7720b57cec5SDimitry Andric Metadata *Declaration; 7730b57cec5SDimitry Andric Metadata *RetainedNodes; 7740b57cec5SDimitry Andric Metadata *ThrownTypes; 775349cc55cSDimitry Andric Metadata *Annotations; 77681ad6265SDimitry Andric MDString *TargetFuncName; 7770b57cec5SDimitry Andric 7780b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, MDString *LinkageName, 7790b57cec5SDimitry Andric Metadata *File, unsigned Line, Metadata *Type, 7800b57cec5SDimitry Andric unsigned ScopeLine, Metadata *ContainingType, 7810b57cec5SDimitry Andric unsigned VirtualIndex, int ThisAdjustment, unsigned Flags, 7820b57cec5SDimitry Andric unsigned SPFlags, Metadata *Unit, Metadata *TemplateParams, 7830b57cec5SDimitry Andric Metadata *Declaration, Metadata *RetainedNodes, 78481ad6265SDimitry Andric Metadata *ThrownTypes, Metadata *Annotations, 78581ad6265SDimitry Andric MDString *TargetFuncName) 7860b57cec5SDimitry Andric : Scope(Scope), Name(Name), LinkageName(LinkageName), File(File), 7870b57cec5SDimitry Andric Line(Line), Type(Type), ScopeLine(ScopeLine), 7880b57cec5SDimitry Andric ContainingType(ContainingType), VirtualIndex(VirtualIndex), 7890b57cec5SDimitry Andric ThisAdjustment(ThisAdjustment), Flags(Flags), SPFlags(SPFlags), 7900b57cec5SDimitry Andric Unit(Unit), TemplateParams(TemplateParams), Declaration(Declaration), 791349cc55cSDimitry Andric RetainedNodes(RetainedNodes), ThrownTypes(ThrownTypes), 79281ad6265SDimitry Andric Annotations(Annotations), TargetFuncName(TargetFuncName) {} 7930b57cec5SDimitry Andric MDNodeKeyImpl(const DISubprogram *N) 7940b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), 7950b57cec5SDimitry Andric LinkageName(N->getRawLinkageName()), File(N->getRawFile()), 7960b57cec5SDimitry Andric Line(N->getLine()), Type(N->getRawType()), ScopeLine(N->getScopeLine()), 7970b57cec5SDimitry Andric ContainingType(N->getRawContainingType()), 7980b57cec5SDimitry Andric VirtualIndex(N->getVirtualIndex()), 7990b57cec5SDimitry Andric ThisAdjustment(N->getThisAdjustment()), Flags(N->getFlags()), 8000b57cec5SDimitry Andric SPFlags(N->getSPFlags()), Unit(N->getRawUnit()), 8010b57cec5SDimitry Andric TemplateParams(N->getRawTemplateParams()), 8020b57cec5SDimitry Andric Declaration(N->getRawDeclaration()), 8030b57cec5SDimitry Andric RetainedNodes(N->getRawRetainedNodes()), 804349cc55cSDimitry Andric ThrownTypes(N->getRawThrownTypes()), 80581ad6265SDimitry Andric Annotations(N->getRawAnnotations()), 80681ad6265SDimitry Andric TargetFuncName(N->getRawTargetFuncName()) {} 8070b57cec5SDimitry Andric 8080b57cec5SDimitry Andric bool isKeyOf(const DISubprogram *RHS) const { 8090b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 8100b57cec5SDimitry Andric LinkageName == RHS->getRawLinkageName() && 8110b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 8120b57cec5SDimitry Andric Type == RHS->getRawType() && ScopeLine == RHS->getScopeLine() && 8130b57cec5SDimitry Andric ContainingType == RHS->getRawContainingType() && 8140b57cec5SDimitry Andric VirtualIndex == RHS->getVirtualIndex() && 8150b57cec5SDimitry Andric ThisAdjustment == RHS->getThisAdjustment() && 8160b57cec5SDimitry Andric Flags == RHS->getFlags() && SPFlags == RHS->getSPFlags() && 8170b57cec5SDimitry Andric Unit == RHS->getUnit() && 8180b57cec5SDimitry Andric TemplateParams == RHS->getRawTemplateParams() && 8190b57cec5SDimitry Andric Declaration == RHS->getRawDeclaration() && 8200b57cec5SDimitry Andric RetainedNodes == RHS->getRawRetainedNodes() && 821349cc55cSDimitry Andric ThrownTypes == RHS->getRawThrownTypes() && 82281ad6265SDimitry Andric Annotations == RHS->getRawAnnotations() && 82381ad6265SDimitry Andric TargetFuncName == RHS->getRawTargetFuncName(); 8240b57cec5SDimitry Andric } 8250b57cec5SDimitry Andric 8260b57cec5SDimitry Andric bool isDefinition() const { return SPFlags & DISubprogram::SPFlagDefinition; } 8270b57cec5SDimitry Andric 8280b57cec5SDimitry Andric unsigned getHashValue() const { 829*0fca6ea1SDimitry Andric // Use the Scope's linkage name instead of using the scope directly, as the 830*0fca6ea1SDimitry Andric // scope may be a temporary one which can replaced, which would produce a 831*0fca6ea1SDimitry Andric // different hash for the same DISubprogram. 832*0fca6ea1SDimitry Andric llvm::StringRef ScopeLinkageName; 833*0fca6ea1SDimitry Andric if (auto *CT = dyn_cast_or_null<DICompositeType>(Scope)) 834*0fca6ea1SDimitry Andric if (auto *ID = CT->getRawIdentifier()) 835*0fca6ea1SDimitry Andric ScopeLinkageName = ID->getString(); 836*0fca6ea1SDimitry Andric 8370b57cec5SDimitry Andric // If this is a declaration inside an ODR type, only hash the type and the 8380b57cec5SDimitry Andric // name. Otherwise the hash will be stronger than 8390b57cec5SDimitry Andric // MDNodeSubsetEqualImpl::isDeclarationOfODRMember(). 840*0fca6ea1SDimitry Andric if (!isDefinition() && LinkageName && 841*0fca6ea1SDimitry Andric isa_and_nonnull<DICompositeType>(Scope)) 842*0fca6ea1SDimitry Andric return hash_combine(LinkageName, ScopeLinkageName); 8430b57cec5SDimitry Andric 8440b57cec5SDimitry Andric // Intentionally computes the hash on a subset of the operands for 8450b57cec5SDimitry Andric // performance reason. The subset has to be significant enough to avoid 8460b57cec5SDimitry Andric // collision "most of the time". There is no correctness issue in case of 8470b57cec5SDimitry Andric // collision because of the full check above. 848*0fca6ea1SDimitry Andric return hash_combine(Name, ScopeLinkageName, File, Type, Line); 8490b57cec5SDimitry Andric } 8500b57cec5SDimitry Andric }; 8510b57cec5SDimitry Andric 8520b57cec5SDimitry Andric template <> struct MDNodeSubsetEqualImpl<DISubprogram> { 8530b57cec5SDimitry Andric using KeyTy = MDNodeKeyImpl<DISubprogram>; 8540b57cec5SDimitry Andric 8550b57cec5SDimitry Andric static bool isSubsetEqual(const KeyTy &LHS, const DISubprogram *RHS) { 8560b57cec5SDimitry Andric return isDeclarationOfODRMember(LHS.isDefinition(), LHS.Scope, 8570b57cec5SDimitry Andric LHS.LinkageName, LHS.TemplateParams, RHS); 8580b57cec5SDimitry Andric } 8590b57cec5SDimitry Andric 8600b57cec5SDimitry Andric static bool isSubsetEqual(const DISubprogram *LHS, const DISubprogram *RHS) { 8610b57cec5SDimitry Andric return isDeclarationOfODRMember(LHS->isDefinition(), LHS->getRawScope(), 8620b57cec5SDimitry Andric LHS->getRawLinkageName(), 8630b57cec5SDimitry Andric LHS->getRawTemplateParams(), RHS); 8640b57cec5SDimitry Andric } 8650b57cec5SDimitry Andric 8660b57cec5SDimitry Andric /// Subprograms compare equal if they declare the same function in an ODR 8670b57cec5SDimitry Andric /// type. 8680b57cec5SDimitry Andric static bool isDeclarationOfODRMember(bool IsDefinition, const Metadata *Scope, 8690b57cec5SDimitry Andric const MDString *LinkageName, 8700b57cec5SDimitry Andric const Metadata *TemplateParams, 8710b57cec5SDimitry Andric const DISubprogram *RHS) { 8720b57cec5SDimitry Andric // Check whether the LHS is eligible. 8730b57cec5SDimitry Andric if (IsDefinition || !Scope || !LinkageName) 8740b57cec5SDimitry Andric return false; 8750b57cec5SDimitry Andric 8760b57cec5SDimitry Andric auto *CT = dyn_cast_or_null<DICompositeType>(Scope); 8770b57cec5SDimitry Andric if (!CT || !CT->getRawIdentifier()) 8780b57cec5SDimitry Andric return false; 8790b57cec5SDimitry Andric 8800b57cec5SDimitry Andric // Compare to the RHS. 8810b57cec5SDimitry Andric // FIXME: We need to compare template parameters here to avoid incorrect 882fe6060f1SDimitry Andric // collisions in mapMetadata when RF_ReuseAndMutateDistinctMDs and a 883fe6060f1SDimitry Andric // ODR-DISubprogram has a non-ODR template parameter (i.e., a 884fe6060f1SDimitry Andric // DICompositeType that does not have an identifier). Eventually we should 885fe6060f1SDimitry Andric // decouple ODR logic from uniquing logic. 8860b57cec5SDimitry Andric return IsDefinition == RHS->isDefinition() && Scope == RHS->getRawScope() && 8870b57cec5SDimitry Andric LinkageName == RHS->getRawLinkageName() && 8880b57cec5SDimitry Andric TemplateParams == RHS->getRawTemplateParams(); 8890b57cec5SDimitry Andric } 8900b57cec5SDimitry Andric }; 8910b57cec5SDimitry Andric 8920b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILexicalBlock> { 8930b57cec5SDimitry Andric Metadata *Scope; 8940b57cec5SDimitry Andric Metadata *File; 8950b57cec5SDimitry Andric unsigned Line; 8960b57cec5SDimitry Andric unsigned Column; 8970b57cec5SDimitry Andric 8980b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, Metadata *File, unsigned Line, unsigned Column) 8990b57cec5SDimitry Andric : Scope(Scope), File(File), Line(Line), Column(Column) {} 9000b57cec5SDimitry Andric MDNodeKeyImpl(const DILexicalBlock *N) 9010b57cec5SDimitry Andric : Scope(N->getRawScope()), File(N->getRawFile()), Line(N->getLine()), 9020b57cec5SDimitry Andric Column(N->getColumn()) {} 9030b57cec5SDimitry Andric 9040b57cec5SDimitry Andric bool isKeyOf(const DILexicalBlock *RHS) const { 9050b57cec5SDimitry Andric return Scope == RHS->getRawScope() && File == RHS->getRawFile() && 9060b57cec5SDimitry Andric Line == RHS->getLine() && Column == RHS->getColumn(); 9070b57cec5SDimitry Andric } 9080b57cec5SDimitry Andric 9090b57cec5SDimitry Andric unsigned getHashValue() const { 9100b57cec5SDimitry Andric return hash_combine(Scope, File, Line, Column); 9110b57cec5SDimitry Andric } 9120b57cec5SDimitry Andric }; 9130b57cec5SDimitry Andric 9140b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILexicalBlockFile> { 9150b57cec5SDimitry Andric Metadata *Scope; 9160b57cec5SDimitry Andric Metadata *File; 9170b57cec5SDimitry Andric unsigned Discriminator; 9180b57cec5SDimitry Andric 9190b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, Metadata *File, unsigned Discriminator) 9200b57cec5SDimitry Andric : Scope(Scope), File(File), Discriminator(Discriminator) {} 9210b57cec5SDimitry Andric MDNodeKeyImpl(const DILexicalBlockFile *N) 9220b57cec5SDimitry Andric : Scope(N->getRawScope()), File(N->getRawFile()), 9230b57cec5SDimitry Andric Discriminator(N->getDiscriminator()) {} 9240b57cec5SDimitry Andric 9250b57cec5SDimitry Andric bool isKeyOf(const DILexicalBlockFile *RHS) const { 9260b57cec5SDimitry Andric return Scope == RHS->getRawScope() && File == RHS->getRawFile() && 9270b57cec5SDimitry Andric Discriminator == RHS->getDiscriminator(); 9280b57cec5SDimitry Andric } 9290b57cec5SDimitry Andric 9300b57cec5SDimitry Andric unsigned getHashValue() const { 9310b57cec5SDimitry Andric return hash_combine(Scope, File, Discriminator); 9320b57cec5SDimitry Andric } 9330b57cec5SDimitry Andric }; 9340b57cec5SDimitry Andric 9350b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DINamespace> { 9360b57cec5SDimitry Andric Metadata *Scope; 9370b57cec5SDimitry Andric MDString *Name; 9380b57cec5SDimitry Andric bool ExportSymbols; 9390b57cec5SDimitry Andric 9400b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, bool ExportSymbols) 9410b57cec5SDimitry Andric : Scope(Scope), Name(Name), ExportSymbols(ExportSymbols) {} 9420b57cec5SDimitry Andric MDNodeKeyImpl(const DINamespace *N) 9430b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), 9440b57cec5SDimitry Andric ExportSymbols(N->getExportSymbols()) {} 9450b57cec5SDimitry Andric 9460b57cec5SDimitry Andric bool isKeyOf(const DINamespace *RHS) const { 9470b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 9480b57cec5SDimitry Andric ExportSymbols == RHS->getExportSymbols(); 9490b57cec5SDimitry Andric } 9500b57cec5SDimitry Andric 951349cc55cSDimitry Andric unsigned getHashValue() const { return hash_combine(Scope, Name); } 9520b57cec5SDimitry Andric }; 9530b57cec5SDimitry Andric 9540b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DICommonBlock> { 9550b57cec5SDimitry Andric Metadata *Scope; 9560b57cec5SDimitry Andric Metadata *Decl; 9570b57cec5SDimitry Andric MDString *Name; 9580b57cec5SDimitry Andric Metadata *File; 9590b57cec5SDimitry Andric unsigned LineNo; 9600b57cec5SDimitry Andric 961349cc55cSDimitry Andric MDNodeKeyImpl(Metadata *Scope, Metadata *Decl, MDString *Name, Metadata *File, 962349cc55cSDimitry Andric unsigned LineNo) 9630b57cec5SDimitry Andric : Scope(Scope), Decl(Decl), Name(Name), File(File), LineNo(LineNo) {} 9640b57cec5SDimitry Andric MDNodeKeyImpl(const DICommonBlock *N) 9650b57cec5SDimitry Andric : Scope(N->getRawScope()), Decl(N->getRawDecl()), Name(N->getRawName()), 9660b57cec5SDimitry Andric File(N->getRawFile()), LineNo(N->getLineNo()) {} 9670b57cec5SDimitry Andric 9680b57cec5SDimitry Andric bool isKeyOf(const DICommonBlock *RHS) const { 9690b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Decl == RHS->getRawDecl() && 9700b57cec5SDimitry Andric Name == RHS->getRawName() && File == RHS->getRawFile() && 9710b57cec5SDimitry Andric LineNo == RHS->getLineNo(); 9720b57cec5SDimitry Andric } 9730b57cec5SDimitry Andric 9740b57cec5SDimitry Andric unsigned getHashValue() const { 9750b57cec5SDimitry Andric return hash_combine(Scope, Decl, Name, File, LineNo); 9760b57cec5SDimitry Andric } 9770b57cec5SDimitry Andric }; 9780b57cec5SDimitry Andric 9790b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIModule> { 9805ffd83dbSDimitry Andric Metadata *File; 9810b57cec5SDimitry Andric Metadata *Scope; 9820b57cec5SDimitry Andric MDString *Name; 9830b57cec5SDimitry Andric MDString *ConfigurationMacros; 9840b57cec5SDimitry Andric MDString *IncludePath; 9855ffd83dbSDimitry Andric MDString *APINotesFile; 9865ffd83dbSDimitry Andric unsigned LineNo; 987e8d8bef9SDimitry Andric bool IsDecl; 9880b57cec5SDimitry Andric 9895ffd83dbSDimitry Andric MDNodeKeyImpl(Metadata *File, Metadata *Scope, MDString *Name, 9905ffd83dbSDimitry Andric MDString *ConfigurationMacros, MDString *IncludePath, 991e8d8bef9SDimitry Andric MDString *APINotesFile, unsigned LineNo, bool IsDecl) 9925ffd83dbSDimitry Andric : File(File), Scope(Scope), Name(Name), 9935ffd83dbSDimitry Andric ConfigurationMacros(ConfigurationMacros), IncludePath(IncludePath), 994e8d8bef9SDimitry Andric APINotesFile(APINotesFile), LineNo(LineNo), IsDecl(IsDecl) {} 9950b57cec5SDimitry Andric MDNodeKeyImpl(const DIModule *N) 9965ffd83dbSDimitry Andric : File(N->getRawFile()), Scope(N->getRawScope()), Name(N->getRawName()), 9970b57cec5SDimitry Andric ConfigurationMacros(N->getRawConfigurationMacros()), 9985ffd83dbSDimitry Andric IncludePath(N->getRawIncludePath()), 999e8d8bef9SDimitry Andric APINotesFile(N->getRawAPINotesFile()), LineNo(N->getLineNo()), 1000e8d8bef9SDimitry Andric IsDecl(N->getIsDecl()) {} 10010b57cec5SDimitry Andric 10020b57cec5SDimitry Andric bool isKeyOf(const DIModule *RHS) const { 10030b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 10040b57cec5SDimitry Andric ConfigurationMacros == RHS->getRawConfigurationMacros() && 10050b57cec5SDimitry Andric IncludePath == RHS->getRawIncludePath() && 10065ffd83dbSDimitry Andric APINotesFile == RHS->getRawAPINotesFile() && 1007e8d8bef9SDimitry Andric File == RHS->getRawFile() && LineNo == RHS->getLineNo() && 1008e8d8bef9SDimitry Andric IsDecl == RHS->getIsDecl(); 10090b57cec5SDimitry Andric } 10100b57cec5SDimitry Andric 10110b57cec5SDimitry Andric unsigned getHashValue() const { 10125ffd83dbSDimitry Andric return hash_combine(Scope, Name, ConfigurationMacros, IncludePath); 10130b57cec5SDimitry Andric } 10140b57cec5SDimitry Andric }; 10150b57cec5SDimitry Andric 10160b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DITemplateTypeParameter> { 10170b57cec5SDimitry Andric MDString *Name; 10180b57cec5SDimitry Andric Metadata *Type; 10195ffd83dbSDimitry Andric bool IsDefault; 10200b57cec5SDimitry Andric 10215ffd83dbSDimitry Andric MDNodeKeyImpl(MDString *Name, Metadata *Type, bool IsDefault) 10225ffd83dbSDimitry Andric : Name(Name), Type(Type), IsDefault(IsDefault) {} 10230b57cec5SDimitry Andric MDNodeKeyImpl(const DITemplateTypeParameter *N) 10245ffd83dbSDimitry Andric : Name(N->getRawName()), Type(N->getRawType()), 10255ffd83dbSDimitry Andric IsDefault(N->isDefault()) {} 10260b57cec5SDimitry Andric 10270b57cec5SDimitry Andric bool isKeyOf(const DITemplateTypeParameter *RHS) const { 10285ffd83dbSDimitry Andric return Name == RHS->getRawName() && Type == RHS->getRawType() && 10295ffd83dbSDimitry Andric IsDefault == RHS->isDefault(); 10300b57cec5SDimitry Andric } 10310b57cec5SDimitry Andric 10325ffd83dbSDimitry Andric unsigned getHashValue() const { return hash_combine(Name, Type, IsDefault); } 10330b57cec5SDimitry Andric }; 10340b57cec5SDimitry Andric 10350b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DITemplateValueParameter> { 10360b57cec5SDimitry Andric unsigned Tag; 10370b57cec5SDimitry Andric MDString *Name; 10380b57cec5SDimitry Andric Metadata *Type; 10395ffd83dbSDimitry Andric bool IsDefault; 10400b57cec5SDimitry Andric Metadata *Value; 10410b57cec5SDimitry Andric 10425ffd83dbSDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, Metadata *Type, bool IsDefault, 10435ffd83dbSDimitry Andric Metadata *Value) 10445ffd83dbSDimitry Andric : Tag(Tag), Name(Name), Type(Type), IsDefault(IsDefault), Value(Value) {} 10450b57cec5SDimitry Andric MDNodeKeyImpl(const DITemplateValueParameter *N) 10460b57cec5SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), Type(N->getRawType()), 10475ffd83dbSDimitry Andric IsDefault(N->isDefault()), Value(N->getValue()) {} 10480b57cec5SDimitry Andric 10490b57cec5SDimitry Andric bool isKeyOf(const DITemplateValueParameter *RHS) const { 10500b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 10515ffd83dbSDimitry Andric Type == RHS->getRawType() && IsDefault == RHS->isDefault() && 10525ffd83dbSDimitry Andric Value == RHS->getValue(); 10530b57cec5SDimitry Andric } 10540b57cec5SDimitry Andric 10555ffd83dbSDimitry Andric unsigned getHashValue() const { 10565ffd83dbSDimitry Andric return hash_combine(Tag, Name, Type, IsDefault, Value); 10575ffd83dbSDimitry Andric } 10580b57cec5SDimitry Andric }; 10590b57cec5SDimitry Andric 10600b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIGlobalVariable> { 10610b57cec5SDimitry Andric Metadata *Scope; 10620b57cec5SDimitry Andric MDString *Name; 10630b57cec5SDimitry Andric MDString *LinkageName; 10640b57cec5SDimitry Andric Metadata *File; 10650b57cec5SDimitry Andric unsigned Line; 10660b57cec5SDimitry Andric Metadata *Type; 10670b57cec5SDimitry Andric bool IsLocalToUnit; 10680b57cec5SDimitry Andric bool IsDefinition; 10690b57cec5SDimitry Andric Metadata *StaticDataMemberDeclaration; 10700b57cec5SDimitry Andric Metadata *TemplateParams; 10710b57cec5SDimitry Andric uint32_t AlignInBits; 1072349cc55cSDimitry Andric Metadata *Annotations; 10730b57cec5SDimitry Andric 10740b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, MDString *LinkageName, 10750b57cec5SDimitry Andric Metadata *File, unsigned Line, Metadata *Type, 10760b57cec5SDimitry Andric bool IsLocalToUnit, bool IsDefinition, 10770b57cec5SDimitry Andric Metadata *StaticDataMemberDeclaration, Metadata *TemplateParams, 1078349cc55cSDimitry Andric uint32_t AlignInBits, Metadata *Annotations) 10790b57cec5SDimitry Andric : Scope(Scope), Name(Name), LinkageName(LinkageName), File(File), 10800b57cec5SDimitry Andric Line(Line), Type(Type), IsLocalToUnit(IsLocalToUnit), 10810b57cec5SDimitry Andric IsDefinition(IsDefinition), 10820b57cec5SDimitry Andric StaticDataMemberDeclaration(StaticDataMemberDeclaration), 1083349cc55cSDimitry Andric TemplateParams(TemplateParams), AlignInBits(AlignInBits), 1084349cc55cSDimitry Andric Annotations(Annotations) {} 10850b57cec5SDimitry Andric MDNodeKeyImpl(const DIGlobalVariable *N) 10860b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), 10870b57cec5SDimitry Andric LinkageName(N->getRawLinkageName()), File(N->getRawFile()), 10880b57cec5SDimitry Andric Line(N->getLine()), Type(N->getRawType()), 10890b57cec5SDimitry Andric IsLocalToUnit(N->isLocalToUnit()), IsDefinition(N->isDefinition()), 10900b57cec5SDimitry Andric StaticDataMemberDeclaration(N->getRawStaticDataMemberDeclaration()), 10910b57cec5SDimitry Andric TemplateParams(N->getRawTemplateParams()), 1092349cc55cSDimitry Andric AlignInBits(N->getAlignInBits()), Annotations(N->getRawAnnotations()) {} 10930b57cec5SDimitry Andric 10940b57cec5SDimitry Andric bool isKeyOf(const DIGlobalVariable *RHS) const { 10950b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 10960b57cec5SDimitry Andric LinkageName == RHS->getRawLinkageName() && 10970b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 10980b57cec5SDimitry Andric Type == RHS->getRawType() && IsLocalToUnit == RHS->isLocalToUnit() && 10990b57cec5SDimitry Andric IsDefinition == RHS->isDefinition() && 11000b57cec5SDimitry Andric StaticDataMemberDeclaration == 11010b57cec5SDimitry Andric RHS->getRawStaticDataMemberDeclaration() && 11020b57cec5SDimitry Andric TemplateParams == RHS->getRawTemplateParams() && 1103349cc55cSDimitry Andric AlignInBits == RHS->getAlignInBits() && 1104349cc55cSDimitry Andric Annotations == RHS->getRawAnnotations(); 11050b57cec5SDimitry Andric } 11060b57cec5SDimitry Andric 11070b57cec5SDimitry Andric unsigned getHashValue() const { 11080b57cec5SDimitry Andric // We do not use AlignInBits in hashing function here on purpose: 11090b57cec5SDimitry Andric // in most cases this param for local variable is zero (for function param 11100b57cec5SDimitry Andric // it is always zero). This leads to lots of hash collisions and errors on 11110b57cec5SDimitry Andric // cases with lots of similar variables. 11120b57cec5SDimitry Andric // clang/test/CodeGen/debug-info-257-args.c is an example of this problem, 11130b57cec5SDimitry Andric // generated IR is random for each run and test fails with Align included. 11140b57cec5SDimitry Andric // TODO: make hashing work fine with such situations 11150b57cec5SDimitry Andric return hash_combine(Scope, Name, LinkageName, File, Line, Type, 11160b57cec5SDimitry Andric IsLocalToUnit, IsDefinition, /* AlignInBits, */ 1117349cc55cSDimitry Andric StaticDataMemberDeclaration, Annotations); 11180b57cec5SDimitry Andric } 11190b57cec5SDimitry Andric }; 11200b57cec5SDimitry Andric 11210b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILocalVariable> { 11220b57cec5SDimitry Andric Metadata *Scope; 11230b57cec5SDimitry Andric MDString *Name; 11240b57cec5SDimitry Andric Metadata *File; 11250b57cec5SDimitry Andric unsigned Line; 11260b57cec5SDimitry Andric Metadata *Type; 11270b57cec5SDimitry Andric unsigned Arg; 11280b57cec5SDimitry Andric unsigned Flags; 11290b57cec5SDimitry Andric uint32_t AlignInBits; 1130349cc55cSDimitry Andric Metadata *Annotations; 11310b57cec5SDimitry Andric 11320b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, Metadata *File, unsigned Line, 11330b57cec5SDimitry Andric Metadata *Type, unsigned Arg, unsigned Flags, 1134349cc55cSDimitry Andric uint32_t AlignInBits, Metadata *Annotations) 11350b57cec5SDimitry Andric : Scope(Scope), Name(Name), File(File), Line(Line), Type(Type), Arg(Arg), 1136349cc55cSDimitry Andric Flags(Flags), AlignInBits(AlignInBits), Annotations(Annotations) {} 11370b57cec5SDimitry Andric MDNodeKeyImpl(const DILocalVariable *N) 11380b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), File(N->getRawFile()), 11390b57cec5SDimitry Andric Line(N->getLine()), Type(N->getRawType()), Arg(N->getArg()), 1140349cc55cSDimitry Andric Flags(N->getFlags()), AlignInBits(N->getAlignInBits()), 1141349cc55cSDimitry Andric Annotations(N->getRawAnnotations()) {} 11420b57cec5SDimitry Andric 11430b57cec5SDimitry Andric bool isKeyOf(const DILocalVariable *RHS) const { 11440b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 11450b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 11460b57cec5SDimitry Andric Type == RHS->getRawType() && Arg == RHS->getArg() && 1147349cc55cSDimitry Andric Flags == RHS->getFlags() && AlignInBits == RHS->getAlignInBits() && 1148349cc55cSDimitry Andric Annotations == RHS->getRawAnnotations(); 11490b57cec5SDimitry Andric } 11500b57cec5SDimitry Andric 11510b57cec5SDimitry Andric unsigned getHashValue() const { 11520b57cec5SDimitry Andric // We do not use AlignInBits in hashing function here on purpose: 11530b57cec5SDimitry Andric // in most cases this param for local variable is zero (for function param 11540b57cec5SDimitry Andric // it is always zero). This leads to lots of hash collisions and errors on 11550b57cec5SDimitry Andric // cases with lots of similar variables. 11560b57cec5SDimitry Andric // clang/test/CodeGen/debug-info-257-args.c is an example of this problem, 11570b57cec5SDimitry Andric // generated IR is random for each run and test fails with Align included. 11580b57cec5SDimitry Andric // TODO: make hashing work fine with such situations 1159349cc55cSDimitry Andric return hash_combine(Scope, Name, File, Line, Type, Arg, Flags, Annotations); 11600b57cec5SDimitry Andric } 11610b57cec5SDimitry Andric }; 11620b57cec5SDimitry Andric 11630b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILabel> { 11640b57cec5SDimitry Andric Metadata *Scope; 11650b57cec5SDimitry Andric MDString *Name; 11660b57cec5SDimitry Andric Metadata *File; 11670b57cec5SDimitry Andric unsigned Line; 11680b57cec5SDimitry Andric 11690b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, Metadata *File, unsigned Line) 11700b57cec5SDimitry Andric : Scope(Scope), Name(Name), File(File), Line(Line) {} 11710b57cec5SDimitry Andric MDNodeKeyImpl(const DILabel *N) 11720b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), File(N->getRawFile()), 11730b57cec5SDimitry Andric Line(N->getLine()) {} 11740b57cec5SDimitry Andric 11750b57cec5SDimitry Andric bool isKeyOf(const DILabel *RHS) const { 11760b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 11770b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine(); 11780b57cec5SDimitry Andric } 11790b57cec5SDimitry Andric 11800b57cec5SDimitry Andric /// Using name and line to get hash value. It should already be mostly unique. 1181349cc55cSDimitry Andric unsigned getHashValue() const { return hash_combine(Scope, Name, Line); } 11820b57cec5SDimitry Andric }; 11830b57cec5SDimitry Andric 11840b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIExpression> { 11850b57cec5SDimitry Andric ArrayRef<uint64_t> Elements; 11860b57cec5SDimitry Andric 11870b57cec5SDimitry Andric MDNodeKeyImpl(ArrayRef<uint64_t> Elements) : Elements(Elements) {} 11880b57cec5SDimitry Andric MDNodeKeyImpl(const DIExpression *N) : Elements(N->getElements()) {} 11890b57cec5SDimitry Andric 11900b57cec5SDimitry Andric bool isKeyOf(const DIExpression *RHS) const { 11910b57cec5SDimitry Andric return Elements == RHS->getElements(); 11920b57cec5SDimitry Andric } 11930b57cec5SDimitry Andric 11940b57cec5SDimitry Andric unsigned getHashValue() const { 11950b57cec5SDimitry Andric return hash_combine_range(Elements.begin(), Elements.end()); 11960b57cec5SDimitry Andric } 11970b57cec5SDimitry Andric }; 11980b57cec5SDimitry Andric 11990b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIGlobalVariableExpression> { 12000b57cec5SDimitry Andric Metadata *Variable; 12010b57cec5SDimitry Andric Metadata *Expression; 12020b57cec5SDimitry Andric 12030b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Variable, Metadata *Expression) 12040b57cec5SDimitry Andric : Variable(Variable), Expression(Expression) {} 12050b57cec5SDimitry Andric MDNodeKeyImpl(const DIGlobalVariableExpression *N) 12060b57cec5SDimitry Andric : Variable(N->getRawVariable()), Expression(N->getRawExpression()) {} 12070b57cec5SDimitry Andric 12080b57cec5SDimitry Andric bool isKeyOf(const DIGlobalVariableExpression *RHS) const { 12090b57cec5SDimitry Andric return Variable == RHS->getRawVariable() && 12100b57cec5SDimitry Andric Expression == RHS->getRawExpression(); 12110b57cec5SDimitry Andric } 12120b57cec5SDimitry Andric 12130b57cec5SDimitry Andric unsigned getHashValue() const { return hash_combine(Variable, Expression); } 12140b57cec5SDimitry Andric }; 12150b57cec5SDimitry Andric 12160b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIObjCProperty> { 12170b57cec5SDimitry Andric MDString *Name; 12180b57cec5SDimitry Andric Metadata *File; 12190b57cec5SDimitry Andric unsigned Line; 12200b57cec5SDimitry Andric MDString *GetterName; 12210b57cec5SDimitry Andric MDString *SetterName; 12220b57cec5SDimitry Andric unsigned Attributes; 12230b57cec5SDimitry Andric Metadata *Type; 12240b57cec5SDimitry Andric 12250b57cec5SDimitry Andric MDNodeKeyImpl(MDString *Name, Metadata *File, unsigned Line, 12260b57cec5SDimitry Andric MDString *GetterName, MDString *SetterName, unsigned Attributes, 12270b57cec5SDimitry Andric Metadata *Type) 12280b57cec5SDimitry Andric : Name(Name), File(File), Line(Line), GetterName(GetterName), 12290b57cec5SDimitry Andric SetterName(SetterName), Attributes(Attributes), Type(Type) {} 12300b57cec5SDimitry Andric MDNodeKeyImpl(const DIObjCProperty *N) 12310b57cec5SDimitry Andric : Name(N->getRawName()), File(N->getRawFile()), Line(N->getLine()), 12320b57cec5SDimitry Andric GetterName(N->getRawGetterName()), SetterName(N->getRawSetterName()), 12330b57cec5SDimitry Andric Attributes(N->getAttributes()), Type(N->getRawType()) {} 12340b57cec5SDimitry Andric 12350b57cec5SDimitry Andric bool isKeyOf(const DIObjCProperty *RHS) const { 12360b57cec5SDimitry Andric return Name == RHS->getRawName() && File == RHS->getRawFile() && 12370b57cec5SDimitry Andric Line == RHS->getLine() && GetterName == RHS->getRawGetterName() && 12380b57cec5SDimitry Andric SetterName == RHS->getRawSetterName() && 12390b57cec5SDimitry Andric Attributes == RHS->getAttributes() && Type == RHS->getRawType(); 12400b57cec5SDimitry Andric } 12410b57cec5SDimitry Andric 12420b57cec5SDimitry Andric unsigned getHashValue() const { 12430b57cec5SDimitry Andric return hash_combine(Name, File, Line, GetterName, SetterName, Attributes, 12440b57cec5SDimitry Andric Type); 12450b57cec5SDimitry Andric } 12460b57cec5SDimitry Andric }; 12470b57cec5SDimitry Andric 12480b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIImportedEntity> { 12490b57cec5SDimitry Andric unsigned Tag; 12500b57cec5SDimitry Andric Metadata *Scope; 12510b57cec5SDimitry Andric Metadata *Entity; 12520b57cec5SDimitry Andric Metadata *File; 12530b57cec5SDimitry Andric unsigned Line; 12540b57cec5SDimitry Andric MDString *Name; 1255349cc55cSDimitry Andric Metadata *Elements; 12560b57cec5SDimitry Andric 12570b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, Metadata *Scope, Metadata *Entity, Metadata *File, 1258349cc55cSDimitry Andric unsigned Line, MDString *Name, Metadata *Elements) 12590b57cec5SDimitry Andric : Tag(Tag), Scope(Scope), Entity(Entity), File(File), Line(Line), 1260349cc55cSDimitry Andric Name(Name), Elements(Elements) {} 12610b57cec5SDimitry Andric MDNodeKeyImpl(const DIImportedEntity *N) 12620b57cec5SDimitry Andric : Tag(N->getTag()), Scope(N->getRawScope()), Entity(N->getRawEntity()), 1263349cc55cSDimitry Andric File(N->getRawFile()), Line(N->getLine()), Name(N->getRawName()), 1264349cc55cSDimitry Andric Elements(N->getRawElements()) {} 12650b57cec5SDimitry Andric 12660b57cec5SDimitry Andric bool isKeyOf(const DIImportedEntity *RHS) const { 12670b57cec5SDimitry Andric return Tag == RHS->getTag() && Scope == RHS->getRawScope() && 12680b57cec5SDimitry Andric Entity == RHS->getRawEntity() && File == RHS->getFile() && 1269349cc55cSDimitry Andric Line == RHS->getLine() && Name == RHS->getRawName() && 1270349cc55cSDimitry Andric Elements == RHS->getRawElements(); 12710b57cec5SDimitry Andric } 12720b57cec5SDimitry Andric 12730b57cec5SDimitry Andric unsigned getHashValue() const { 1274349cc55cSDimitry Andric return hash_combine(Tag, Scope, Entity, File, Line, Name, Elements); 12750b57cec5SDimitry Andric } 12760b57cec5SDimitry Andric }; 12770b57cec5SDimitry Andric 12780b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIMacro> { 12790b57cec5SDimitry Andric unsigned MIType; 12800b57cec5SDimitry Andric unsigned Line; 12810b57cec5SDimitry Andric MDString *Name; 12820b57cec5SDimitry Andric MDString *Value; 12830b57cec5SDimitry Andric 12840b57cec5SDimitry Andric MDNodeKeyImpl(unsigned MIType, unsigned Line, MDString *Name, MDString *Value) 12850b57cec5SDimitry Andric : MIType(MIType), Line(Line), Name(Name), Value(Value) {} 12860b57cec5SDimitry Andric MDNodeKeyImpl(const DIMacro *N) 12870b57cec5SDimitry Andric : MIType(N->getMacinfoType()), Line(N->getLine()), Name(N->getRawName()), 12880b57cec5SDimitry Andric Value(N->getRawValue()) {} 12890b57cec5SDimitry Andric 12900b57cec5SDimitry Andric bool isKeyOf(const DIMacro *RHS) const { 12910b57cec5SDimitry Andric return MIType == RHS->getMacinfoType() && Line == RHS->getLine() && 12920b57cec5SDimitry Andric Name == RHS->getRawName() && Value == RHS->getRawValue(); 12930b57cec5SDimitry Andric } 12940b57cec5SDimitry Andric 12950b57cec5SDimitry Andric unsigned getHashValue() const { 12960b57cec5SDimitry Andric return hash_combine(MIType, Line, Name, Value); 12970b57cec5SDimitry Andric } 12980b57cec5SDimitry Andric }; 12990b57cec5SDimitry Andric 13000b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIMacroFile> { 13010b57cec5SDimitry Andric unsigned MIType; 13020b57cec5SDimitry Andric unsigned Line; 13030b57cec5SDimitry Andric Metadata *File; 13040b57cec5SDimitry Andric Metadata *Elements; 13050b57cec5SDimitry Andric 13060b57cec5SDimitry Andric MDNodeKeyImpl(unsigned MIType, unsigned Line, Metadata *File, 13070b57cec5SDimitry Andric Metadata *Elements) 13080b57cec5SDimitry Andric : MIType(MIType), Line(Line), File(File), Elements(Elements) {} 13090b57cec5SDimitry Andric MDNodeKeyImpl(const DIMacroFile *N) 13100b57cec5SDimitry Andric : MIType(N->getMacinfoType()), Line(N->getLine()), File(N->getRawFile()), 13110b57cec5SDimitry Andric Elements(N->getRawElements()) {} 13120b57cec5SDimitry Andric 13130b57cec5SDimitry Andric bool isKeyOf(const DIMacroFile *RHS) const { 13140b57cec5SDimitry Andric return MIType == RHS->getMacinfoType() && Line == RHS->getLine() && 13150b57cec5SDimitry Andric File == RHS->getRawFile() && Elements == RHS->getRawElements(); 13160b57cec5SDimitry Andric } 13170b57cec5SDimitry Andric 13180b57cec5SDimitry Andric unsigned getHashValue() const { 13190b57cec5SDimitry Andric return hash_combine(MIType, Line, File, Elements); 13200b57cec5SDimitry Andric } 13210b57cec5SDimitry Andric }; 13220b57cec5SDimitry Andric 13235f757f3fSDimitry Andric // DIArgLists are not MDNodes, but we still want to unique them in a DenseSet 13245f757f3fSDimitry Andric // based on a hash of their arguments. 13255f757f3fSDimitry Andric struct DIArgListKeyInfo { 1326fe6060f1SDimitry Andric ArrayRef<ValueAsMetadata *> Args; 1327fe6060f1SDimitry Andric 13285f757f3fSDimitry Andric DIArgListKeyInfo(ArrayRef<ValueAsMetadata *> Args) : Args(Args) {} 13295f757f3fSDimitry Andric DIArgListKeyInfo(const DIArgList *N) : Args(N->getArgs()) {} 1330fe6060f1SDimitry Andric 1331fe6060f1SDimitry Andric bool isKeyOf(const DIArgList *RHS) const { return Args == RHS->getArgs(); } 1332fe6060f1SDimitry Andric 1333fe6060f1SDimitry Andric unsigned getHashValue() const { 1334fe6060f1SDimitry Andric return hash_combine_range(Args.begin(), Args.end()); 1335fe6060f1SDimitry Andric } 1336fe6060f1SDimitry Andric }; 1337fe6060f1SDimitry Andric 13385f757f3fSDimitry Andric /// DenseMapInfo for DIArgList. 13395f757f3fSDimitry Andric struct DIArgListInfo { 13405f757f3fSDimitry Andric using KeyTy = DIArgListKeyInfo; 13415f757f3fSDimitry Andric 13425f757f3fSDimitry Andric static inline DIArgList *getEmptyKey() { 13435f757f3fSDimitry Andric return DenseMapInfo<DIArgList *>::getEmptyKey(); 13445f757f3fSDimitry Andric } 13455f757f3fSDimitry Andric 13465f757f3fSDimitry Andric static inline DIArgList *getTombstoneKey() { 13475f757f3fSDimitry Andric return DenseMapInfo<DIArgList *>::getTombstoneKey(); 13485f757f3fSDimitry Andric } 13495f757f3fSDimitry Andric 13505f757f3fSDimitry Andric static unsigned getHashValue(const KeyTy &Key) { return Key.getHashValue(); } 13515f757f3fSDimitry Andric 13525f757f3fSDimitry Andric static unsigned getHashValue(const DIArgList *N) { 13535f757f3fSDimitry Andric return KeyTy(N).getHashValue(); 13545f757f3fSDimitry Andric } 13555f757f3fSDimitry Andric 13565f757f3fSDimitry Andric static bool isEqual(const KeyTy &LHS, const DIArgList *RHS) { 13575f757f3fSDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 13585f757f3fSDimitry Andric return false; 13595f757f3fSDimitry Andric return LHS.isKeyOf(RHS); 13605f757f3fSDimitry Andric } 13615f757f3fSDimitry Andric 13625f757f3fSDimitry Andric static bool isEqual(const DIArgList *LHS, const DIArgList *RHS) { 13635f757f3fSDimitry Andric return LHS == RHS; 13645f757f3fSDimitry Andric } 13655f757f3fSDimitry Andric }; 13665f757f3fSDimitry Andric 13670b57cec5SDimitry Andric /// DenseMapInfo for MDNode subclasses. 13680b57cec5SDimitry Andric template <class NodeTy> struct MDNodeInfo { 13690b57cec5SDimitry Andric using KeyTy = MDNodeKeyImpl<NodeTy>; 13700b57cec5SDimitry Andric using SubsetEqualTy = MDNodeSubsetEqualImpl<NodeTy>; 13710b57cec5SDimitry Andric 13720b57cec5SDimitry Andric static inline NodeTy *getEmptyKey() { 13730b57cec5SDimitry Andric return DenseMapInfo<NodeTy *>::getEmptyKey(); 13740b57cec5SDimitry Andric } 13750b57cec5SDimitry Andric 13760b57cec5SDimitry Andric static inline NodeTy *getTombstoneKey() { 13770b57cec5SDimitry Andric return DenseMapInfo<NodeTy *>::getTombstoneKey(); 13780b57cec5SDimitry Andric } 13790b57cec5SDimitry Andric 13800b57cec5SDimitry Andric static unsigned getHashValue(const KeyTy &Key) { return Key.getHashValue(); } 13810b57cec5SDimitry Andric 13820b57cec5SDimitry Andric static unsigned getHashValue(const NodeTy *N) { 13830b57cec5SDimitry Andric return KeyTy(N).getHashValue(); 13840b57cec5SDimitry Andric } 13850b57cec5SDimitry Andric 13860b57cec5SDimitry Andric static bool isEqual(const KeyTy &LHS, const NodeTy *RHS) { 13870b57cec5SDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 13880b57cec5SDimitry Andric return false; 13890b57cec5SDimitry Andric return SubsetEqualTy::isSubsetEqual(LHS, RHS) || LHS.isKeyOf(RHS); 13900b57cec5SDimitry Andric } 13910b57cec5SDimitry Andric 13920b57cec5SDimitry Andric static bool isEqual(const NodeTy *LHS, const NodeTy *RHS) { 13930b57cec5SDimitry Andric if (LHS == RHS) 13940b57cec5SDimitry Andric return true; 13950b57cec5SDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 13960b57cec5SDimitry Andric return false; 13970b57cec5SDimitry Andric return SubsetEqualTy::isSubsetEqual(LHS, RHS); 13980b57cec5SDimitry Andric } 13990b57cec5SDimitry Andric }; 14000b57cec5SDimitry Andric 14010b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS) using CLASS##Info = MDNodeInfo<CLASS>; 14020b57cec5SDimitry Andric #include "llvm/IR/Metadata.def" 14030b57cec5SDimitry Andric 1404e8d8bef9SDimitry Andric /// Multimap-like storage for metadata attachments. 1405e8d8bef9SDimitry Andric class MDAttachments { 1406e8d8bef9SDimitry Andric public: 1407e8d8bef9SDimitry Andric struct Attachment { 1408e8d8bef9SDimitry Andric unsigned MDKind; 1409e8d8bef9SDimitry Andric TrackingMDNodeRef Node; 1410e8d8bef9SDimitry Andric }; 1411e8d8bef9SDimitry Andric 1412e8d8bef9SDimitry Andric private: 1413e8d8bef9SDimitry Andric SmallVector<Attachment, 1> Attachments; 14140b57cec5SDimitry Andric 14150b57cec5SDimitry Andric public: 14160b57cec5SDimitry Andric bool empty() const { return Attachments.empty(); } 14170b57cec5SDimitry Andric size_t size() const { return Attachments.size(); } 14180b57cec5SDimitry Andric 1419e8d8bef9SDimitry Andric /// Returns the first attachment with the given ID or nullptr if no such 1420e8d8bef9SDimitry Andric /// attachment exists. 14210b57cec5SDimitry Andric MDNode *lookup(unsigned ID) const; 14220b57cec5SDimitry Andric 14230b57cec5SDimitry Andric /// Appends all attachments with the given ID to \c Result in insertion order. 14240b57cec5SDimitry Andric /// If the global has no attachments with the given ID, or if ID is invalid, 14250b57cec5SDimitry Andric /// leaves Result unchanged. 14260b57cec5SDimitry Andric void get(unsigned ID, SmallVectorImpl<MDNode *> &Result) const; 14270b57cec5SDimitry Andric 14280b57cec5SDimitry Andric /// Appends all attachments for the global to \c Result, sorting by attachment 14290b57cec5SDimitry Andric /// ID. Attachments with the same ID appear in insertion order. This function 14300b57cec5SDimitry Andric /// does \em not clear \c Result. 14310b57cec5SDimitry Andric void getAll(SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const; 1432e8d8bef9SDimitry Andric 1433e8d8bef9SDimitry Andric /// Set an attachment to a particular node. 1434e8d8bef9SDimitry Andric /// 1435e8d8bef9SDimitry Andric /// Set the \c ID attachment to \c MD, replacing the current attachments at \c 1436e8d8bef9SDimitry Andric /// ID (if anyway). 1437e8d8bef9SDimitry Andric void set(unsigned ID, MDNode *MD); 1438e8d8bef9SDimitry Andric 1439e8d8bef9SDimitry Andric /// Adds an attachment to a particular node. 1440e8d8bef9SDimitry Andric void insert(unsigned ID, MDNode &MD); 1441e8d8bef9SDimitry Andric 1442e8d8bef9SDimitry Andric /// Remove attachments with the given ID. 1443e8d8bef9SDimitry Andric /// 1444e8d8bef9SDimitry Andric /// Remove the attachments at \c ID, if any. 1445e8d8bef9SDimitry Andric bool erase(unsigned ID); 1446e8d8bef9SDimitry Andric 1447e8d8bef9SDimitry Andric /// Erase matching attachments. 1448e8d8bef9SDimitry Andric /// 1449e8d8bef9SDimitry Andric /// Erases all attachments matching the \c shouldRemove predicate. 1450e8d8bef9SDimitry Andric template <class PredTy> void remove_if(PredTy shouldRemove) { 1451e8d8bef9SDimitry Andric llvm::erase_if(Attachments, shouldRemove); 1452e8d8bef9SDimitry Andric } 14530b57cec5SDimitry Andric }; 14540b57cec5SDimitry Andric 14550b57cec5SDimitry Andric class LLVMContextImpl { 14560b57cec5SDimitry Andric public: 14570b57cec5SDimitry Andric /// OwnedModules - The set of modules instantiated in this context, and which 14580b57cec5SDimitry Andric /// will be automatically deleted if this context is deleted. 14590b57cec5SDimitry Andric SmallPtrSet<Module *, 4> OwnedModules; 14600b57cec5SDimitry Andric 1461*0fca6ea1SDimitry Andric /// MachineFunctionNums - Keep the next available unique number available for 1462*0fca6ea1SDimitry Andric /// a MachineFunction in given module. Module must in OwnedModules. 1463*0fca6ea1SDimitry Andric DenseMap<Module *, unsigned> MachineFunctionNums; 1464*0fca6ea1SDimitry Andric 14655ffd83dbSDimitry Andric /// The main remark streamer used by all the other streamers (e.g. IR, MIR, 14665ffd83dbSDimitry Andric /// frontends, etc.). This should only be used by the specific streamers, and 14675ffd83dbSDimitry Andric /// never directly. 14685ffd83dbSDimitry Andric std::unique_ptr<remarks::RemarkStreamer> MainRemarkStreamer; 14695ffd83dbSDimitry Andric 14700b57cec5SDimitry Andric std::unique_ptr<DiagnosticHandler> DiagHandler; 14710b57cec5SDimitry Andric bool RespectDiagnosticFilters = false; 14720b57cec5SDimitry Andric bool DiagnosticsHotnessRequested = false; 1473e8d8bef9SDimitry Andric /// The minimum hotness value a diagnostic needs in order to be included in 1474e8d8bef9SDimitry Andric /// optimization diagnostics. 1475e8d8bef9SDimitry Andric /// 1476e8d8bef9SDimitry Andric /// The threshold is an Optional value, which maps to one of the 3 states: 1477e8d8bef9SDimitry Andric /// 1). 0 => threshold disabled. All emarks will be printed. 1478e8d8bef9SDimitry Andric /// 2). positive int => manual threshold by user. Remarks with hotness exceed 1479e8d8bef9SDimitry Andric /// threshold will be printed. 1480e8d8bef9SDimitry Andric /// 3). None => 'auto' threshold by user. The actual value is not 1481e8d8bef9SDimitry Andric /// available at command line, but will be synced with 1482e8d8bef9SDimitry Andric /// hotness threhold from profile summary during 1483e8d8bef9SDimitry Andric /// compilation. 1484e8d8bef9SDimitry Andric /// 1485e8d8bef9SDimitry Andric /// State 1 and 2 are considered as terminal states. State transition is 1486e8d8bef9SDimitry Andric /// only allowed from 3 to 2, when the threshold is first synced with profile 1487e8d8bef9SDimitry Andric /// summary. This ensures that the threshold is set only once and stays 1488e8d8bef9SDimitry Andric /// constant. 1489e8d8bef9SDimitry Andric /// 1490e8d8bef9SDimitry Andric /// If threshold option is not specified, it is disabled (0) by default. 1491bdd1243dSDimitry Andric std::optional<uint64_t> DiagnosticsHotnessThreshold = 0; 1492e8d8bef9SDimitry Andric 149381ad6265SDimitry Andric /// The percentage of difference between profiling branch weights and 1494bdd1243dSDimitry Andric /// llvm.expect branch weights to tolerate when emiting MisExpect diagnostics 1495bdd1243dSDimitry Andric std::optional<uint32_t> DiagnosticsMisExpectTolerance = 0; 149681ad6265SDimitry Andric bool MisExpectWarningRequested = false; 149781ad6265SDimitry Andric 14985ffd83dbSDimitry Andric /// The specialized remark streamer used by LLVM's OptimizationRemarkEmitter. 14995ffd83dbSDimitry Andric std::unique_ptr<LLVMRemarkStreamer> LLVMRS; 15000b57cec5SDimitry Andric 15010b57cec5SDimitry Andric LLVMContext::YieldCallbackTy YieldCallback = nullptr; 15020b57cec5SDimitry Andric void *YieldOpaqueHandle = nullptr; 15030b57cec5SDimitry Andric 150481ad6265SDimitry Andric DenseMap<const Value *, ValueName *> ValueNames; 150581ad6265SDimitry Andric 150606c3fb27SDimitry Andric DenseMap<unsigned, std::unique_ptr<ConstantInt>> IntZeroConstants; 150706c3fb27SDimitry Andric DenseMap<unsigned, std::unique_ptr<ConstantInt>> IntOneConstants; 15085f757f3fSDimitry Andric DenseMap<APInt, std::unique_ptr<ConstantInt>> IntConstants; 1509*0fca6ea1SDimitry Andric DenseMap<std::pair<ElementCount, APInt>, std::unique_ptr<ConstantInt>> 1510*0fca6ea1SDimitry Andric IntSplatConstants; 15110b57cec5SDimitry Andric 15125f757f3fSDimitry Andric DenseMap<APFloat, std::unique_ptr<ConstantFP>> FPConstants; 1513*0fca6ea1SDimitry Andric DenseMap<std::pair<ElementCount, APFloat>, std::unique_ptr<ConstantFP>> 1514*0fca6ea1SDimitry Andric FPSplatConstants; 15150b57cec5SDimitry Andric 15160b57cec5SDimitry Andric FoldingSet<AttributeImpl> AttrsSet; 15170b57cec5SDimitry Andric FoldingSet<AttributeListImpl> AttrsLists; 15180b57cec5SDimitry Andric FoldingSet<AttributeSetNode> AttrsSetNodes; 15190b57cec5SDimitry Andric 15200b57cec5SDimitry Andric StringMap<MDString, BumpPtrAllocator> MDStringCache; 15210b57cec5SDimitry Andric DenseMap<Value *, ValueAsMetadata *> ValuesAsMetadata; 15220b57cec5SDimitry Andric DenseMap<Metadata *, MetadataAsValue *> MetadataAsValues; 15235f757f3fSDimitry Andric DenseSet<DIArgList *, DIArgListInfo> DIArgLists; 15240b57cec5SDimitry Andric 15250b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS) \ 15260b57cec5SDimitry Andric DenseSet<CLASS *, CLASS##Info> CLASS##s; 15270b57cec5SDimitry Andric #include "llvm/IR/Metadata.def" 15280b57cec5SDimitry Andric 15290b57cec5SDimitry Andric // Optional map for looking up composite types by identifier. 1530bdd1243dSDimitry Andric std::optional<DenseMap<const MDString *, DICompositeType *>> DITypeMap; 15310b57cec5SDimitry Andric 15320b57cec5SDimitry Andric // MDNodes may be uniqued or not uniqued. When they're not uniqued, they 15330b57cec5SDimitry Andric // aren't in the MDNodeSet, but they're still shared between objects, so no 15340b57cec5SDimitry Andric // one object can destroy them. Keep track of them here so we can delete 15350b57cec5SDimitry Andric // them on context teardown. 15360b57cec5SDimitry Andric std::vector<MDNode *> DistinctMDNodes; 15370b57cec5SDimitry Andric 1538*0fca6ea1SDimitry Andric // ConstantRangeListAttributeImpl is a TrailingObjects/ArrayRef of 1539*0fca6ea1SDimitry Andric // ConstantRange. Since this is a dynamically sized class, it's not 1540*0fca6ea1SDimitry Andric // possible to use SpecificBumpPtrAllocator. Instead, we use normal Alloc 1541*0fca6ea1SDimitry Andric // for allocation and record all allocated pointers in this vector. In the 1542*0fca6ea1SDimitry Andric // LLVMContext destructor, call the destuctors of everything in the vector. 1543*0fca6ea1SDimitry Andric std::vector<ConstantRangeListAttributeImpl *> ConstantRangeListAttributes; 1544*0fca6ea1SDimitry Andric 15450b57cec5SDimitry Andric DenseMap<Type *, std::unique_ptr<ConstantAggregateZero>> CAZConstants; 15460b57cec5SDimitry Andric 15470b57cec5SDimitry Andric using ArrayConstantsTy = ConstantUniqueMap<ConstantArray>; 15480b57cec5SDimitry Andric ArrayConstantsTy ArrayConstants; 15490b57cec5SDimitry Andric 15500b57cec5SDimitry Andric using StructConstantsTy = ConstantUniqueMap<ConstantStruct>; 15510b57cec5SDimitry Andric StructConstantsTy StructConstants; 15520b57cec5SDimitry Andric 15530b57cec5SDimitry Andric using VectorConstantsTy = ConstantUniqueMap<ConstantVector>; 15540b57cec5SDimitry Andric VectorConstantsTy VectorConstants; 15550b57cec5SDimitry Andric 15560b57cec5SDimitry Andric DenseMap<PointerType *, std::unique_ptr<ConstantPointerNull>> CPNConstants; 15570b57cec5SDimitry Andric 1558bdd1243dSDimitry Andric DenseMap<TargetExtType *, std::unique_ptr<ConstantTargetNone>> CTNConstants; 1559bdd1243dSDimitry Andric 15600b57cec5SDimitry Andric DenseMap<Type *, std::unique_ptr<UndefValue>> UVConstants; 15610b57cec5SDimitry Andric 1562e8d8bef9SDimitry Andric DenseMap<Type *, std::unique_ptr<PoisonValue>> PVConstants; 1563e8d8bef9SDimitry Andric 1564e8d8bef9SDimitry Andric StringMap<std::unique_ptr<ConstantDataSequential>> CDSConstants; 15650b57cec5SDimitry Andric 15660b57cec5SDimitry Andric DenseMap<std::pair<const Function *, const BasicBlock *>, BlockAddress *> 15670b57cec5SDimitry Andric BlockAddresses; 1568e8d8bef9SDimitry Andric 1569e8d8bef9SDimitry Andric DenseMap<const GlobalValue *, DSOLocalEquivalent *> DSOLocalEquivalents; 1570e8d8bef9SDimitry Andric 15710eae32dcSDimitry Andric DenseMap<const GlobalValue *, NoCFIValue *> NoCFIValues; 15720eae32dcSDimitry Andric 1573*0fca6ea1SDimitry Andric ConstantUniqueMap<ConstantPtrAuth> ConstantPtrAuths; 1574*0fca6ea1SDimitry Andric 15750b57cec5SDimitry Andric ConstantUniqueMap<ConstantExpr> ExprConstants; 15760b57cec5SDimitry Andric 15770b57cec5SDimitry Andric ConstantUniqueMap<InlineAsm> InlineAsms; 15780b57cec5SDimitry Andric 15790b57cec5SDimitry Andric ConstantInt *TheTrueVal = nullptr; 15800b57cec5SDimitry Andric ConstantInt *TheFalseVal = nullptr; 15810b57cec5SDimitry Andric 15820b57cec5SDimitry Andric // Basic type instances. 15835ffd83dbSDimitry Andric Type VoidTy, LabelTy, HalfTy, BFloatTy, FloatTy, DoubleTy, MetadataTy, 15845ffd83dbSDimitry Andric TokenTy; 1585e8d8bef9SDimitry Andric Type X86_FP80Ty, FP128Ty, PPC_FP128Ty, X86_MMXTy, X86_AMXTy; 15860b57cec5SDimitry Andric IntegerType Int1Ty, Int8Ty, Int16Ty, Int32Ty, Int64Ty, Int128Ty; 15870b57cec5SDimitry Andric 158881ad6265SDimitry Andric std::unique_ptr<ConstantTokenNone> TheNoneToken; 158981ad6265SDimitry Andric 15900b57cec5SDimitry Andric BumpPtrAllocator Alloc; 15910b57cec5SDimitry Andric UniqueStringSaver Saver{Alloc}; 1592*0fca6ea1SDimitry Andric SpecificBumpPtrAllocator<ConstantRangeAttributeImpl> 1593*0fca6ea1SDimitry Andric ConstantRangeAttributeAlloc; 15940b57cec5SDimitry Andric 15950b57cec5SDimitry Andric DenseMap<unsigned, IntegerType *> IntegerTypes; 15960b57cec5SDimitry Andric 15970b57cec5SDimitry Andric using FunctionTypeSet = DenseSet<FunctionType *, FunctionTypeKeyInfo>; 15980b57cec5SDimitry Andric FunctionTypeSet FunctionTypes; 15990b57cec5SDimitry Andric using StructTypeSet = DenseSet<StructType *, AnonStructTypeKeyInfo>; 16000b57cec5SDimitry Andric StructTypeSet AnonStructTypes; 16010b57cec5SDimitry Andric StringMap<StructType *> NamedStructTypes; 16020b57cec5SDimitry Andric unsigned NamedStructTypesUniqueID = 0; 16030b57cec5SDimitry Andric 1604bdd1243dSDimitry Andric using TargetExtTypeSet = DenseSet<TargetExtType *, TargetExtTypeKeyInfo>; 1605bdd1243dSDimitry Andric TargetExtTypeSet TargetExtTypes; 1606bdd1243dSDimitry Andric 16070b57cec5SDimitry Andric DenseMap<std::pair<Type *, uint64_t>, ArrayType *> ArrayTypes; 16080b57cec5SDimitry Andric DenseMap<std::pair<Type *, ElementCount>, VectorType *> VectorTypes; 160906c3fb27SDimitry Andric PointerType *AS0PointerType = nullptr; // AddrSpace = 0 161006c3fb27SDimitry Andric DenseMap<unsigned, PointerType *> PointerTypes; 161106c3fb27SDimitry Andric DenseMap<std::pair<Type *, unsigned>, PointerType *> LegacyPointerTypes; 1612bdd1243dSDimitry Andric DenseMap<std::pair<Type *, unsigned>, TypedPointerType *> ASTypedPointerTypes; 16130b57cec5SDimitry Andric 16140b57cec5SDimitry Andric /// ValueHandles - This map keeps track of all of the value handles that are 16150b57cec5SDimitry Andric /// watching a Value*. The Value::HasValueHandle bit is used to know 16160b57cec5SDimitry Andric /// whether or not a value has an entry in this map. 16170b57cec5SDimitry Andric using ValueHandlesTy = DenseMap<Value *, ValueHandleBase *>; 16180b57cec5SDimitry Andric ValueHandlesTy ValueHandles; 16190b57cec5SDimitry Andric 16200b57cec5SDimitry Andric /// CustomMDKindNames - Map to hold the metadata string to ID mapping. 16210b57cec5SDimitry Andric StringMap<unsigned> CustomMDKindNames; 16220b57cec5SDimitry Andric 1623e8d8bef9SDimitry Andric /// Collection of metadata used in this context. 1624e8d8bef9SDimitry Andric DenseMap<const Value *, MDAttachments> ValueMetadata; 16250b57cec5SDimitry Andric 1626bdd1243dSDimitry Andric /// Map DIAssignID -> Instructions with that attachment. 1627bdd1243dSDimitry Andric /// Managed by Instruction via Instruction::updateDIAssignIDMapping. 1628bdd1243dSDimitry Andric /// Query using the at:: functions defined in DebugInfo.h. 1629bdd1243dSDimitry Andric DenseMap<DIAssignID *, SmallVector<Instruction *, 1>> AssignmentIDToInstrs; 1630bdd1243dSDimitry Andric 16310b57cec5SDimitry Andric /// Collection of per-GlobalObject sections used in this context. 16320b57cec5SDimitry Andric DenseMap<const GlobalObject *, StringRef> GlobalObjectSections; 16330b57cec5SDimitry Andric 16340b57cec5SDimitry Andric /// Collection of per-GlobalValue partitions used in this context. 16350b57cec5SDimitry Andric DenseMap<const GlobalValue *, StringRef> GlobalValuePartitions; 16360b57cec5SDimitry Andric 163781ad6265SDimitry Andric DenseMap<const GlobalValue *, GlobalValue::SanitizerMetadata> 163881ad6265SDimitry Andric GlobalValueSanitizerMetadata; 163981ad6265SDimitry Andric 16400b57cec5SDimitry Andric /// DiscriminatorTable - This table maps file:line locations to an 16410b57cec5SDimitry Andric /// integer representing the next DWARF path discriminator to assign to 16420b57cec5SDimitry Andric /// instructions in different blocks at the same location. 16430b57cec5SDimitry Andric DenseMap<std::pair<const char *, unsigned>, unsigned> DiscriminatorTable; 16440b57cec5SDimitry Andric 16450b57cec5SDimitry Andric /// A set of interned tags for operand bundles. The StringMap maps 16460b57cec5SDimitry Andric /// bundle tags to their IDs. 16470b57cec5SDimitry Andric /// 16480b57cec5SDimitry Andric /// \see LLVMContext::getOperandBundleTagID 16490b57cec5SDimitry Andric StringMap<uint32_t> BundleTagCache; 16500b57cec5SDimitry Andric 16510b57cec5SDimitry Andric StringMapEntry<uint32_t> *getOrInsertBundleTag(StringRef Tag); 16520b57cec5SDimitry Andric void getOperandBundleTags(SmallVectorImpl<StringRef> &Tags) const; 16530b57cec5SDimitry Andric uint32_t getOperandBundleTagID(StringRef Tag) const; 16540b57cec5SDimitry Andric 16550b57cec5SDimitry Andric /// A set of interned synchronization scopes. The StringMap maps 16560b57cec5SDimitry Andric /// synchronization scope names to their respective synchronization scope IDs. 16570b57cec5SDimitry Andric StringMap<SyncScope::ID> SSC; 16580b57cec5SDimitry Andric 16590b57cec5SDimitry Andric /// getOrInsertSyncScopeID - Maps synchronization scope name to 16600b57cec5SDimitry Andric /// synchronization scope ID. Every synchronization scope registered with 16610b57cec5SDimitry Andric /// LLVMContext has unique ID except pre-defined ones. 16620b57cec5SDimitry Andric SyncScope::ID getOrInsertSyncScopeID(StringRef SSN); 16630b57cec5SDimitry Andric 16640b57cec5SDimitry Andric /// getSyncScopeNames - Populates client supplied SmallVector with 16650b57cec5SDimitry Andric /// synchronization scope names registered with LLVMContext. Synchronization 16660b57cec5SDimitry Andric /// scope names are ordered by increasing synchronization scope IDs. 16670b57cec5SDimitry Andric void getSyncScopeNames(SmallVectorImpl<StringRef> &SSNs) const; 16680b57cec5SDimitry Andric 16690b57cec5SDimitry Andric /// Maintain the GC name for each function. 16700b57cec5SDimitry Andric /// 16710b57cec5SDimitry Andric /// This saves allocating an additional word in Function for programs which 16720b57cec5SDimitry Andric /// do not use GC (i.e., most programs) at the cost of increased overhead for 16730b57cec5SDimitry Andric /// clients which do use GC. 16740b57cec5SDimitry Andric DenseMap<const Function *, std::string> GCNames; 16750b57cec5SDimitry Andric 16760b57cec5SDimitry Andric /// Flag to indicate if Value (other than GlobalValue) retains their name or 16770b57cec5SDimitry Andric /// not. 16780b57cec5SDimitry Andric bool DiscardValueNames = false; 16790b57cec5SDimitry Andric 16800b57cec5SDimitry Andric LLVMContextImpl(LLVMContext &C); 16810b57cec5SDimitry Andric ~LLVMContextImpl(); 16820b57cec5SDimitry Andric 16830b57cec5SDimitry Andric /// Destroy the ConstantArrays if they are not used. 16840b57cec5SDimitry Andric void dropTriviallyDeadConstantArrays(); 16850b57cec5SDimitry Andric 16860b57cec5SDimitry Andric mutable OptPassGate *OPG = nullptr; 16870b57cec5SDimitry Andric 16880b57cec5SDimitry Andric /// Access the object which can disable optional passes and individual 16890b57cec5SDimitry Andric /// optimizations at compile time. 16900b57cec5SDimitry Andric OptPassGate &getOptPassGate() const; 16910b57cec5SDimitry Andric 16920b57cec5SDimitry Andric /// Set the object which can disable optional passes and individual 16930b57cec5SDimitry Andric /// optimizations at compile time. 16940b57cec5SDimitry Andric /// 16950b57cec5SDimitry Andric /// The lifetime of the object must be guaranteed to extend as long as the 16960b57cec5SDimitry Andric /// LLVMContext is used by compilation. 16970b57cec5SDimitry Andric void setOptPassGate(OptPassGate &); 16985f757f3fSDimitry Andric 1699*0fca6ea1SDimitry Andric /// Mapping of blocks to collections of "trailing" DbgVariableRecords. As part 1700*0fca6ea1SDimitry Andric /// of the "RemoveDIs" project, debug-info variable location records are going 1701*0fca6ea1SDimitry Andric /// to cease being instructions... which raises the problem of where should 1702*0fca6ea1SDimitry Andric /// they be recorded when we remove the terminator of a blocks, such as: 17035f757f3fSDimitry Andric /// 17045f757f3fSDimitry Andric /// %foo = add i32 0, 0 17055f757f3fSDimitry Andric /// br label %bar 17065f757f3fSDimitry Andric /// 17075f757f3fSDimitry Andric /// If the branch is removed, a legitimate transient state while editing a 17085f757f3fSDimitry Andric /// block, any debug-records between those two instructions will not have a 1709*0fca6ea1SDimitry Andric /// location. Each block thus records any DbgVariableRecord records that 1710*0fca6ea1SDimitry Andric /// "trail" in such a way. These are stored in LLVMContext because typically 1711*0fca6ea1SDimitry Andric /// LLVM only edits a small number of blocks at a time, so there's no need to 1712*0fca6ea1SDimitry Andric /// bloat BasicBlock with such a data structure. 1713*0fca6ea1SDimitry Andric SmallDenseMap<BasicBlock *, DbgMarker *> TrailingDbgRecords; 17145f757f3fSDimitry Andric 1715*0fca6ea1SDimitry Andric // Set, get and delete operations for TrailingDbgRecords. 1716*0fca6ea1SDimitry Andric void setTrailingDbgRecords(BasicBlock *B, DbgMarker *M) { 1717*0fca6ea1SDimitry Andric assert(!TrailingDbgRecords.count(B)); 1718*0fca6ea1SDimitry Andric TrailingDbgRecords[B] = M; 17195f757f3fSDimitry Andric } 17205f757f3fSDimitry Andric 1721*0fca6ea1SDimitry Andric DbgMarker *getTrailingDbgRecords(BasicBlock *B) { 1722*0fca6ea1SDimitry Andric return TrailingDbgRecords.lookup(B); 17235f757f3fSDimitry Andric } 17245f757f3fSDimitry Andric 1725*0fca6ea1SDimitry Andric void deleteTrailingDbgRecords(BasicBlock *B) { TrailingDbgRecords.erase(B); } 1726*0fca6ea1SDimitry Andric 1727*0fca6ea1SDimitry Andric std::string DefaultTargetCPU; 1728*0fca6ea1SDimitry Andric std::string DefaultTargetFeatures; 17290b57cec5SDimitry Andric }; 17300b57cec5SDimitry Andric 17310b57cec5SDimitry Andric } // end namespace llvm 17320b57cec5SDimitry Andric 17330b57cec5SDimitry Andric #endif // LLVM_LIB_IR_LLVMCONTEXTIMPL_H 1734