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; 591fd87a68SDimitry Andric struct DiagnosticHandler; 601fd87a68SDimitry Andric class ElementCount; 611fd87a68SDimitry Andric class Function; 621fd87a68SDimitry Andric class GlobalObject; 631fd87a68SDimitry Andric class GlobalValue; 641fd87a68SDimitry Andric class InlineAsm; 651fd87a68SDimitry Andric class LLVMRemarkStreamer; 661fd87a68SDimitry Andric class OptPassGate; 671fd87a68SDimitry Andric namespace remarks { 681fd87a68SDimitry Andric class RemarkStreamer; 691fd87a68SDimitry Andric } 701fd87a68SDimitry Andric template <typename T> class StringMapEntry; 715ffd83dbSDimitry Andric class StringRef; 72bdd1243dSDimitry Andric class TypedPointerType; 730b57cec5SDimitry Andric class ValueHandleBase; 740b57cec5SDimitry Andric 75e8d8bef9SDimitry Andric using DenseMapAPIntKeyInfo = DenseMapInfo<APInt>; 760b57cec5SDimitry Andric 770b57cec5SDimitry Andric struct DenseMapAPFloatKeyInfo { 780b57cec5SDimitry Andric static inline APFloat getEmptyKey() { return APFloat(APFloat::Bogus(), 1); } 79349cc55cSDimitry Andric static inline APFloat getTombstoneKey() { 80349cc55cSDimitry Andric return APFloat(APFloat::Bogus(), 2); 81349cc55cSDimitry Andric } 820b57cec5SDimitry Andric 830b57cec5SDimitry Andric static unsigned getHashValue(const APFloat &Key) { 840b57cec5SDimitry Andric return static_cast<unsigned>(hash_value(Key)); 850b57cec5SDimitry Andric } 860b57cec5SDimitry Andric 870b57cec5SDimitry Andric static bool isEqual(const APFloat &LHS, const APFloat &RHS) { 880b57cec5SDimitry Andric return LHS.bitwiseIsEqual(RHS); 890b57cec5SDimitry Andric } 900b57cec5SDimitry Andric }; 910b57cec5SDimitry Andric 920b57cec5SDimitry Andric struct AnonStructTypeKeyInfo { 930b57cec5SDimitry Andric struct KeyTy { 940b57cec5SDimitry Andric ArrayRef<Type *> ETypes; 950b57cec5SDimitry Andric bool isPacked; 960b57cec5SDimitry Andric 97349cc55cSDimitry Andric KeyTy(const ArrayRef<Type *> &E, bool P) : ETypes(E), isPacked(P) {} 980b57cec5SDimitry Andric 990b57cec5SDimitry Andric KeyTy(const StructType *ST) 1000b57cec5SDimitry Andric : ETypes(ST->elements()), isPacked(ST->isPacked()) {} 1010b57cec5SDimitry Andric 1020b57cec5SDimitry Andric bool operator==(const KeyTy &that) const { 1030b57cec5SDimitry Andric if (isPacked != that.isPacked) 1040b57cec5SDimitry Andric return false; 1050b57cec5SDimitry Andric if (ETypes != that.ETypes) 1060b57cec5SDimitry Andric return false; 1070b57cec5SDimitry Andric return true; 1080b57cec5SDimitry Andric } 109349cc55cSDimitry Andric bool operator!=(const KeyTy &that) const { return !this->operator==(that); } 1100b57cec5SDimitry Andric }; 1110b57cec5SDimitry Andric 1120b57cec5SDimitry Andric static inline StructType *getEmptyKey() { 1130b57cec5SDimitry Andric return DenseMapInfo<StructType *>::getEmptyKey(); 1140b57cec5SDimitry Andric } 1150b57cec5SDimitry Andric 1160b57cec5SDimitry Andric static inline StructType *getTombstoneKey() { 1170b57cec5SDimitry Andric return DenseMapInfo<StructType *>::getTombstoneKey(); 1180b57cec5SDimitry Andric } 1190b57cec5SDimitry Andric 1200b57cec5SDimitry Andric static unsigned getHashValue(const KeyTy &Key) { 121349cc55cSDimitry Andric return hash_combine( 122349cc55cSDimitry Andric hash_combine_range(Key.ETypes.begin(), Key.ETypes.end()), Key.isPacked); 1230b57cec5SDimitry Andric } 1240b57cec5SDimitry Andric 1250b57cec5SDimitry Andric static unsigned getHashValue(const StructType *ST) { 1260b57cec5SDimitry Andric return getHashValue(KeyTy(ST)); 1270b57cec5SDimitry Andric } 1280b57cec5SDimitry Andric 1290b57cec5SDimitry Andric static bool isEqual(const KeyTy &LHS, const StructType *RHS) { 1300b57cec5SDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 1310b57cec5SDimitry Andric return false; 1320b57cec5SDimitry Andric return LHS == KeyTy(RHS); 1330b57cec5SDimitry Andric } 1340b57cec5SDimitry Andric 1350b57cec5SDimitry Andric static bool isEqual(const StructType *LHS, const StructType *RHS) { 1360b57cec5SDimitry Andric return LHS == RHS; 1370b57cec5SDimitry Andric } 1380b57cec5SDimitry Andric }; 1390b57cec5SDimitry Andric 1400b57cec5SDimitry Andric struct FunctionTypeKeyInfo { 1410b57cec5SDimitry Andric struct KeyTy { 1420b57cec5SDimitry Andric const Type *ReturnType; 1430b57cec5SDimitry Andric ArrayRef<Type *> Params; 1440b57cec5SDimitry Andric bool isVarArg; 1450b57cec5SDimitry Andric 146349cc55cSDimitry Andric KeyTy(const Type *R, const ArrayRef<Type *> &P, bool V) 147349cc55cSDimitry Andric : ReturnType(R), Params(P), isVarArg(V) {} 1480b57cec5SDimitry Andric KeyTy(const FunctionType *FT) 1490b57cec5SDimitry Andric : ReturnType(FT->getReturnType()), Params(FT->params()), 1500b57cec5SDimitry Andric isVarArg(FT->isVarArg()) {} 1510b57cec5SDimitry Andric 1520b57cec5SDimitry Andric bool operator==(const KeyTy &that) const { 1530b57cec5SDimitry Andric if (ReturnType != that.ReturnType) 1540b57cec5SDimitry Andric return false; 1550b57cec5SDimitry Andric if (isVarArg != that.isVarArg) 1560b57cec5SDimitry Andric return false; 1570b57cec5SDimitry Andric if (Params != that.Params) 1580b57cec5SDimitry Andric return false; 1590b57cec5SDimitry Andric return true; 1600b57cec5SDimitry Andric } 161349cc55cSDimitry Andric bool operator!=(const KeyTy &that) const { return !this->operator==(that); } 1620b57cec5SDimitry Andric }; 1630b57cec5SDimitry Andric 1640b57cec5SDimitry Andric static inline FunctionType *getEmptyKey() { 1650b57cec5SDimitry Andric return DenseMapInfo<FunctionType *>::getEmptyKey(); 1660b57cec5SDimitry Andric } 1670b57cec5SDimitry Andric 1680b57cec5SDimitry Andric static inline FunctionType *getTombstoneKey() { 1690b57cec5SDimitry Andric return DenseMapInfo<FunctionType *>::getTombstoneKey(); 1700b57cec5SDimitry Andric } 1710b57cec5SDimitry Andric 1720b57cec5SDimitry Andric static unsigned getHashValue(const KeyTy &Key) { 173349cc55cSDimitry Andric return hash_combine( 174349cc55cSDimitry Andric Key.ReturnType, 175349cc55cSDimitry Andric hash_combine_range(Key.Params.begin(), Key.Params.end()), Key.isVarArg); 1760b57cec5SDimitry Andric } 1770b57cec5SDimitry Andric 1780b57cec5SDimitry Andric static unsigned getHashValue(const FunctionType *FT) { 1790b57cec5SDimitry Andric return getHashValue(KeyTy(FT)); 1800b57cec5SDimitry Andric } 1810b57cec5SDimitry Andric 1820b57cec5SDimitry Andric static bool isEqual(const KeyTy &LHS, const FunctionType *RHS) { 1830b57cec5SDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 1840b57cec5SDimitry Andric return false; 1850b57cec5SDimitry Andric return LHS == KeyTy(RHS); 1860b57cec5SDimitry Andric } 1870b57cec5SDimitry Andric 1880b57cec5SDimitry Andric static bool isEqual(const FunctionType *LHS, const FunctionType *RHS) { 1890b57cec5SDimitry Andric return LHS == RHS; 1900b57cec5SDimitry Andric } 1910b57cec5SDimitry Andric }; 1920b57cec5SDimitry Andric 193bdd1243dSDimitry Andric struct TargetExtTypeKeyInfo { 194bdd1243dSDimitry Andric struct KeyTy { 195bdd1243dSDimitry Andric StringRef Name; 196bdd1243dSDimitry Andric ArrayRef<Type *> TypeParams; 197bdd1243dSDimitry Andric ArrayRef<unsigned> IntParams; 198bdd1243dSDimitry Andric 199bdd1243dSDimitry Andric KeyTy(StringRef N, const ArrayRef<Type *> &TP, const ArrayRef<unsigned> &IP) 200bdd1243dSDimitry Andric : Name(N), TypeParams(TP), IntParams(IP) {} 201bdd1243dSDimitry Andric KeyTy(const TargetExtType *TT) 202bdd1243dSDimitry Andric : Name(TT->getName()), TypeParams(TT->type_params()), 203bdd1243dSDimitry Andric IntParams(TT->int_params()) {} 204bdd1243dSDimitry Andric 205bdd1243dSDimitry Andric bool operator==(const KeyTy &that) const { 206bdd1243dSDimitry Andric return Name == that.Name && TypeParams == that.TypeParams && 207bdd1243dSDimitry Andric IntParams == that.IntParams; 208bdd1243dSDimitry Andric } 209bdd1243dSDimitry Andric bool operator!=(const KeyTy &that) const { return !this->operator==(that); } 210bdd1243dSDimitry Andric }; 211bdd1243dSDimitry Andric 212bdd1243dSDimitry Andric static inline TargetExtType *getEmptyKey() { 213bdd1243dSDimitry Andric return DenseMapInfo<TargetExtType *>::getEmptyKey(); 214bdd1243dSDimitry Andric } 215bdd1243dSDimitry Andric 216bdd1243dSDimitry Andric static inline TargetExtType *getTombstoneKey() { 217bdd1243dSDimitry Andric return DenseMapInfo<TargetExtType *>::getTombstoneKey(); 218bdd1243dSDimitry Andric } 219bdd1243dSDimitry Andric 220bdd1243dSDimitry Andric static unsigned getHashValue(const KeyTy &Key) { 221bdd1243dSDimitry Andric return hash_combine( 222bdd1243dSDimitry Andric Key.Name, 223bdd1243dSDimitry Andric hash_combine_range(Key.TypeParams.begin(), Key.TypeParams.end()), 224bdd1243dSDimitry Andric hash_combine_range(Key.IntParams.begin(), Key.IntParams.end())); 225bdd1243dSDimitry Andric } 226bdd1243dSDimitry Andric 227bdd1243dSDimitry Andric static unsigned getHashValue(const TargetExtType *FT) { 228bdd1243dSDimitry Andric return getHashValue(KeyTy(FT)); 229bdd1243dSDimitry Andric } 230bdd1243dSDimitry Andric 231bdd1243dSDimitry Andric static bool isEqual(const KeyTy &LHS, const TargetExtType *RHS) { 232bdd1243dSDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 233bdd1243dSDimitry Andric return false; 234bdd1243dSDimitry Andric return LHS == KeyTy(RHS); 235bdd1243dSDimitry Andric } 236bdd1243dSDimitry Andric 237bdd1243dSDimitry Andric static bool isEqual(const TargetExtType *LHS, const TargetExtType *RHS) { 238bdd1243dSDimitry Andric return LHS == RHS; 239bdd1243dSDimitry Andric } 240bdd1243dSDimitry Andric }; 241bdd1243dSDimitry Andric 2420b57cec5SDimitry Andric /// Structure for hashing arbitrary MDNode operands. 2430b57cec5SDimitry Andric class MDNodeOpsKey { 2440b57cec5SDimitry Andric ArrayRef<Metadata *> RawOps; 2450b57cec5SDimitry Andric ArrayRef<MDOperand> Ops; 2460b57cec5SDimitry Andric unsigned Hash; 2470b57cec5SDimitry Andric 2480b57cec5SDimitry Andric protected: 2490b57cec5SDimitry Andric MDNodeOpsKey(ArrayRef<Metadata *> Ops) 2500b57cec5SDimitry Andric : RawOps(Ops), Hash(calculateHash(Ops)) {} 2510b57cec5SDimitry Andric 2520b57cec5SDimitry Andric template <class NodeTy> 2530b57cec5SDimitry Andric MDNodeOpsKey(const NodeTy *N, unsigned Offset = 0) 2540b57cec5SDimitry Andric : Ops(N->op_begin() + Offset, N->op_end()), Hash(N->getHash()) {} 2550b57cec5SDimitry Andric 2560b57cec5SDimitry Andric template <class NodeTy> 2570b57cec5SDimitry Andric bool compareOps(const NodeTy *RHS, unsigned Offset = 0) const { 2580b57cec5SDimitry Andric if (getHash() != RHS->getHash()) 2590b57cec5SDimitry Andric return false; 2600b57cec5SDimitry Andric 2610b57cec5SDimitry Andric assert((RawOps.empty() || Ops.empty()) && "Two sets of operands?"); 2620b57cec5SDimitry Andric return RawOps.empty() ? compareOps(Ops, RHS, Offset) 2630b57cec5SDimitry Andric : compareOps(RawOps, RHS, Offset); 2640b57cec5SDimitry Andric } 2650b57cec5SDimitry Andric 2660b57cec5SDimitry Andric static unsigned calculateHash(MDNode *N, unsigned Offset = 0); 2670b57cec5SDimitry Andric 2680b57cec5SDimitry Andric private: 2690b57cec5SDimitry Andric template <class T> 2700b57cec5SDimitry Andric static bool compareOps(ArrayRef<T> Ops, const MDNode *RHS, unsigned Offset) { 2710b57cec5SDimitry Andric if (Ops.size() != RHS->getNumOperands() - Offset) 2720b57cec5SDimitry Andric return false; 2730b57cec5SDimitry Andric return std::equal(Ops.begin(), Ops.end(), RHS->op_begin() + Offset); 2740b57cec5SDimitry Andric } 2750b57cec5SDimitry Andric 2760b57cec5SDimitry Andric static unsigned calculateHash(ArrayRef<Metadata *> Ops); 2770b57cec5SDimitry Andric 2780b57cec5SDimitry Andric public: 2790b57cec5SDimitry Andric unsigned getHash() const { return Hash; } 2800b57cec5SDimitry Andric }; 2810b57cec5SDimitry Andric 2820b57cec5SDimitry Andric template <class NodeTy> struct MDNodeKeyImpl; 2830b57cec5SDimitry Andric 2840b57cec5SDimitry Andric /// Configuration point for MDNodeInfo::isEqual(). 2850b57cec5SDimitry Andric template <class NodeTy> struct MDNodeSubsetEqualImpl { 2860b57cec5SDimitry Andric using KeyTy = MDNodeKeyImpl<NodeTy>; 2870b57cec5SDimitry Andric 2880b57cec5SDimitry Andric static bool isSubsetEqual(const KeyTy &LHS, const NodeTy *RHS) { 2890b57cec5SDimitry Andric return false; 2900b57cec5SDimitry Andric } 2910b57cec5SDimitry Andric 2920b57cec5SDimitry Andric static bool isSubsetEqual(const NodeTy *LHS, const NodeTy *RHS) { 2930b57cec5SDimitry Andric return false; 2940b57cec5SDimitry Andric } 2950b57cec5SDimitry Andric }; 2960b57cec5SDimitry Andric 2970b57cec5SDimitry Andric /// DenseMapInfo for MDTuple. 2980b57cec5SDimitry Andric /// 2990b57cec5SDimitry Andric /// Note that we don't need the is-function-local bit, since that's implicit in 3000b57cec5SDimitry Andric /// the operands. 3010b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<MDTuple> : MDNodeOpsKey { 3020b57cec5SDimitry Andric MDNodeKeyImpl(ArrayRef<Metadata *> Ops) : MDNodeOpsKey(Ops) {} 3030b57cec5SDimitry Andric MDNodeKeyImpl(const MDTuple *N) : MDNodeOpsKey(N) {} 3040b57cec5SDimitry Andric 3050b57cec5SDimitry Andric bool isKeyOf(const MDTuple *RHS) const { return compareOps(RHS); } 3060b57cec5SDimitry Andric 3070b57cec5SDimitry Andric unsigned getHashValue() const { return getHash(); } 3080b57cec5SDimitry Andric 3090b57cec5SDimitry Andric static unsigned calculateHash(MDTuple *N) { 3100b57cec5SDimitry Andric return MDNodeOpsKey::calculateHash(N); 3110b57cec5SDimitry Andric } 3120b57cec5SDimitry Andric }; 3130b57cec5SDimitry Andric 3140b57cec5SDimitry Andric /// DenseMapInfo for DILocation. 3150b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILocation> { 3160b57cec5SDimitry Andric unsigned Line; 3170b57cec5SDimitry Andric unsigned Column; 3180b57cec5SDimitry Andric Metadata *Scope; 3190b57cec5SDimitry Andric Metadata *InlinedAt; 3200b57cec5SDimitry Andric bool ImplicitCode; 3210b57cec5SDimitry Andric 3220b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Line, unsigned Column, Metadata *Scope, 3230b57cec5SDimitry Andric Metadata *InlinedAt, bool ImplicitCode) 3240b57cec5SDimitry Andric : Line(Line), Column(Column), Scope(Scope), InlinedAt(InlinedAt), 3250b57cec5SDimitry Andric ImplicitCode(ImplicitCode) {} 3260b57cec5SDimitry Andric MDNodeKeyImpl(const DILocation *L) 3270b57cec5SDimitry Andric : Line(L->getLine()), Column(L->getColumn()), Scope(L->getRawScope()), 3280b57cec5SDimitry Andric InlinedAt(L->getRawInlinedAt()), ImplicitCode(L->isImplicitCode()) {} 3290b57cec5SDimitry Andric 3300b57cec5SDimitry Andric bool isKeyOf(const DILocation *RHS) const { 3310b57cec5SDimitry Andric return Line == RHS->getLine() && Column == RHS->getColumn() && 3320b57cec5SDimitry Andric Scope == RHS->getRawScope() && InlinedAt == RHS->getRawInlinedAt() && 3330b57cec5SDimitry Andric ImplicitCode == RHS->isImplicitCode(); 3340b57cec5SDimitry Andric } 3350b57cec5SDimitry Andric 3360b57cec5SDimitry Andric unsigned getHashValue() const { 3370b57cec5SDimitry Andric return hash_combine(Line, Column, Scope, InlinedAt, ImplicitCode); 3380b57cec5SDimitry Andric } 3390b57cec5SDimitry Andric }; 3400b57cec5SDimitry Andric 3410b57cec5SDimitry Andric /// DenseMapInfo for GenericDINode. 3420b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<GenericDINode> : MDNodeOpsKey { 3430b57cec5SDimitry Andric unsigned Tag; 3440b57cec5SDimitry Andric MDString *Header; 3450b57cec5SDimitry Andric 3460b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Header, ArrayRef<Metadata *> DwarfOps) 3470b57cec5SDimitry Andric : MDNodeOpsKey(DwarfOps), Tag(Tag), Header(Header) {} 3480b57cec5SDimitry Andric MDNodeKeyImpl(const GenericDINode *N) 3490b57cec5SDimitry Andric : MDNodeOpsKey(N, 1), Tag(N->getTag()), Header(N->getRawHeader()) {} 3500b57cec5SDimitry Andric 3510b57cec5SDimitry Andric bool isKeyOf(const GenericDINode *RHS) const { 3520b57cec5SDimitry Andric return Tag == RHS->getTag() && Header == RHS->getRawHeader() && 3530b57cec5SDimitry Andric compareOps(RHS, 1); 3540b57cec5SDimitry Andric } 3550b57cec5SDimitry Andric 3560b57cec5SDimitry Andric unsigned getHashValue() const { return hash_combine(getHash(), Tag, Header); } 3570b57cec5SDimitry Andric 3580b57cec5SDimitry Andric static unsigned calculateHash(GenericDINode *N) { 3590b57cec5SDimitry Andric return MDNodeOpsKey::calculateHash(N, 1); 3600b57cec5SDimitry Andric } 3610b57cec5SDimitry Andric }; 3620b57cec5SDimitry Andric 3630b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DISubrange> { 3640b57cec5SDimitry Andric Metadata *CountNode; 3655ffd83dbSDimitry Andric Metadata *LowerBound; 3665ffd83dbSDimitry Andric Metadata *UpperBound; 3675ffd83dbSDimitry Andric Metadata *Stride; 3680b57cec5SDimitry Andric 3695ffd83dbSDimitry Andric MDNodeKeyImpl(Metadata *CountNode, Metadata *LowerBound, Metadata *UpperBound, 3705ffd83dbSDimitry Andric Metadata *Stride) 3715ffd83dbSDimitry Andric : CountNode(CountNode), LowerBound(LowerBound), UpperBound(UpperBound), 3725ffd83dbSDimitry Andric Stride(Stride) {} 3730b57cec5SDimitry Andric MDNodeKeyImpl(const DISubrange *N) 3745ffd83dbSDimitry Andric : CountNode(N->getRawCountNode()), LowerBound(N->getRawLowerBound()), 3755ffd83dbSDimitry Andric UpperBound(N->getRawUpperBound()), Stride(N->getRawStride()) {} 3760b57cec5SDimitry Andric 3770b57cec5SDimitry Andric bool isKeyOf(const DISubrange *RHS) const { 3785ffd83dbSDimitry Andric auto BoundsEqual = [=](Metadata *Node1, Metadata *Node2) -> bool { 3795ffd83dbSDimitry Andric if (Node1 == Node2) 3800b57cec5SDimitry Andric return true; 3810b57cec5SDimitry Andric 3825ffd83dbSDimitry Andric ConstantAsMetadata *MD1 = dyn_cast_or_null<ConstantAsMetadata>(Node1); 3835ffd83dbSDimitry Andric ConstantAsMetadata *MD2 = dyn_cast_or_null<ConstantAsMetadata>(Node2); 3845ffd83dbSDimitry Andric if (MD1 && MD2) { 3855ffd83dbSDimitry Andric ConstantInt *CV1 = cast<ConstantInt>(MD1->getValue()); 3865ffd83dbSDimitry Andric ConstantInt *CV2 = cast<ConstantInt>(MD2->getValue()); 3875ffd83dbSDimitry Andric if (CV1->getSExtValue() == CV2->getSExtValue()) 3885ffd83dbSDimitry Andric return true; 3895ffd83dbSDimitry Andric } 3905ffd83dbSDimitry Andric return false; 3915ffd83dbSDimitry Andric }; 3925ffd83dbSDimitry Andric 3935ffd83dbSDimitry Andric return BoundsEqual(CountNode, RHS->getRawCountNode()) && 3945ffd83dbSDimitry Andric BoundsEqual(LowerBound, RHS->getRawLowerBound()) && 3955ffd83dbSDimitry Andric BoundsEqual(UpperBound, RHS->getRawUpperBound()) && 3965ffd83dbSDimitry Andric BoundsEqual(Stride, RHS->getRawStride()); 3970b57cec5SDimitry Andric } 3980b57cec5SDimitry Andric 3990b57cec5SDimitry Andric unsigned getHashValue() const { 4005ffd83dbSDimitry Andric if (CountNode) 4010b57cec5SDimitry Andric if (auto *MD = dyn_cast<ConstantAsMetadata>(CountNode)) 4020b57cec5SDimitry Andric return hash_combine(cast<ConstantInt>(MD->getValue())->getSExtValue(), 4035ffd83dbSDimitry Andric LowerBound, UpperBound, Stride); 4045ffd83dbSDimitry Andric return hash_combine(CountNode, LowerBound, UpperBound, Stride); 4050b57cec5SDimitry Andric } 4060b57cec5SDimitry Andric }; 4070b57cec5SDimitry Andric 408e8d8bef9SDimitry Andric template <> struct MDNodeKeyImpl<DIGenericSubrange> { 409e8d8bef9SDimitry Andric Metadata *CountNode; 410e8d8bef9SDimitry Andric Metadata *LowerBound; 411e8d8bef9SDimitry Andric Metadata *UpperBound; 412e8d8bef9SDimitry Andric Metadata *Stride; 413e8d8bef9SDimitry Andric 414e8d8bef9SDimitry Andric MDNodeKeyImpl(Metadata *CountNode, Metadata *LowerBound, Metadata *UpperBound, 415e8d8bef9SDimitry Andric Metadata *Stride) 416e8d8bef9SDimitry Andric : CountNode(CountNode), LowerBound(LowerBound), UpperBound(UpperBound), 417e8d8bef9SDimitry Andric Stride(Stride) {} 418e8d8bef9SDimitry Andric MDNodeKeyImpl(const DIGenericSubrange *N) 419e8d8bef9SDimitry Andric : CountNode(N->getRawCountNode()), LowerBound(N->getRawLowerBound()), 420e8d8bef9SDimitry Andric UpperBound(N->getRawUpperBound()), Stride(N->getRawStride()) {} 421e8d8bef9SDimitry Andric 422e8d8bef9SDimitry Andric bool isKeyOf(const DIGenericSubrange *RHS) const { 423e8d8bef9SDimitry Andric return (CountNode == RHS->getRawCountNode()) && 424e8d8bef9SDimitry Andric (LowerBound == RHS->getRawLowerBound()) && 425e8d8bef9SDimitry Andric (UpperBound == RHS->getRawUpperBound()) && 426e8d8bef9SDimitry Andric (Stride == RHS->getRawStride()); 427e8d8bef9SDimitry Andric } 428e8d8bef9SDimitry Andric 429e8d8bef9SDimitry Andric unsigned getHashValue() const { 430e8d8bef9SDimitry Andric auto *MD = dyn_cast_or_null<ConstantAsMetadata>(CountNode); 431e8d8bef9SDimitry Andric if (CountNode && MD) 432e8d8bef9SDimitry Andric return hash_combine(cast<ConstantInt>(MD->getValue())->getSExtValue(), 433e8d8bef9SDimitry Andric LowerBound, UpperBound, Stride); 434e8d8bef9SDimitry Andric return hash_combine(CountNode, LowerBound, UpperBound, Stride); 435e8d8bef9SDimitry Andric } 436e8d8bef9SDimitry Andric }; 437e8d8bef9SDimitry Andric 4380b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIEnumerator> { 4395ffd83dbSDimitry Andric APInt Value; 4400b57cec5SDimitry Andric MDString *Name; 4410b57cec5SDimitry Andric bool IsUnsigned; 4420b57cec5SDimitry Andric 4435ffd83dbSDimitry Andric MDNodeKeyImpl(APInt Value, bool IsUnsigned, MDString *Name) 4440b57cec5SDimitry Andric : Value(Value), Name(Name), IsUnsigned(IsUnsigned) {} 4455ffd83dbSDimitry Andric MDNodeKeyImpl(int64_t Value, bool IsUnsigned, MDString *Name) 4465ffd83dbSDimitry Andric : Value(APInt(64, Value, !IsUnsigned)), Name(Name), 4475ffd83dbSDimitry Andric IsUnsigned(IsUnsigned) {} 4480b57cec5SDimitry Andric MDNodeKeyImpl(const DIEnumerator *N) 4490b57cec5SDimitry Andric : Value(N->getValue()), Name(N->getRawName()), 4500b57cec5SDimitry Andric IsUnsigned(N->isUnsigned()) {} 4510b57cec5SDimitry Andric 4520b57cec5SDimitry Andric bool isKeyOf(const DIEnumerator *RHS) const { 4530eae32dcSDimitry Andric return Value.getBitWidth() == RHS->getValue().getBitWidth() && 4540eae32dcSDimitry Andric Value == RHS->getValue() && IsUnsigned == RHS->isUnsigned() && 4550eae32dcSDimitry Andric Name == RHS->getRawName(); 4560b57cec5SDimitry Andric } 4570b57cec5SDimitry Andric 4580b57cec5SDimitry Andric unsigned getHashValue() const { return hash_combine(Value, Name); } 4590b57cec5SDimitry Andric }; 4600b57cec5SDimitry Andric 4610b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIBasicType> { 4620b57cec5SDimitry Andric unsigned Tag; 4630b57cec5SDimitry Andric MDString *Name; 4640b57cec5SDimitry Andric uint64_t SizeInBits; 4650b57cec5SDimitry Andric uint32_t AlignInBits; 4660b57cec5SDimitry Andric unsigned Encoding; 4670b57cec5SDimitry Andric unsigned Flags; 4680b57cec5SDimitry Andric 4690b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, uint64_t SizeInBits, 4700b57cec5SDimitry Andric uint32_t AlignInBits, unsigned Encoding, unsigned Flags) 4710b57cec5SDimitry Andric : Tag(Tag), Name(Name), SizeInBits(SizeInBits), AlignInBits(AlignInBits), 4720b57cec5SDimitry Andric Encoding(Encoding), Flags(Flags) {} 4730b57cec5SDimitry Andric MDNodeKeyImpl(const DIBasicType *N) 4740b57cec5SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), SizeInBits(N->getSizeInBits()), 475349cc55cSDimitry Andric AlignInBits(N->getAlignInBits()), Encoding(N->getEncoding()), 476349cc55cSDimitry Andric Flags(N->getFlags()) {} 4770b57cec5SDimitry Andric 4780b57cec5SDimitry Andric bool isKeyOf(const DIBasicType *RHS) const { 4790b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 4800b57cec5SDimitry Andric SizeInBits == RHS->getSizeInBits() && 4810b57cec5SDimitry Andric AlignInBits == RHS->getAlignInBits() && 482349cc55cSDimitry Andric Encoding == RHS->getEncoding() && Flags == RHS->getFlags(); 4830b57cec5SDimitry Andric } 4840b57cec5SDimitry Andric 4850b57cec5SDimitry Andric unsigned getHashValue() const { 4860b57cec5SDimitry Andric return hash_combine(Tag, Name, SizeInBits, AlignInBits, Encoding); 4870b57cec5SDimitry Andric } 4880b57cec5SDimitry Andric }; 4890b57cec5SDimitry Andric 490e8d8bef9SDimitry Andric template <> struct MDNodeKeyImpl<DIStringType> { 491e8d8bef9SDimitry Andric unsigned Tag; 492e8d8bef9SDimitry Andric MDString *Name; 493e8d8bef9SDimitry Andric Metadata *StringLength; 494e8d8bef9SDimitry Andric Metadata *StringLengthExp; 49504eeddc0SDimitry Andric Metadata *StringLocationExp; 496e8d8bef9SDimitry Andric uint64_t SizeInBits; 497e8d8bef9SDimitry Andric uint32_t AlignInBits; 498e8d8bef9SDimitry Andric unsigned Encoding; 499e8d8bef9SDimitry Andric 500e8d8bef9SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, Metadata *StringLength, 50104eeddc0SDimitry Andric Metadata *StringLengthExp, Metadata *StringLocationExp, 50204eeddc0SDimitry Andric uint64_t SizeInBits, uint32_t AlignInBits, unsigned Encoding) 503e8d8bef9SDimitry Andric : Tag(Tag), Name(Name), StringLength(StringLength), 50404eeddc0SDimitry Andric StringLengthExp(StringLengthExp), StringLocationExp(StringLocationExp), 50504eeddc0SDimitry Andric SizeInBits(SizeInBits), AlignInBits(AlignInBits), Encoding(Encoding) {} 506e8d8bef9SDimitry Andric MDNodeKeyImpl(const DIStringType *N) 507e8d8bef9SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), 508e8d8bef9SDimitry Andric StringLength(N->getRawStringLength()), 509e8d8bef9SDimitry Andric StringLengthExp(N->getRawStringLengthExp()), 51004eeddc0SDimitry Andric StringLocationExp(N->getRawStringLocationExp()), 511e8d8bef9SDimitry Andric SizeInBits(N->getSizeInBits()), AlignInBits(N->getAlignInBits()), 512e8d8bef9SDimitry Andric Encoding(N->getEncoding()) {} 513e8d8bef9SDimitry Andric 514e8d8bef9SDimitry Andric bool isKeyOf(const DIStringType *RHS) const { 515e8d8bef9SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 516*06c3fb27SDimitry Andric StringLength == RHS->getRawStringLength() && 517*06c3fb27SDimitry Andric StringLengthExp == RHS->getRawStringLengthExp() && 518*06c3fb27SDimitry Andric StringLocationExp == RHS->getRawStringLocationExp() && 519e8d8bef9SDimitry Andric SizeInBits == RHS->getSizeInBits() && 520e8d8bef9SDimitry Andric AlignInBits == RHS->getAlignInBits() && 521e8d8bef9SDimitry Andric Encoding == RHS->getEncoding(); 522e8d8bef9SDimitry Andric } 523*06c3fb27SDimitry Andric unsigned getHashValue() const { 524*06c3fb27SDimitry Andric // Intentionally computes the hash on a subset of the operands for 525*06c3fb27SDimitry Andric // performance reason. The subset has to be significant enough to avoid 526*06c3fb27SDimitry Andric // collision "most of the time". There is no correctness issue in case of 527*06c3fb27SDimitry Andric // collision because of the full check above. 528*06c3fb27SDimitry Andric return hash_combine(Tag, Name, StringLength, Encoding); 529*06c3fb27SDimitry Andric } 530e8d8bef9SDimitry Andric }; 531e8d8bef9SDimitry Andric 5320b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIDerivedType> { 5330b57cec5SDimitry Andric unsigned Tag; 5340b57cec5SDimitry Andric MDString *Name; 5350b57cec5SDimitry Andric Metadata *File; 5360b57cec5SDimitry Andric unsigned Line; 5370b57cec5SDimitry Andric Metadata *Scope; 5380b57cec5SDimitry Andric Metadata *BaseType; 5390b57cec5SDimitry Andric uint64_t SizeInBits; 5400b57cec5SDimitry Andric uint64_t OffsetInBits; 5410b57cec5SDimitry Andric uint32_t AlignInBits; 542bdd1243dSDimitry Andric std::optional<unsigned> DWARFAddressSpace; 5430b57cec5SDimitry Andric unsigned Flags; 5440b57cec5SDimitry Andric Metadata *ExtraData; 545349cc55cSDimitry Andric Metadata *Annotations; 5460b57cec5SDimitry Andric 5470b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, Metadata *File, unsigned Line, 5480b57cec5SDimitry Andric Metadata *Scope, Metadata *BaseType, uint64_t SizeInBits, 5490b57cec5SDimitry Andric uint32_t AlignInBits, uint64_t OffsetInBits, 550bdd1243dSDimitry Andric std::optional<unsigned> DWARFAddressSpace, unsigned Flags, 551349cc55cSDimitry Andric Metadata *ExtraData, Metadata *Annotations) 5520b57cec5SDimitry Andric : Tag(Tag), Name(Name), File(File), Line(Line), Scope(Scope), 5530b57cec5SDimitry Andric BaseType(BaseType), SizeInBits(SizeInBits), OffsetInBits(OffsetInBits), 5540b57cec5SDimitry Andric AlignInBits(AlignInBits), DWARFAddressSpace(DWARFAddressSpace), 555349cc55cSDimitry Andric Flags(Flags), ExtraData(ExtraData), Annotations(Annotations) {} 5560b57cec5SDimitry Andric MDNodeKeyImpl(const DIDerivedType *N) 5570b57cec5SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), File(N->getRawFile()), 5580b57cec5SDimitry Andric Line(N->getLine()), Scope(N->getRawScope()), 5590b57cec5SDimitry Andric BaseType(N->getRawBaseType()), SizeInBits(N->getSizeInBits()), 5600b57cec5SDimitry Andric OffsetInBits(N->getOffsetInBits()), AlignInBits(N->getAlignInBits()), 5610b57cec5SDimitry Andric DWARFAddressSpace(N->getDWARFAddressSpace()), Flags(N->getFlags()), 562349cc55cSDimitry Andric ExtraData(N->getRawExtraData()), Annotations(N->getRawAnnotations()) {} 5630b57cec5SDimitry Andric 5640b57cec5SDimitry Andric bool isKeyOf(const DIDerivedType *RHS) const { 5650b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 5660b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 5670b57cec5SDimitry Andric Scope == RHS->getRawScope() && BaseType == RHS->getRawBaseType() && 5680b57cec5SDimitry Andric SizeInBits == RHS->getSizeInBits() && 5690b57cec5SDimitry Andric AlignInBits == RHS->getAlignInBits() && 5700b57cec5SDimitry Andric OffsetInBits == RHS->getOffsetInBits() && 5710b57cec5SDimitry Andric DWARFAddressSpace == RHS->getDWARFAddressSpace() && 572349cc55cSDimitry Andric Flags == RHS->getFlags() && ExtraData == RHS->getRawExtraData() && 573349cc55cSDimitry Andric Annotations == RHS->getRawAnnotations(); 5740b57cec5SDimitry Andric } 5750b57cec5SDimitry Andric 5760b57cec5SDimitry Andric unsigned getHashValue() const { 5770b57cec5SDimitry Andric // If this is a member inside an ODR type, only hash the type and the name. 5780b57cec5SDimitry Andric // Otherwise the hash will be stronger than 5790b57cec5SDimitry Andric // MDNodeSubsetEqualImpl::isODRMember(). 5800b57cec5SDimitry Andric if (Tag == dwarf::DW_TAG_member && Name) 5810b57cec5SDimitry Andric if (auto *CT = dyn_cast_or_null<DICompositeType>(Scope)) 5820b57cec5SDimitry Andric if (CT->getRawIdentifier()) 5830b57cec5SDimitry Andric return hash_combine(Name, Scope); 5840b57cec5SDimitry Andric 5850b57cec5SDimitry Andric // Intentionally computes the hash on a subset of the operands for 5860b57cec5SDimitry Andric // performance reason. The subset has to be significant enough to avoid 5870b57cec5SDimitry Andric // collision "most of the time". There is no correctness issue in case of 5880b57cec5SDimitry Andric // collision because of the full check above. 5890b57cec5SDimitry Andric return hash_combine(Tag, Name, File, Line, Scope, BaseType, Flags); 5900b57cec5SDimitry Andric } 5910b57cec5SDimitry Andric }; 5920b57cec5SDimitry Andric 5930b57cec5SDimitry Andric template <> struct MDNodeSubsetEqualImpl<DIDerivedType> { 5940b57cec5SDimitry Andric using KeyTy = MDNodeKeyImpl<DIDerivedType>; 5950b57cec5SDimitry Andric 5960b57cec5SDimitry Andric static bool isSubsetEqual(const KeyTy &LHS, const DIDerivedType *RHS) { 5970b57cec5SDimitry Andric return isODRMember(LHS.Tag, LHS.Scope, LHS.Name, RHS); 5980b57cec5SDimitry Andric } 5990b57cec5SDimitry Andric 600349cc55cSDimitry Andric static bool isSubsetEqual(const DIDerivedType *LHS, 601349cc55cSDimitry Andric const DIDerivedType *RHS) { 6020b57cec5SDimitry Andric return isODRMember(LHS->getTag(), LHS->getRawScope(), LHS->getRawName(), 6030b57cec5SDimitry Andric RHS); 6040b57cec5SDimitry Andric } 6050b57cec5SDimitry Andric 6060b57cec5SDimitry Andric /// Subprograms compare equal if they declare the same function in an ODR 6070b57cec5SDimitry Andric /// type. 6080b57cec5SDimitry Andric static bool isODRMember(unsigned Tag, const Metadata *Scope, 6090b57cec5SDimitry Andric const MDString *Name, const DIDerivedType *RHS) { 6100b57cec5SDimitry Andric // Check whether the LHS is eligible. 6110b57cec5SDimitry Andric if (Tag != dwarf::DW_TAG_member || !Name) 6120b57cec5SDimitry Andric return false; 6130b57cec5SDimitry Andric 6140b57cec5SDimitry Andric auto *CT = dyn_cast_or_null<DICompositeType>(Scope); 6150b57cec5SDimitry Andric if (!CT || !CT->getRawIdentifier()) 6160b57cec5SDimitry Andric return false; 6170b57cec5SDimitry Andric 6180b57cec5SDimitry Andric // Compare to the RHS. 6190b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 6200b57cec5SDimitry Andric Scope == RHS->getRawScope(); 6210b57cec5SDimitry Andric } 6220b57cec5SDimitry Andric }; 6230b57cec5SDimitry Andric 6240b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DICompositeType> { 6250b57cec5SDimitry Andric unsigned Tag; 6260b57cec5SDimitry Andric MDString *Name; 6270b57cec5SDimitry Andric Metadata *File; 6280b57cec5SDimitry Andric unsigned Line; 6290b57cec5SDimitry Andric Metadata *Scope; 6300b57cec5SDimitry Andric Metadata *BaseType; 6310b57cec5SDimitry Andric uint64_t SizeInBits; 6320b57cec5SDimitry Andric uint64_t OffsetInBits; 6330b57cec5SDimitry Andric uint32_t AlignInBits; 6340b57cec5SDimitry Andric unsigned Flags; 6350b57cec5SDimitry Andric Metadata *Elements; 6360b57cec5SDimitry Andric unsigned RuntimeLang; 6370b57cec5SDimitry Andric Metadata *VTableHolder; 6380b57cec5SDimitry Andric Metadata *TemplateParams; 6390b57cec5SDimitry Andric MDString *Identifier; 6400b57cec5SDimitry Andric Metadata *Discriminator; 6415ffd83dbSDimitry Andric Metadata *DataLocation; 642e8d8bef9SDimitry Andric Metadata *Associated; 643e8d8bef9SDimitry Andric Metadata *Allocated; 644e8d8bef9SDimitry Andric Metadata *Rank; 645349cc55cSDimitry Andric Metadata *Annotations; 6460b57cec5SDimitry Andric 6470b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, Metadata *File, unsigned Line, 6480b57cec5SDimitry Andric Metadata *Scope, Metadata *BaseType, uint64_t SizeInBits, 6490b57cec5SDimitry Andric uint32_t AlignInBits, uint64_t OffsetInBits, unsigned Flags, 6500b57cec5SDimitry Andric Metadata *Elements, unsigned RuntimeLang, 6510b57cec5SDimitry Andric Metadata *VTableHolder, Metadata *TemplateParams, 6525ffd83dbSDimitry Andric MDString *Identifier, Metadata *Discriminator, 653e8d8bef9SDimitry Andric Metadata *DataLocation, Metadata *Associated, 654349cc55cSDimitry Andric Metadata *Allocated, Metadata *Rank, Metadata *Annotations) 6550b57cec5SDimitry Andric : Tag(Tag), Name(Name), File(File), Line(Line), Scope(Scope), 6560b57cec5SDimitry Andric BaseType(BaseType), SizeInBits(SizeInBits), OffsetInBits(OffsetInBits), 6570b57cec5SDimitry Andric AlignInBits(AlignInBits), Flags(Flags), Elements(Elements), 6580b57cec5SDimitry Andric RuntimeLang(RuntimeLang), VTableHolder(VTableHolder), 6590b57cec5SDimitry Andric TemplateParams(TemplateParams), Identifier(Identifier), 660e8d8bef9SDimitry Andric Discriminator(Discriminator), DataLocation(DataLocation), 661349cc55cSDimitry Andric Associated(Associated), Allocated(Allocated), Rank(Rank), 662349cc55cSDimitry Andric Annotations(Annotations) {} 6630b57cec5SDimitry Andric MDNodeKeyImpl(const DICompositeType *N) 6640b57cec5SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), File(N->getRawFile()), 6650b57cec5SDimitry Andric Line(N->getLine()), Scope(N->getRawScope()), 6660b57cec5SDimitry Andric BaseType(N->getRawBaseType()), SizeInBits(N->getSizeInBits()), 6670b57cec5SDimitry Andric OffsetInBits(N->getOffsetInBits()), AlignInBits(N->getAlignInBits()), 6680b57cec5SDimitry Andric Flags(N->getFlags()), Elements(N->getRawElements()), 6690b57cec5SDimitry Andric RuntimeLang(N->getRuntimeLang()), VTableHolder(N->getRawVTableHolder()), 6700b57cec5SDimitry Andric TemplateParams(N->getRawTemplateParams()), 6710b57cec5SDimitry Andric Identifier(N->getRawIdentifier()), 6725ffd83dbSDimitry Andric Discriminator(N->getRawDiscriminator()), 673e8d8bef9SDimitry Andric DataLocation(N->getRawDataLocation()), 674e8d8bef9SDimitry Andric Associated(N->getRawAssociated()), Allocated(N->getRawAllocated()), 675349cc55cSDimitry Andric Rank(N->getRawRank()), Annotations(N->getRawAnnotations()) {} 6760b57cec5SDimitry Andric 6770b57cec5SDimitry Andric bool isKeyOf(const DICompositeType *RHS) const { 6780b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 6790b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 6800b57cec5SDimitry Andric Scope == RHS->getRawScope() && BaseType == RHS->getRawBaseType() && 6810b57cec5SDimitry Andric SizeInBits == RHS->getSizeInBits() && 6820b57cec5SDimitry Andric AlignInBits == RHS->getAlignInBits() && 6830b57cec5SDimitry Andric OffsetInBits == RHS->getOffsetInBits() && Flags == RHS->getFlags() && 6840b57cec5SDimitry Andric Elements == RHS->getRawElements() && 6850b57cec5SDimitry Andric RuntimeLang == RHS->getRuntimeLang() && 6860b57cec5SDimitry Andric VTableHolder == RHS->getRawVTableHolder() && 6870b57cec5SDimitry Andric TemplateParams == RHS->getRawTemplateParams() && 6880b57cec5SDimitry Andric Identifier == RHS->getRawIdentifier() && 6895ffd83dbSDimitry Andric Discriminator == RHS->getRawDiscriminator() && 690e8d8bef9SDimitry Andric DataLocation == RHS->getRawDataLocation() && 691e8d8bef9SDimitry Andric Associated == RHS->getRawAssociated() && 692349cc55cSDimitry Andric Allocated == RHS->getRawAllocated() && Rank == RHS->getRawRank() && 693349cc55cSDimitry Andric Annotations == RHS->getRawAnnotations(); 6940b57cec5SDimitry Andric } 6950b57cec5SDimitry Andric 6960b57cec5SDimitry Andric unsigned getHashValue() const { 6970b57cec5SDimitry Andric // Intentionally computes the hash on a subset of the operands for 6980b57cec5SDimitry Andric // performance reason. The subset has to be significant enough to avoid 6990b57cec5SDimitry Andric // collision "most of the time". There is no correctness issue in case of 7000b57cec5SDimitry Andric // collision because of the full check above. 7010b57cec5SDimitry Andric return hash_combine(Name, File, Line, BaseType, Scope, Elements, 702349cc55cSDimitry Andric TemplateParams, Annotations); 7030b57cec5SDimitry Andric } 7040b57cec5SDimitry Andric }; 7050b57cec5SDimitry Andric 7060b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DISubroutineType> { 7070b57cec5SDimitry Andric unsigned Flags; 7080b57cec5SDimitry Andric uint8_t CC; 7090b57cec5SDimitry Andric Metadata *TypeArray; 7100b57cec5SDimitry Andric 7110b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Flags, uint8_t CC, Metadata *TypeArray) 7120b57cec5SDimitry Andric : Flags(Flags), CC(CC), TypeArray(TypeArray) {} 7130b57cec5SDimitry Andric MDNodeKeyImpl(const DISubroutineType *N) 7140b57cec5SDimitry Andric : Flags(N->getFlags()), CC(N->getCC()), TypeArray(N->getRawTypeArray()) {} 7150b57cec5SDimitry Andric 7160b57cec5SDimitry Andric bool isKeyOf(const DISubroutineType *RHS) const { 7170b57cec5SDimitry Andric return Flags == RHS->getFlags() && CC == RHS->getCC() && 7180b57cec5SDimitry Andric TypeArray == RHS->getRawTypeArray(); 7190b57cec5SDimitry Andric } 7200b57cec5SDimitry Andric 7210b57cec5SDimitry Andric unsigned getHashValue() const { return hash_combine(Flags, CC, TypeArray); } 7220b57cec5SDimitry Andric }; 7230b57cec5SDimitry Andric 7240b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIFile> { 7250b57cec5SDimitry Andric MDString *Filename; 7260b57cec5SDimitry Andric MDString *Directory; 727bdd1243dSDimitry Andric std::optional<DIFile::ChecksumInfo<MDString *>> Checksum; 728bdd1243dSDimitry Andric MDString *Source; 7290b57cec5SDimitry Andric 7300b57cec5SDimitry Andric MDNodeKeyImpl(MDString *Filename, MDString *Directory, 731bdd1243dSDimitry Andric std::optional<DIFile::ChecksumInfo<MDString *>> Checksum, 732bdd1243dSDimitry Andric MDString *Source) 7330b57cec5SDimitry Andric : Filename(Filename), Directory(Directory), Checksum(Checksum), 7340b57cec5SDimitry Andric Source(Source) {} 7350b57cec5SDimitry Andric MDNodeKeyImpl(const DIFile *N) 7360b57cec5SDimitry Andric : Filename(N->getRawFilename()), Directory(N->getRawDirectory()), 7370b57cec5SDimitry Andric Checksum(N->getRawChecksum()), Source(N->getRawSource()) {} 7380b57cec5SDimitry Andric 7390b57cec5SDimitry Andric bool isKeyOf(const DIFile *RHS) const { 7400b57cec5SDimitry Andric return Filename == RHS->getRawFilename() && 7410b57cec5SDimitry Andric Directory == RHS->getRawDirectory() && 742349cc55cSDimitry Andric Checksum == RHS->getRawChecksum() && Source == RHS->getRawSource(); 7430b57cec5SDimitry Andric } 7440b57cec5SDimitry Andric 7450b57cec5SDimitry Andric unsigned getHashValue() const { 746349cc55cSDimitry Andric return hash_combine(Filename, Directory, Checksum ? Checksum->Kind : 0, 747bdd1243dSDimitry Andric Checksum ? Checksum->Value : nullptr, Source); 7480b57cec5SDimitry Andric } 7490b57cec5SDimitry Andric }; 7500b57cec5SDimitry Andric 7510b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DISubprogram> { 7520b57cec5SDimitry Andric Metadata *Scope; 7530b57cec5SDimitry Andric MDString *Name; 7540b57cec5SDimitry Andric MDString *LinkageName; 7550b57cec5SDimitry Andric Metadata *File; 7560b57cec5SDimitry Andric unsigned Line; 7570b57cec5SDimitry Andric Metadata *Type; 7580b57cec5SDimitry Andric unsigned ScopeLine; 7590b57cec5SDimitry Andric Metadata *ContainingType; 7600b57cec5SDimitry Andric unsigned VirtualIndex; 7610b57cec5SDimitry Andric int ThisAdjustment; 7620b57cec5SDimitry Andric unsigned Flags; 7630b57cec5SDimitry Andric unsigned SPFlags; 7640b57cec5SDimitry Andric Metadata *Unit; 7650b57cec5SDimitry Andric Metadata *TemplateParams; 7660b57cec5SDimitry Andric Metadata *Declaration; 7670b57cec5SDimitry Andric Metadata *RetainedNodes; 7680b57cec5SDimitry Andric Metadata *ThrownTypes; 769349cc55cSDimitry Andric Metadata *Annotations; 77081ad6265SDimitry Andric MDString *TargetFuncName; 7710b57cec5SDimitry Andric 7720b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, MDString *LinkageName, 7730b57cec5SDimitry Andric Metadata *File, unsigned Line, Metadata *Type, 7740b57cec5SDimitry Andric unsigned ScopeLine, Metadata *ContainingType, 7750b57cec5SDimitry Andric unsigned VirtualIndex, int ThisAdjustment, unsigned Flags, 7760b57cec5SDimitry Andric unsigned SPFlags, Metadata *Unit, Metadata *TemplateParams, 7770b57cec5SDimitry Andric Metadata *Declaration, Metadata *RetainedNodes, 77881ad6265SDimitry Andric Metadata *ThrownTypes, Metadata *Annotations, 77981ad6265SDimitry Andric MDString *TargetFuncName) 7800b57cec5SDimitry Andric : Scope(Scope), Name(Name), LinkageName(LinkageName), File(File), 7810b57cec5SDimitry Andric Line(Line), Type(Type), ScopeLine(ScopeLine), 7820b57cec5SDimitry Andric ContainingType(ContainingType), VirtualIndex(VirtualIndex), 7830b57cec5SDimitry Andric ThisAdjustment(ThisAdjustment), Flags(Flags), SPFlags(SPFlags), 7840b57cec5SDimitry Andric Unit(Unit), TemplateParams(TemplateParams), Declaration(Declaration), 785349cc55cSDimitry Andric RetainedNodes(RetainedNodes), ThrownTypes(ThrownTypes), 78681ad6265SDimitry Andric Annotations(Annotations), TargetFuncName(TargetFuncName) {} 7870b57cec5SDimitry Andric MDNodeKeyImpl(const DISubprogram *N) 7880b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), 7890b57cec5SDimitry Andric LinkageName(N->getRawLinkageName()), File(N->getRawFile()), 7900b57cec5SDimitry Andric Line(N->getLine()), Type(N->getRawType()), ScopeLine(N->getScopeLine()), 7910b57cec5SDimitry Andric ContainingType(N->getRawContainingType()), 7920b57cec5SDimitry Andric VirtualIndex(N->getVirtualIndex()), 7930b57cec5SDimitry Andric ThisAdjustment(N->getThisAdjustment()), Flags(N->getFlags()), 7940b57cec5SDimitry Andric SPFlags(N->getSPFlags()), Unit(N->getRawUnit()), 7950b57cec5SDimitry Andric TemplateParams(N->getRawTemplateParams()), 7960b57cec5SDimitry Andric Declaration(N->getRawDeclaration()), 7970b57cec5SDimitry Andric RetainedNodes(N->getRawRetainedNodes()), 798349cc55cSDimitry Andric ThrownTypes(N->getRawThrownTypes()), 79981ad6265SDimitry Andric Annotations(N->getRawAnnotations()), 80081ad6265SDimitry Andric TargetFuncName(N->getRawTargetFuncName()) {} 8010b57cec5SDimitry Andric 8020b57cec5SDimitry Andric bool isKeyOf(const DISubprogram *RHS) const { 8030b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 8040b57cec5SDimitry Andric LinkageName == RHS->getRawLinkageName() && 8050b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 8060b57cec5SDimitry Andric Type == RHS->getRawType() && ScopeLine == RHS->getScopeLine() && 8070b57cec5SDimitry Andric ContainingType == RHS->getRawContainingType() && 8080b57cec5SDimitry Andric VirtualIndex == RHS->getVirtualIndex() && 8090b57cec5SDimitry Andric ThisAdjustment == RHS->getThisAdjustment() && 8100b57cec5SDimitry Andric Flags == RHS->getFlags() && SPFlags == RHS->getSPFlags() && 8110b57cec5SDimitry Andric Unit == RHS->getUnit() && 8120b57cec5SDimitry Andric TemplateParams == RHS->getRawTemplateParams() && 8130b57cec5SDimitry Andric Declaration == RHS->getRawDeclaration() && 8140b57cec5SDimitry Andric RetainedNodes == RHS->getRawRetainedNodes() && 815349cc55cSDimitry Andric ThrownTypes == RHS->getRawThrownTypes() && 81681ad6265SDimitry Andric Annotations == RHS->getRawAnnotations() && 81781ad6265SDimitry Andric TargetFuncName == RHS->getRawTargetFuncName(); 8180b57cec5SDimitry Andric } 8190b57cec5SDimitry Andric 8200b57cec5SDimitry Andric bool isDefinition() const { return SPFlags & DISubprogram::SPFlagDefinition; } 8210b57cec5SDimitry Andric 8220b57cec5SDimitry Andric unsigned getHashValue() const { 8230b57cec5SDimitry Andric // If this is a declaration inside an ODR type, only hash the type and the 8240b57cec5SDimitry Andric // name. Otherwise the hash will be stronger than 8250b57cec5SDimitry Andric // MDNodeSubsetEqualImpl::isDeclarationOfODRMember(). 8260b57cec5SDimitry Andric if (!isDefinition() && LinkageName) 8270b57cec5SDimitry Andric if (auto *CT = dyn_cast_or_null<DICompositeType>(Scope)) 8280b57cec5SDimitry Andric if (CT->getRawIdentifier()) 8290b57cec5SDimitry Andric return hash_combine(LinkageName, Scope); 8300b57cec5SDimitry Andric 8310b57cec5SDimitry Andric // Intentionally computes the hash on a subset of the operands for 8320b57cec5SDimitry Andric // performance reason. The subset has to be significant enough to avoid 8330b57cec5SDimitry Andric // collision "most of the time". There is no correctness issue in case of 8340b57cec5SDimitry Andric // collision because of the full check above. 8350b57cec5SDimitry Andric return hash_combine(Name, Scope, File, Type, Line); 8360b57cec5SDimitry Andric } 8370b57cec5SDimitry Andric }; 8380b57cec5SDimitry Andric 8390b57cec5SDimitry Andric template <> struct MDNodeSubsetEqualImpl<DISubprogram> { 8400b57cec5SDimitry Andric using KeyTy = MDNodeKeyImpl<DISubprogram>; 8410b57cec5SDimitry Andric 8420b57cec5SDimitry Andric static bool isSubsetEqual(const KeyTy &LHS, const DISubprogram *RHS) { 8430b57cec5SDimitry Andric return isDeclarationOfODRMember(LHS.isDefinition(), LHS.Scope, 8440b57cec5SDimitry Andric LHS.LinkageName, LHS.TemplateParams, RHS); 8450b57cec5SDimitry Andric } 8460b57cec5SDimitry Andric 8470b57cec5SDimitry Andric static bool isSubsetEqual(const DISubprogram *LHS, const DISubprogram *RHS) { 8480b57cec5SDimitry Andric return isDeclarationOfODRMember(LHS->isDefinition(), LHS->getRawScope(), 8490b57cec5SDimitry Andric LHS->getRawLinkageName(), 8500b57cec5SDimitry Andric LHS->getRawTemplateParams(), RHS); 8510b57cec5SDimitry Andric } 8520b57cec5SDimitry Andric 8530b57cec5SDimitry Andric /// Subprograms compare equal if they declare the same function in an ODR 8540b57cec5SDimitry Andric /// type. 8550b57cec5SDimitry Andric static bool isDeclarationOfODRMember(bool IsDefinition, const Metadata *Scope, 8560b57cec5SDimitry Andric const MDString *LinkageName, 8570b57cec5SDimitry Andric const Metadata *TemplateParams, 8580b57cec5SDimitry Andric const DISubprogram *RHS) { 8590b57cec5SDimitry Andric // Check whether the LHS is eligible. 8600b57cec5SDimitry Andric if (IsDefinition || !Scope || !LinkageName) 8610b57cec5SDimitry Andric return false; 8620b57cec5SDimitry Andric 8630b57cec5SDimitry Andric auto *CT = dyn_cast_or_null<DICompositeType>(Scope); 8640b57cec5SDimitry Andric if (!CT || !CT->getRawIdentifier()) 8650b57cec5SDimitry Andric return false; 8660b57cec5SDimitry Andric 8670b57cec5SDimitry Andric // Compare to the RHS. 8680b57cec5SDimitry Andric // FIXME: We need to compare template parameters here to avoid incorrect 869fe6060f1SDimitry Andric // collisions in mapMetadata when RF_ReuseAndMutateDistinctMDs and a 870fe6060f1SDimitry Andric // ODR-DISubprogram has a non-ODR template parameter (i.e., a 871fe6060f1SDimitry Andric // DICompositeType that does not have an identifier). Eventually we should 872fe6060f1SDimitry Andric // decouple ODR logic from uniquing logic. 8730b57cec5SDimitry Andric return IsDefinition == RHS->isDefinition() && Scope == RHS->getRawScope() && 8740b57cec5SDimitry Andric LinkageName == RHS->getRawLinkageName() && 8750b57cec5SDimitry Andric TemplateParams == RHS->getRawTemplateParams(); 8760b57cec5SDimitry Andric } 8770b57cec5SDimitry Andric }; 8780b57cec5SDimitry Andric 8790b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILexicalBlock> { 8800b57cec5SDimitry Andric Metadata *Scope; 8810b57cec5SDimitry Andric Metadata *File; 8820b57cec5SDimitry Andric unsigned Line; 8830b57cec5SDimitry Andric unsigned Column; 8840b57cec5SDimitry Andric 8850b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, Metadata *File, unsigned Line, unsigned Column) 8860b57cec5SDimitry Andric : Scope(Scope), File(File), Line(Line), Column(Column) {} 8870b57cec5SDimitry Andric MDNodeKeyImpl(const DILexicalBlock *N) 8880b57cec5SDimitry Andric : Scope(N->getRawScope()), File(N->getRawFile()), Line(N->getLine()), 8890b57cec5SDimitry Andric Column(N->getColumn()) {} 8900b57cec5SDimitry Andric 8910b57cec5SDimitry Andric bool isKeyOf(const DILexicalBlock *RHS) const { 8920b57cec5SDimitry Andric return Scope == RHS->getRawScope() && File == RHS->getRawFile() && 8930b57cec5SDimitry Andric Line == RHS->getLine() && Column == RHS->getColumn(); 8940b57cec5SDimitry Andric } 8950b57cec5SDimitry Andric 8960b57cec5SDimitry Andric unsigned getHashValue() const { 8970b57cec5SDimitry Andric return hash_combine(Scope, File, Line, Column); 8980b57cec5SDimitry Andric } 8990b57cec5SDimitry Andric }; 9000b57cec5SDimitry Andric 9010b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILexicalBlockFile> { 9020b57cec5SDimitry Andric Metadata *Scope; 9030b57cec5SDimitry Andric Metadata *File; 9040b57cec5SDimitry Andric unsigned Discriminator; 9050b57cec5SDimitry Andric 9060b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, Metadata *File, unsigned Discriminator) 9070b57cec5SDimitry Andric : Scope(Scope), File(File), Discriminator(Discriminator) {} 9080b57cec5SDimitry Andric MDNodeKeyImpl(const DILexicalBlockFile *N) 9090b57cec5SDimitry Andric : Scope(N->getRawScope()), File(N->getRawFile()), 9100b57cec5SDimitry Andric Discriminator(N->getDiscriminator()) {} 9110b57cec5SDimitry Andric 9120b57cec5SDimitry Andric bool isKeyOf(const DILexicalBlockFile *RHS) const { 9130b57cec5SDimitry Andric return Scope == RHS->getRawScope() && File == RHS->getRawFile() && 9140b57cec5SDimitry Andric Discriminator == RHS->getDiscriminator(); 9150b57cec5SDimitry Andric } 9160b57cec5SDimitry Andric 9170b57cec5SDimitry Andric unsigned getHashValue() const { 9180b57cec5SDimitry Andric return hash_combine(Scope, File, Discriminator); 9190b57cec5SDimitry Andric } 9200b57cec5SDimitry Andric }; 9210b57cec5SDimitry Andric 9220b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DINamespace> { 9230b57cec5SDimitry Andric Metadata *Scope; 9240b57cec5SDimitry Andric MDString *Name; 9250b57cec5SDimitry Andric bool ExportSymbols; 9260b57cec5SDimitry Andric 9270b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, bool ExportSymbols) 9280b57cec5SDimitry Andric : Scope(Scope), Name(Name), ExportSymbols(ExportSymbols) {} 9290b57cec5SDimitry Andric MDNodeKeyImpl(const DINamespace *N) 9300b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), 9310b57cec5SDimitry Andric ExportSymbols(N->getExportSymbols()) {} 9320b57cec5SDimitry Andric 9330b57cec5SDimitry Andric bool isKeyOf(const DINamespace *RHS) const { 9340b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 9350b57cec5SDimitry Andric ExportSymbols == RHS->getExportSymbols(); 9360b57cec5SDimitry Andric } 9370b57cec5SDimitry Andric 938349cc55cSDimitry Andric unsigned getHashValue() const { return hash_combine(Scope, Name); } 9390b57cec5SDimitry Andric }; 9400b57cec5SDimitry Andric 9410b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DICommonBlock> { 9420b57cec5SDimitry Andric Metadata *Scope; 9430b57cec5SDimitry Andric Metadata *Decl; 9440b57cec5SDimitry Andric MDString *Name; 9450b57cec5SDimitry Andric Metadata *File; 9460b57cec5SDimitry Andric unsigned LineNo; 9470b57cec5SDimitry Andric 948349cc55cSDimitry Andric MDNodeKeyImpl(Metadata *Scope, Metadata *Decl, MDString *Name, Metadata *File, 949349cc55cSDimitry Andric unsigned LineNo) 9500b57cec5SDimitry Andric : Scope(Scope), Decl(Decl), Name(Name), File(File), LineNo(LineNo) {} 9510b57cec5SDimitry Andric MDNodeKeyImpl(const DICommonBlock *N) 9520b57cec5SDimitry Andric : Scope(N->getRawScope()), Decl(N->getRawDecl()), Name(N->getRawName()), 9530b57cec5SDimitry Andric File(N->getRawFile()), LineNo(N->getLineNo()) {} 9540b57cec5SDimitry Andric 9550b57cec5SDimitry Andric bool isKeyOf(const DICommonBlock *RHS) const { 9560b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Decl == RHS->getRawDecl() && 9570b57cec5SDimitry Andric Name == RHS->getRawName() && File == RHS->getRawFile() && 9580b57cec5SDimitry Andric LineNo == RHS->getLineNo(); 9590b57cec5SDimitry Andric } 9600b57cec5SDimitry Andric 9610b57cec5SDimitry Andric unsigned getHashValue() const { 9620b57cec5SDimitry Andric return hash_combine(Scope, Decl, Name, File, LineNo); 9630b57cec5SDimitry Andric } 9640b57cec5SDimitry Andric }; 9650b57cec5SDimitry Andric 9660b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIModule> { 9675ffd83dbSDimitry Andric Metadata *File; 9680b57cec5SDimitry Andric Metadata *Scope; 9690b57cec5SDimitry Andric MDString *Name; 9700b57cec5SDimitry Andric MDString *ConfigurationMacros; 9710b57cec5SDimitry Andric MDString *IncludePath; 9725ffd83dbSDimitry Andric MDString *APINotesFile; 9735ffd83dbSDimitry Andric unsigned LineNo; 974e8d8bef9SDimitry Andric bool IsDecl; 9750b57cec5SDimitry Andric 9765ffd83dbSDimitry Andric MDNodeKeyImpl(Metadata *File, Metadata *Scope, MDString *Name, 9775ffd83dbSDimitry Andric MDString *ConfigurationMacros, MDString *IncludePath, 978e8d8bef9SDimitry Andric MDString *APINotesFile, unsigned LineNo, bool IsDecl) 9795ffd83dbSDimitry Andric : File(File), Scope(Scope), Name(Name), 9805ffd83dbSDimitry Andric ConfigurationMacros(ConfigurationMacros), IncludePath(IncludePath), 981e8d8bef9SDimitry Andric APINotesFile(APINotesFile), LineNo(LineNo), IsDecl(IsDecl) {} 9820b57cec5SDimitry Andric MDNodeKeyImpl(const DIModule *N) 9835ffd83dbSDimitry Andric : File(N->getRawFile()), Scope(N->getRawScope()), Name(N->getRawName()), 9840b57cec5SDimitry Andric ConfigurationMacros(N->getRawConfigurationMacros()), 9855ffd83dbSDimitry Andric IncludePath(N->getRawIncludePath()), 986e8d8bef9SDimitry Andric APINotesFile(N->getRawAPINotesFile()), LineNo(N->getLineNo()), 987e8d8bef9SDimitry Andric IsDecl(N->getIsDecl()) {} 9880b57cec5SDimitry Andric 9890b57cec5SDimitry Andric bool isKeyOf(const DIModule *RHS) const { 9900b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 9910b57cec5SDimitry Andric ConfigurationMacros == RHS->getRawConfigurationMacros() && 9920b57cec5SDimitry Andric IncludePath == RHS->getRawIncludePath() && 9935ffd83dbSDimitry Andric APINotesFile == RHS->getRawAPINotesFile() && 994e8d8bef9SDimitry Andric File == RHS->getRawFile() && LineNo == RHS->getLineNo() && 995e8d8bef9SDimitry Andric IsDecl == RHS->getIsDecl(); 9960b57cec5SDimitry Andric } 9970b57cec5SDimitry Andric 9980b57cec5SDimitry Andric unsigned getHashValue() const { 9995ffd83dbSDimitry Andric return hash_combine(Scope, Name, ConfigurationMacros, IncludePath); 10000b57cec5SDimitry Andric } 10010b57cec5SDimitry Andric }; 10020b57cec5SDimitry Andric 10030b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DITemplateTypeParameter> { 10040b57cec5SDimitry Andric MDString *Name; 10050b57cec5SDimitry Andric Metadata *Type; 10065ffd83dbSDimitry Andric bool IsDefault; 10070b57cec5SDimitry Andric 10085ffd83dbSDimitry Andric MDNodeKeyImpl(MDString *Name, Metadata *Type, bool IsDefault) 10095ffd83dbSDimitry Andric : Name(Name), Type(Type), IsDefault(IsDefault) {} 10100b57cec5SDimitry Andric MDNodeKeyImpl(const DITemplateTypeParameter *N) 10115ffd83dbSDimitry Andric : Name(N->getRawName()), Type(N->getRawType()), 10125ffd83dbSDimitry Andric IsDefault(N->isDefault()) {} 10130b57cec5SDimitry Andric 10140b57cec5SDimitry Andric bool isKeyOf(const DITemplateTypeParameter *RHS) const { 10155ffd83dbSDimitry Andric return Name == RHS->getRawName() && Type == RHS->getRawType() && 10165ffd83dbSDimitry Andric IsDefault == RHS->isDefault(); 10170b57cec5SDimitry Andric } 10180b57cec5SDimitry Andric 10195ffd83dbSDimitry Andric unsigned getHashValue() const { return hash_combine(Name, Type, IsDefault); } 10200b57cec5SDimitry Andric }; 10210b57cec5SDimitry Andric 10220b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DITemplateValueParameter> { 10230b57cec5SDimitry Andric unsigned Tag; 10240b57cec5SDimitry Andric MDString *Name; 10250b57cec5SDimitry Andric Metadata *Type; 10265ffd83dbSDimitry Andric bool IsDefault; 10270b57cec5SDimitry Andric Metadata *Value; 10280b57cec5SDimitry Andric 10295ffd83dbSDimitry Andric MDNodeKeyImpl(unsigned Tag, MDString *Name, Metadata *Type, bool IsDefault, 10305ffd83dbSDimitry Andric Metadata *Value) 10315ffd83dbSDimitry Andric : Tag(Tag), Name(Name), Type(Type), IsDefault(IsDefault), Value(Value) {} 10320b57cec5SDimitry Andric MDNodeKeyImpl(const DITemplateValueParameter *N) 10330b57cec5SDimitry Andric : Tag(N->getTag()), Name(N->getRawName()), Type(N->getRawType()), 10345ffd83dbSDimitry Andric IsDefault(N->isDefault()), Value(N->getValue()) {} 10350b57cec5SDimitry Andric 10360b57cec5SDimitry Andric bool isKeyOf(const DITemplateValueParameter *RHS) const { 10370b57cec5SDimitry Andric return Tag == RHS->getTag() && Name == RHS->getRawName() && 10385ffd83dbSDimitry Andric Type == RHS->getRawType() && IsDefault == RHS->isDefault() && 10395ffd83dbSDimitry Andric Value == RHS->getValue(); 10400b57cec5SDimitry Andric } 10410b57cec5SDimitry Andric 10425ffd83dbSDimitry Andric unsigned getHashValue() const { 10435ffd83dbSDimitry Andric return hash_combine(Tag, Name, Type, IsDefault, Value); 10445ffd83dbSDimitry Andric } 10450b57cec5SDimitry Andric }; 10460b57cec5SDimitry Andric 10470b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIGlobalVariable> { 10480b57cec5SDimitry Andric Metadata *Scope; 10490b57cec5SDimitry Andric MDString *Name; 10500b57cec5SDimitry Andric MDString *LinkageName; 10510b57cec5SDimitry Andric Metadata *File; 10520b57cec5SDimitry Andric unsigned Line; 10530b57cec5SDimitry Andric Metadata *Type; 10540b57cec5SDimitry Andric bool IsLocalToUnit; 10550b57cec5SDimitry Andric bool IsDefinition; 10560b57cec5SDimitry Andric Metadata *StaticDataMemberDeclaration; 10570b57cec5SDimitry Andric Metadata *TemplateParams; 10580b57cec5SDimitry Andric uint32_t AlignInBits; 1059349cc55cSDimitry Andric Metadata *Annotations; 10600b57cec5SDimitry Andric 10610b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, MDString *LinkageName, 10620b57cec5SDimitry Andric Metadata *File, unsigned Line, Metadata *Type, 10630b57cec5SDimitry Andric bool IsLocalToUnit, bool IsDefinition, 10640b57cec5SDimitry Andric Metadata *StaticDataMemberDeclaration, Metadata *TemplateParams, 1065349cc55cSDimitry Andric uint32_t AlignInBits, Metadata *Annotations) 10660b57cec5SDimitry Andric : Scope(Scope), Name(Name), LinkageName(LinkageName), File(File), 10670b57cec5SDimitry Andric Line(Line), Type(Type), IsLocalToUnit(IsLocalToUnit), 10680b57cec5SDimitry Andric IsDefinition(IsDefinition), 10690b57cec5SDimitry Andric StaticDataMemberDeclaration(StaticDataMemberDeclaration), 1070349cc55cSDimitry Andric TemplateParams(TemplateParams), AlignInBits(AlignInBits), 1071349cc55cSDimitry Andric Annotations(Annotations) {} 10720b57cec5SDimitry Andric MDNodeKeyImpl(const DIGlobalVariable *N) 10730b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), 10740b57cec5SDimitry Andric LinkageName(N->getRawLinkageName()), File(N->getRawFile()), 10750b57cec5SDimitry Andric Line(N->getLine()), Type(N->getRawType()), 10760b57cec5SDimitry Andric IsLocalToUnit(N->isLocalToUnit()), IsDefinition(N->isDefinition()), 10770b57cec5SDimitry Andric StaticDataMemberDeclaration(N->getRawStaticDataMemberDeclaration()), 10780b57cec5SDimitry Andric TemplateParams(N->getRawTemplateParams()), 1079349cc55cSDimitry Andric AlignInBits(N->getAlignInBits()), Annotations(N->getRawAnnotations()) {} 10800b57cec5SDimitry Andric 10810b57cec5SDimitry Andric bool isKeyOf(const DIGlobalVariable *RHS) const { 10820b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 10830b57cec5SDimitry Andric LinkageName == RHS->getRawLinkageName() && 10840b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 10850b57cec5SDimitry Andric Type == RHS->getRawType() && IsLocalToUnit == RHS->isLocalToUnit() && 10860b57cec5SDimitry Andric IsDefinition == RHS->isDefinition() && 10870b57cec5SDimitry Andric StaticDataMemberDeclaration == 10880b57cec5SDimitry Andric RHS->getRawStaticDataMemberDeclaration() && 10890b57cec5SDimitry Andric TemplateParams == RHS->getRawTemplateParams() && 1090349cc55cSDimitry Andric AlignInBits == RHS->getAlignInBits() && 1091349cc55cSDimitry Andric Annotations == RHS->getRawAnnotations(); 10920b57cec5SDimitry Andric } 10930b57cec5SDimitry Andric 10940b57cec5SDimitry Andric unsigned getHashValue() const { 10950b57cec5SDimitry Andric // We do not use AlignInBits in hashing function here on purpose: 10960b57cec5SDimitry Andric // in most cases this param for local variable is zero (for function param 10970b57cec5SDimitry Andric // it is always zero). This leads to lots of hash collisions and errors on 10980b57cec5SDimitry Andric // cases with lots of similar variables. 10990b57cec5SDimitry Andric // clang/test/CodeGen/debug-info-257-args.c is an example of this problem, 11000b57cec5SDimitry Andric // generated IR is random for each run and test fails with Align included. 11010b57cec5SDimitry Andric // TODO: make hashing work fine with such situations 11020b57cec5SDimitry Andric return hash_combine(Scope, Name, LinkageName, File, Line, Type, 11030b57cec5SDimitry Andric IsLocalToUnit, IsDefinition, /* AlignInBits, */ 1104349cc55cSDimitry Andric StaticDataMemberDeclaration, Annotations); 11050b57cec5SDimitry Andric } 11060b57cec5SDimitry Andric }; 11070b57cec5SDimitry Andric 11080b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILocalVariable> { 11090b57cec5SDimitry Andric Metadata *Scope; 11100b57cec5SDimitry Andric MDString *Name; 11110b57cec5SDimitry Andric Metadata *File; 11120b57cec5SDimitry Andric unsigned Line; 11130b57cec5SDimitry Andric Metadata *Type; 11140b57cec5SDimitry Andric unsigned Arg; 11150b57cec5SDimitry Andric unsigned Flags; 11160b57cec5SDimitry Andric uint32_t AlignInBits; 1117349cc55cSDimitry Andric Metadata *Annotations; 11180b57cec5SDimitry Andric 11190b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, Metadata *File, unsigned Line, 11200b57cec5SDimitry Andric Metadata *Type, unsigned Arg, unsigned Flags, 1121349cc55cSDimitry Andric uint32_t AlignInBits, Metadata *Annotations) 11220b57cec5SDimitry Andric : Scope(Scope), Name(Name), File(File), Line(Line), Type(Type), Arg(Arg), 1123349cc55cSDimitry Andric Flags(Flags), AlignInBits(AlignInBits), Annotations(Annotations) {} 11240b57cec5SDimitry Andric MDNodeKeyImpl(const DILocalVariable *N) 11250b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), File(N->getRawFile()), 11260b57cec5SDimitry Andric Line(N->getLine()), Type(N->getRawType()), Arg(N->getArg()), 1127349cc55cSDimitry Andric Flags(N->getFlags()), AlignInBits(N->getAlignInBits()), 1128349cc55cSDimitry Andric Annotations(N->getRawAnnotations()) {} 11290b57cec5SDimitry Andric 11300b57cec5SDimitry Andric bool isKeyOf(const DILocalVariable *RHS) const { 11310b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 11320b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine() && 11330b57cec5SDimitry Andric Type == RHS->getRawType() && Arg == RHS->getArg() && 1134349cc55cSDimitry Andric Flags == RHS->getFlags() && AlignInBits == RHS->getAlignInBits() && 1135349cc55cSDimitry Andric Annotations == RHS->getRawAnnotations(); 11360b57cec5SDimitry Andric } 11370b57cec5SDimitry Andric 11380b57cec5SDimitry Andric unsigned getHashValue() const { 11390b57cec5SDimitry Andric // We do not use AlignInBits in hashing function here on purpose: 11400b57cec5SDimitry Andric // in most cases this param for local variable is zero (for function param 11410b57cec5SDimitry Andric // it is always zero). This leads to lots of hash collisions and errors on 11420b57cec5SDimitry Andric // cases with lots of similar variables. 11430b57cec5SDimitry Andric // clang/test/CodeGen/debug-info-257-args.c is an example of this problem, 11440b57cec5SDimitry Andric // generated IR is random for each run and test fails with Align included. 11450b57cec5SDimitry Andric // TODO: make hashing work fine with such situations 1146349cc55cSDimitry Andric return hash_combine(Scope, Name, File, Line, Type, Arg, Flags, Annotations); 11470b57cec5SDimitry Andric } 11480b57cec5SDimitry Andric }; 11490b57cec5SDimitry Andric 11500b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DILabel> { 11510b57cec5SDimitry Andric Metadata *Scope; 11520b57cec5SDimitry Andric MDString *Name; 11530b57cec5SDimitry Andric Metadata *File; 11540b57cec5SDimitry Andric unsigned Line; 11550b57cec5SDimitry Andric 11560b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Scope, MDString *Name, Metadata *File, unsigned Line) 11570b57cec5SDimitry Andric : Scope(Scope), Name(Name), File(File), Line(Line) {} 11580b57cec5SDimitry Andric MDNodeKeyImpl(const DILabel *N) 11590b57cec5SDimitry Andric : Scope(N->getRawScope()), Name(N->getRawName()), File(N->getRawFile()), 11600b57cec5SDimitry Andric Line(N->getLine()) {} 11610b57cec5SDimitry Andric 11620b57cec5SDimitry Andric bool isKeyOf(const DILabel *RHS) const { 11630b57cec5SDimitry Andric return Scope == RHS->getRawScope() && Name == RHS->getRawName() && 11640b57cec5SDimitry Andric File == RHS->getRawFile() && Line == RHS->getLine(); 11650b57cec5SDimitry Andric } 11660b57cec5SDimitry Andric 11670b57cec5SDimitry Andric /// Using name and line to get hash value. It should already be mostly unique. 1168349cc55cSDimitry Andric unsigned getHashValue() const { return hash_combine(Scope, Name, Line); } 11690b57cec5SDimitry Andric }; 11700b57cec5SDimitry Andric 11710b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIExpression> { 11720b57cec5SDimitry Andric ArrayRef<uint64_t> Elements; 11730b57cec5SDimitry Andric 11740b57cec5SDimitry Andric MDNodeKeyImpl(ArrayRef<uint64_t> Elements) : Elements(Elements) {} 11750b57cec5SDimitry Andric MDNodeKeyImpl(const DIExpression *N) : Elements(N->getElements()) {} 11760b57cec5SDimitry Andric 11770b57cec5SDimitry Andric bool isKeyOf(const DIExpression *RHS) const { 11780b57cec5SDimitry Andric return Elements == RHS->getElements(); 11790b57cec5SDimitry Andric } 11800b57cec5SDimitry Andric 11810b57cec5SDimitry Andric unsigned getHashValue() const { 11820b57cec5SDimitry Andric return hash_combine_range(Elements.begin(), Elements.end()); 11830b57cec5SDimitry Andric } 11840b57cec5SDimitry Andric }; 11850b57cec5SDimitry Andric 11860b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIGlobalVariableExpression> { 11870b57cec5SDimitry Andric Metadata *Variable; 11880b57cec5SDimitry Andric Metadata *Expression; 11890b57cec5SDimitry Andric 11900b57cec5SDimitry Andric MDNodeKeyImpl(Metadata *Variable, Metadata *Expression) 11910b57cec5SDimitry Andric : Variable(Variable), Expression(Expression) {} 11920b57cec5SDimitry Andric MDNodeKeyImpl(const DIGlobalVariableExpression *N) 11930b57cec5SDimitry Andric : Variable(N->getRawVariable()), Expression(N->getRawExpression()) {} 11940b57cec5SDimitry Andric 11950b57cec5SDimitry Andric bool isKeyOf(const DIGlobalVariableExpression *RHS) const { 11960b57cec5SDimitry Andric return Variable == RHS->getRawVariable() && 11970b57cec5SDimitry Andric Expression == RHS->getRawExpression(); 11980b57cec5SDimitry Andric } 11990b57cec5SDimitry Andric 12000b57cec5SDimitry Andric unsigned getHashValue() const { return hash_combine(Variable, Expression); } 12010b57cec5SDimitry Andric }; 12020b57cec5SDimitry Andric 12030b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIObjCProperty> { 12040b57cec5SDimitry Andric MDString *Name; 12050b57cec5SDimitry Andric Metadata *File; 12060b57cec5SDimitry Andric unsigned Line; 12070b57cec5SDimitry Andric MDString *GetterName; 12080b57cec5SDimitry Andric MDString *SetterName; 12090b57cec5SDimitry Andric unsigned Attributes; 12100b57cec5SDimitry Andric Metadata *Type; 12110b57cec5SDimitry Andric 12120b57cec5SDimitry Andric MDNodeKeyImpl(MDString *Name, Metadata *File, unsigned Line, 12130b57cec5SDimitry Andric MDString *GetterName, MDString *SetterName, unsigned Attributes, 12140b57cec5SDimitry Andric Metadata *Type) 12150b57cec5SDimitry Andric : Name(Name), File(File), Line(Line), GetterName(GetterName), 12160b57cec5SDimitry Andric SetterName(SetterName), Attributes(Attributes), Type(Type) {} 12170b57cec5SDimitry Andric MDNodeKeyImpl(const DIObjCProperty *N) 12180b57cec5SDimitry Andric : Name(N->getRawName()), File(N->getRawFile()), Line(N->getLine()), 12190b57cec5SDimitry Andric GetterName(N->getRawGetterName()), SetterName(N->getRawSetterName()), 12200b57cec5SDimitry Andric Attributes(N->getAttributes()), Type(N->getRawType()) {} 12210b57cec5SDimitry Andric 12220b57cec5SDimitry Andric bool isKeyOf(const DIObjCProperty *RHS) const { 12230b57cec5SDimitry Andric return Name == RHS->getRawName() && File == RHS->getRawFile() && 12240b57cec5SDimitry Andric Line == RHS->getLine() && GetterName == RHS->getRawGetterName() && 12250b57cec5SDimitry Andric SetterName == RHS->getRawSetterName() && 12260b57cec5SDimitry Andric Attributes == RHS->getAttributes() && Type == RHS->getRawType(); 12270b57cec5SDimitry Andric } 12280b57cec5SDimitry Andric 12290b57cec5SDimitry Andric unsigned getHashValue() const { 12300b57cec5SDimitry Andric return hash_combine(Name, File, Line, GetterName, SetterName, Attributes, 12310b57cec5SDimitry Andric Type); 12320b57cec5SDimitry Andric } 12330b57cec5SDimitry Andric }; 12340b57cec5SDimitry Andric 12350b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIImportedEntity> { 12360b57cec5SDimitry Andric unsigned Tag; 12370b57cec5SDimitry Andric Metadata *Scope; 12380b57cec5SDimitry Andric Metadata *Entity; 12390b57cec5SDimitry Andric Metadata *File; 12400b57cec5SDimitry Andric unsigned Line; 12410b57cec5SDimitry Andric MDString *Name; 1242349cc55cSDimitry Andric Metadata *Elements; 12430b57cec5SDimitry Andric 12440b57cec5SDimitry Andric MDNodeKeyImpl(unsigned Tag, Metadata *Scope, Metadata *Entity, Metadata *File, 1245349cc55cSDimitry Andric unsigned Line, MDString *Name, Metadata *Elements) 12460b57cec5SDimitry Andric : Tag(Tag), Scope(Scope), Entity(Entity), File(File), Line(Line), 1247349cc55cSDimitry Andric Name(Name), Elements(Elements) {} 12480b57cec5SDimitry Andric MDNodeKeyImpl(const DIImportedEntity *N) 12490b57cec5SDimitry Andric : Tag(N->getTag()), Scope(N->getRawScope()), Entity(N->getRawEntity()), 1250349cc55cSDimitry Andric File(N->getRawFile()), Line(N->getLine()), Name(N->getRawName()), 1251349cc55cSDimitry Andric Elements(N->getRawElements()) {} 12520b57cec5SDimitry Andric 12530b57cec5SDimitry Andric bool isKeyOf(const DIImportedEntity *RHS) const { 12540b57cec5SDimitry Andric return Tag == RHS->getTag() && Scope == RHS->getRawScope() && 12550b57cec5SDimitry Andric Entity == RHS->getRawEntity() && File == RHS->getFile() && 1256349cc55cSDimitry Andric Line == RHS->getLine() && Name == RHS->getRawName() && 1257349cc55cSDimitry Andric Elements == RHS->getRawElements(); 12580b57cec5SDimitry Andric } 12590b57cec5SDimitry Andric 12600b57cec5SDimitry Andric unsigned getHashValue() const { 1261349cc55cSDimitry Andric return hash_combine(Tag, Scope, Entity, File, Line, Name, Elements); 12620b57cec5SDimitry Andric } 12630b57cec5SDimitry Andric }; 12640b57cec5SDimitry Andric 12650b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIMacro> { 12660b57cec5SDimitry Andric unsigned MIType; 12670b57cec5SDimitry Andric unsigned Line; 12680b57cec5SDimitry Andric MDString *Name; 12690b57cec5SDimitry Andric MDString *Value; 12700b57cec5SDimitry Andric 12710b57cec5SDimitry Andric MDNodeKeyImpl(unsigned MIType, unsigned Line, MDString *Name, MDString *Value) 12720b57cec5SDimitry Andric : MIType(MIType), Line(Line), Name(Name), Value(Value) {} 12730b57cec5SDimitry Andric MDNodeKeyImpl(const DIMacro *N) 12740b57cec5SDimitry Andric : MIType(N->getMacinfoType()), Line(N->getLine()), Name(N->getRawName()), 12750b57cec5SDimitry Andric Value(N->getRawValue()) {} 12760b57cec5SDimitry Andric 12770b57cec5SDimitry Andric bool isKeyOf(const DIMacro *RHS) const { 12780b57cec5SDimitry Andric return MIType == RHS->getMacinfoType() && Line == RHS->getLine() && 12790b57cec5SDimitry Andric Name == RHS->getRawName() && Value == RHS->getRawValue(); 12800b57cec5SDimitry Andric } 12810b57cec5SDimitry Andric 12820b57cec5SDimitry Andric unsigned getHashValue() const { 12830b57cec5SDimitry Andric return hash_combine(MIType, Line, Name, Value); 12840b57cec5SDimitry Andric } 12850b57cec5SDimitry Andric }; 12860b57cec5SDimitry Andric 12870b57cec5SDimitry Andric template <> struct MDNodeKeyImpl<DIMacroFile> { 12880b57cec5SDimitry Andric unsigned MIType; 12890b57cec5SDimitry Andric unsigned Line; 12900b57cec5SDimitry Andric Metadata *File; 12910b57cec5SDimitry Andric Metadata *Elements; 12920b57cec5SDimitry Andric 12930b57cec5SDimitry Andric MDNodeKeyImpl(unsigned MIType, unsigned Line, Metadata *File, 12940b57cec5SDimitry Andric Metadata *Elements) 12950b57cec5SDimitry Andric : MIType(MIType), Line(Line), File(File), Elements(Elements) {} 12960b57cec5SDimitry Andric MDNodeKeyImpl(const DIMacroFile *N) 12970b57cec5SDimitry Andric : MIType(N->getMacinfoType()), Line(N->getLine()), File(N->getRawFile()), 12980b57cec5SDimitry Andric Elements(N->getRawElements()) {} 12990b57cec5SDimitry Andric 13000b57cec5SDimitry Andric bool isKeyOf(const DIMacroFile *RHS) const { 13010b57cec5SDimitry Andric return MIType == RHS->getMacinfoType() && Line == RHS->getLine() && 13020b57cec5SDimitry Andric File == RHS->getRawFile() && Elements == RHS->getRawElements(); 13030b57cec5SDimitry Andric } 13040b57cec5SDimitry Andric 13050b57cec5SDimitry Andric unsigned getHashValue() const { 13060b57cec5SDimitry Andric return hash_combine(MIType, Line, File, Elements); 13070b57cec5SDimitry Andric } 13080b57cec5SDimitry Andric }; 13090b57cec5SDimitry Andric 1310fe6060f1SDimitry Andric template <> struct MDNodeKeyImpl<DIArgList> { 1311fe6060f1SDimitry Andric ArrayRef<ValueAsMetadata *> Args; 1312fe6060f1SDimitry Andric 1313fe6060f1SDimitry Andric MDNodeKeyImpl(ArrayRef<ValueAsMetadata *> Args) : Args(Args) {} 1314fe6060f1SDimitry Andric MDNodeKeyImpl(const DIArgList *N) : Args(N->getArgs()) {} 1315fe6060f1SDimitry Andric 1316fe6060f1SDimitry Andric bool isKeyOf(const DIArgList *RHS) const { return Args == RHS->getArgs(); } 1317fe6060f1SDimitry Andric 1318fe6060f1SDimitry Andric unsigned getHashValue() const { 1319fe6060f1SDimitry Andric return hash_combine_range(Args.begin(), Args.end()); 1320fe6060f1SDimitry Andric } 1321fe6060f1SDimitry Andric }; 1322fe6060f1SDimitry Andric 13230b57cec5SDimitry Andric /// DenseMapInfo for MDNode subclasses. 13240b57cec5SDimitry Andric template <class NodeTy> struct MDNodeInfo { 13250b57cec5SDimitry Andric using KeyTy = MDNodeKeyImpl<NodeTy>; 13260b57cec5SDimitry Andric using SubsetEqualTy = MDNodeSubsetEqualImpl<NodeTy>; 13270b57cec5SDimitry Andric 13280b57cec5SDimitry Andric static inline NodeTy *getEmptyKey() { 13290b57cec5SDimitry Andric return DenseMapInfo<NodeTy *>::getEmptyKey(); 13300b57cec5SDimitry Andric } 13310b57cec5SDimitry Andric 13320b57cec5SDimitry Andric static inline NodeTy *getTombstoneKey() { 13330b57cec5SDimitry Andric return DenseMapInfo<NodeTy *>::getTombstoneKey(); 13340b57cec5SDimitry Andric } 13350b57cec5SDimitry Andric 13360b57cec5SDimitry Andric static unsigned getHashValue(const KeyTy &Key) { return Key.getHashValue(); } 13370b57cec5SDimitry Andric 13380b57cec5SDimitry Andric static unsigned getHashValue(const NodeTy *N) { 13390b57cec5SDimitry Andric return KeyTy(N).getHashValue(); 13400b57cec5SDimitry Andric } 13410b57cec5SDimitry Andric 13420b57cec5SDimitry Andric static bool isEqual(const KeyTy &LHS, const NodeTy *RHS) { 13430b57cec5SDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 13440b57cec5SDimitry Andric return false; 13450b57cec5SDimitry Andric return SubsetEqualTy::isSubsetEqual(LHS, RHS) || LHS.isKeyOf(RHS); 13460b57cec5SDimitry Andric } 13470b57cec5SDimitry Andric 13480b57cec5SDimitry Andric static bool isEqual(const NodeTy *LHS, const NodeTy *RHS) { 13490b57cec5SDimitry Andric if (LHS == RHS) 13500b57cec5SDimitry Andric return true; 13510b57cec5SDimitry Andric if (RHS == getEmptyKey() || RHS == getTombstoneKey()) 13520b57cec5SDimitry Andric return false; 13530b57cec5SDimitry Andric return SubsetEqualTy::isSubsetEqual(LHS, RHS); 13540b57cec5SDimitry Andric } 13550b57cec5SDimitry Andric }; 13560b57cec5SDimitry Andric 13570b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS) using CLASS##Info = MDNodeInfo<CLASS>; 13580b57cec5SDimitry Andric #include "llvm/IR/Metadata.def" 13590b57cec5SDimitry Andric 1360e8d8bef9SDimitry Andric /// Multimap-like storage for metadata attachments. 1361e8d8bef9SDimitry Andric class MDAttachments { 1362e8d8bef9SDimitry Andric public: 1363e8d8bef9SDimitry Andric struct Attachment { 1364e8d8bef9SDimitry Andric unsigned MDKind; 1365e8d8bef9SDimitry Andric TrackingMDNodeRef Node; 1366e8d8bef9SDimitry Andric }; 1367e8d8bef9SDimitry Andric 1368e8d8bef9SDimitry Andric private: 1369e8d8bef9SDimitry Andric SmallVector<Attachment, 1> Attachments; 13700b57cec5SDimitry Andric 13710b57cec5SDimitry Andric public: 13720b57cec5SDimitry Andric bool empty() const { return Attachments.empty(); } 13730b57cec5SDimitry Andric size_t size() const { return Attachments.size(); } 13740b57cec5SDimitry Andric 1375e8d8bef9SDimitry Andric /// Returns the first attachment with the given ID or nullptr if no such 1376e8d8bef9SDimitry Andric /// attachment exists. 13770b57cec5SDimitry Andric MDNode *lookup(unsigned ID) const; 13780b57cec5SDimitry Andric 13790b57cec5SDimitry Andric /// Appends all attachments with the given ID to \c Result in insertion order. 13800b57cec5SDimitry Andric /// If the global has no attachments with the given ID, or if ID is invalid, 13810b57cec5SDimitry Andric /// leaves Result unchanged. 13820b57cec5SDimitry Andric void get(unsigned ID, SmallVectorImpl<MDNode *> &Result) const; 13830b57cec5SDimitry Andric 13840b57cec5SDimitry Andric /// Appends all attachments for the global to \c Result, sorting by attachment 13850b57cec5SDimitry Andric /// ID. Attachments with the same ID appear in insertion order. This function 13860b57cec5SDimitry Andric /// does \em not clear \c Result. 13870b57cec5SDimitry Andric void getAll(SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const; 1388e8d8bef9SDimitry Andric 1389e8d8bef9SDimitry Andric /// Set an attachment to a particular node. 1390e8d8bef9SDimitry Andric /// 1391e8d8bef9SDimitry Andric /// Set the \c ID attachment to \c MD, replacing the current attachments at \c 1392e8d8bef9SDimitry Andric /// ID (if anyway). 1393e8d8bef9SDimitry Andric void set(unsigned ID, MDNode *MD); 1394e8d8bef9SDimitry Andric 1395e8d8bef9SDimitry Andric /// Adds an attachment to a particular node. 1396e8d8bef9SDimitry Andric void insert(unsigned ID, MDNode &MD); 1397e8d8bef9SDimitry Andric 1398e8d8bef9SDimitry Andric /// Remove attachments with the given ID. 1399e8d8bef9SDimitry Andric /// 1400e8d8bef9SDimitry Andric /// Remove the attachments at \c ID, if any. 1401e8d8bef9SDimitry Andric bool erase(unsigned ID); 1402e8d8bef9SDimitry Andric 1403e8d8bef9SDimitry Andric /// Erase matching attachments. 1404e8d8bef9SDimitry Andric /// 1405e8d8bef9SDimitry Andric /// Erases all attachments matching the \c shouldRemove predicate. 1406e8d8bef9SDimitry Andric template <class PredTy> void remove_if(PredTy shouldRemove) { 1407e8d8bef9SDimitry Andric llvm::erase_if(Attachments, shouldRemove); 1408e8d8bef9SDimitry Andric } 14090b57cec5SDimitry Andric }; 14100b57cec5SDimitry Andric 14110b57cec5SDimitry Andric class LLVMContextImpl { 14120b57cec5SDimitry Andric public: 14130b57cec5SDimitry Andric /// OwnedModules - The set of modules instantiated in this context, and which 14140b57cec5SDimitry Andric /// will be automatically deleted if this context is deleted. 14150b57cec5SDimitry Andric SmallPtrSet<Module *, 4> OwnedModules; 14160b57cec5SDimitry Andric 14175ffd83dbSDimitry Andric /// The main remark streamer used by all the other streamers (e.g. IR, MIR, 14185ffd83dbSDimitry Andric /// frontends, etc.). This should only be used by the specific streamers, and 14195ffd83dbSDimitry Andric /// never directly. 14205ffd83dbSDimitry Andric std::unique_ptr<remarks::RemarkStreamer> MainRemarkStreamer; 14215ffd83dbSDimitry Andric 14220b57cec5SDimitry Andric std::unique_ptr<DiagnosticHandler> DiagHandler; 14230b57cec5SDimitry Andric bool RespectDiagnosticFilters = false; 14240b57cec5SDimitry Andric bool DiagnosticsHotnessRequested = false; 1425e8d8bef9SDimitry Andric /// The minimum hotness value a diagnostic needs in order to be included in 1426e8d8bef9SDimitry Andric /// optimization diagnostics. 1427e8d8bef9SDimitry Andric /// 1428e8d8bef9SDimitry Andric /// The threshold is an Optional value, which maps to one of the 3 states: 1429e8d8bef9SDimitry Andric /// 1). 0 => threshold disabled. All emarks will be printed. 1430e8d8bef9SDimitry Andric /// 2). positive int => manual threshold by user. Remarks with hotness exceed 1431e8d8bef9SDimitry Andric /// threshold will be printed. 1432e8d8bef9SDimitry Andric /// 3). None => 'auto' threshold by user. The actual value is not 1433e8d8bef9SDimitry Andric /// available at command line, but will be synced with 1434e8d8bef9SDimitry Andric /// hotness threhold from profile summary during 1435e8d8bef9SDimitry Andric /// compilation. 1436e8d8bef9SDimitry Andric /// 1437e8d8bef9SDimitry Andric /// State 1 and 2 are considered as terminal states. State transition is 1438e8d8bef9SDimitry Andric /// only allowed from 3 to 2, when the threshold is first synced with profile 1439e8d8bef9SDimitry Andric /// summary. This ensures that the threshold is set only once and stays 1440e8d8bef9SDimitry Andric /// constant. 1441e8d8bef9SDimitry Andric /// 1442e8d8bef9SDimitry Andric /// If threshold option is not specified, it is disabled (0) by default. 1443bdd1243dSDimitry Andric std::optional<uint64_t> DiagnosticsHotnessThreshold = 0; 1444e8d8bef9SDimitry Andric 144581ad6265SDimitry Andric /// The percentage of difference between profiling branch weights and 1446bdd1243dSDimitry Andric /// llvm.expect branch weights to tolerate when emiting MisExpect diagnostics 1447bdd1243dSDimitry Andric std::optional<uint32_t> DiagnosticsMisExpectTolerance = 0; 144881ad6265SDimitry Andric bool MisExpectWarningRequested = false; 144981ad6265SDimitry Andric 14505ffd83dbSDimitry Andric /// The specialized remark streamer used by LLVM's OptimizationRemarkEmitter. 14515ffd83dbSDimitry Andric std::unique_ptr<LLVMRemarkStreamer> LLVMRS; 14520b57cec5SDimitry Andric 14530b57cec5SDimitry Andric LLVMContext::YieldCallbackTy YieldCallback = nullptr; 14540b57cec5SDimitry Andric void *YieldOpaqueHandle = nullptr; 14550b57cec5SDimitry Andric 145681ad6265SDimitry Andric DenseMap<const Value *, ValueName *> ValueNames; 145781ad6265SDimitry Andric 1458*06c3fb27SDimitry Andric DenseMap<unsigned, std::unique_ptr<ConstantInt>> IntZeroConstants; 1459*06c3fb27SDimitry Andric DenseMap<unsigned, std::unique_ptr<ConstantInt>> IntOneConstants; 1460*06c3fb27SDimitry Andric DenseMap<APInt, std::unique_ptr<ConstantInt>, DenseMapAPIntKeyInfo> 1461*06c3fb27SDimitry Andric IntConstants; 14620b57cec5SDimitry Andric 1463*06c3fb27SDimitry Andric DenseMap<APFloat, std::unique_ptr<ConstantFP>, DenseMapAPFloatKeyInfo> 1464*06c3fb27SDimitry Andric FPConstants; 14650b57cec5SDimitry Andric 14660b57cec5SDimitry Andric FoldingSet<AttributeImpl> AttrsSet; 14670b57cec5SDimitry Andric FoldingSet<AttributeListImpl> AttrsLists; 14680b57cec5SDimitry Andric FoldingSet<AttributeSetNode> AttrsSetNodes; 14690b57cec5SDimitry Andric 14700b57cec5SDimitry Andric StringMap<MDString, BumpPtrAllocator> MDStringCache; 14710b57cec5SDimitry Andric DenseMap<Value *, ValueAsMetadata *> ValuesAsMetadata; 14720b57cec5SDimitry Andric DenseMap<Metadata *, MetadataAsValue *> MetadataAsValues; 14730b57cec5SDimitry Andric 14740b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS) \ 14750b57cec5SDimitry Andric DenseSet<CLASS *, CLASS##Info> CLASS##s; 14760b57cec5SDimitry Andric #include "llvm/IR/Metadata.def" 14770b57cec5SDimitry Andric 14780b57cec5SDimitry Andric // Optional map for looking up composite types by identifier. 1479bdd1243dSDimitry Andric std::optional<DenseMap<const MDString *, DICompositeType *>> DITypeMap; 14800b57cec5SDimitry Andric 14810b57cec5SDimitry Andric // MDNodes may be uniqued or not uniqued. When they're not uniqued, they 14820b57cec5SDimitry Andric // aren't in the MDNodeSet, but they're still shared between objects, so no 14830b57cec5SDimitry Andric // one object can destroy them. Keep track of them here so we can delete 14840b57cec5SDimitry Andric // them on context teardown. 14850b57cec5SDimitry Andric std::vector<MDNode *> DistinctMDNodes; 14860b57cec5SDimitry Andric 14870b57cec5SDimitry Andric DenseMap<Type *, std::unique_ptr<ConstantAggregateZero>> CAZConstants; 14880b57cec5SDimitry Andric 14890b57cec5SDimitry Andric using ArrayConstantsTy = ConstantUniqueMap<ConstantArray>; 14900b57cec5SDimitry Andric ArrayConstantsTy ArrayConstants; 14910b57cec5SDimitry Andric 14920b57cec5SDimitry Andric using StructConstantsTy = ConstantUniqueMap<ConstantStruct>; 14930b57cec5SDimitry Andric StructConstantsTy StructConstants; 14940b57cec5SDimitry Andric 14950b57cec5SDimitry Andric using VectorConstantsTy = ConstantUniqueMap<ConstantVector>; 14960b57cec5SDimitry Andric VectorConstantsTy VectorConstants; 14970b57cec5SDimitry Andric 14980b57cec5SDimitry Andric DenseMap<PointerType *, std::unique_ptr<ConstantPointerNull>> CPNConstants; 14990b57cec5SDimitry Andric 1500bdd1243dSDimitry Andric DenseMap<TargetExtType *, std::unique_ptr<ConstantTargetNone>> CTNConstants; 1501bdd1243dSDimitry Andric 15020b57cec5SDimitry Andric DenseMap<Type *, std::unique_ptr<UndefValue>> UVConstants; 15030b57cec5SDimitry Andric 1504e8d8bef9SDimitry Andric DenseMap<Type *, std::unique_ptr<PoisonValue>> PVConstants; 1505e8d8bef9SDimitry Andric 1506e8d8bef9SDimitry Andric StringMap<std::unique_ptr<ConstantDataSequential>> CDSConstants; 15070b57cec5SDimitry Andric 15080b57cec5SDimitry Andric DenseMap<std::pair<const Function *, const BasicBlock *>, BlockAddress *> 15090b57cec5SDimitry Andric BlockAddresses; 1510e8d8bef9SDimitry Andric 1511e8d8bef9SDimitry Andric DenseMap<const GlobalValue *, DSOLocalEquivalent *> DSOLocalEquivalents; 1512e8d8bef9SDimitry Andric 15130eae32dcSDimitry Andric DenseMap<const GlobalValue *, NoCFIValue *> NoCFIValues; 15140eae32dcSDimitry Andric 15150b57cec5SDimitry Andric ConstantUniqueMap<ConstantExpr> ExprConstants; 15160b57cec5SDimitry Andric 15170b57cec5SDimitry Andric ConstantUniqueMap<InlineAsm> InlineAsms; 15180b57cec5SDimitry Andric 15190b57cec5SDimitry Andric ConstantInt *TheTrueVal = nullptr; 15200b57cec5SDimitry Andric ConstantInt *TheFalseVal = nullptr; 15210b57cec5SDimitry Andric 15220b57cec5SDimitry Andric // Basic type instances. 15235ffd83dbSDimitry Andric Type VoidTy, LabelTy, HalfTy, BFloatTy, FloatTy, DoubleTy, MetadataTy, 15245ffd83dbSDimitry Andric TokenTy; 1525e8d8bef9SDimitry Andric Type X86_FP80Ty, FP128Ty, PPC_FP128Ty, X86_MMXTy, X86_AMXTy; 15260b57cec5SDimitry Andric IntegerType Int1Ty, Int8Ty, Int16Ty, Int32Ty, Int64Ty, Int128Ty; 15270b57cec5SDimitry Andric 152881ad6265SDimitry Andric std::unique_ptr<ConstantTokenNone> TheNoneToken; 152981ad6265SDimitry Andric 15300b57cec5SDimitry Andric BumpPtrAllocator Alloc; 15310b57cec5SDimitry Andric UniqueStringSaver Saver{Alloc}; 15320b57cec5SDimitry Andric 15330b57cec5SDimitry Andric DenseMap<unsigned, IntegerType *> IntegerTypes; 15340b57cec5SDimitry Andric 15350b57cec5SDimitry Andric using FunctionTypeSet = DenseSet<FunctionType *, FunctionTypeKeyInfo>; 15360b57cec5SDimitry Andric FunctionTypeSet FunctionTypes; 15370b57cec5SDimitry Andric using StructTypeSet = DenseSet<StructType *, AnonStructTypeKeyInfo>; 15380b57cec5SDimitry Andric StructTypeSet AnonStructTypes; 15390b57cec5SDimitry Andric StringMap<StructType *> NamedStructTypes; 15400b57cec5SDimitry Andric unsigned NamedStructTypesUniqueID = 0; 15410b57cec5SDimitry Andric 1542bdd1243dSDimitry Andric using TargetExtTypeSet = DenseSet<TargetExtType *, TargetExtTypeKeyInfo>; 1543bdd1243dSDimitry Andric TargetExtTypeSet TargetExtTypes; 1544bdd1243dSDimitry Andric 15450b57cec5SDimitry Andric DenseMap<std::pair<Type *, uint64_t>, ArrayType *> ArrayTypes; 15460b57cec5SDimitry Andric DenseMap<std::pair<Type *, ElementCount>, VectorType *> VectorTypes; 1547*06c3fb27SDimitry Andric PointerType *AS0PointerType = nullptr; // AddrSpace = 0 1548*06c3fb27SDimitry Andric DenseMap<unsigned, PointerType *> PointerTypes; 1549*06c3fb27SDimitry Andric DenseMap<std::pair<Type *, unsigned>, PointerType *> LegacyPointerTypes; 1550bdd1243dSDimitry Andric DenseMap<std::pair<Type *, unsigned>, TypedPointerType *> ASTypedPointerTypes; 15510b57cec5SDimitry Andric 15520b57cec5SDimitry Andric /// ValueHandles - This map keeps track of all of the value handles that are 15530b57cec5SDimitry Andric /// watching a Value*. The Value::HasValueHandle bit is used to know 15540b57cec5SDimitry Andric /// whether or not a value has an entry in this map. 15550b57cec5SDimitry Andric using ValueHandlesTy = DenseMap<Value *, ValueHandleBase *>; 15560b57cec5SDimitry Andric ValueHandlesTy ValueHandles; 15570b57cec5SDimitry Andric 15580b57cec5SDimitry Andric /// CustomMDKindNames - Map to hold the metadata string to ID mapping. 15590b57cec5SDimitry Andric StringMap<unsigned> CustomMDKindNames; 15600b57cec5SDimitry Andric 1561e8d8bef9SDimitry Andric /// Collection of metadata used in this context. 1562e8d8bef9SDimitry Andric DenseMap<const Value *, MDAttachments> ValueMetadata; 15630b57cec5SDimitry Andric 1564bdd1243dSDimitry Andric /// Map DIAssignID -> Instructions with that attachment. 1565bdd1243dSDimitry Andric /// Managed by Instruction via Instruction::updateDIAssignIDMapping. 1566bdd1243dSDimitry Andric /// Query using the at:: functions defined in DebugInfo.h. 1567bdd1243dSDimitry Andric DenseMap<DIAssignID *, SmallVector<Instruction *, 1>> AssignmentIDToInstrs; 1568bdd1243dSDimitry Andric 15690b57cec5SDimitry Andric /// Collection of per-GlobalObject sections used in this context. 15700b57cec5SDimitry Andric DenseMap<const GlobalObject *, StringRef> GlobalObjectSections; 15710b57cec5SDimitry Andric 15720b57cec5SDimitry Andric /// Collection of per-GlobalValue partitions used in this context. 15730b57cec5SDimitry Andric DenseMap<const GlobalValue *, StringRef> GlobalValuePartitions; 15740b57cec5SDimitry Andric 157581ad6265SDimitry Andric DenseMap<const GlobalValue *, GlobalValue::SanitizerMetadata> 157681ad6265SDimitry Andric GlobalValueSanitizerMetadata; 157781ad6265SDimitry Andric 15780b57cec5SDimitry Andric /// DiscriminatorTable - This table maps file:line locations to an 15790b57cec5SDimitry Andric /// integer representing the next DWARF path discriminator to assign to 15800b57cec5SDimitry Andric /// instructions in different blocks at the same location. 15810b57cec5SDimitry Andric DenseMap<std::pair<const char *, unsigned>, unsigned> DiscriminatorTable; 15820b57cec5SDimitry Andric 15830b57cec5SDimitry Andric /// A set of interned tags for operand bundles. The StringMap maps 15840b57cec5SDimitry Andric /// bundle tags to their IDs. 15850b57cec5SDimitry Andric /// 15860b57cec5SDimitry Andric /// \see LLVMContext::getOperandBundleTagID 15870b57cec5SDimitry Andric StringMap<uint32_t> BundleTagCache; 15880b57cec5SDimitry Andric 15890b57cec5SDimitry Andric StringMapEntry<uint32_t> *getOrInsertBundleTag(StringRef Tag); 15900b57cec5SDimitry Andric void getOperandBundleTags(SmallVectorImpl<StringRef> &Tags) const; 15910b57cec5SDimitry Andric uint32_t getOperandBundleTagID(StringRef Tag) const; 15920b57cec5SDimitry Andric 15930b57cec5SDimitry Andric /// A set of interned synchronization scopes. The StringMap maps 15940b57cec5SDimitry Andric /// synchronization scope names to their respective synchronization scope IDs. 15950b57cec5SDimitry Andric StringMap<SyncScope::ID> SSC; 15960b57cec5SDimitry Andric 15970b57cec5SDimitry Andric /// getOrInsertSyncScopeID - Maps synchronization scope name to 15980b57cec5SDimitry Andric /// synchronization scope ID. Every synchronization scope registered with 15990b57cec5SDimitry Andric /// LLVMContext has unique ID except pre-defined ones. 16000b57cec5SDimitry Andric SyncScope::ID getOrInsertSyncScopeID(StringRef SSN); 16010b57cec5SDimitry Andric 16020b57cec5SDimitry Andric /// getSyncScopeNames - Populates client supplied SmallVector with 16030b57cec5SDimitry Andric /// synchronization scope names registered with LLVMContext. Synchronization 16040b57cec5SDimitry Andric /// scope names are ordered by increasing synchronization scope IDs. 16050b57cec5SDimitry Andric void getSyncScopeNames(SmallVectorImpl<StringRef> &SSNs) const; 16060b57cec5SDimitry Andric 16070b57cec5SDimitry Andric /// Maintain the GC name for each function. 16080b57cec5SDimitry Andric /// 16090b57cec5SDimitry Andric /// This saves allocating an additional word in Function for programs which 16100b57cec5SDimitry Andric /// do not use GC (i.e., most programs) at the cost of increased overhead for 16110b57cec5SDimitry Andric /// clients which do use GC. 16120b57cec5SDimitry Andric DenseMap<const Function *, std::string> GCNames; 16130b57cec5SDimitry Andric 16140b57cec5SDimitry Andric /// Flag to indicate if Value (other than GlobalValue) retains their name or 16150b57cec5SDimitry Andric /// not. 16160b57cec5SDimitry Andric bool DiscardValueNames = false; 16170b57cec5SDimitry Andric 16180b57cec5SDimitry Andric LLVMContextImpl(LLVMContext &C); 16190b57cec5SDimitry Andric ~LLVMContextImpl(); 16200b57cec5SDimitry Andric 16210b57cec5SDimitry Andric /// Destroy the ConstantArrays if they are not used. 16220b57cec5SDimitry Andric void dropTriviallyDeadConstantArrays(); 16230b57cec5SDimitry Andric 16240b57cec5SDimitry Andric mutable OptPassGate *OPG = nullptr; 16250b57cec5SDimitry Andric 16260b57cec5SDimitry Andric /// Access the object which can disable optional passes and individual 16270b57cec5SDimitry Andric /// optimizations at compile time. 16280b57cec5SDimitry Andric OptPassGate &getOptPassGate() const; 16290b57cec5SDimitry Andric 16300b57cec5SDimitry Andric /// Set the object which can disable optional passes and individual 16310b57cec5SDimitry Andric /// optimizations at compile time. 16320b57cec5SDimitry Andric /// 16330b57cec5SDimitry Andric /// The lifetime of the object must be guaranteed to extend as long as the 16340b57cec5SDimitry Andric /// LLVMContext is used by compilation. 16350b57cec5SDimitry Andric void setOptPassGate(OptPassGate &); 16360b57cec5SDimitry Andric }; 16370b57cec5SDimitry Andric 16380b57cec5SDimitry Andric } // end namespace llvm 16390b57cec5SDimitry Andric 16400b57cec5SDimitry Andric #endif // LLVM_LIB_IR_LLVMCONTEXTIMPL_H 1641