xref: /freebsd/contrib/llvm-project/llvm/lib/IR/Metadata.cpp (revision 8bcb0991864975618c09697b1aca10683346d9f0)
10b57cec5SDimitry Andric //===- Metadata.cpp - Implement Metadata classes --------------------------===//
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 implements the Metadata classes.
100b57cec5SDimitry Andric //
110b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
120b57cec5SDimitry Andric 
130b57cec5SDimitry Andric #include "LLVMContextImpl.h"
140b57cec5SDimitry Andric #include "MetadataImpl.h"
150b57cec5SDimitry Andric #include "SymbolTableListTraitsImpl.h"
160b57cec5SDimitry Andric #include "llvm/ADT/APFloat.h"
170b57cec5SDimitry Andric #include "llvm/ADT/APInt.h"
180b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
190b57cec5SDimitry Andric #include "llvm/ADT/DenseSet.h"
200b57cec5SDimitry Andric #include "llvm/ADT/None.h"
210b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
220b57cec5SDimitry Andric #include "llvm/ADT/SetVector.h"
230b57cec5SDimitry Andric #include "llvm/ADT/SmallPtrSet.h"
240b57cec5SDimitry Andric #include "llvm/ADT/SmallSet.h"
250b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
260b57cec5SDimitry Andric #include "llvm/ADT/StringMap.h"
270b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
280b57cec5SDimitry Andric #include "llvm/ADT/Twine.h"
290b57cec5SDimitry Andric #include "llvm/IR/Argument.h"
300b57cec5SDimitry Andric #include "llvm/IR/BasicBlock.h"
310b57cec5SDimitry Andric #include "llvm/IR/Constant.h"
320b57cec5SDimitry Andric #include "llvm/IR/ConstantRange.h"
330b57cec5SDimitry Andric #include "llvm/IR/Constants.h"
340b57cec5SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h"
350b57cec5SDimitry Andric #include "llvm/IR/DebugLoc.h"
360b57cec5SDimitry Andric #include "llvm/IR/Function.h"
370b57cec5SDimitry Andric #include "llvm/IR/GlobalObject.h"
380b57cec5SDimitry Andric #include "llvm/IR/GlobalVariable.h"
390b57cec5SDimitry Andric #include "llvm/IR/Instruction.h"
400b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h"
410b57cec5SDimitry Andric #include "llvm/IR/Metadata.h"
420b57cec5SDimitry Andric #include "llvm/IR/Module.h"
430b57cec5SDimitry Andric #include "llvm/IR/TrackingMDRef.h"
440b57cec5SDimitry Andric #include "llvm/IR/Type.h"
450b57cec5SDimitry Andric #include "llvm/IR/Value.h"
460b57cec5SDimitry Andric #include "llvm/IR/ValueHandle.h"
470b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
480b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
490b57cec5SDimitry Andric #include "llvm/Support/MathExtras.h"
500b57cec5SDimitry Andric #include <algorithm>
510b57cec5SDimitry Andric #include <cassert>
520b57cec5SDimitry Andric #include <cstddef>
530b57cec5SDimitry Andric #include <cstdint>
540b57cec5SDimitry Andric #include <iterator>
550b57cec5SDimitry Andric #include <tuple>
560b57cec5SDimitry Andric #include <type_traits>
570b57cec5SDimitry Andric #include <utility>
580b57cec5SDimitry Andric #include <vector>
590b57cec5SDimitry Andric 
600b57cec5SDimitry Andric using namespace llvm;
610b57cec5SDimitry Andric 
620b57cec5SDimitry Andric MetadataAsValue::MetadataAsValue(Type *Ty, Metadata *MD)
630b57cec5SDimitry Andric     : Value(Ty, MetadataAsValueVal), MD(MD) {
640b57cec5SDimitry Andric   track();
650b57cec5SDimitry Andric }
660b57cec5SDimitry Andric 
670b57cec5SDimitry Andric MetadataAsValue::~MetadataAsValue() {
680b57cec5SDimitry Andric   getType()->getContext().pImpl->MetadataAsValues.erase(MD);
690b57cec5SDimitry Andric   untrack();
700b57cec5SDimitry Andric }
710b57cec5SDimitry Andric 
720b57cec5SDimitry Andric /// Canonicalize metadata arguments to intrinsics.
730b57cec5SDimitry Andric ///
740b57cec5SDimitry Andric /// To support bitcode upgrades (and assembly semantic sugar) for \a
750b57cec5SDimitry Andric /// MetadataAsValue, we need to canonicalize certain metadata.
760b57cec5SDimitry Andric ///
770b57cec5SDimitry Andric ///   - nullptr is replaced by an empty MDNode.
780b57cec5SDimitry Andric ///   - An MDNode with a single null operand is replaced by an empty MDNode.
790b57cec5SDimitry Andric ///   - An MDNode whose only operand is a \a ConstantAsMetadata gets skipped.
800b57cec5SDimitry Andric ///
810b57cec5SDimitry Andric /// This maintains readability of bitcode from when metadata was a type of
820b57cec5SDimitry Andric /// value, and these bridges were unnecessary.
830b57cec5SDimitry Andric static Metadata *canonicalizeMetadataForValue(LLVMContext &Context,
840b57cec5SDimitry Andric                                               Metadata *MD) {
850b57cec5SDimitry Andric   if (!MD)
860b57cec5SDimitry Andric     // !{}
870b57cec5SDimitry Andric     return MDNode::get(Context, None);
880b57cec5SDimitry Andric 
890b57cec5SDimitry Andric   // Return early if this isn't a single-operand MDNode.
900b57cec5SDimitry Andric   auto *N = dyn_cast<MDNode>(MD);
910b57cec5SDimitry Andric   if (!N || N->getNumOperands() != 1)
920b57cec5SDimitry Andric     return MD;
930b57cec5SDimitry Andric 
940b57cec5SDimitry Andric   if (!N->getOperand(0))
950b57cec5SDimitry Andric     // !{}
960b57cec5SDimitry Andric     return MDNode::get(Context, None);
970b57cec5SDimitry Andric 
980b57cec5SDimitry Andric   if (auto *C = dyn_cast<ConstantAsMetadata>(N->getOperand(0)))
990b57cec5SDimitry Andric     // Look through the MDNode.
1000b57cec5SDimitry Andric     return C;
1010b57cec5SDimitry Andric 
1020b57cec5SDimitry Andric   return MD;
1030b57cec5SDimitry Andric }
1040b57cec5SDimitry Andric 
1050b57cec5SDimitry Andric MetadataAsValue *MetadataAsValue::get(LLVMContext &Context, Metadata *MD) {
1060b57cec5SDimitry Andric   MD = canonicalizeMetadataForValue(Context, MD);
1070b57cec5SDimitry Andric   auto *&Entry = Context.pImpl->MetadataAsValues[MD];
1080b57cec5SDimitry Andric   if (!Entry)
1090b57cec5SDimitry Andric     Entry = new MetadataAsValue(Type::getMetadataTy(Context), MD);
1100b57cec5SDimitry Andric   return Entry;
1110b57cec5SDimitry Andric }
1120b57cec5SDimitry Andric 
1130b57cec5SDimitry Andric MetadataAsValue *MetadataAsValue::getIfExists(LLVMContext &Context,
1140b57cec5SDimitry Andric                                               Metadata *MD) {
1150b57cec5SDimitry Andric   MD = canonicalizeMetadataForValue(Context, MD);
1160b57cec5SDimitry Andric   auto &Store = Context.pImpl->MetadataAsValues;
1170b57cec5SDimitry Andric   return Store.lookup(MD);
1180b57cec5SDimitry Andric }
1190b57cec5SDimitry Andric 
1200b57cec5SDimitry Andric void MetadataAsValue::handleChangedMetadata(Metadata *MD) {
1210b57cec5SDimitry Andric   LLVMContext &Context = getContext();
1220b57cec5SDimitry Andric   MD = canonicalizeMetadataForValue(Context, MD);
1230b57cec5SDimitry Andric   auto &Store = Context.pImpl->MetadataAsValues;
1240b57cec5SDimitry Andric 
1250b57cec5SDimitry Andric   // Stop tracking the old metadata.
1260b57cec5SDimitry Andric   Store.erase(this->MD);
1270b57cec5SDimitry Andric   untrack();
1280b57cec5SDimitry Andric   this->MD = nullptr;
1290b57cec5SDimitry Andric 
1300b57cec5SDimitry Andric   // Start tracking MD, or RAUW if necessary.
1310b57cec5SDimitry Andric   auto *&Entry = Store[MD];
1320b57cec5SDimitry Andric   if (Entry) {
1330b57cec5SDimitry Andric     replaceAllUsesWith(Entry);
1340b57cec5SDimitry Andric     delete this;
1350b57cec5SDimitry Andric     return;
1360b57cec5SDimitry Andric   }
1370b57cec5SDimitry Andric 
1380b57cec5SDimitry Andric   this->MD = MD;
1390b57cec5SDimitry Andric   track();
1400b57cec5SDimitry Andric   Entry = this;
1410b57cec5SDimitry Andric }
1420b57cec5SDimitry Andric 
1430b57cec5SDimitry Andric void MetadataAsValue::track() {
1440b57cec5SDimitry Andric   if (MD)
1450b57cec5SDimitry Andric     MetadataTracking::track(&MD, *MD, *this);
1460b57cec5SDimitry Andric }
1470b57cec5SDimitry Andric 
1480b57cec5SDimitry Andric void MetadataAsValue::untrack() {
1490b57cec5SDimitry Andric   if (MD)
1500b57cec5SDimitry Andric     MetadataTracking::untrack(MD);
1510b57cec5SDimitry Andric }
1520b57cec5SDimitry Andric 
1530b57cec5SDimitry Andric bool MetadataTracking::track(void *Ref, Metadata &MD, OwnerTy Owner) {
1540b57cec5SDimitry Andric   assert(Ref && "Expected live reference");
1550b57cec5SDimitry Andric   assert((Owner || *static_cast<Metadata **>(Ref) == &MD) &&
1560b57cec5SDimitry Andric          "Reference without owner must be direct");
1570b57cec5SDimitry Andric   if (auto *R = ReplaceableMetadataImpl::getOrCreate(MD)) {
1580b57cec5SDimitry Andric     R->addRef(Ref, Owner);
1590b57cec5SDimitry Andric     return true;
1600b57cec5SDimitry Andric   }
1610b57cec5SDimitry Andric   if (auto *PH = dyn_cast<DistinctMDOperandPlaceholder>(&MD)) {
1620b57cec5SDimitry Andric     assert(!PH->Use && "Placeholders can only be used once");
1630b57cec5SDimitry Andric     assert(!Owner && "Unexpected callback to owner");
1640b57cec5SDimitry Andric     PH->Use = static_cast<Metadata **>(Ref);
1650b57cec5SDimitry Andric     return true;
1660b57cec5SDimitry Andric   }
1670b57cec5SDimitry Andric   return false;
1680b57cec5SDimitry Andric }
1690b57cec5SDimitry Andric 
1700b57cec5SDimitry Andric void MetadataTracking::untrack(void *Ref, Metadata &MD) {
1710b57cec5SDimitry Andric   assert(Ref && "Expected live reference");
1720b57cec5SDimitry Andric   if (auto *R = ReplaceableMetadataImpl::getIfExists(MD))
1730b57cec5SDimitry Andric     R->dropRef(Ref);
1740b57cec5SDimitry Andric   else if (auto *PH = dyn_cast<DistinctMDOperandPlaceholder>(&MD))
1750b57cec5SDimitry Andric     PH->Use = nullptr;
1760b57cec5SDimitry Andric }
1770b57cec5SDimitry Andric 
1780b57cec5SDimitry Andric bool MetadataTracking::retrack(void *Ref, Metadata &MD, void *New) {
1790b57cec5SDimitry Andric   assert(Ref && "Expected live reference");
1800b57cec5SDimitry Andric   assert(New && "Expected live reference");
1810b57cec5SDimitry Andric   assert(Ref != New && "Expected change");
1820b57cec5SDimitry Andric   if (auto *R = ReplaceableMetadataImpl::getIfExists(MD)) {
1830b57cec5SDimitry Andric     R->moveRef(Ref, New, MD);
1840b57cec5SDimitry Andric     return true;
1850b57cec5SDimitry Andric   }
1860b57cec5SDimitry Andric   assert(!isa<DistinctMDOperandPlaceholder>(MD) &&
1870b57cec5SDimitry Andric          "Unexpected move of an MDOperand");
1880b57cec5SDimitry Andric   assert(!isReplaceable(MD) &&
1890b57cec5SDimitry Andric          "Expected un-replaceable metadata, since we didn't move a reference");
1900b57cec5SDimitry Andric   return false;
1910b57cec5SDimitry Andric }
1920b57cec5SDimitry Andric 
1930b57cec5SDimitry Andric bool MetadataTracking::isReplaceable(const Metadata &MD) {
1940b57cec5SDimitry Andric   return ReplaceableMetadataImpl::isReplaceable(MD);
1950b57cec5SDimitry Andric }
1960b57cec5SDimitry Andric 
1970b57cec5SDimitry Andric void ReplaceableMetadataImpl::addRef(void *Ref, OwnerTy Owner) {
1980b57cec5SDimitry Andric   bool WasInserted =
1990b57cec5SDimitry Andric       UseMap.insert(std::make_pair(Ref, std::make_pair(Owner, NextIndex)))
2000b57cec5SDimitry Andric           .second;
2010b57cec5SDimitry Andric   (void)WasInserted;
2020b57cec5SDimitry Andric   assert(WasInserted && "Expected to add a reference");
2030b57cec5SDimitry Andric 
2040b57cec5SDimitry Andric   ++NextIndex;
2050b57cec5SDimitry Andric   assert(NextIndex != 0 && "Unexpected overflow");
2060b57cec5SDimitry Andric }
2070b57cec5SDimitry Andric 
2080b57cec5SDimitry Andric void ReplaceableMetadataImpl::dropRef(void *Ref) {
2090b57cec5SDimitry Andric   bool WasErased = UseMap.erase(Ref);
2100b57cec5SDimitry Andric   (void)WasErased;
2110b57cec5SDimitry Andric   assert(WasErased && "Expected to drop a reference");
2120b57cec5SDimitry Andric }
2130b57cec5SDimitry Andric 
2140b57cec5SDimitry Andric void ReplaceableMetadataImpl::moveRef(void *Ref, void *New,
2150b57cec5SDimitry Andric                                       const Metadata &MD) {
2160b57cec5SDimitry Andric   auto I = UseMap.find(Ref);
2170b57cec5SDimitry Andric   assert(I != UseMap.end() && "Expected to move a reference");
2180b57cec5SDimitry Andric   auto OwnerAndIndex = I->second;
2190b57cec5SDimitry Andric   UseMap.erase(I);
2200b57cec5SDimitry Andric   bool WasInserted = UseMap.insert(std::make_pair(New, OwnerAndIndex)).second;
2210b57cec5SDimitry Andric   (void)WasInserted;
2220b57cec5SDimitry Andric   assert(WasInserted && "Expected to add a reference");
2230b57cec5SDimitry Andric 
2240b57cec5SDimitry Andric   // Check that the references are direct if there's no owner.
2250b57cec5SDimitry Andric   (void)MD;
2260b57cec5SDimitry Andric   assert((OwnerAndIndex.first || *static_cast<Metadata **>(Ref) == &MD) &&
2270b57cec5SDimitry Andric          "Reference without owner must be direct");
2280b57cec5SDimitry Andric   assert((OwnerAndIndex.first || *static_cast<Metadata **>(New) == &MD) &&
2290b57cec5SDimitry Andric          "Reference without owner must be direct");
2300b57cec5SDimitry Andric }
2310b57cec5SDimitry Andric 
2320b57cec5SDimitry Andric void ReplaceableMetadataImpl::replaceAllUsesWith(Metadata *MD) {
2330b57cec5SDimitry Andric   if (UseMap.empty())
2340b57cec5SDimitry Andric     return;
2350b57cec5SDimitry Andric 
2360b57cec5SDimitry Andric   // Copy out uses since UseMap will get touched below.
2370b57cec5SDimitry Andric   using UseTy = std::pair<void *, std::pair<OwnerTy, uint64_t>>;
2380b57cec5SDimitry Andric   SmallVector<UseTy, 8> Uses(UseMap.begin(), UseMap.end());
2390b57cec5SDimitry Andric   llvm::sort(Uses, [](const UseTy &L, const UseTy &R) {
2400b57cec5SDimitry Andric     return L.second.second < R.second.second;
2410b57cec5SDimitry Andric   });
2420b57cec5SDimitry Andric   for (const auto &Pair : Uses) {
2430b57cec5SDimitry Andric     // Check that this Ref hasn't disappeared after RAUW (when updating a
2440b57cec5SDimitry Andric     // previous Ref).
2450b57cec5SDimitry Andric     if (!UseMap.count(Pair.first))
2460b57cec5SDimitry Andric       continue;
2470b57cec5SDimitry Andric 
2480b57cec5SDimitry Andric     OwnerTy Owner = Pair.second.first;
2490b57cec5SDimitry Andric     if (!Owner) {
2500b57cec5SDimitry Andric       // Update unowned tracking references directly.
2510b57cec5SDimitry Andric       Metadata *&Ref = *static_cast<Metadata **>(Pair.first);
2520b57cec5SDimitry Andric       Ref = MD;
2530b57cec5SDimitry Andric       if (MD)
2540b57cec5SDimitry Andric         MetadataTracking::track(Ref);
2550b57cec5SDimitry Andric       UseMap.erase(Pair.first);
2560b57cec5SDimitry Andric       continue;
2570b57cec5SDimitry Andric     }
2580b57cec5SDimitry Andric 
2590b57cec5SDimitry Andric     // Check for MetadataAsValue.
2600b57cec5SDimitry Andric     if (Owner.is<MetadataAsValue *>()) {
2610b57cec5SDimitry Andric       Owner.get<MetadataAsValue *>()->handleChangedMetadata(MD);
2620b57cec5SDimitry Andric       continue;
2630b57cec5SDimitry Andric     }
2640b57cec5SDimitry Andric 
2650b57cec5SDimitry Andric     // There's a Metadata owner -- dispatch.
2660b57cec5SDimitry Andric     Metadata *OwnerMD = Owner.get<Metadata *>();
2670b57cec5SDimitry Andric     switch (OwnerMD->getMetadataID()) {
2680b57cec5SDimitry Andric #define HANDLE_METADATA_LEAF(CLASS)                                            \
2690b57cec5SDimitry Andric   case Metadata::CLASS##Kind:                                                  \
2700b57cec5SDimitry Andric     cast<CLASS>(OwnerMD)->handleChangedOperand(Pair.first, MD);                \
2710b57cec5SDimitry Andric     continue;
2720b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
2730b57cec5SDimitry Andric     default:
2740b57cec5SDimitry Andric       llvm_unreachable("Invalid metadata subclass");
2750b57cec5SDimitry Andric     }
2760b57cec5SDimitry Andric   }
2770b57cec5SDimitry Andric   assert(UseMap.empty() && "Expected all uses to be replaced");
2780b57cec5SDimitry Andric }
2790b57cec5SDimitry Andric 
2800b57cec5SDimitry Andric void ReplaceableMetadataImpl::resolveAllUses(bool ResolveUsers) {
2810b57cec5SDimitry Andric   if (UseMap.empty())
2820b57cec5SDimitry Andric     return;
2830b57cec5SDimitry Andric 
2840b57cec5SDimitry Andric   if (!ResolveUsers) {
2850b57cec5SDimitry Andric     UseMap.clear();
2860b57cec5SDimitry Andric     return;
2870b57cec5SDimitry Andric   }
2880b57cec5SDimitry Andric 
2890b57cec5SDimitry Andric   // Copy out uses since UseMap could get touched below.
2900b57cec5SDimitry Andric   using UseTy = std::pair<void *, std::pair<OwnerTy, uint64_t>>;
2910b57cec5SDimitry Andric   SmallVector<UseTy, 8> Uses(UseMap.begin(), UseMap.end());
2920b57cec5SDimitry Andric   llvm::sort(Uses, [](const UseTy &L, const UseTy &R) {
2930b57cec5SDimitry Andric     return L.second.second < R.second.second;
2940b57cec5SDimitry Andric   });
2950b57cec5SDimitry Andric   UseMap.clear();
2960b57cec5SDimitry Andric   for (const auto &Pair : Uses) {
2970b57cec5SDimitry Andric     auto Owner = Pair.second.first;
2980b57cec5SDimitry Andric     if (!Owner)
2990b57cec5SDimitry Andric       continue;
3000b57cec5SDimitry Andric     if (Owner.is<MetadataAsValue *>())
3010b57cec5SDimitry Andric       continue;
3020b57cec5SDimitry Andric 
3030b57cec5SDimitry Andric     // Resolve MDNodes that point at this.
3040b57cec5SDimitry Andric     auto *OwnerMD = dyn_cast<MDNode>(Owner.get<Metadata *>());
3050b57cec5SDimitry Andric     if (!OwnerMD)
3060b57cec5SDimitry Andric       continue;
3070b57cec5SDimitry Andric     if (OwnerMD->isResolved())
3080b57cec5SDimitry Andric       continue;
3090b57cec5SDimitry Andric     OwnerMD->decrementUnresolvedOperandCount();
3100b57cec5SDimitry Andric   }
3110b57cec5SDimitry Andric }
3120b57cec5SDimitry Andric 
3130b57cec5SDimitry Andric ReplaceableMetadataImpl *ReplaceableMetadataImpl::getOrCreate(Metadata &MD) {
3140b57cec5SDimitry Andric   if (auto *N = dyn_cast<MDNode>(&MD))
3150b57cec5SDimitry Andric     return N->isResolved() ? nullptr : N->Context.getOrCreateReplaceableUses();
3160b57cec5SDimitry Andric   return dyn_cast<ValueAsMetadata>(&MD);
3170b57cec5SDimitry Andric }
3180b57cec5SDimitry Andric 
3190b57cec5SDimitry Andric ReplaceableMetadataImpl *ReplaceableMetadataImpl::getIfExists(Metadata &MD) {
3200b57cec5SDimitry Andric   if (auto *N = dyn_cast<MDNode>(&MD))
3210b57cec5SDimitry Andric     return N->isResolved() ? nullptr : N->Context.getReplaceableUses();
3220b57cec5SDimitry Andric   return dyn_cast<ValueAsMetadata>(&MD);
3230b57cec5SDimitry Andric }
3240b57cec5SDimitry Andric 
3250b57cec5SDimitry Andric bool ReplaceableMetadataImpl::isReplaceable(const Metadata &MD) {
3260b57cec5SDimitry Andric   if (auto *N = dyn_cast<MDNode>(&MD))
3270b57cec5SDimitry Andric     return !N->isResolved();
3280b57cec5SDimitry Andric   return dyn_cast<ValueAsMetadata>(&MD);
3290b57cec5SDimitry Andric }
3300b57cec5SDimitry Andric 
3310b57cec5SDimitry Andric static DISubprogram *getLocalFunctionMetadata(Value *V) {
3320b57cec5SDimitry Andric   assert(V && "Expected value");
3330b57cec5SDimitry Andric   if (auto *A = dyn_cast<Argument>(V)) {
3340b57cec5SDimitry Andric     if (auto *Fn = A->getParent())
3350b57cec5SDimitry Andric       return Fn->getSubprogram();
3360b57cec5SDimitry Andric     return nullptr;
3370b57cec5SDimitry Andric   }
3380b57cec5SDimitry Andric 
3390b57cec5SDimitry Andric   if (BasicBlock *BB = cast<Instruction>(V)->getParent()) {
3400b57cec5SDimitry Andric     if (auto *Fn = BB->getParent())
3410b57cec5SDimitry Andric       return Fn->getSubprogram();
3420b57cec5SDimitry Andric     return nullptr;
3430b57cec5SDimitry Andric   }
3440b57cec5SDimitry Andric 
3450b57cec5SDimitry Andric   return nullptr;
3460b57cec5SDimitry Andric }
3470b57cec5SDimitry Andric 
3480b57cec5SDimitry Andric ValueAsMetadata *ValueAsMetadata::get(Value *V) {
3490b57cec5SDimitry Andric   assert(V && "Unexpected null Value");
3500b57cec5SDimitry Andric 
3510b57cec5SDimitry Andric   auto &Context = V->getContext();
3520b57cec5SDimitry Andric   auto *&Entry = Context.pImpl->ValuesAsMetadata[V];
3530b57cec5SDimitry Andric   if (!Entry) {
3540b57cec5SDimitry Andric     assert((isa<Constant>(V) || isa<Argument>(V) || isa<Instruction>(V)) &&
3550b57cec5SDimitry Andric            "Expected constant or function-local value");
3560b57cec5SDimitry Andric     assert(!V->IsUsedByMD && "Expected this to be the only metadata use");
3570b57cec5SDimitry Andric     V->IsUsedByMD = true;
3580b57cec5SDimitry Andric     if (auto *C = dyn_cast<Constant>(V))
3590b57cec5SDimitry Andric       Entry = new ConstantAsMetadata(C);
3600b57cec5SDimitry Andric     else
3610b57cec5SDimitry Andric       Entry = new LocalAsMetadata(V);
3620b57cec5SDimitry Andric   }
3630b57cec5SDimitry Andric 
3640b57cec5SDimitry Andric   return Entry;
3650b57cec5SDimitry Andric }
3660b57cec5SDimitry Andric 
3670b57cec5SDimitry Andric ValueAsMetadata *ValueAsMetadata::getIfExists(Value *V) {
3680b57cec5SDimitry Andric   assert(V && "Unexpected null Value");
3690b57cec5SDimitry Andric   return V->getContext().pImpl->ValuesAsMetadata.lookup(V);
3700b57cec5SDimitry Andric }
3710b57cec5SDimitry Andric 
3720b57cec5SDimitry Andric void ValueAsMetadata::handleDeletion(Value *V) {
3730b57cec5SDimitry Andric   assert(V && "Expected valid value");
3740b57cec5SDimitry Andric 
3750b57cec5SDimitry Andric   auto &Store = V->getType()->getContext().pImpl->ValuesAsMetadata;
3760b57cec5SDimitry Andric   auto I = Store.find(V);
3770b57cec5SDimitry Andric   if (I == Store.end())
3780b57cec5SDimitry Andric     return;
3790b57cec5SDimitry Andric 
3800b57cec5SDimitry Andric   // Remove old entry from the map.
3810b57cec5SDimitry Andric   ValueAsMetadata *MD = I->second;
3820b57cec5SDimitry Andric   assert(MD && "Expected valid metadata");
3830b57cec5SDimitry Andric   assert(MD->getValue() == V && "Expected valid mapping");
3840b57cec5SDimitry Andric   Store.erase(I);
3850b57cec5SDimitry Andric 
3860b57cec5SDimitry Andric   // Delete the metadata.
3870b57cec5SDimitry Andric   MD->replaceAllUsesWith(nullptr);
3880b57cec5SDimitry Andric   delete MD;
3890b57cec5SDimitry Andric }
3900b57cec5SDimitry Andric 
3910b57cec5SDimitry Andric void ValueAsMetadata::handleRAUW(Value *From, Value *To) {
3920b57cec5SDimitry Andric   assert(From && "Expected valid value");
3930b57cec5SDimitry Andric   assert(To && "Expected valid value");
3940b57cec5SDimitry Andric   assert(From != To && "Expected changed value");
3950b57cec5SDimitry Andric   assert(From->getType() == To->getType() && "Unexpected type change");
3960b57cec5SDimitry Andric 
3970b57cec5SDimitry Andric   LLVMContext &Context = From->getType()->getContext();
3980b57cec5SDimitry Andric   auto &Store = Context.pImpl->ValuesAsMetadata;
3990b57cec5SDimitry Andric   auto I = Store.find(From);
4000b57cec5SDimitry Andric   if (I == Store.end()) {
4010b57cec5SDimitry Andric     assert(!From->IsUsedByMD && "Expected From not to be used by metadata");
4020b57cec5SDimitry Andric     return;
4030b57cec5SDimitry Andric   }
4040b57cec5SDimitry Andric 
4050b57cec5SDimitry Andric   // Remove old entry from the map.
4060b57cec5SDimitry Andric   assert(From->IsUsedByMD && "Expected From to be used by metadata");
4070b57cec5SDimitry Andric   From->IsUsedByMD = false;
4080b57cec5SDimitry Andric   ValueAsMetadata *MD = I->second;
4090b57cec5SDimitry Andric   assert(MD && "Expected valid metadata");
4100b57cec5SDimitry Andric   assert(MD->getValue() == From && "Expected valid mapping");
4110b57cec5SDimitry Andric   Store.erase(I);
4120b57cec5SDimitry Andric 
4130b57cec5SDimitry Andric   if (isa<LocalAsMetadata>(MD)) {
4140b57cec5SDimitry Andric     if (auto *C = dyn_cast<Constant>(To)) {
4150b57cec5SDimitry Andric       // Local became a constant.
4160b57cec5SDimitry Andric       MD->replaceAllUsesWith(ConstantAsMetadata::get(C));
4170b57cec5SDimitry Andric       delete MD;
4180b57cec5SDimitry Andric       return;
4190b57cec5SDimitry Andric     }
4200b57cec5SDimitry Andric     if (getLocalFunctionMetadata(From) && getLocalFunctionMetadata(To) &&
4210b57cec5SDimitry Andric         getLocalFunctionMetadata(From) != getLocalFunctionMetadata(To)) {
4220b57cec5SDimitry Andric       // DISubprogram changed.
4230b57cec5SDimitry Andric       MD->replaceAllUsesWith(nullptr);
4240b57cec5SDimitry Andric       delete MD;
4250b57cec5SDimitry Andric       return;
4260b57cec5SDimitry Andric     }
4270b57cec5SDimitry Andric   } else if (!isa<Constant>(To)) {
4280b57cec5SDimitry Andric     // Changed to function-local value.
4290b57cec5SDimitry Andric     MD->replaceAllUsesWith(nullptr);
4300b57cec5SDimitry Andric     delete MD;
4310b57cec5SDimitry Andric     return;
4320b57cec5SDimitry Andric   }
4330b57cec5SDimitry Andric 
4340b57cec5SDimitry Andric   auto *&Entry = Store[To];
4350b57cec5SDimitry Andric   if (Entry) {
4360b57cec5SDimitry Andric     // The target already exists.
4370b57cec5SDimitry Andric     MD->replaceAllUsesWith(Entry);
4380b57cec5SDimitry Andric     delete MD;
4390b57cec5SDimitry Andric     return;
4400b57cec5SDimitry Andric   }
4410b57cec5SDimitry Andric 
4420b57cec5SDimitry Andric   // Update MD in place (and update the map entry).
4430b57cec5SDimitry Andric   assert(!To->IsUsedByMD && "Expected this to be the only metadata use");
4440b57cec5SDimitry Andric   To->IsUsedByMD = true;
4450b57cec5SDimitry Andric   MD->V = To;
4460b57cec5SDimitry Andric   Entry = MD;
4470b57cec5SDimitry Andric }
4480b57cec5SDimitry Andric 
4490b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
4500b57cec5SDimitry Andric // MDString implementation.
4510b57cec5SDimitry Andric //
4520b57cec5SDimitry Andric 
4530b57cec5SDimitry Andric MDString *MDString::get(LLVMContext &Context, StringRef Str) {
4540b57cec5SDimitry Andric   auto &Store = Context.pImpl->MDStringCache;
4550b57cec5SDimitry Andric   auto I = Store.try_emplace(Str);
4560b57cec5SDimitry Andric   auto &MapEntry = I.first->getValue();
4570b57cec5SDimitry Andric   if (!I.second)
4580b57cec5SDimitry Andric     return &MapEntry;
4590b57cec5SDimitry Andric   MapEntry.Entry = &*I.first;
4600b57cec5SDimitry Andric   return &MapEntry;
4610b57cec5SDimitry Andric }
4620b57cec5SDimitry Andric 
4630b57cec5SDimitry Andric StringRef MDString::getString() const {
4640b57cec5SDimitry Andric   assert(Entry && "Expected to find string map entry");
4650b57cec5SDimitry Andric   return Entry->first();
4660b57cec5SDimitry Andric }
4670b57cec5SDimitry Andric 
4680b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
4690b57cec5SDimitry Andric // MDNode implementation.
4700b57cec5SDimitry Andric //
4710b57cec5SDimitry Andric 
4720b57cec5SDimitry Andric // Assert that the MDNode types will not be unaligned by the objects
4730b57cec5SDimitry Andric // prepended to them.
4740b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS)                                              \
4750b57cec5SDimitry Andric   static_assert(                                                               \
4760b57cec5SDimitry Andric       alignof(uint64_t) >= alignof(CLASS),                                     \
4770b57cec5SDimitry Andric       "Alignment is insufficient after objects prepended to " #CLASS);
4780b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
4790b57cec5SDimitry Andric 
4800b57cec5SDimitry Andric void *MDNode::operator new(size_t Size, unsigned NumOps) {
4810b57cec5SDimitry Andric   size_t OpSize = NumOps * sizeof(MDOperand);
4820b57cec5SDimitry Andric   // uint64_t is the most aligned type we need support (ensured by static_assert
4830b57cec5SDimitry Andric   // above)
4840b57cec5SDimitry Andric   OpSize = alignTo(OpSize, alignof(uint64_t));
4850b57cec5SDimitry Andric   void *Ptr = reinterpret_cast<char *>(::operator new(OpSize + Size)) + OpSize;
4860b57cec5SDimitry Andric   MDOperand *O = static_cast<MDOperand *>(Ptr);
4870b57cec5SDimitry Andric   for (MDOperand *E = O - NumOps; O != E; --O)
4880b57cec5SDimitry Andric     (void)new (O - 1) MDOperand;
4890b57cec5SDimitry Andric   return Ptr;
4900b57cec5SDimitry Andric }
4910b57cec5SDimitry Andric 
4920b57cec5SDimitry Andric void MDNode::operator delete(void *Mem) {
4930b57cec5SDimitry Andric   MDNode *N = static_cast<MDNode *>(Mem);
4940b57cec5SDimitry Andric   size_t OpSize = N->NumOperands * sizeof(MDOperand);
4950b57cec5SDimitry Andric   OpSize = alignTo(OpSize, alignof(uint64_t));
4960b57cec5SDimitry Andric 
4970b57cec5SDimitry Andric   MDOperand *O = static_cast<MDOperand *>(Mem);
4980b57cec5SDimitry Andric   for (MDOperand *E = O - N->NumOperands; O != E; --O)
4990b57cec5SDimitry Andric     (O - 1)->~MDOperand();
5000b57cec5SDimitry Andric   ::operator delete(reinterpret_cast<char *>(Mem) - OpSize);
5010b57cec5SDimitry Andric }
5020b57cec5SDimitry Andric 
5030b57cec5SDimitry Andric MDNode::MDNode(LLVMContext &Context, unsigned ID, StorageType Storage,
5040b57cec5SDimitry Andric                ArrayRef<Metadata *> Ops1, ArrayRef<Metadata *> Ops2)
5050b57cec5SDimitry Andric     : Metadata(ID, Storage), NumOperands(Ops1.size() + Ops2.size()),
5060b57cec5SDimitry Andric       NumUnresolved(0), Context(Context) {
5070b57cec5SDimitry Andric   unsigned Op = 0;
5080b57cec5SDimitry Andric   for (Metadata *MD : Ops1)
5090b57cec5SDimitry Andric     setOperand(Op++, MD);
5100b57cec5SDimitry Andric   for (Metadata *MD : Ops2)
5110b57cec5SDimitry Andric     setOperand(Op++, MD);
5120b57cec5SDimitry Andric 
5130b57cec5SDimitry Andric   if (!isUniqued())
5140b57cec5SDimitry Andric     return;
5150b57cec5SDimitry Andric 
5160b57cec5SDimitry Andric   // Count the unresolved operands.  If there are any, RAUW support will be
5170b57cec5SDimitry Andric   // added lazily on first reference.
5180b57cec5SDimitry Andric   countUnresolvedOperands();
5190b57cec5SDimitry Andric }
5200b57cec5SDimitry Andric 
5210b57cec5SDimitry Andric TempMDNode MDNode::clone() const {
5220b57cec5SDimitry Andric   switch (getMetadataID()) {
5230b57cec5SDimitry Andric   default:
5240b57cec5SDimitry Andric     llvm_unreachable("Invalid MDNode subclass");
5250b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS)                                              \
5260b57cec5SDimitry Andric   case CLASS##Kind:                                                            \
5270b57cec5SDimitry Andric     return cast<CLASS>(this)->cloneImpl();
5280b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
5290b57cec5SDimitry Andric   }
5300b57cec5SDimitry Andric }
5310b57cec5SDimitry Andric 
5320b57cec5SDimitry Andric static bool isOperandUnresolved(Metadata *Op) {
5330b57cec5SDimitry Andric   if (auto *N = dyn_cast_or_null<MDNode>(Op))
5340b57cec5SDimitry Andric     return !N->isResolved();
5350b57cec5SDimitry Andric   return false;
5360b57cec5SDimitry Andric }
5370b57cec5SDimitry Andric 
5380b57cec5SDimitry Andric void MDNode::countUnresolvedOperands() {
5390b57cec5SDimitry Andric   assert(NumUnresolved == 0 && "Expected unresolved ops to be uncounted");
5400b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5410b57cec5SDimitry Andric   NumUnresolved = count_if(operands(), isOperandUnresolved);
5420b57cec5SDimitry Andric }
5430b57cec5SDimitry Andric 
5440b57cec5SDimitry Andric void MDNode::makeUniqued() {
5450b57cec5SDimitry Andric   assert(isTemporary() && "Expected this to be temporary");
5460b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
5470b57cec5SDimitry Andric 
5480b57cec5SDimitry Andric   // Enable uniquing callbacks.
5490b57cec5SDimitry Andric   for (auto &Op : mutable_operands())
5500b57cec5SDimitry Andric     Op.reset(Op.get(), this);
5510b57cec5SDimitry Andric 
5520b57cec5SDimitry Andric   // Make this 'uniqued'.
5530b57cec5SDimitry Andric   Storage = Uniqued;
5540b57cec5SDimitry Andric   countUnresolvedOperands();
5550b57cec5SDimitry Andric   if (!NumUnresolved) {
5560b57cec5SDimitry Andric     dropReplaceableUses();
5570b57cec5SDimitry Andric     assert(isResolved() && "Expected this to be resolved");
5580b57cec5SDimitry Andric   }
5590b57cec5SDimitry Andric 
5600b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5610b57cec5SDimitry Andric }
5620b57cec5SDimitry Andric 
5630b57cec5SDimitry Andric void MDNode::makeDistinct() {
5640b57cec5SDimitry Andric   assert(isTemporary() && "Expected this to be temporary");
5650b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
5660b57cec5SDimitry Andric 
5670b57cec5SDimitry Andric   // Drop RAUW support and store as a distinct node.
5680b57cec5SDimitry Andric   dropReplaceableUses();
5690b57cec5SDimitry Andric   storeDistinctInContext();
5700b57cec5SDimitry Andric 
5710b57cec5SDimitry Andric   assert(isDistinct() && "Expected this to be distinct");
5720b57cec5SDimitry Andric   assert(isResolved() && "Expected this to be resolved");
5730b57cec5SDimitry Andric }
5740b57cec5SDimitry Andric 
5750b57cec5SDimitry Andric void MDNode::resolve() {
5760b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5770b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
5780b57cec5SDimitry Andric 
5790b57cec5SDimitry Andric   NumUnresolved = 0;
5800b57cec5SDimitry Andric   dropReplaceableUses();
5810b57cec5SDimitry Andric 
5820b57cec5SDimitry Andric   assert(isResolved() && "Expected this to be resolved");
5830b57cec5SDimitry Andric }
5840b57cec5SDimitry Andric 
5850b57cec5SDimitry Andric void MDNode::dropReplaceableUses() {
5860b57cec5SDimitry Andric   assert(!NumUnresolved && "Unexpected unresolved operand");
5870b57cec5SDimitry Andric 
5880b57cec5SDimitry Andric   // Drop any RAUW support.
5890b57cec5SDimitry Andric   if (Context.hasReplaceableUses())
5900b57cec5SDimitry Andric     Context.takeReplaceableUses()->resolveAllUses();
5910b57cec5SDimitry Andric }
5920b57cec5SDimitry Andric 
5930b57cec5SDimitry Andric void MDNode::resolveAfterOperandChange(Metadata *Old, Metadata *New) {
5940b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5950b57cec5SDimitry Andric   assert(NumUnresolved != 0 && "Expected unresolved operands");
5960b57cec5SDimitry Andric 
5970b57cec5SDimitry Andric   // Check if an operand was resolved.
5980b57cec5SDimitry Andric   if (!isOperandUnresolved(Old)) {
5990b57cec5SDimitry Andric     if (isOperandUnresolved(New))
6000b57cec5SDimitry Andric       // An operand was un-resolved!
6010b57cec5SDimitry Andric       ++NumUnresolved;
6020b57cec5SDimitry Andric   } else if (!isOperandUnresolved(New))
6030b57cec5SDimitry Andric     decrementUnresolvedOperandCount();
6040b57cec5SDimitry Andric }
6050b57cec5SDimitry Andric 
6060b57cec5SDimitry Andric void MDNode::decrementUnresolvedOperandCount() {
6070b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
6080b57cec5SDimitry Andric   if (isTemporary())
6090b57cec5SDimitry Andric     return;
6100b57cec5SDimitry Andric 
6110b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
6120b57cec5SDimitry Andric   if (--NumUnresolved)
6130b57cec5SDimitry Andric     return;
6140b57cec5SDimitry Andric 
6150b57cec5SDimitry Andric   // Last unresolved operand has just been resolved.
6160b57cec5SDimitry Andric   dropReplaceableUses();
6170b57cec5SDimitry Andric   assert(isResolved() && "Expected this to become resolved");
6180b57cec5SDimitry Andric }
6190b57cec5SDimitry Andric 
6200b57cec5SDimitry Andric void MDNode::resolveCycles() {
6210b57cec5SDimitry Andric   if (isResolved())
6220b57cec5SDimitry Andric     return;
6230b57cec5SDimitry Andric 
6240b57cec5SDimitry Andric   // Resolve this node immediately.
6250b57cec5SDimitry Andric   resolve();
6260b57cec5SDimitry Andric 
6270b57cec5SDimitry Andric   // Resolve all operands.
6280b57cec5SDimitry Andric   for (const auto &Op : operands()) {
6290b57cec5SDimitry Andric     auto *N = dyn_cast_or_null<MDNode>(Op);
6300b57cec5SDimitry Andric     if (!N)
6310b57cec5SDimitry Andric       continue;
6320b57cec5SDimitry Andric 
6330b57cec5SDimitry Andric     assert(!N->isTemporary() &&
6340b57cec5SDimitry Andric            "Expected all forward declarations to be resolved");
6350b57cec5SDimitry Andric     if (!N->isResolved())
6360b57cec5SDimitry Andric       N->resolveCycles();
6370b57cec5SDimitry Andric   }
6380b57cec5SDimitry Andric }
6390b57cec5SDimitry Andric 
6400b57cec5SDimitry Andric static bool hasSelfReference(MDNode *N) {
6410b57cec5SDimitry Andric   for (Metadata *MD : N->operands())
6420b57cec5SDimitry Andric     if (MD == N)
6430b57cec5SDimitry Andric       return true;
6440b57cec5SDimitry Andric   return false;
6450b57cec5SDimitry Andric }
6460b57cec5SDimitry Andric 
6470b57cec5SDimitry Andric MDNode *MDNode::replaceWithPermanentImpl() {
6480b57cec5SDimitry Andric   switch (getMetadataID()) {
6490b57cec5SDimitry Andric   default:
6500b57cec5SDimitry Andric     // If this type isn't uniquable, replace with a distinct node.
6510b57cec5SDimitry Andric     return replaceWithDistinctImpl();
6520b57cec5SDimitry Andric 
6530b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS)                                    \
6540b57cec5SDimitry Andric   case CLASS##Kind:                                                            \
6550b57cec5SDimitry Andric     break;
6560b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
6570b57cec5SDimitry Andric   }
6580b57cec5SDimitry Andric 
6590b57cec5SDimitry Andric   // Even if this type is uniquable, self-references have to be distinct.
6600b57cec5SDimitry Andric   if (hasSelfReference(this))
6610b57cec5SDimitry Andric     return replaceWithDistinctImpl();
6620b57cec5SDimitry Andric   return replaceWithUniquedImpl();
6630b57cec5SDimitry Andric }
6640b57cec5SDimitry Andric 
6650b57cec5SDimitry Andric MDNode *MDNode::replaceWithUniquedImpl() {
6660b57cec5SDimitry Andric   // Try to uniquify in place.
6670b57cec5SDimitry Andric   MDNode *UniquedNode = uniquify();
6680b57cec5SDimitry Andric 
6690b57cec5SDimitry Andric   if (UniquedNode == this) {
6700b57cec5SDimitry Andric     makeUniqued();
6710b57cec5SDimitry Andric     return this;
6720b57cec5SDimitry Andric   }
6730b57cec5SDimitry Andric 
6740b57cec5SDimitry Andric   // Collision, so RAUW instead.
6750b57cec5SDimitry Andric   replaceAllUsesWith(UniquedNode);
6760b57cec5SDimitry Andric   deleteAsSubclass();
6770b57cec5SDimitry Andric   return UniquedNode;
6780b57cec5SDimitry Andric }
6790b57cec5SDimitry Andric 
6800b57cec5SDimitry Andric MDNode *MDNode::replaceWithDistinctImpl() {
6810b57cec5SDimitry Andric   makeDistinct();
6820b57cec5SDimitry Andric   return this;
6830b57cec5SDimitry Andric }
6840b57cec5SDimitry Andric 
6850b57cec5SDimitry Andric void MDTuple::recalculateHash() {
6860b57cec5SDimitry Andric   setHash(MDTupleInfo::KeyTy::calculateHash(this));
6870b57cec5SDimitry Andric }
6880b57cec5SDimitry Andric 
6890b57cec5SDimitry Andric void MDNode::dropAllReferences() {
6900b57cec5SDimitry Andric   for (unsigned I = 0, E = NumOperands; I != E; ++I)
6910b57cec5SDimitry Andric     setOperand(I, nullptr);
6920b57cec5SDimitry Andric   if (Context.hasReplaceableUses()) {
6930b57cec5SDimitry Andric     Context.getReplaceableUses()->resolveAllUses(/* ResolveUsers */ false);
6940b57cec5SDimitry Andric     (void)Context.takeReplaceableUses();
6950b57cec5SDimitry Andric   }
6960b57cec5SDimitry Andric }
6970b57cec5SDimitry Andric 
6980b57cec5SDimitry Andric void MDNode::handleChangedOperand(void *Ref, Metadata *New) {
6990b57cec5SDimitry Andric   unsigned Op = static_cast<MDOperand *>(Ref) - op_begin();
7000b57cec5SDimitry Andric   assert(Op < getNumOperands() && "Expected valid operand");
7010b57cec5SDimitry Andric 
7020b57cec5SDimitry Andric   if (!isUniqued()) {
7030b57cec5SDimitry Andric     // This node is not uniqued.  Just set the operand and be done with it.
7040b57cec5SDimitry Andric     setOperand(Op, New);
7050b57cec5SDimitry Andric     return;
7060b57cec5SDimitry Andric   }
7070b57cec5SDimitry Andric 
7080b57cec5SDimitry Andric   // This node is uniqued.
7090b57cec5SDimitry Andric   eraseFromStore();
7100b57cec5SDimitry Andric 
7110b57cec5SDimitry Andric   Metadata *Old = getOperand(Op);
7120b57cec5SDimitry Andric   setOperand(Op, New);
7130b57cec5SDimitry Andric 
7140b57cec5SDimitry Andric   // Drop uniquing for self-reference cycles and deleted constants.
7150b57cec5SDimitry Andric   if (New == this || (!New && Old && isa<ConstantAsMetadata>(Old))) {
7160b57cec5SDimitry Andric     if (!isResolved())
7170b57cec5SDimitry Andric       resolve();
7180b57cec5SDimitry Andric     storeDistinctInContext();
7190b57cec5SDimitry Andric     return;
7200b57cec5SDimitry Andric   }
7210b57cec5SDimitry Andric 
7220b57cec5SDimitry Andric   // Re-unique the node.
7230b57cec5SDimitry Andric   auto *Uniqued = uniquify();
7240b57cec5SDimitry Andric   if (Uniqued == this) {
7250b57cec5SDimitry Andric     if (!isResolved())
7260b57cec5SDimitry Andric       resolveAfterOperandChange(Old, New);
7270b57cec5SDimitry Andric     return;
7280b57cec5SDimitry Andric   }
7290b57cec5SDimitry Andric 
7300b57cec5SDimitry Andric   // Collision.
7310b57cec5SDimitry Andric   if (!isResolved()) {
7320b57cec5SDimitry Andric     // Still unresolved, so RAUW.
7330b57cec5SDimitry Andric     //
7340b57cec5SDimitry Andric     // First, clear out all operands to prevent any recursion (similar to
7350b57cec5SDimitry Andric     // dropAllReferences(), but we still need the use-list).
7360b57cec5SDimitry Andric     for (unsigned O = 0, E = getNumOperands(); O != E; ++O)
7370b57cec5SDimitry Andric       setOperand(O, nullptr);
7380b57cec5SDimitry Andric     if (Context.hasReplaceableUses())
7390b57cec5SDimitry Andric       Context.getReplaceableUses()->replaceAllUsesWith(Uniqued);
7400b57cec5SDimitry Andric     deleteAsSubclass();
7410b57cec5SDimitry Andric     return;
7420b57cec5SDimitry Andric   }
7430b57cec5SDimitry Andric 
7440b57cec5SDimitry Andric   // Store in non-uniqued form if RAUW isn't possible.
7450b57cec5SDimitry Andric   storeDistinctInContext();
7460b57cec5SDimitry Andric }
7470b57cec5SDimitry Andric 
7480b57cec5SDimitry Andric void MDNode::deleteAsSubclass() {
7490b57cec5SDimitry Andric   switch (getMetadataID()) {
7500b57cec5SDimitry Andric   default:
7510b57cec5SDimitry Andric     llvm_unreachable("Invalid subclass of MDNode");
7520b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS)                                              \
7530b57cec5SDimitry Andric   case CLASS##Kind:                                                            \
7540b57cec5SDimitry Andric     delete cast<CLASS>(this);                                                  \
7550b57cec5SDimitry Andric     break;
7560b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
7570b57cec5SDimitry Andric   }
7580b57cec5SDimitry Andric }
7590b57cec5SDimitry Andric 
7600b57cec5SDimitry Andric template <class T, class InfoT>
7610b57cec5SDimitry Andric static T *uniquifyImpl(T *N, DenseSet<T *, InfoT> &Store) {
7620b57cec5SDimitry Andric   if (T *U = getUniqued(Store, N))
7630b57cec5SDimitry Andric     return U;
7640b57cec5SDimitry Andric 
7650b57cec5SDimitry Andric   Store.insert(N);
7660b57cec5SDimitry Andric   return N;
7670b57cec5SDimitry Andric }
7680b57cec5SDimitry Andric 
7690b57cec5SDimitry Andric template <class NodeTy> struct MDNode::HasCachedHash {
7700b57cec5SDimitry Andric   using Yes = char[1];
7710b57cec5SDimitry Andric   using No = char[2];
7720b57cec5SDimitry Andric   template <class U, U Val> struct SFINAE {};
7730b57cec5SDimitry Andric 
7740b57cec5SDimitry Andric   template <class U>
7750b57cec5SDimitry Andric   static Yes &check(SFINAE<void (U::*)(unsigned), &U::setHash> *);
7760b57cec5SDimitry Andric   template <class U> static No &check(...);
7770b57cec5SDimitry Andric 
7780b57cec5SDimitry Andric   static const bool value = sizeof(check<NodeTy>(nullptr)) == sizeof(Yes);
7790b57cec5SDimitry Andric };
7800b57cec5SDimitry Andric 
7810b57cec5SDimitry Andric MDNode *MDNode::uniquify() {
7820b57cec5SDimitry Andric   assert(!hasSelfReference(this) && "Cannot uniquify a self-referencing node");
7830b57cec5SDimitry Andric 
7840b57cec5SDimitry Andric   // Try to insert into uniquing store.
7850b57cec5SDimitry Andric   switch (getMetadataID()) {
7860b57cec5SDimitry Andric   default:
7870b57cec5SDimitry Andric     llvm_unreachable("Invalid or non-uniquable subclass of MDNode");
7880b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS)                                    \
7890b57cec5SDimitry Andric   case CLASS##Kind: {                                                          \
7900b57cec5SDimitry Andric     CLASS *SubclassThis = cast<CLASS>(this);                                   \
7910b57cec5SDimitry Andric     std::integral_constant<bool, HasCachedHash<CLASS>::value>                  \
7920b57cec5SDimitry Andric         ShouldRecalculateHash;                                                 \
7930b57cec5SDimitry Andric     dispatchRecalculateHash(SubclassThis, ShouldRecalculateHash);              \
7940b57cec5SDimitry Andric     return uniquifyImpl(SubclassThis, getContext().pImpl->CLASS##s);           \
7950b57cec5SDimitry Andric   }
7960b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
7970b57cec5SDimitry Andric   }
7980b57cec5SDimitry Andric }
7990b57cec5SDimitry Andric 
8000b57cec5SDimitry Andric void MDNode::eraseFromStore() {
8010b57cec5SDimitry Andric   switch (getMetadataID()) {
8020b57cec5SDimitry Andric   default:
8030b57cec5SDimitry Andric     llvm_unreachable("Invalid or non-uniquable subclass of MDNode");
8040b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS)                                    \
8050b57cec5SDimitry Andric   case CLASS##Kind:                                                            \
8060b57cec5SDimitry Andric     getContext().pImpl->CLASS##s.erase(cast<CLASS>(this));                     \
8070b57cec5SDimitry Andric     break;
8080b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
8090b57cec5SDimitry Andric   }
8100b57cec5SDimitry Andric }
8110b57cec5SDimitry Andric 
8120b57cec5SDimitry Andric MDTuple *MDTuple::getImpl(LLVMContext &Context, ArrayRef<Metadata *> MDs,
8130b57cec5SDimitry Andric                           StorageType Storage, bool ShouldCreate) {
8140b57cec5SDimitry Andric   unsigned Hash = 0;
8150b57cec5SDimitry Andric   if (Storage == Uniqued) {
8160b57cec5SDimitry Andric     MDTupleInfo::KeyTy Key(MDs);
8170b57cec5SDimitry Andric     if (auto *N = getUniqued(Context.pImpl->MDTuples, Key))
8180b57cec5SDimitry Andric       return N;
8190b57cec5SDimitry Andric     if (!ShouldCreate)
8200b57cec5SDimitry Andric       return nullptr;
8210b57cec5SDimitry Andric     Hash = Key.getHash();
8220b57cec5SDimitry Andric   } else {
8230b57cec5SDimitry Andric     assert(ShouldCreate && "Expected non-uniqued nodes to always be created");
8240b57cec5SDimitry Andric   }
8250b57cec5SDimitry Andric 
8260b57cec5SDimitry Andric   return storeImpl(new (MDs.size()) MDTuple(Context, Storage, Hash, MDs),
8270b57cec5SDimitry Andric                    Storage, Context.pImpl->MDTuples);
8280b57cec5SDimitry Andric }
8290b57cec5SDimitry Andric 
8300b57cec5SDimitry Andric void MDNode::deleteTemporary(MDNode *N) {
8310b57cec5SDimitry Andric   assert(N->isTemporary() && "Expected temporary node");
8320b57cec5SDimitry Andric   N->replaceAllUsesWith(nullptr);
8330b57cec5SDimitry Andric   N->deleteAsSubclass();
8340b57cec5SDimitry Andric }
8350b57cec5SDimitry Andric 
8360b57cec5SDimitry Andric void MDNode::storeDistinctInContext() {
8370b57cec5SDimitry Andric   assert(!Context.hasReplaceableUses() && "Unexpected replaceable uses");
8380b57cec5SDimitry Andric   assert(!NumUnresolved && "Unexpected unresolved nodes");
8390b57cec5SDimitry Andric   Storage = Distinct;
8400b57cec5SDimitry Andric   assert(isResolved() && "Expected this to be resolved");
8410b57cec5SDimitry Andric 
8420b57cec5SDimitry Andric   // Reset the hash.
8430b57cec5SDimitry Andric   switch (getMetadataID()) {
8440b57cec5SDimitry Andric   default:
8450b57cec5SDimitry Andric     llvm_unreachable("Invalid subclass of MDNode");
8460b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS)                                              \
8470b57cec5SDimitry Andric   case CLASS##Kind: {                                                          \
8480b57cec5SDimitry Andric     std::integral_constant<bool, HasCachedHash<CLASS>::value> ShouldResetHash; \
8490b57cec5SDimitry Andric     dispatchResetHash(cast<CLASS>(this), ShouldResetHash);                     \
8500b57cec5SDimitry Andric     break;                                                                     \
8510b57cec5SDimitry Andric   }
8520b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
8530b57cec5SDimitry Andric   }
8540b57cec5SDimitry Andric 
8550b57cec5SDimitry Andric   getContext().pImpl->DistinctMDNodes.push_back(this);
8560b57cec5SDimitry Andric }
8570b57cec5SDimitry Andric 
8580b57cec5SDimitry Andric void MDNode::replaceOperandWith(unsigned I, Metadata *New) {
8590b57cec5SDimitry Andric   if (getOperand(I) == New)
8600b57cec5SDimitry Andric     return;
8610b57cec5SDimitry Andric 
8620b57cec5SDimitry Andric   if (!isUniqued()) {
8630b57cec5SDimitry Andric     setOperand(I, New);
8640b57cec5SDimitry Andric     return;
8650b57cec5SDimitry Andric   }
8660b57cec5SDimitry Andric 
8670b57cec5SDimitry Andric   handleChangedOperand(mutable_begin() + I, New);
8680b57cec5SDimitry Andric }
8690b57cec5SDimitry Andric 
8700b57cec5SDimitry Andric void MDNode::setOperand(unsigned I, Metadata *New) {
8710b57cec5SDimitry Andric   assert(I < NumOperands);
8720b57cec5SDimitry Andric   mutable_begin()[I].reset(New, isUniqued() ? this : nullptr);
8730b57cec5SDimitry Andric }
8740b57cec5SDimitry Andric 
8750b57cec5SDimitry Andric /// Get a node or a self-reference that looks like it.
8760b57cec5SDimitry Andric ///
8770b57cec5SDimitry Andric /// Special handling for finding self-references, for use by \a
8780b57cec5SDimitry Andric /// MDNode::concatenate() and \a MDNode::intersect() to maintain behaviour from
8790b57cec5SDimitry Andric /// when self-referencing nodes were still uniqued.  If the first operand has
8800b57cec5SDimitry Andric /// the same operands as \c Ops, return the first operand instead.
8810b57cec5SDimitry Andric static MDNode *getOrSelfReference(LLVMContext &Context,
8820b57cec5SDimitry Andric                                   ArrayRef<Metadata *> Ops) {
8830b57cec5SDimitry Andric   if (!Ops.empty())
8840b57cec5SDimitry Andric     if (MDNode *N = dyn_cast_or_null<MDNode>(Ops[0]))
8850b57cec5SDimitry Andric       if (N->getNumOperands() == Ops.size() && N == N->getOperand(0)) {
8860b57cec5SDimitry Andric         for (unsigned I = 1, E = Ops.size(); I != E; ++I)
8870b57cec5SDimitry Andric           if (Ops[I] != N->getOperand(I))
8880b57cec5SDimitry Andric             return MDNode::get(Context, Ops);
8890b57cec5SDimitry Andric         return N;
8900b57cec5SDimitry Andric       }
8910b57cec5SDimitry Andric 
8920b57cec5SDimitry Andric   return MDNode::get(Context, Ops);
8930b57cec5SDimitry Andric }
8940b57cec5SDimitry Andric 
8950b57cec5SDimitry Andric MDNode *MDNode::concatenate(MDNode *A, MDNode *B) {
8960b57cec5SDimitry Andric   if (!A)
8970b57cec5SDimitry Andric     return B;
8980b57cec5SDimitry Andric   if (!B)
8990b57cec5SDimitry Andric     return A;
9000b57cec5SDimitry Andric 
9010b57cec5SDimitry Andric   SmallSetVector<Metadata *, 4> MDs(A->op_begin(), A->op_end());
9020b57cec5SDimitry Andric   MDs.insert(B->op_begin(), B->op_end());
9030b57cec5SDimitry Andric 
9040b57cec5SDimitry Andric   // FIXME: This preserves long-standing behaviour, but is it really the right
9050b57cec5SDimitry Andric   // behaviour?  Or was that an unintended side-effect of node uniquing?
9060b57cec5SDimitry Andric   return getOrSelfReference(A->getContext(), MDs.getArrayRef());
9070b57cec5SDimitry Andric }
9080b57cec5SDimitry Andric 
9090b57cec5SDimitry Andric MDNode *MDNode::intersect(MDNode *A, MDNode *B) {
9100b57cec5SDimitry Andric   if (!A || !B)
9110b57cec5SDimitry Andric     return nullptr;
9120b57cec5SDimitry Andric 
9130b57cec5SDimitry Andric   SmallSetVector<Metadata *, 4> MDs(A->op_begin(), A->op_end());
9140b57cec5SDimitry Andric   SmallPtrSet<Metadata *, 4> BSet(B->op_begin(), B->op_end());
9150b57cec5SDimitry Andric   MDs.remove_if([&](Metadata *MD) { return !is_contained(BSet, MD); });
9160b57cec5SDimitry Andric 
9170b57cec5SDimitry Andric   // FIXME: This preserves long-standing behaviour, but is it really the right
9180b57cec5SDimitry Andric   // behaviour?  Or was that an unintended side-effect of node uniquing?
9190b57cec5SDimitry Andric   return getOrSelfReference(A->getContext(), MDs.getArrayRef());
9200b57cec5SDimitry Andric }
9210b57cec5SDimitry Andric 
9220b57cec5SDimitry Andric MDNode *MDNode::getMostGenericAliasScope(MDNode *A, MDNode *B) {
9230b57cec5SDimitry Andric   if (!A || !B)
9240b57cec5SDimitry Andric     return nullptr;
9250b57cec5SDimitry Andric 
9260b57cec5SDimitry Andric   return concatenate(A, B);
9270b57cec5SDimitry Andric }
9280b57cec5SDimitry Andric 
9290b57cec5SDimitry Andric MDNode *MDNode::getMostGenericFPMath(MDNode *A, MDNode *B) {
9300b57cec5SDimitry Andric   if (!A || !B)
9310b57cec5SDimitry Andric     return nullptr;
9320b57cec5SDimitry Andric 
9330b57cec5SDimitry Andric   APFloat AVal = mdconst::extract<ConstantFP>(A->getOperand(0))->getValueAPF();
9340b57cec5SDimitry Andric   APFloat BVal = mdconst::extract<ConstantFP>(B->getOperand(0))->getValueAPF();
9350b57cec5SDimitry Andric   if (AVal.compare(BVal) == APFloat::cmpLessThan)
9360b57cec5SDimitry Andric     return A;
9370b57cec5SDimitry Andric   return B;
9380b57cec5SDimitry Andric }
9390b57cec5SDimitry Andric 
9400b57cec5SDimitry Andric static bool isContiguous(const ConstantRange &A, const ConstantRange &B) {
9410b57cec5SDimitry Andric   return A.getUpper() == B.getLower() || A.getLower() == B.getUpper();
9420b57cec5SDimitry Andric }
9430b57cec5SDimitry Andric 
9440b57cec5SDimitry Andric static bool canBeMerged(const ConstantRange &A, const ConstantRange &B) {
9450b57cec5SDimitry Andric   return !A.intersectWith(B).isEmptySet() || isContiguous(A, B);
9460b57cec5SDimitry Andric }
9470b57cec5SDimitry Andric 
9480b57cec5SDimitry Andric static bool tryMergeRange(SmallVectorImpl<ConstantInt *> &EndPoints,
9490b57cec5SDimitry Andric                           ConstantInt *Low, ConstantInt *High) {
9500b57cec5SDimitry Andric   ConstantRange NewRange(Low->getValue(), High->getValue());
9510b57cec5SDimitry Andric   unsigned Size = EndPoints.size();
9520b57cec5SDimitry Andric   APInt LB = EndPoints[Size - 2]->getValue();
9530b57cec5SDimitry Andric   APInt LE = EndPoints[Size - 1]->getValue();
9540b57cec5SDimitry Andric   ConstantRange LastRange(LB, LE);
9550b57cec5SDimitry Andric   if (canBeMerged(NewRange, LastRange)) {
9560b57cec5SDimitry Andric     ConstantRange Union = LastRange.unionWith(NewRange);
9570b57cec5SDimitry Andric     Type *Ty = High->getType();
9580b57cec5SDimitry Andric     EndPoints[Size - 2] =
9590b57cec5SDimitry Andric         cast<ConstantInt>(ConstantInt::get(Ty, Union.getLower()));
9600b57cec5SDimitry Andric     EndPoints[Size - 1] =
9610b57cec5SDimitry Andric         cast<ConstantInt>(ConstantInt::get(Ty, Union.getUpper()));
9620b57cec5SDimitry Andric     return true;
9630b57cec5SDimitry Andric   }
9640b57cec5SDimitry Andric   return false;
9650b57cec5SDimitry Andric }
9660b57cec5SDimitry Andric 
9670b57cec5SDimitry Andric static void addRange(SmallVectorImpl<ConstantInt *> &EndPoints,
9680b57cec5SDimitry Andric                      ConstantInt *Low, ConstantInt *High) {
9690b57cec5SDimitry Andric   if (!EndPoints.empty())
9700b57cec5SDimitry Andric     if (tryMergeRange(EndPoints, Low, High))
9710b57cec5SDimitry Andric       return;
9720b57cec5SDimitry Andric 
9730b57cec5SDimitry Andric   EndPoints.push_back(Low);
9740b57cec5SDimitry Andric   EndPoints.push_back(High);
9750b57cec5SDimitry Andric }
9760b57cec5SDimitry Andric 
9770b57cec5SDimitry Andric MDNode *MDNode::getMostGenericRange(MDNode *A, MDNode *B) {
9780b57cec5SDimitry Andric   // Given two ranges, we want to compute the union of the ranges. This
9790b57cec5SDimitry Andric   // is slightly complicated by having to combine the intervals and merge
9800b57cec5SDimitry Andric   // the ones that overlap.
9810b57cec5SDimitry Andric 
9820b57cec5SDimitry Andric   if (!A || !B)
9830b57cec5SDimitry Andric     return nullptr;
9840b57cec5SDimitry Andric 
9850b57cec5SDimitry Andric   if (A == B)
9860b57cec5SDimitry Andric     return A;
9870b57cec5SDimitry Andric 
9880b57cec5SDimitry Andric   // First, walk both lists in order of the lower boundary of each interval.
9890b57cec5SDimitry Andric   // At each step, try to merge the new interval to the last one we adedd.
9900b57cec5SDimitry Andric   SmallVector<ConstantInt *, 4> EndPoints;
9910b57cec5SDimitry Andric   int AI = 0;
9920b57cec5SDimitry Andric   int BI = 0;
9930b57cec5SDimitry Andric   int AN = A->getNumOperands() / 2;
9940b57cec5SDimitry Andric   int BN = B->getNumOperands() / 2;
9950b57cec5SDimitry Andric   while (AI < AN && BI < BN) {
9960b57cec5SDimitry Andric     ConstantInt *ALow = mdconst::extract<ConstantInt>(A->getOperand(2 * AI));
9970b57cec5SDimitry Andric     ConstantInt *BLow = mdconst::extract<ConstantInt>(B->getOperand(2 * BI));
9980b57cec5SDimitry Andric 
9990b57cec5SDimitry Andric     if (ALow->getValue().slt(BLow->getValue())) {
10000b57cec5SDimitry Andric       addRange(EndPoints, ALow,
10010b57cec5SDimitry Andric                mdconst::extract<ConstantInt>(A->getOperand(2 * AI + 1)));
10020b57cec5SDimitry Andric       ++AI;
10030b57cec5SDimitry Andric     } else {
10040b57cec5SDimitry Andric       addRange(EndPoints, BLow,
10050b57cec5SDimitry Andric                mdconst::extract<ConstantInt>(B->getOperand(2 * BI + 1)));
10060b57cec5SDimitry Andric       ++BI;
10070b57cec5SDimitry Andric     }
10080b57cec5SDimitry Andric   }
10090b57cec5SDimitry Andric   while (AI < AN) {
10100b57cec5SDimitry Andric     addRange(EndPoints, mdconst::extract<ConstantInt>(A->getOperand(2 * AI)),
10110b57cec5SDimitry Andric              mdconst::extract<ConstantInt>(A->getOperand(2 * AI + 1)));
10120b57cec5SDimitry Andric     ++AI;
10130b57cec5SDimitry Andric   }
10140b57cec5SDimitry Andric   while (BI < BN) {
10150b57cec5SDimitry Andric     addRange(EndPoints, mdconst::extract<ConstantInt>(B->getOperand(2 * BI)),
10160b57cec5SDimitry Andric              mdconst::extract<ConstantInt>(B->getOperand(2 * BI + 1)));
10170b57cec5SDimitry Andric     ++BI;
10180b57cec5SDimitry Andric   }
10190b57cec5SDimitry Andric 
10200b57cec5SDimitry Andric   // If we have more than 2 ranges (4 endpoints) we have to try to merge
10210b57cec5SDimitry Andric   // the last and first ones.
10220b57cec5SDimitry Andric   unsigned Size = EndPoints.size();
10230b57cec5SDimitry Andric   if (Size > 4) {
10240b57cec5SDimitry Andric     ConstantInt *FB = EndPoints[0];
10250b57cec5SDimitry Andric     ConstantInt *FE = EndPoints[1];
10260b57cec5SDimitry Andric     if (tryMergeRange(EndPoints, FB, FE)) {
10270b57cec5SDimitry Andric       for (unsigned i = 0; i < Size - 2; ++i) {
10280b57cec5SDimitry Andric         EndPoints[i] = EndPoints[i + 2];
10290b57cec5SDimitry Andric       }
10300b57cec5SDimitry Andric       EndPoints.resize(Size - 2);
10310b57cec5SDimitry Andric     }
10320b57cec5SDimitry Andric   }
10330b57cec5SDimitry Andric 
10340b57cec5SDimitry Andric   // If in the end we have a single range, it is possible that it is now the
10350b57cec5SDimitry Andric   // full range. Just drop the metadata in that case.
10360b57cec5SDimitry Andric   if (EndPoints.size() == 2) {
10370b57cec5SDimitry Andric     ConstantRange Range(EndPoints[0]->getValue(), EndPoints[1]->getValue());
10380b57cec5SDimitry Andric     if (Range.isFullSet())
10390b57cec5SDimitry Andric       return nullptr;
10400b57cec5SDimitry Andric   }
10410b57cec5SDimitry Andric 
10420b57cec5SDimitry Andric   SmallVector<Metadata *, 4> MDs;
10430b57cec5SDimitry Andric   MDs.reserve(EndPoints.size());
10440b57cec5SDimitry Andric   for (auto *I : EndPoints)
10450b57cec5SDimitry Andric     MDs.push_back(ConstantAsMetadata::get(I));
10460b57cec5SDimitry Andric   return MDNode::get(A->getContext(), MDs);
10470b57cec5SDimitry Andric }
10480b57cec5SDimitry Andric 
10490b57cec5SDimitry Andric MDNode *MDNode::getMostGenericAlignmentOrDereferenceable(MDNode *A, MDNode *B) {
10500b57cec5SDimitry Andric   if (!A || !B)
10510b57cec5SDimitry Andric     return nullptr;
10520b57cec5SDimitry Andric 
10530b57cec5SDimitry Andric   ConstantInt *AVal = mdconst::extract<ConstantInt>(A->getOperand(0));
10540b57cec5SDimitry Andric   ConstantInt *BVal = mdconst::extract<ConstantInt>(B->getOperand(0));
10550b57cec5SDimitry Andric   if (AVal->getZExtValue() < BVal->getZExtValue())
10560b57cec5SDimitry Andric     return A;
10570b57cec5SDimitry Andric   return B;
10580b57cec5SDimitry Andric }
10590b57cec5SDimitry Andric 
10600b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
10610b57cec5SDimitry Andric // NamedMDNode implementation.
10620b57cec5SDimitry Andric //
10630b57cec5SDimitry Andric 
10640b57cec5SDimitry Andric static SmallVector<TrackingMDRef, 4> &getNMDOps(void *Operands) {
10650b57cec5SDimitry Andric   return *(SmallVector<TrackingMDRef, 4> *)Operands;
10660b57cec5SDimitry Andric }
10670b57cec5SDimitry Andric 
10680b57cec5SDimitry Andric NamedMDNode::NamedMDNode(const Twine &N)
10690b57cec5SDimitry Andric     : Name(N.str()), Operands(new SmallVector<TrackingMDRef, 4>()) {}
10700b57cec5SDimitry Andric 
10710b57cec5SDimitry Andric NamedMDNode::~NamedMDNode() {
10720b57cec5SDimitry Andric   dropAllReferences();
10730b57cec5SDimitry Andric   delete &getNMDOps(Operands);
10740b57cec5SDimitry Andric }
10750b57cec5SDimitry Andric 
10760b57cec5SDimitry Andric unsigned NamedMDNode::getNumOperands() const {
10770b57cec5SDimitry Andric   return (unsigned)getNMDOps(Operands).size();
10780b57cec5SDimitry Andric }
10790b57cec5SDimitry Andric 
10800b57cec5SDimitry Andric MDNode *NamedMDNode::getOperand(unsigned i) const {
10810b57cec5SDimitry Andric   assert(i < getNumOperands() && "Invalid Operand number!");
10820b57cec5SDimitry Andric   auto *N = getNMDOps(Operands)[i].get();
10830b57cec5SDimitry Andric   return cast_or_null<MDNode>(N);
10840b57cec5SDimitry Andric }
10850b57cec5SDimitry Andric 
10860b57cec5SDimitry Andric void NamedMDNode::addOperand(MDNode *M) { getNMDOps(Operands).emplace_back(M); }
10870b57cec5SDimitry Andric 
10880b57cec5SDimitry Andric void NamedMDNode::setOperand(unsigned I, MDNode *New) {
10890b57cec5SDimitry Andric   assert(I < getNumOperands() && "Invalid operand number");
10900b57cec5SDimitry Andric   getNMDOps(Operands)[I].reset(New);
10910b57cec5SDimitry Andric }
10920b57cec5SDimitry Andric 
10930b57cec5SDimitry Andric void NamedMDNode::eraseFromParent() { getParent()->eraseNamedMetadata(this); }
10940b57cec5SDimitry Andric 
10950b57cec5SDimitry Andric void NamedMDNode::clearOperands() { getNMDOps(Operands).clear(); }
10960b57cec5SDimitry Andric 
10970b57cec5SDimitry Andric StringRef NamedMDNode::getName() const { return StringRef(Name); }
10980b57cec5SDimitry Andric 
10990b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
11000b57cec5SDimitry Andric // Instruction Metadata method implementations.
11010b57cec5SDimitry Andric //
11020b57cec5SDimitry Andric void MDAttachmentMap::set(unsigned ID, MDNode &MD) {
11030b57cec5SDimitry Andric   for (auto &I : Attachments)
11040b57cec5SDimitry Andric     if (I.first == ID) {
11050b57cec5SDimitry Andric       I.second.reset(&MD);
11060b57cec5SDimitry Andric       return;
11070b57cec5SDimitry Andric     }
11080b57cec5SDimitry Andric   Attachments.emplace_back(std::piecewise_construct, std::make_tuple(ID),
11090b57cec5SDimitry Andric                            std::make_tuple(&MD));
11100b57cec5SDimitry Andric }
11110b57cec5SDimitry Andric 
11120b57cec5SDimitry Andric bool MDAttachmentMap::erase(unsigned ID) {
11130b57cec5SDimitry Andric   if (empty())
11140b57cec5SDimitry Andric     return false;
11150b57cec5SDimitry Andric 
11160b57cec5SDimitry Andric   // Common case is one/last value.
11170b57cec5SDimitry Andric   if (Attachments.back().first == ID) {
11180b57cec5SDimitry Andric     Attachments.pop_back();
11190b57cec5SDimitry Andric     return true;
11200b57cec5SDimitry Andric   }
11210b57cec5SDimitry Andric 
11220b57cec5SDimitry Andric   for (auto I = Attachments.begin(), E = std::prev(Attachments.end()); I != E;
11230b57cec5SDimitry Andric        ++I)
11240b57cec5SDimitry Andric     if (I->first == ID) {
11250b57cec5SDimitry Andric       *I = std::move(Attachments.back());
11260b57cec5SDimitry Andric       Attachments.pop_back();
11270b57cec5SDimitry Andric       return true;
11280b57cec5SDimitry Andric     }
11290b57cec5SDimitry Andric 
11300b57cec5SDimitry Andric   return false;
11310b57cec5SDimitry Andric }
11320b57cec5SDimitry Andric 
11330b57cec5SDimitry Andric MDNode *MDAttachmentMap::lookup(unsigned ID) const {
11340b57cec5SDimitry Andric   for (const auto &I : Attachments)
11350b57cec5SDimitry Andric     if (I.first == ID)
11360b57cec5SDimitry Andric       return I.second;
11370b57cec5SDimitry Andric   return nullptr;
11380b57cec5SDimitry Andric }
11390b57cec5SDimitry Andric 
11400b57cec5SDimitry Andric void MDAttachmentMap::getAll(
11410b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
11420b57cec5SDimitry Andric   Result.append(Attachments.begin(), Attachments.end());
11430b57cec5SDimitry Andric 
11440b57cec5SDimitry Andric   // Sort the resulting array so it is stable.
11450b57cec5SDimitry Andric   if (Result.size() > 1)
11460b57cec5SDimitry Andric     array_pod_sort(Result.begin(), Result.end());
11470b57cec5SDimitry Andric }
11480b57cec5SDimitry Andric 
11490b57cec5SDimitry Andric void MDGlobalAttachmentMap::insert(unsigned ID, MDNode &MD) {
11500b57cec5SDimitry Andric   Attachments.push_back({ID, TrackingMDNodeRef(&MD)});
11510b57cec5SDimitry Andric }
11520b57cec5SDimitry Andric 
11530b57cec5SDimitry Andric MDNode *MDGlobalAttachmentMap::lookup(unsigned ID) const {
11540b57cec5SDimitry Andric   for (const auto &A : Attachments)
11550b57cec5SDimitry Andric     if (A.MDKind == ID)
11560b57cec5SDimitry Andric       return A.Node;
11570b57cec5SDimitry Andric   return nullptr;
11580b57cec5SDimitry Andric }
11590b57cec5SDimitry Andric 
11600b57cec5SDimitry Andric void MDGlobalAttachmentMap::get(unsigned ID,
11610b57cec5SDimitry Andric                                 SmallVectorImpl<MDNode *> &Result) const {
11620b57cec5SDimitry Andric   for (const auto &A : Attachments)
11630b57cec5SDimitry Andric     if (A.MDKind == ID)
11640b57cec5SDimitry Andric       Result.push_back(A.Node);
11650b57cec5SDimitry Andric }
11660b57cec5SDimitry Andric 
11670b57cec5SDimitry Andric bool MDGlobalAttachmentMap::erase(unsigned ID) {
11680b57cec5SDimitry Andric   auto I = std::remove_if(Attachments.begin(), Attachments.end(),
11690b57cec5SDimitry Andric                           [ID](const Attachment &A) { return A.MDKind == ID; });
11700b57cec5SDimitry Andric   bool Changed = I != Attachments.end();
11710b57cec5SDimitry Andric   Attachments.erase(I, Attachments.end());
11720b57cec5SDimitry Andric   return Changed;
11730b57cec5SDimitry Andric }
11740b57cec5SDimitry Andric 
11750b57cec5SDimitry Andric void MDGlobalAttachmentMap::getAll(
11760b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
11770b57cec5SDimitry Andric   for (const auto &A : Attachments)
11780b57cec5SDimitry Andric     Result.emplace_back(A.MDKind, A.Node);
11790b57cec5SDimitry Andric 
11800b57cec5SDimitry Andric   // Sort the resulting array so it is stable with respect to metadata IDs. We
11810b57cec5SDimitry Andric   // need to preserve the original insertion order though.
11820b57cec5SDimitry Andric   llvm::stable_sort(Result, less_first());
11830b57cec5SDimitry Andric }
11840b57cec5SDimitry Andric 
11850b57cec5SDimitry Andric void Instruction::setMetadata(StringRef Kind, MDNode *Node) {
11860b57cec5SDimitry Andric   if (!Node && !hasMetadata())
11870b57cec5SDimitry Andric     return;
11880b57cec5SDimitry Andric   setMetadata(getContext().getMDKindID(Kind), Node);
11890b57cec5SDimitry Andric }
11900b57cec5SDimitry Andric 
11910b57cec5SDimitry Andric MDNode *Instruction::getMetadataImpl(StringRef Kind) const {
11920b57cec5SDimitry Andric   return getMetadataImpl(getContext().getMDKindID(Kind));
11930b57cec5SDimitry Andric }
11940b57cec5SDimitry Andric 
11950b57cec5SDimitry Andric void Instruction::dropUnknownNonDebugMetadata(ArrayRef<unsigned> KnownIDs) {
11960b57cec5SDimitry Andric   if (!hasMetadataHashEntry())
11970b57cec5SDimitry Andric     return; // Nothing to remove!
11980b57cec5SDimitry Andric 
11990b57cec5SDimitry Andric   auto &InstructionMetadata = getContext().pImpl->InstructionMetadata;
12000b57cec5SDimitry Andric 
12010b57cec5SDimitry Andric   SmallSet<unsigned, 4> KnownSet;
12020b57cec5SDimitry Andric   KnownSet.insert(KnownIDs.begin(), KnownIDs.end());
12030b57cec5SDimitry Andric   if (KnownSet.empty()) {
12040b57cec5SDimitry Andric     // Just drop our entry at the store.
12050b57cec5SDimitry Andric     InstructionMetadata.erase(this);
12060b57cec5SDimitry Andric     setHasMetadataHashEntry(false);
12070b57cec5SDimitry Andric     return;
12080b57cec5SDimitry Andric   }
12090b57cec5SDimitry Andric 
12100b57cec5SDimitry Andric   auto &Info = InstructionMetadata[this];
12110b57cec5SDimitry Andric   Info.remove_if([&KnownSet](const std::pair<unsigned, TrackingMDNodeRef> &I) {
12120b57cec5SDimitry Andric     return !KnownSet.count(I.first);
12130b57cec5SDimitry Andric   });
12140b57cec5SDimitry Andric 
12150b57cec5SDimitry Andric   if (Info.empty()) {
12160b57cec5SDimitry Andric     // Drop our entry at the store.
12170b57cec5SDimitry Andric     InstructionMetadata.erase(this);
12180b57cec5SDimitry Andric     setHasMetadataHashEntry(false);
12190b57cec5SDimitry Andric   }
12200b57cec5SDimitry Andric }
12210b57cec5SDimitry Andric 
12220b57cec5SDimitry Andric void Instruction::setMetadata(unsigned KindID, MDNode *Node) {
12230b57cec5SDimitry Andric   if (!Node && !hasMetadata())
12240b57cec5SDimitry Andric     return;
12250b57cec5SDimitry Andric 
12260b57cec5SDimitry Andric   // Handle 'dbg' as a special case since it is not stored in the hash table.
12270b57cec5SDimitry Andric   if (KindID == LLVMContext::MD_dbg) {
12280b57cec5SDimitry Andric     DbgLoc = DebugLoc(Node);
12290b57cec5SDimitry Andric     return;
12300b57cec5SDimitry Andric   }
12310b57cec5SDimitry Andric 
12320b57cec5SDimitry Andric   // Handle the case when we're adding/updating metadata on an instruction.
12330b57cec5SDimitry Andric   if (Node) {
12340b57cec5SDimitry Andric     auto &Info = getContext().pImpl->InstructionMetadata[this];
12350b57cec5SDimitry Andric     assert(!Info.empty() == hasMetadataHashEntry() &&
12360b57cec5SDimitry Andric            "HasMetadata bit is wonked");
12370b57cec5SDimitry Andric     if (Info.empty())
12380b57cec5SDimitry Andric       setHasMetadataHashEntry(true);
12390b57cec5SDimitry Andric     Info.set(KindID, *Node);
12400b57cec5SDimitry Andric     return;
12410b57cec5SDimitry Andric   }
12420b57cec5SDimitry Andric 
12430b57cec5SDimitry Andric   // Otherwise, we're removing metadata from an instruction.
12440b57cec5SDimitry Andric   assert((hasMetadataHashEntry() ==
12450b57cec5SDimitry Andric           (getContext().pImpl->InstructionMetadata.count(this) > 0)) &&
12460b57cec5SDimitry Andric          "HasMetadata bit out of date!");
12470b57cec5SDimitry Andric   if (!hasMetadataHashEntry())
12480b57cec5SDimitry Andric     return; // Nothing to remove!
12490b57cec5SDimitry Andric   auto &Info = getContext().pImpl->InstructionMetadata[this];
12500b57cec5SDimitry Andric 
12510b57cec5SDimitry Andric   // Handle removal of an existing value.
12520b57cec5SDimitry Andric   Info.erase(KindID);
12530b57cec5SDimitry Andric 
12540b57cec5SDimitry Andric   if (!Info.empty())
12550b57cec5SDimitry Andric     return;
12560b57cec5SDimitry Andric 
12570b57cec5SDimitry Andric   getContext().pImpl->InstructionMetadata.erase(this);
12580b57cec5SDimitry Andric   setHasMetadataHashEntry(false);
12590b57cec5SDimitry Andric }
12600b57cec5SDimitry Andric 
12610b57cec5SDimitry Andric void Instruction::setAAMetadata(const AAMDNodes &N) {
12620b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_tbaa, N.TBAA);
12630b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_alias_scope, N.Scope);
12640b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_noalias, N.NoAlias);
12650b57cec5SDimitry Andric }
12660b57cec5SDimitry Andric 
12670b57cec5SDimitry Andric MDNode *Instruction::getMetadataImpl(unsigned KindID) const {
12680b57cec5SDimitry Andric   // Handle 'dbg' as a special case since it is not stored in the hash table.
12690b57cec5SDimitry Andric   if (KindID == LLVMContext::MD_dbg)
12700b57cec5SDimitry Andric     return DbgLoc.getAsMDNode();
12710b57cec5SDimitry Andric 
12720b57cec5SDimitry Andric   if (!hasMetadataHashEntry())
12730b57cec5SDimitry Andric     return nullptr;
12740b57cec5SDimitry Andric   auto &Info = getContext().pImpl->InstructionMetadata[this];
12750b57cec5SDimitry Andric   assert(!Info.empty() && "bit out of sync with hash table");
12760b57cec5SDimitry Andric 
12770b57cec5SDimitry Andric   return Info.lookup(KindID);
12780b57cec5SDimitry Andric }
12790b57cec5SDimitry Andric 
12800b57cec5SDimitry Andric void Instruction::getAllMetadataImpl(
12810b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
12820b57cec5SDimitry Andric   Result.clear();
12830b57cec5SDimitry Andric 
12840b57cec5SDimitry Andric   // Handle 'dbg' as a special case since it is not stored in the hash table.
12850b57cec5SDimitry Andric   if (DbgLoc) {
12860b57cec5SDimitry Andric     Result.push_back(
12870b57cec5SDimitry Andric         std::make_pair((unsigned)LLVMContext::MD_dbg, DbgLoc.getAsMDNode()));
12880b57cec5SDimitry Andric     if (!hasMetadataHashEntry())
12890b57cec5SDimitry Andric       return;
12900b57cec5SDimitry Andric   }
12910b57cec5SDimitry Andric 
12920b57cec5SDimitry Andric   assert(hasMetadataHashEntry() &&
12930b57cec5SDimitry Andric          getContext().pImpl->InstructionMetadata.count(this) &&
12940b57cec5SDimitry Andric          "Shouldn't have called this");
12950b57cec5SDimitry Andric   const auto &Info = getContext().pImpl->InstructionMetadata.find(this)->second;
12960b57cec5SDimitry Andric   assert(!Info.empty() && "Shouldn't have called this");
12970b57cec5SDimitry Andric   Info.getAll(Result);
12980b57cec5SDimitry Andric }
12990b57cec5SDimitry Andric 
13000b57cec5SDimitry Andric void Instruction::getAllMetadataOtherThanDebugLocImpl(
13010b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
13020b57cec5SDimitry Andric   Result.clear();
13030b57cec5SDimitry Andric   assert(hasMetadataHashEntry() &&
13040b57cec5SDimitry Andric          getContext().pImpl->InstructionMetadata.count(this) &&
13050b57cec5SDimitry Andric          "Shouldn't have called this");
13060b57cec5SDimitry Andric   const auto &Info = getContext().pImpl->InstructionMetadata.find(this)->second;
13070b57cec5SDimitry Andric   assert(!Info.empty() && "Shouldn't have called this");
13080b57cec5SDimitry Andric   Info.getAll(Result);
13090b57cec5SDimitry Andric }
13100b57cec5SDimitry Andric 
13110b57cec5SDimitry Andric bool Instruction::extractProfMetadata(uint64_t &TrueVal,
13120b57cec5SDimitry Andric                                       uint64_t &FalseVal) const {
13130b57cec5SDimitry Andric   assert(
13140b57cec5SDimitry Andric       (getOpcode() == Instruction::Br || getOpcode() == Instruction::Select) &&
13150b57cec5SDimitry Andric       "Looking for branch weights on something besides branch or select");
13160b57cec5SDimitry Andric 
13170b57cec5SDimitry Andric   auto *ProfileData = getMetadata(LLVMContext::MD_prof);
13180b57cec5SDimitry Andric   if (!ProfileData || ProfileData->getNumOperands() != 3)
13190b57cec5SDimitry Andric     return false;
13200b57cec5SDimitry Andric 
13210b57cec5SDimitry Andric   auto *ProfDataName = dyn_cast<MDString>(ProfileData->getOperand(0));
13220b57cec5SDimitry Andric   if (!ProfDataName || !ProfDataName->getString().equals("branch_weights"))
13230b57cec5SDimitry Andric     return false;
13240b57cec5SDimitry Andric 
13250b57cec5SDimitry Andric   auto *CITrue = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(1));
13260b57cec5SDimitry Andric   auto *CIFalse = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(2));
13270b57cec5SDimitry Andric   if (!CITrue || !CIFalse)
13280b57cec5SDimitry Andric     return false;
13290b57cec5SDimitry Andric 
13300b57cec5SDimitry Andric   TrueVal = CITrue->getValue().getZExtValue();
13310b57cec5SDimitry Andric   FalseVal = CIFalse->getValue().getZExtValue();
13320b57cec5SDimitry Andric 
13330b57cec5SDimitry Andric   return true;
13340b57cec5SDimitry Andric }
13350b57cec5SDimitry Andric 
13360b57cec5SDimitry Andric bool Instruction::extractProfTotalWeight(uint64_t &TotalVal) const {
13370b57cec5SDimitry Andric   assert((getOpcode() == Instruction::Br ||
13380b57cec5SDimitry Andric           getOpcode() == Instruction::Select ||
13390b57cec5SDimitry Andric           getOpcode() == Instruction::Call ||
13400b57cec5SDimitry Andric           getOpcode() == Instruction::Invoke ||
13410b57cec5SDimitry Andric           getOpcode() == Instruction::Switch) &&
13420b57cec5SDimitry Andric          "Looking for branch weights on something besides branch");
13430b57cec5SDimitry Andric 
13440b57cec5SDimitry Andric   TotalVal = 0;
13450b57cec5SDimitry Andric   auto *ProfileData = getMetadata(LLVMContext::MD_prof);
13460b57cec5SDimitry Andric   if (!ProfileData)
13470b57cec5SDimitry Andric     return false;
13480b57cec5SDimitry Andric 
13490b57cec5SDimitry Andric   auto *ProfDataName = dyn_cast<MDString>(ProfileData->getOperand(0));
13500b57cec5SDimitry Andric   if (!ProfDataName)
13510b57cec5SDimitry Andric     return false;
13520b57cec5SDimitry Andric 
13530b57cec5SDimitry Andric   if (ProfDataName->getString().equals("branch_weights")) {
13540b57cec5SDimitry Andric     TotalVal = 0;
13550b57cec5SDimitry Andric     for (unsigned i = 1; i < ProfileData->getNumOperands(); i++) {
13560b57cec5SDimitry Andric       auto *V = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(i));
13570b57cec5SDimitry Andric       if (!V)
13580b57cec5SDimitry Andric         return false;
13590b57cec5SDimitry Andric       TotalVal += V->getValue().getZExtValue();
13600b57cec5SDimitry Andric     }
13610b57cec5SDimitry Andric     return true;
13620b57cec5SDimitry Andric   } else if (ProfDataName->getString().equals("VP") &&
13630b57cec5SDimitry Andric              ProfileData->getNumOperands() > 3) {
13640b57cec5SDimitry Andric     TotalVal = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(2))
13650b57cec5SDimitry Andric                    ->getValue()
13660b57cec5SDimitry Andric                    .getZExtValue();
13670b57cec5SDimitry Andric     return true;
13680b57cec5SDimitry Andric   }
13690b57cec5SDimitry Andric   return false;
13700b57cec5SDimitry Andric }
13710b57cec5SDimitry Andric 
13720b57cec5SDimitry Andric void Instruction::clearMetadataHashEntries() {
13730b57cec5SDimitry Andric   assert(hasMetadataHashEntry() && "Caller should check");
13740b57cec5SDimitry Andric   getContext().pImpl->InstructionMetadata.erase(this);
13750b57cec5SDimitry Andric   setHasMetadataHashEntry(false);
13760b57cec5SDimitry Andric }
13770b57cec5SDimitry Andric 
13780b57cec5SDimitry Andric void GlobalObject::getMetadata(unsigned KindID,
13790b57cec5SDimitry Andric                                SmallVectorImpl<MDNode *> &MDs) const {
13800b57cec5SDimitry Andric   if (hasMetadata())
13810b57cec5SDimitry Andric     getContext().pImpl->GlobalObjectMetadata[this].get(KindID, MDs);
13820b57cec5SDimitry Andric }
13830b57cec5SDimitry Andric 
13840b57cec5SDimitry Andric void GlobalObject::getMetadata(StringRef Kind,
13850b57cec5SDimitry Andric                                SmallVectorImpl<MDNode *> &MDs) const {
13860b57cec5SDimitry Andric   if (hasMetadata())
13870b57cec5SDimitry Andric     getMetadata(getContext().getMDKindID(Kind), MDs);
13880b57cec5SDimitry Andric }
13890b57cec5SDimitry Andric 
13900b57cec5SDimitry Andric void GlobalObject::addMetadata(unsigned KindID, MDNode &MD) {
13910b57cec5SDimitry Andric   if (!hasMetadata())
13920b57cec5SDimitry Andric     setHasMetadataHashEntry(true);
13930b57cec5SDimitry Andric 
13940b57cec5SDimitry Andric   getContext().pImpl->GlobalObjectMetadata[this].insert(KindID, MD);
13950b57cec5SDimitry Andric }
13960b57cec5SDimitry Andric 
13970b57cec5SDimitry Andric void GlobalObject::addMetadata(StringRef Kind, MDNode &MD) {
13980b57cec5SDimitry Andric   addMetadata(getContext().getMDKindID(Kind), MD);
13990b57cec5SDimitry Andric }
14000b57cec5SDimitry Andric 
14010b57cec5SDimitry Andric bool GlobalObject::eraseMetadata(unsigned KindID) {
14020b57cec5SDimitry Andric   // Nothing to unset.
14030b57cec5SDimitry Andric   if (!hasMetadata())
14040b57cec5SDimitry Andric     return false;
14050b57cec5SDimitry Andric 
14060b57cec5SDimitry Andric   auto &Store = getContext().pImpl->GlobalObjectMetadata[this];
14070b57cec5SDimitry Andric   bool Changed = Store.erase(KindID);
14080b57cec5SDimitry Andric   if (Store.empty())
14090b57cec5SDimitry Andric     clearMetadata();
14100b57cec5SDimitry Andric   return Changed;
14110b57cec5SDimitry Andric }
14120b57cec5SDimitry Andric 
14130b57cec5SDimitry Andric void GlobalObject::getAllMetadata(
14140b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &MDs) const {
14150b57cec5SDimitry Andric   MDs.clear();
14160b57cec5SDimitry Andric 
14170b57cec5SDimitry Andric   if (!hasMetadata())
14180b57cec5SDimitry Andric     return;
14190b57cec5SDimitry Andric 
14200b57cec5SDimitry Andric   getContext().pImpl->GlobalObjectMetadata[this].getAll(MDs);
14210b57cec5SDimitry Andric }
14220b57cec5SDimitry Andric 
14230b57cec5SDimitry Andric void GlobalObject::clearMetadata() {
14240b57cec5SDimitry Andric   if (!hasMetadata())
14250b57cec5SDimitry Andric     return;
14260b57cec5SDimitry Andric   getContext().pImpl->GlobalObjectMetadata.erase(this);
14270b57cec5SDimitry Andric   setHasMetadataHashEntry(false);
14280b57cec5SDimitry Andric }
14290b57cec5SDimitry Andric 
14300b57cec5SDimitry Andric void GlobalObject::setMetadata(unsigned KindID, MDNode *N) {
14310b57cec5SDimitry Andric   eraseMetadata(KindID);
14320b57cec5SDimitry Andric   if (N)
14330b57cec5SDimitry Andric     addMetadata(KindID, *N);
14340b57cec5SDimitry Andric }
14350b57cec5SDimitry Andric 
14360b57cec5SDimitry Andric void GlobalObject::setMetadata(StringRef Kind, MDNode *N) {
14370b57cec5SDimitry Andric   setMetadata(getContext().getMDKindID(Kind), N);
14380b57cec5SDimitry Andric }
14390b57cec5SDimitry Andric 
14400b57cec5SDimitry Andric MDNode *GlobalObject::getMetadata(unsigned KindID) const {
14410b57cec5SDimitry Andric   if (hasMetadata())
14420b57cec5SDimitry Andric     return getContext().pImpl->GlobalObjectMetadata[this].lookup(KindID);
14430b57cec5SDimitry Andric   return nullptr;
14440b57cec5SDimitry Andric }
14450b57cec5SDimitry Andric 
14460b57cec5SDimitry Andric MDNode *GlobalObject::getMetadata(StringRef Kind) const {
14470b57cec5SDimitry Andric   return getMetadata(getContext().getMDKindID(Kind));
14480b57cec5SDimitry Andric }
14490b57cec5SDimitry Andric 
14500b57cec5SDimitry Andric void GlobalObject::copyMetadata(const GlobalObject *Other, unsigned Offset) {
14510b57cec5SDimitry Andric   SmallVector<std::pair<unsigned, MDNode *>, 8> MDs;
14520b57cec5SDimitry Andric   Other->getAllMetadata(MDs);
14530b57cec5SDimitry Andric   for (auto &MD : MDs) {
14540b57cec5SDimitry Andric     // We need to adjust the type metadata offset.
14550b57cec5SDimitry Andric     if (Offset != 0 && MD.first == LLVMContext::MD_type) {
14560b57cec5SDimitry Andric       auto *OffsetConst = cast<ConstantInt>(
14570b57cec5SDimitry Andric           cast<ConstantAsMetadata>(MD.second->getOperand(0))->getValue());
14580b57cec5SDimitry Andric       Metadata *TypeId = MD.second->getOperand(1);
14590b57cec5SDimitry Andric       auto *NewOffsetMD = ConstantAsMetadata::get(ConstantInt::get(
14600b57cec5SDimitry Andric           OffsetConst->getType(), OffsetConst->getValue() + Offset));
14610b57cec5SDimitry Andric       addMetadata(LLVMContext::MD_type,
14620b57cec5SDimitry Andric                   *MDNode::get(getContext(), {NewOffsetMD, TypeId}));
14630b57cec5SDimitry Andric       continue;
14640b57cec5SDimitry Andric     }
14650b57cec5SDimitry Andric     // If an offset adjustment was specified we need to modify the DIExpression
14660b57cec5SDimitry Andric     // to prepend the adjustment:
14670b57cec5SDimitry Andric     // !DIExpression(DW_OP_plus, Offset, [original expr])
14680b57cec5SDimitry Andric     auto *Attachment = MD.second;
14690b57cec5SDimitry Andric     if (Offset != 0 && MD.first == LLVMContext::MD_dbg) {
14700b57cec5SDimitry Andric       DIGlobalVariable *GV = dyn_cast<DIGlobalVariable>(Attachment);
14710b57cec5SDimitry Andric       DIExpression *E = nullptr;
14720b57cec5SDimitry Andric       if (!GV) {
14730b57cec5SDimitry Andric         auto *GVE = cast<DIGlobalVariableExpression>(Attachment);
14740b57cec5SDimitry Andric         GV = GVE->getVariable();
14750b57cec5SDimitry Andric         E = GVE->getExpression();
14760b57cec5SDimitry Andric       }
14770b57cec5SDimitry Andric       ArrayRef<uint64_t> OrigElements;
14780b57cec5SDimitry Andric       if (E)
14790b57cec5SDimitry Andric         OrigElements = E->getElements();
14800b57cec5SDimitry Andric       std::vector<uint64_t> Elements(OrigElements.size() + 2);
14810b57cec5SDimitry Andric       Elements[0] = dwarf::DW_OP_plus_uconst;
14820b57cec5SDimitry Andric       Elements[1] = Offset;
14830b57cec5SDimitry Andric       llvm::copy(OrigElements, Elements.begin() + 2);
14840b57cec5SDimitry Andric       E = DIExpression::get(getContext(), Elements);
14850b57cec5SDimitry Andric       Attachment = DIGlobalVariableExpression::get(getContext(), GV, E);
14860b57cec5SDimitry Andric     }
14870b57cec5SDimitry Andric     addMetadata(MD.first, *Attachment);
14880b57cec5SDimitry Andric   }
14890b57cec5SDimitry Andric }
14900b57cec5SDimitry Andric 
14910b57cec5SDimitry Andric void GlobalObject::addTypeMetadata(unsigned Offset, Metadata *TypeID) {
14920b57cec5SDimitry Andric   addMetadata(
14930b57cec5SDimitry Andric       LLVMContext::MD_type,
14940b57cec5SDimitry Andric       *MDTuple::get(getContext(),
14950b57cec5SDimitry Andric                     {ConstantAsMetadata::get(ConstantInt::get(
14960b57cec5SDimitry Andric                          Type::getInt64Ty(getContext()), Offset)),
14970b57cec5SDimitry Andric                      TypeID}));
14980b57cec5SDimitry Andric }
14990b57cec5SDimitry Andric 
1500*8bcb0991SDimitry Andric void GlobalObject::addVCallVisibilityMetadata(VCallVisibility Visibility) {
1501*8bcb0991SDimitry Andric   addMetadata(LLVMContext::MD_vcall_visibility,
1502*8bcb0991SDimitry Andric               *MDNode::get(getContext(),
1503*8bcb0991SDimitry Andric                            {ConstantAsMetadata::get(ConstantInt::get(
1504*8bcb0991SDimitry Andric                                Type::getInt64Ty(getContext()), Visibility))}));
1505*8bcb0991SDimitry Andric }
1506*8bcb0991SDimitry Andric 
1507*8bcb0991SDimitry Andric GlobalObject::VCallVisibility GlobalObject::getVCallVisibility() const {
1508*8bcb0991SDimitry Andric   if (MDNode *MD = getMetadata(LLVMContext::MD_vcall_visibility)) {
1509*8bcb0991SDimitry Andric     uint64_t Val = cast<ConstantInt>(
1510*8bcb0991SDimitry Andric                        cast<ConstantAsMetadata>(MD->getOperand(0))->getValue())
1511*8bcb0991SDimitry Andric                        ->getZExtValue();
1512*8bcb0991SDimitry Andric     assert(Val <= 2 && "unknown vcall visibility!");
1513*8bcb0991SDimitry Andric     return (VCallVisibility)Val;
1514*8bcb0991SDimitry Andric   }
1515*8bcb0991SDimitry Andric   return VCallVisibility::VCallVisibilityPublic;
1516*8bcb0991SDimitry Andric }
1517*8bcb0991SDimitry Andric 
15180b57cec5SDimitry Andric void Function::setSubprogram(DISubprogram *SP) {
15190b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_dbg, SP);
15200b57cec5SDimitry Andric }
15210b57cec5SDimitry Andric 
15220b57cec5SDimitry Andric DISubprogram *Function::getSubprogram() const {
15230b57cec5SDimitry Andric   return cast_or_null<DISubprogram>(getMetadata(LLVMContext::MD_dbg));
15240b57cec5SDimitry Andric }
15250b57cec5SDimitry Andric 
15260b57cec5SDimitry Andric bool Function::isDebugInfoForProfiling() const {
15270b57cec5SDimitry Andric   if (DISubprogram *SP = getSubprogram()) {
15280b57cec5SDimitry Andric     if (DICompileUnit *CU = SP->getUnit()) {
15290b57cec5SDimitry Andric       return CU->getDebugInfoForProfiling();
15300b57cec5SDimitry Andric     }
15310b57cec5SDimitry Andric   }
15320b57cec5SDimitry Andric   return false;
15330b57cec5SDimitry Andric }
15340b57cec5SDimitry Andric 
15350b57cec5SDimitry Andric void GlobalVariable::addDebugInfo(DIGlobalVariableExpression *GV) {
15360b57cec5SDimitry Andric   addMetadata(LLVMContext::MD_dbg, *GV);
15370b57cec5SDimitry Andric }
15380b57cec5SDimitry Andric 
15390b57cec5SDimitry Andric void GlobalVariable::getDebugInfo(
15400b57cec5SDimitry Andric     SmallVectorImpl<DIGlobalVariableExpression *> &GVs) const {
15410b57cec5SDimitry Andric   SmallVector<MDNode *, 1> MDs;
15420b57cec5SDimitry Andric   getMetadata(LLVMContext::MD_dbg, MDs);
15430b57cec5SDimitry Andric   for (MDNode *MD : MDs)
15440b57cec5SDimitry Andric     GVs.push_back(cast<DIGlobalVariableExpression>(MD));
15450b57cec5SDimitry Andric }
1546