xref: /freebsd/contrib/llvm-project/llvm/lib/IR/Metadata.cpp (revision 5ffd83dbcc34f10e07f6d3e968ae6365869615f4)
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 
492480093f4SDimitry Andric // Repress memory sanitization, due to use-after-destroy by operator
493480093f4SDimitry Andric // delete. Bug report 24578 identifies this issue.
494480093f4SDimitry Andric LLVM_NO_SANITIZE_MEMORY_ATTRIBUTE void MDNode::operator delete(void *Mem) {
4950b57cec5SDimitry Andric   MDNode *N = static_cast<MDNode *>(Mem);
4960b57cec5SDimitry Andric   size_t OpSize = N->NumOperands * sizeof(MDOperand);
4970b57cec5SDimitry Andric   OpSize = alignTo(OpSize, alignof(uint64_t));
4980b57cec5SDimitry Andric 
4990b57cec5SDimitry Andric   MDOperand *O = static_cast<MDOperand *>(Mem);
5000b57cec5SDimitry Andric   for (MDOperand *E = O - N->NumOperands; O != E; --O)
5010b57cec5SDimitry Andric     (O - 1)->~MDOperand();
5020b57cec5SDimitry Andric   ::operator delete(reinterpret_cast<char *>(Mem) - OpSize);
5030b57cec5SDimitry Andric }
5040b57cec5SDimitry Andric 
5050b57cec5SDimitry Andric MDNode::MDNode(LLVMContext &Context, unsigned ID, StorageType Storage,
5060b57cec5SDimitry Andric                ArrayRef<Metadata *> Ops1, ArrayRef<Metadata *> Ops2)
5070b57cec5SDimitry Andric     : Metadata(ID, Storage), NumOperands(Ops1.size() + Ops2.size()),
5080b57cec5SDimitry Andric       NumUnresolved(0), Context(Context) {
5090b57cec5SDimitry Andric   unsigned Op = 0;
5100b57cec5SDimitry Andric   for (Metadata *MD : Ops1)
5110b57cec5SDimitry Andric     setOperand(Op++, MD);
5120b57cec5SDimitry Andric   for (Metadata *MD : Ops2)
5130b57cec5SDimitry Andric     setOperand(Op++, MD);
5140b57cec5SDimitry Andric 
5150b57cec5SDimitry Andric   if (!isUniqued())
5160b57cec5SDimitry Andric     return;
5170b57cec5SDimitry Andric 
5180b57cec5SDimitry Andric   // Count the unresolved operands.  If there are any, RAUW support will be
5190b57cec5SDimitry Andric   // added lazily on first reference.
5200b57cec5SDimitry Andric   countUnresolvedOperands();
5210b57cec5SDimitry Andric }
5220b57cec5SDimitry Andric 
5230b57cec5SDimitry Andric TempMDNode MDNode::clone() const {
5240b57cec5SDimitry Andric   switch (getMetadataID()) {
5250b57cec5SDimitry Andric   default:
5260b57cec5SDimitry Andric     llvm_unreachable("Invalid MDNode subclass");
5270b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS)                                              \
5280b57cec5SDimitry Andric   case CLASS##Kind:                                                            \
5290b57cec5SDimitry Andric     return cast<CLASS>(this)->cloneImpl();
5300b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
5310b57cec5SDimitry Andric   }
5320b57cec5SDimitry Andric }
5330b57cec5SDimitry Andric 
5340b57cec5SDimitry Andric static bool isOperandUnresolved(Metadata *Op) {
5350b57cec5SDimitry Andric   if (auto *N = dyn_cast_or_null<MDNode>(Op))
5360b57cec5SDimitry Andric     return !N->isResolved();
5370b57cec5SDimitry Andric   return false;
5380b57cec5SDimitry Andric }
5390b57cec5SDimitry Andric 
5400b57cec5SDimitry Andric void MDNode::countUnresolvedOperands() {
5410b57cec5SDimitry Andric   assert(NumUnresolved == 0 && "Expected unresolved ops to be uncounted");
5420b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5430b57cec5SDimitry Andric   NumUnresolved = count_if(operands(), isOperandUnresolved);
5440b57cec5SDimitry Andric }
5450b57cec5SDimitry Andric 
5460b57cec5SDimitry Andric void MDNode::makeUniqued() {
5470b57cec5SDimitry Andric   assert(isTemporary() && "Expected this to be temporary");
5480b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
5490b57cec5SDimitry Andric 
5500b57cec5SDimitry Andric   // Enable uniquing callbacks.
5510b57cec5SDimitry Andric   for (auto &Op : mutable_operands())
5520b57cec5SDimitry Andric     Op.reset(Op.get(), this);
5530b57cec5SDimitry Andric 
5540b57cec5SDimitry Andric   // Make this 'uniqued'.
5550b57cec5SDimitry Andric   Storage = Uniqued;
5560b57cec5SDimitry Andric   countUnresolvedOperands();
5570b57cec5SDimitry Andric   if (!NumUnresolved) {
5580b57cec5SDimitry Andric     dropReplaceableUses();
5590b57cec5SDimitry Andric     assert(isResolved() && "Expected this to be resolved");
5600b57cec5SDimitry Andric   }
5610b57cec5SDimitry Andric 
5620b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5630b57cec5SDimitry Andric }
5640b57cec5SDimitry Andric 
5650b57cec5SDimitry Andric void MDNode::makeDistinct() {
5660b57cec5SDimitry Andric   assert(isTemporary() && "Expected this to be temporary");
5670b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
5680b57cec5SDimitry Andric 
5690b57cec5SDimitry Andric   // Drop RAUW support and store as a distinct node.
5700b57cec5SDimitry Andric   dropReplaceableUses();
5710b57cec5SDimitry Andric   storeDistinctInContext();
5720b57cec5SDimitry Andric 
5730b57cec5SDimitry Andric   assert(isDistinct() && "Expected this to be distinct");
5740b57cec5SDimitry Andric   assert(isResolved() && "Expected this to be resolved");
5750b57cec5SDimitry Andric }
5760b57cec5SDimitry Andric 
5770b57cec5SDimitry Andric void MDNode::resolve() {
5780b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5790b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
5800b57cec5SDimitry Andric 
5810b57cec5SDimitry Andric   NumUnresolved = 0;
5820b57cec5SDimitry Andric   dropReplaceableUses();
5830b57cec5SDimitry Andric 
5840b57cec5SDimitry Andric   assert(isResolved() && "Expected this to be resolved");
5850b57cec5SDimitry Andric }
5860b57cec5SDimitry Andric 
5870b57cec5SDimitry Andric void MDNode::dropReplaceableUses() {
5880b57cec5SDimitry Andric   assert(!NumUnresolved && "Unexpected unresolved operand");
5890b57cec5SDimitry Andric 
5900b57cec5SDimitry Andric   // Drop any RAUW support.
5910b57cec5SDimitry Andric   if (Context.hasReplaceableUses())
5920b57cec5SDimitry Andric     Context.takeReplaceableUses()->resolveAllUses();
5930b57cec5SDimitry Andric }
5940b57cec5SDimitry Andric 
5950b57cec5SDimitry Andric void MDNode::resolveAfterOperandChange(Metadata *Old, Metadata *New) {
5960b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5970b57cec5SDimitry Andric   assert(NumUnresolved != 0 && "Expected unresolved operands");
5980b57cec5SDimitry Andric 
5990b57cec5SDimitry Andric   // Check if an operand was resolved.
6000b57cec5SDimitry Andric   if (!isOperandUnresolved(Old)) {
6010b57cec5SDimitry Andric     if (isOperandUnresolved(New))
6020b57cec5SDimitry Andric       // An operand was un-resolved!
6030b57cec5SDimitry Andric       ++NumUnresolved;
6040b57cec5SDimitry Andric   } else if (!isOperandUnresolved(New))
6050b57cec5SDimitry Andric     decrementUnresolvedOperandCount();
6060b57cec5SDimitry Andric }
6070b57cec5SDimitry Andric 
6080b57cec5SDimitry Andric void MDNode::decrementUnresolvedOperandCount() {
6090b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
6100b57cec5SDimitry Andric   if (isTemporary())
6110b57cec5SDimitry Andric     return;
6120b57cec5SDimitry Andric 
6130b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
6140b57cec5SDimitry Andric   if (--NumUnresolved)
6150b57cec5SDimitry Andric     return;
6160b57cec5SDimitry Andric 
6170b57cec5SDimitry Andric   // Last unresolved operand has just been resolved.
6180b57cec5SDimitry Andric   dropReplaceableUses();
6190b57cec5SDimitry Andric   assert(isResolved() && "Expected this to become resolved");
6200b57cec5SDimitry Andric }
6210b57cec5SDimitry Andric 
6220b57cec5SDimitry Andric void MDNode::resolveCycles() {
6230b57cec5SDimitry Andric   if (isResolved())
6240b57cec5SDimitry Andric     return;
6250b57cec5SDimitry Andric 
6260b57cec5SDimitry Andric   // Resolve this node immediately.
6270b57cec5SDimitry Andric   resolve();
6280b57cec5SDimitry Andric 
6290b57cec5SDimitry Andric   // Resolve all operands.
6300b57cec5SDimitry Andric   for (const auto &Op : operands()) {
6310b57cec5SDimitry Andric     auto *N = dyn_cast_or_null<MDNode>(Op);
6320b57cec5SDimitry Andric     if (!N)
6330b57cec5SDimitry Andric       continue;
6340b57cec5SDimitry Andric 
6350b57cec5SDimitry Andric     assert(!N->isTemporary() &&
6360b57cec5SDimitry Andric            "Expected all forward declarations to be resolved");
6370b57cec5SDimitry Andric     if (!N->isResolved())
6380b57cec5SDimitry Andric       N->resolveCycles();
6390b57cec5SDimitry Andric   }
6400b57cec5SDimitry Andric }
6410b57cec5SDimitry Andric 
6420b57cec5SDimitry Andric static bool hasSelfReference(MDNode *N) {
6430b57cec5SDimitry Andric   for (Metadata *MD : N->operands())
6440b57cec5SDimitry Andric     if (MD == N)
6450b57cec5SDimitry Andric       return true;
6460b57cec5SDimitry Andric   return false;
6470b57cec5SDimitry Andric }
6480b57cec5SDimitry Andric 
6490b57cec5SDimitry Andric MDNode *MDNode::replaceWithPermanentImpl() {
6500b57cec5SDimitry Andric   switch (getMetadataID()) {
6510b57cec5SDimitry Andric   default:
6520b57cec5SDimitry Andric     // If this type isn't uniquable, replace with a distinct node.
6530b57cec5SDimitry Andric     return replaceWithDistinctImpl();
6540b57cec5SDimitry Andric 
6550b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS)                                    \
6560b57cec5SDimitry Andric   case CLASS##Kind:                                                            \
6570b57cec5SDimitry Andric     break;
6580b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
6590b57cec5SDimitry Andric   }
6600b57cec5SDimitry Andric 
6610b57cec5SDimitry Andric   // Even if this type is uniquable, self-references have to be distinct.
6620b57cec5SDimitry Andric   if (hasSelfReference(this))
6630b57cec5SDimitry Andric     return replaceWithDistinctImpl();
6640b57cec5SDimitry Andric   return replaceWithUniquedImpl();
6650b57cec5SDimitry Andric }
6660b57cec5SDimitry Andric 
6670b57cec5SDimitry Andric MDNode *MDNode::replaceWithUniquedImpl() {
6680b57cec5SDimitry Andric   // Try to uniquify in place.
6690b57cec5SDimitry Andric   MDNode *UniquedNode = uniquify();
6700b57cec5SDimitry Andric 
6710b57cec5SDimitry Andric   if (UniquedNode == this) {
6720b57cec5SDimitry Andric     makeUniqued();
6730b57cec5SDimitry Andric     return this;
6740b57cec5SDimitry Andric   }
6750b57cec5SDimitry Andric 
6760b57cec5SDimitry Andric   // Collision, so RAUW instead.
6770b57cec5SDimitry Andric   replaceAllUsesWith(UniquedNode);
6780b57cec5SDimitry Andric   deleteAsSubclass();
6790b57cec5SDimitry Andric   return UniquedNode;
6800b57cec5SDimitry Andric }
6810b57cec5SDimitry Andric 
6820b57cec5SDimitry Andric MDNode *MDNode::replaceWithDistinctImpl() {
6830b57cec5SDimitry Andric   makeDistinct();
6840b57cec5SDimitry Andric   return this;
6850b57cec5SDimitry Andric }
6860b57cec5SDimitry Andric 
6870b57cec5SDimitry Andric void MDTuple::recalculateHash() {
6880b57cec5SDimitry Andric   setHash(MDTupleInfo::KeyTy::calculateHash(this));
6890b57cec5SDimitry Andric }
6900b57cec5SDimitry Andric 
6910b57cec5SDimitry Andric void MDNode::dropAllReferences() {
6920b57cec5SDimitry Andric   for (unsigned I = 0, E = NumOperands; I != E; ++I)
6930b57cec5SDimitry Andric     setOperand(I, nullptr);
6940b57cec5SDimitry Andric   if (Context.hasReplaceableUses()) {
6950b57cec5SDimitry Andric     Context.getReplaceableUses()->resolveAllUses(/* ResolveUsers */ false);
6960b57cec5SDimitry Andric     (void)Context.takeReplaceableUses();
6970b57cec5SDimitry Andric   }
6980b57cec5SDimitry Andric }
6990b57cec5SDimitry Andric 
7000b57cec5SDimitry Andric void MDNode::handleChangedOperand(void *Ref, Metadata *New) {
7010b57cec5SDimitry Andric   unsigned Op = static_cast<MDOperand *>(Ref) - op_begin();
7020b57cec5SDimitry Andric   assert(Op < getNumOperands() && "Expected valid operand");
7030b57cec5SDimitry Andric 
7040b57cec5SDimitry Andric   if (!isUniqued()) {
7050b57cec5SDimitry Andric     // This node is not uniqued.  Just set the operand and be done with it.
7060b57cec5SDimitry Andric     setOperand(Op, New);
7070b57cec5SDimitry Andric     return;
7080b57cec5SDimitry Andric   }
7090b57cec5SDimitry Andric 
7100b57cec5SDimitry Andric   // This node is uniqued.
7110b57cec5SDimitry Andric   eraseFromStore();
7120b57cec5SDimitry Andric 
7130b57cec5SDimitry Andric   Metadata *Old = getOperand(Op);
7140b57cec5SDimitry Andric   setOperand(Op, New);
7150b57cec5SDimitry Andric 
7160b57cec5SDimitry Andric   // Drop uniquing for self-reference cycles and deleted constants.
7170b57cec5SDimitry Andric   if (New == this || (!New && Old && isa<ConstantAsMetadata>(Old))) {
7180b57cec5SDimitry Andric     if (!isResolved())
7190b57cec5SDimitry Andric       resolve();
7200b57cec5SDimitry Andric     storeDistinctInContext();
7210b57cec5SDimitry Andric     return;
7220b57cec5SDimitry Andric   }
7230b57cec5SDimitry Andric 
7240b57cec5SDimitry Andric   // Re-unique the node.
7250b57cec5SDimitry Andric   auto *Uniqued = uniquify();
7260b57cec5SDimitry Andric   if (Uniqued == this) {
7270b57cec5SDimitry Andric     if (!isResolved())
7280b57cec5SDimitry Andric       resolveAfterOperandChange(Old, New);
7290b57cec5SDimitry Andric     return;
7300b57cec5SDimitry Andric   }
7310b57cec5SDimitry Andric 
7320b57cec5SDimitry Andric   // Collision.
7330b57cec5SDimitry Andric   if (!isResolved()) {
7340b57cec5SDimitry Andric     // Still unresolved, so RAUW.
7350b57cec5SDimitry Andric     //
7360b57cec5SDimitry Andric     // First, clear out all operands to prevent any recursion (similar to
7370b57cec5SDimitry Andric     // dropAllReferences(), but we still need the use-list).
7380b57cec5SDimitry Andric     for (unsigned O = 0, E = getNumOperands(); O != E; ++O)
7390b57cec5SDimitry Andric       setOperand(O, nullptr);
7400b57cec5SDimitry Andric     if (Context.hasReplaceableUses())
7410b57cec5SDimitry Andric       Context.getReplaceableUses()->replaceAllUsesWith(Uniqued);
7420b57cec5SDimitry Andric     deleteAsSubclass();
7430b57cec5SDimitry Andric     return;
7440b57cec5SDimitry Andric   }
7450b57cec5SDimitry Andric 
7460b57cec5SDimitry Andric   // Store in non-uniqued form if RAUW isn't possible.
7470b57cec5SDimitry Andric   storeDistinctInContext();
7480b57cec5SDimitry Andric }
7490b57cec5SDimitry Andric 
7500b57cec5SDimitry Andric void MDNode::deleteAsSubclass() {
7510b57cec5SDimitry Andric   switch (getMetadataID()) {
7520b57cec5SDimitry Andric   default:
7530b57cec5SDimitry Andric     llvm_unreachable("Invalid subclass of MDNode");
7540b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS)                                              \
7550b57cec5SDimitry Andric   case CLASS##Kind:                                                            \
7560b57cec5SDimitry Andric     delete cast<CLASS>(this);                                                  \
7570b57cec5SDimitry Andric     break;
7580b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
7590b57cec5SDimitry Andric   }
7600b57cec5SDimitry Andric }
7610b57cec5SDimitry Andric 
7620b57cec5SDimitry Andric template <class T, class InfoT>
7630b57cec5SDimitry Andric static T *uniquifyImpl(T *N, DenseSet<T *, InfoT> &Store) {
7640b57cec5SDimitry Andric   if (T *U = getUniqued(Store, N))
7650b57cec5SDimitry Andric     return U;
7660b57cec5SDimitry Andric 
7670b57cec5SDimitry Andric   Store.insert(N);
7680b57cec5SDimitry Andric   return N;
7690b57cec5SDimitry Andric }
7700b57cec5SDimitry Andric 
7710b57cec5SDimitry Andric template <class NodeTy> struct MDNode::HasCachedHash {
7720b57cec5SDimitry Andric   using Yes = char[1];
7730b57cec5SDimitry Andric   using No = char[2];
7740b57cec5SDimitry Andric   template <class U, U Val> struct SFINAE {};
7750b57cec5SDimitry Andric 
7760b57cec5SDimitry Andric   template <class U>
7770b57cec5SDimitry Andric   static Yes &check(SFINAE<void (U::*)(unsigned), &U::setHash> *);
7780b57cec5SDimitry Andric   template <class U> static No &check(...);
7790b57cec5SDimitry Andric 
7800b57cec5SDimitry Andric   static const bool value = sizeof(check<NodeTy>(nullptr)) == sizeof(Yes);
7810b57cec5SDimitry Andric };
7820b57cec5SDimitry Andric 
7830b57cec5SDimitry Andric MDNode *MDNode::uniquify() {
7840b57cec5SDimitry Andric   assert(!hasSelfReference(this) && "Cannot uniquify a self-referencing node");
7850b57cec5SDimitry Andric 
7860b57cec5SDimitry Andric   // Try to insert into uniquing store.
7870b57cec5SDimitry Andric   switch (getMetadataID()) {
7880b57cec5SDimitry Andric   default:
7890b57cec5SDimitry Andric     llvm_unreachable("Invalid or non-uniquable subclass of MDNode");
7900b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS)                                    \
7910b57cec5SDimitry Andric   case CLASS##Kind: {                                                          \
7920b57cec5SDimitry Andric     CLASS *SubclassThis = cast<CLASS>(this);                                   \
7930b57cec5SDimitry Andric     std::integral_constant<bool, HasCachedHash<CLASS>::value>                  \
7940b57cec5SDimitry Andric         ShouldRecalculateHash;                                                 \
7950b57cec5SDimitry Andric     dispatchRecalculateHash(SubclassThis, ShouldRecalculateHash);              \
7960b57cec5SDimitry Andric     return uniquifyImpl(SubclassThis, getContext().pImpl->CLASS##s);           \
7970b57cec5SDimitry Andric   }
7980b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
7990b57cec5SDimitry Andric   }
8000b57cec5SDimitry Andric }
8010b57cec5SDimitry Andric 
8020b57cec5SDimitry Andric void MDNode::eraseFromStore() {
8030b57cec5SDimitry Andric   switch (getMetadataID()) {
8040b57cec5SDimitry Andric   default:
8050b57cec5SDimitry Andric     llvm_unreachable("Invalid or non-uniquable subclass of MDNode");
8060b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS)                                    \
8070b57cec5SDimitry Andric   case CLASS##Kind:                                                            \
8080b57cec5SDimitry Andric     getContext().pImpl->CLASS##s.erase(cast<CLASS>(this));                     \
8090b57cec5SDimitry Andric     break;
8100b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
8110b57cec5SDimitry Andric   }
8120b57cec5SDimitry Andric }
8130b57cec5SDimitry Andric 
8140b57cec5SDimitry Andric MDTuple *MDTuple::getImpl(LLVMContext &Context, ArrayRef<Metadata *> MDs,
8150b57cec5SDimitry Andric                           StorageType Storage, bool ShouldCreate) {
8160b57cec5SDimitry Andric   unsigned Hash = 0;
8170b57cec5SDimitry Andric   if (Storage == Uniqued) {
8180b57cec5SDimitry Andric     MDTupleInfo::KeyTy Key(MDs);
8190b57cec5SDimitry Andric     if (auto *N = getUniqued(Context.pImpl->MDTuples, Key))
8200b57cec5SDimitry Andric       return N;
8210b57cec5SDimitry Andric     if (!ShouldCreate)
8220b57cec5SDimitry Andric       return nullptr;
8230b57cec5SDimitry Andric     Hash = Key.getHash();
8240b57cec5SDimitry Andric   } else {
8250b57cec5SDimitry Andric     assert(ShouldCreate && "Expected non-uniqued nodes to always be created");
8260b57cec5SDimitry Andric   }
8270b57cec5SDimitry Andric 
8280b57cec5SDimitry Andric   return storeImpl(new (MDs.size()) MDTuple(Context, Storage, Hash, MDs),
8290b57cec5SDimitry Andric                    Storage, Context.pImpl->MDTuples);
8300b57cec5SDimitry Andric }
8310b57cec5SDimitry Andric 
8320b57cec5SDimitry Andric void MDNode::deleteTemporary(MDNode *N) {
8330b57cec5SDimitry Andric   assert(N->isTemporary() && "Expected temporary node");
8340b57cec5SDimitry Andric   N->replaceAllUsesWith(nullptr);
8350b57cec5SDimitry Andric   N->deleteAsSubclass();
8360b57cec5SDimitry Andric }
8370b57cec5SDimitry Andric 
8380b57cec5SDimitry Andric void MDNode::storeDistinctInContext() {
8390b57cec5SDimitry Andric   assert(!Context.hasReplaceableUses() && "Unexpected replaceable uses");
8400b57cec5SDimitry Andric   assert(!NumUnresolved && "Unexpected unresolved nodes");
8410b57cec5SDimitry Andric   Storage = Distinct;
8420b57cec5SDimitry Andric   assert(isResolved() && "Expected this to be resolved");
8430b57cec5SDimitry Andric 
8440b57cec5SDimitry Andric   // Reset the hash.
8450b57cec5SDimitry Andric   switch (getMetadataID()) {
8460b57cec5SDimitry Andric   default:
8470b57cec5SDimitry Andric     llvm_unreachable("Invalid subclass of MDNode");
8480b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS)                                              \
8490b57cec5SDimitry Andric   case CLASS##Kind: {                                                          \
8500b57cec5SDimitry Andric     std::integral_constant<bool, HasCachedHash<CLASS>::value> ShouldResetHash; \
8510b57cec5SDimitry Andric     dispatchResetHash(cast<CLASS>(this), ShouldResetHash);                     \
8520b57cec5SDimitry Andric     break;                                                                     \
8530b57cec5SDimitry Andric   }
8540b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
8550b57cec5SDimitry Andric   }
8560b57cec5SDimitry Andric 
8570b57cec5SDimitry Andric   getContext().pImpl->DistinctMDNodes.push_back(this);
8580b57cec5SDimitry Andric }
8590b57cec5SDimitry Andric 
8600b57cec5SDimitry Andric void MDNode::replaceOperandWith(unsigned I, Metadata *New) {
8610b57cec5SDimitry Andric   if (getOperand(I) == New)
8620b57cec5SDimitry Andric     return;
8630b57cec5SDimitry Andric 
8640b57cec5SDimitry Andric   if (!isUniqued()) {
8650b57cec5SDimitry Andric     setOperand(I, New);
8660b57cec5SDimitry Andric     return;
8670b57cec5SDimitry Andric   }
8680b57cec5SDimitry Andric 
8690b57cec5SDimitry Andric   handleChangedOperand(mutable_begin() + I, New);
8700b57cec5SDimitry Andric }
8710b57cec5SDimitry Andric 
8720b57cec5SDimitry Andric void MDNode::setOperand(unsigned I, Metadata *New) {
8730b57cec5SDimitry Andric   assert(I < NumOperands);
8740b57cec5SDimitry Andric   mutable_begin()[I].reset(New, isUniqued() ? this : nullptr);
8750b57cec5SDimitry Andric }
8760b57cec5SDimitry Andric 
8770b57cec5SDimitry Andric /// Get a node or a self-reference that looks like it.
8780b57cec5SDimitry Andric ///
8790b57cec5SDimitry Andric /// Special handling for finding self-references, for use by \a
8800b57cec5SDimitry Andric /// MDNode::concatenate() and \a MDNode::intersect() to maintain behaviour from
8810b57cec5SDimitry Andric /// when self-referencing nodes were still uniqued.  If the first operand has
8820b57cec5SDimitry Andric /// the same operands as \c Ops, return the first operand instead.
8830b57cec5SDimitry Andric static MDNode *getOrSelfReference(LLVMContext &Context,
8840b57cec5SDimitry Andric                                   ArrayRef<Metadata *> Ops) {
8850b57cec5SDimitry Andric   if (!Ops.empty())
8860b57cec5SDimitry Andric     if (MDNode *N = dyn_cast_or_null<MDNode>(Ops[0]))
8870b57cec5SDimitry Andric       if (N->getNumOperands() == Ops.size() && N == N->getOperand(0)) {
8880b57cec5SDimitry Andric         for (unsigned I = 1, E = Ops.size(); I != E; ++I)
8890b57cec5SDimitry Andric           if (Ops[I] != N->getOperand(I))
8900b57cec5SDimitry Andric             return MDNode::get(Context, Ops);
8910b57cec5SDimitry Andric         return N;
8920b57cec5SDimitry Andric       }
8930b57cec5SDimitry Andric 
8940b57cec5SDimitry Andric   return MDNode::get(Context, Ops);
8950b57cec5SDimitry Andric }
8960b57cec5SDimitry Andric 
8970b57cec5SDimitry Andric MDNode *MDNode::concatenate(MDNode *A, MDNode *B) {
8980b57cec5SDimitry Andric   if (!A)
8990b57cec5SDimitry Andric     return B;
9000b57cec5SDimitry Andric   if (!B)
9010b57cec5SDimitry Andric     return A;
9020b57cec5SDimitry Andric 
9030b57cec5SDimitry Andric   SmallSetVector<Metadata *, 4> MDs(A->op_begin(), A->op_end());
9040b57cec5SDimitry Andric   MDs.insert(B->op_begin(), B->op_end());
9050b57cec5SDimitry Andric 
9060b57cec5SDimitry Andric   // FIXME: This preserves long-standing behaviour, but is it really the right
9070b57cec5SDimitry Andric   // behaviour?  Or was that an unintended side-effect of node uniquing?
9080b57cec5SDimitry Andric   return getOrSelfReference(A->getContext(), MDs.getArrayRef());
9090b57cec5SDimitry Andric }
9100b57cec5SDimitry Andric 
9110b57cec5SDimitry Andric MDNode *MDNode::intersect(MDNode *A, MDNode *B) {
9120b57cec5SDimitry Andric   if (!A || !B)
9130b57cec5SDimitry Andric     return nullptr;
9140b57cec5SDimitry Andric 
9150b57cec5SDimitry Andric   SmallSetVector<Metadata *, 4> MDs(A->op_begin(), A->op_end());
9160b57cec5SDimitry Andric   SmallPtrSet<Metadata *, 4> BSet(B->op_begin(), B->op_end());
917*5ffd83dbSDimitry Andric   MDs.remove_if([&](Metadata *MD) { return !BSet.count(MD); });
9180b57cec5SDimitry Andric 
9190b57cec5SDimitry Andric   // FIXME: This preserves long-standing behaviour, but is it really the right
9200b57cec5SDimitry Andric   // behaviour?  Or was that an unintended side-effect of node uniquing?
9210b57cec5SDimitry Andric   return getOrSelfReference(A->getContext(), MDs.getArrayRef());
9220b57cec5SDimitry Andric }
9230b57cec5SDimitry Andric 
9240b57cec5SDimitry Andric MDNode *MDNode::getMostGenericAliasScope(MDNode *A, MDNode *B) {
9250b57cec5SDimitry Andric   if (!A || !B)
9260b57cec5SDimitry Andric     return nullptr;
9270b57cec5SDimitry Andric 
9280b57cec5SDimitry Andric   return concatenate(A, B);
9290b57cec5SDimitry Andric }
9300b57cec5SDimitry Andric 
9310b57cec5SDimitry Andric MDNode *MDNode::getMostGenericFPMath(MDNode *A, MDNode *B) {
9320b57cec5SDimitry Andric   if (!A || !B)
9330b57cec5SDimitry Andric     return nullptr;
9340b57cec5SDimitry Andric 
9350b57cec5SDimitry Andric   APFloat AVal = mdconst::extract<ConstantFP>(A->getOperand(0))->getValueAPF();
9360b57cec5SDimitry Andric   APFloat BVal = mdconst::extract<ConstantFP>(B->getOperand(0))->getValueAPF();
937*5ffd83dbSDimitry Andric   if (AVal < BVal)
9380b57cec5SDimitry Andric     return A;
9390b57cec5SDimitry Andric   return B;
9400b57cec5SDimitry Andric }
9410b57cec5SDimitry Andric 
9420b57cec5SDimitry Andric static bool isContiguous(const ConstantRange &A, const ConstantRange &B) {
9430b57cec5SDimitry Andric   return A.getUpper() == B.getLower() || A.getLower() == B.getUpper();
9440b57cec5SDimitry Andric }
9450b57cec5SDimitry Andric 
9460b57cec5SDimitry Andric static bool canBeMerged(const ConstantRange &A, const ConstantRange &B) {
9470b57cec5SDimitry Andric   return !A.intersectWith(B).isEmptySet() || isContiguous(A, B);
9480b57cec5SDimitry Andric }
9490b57cec5SDimitry Andric 
9500b57cec5SDimitry Andric static bool tryMergeRange(SmallVectorImpl<ConstantInt *> &EndPoints,
9510b57cec5SDimitry Andric                           ConstantInt *Low, ConstantInt *High) {
9520b57cec5SDimitry Andric   ConstantRange NewRange(Low->getValue(), High->getValue());
9530b57cec5SDimitry Andric   unsigned Size = EndPoints.size();
9540b57cec5SDimitry Andric   APInt LB = EndPoints[Size - 2]->getValue();
9550b57cec5SDimitry Andric   APInt LE = EndPoints[Size - 1]->getValue();
9560b57cec5SDimitry Andric   ConstantRange LastRange(LB, LE);
9570b57cec5SDimitry Andric   if (canBeMerged(NewRange, LastRange)) {
9580b57cec5SDimitry Andric     ConstantRange Union = LastRange.unionWith(NewRange);
9590b57cec5SDimitry Andric     Type *Ty = High->getType();
9600b57cec5SDimitry Andric     EndPoints[Size - 2] =
9610b57cec5SDimitry Andric         cast<ConstantInt>(ConstantInt::get(Ty, Union.getLower()));
9620b57cec5SDimitry Andric     EndPoints[Size - 1] =
9630b57cec5SDimitry Andric         cast<ConstantInt>(ConstantInt::get(Ty, Union.getUpper()));
9640b57cec5SDimitry Andric     return true;
9650b57cec5SDimitry Andric   }
9660b57cec5SDimitry Andric   return false;
9670b57cec5SDimitry Andric }
9680b57cec5SDimitry Andric 
9690b57cec5SDimitry Andric static void addRange(SmallVectorImpl<ConstantInt *> &EndPoints,
9700b57cec5SDimitry Andric                      ConstantInt *Low, ConstantInt *High) {
9710b57cec5SDimitry Andric   if (!EndPoints.empty())
9720b57cec5SDimitry Andric     if (tryMergeRange(EndPoints, Low, High))
9730b57cec5SDimitry Andric       return;
9740b57cec5SDimitry Andric 
9750b57cec5SDimitry Andric   EndPoints.push_back(Low);
9760b57cec5SDimitry Andric   EndPoints.push_back(High);
9770b57cec5SDimitry Andric }
9780b57cec5SDimitry Andric 
9790b57cec5SDimitry Andric MDNode *MDNode::getMostGenericRange(MDNode *A, MDNode *B) {
9800b57cec5SDimitry Andric   // Given two ranges, we want to compute the union of the ranges. This
9810b57cec5SDimitry Andric   // is slightly complicated by having to combine the intervals and merge
9820b57cec5SDimitry Andric   // the ones that overlap.
9830b57cec5SDimitry Andric 
9840b57cec5SDimitry Andric   if (!A || !B)
9850b57cec5SDimitry Andric     return nullptr;
9860b57cec5SDimitry Andric 
9870b57cec5SDimitry Andric   if (A == B)
9880b57cec5SDimitry Andric     return A;
9890b57cec5SDimitry Andric 
9900b57cec5SDimitry Andric   // First, walk both lists in order of the lower boundary of each interval.
9910b57cec5SDimitry Andric   // At each step, try to merge the new interval to the last one we adedd.
9920b57cec5SDimitry Andric   SmallVector<ConstantInt *, 4> EndPoints;
9930b57cec5SDimitry Andric   int AI = 0;
9940b57cec5SDimitry Andric   int BI = 0;
9950b57cec5SDimitry Andric   int AN = A->getNumOperands() / 2;
9960b57cec5SDimitry Andric   int BN = B->getNumOperands() / 2;
9970b57cec5SDimitry Andric   while (AI < AN && BI < BN) {
9980b57cec5SDimitry Andric     ConstantInt *ALow = mdconst::extract<ConstantInt>(A->getOperand(2 * AI));
9990b57cec5SDimitry Andric     ConstantInt *BLow = mdconst::extract<ConstantInt>(B->getOperand(2 * BI));
10000b57cec5SDimitry Andric 
10010b57cec5SDimitry Andric     if (ALow->getValue().slt(BLow->getValue())) {
10020b57cec5SDimitry Andric       addRange(EndPoints, ALow,
10030b57cec5SDimitry Andric                mdconst::extract<ConstantInt>(A->getOperand(2 * AI + 1)));
10040b57cec5SDimitry Andric       ++AI;
10050b57cec5SDimitry Andric     } else {
10060b57cec5SDimitry Andric       addRange(EndPoints, BLow,
10070b57cec5SDimitry Andric                mdconst::extract<ConstantInt>(B->getOperand(2 * BI + 1)));
10080b57cec5SDimitry Andric       ++BI;
10090b57cec5SDimitry Andric     }
10100b57cec5SDimitry Andric   }
10110b57cec5SDimitry Andric   while (AI < AN) {
10120b57cec5SDimitry Andric     addRange(EndPoints, mdconst::extract<ConstantInt>(A->getOperand(2 * AI)),
10130b57cec5SDimitry Andric              mdconst::extract<ConstantInt>(A->getOperand(2 * AI + 1)));
10140b57cec5SDimitry Andric     ++AI;
10150b57cec5SDimitry Andric   }
10160b57cec5SDimitry Andric   while (BI < BN) {
10170b57cec5SDimitry Andric     addRange(EndPoints, mdconst::extract<ConstantInt>(B->getOperand(2 * BI)),
10180b57cec5SDimitry Andric              mdconst::extract<ConstantInt>(B->getOperand(2 * BI + 1)));
10190b57cec5SDimitry Andric     ++BI;
10200b57cec5SDimitry Andric   }
10210b57cec5SDimitry Andric 
10220b57cec5SDimitry Andric   // If we have more than 2 ranges (4 endpoints) we have to try to merge
10230b57cec5SDimitry Andric   // the last and first ones.
10240b57cec5SDimitry Andric   unsigned Size = EndPoints.size();
10250b57cec5SDimitry Andric   if (Size > 4) {
10260b57cec5SDimitry Andric     ConstantInt *FB = EndPoints[0];
10270b57cec5SDimitry Andric     ConstantInt *FE = EndPoints[1];
10280b57cec5SDimitry Andric     if (tryMergeRange(EndPoints, FB, FE)) {
10290b57cec5SDimitry Andric       for (unsigned i = 0; i < Size - 2; ++i) {
10300b57cec5SDimitry Andric         EndPoints[i] = EndPoints[i + 2];
10310b57cec5SDimitry Andric       }
10320b57cec5SDimitry Andric       EndPoints.resize(Size - 2);
10330b57cec5SDimitry Andric     }
10340b57cec5SDimitry Andric   }
10350b57cec5SDimitry Andric 
10360b57cec5SDimitry Andric   // If in the end we have a single range, it is possible that it is now the
10370b57cec5SDimitry Andric   // full range. Just drop the metadata in that case.
10380b57cec5SDimitry Andric   if (EndPoints.size() == 2) {
10390b57cec5SDimitry Andric     ConstantRange Range(EndPoints[0]->getValue(), EndPoints[1]->getValue());
10400b57cec5SDimitry Andric     if (Range.isFullSet())
10410b57cec5SDimitry Andric       return nullptr;
10420b57cec5SDimitry Andric   }
10430b57cec5SDimitry Andric 
10440b57cec5SDimitry Andric   SmallVector<Metadata *, 4> MDs;
10450b57cec5SDimitry Andric   MDs.reserve(EndPoints.size());
10460b57cec5SDimitry Andric   for (auto *I : EndPoints)
10470b57cec5SDimitry Andric     MDs.push_back(ConstantAsMetadata::get(I));
10480b57cec5SDimitry Andric   return MDNode::get(A->getContext(), MDs);
10490b57cec5SDimitry Andric }
10500b57cec5SDimitry Andric 
10510b57cec5SDimitry Andric MDNode *MDNode::getMostGenericAlignmentOrDereferenceable(MDNode *A, MDNode *B) {
10520b57cec5SDimitry Andric   if (!A || !B)
10530b57cec5SDimitry Andric     return nullptr;
10540b57cec5SDimitry Andric 
10550b57cec5SDimitry Andric   ConstantInt *AVal = mdconst::extract<ConstantInt>(A->getOperand(0));
10560b57cec5SDimitry Andric   ConstantInt *BVal = mdconst::extract<ConstantInt>(B->getOperand(0));
10570b57cec5SDimitry Andric   if (AVal->getZExtValue() < BVal->getZExtValue())
10580b57cec5SDimitry Andric     return A;
10590b57cec5SDimitry Andric   return B;
10600b57cec5SDimitry Andric }
10610b57cec5SDimitry Andric 
10620b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
10630b57cec5SDimitry Andric // NamedMDNode implementation.
10640b57cec5SDimitry Andric //
10650b57cec5SDimitry Andric 
10660b57cec5SDimitry Andric static SmallVector<TrackingMDRef, 4> &getNMDOps(void *Operands) {
10670b57cec5SDimitry Andric   return *(SmallVector<TrackingMDRef, 4> *)Operands;
10680b57cec5SDimitry Andric }
10690b57cec5SDimitry Andric 
10700b57cec5SDimitry Andric NamedMDNode::NamedMDNode(const Twine &N)
10710b57cec5SDimitry Andric     : Name(N.str()), Operands(new SmallVector<TrackingMDRef, 4>()) {}
10720b57cec5SDimitry Andric 
10730b57cec5SDimitry Andric NamedMDNode::~NamedMDNode() {
10740b57cec5SDimitry Andric   dropAllReferences();
10750b57cec5SDimitry Andric   delete &getNMDOps(Operands);
10760b57cec5SDimitry Andric }
10770b57cec5SDimitry Andric 
10780b57cec5SDimitry Andric unsigned NamedMDNode::getNumOperands() const {
10790b57cec5SDimitry Andric   return (unsigned)getNMDOps(Operands).size();
10800b57cec5SDimitry Andric }
10810b57cec5SDimitry Andric 
10820b57cec5SDimitry Andric MDNode *NamedMDNode::getOperand(unsigned i) const {
10830b57cec5SDimitry Andric   assert(i < getNumOperands() && "Invalid Operand number!");
10840b57cec5SDimitry Andric   auto *N = getNMDOps(Operands)[i].get();
10850b57cec5SDimitry Andric   return cast_or_null<MDNode>(N);
10860b57cec5SDimitry Andric }
10870b57cec5SDimitry Andric 
10880b57cec5SDimitry Andric void NamedMDNode::addOperand(MDNode *M) { getNMDOps(Operands).emplace_back(M); }
10890b57cec5SDimitry Andric 
10900b57cec5SDimitry Andric void NamedMDNode::setOperand(unsigned I, MDNode *New) {
10910b57cec5SDimitry Andric   assert(I < getNumOperands() && "Invalid operand number");
10920b57cec5SDimitry Andric   getNMDOps(Operands)[I].reset(New);
10930b57cec5SDimitry Andric }
10940b57cec5SDimitry Andric 
10950b57cec5SDimitry Andric void NamedMDNode::eraseFromParent() { getParent()->eraseNamedMetadata(this); }
10960b57cec5SDimitry Andric 
10970b57cec5SDimitry Andric void NamedMDNode::clearOperands() { getNMDOps(Operands).clear(); }
10980b57cec5SDimitry Andric 
10990b57cec5SDimitry Andric StringRef NamedMDNode::getName() const { return StringRef(Name); }
11000b57cec5SDimitry Andric 
11010b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
11020b57cec5SDimitry Andric // Instruction Metadata method implementations.
11030b57cec5SDimitry Andric //
11040b57cec5SDimitry Andric void MDAttachmentMap::set(unsigned ID, MDNode &MD) {
11050b57cec5SDimitry Andric   for (auto &I : Attachments)
11060b57cec5SDimitry Andric     if (I.first == ID) {
11070b57cec5SDimitry Andric       I.second.reset(&MD);
11080b57cec5SDimitry Andric       return;
11090b57cec5SDimitry Andric     }
11100b57cec5SDimitry Andric   Attachments.emplace_back(std::piecewise_construct, std::make_tuple(ID),
11110b57cec5SDimitry Andric                            std::make_tuple(&MD));
11120b57cec5SDimitry Andric }
11130b57cec5SDimitry Andric 
11140b57cec5SDimitry Andric bool MDAttachmentMap::erase(unsigned ID) {
11150b57cec5SDimitry Andric   if (empty())
11160b57cec5SDimitry Andric     return false;
11170b57cec5SDimitry Andric 
11180b57cec5SDimitry Andric   // Common case is one/last value.
11190b57cec5SDimitry Andric   if (Attachments.back().first == ID) {
11200b57cec5SDimitry Andric     Attachments.pop_back();
11210b57cec5SDimitry Andric     return true;
11220b57cec5SDimitry Andric   }
11230b57cec5SDimitry Andric 
11240b57cec5SDimitry Andric   for (auto I = Attachments.begin(), E = std::prev(Attachments.end()); I != E;
11250b57cec5SDimitry Andric        ++I)
11260b57cec5SDimitry Andric     if (I->first == ID) {
11270b57cec5SDimitry Andric       *I = std::move(Attachments.back());
11280b57cec5SDimitry Andric       Attachments.pop_back();
11290b57cec5SDimitry Andric       return true;
11300b57cec5SDimitry Andric     }
11310b57cec5SDimitry Andric 
11320b57cec5SDimitry Andric   return false;
11330b57cec5SDimitry Andric }
11340b57cec5SDimitry Andric 
11350b57cec5SDimitry Andric MDNode *MDAttachmentMap::lookup(unsigned ID) const {
11360b57cec5SDimitry Andric   for (const auto &I : Attachments)
11370b57cec5SDimitry Andric     if (I.first == ID)
11380b57cec5SDimitry Andric       return I.second;
11390b57cec5SDimitry Andric   return nullptr;
11400b57cec5SDimitry Andric }
11410b57cec5SDimitry Andric 
11420b57cec5SDimitry Andric void MDAttachmentMap::getAll(
11430b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
11440b57cec5SDimitry Andric   Result.append(Attachments.begin(), Attachments.end());
11450b57cec5SDimitry Andric 
11460b57cec5SDimitry Andric   // Sort the resulting array so it is stable.
11470b57cec5SDimitry Andric   if (Result.size() > 1)
11480b57cec5SDimitry Andric     array_pod_sort(Result.begin(), Result.end());
11490b57cec5SDimitry Andric }
11500b57cec5SDimitry Andric 
11510b57cec5SDimitry Andric void MDGlobalAttachmentMap::insert(unsigned ID, MDNode &MD) {
11520b57cec5SDimitry Andric   Attachments.push_back({ID, TrackingMDNodeRef(&MD)});
11530b57cec5SDimitry Andric }
11540b57cec5SDimitry Andric 
11550b57cec5SDimitry Andric MDNode *MDGlobalAttachmentMap::lookup(unsigned ID) const {
11560b57cec5SDimitry Andric   for (const auto &A : Attachments)
11570b57cec5SDimitry Andric     if (A.MDKind == ID)
11580b57cec5SDimitry Andric       return A.Node;
11590b57cec5SDimitry Andric   return nullptr;
11600b57cec5SDimitry Andric }
11610b57cec5SDimitry Andric 
11620b57cec5SDimitry Andric void MDGlobalAttachmentMap::get(unsigned ID,
11630b57cec5SDimitry Andric                                 SmallVectorImpl<MDNode *> &Result) const {
11640b57cec5SDimitry Andric   for (const auto &A : Attachments)
11650b57cec5SDimitry Andric     if (A.MDKind == ID)
11660b57cec5SDimitry Andric       Result.push_back(A.Node);
11670b57cec5SDimitry Andric }
11680b57cec5SDimitry Andric 
11690b57cec5SDimitry Andric bool MDGlobalAttachmentMap::erase(unsigned ID) {
11700b57cec5SDimitry Andric   auto I = std::remove_if(Attachments.begin(), Attachments.end(),
11710b57cec5SDimitry Andric                           [ID](const Attachment &A) { return A.MDKind == ID; });
11720b57cec5SDimitry Andric   bool Changed = I != Attachments.end();
11730b57cec5SDimitry Andric   Attachments.erase(I, Attachments.end());
11740b57cec5SDimitry Andric   return Changed;
11750b57cec5SDimitry Andric }
11760b57cec5SDimitry Andric 
11770b57cec5SDimitry Andric void MDGlobalAttachmentMap::getAll(
11780b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
11790b57cec5SDimitry Andric   for (const auto &A : Attachments)
11800b57cec5SDimitry Andric     Result.emplace_back(A.MDKind, A.Node);
11810b57cec5SDimitry Andric 
11820b57cec5SDimitry Andric   // Sort the resulting array so it is stable with respect to metadata IDs. We
11830b57cec5SDimitry Andric   // need to preserve the original insertion order though.
11840b57cec5SDimitry Andric   llvm::stable_sort(Result, less_first());
11850b57cec5SDimitry Andric }
11860b57cec5SDimitry Andric 
11870b57cec5SDimitry Andric void Instruction::setMetadata(StringRef Kind, MDNode *Node) {
11880b57cec5SDimitry Andric   if (!Node && !hasMetadata())
11890b57cec5SDimitry Andric     return;
11900b57cec5SDimitry Andric   setMetadata(getContext().getMDKindID(Kind), Node);
11910b57cec5SDimitry Andric }
11920b57cec5SDimitry Andric 
11930b57cec5SDimitry Andric MDNode *Instruction::getMetadataImpl(StringRef Kind) const {
11940b57cec5SDimitry Andric   return getMetadataImpl(getContext().getMDKindID(Kind));
11950b57cec5SDimitry Andric }
11960b57cec5SDimitry Andric 
11970b57cec5SDimitry Andric void Instruction::dropUnknownNonDebugMetadata(ArrayRef<unsigned> KnownIDs) {
11980b57cec5SDimitry Andric   if (!hasMetadataHashEntry())
11990b57cec5SDimitry Andric     return; // Nothing to remove!
12000b57cec5SDimitry Andric 
12010b57cec5SDimitry Andric   auto &InstructionMetadata = getContext().pImpl->InstructionMetadata;
12020b57cec5SDimitry Andric 
12030b57cec5SDimitry Andric   SmallSet<unsigned, 4> KnownSet;
12040b57cec5SDimitry Andric   KnownSet.insert(KnownIDs.begin(), KnownIDs.end());
12050b57cec5SDimitry Andric   if (KnownSet.empty()) {
12060b57cec5SDimitry Andric     // Just drop our entry at the store.
12070b57cec5SDimitry Andric     InstructionMetadata.erase(this);
12080b57cec5SDimitry Andric     setHasMetadataHashEntry(false);
12090b57cec5SDimitry Andric     return;
12100b57cec5SDimitry Andric   }
12110b57cec5SDimitry Andric 
12120b57cec5SDimitry Andric   auto &Info = InstructionMetadata[this];
12130b57cec5SDimitry Andric   Info.remove_if([&KnownSet](const std::pair<unsigned, TrackingMDNodeRef> &I) {
12140b57cec5SDimitry Andric     return !KnownSet.count(I.first);
12150b57cec5SDimitry Andric   });
12160b57cec5SDimitry Andric 
12170b57cec5SDimitry Andric   if (Info.empty()) {
12180b57cec5SDimitry Andric     // Drop our entry at the store.
12190b57cec5SDimitry Andric     InstructionMetadata.erase(this);
12200b57cec5SDimitry Andric     setHasMetadataHashEntry(false);
12210b57cec5SDimitry Andric   }
12220b57cec5SDimitry Andric }
12230b57cec5SDimitry Andric 
12240b57cec5SDimitry Andric void Instruction::setMetadata(unsigned KindID, MDNode *Node) {
12250b57cec5SDimitry Andric   if (!Node && !hasMetadata())
12260b57cec5SDimitry Andric     return;
12270b57cec5SDimitry Andric 
12280b57cec5SDimitry Andric   // Handle 'dbg' as a special case since it is not stored in the hash table.
12290b57cec5SDimitry Andric   if (KindID == LLVMContext::MD_dbg) {
12300b57cec5SDimitry Andric     DbgLoc = DebugLoc(Node);
12310b57cec5SDimitry Andric     return;
12320b57cec5SDimitry Andric   }
12330b57cec5SDimitry Andric 
12340b57cec5SDimitry Andric   // Handle the case when we're adding/updating metadata on an instruction.
12350b57cec5SDimitry Andric   if (Node) {
12360b57cec5SDimitry Andric     auto &Info = getContext().pImpl->InstructionMetadata[this];
12370b57cec5SDimitry Andric     assert(!Info.empty() == hasMetadataHashEntry() &&
12380b57cec5SDimitry Andric            "HasMetadata bit is wonked");
12390b57cec5SDimitry Andric     if (Info.empty())
12400b57cec5SDimitry Andric       setHasMetadataHashEntry(true);
12410b57cec5SDimitry Andric     Info.set(KindID, *Node);
12420b57cec5SDimitry Andric     return;
12430b57cec5SDimitry Andric   }
12440b57cec5SDimitry Andric 
12450b57cec5SDimitry Andric   // Otherwise, we're removing metadata from an instruction.
12460b57cec5SDimitry Andric   assert((hasMetadataHashEntry() ==
12470b57cec5SDimitry Andric           (getContext().pImpl->InstructionMetadata.count(this) > 0)) &&
12480b57cec5SDimitry Andric          "HasMetadata bit out of date!");
12490b57cec5SDimitry Andric   if (!hasMetadataHashEntry())
12500b57cec5SDimitry Andric     return; // Nothing to remove!
12510b57cec5SDimitry Andric   auto &Info = getContext().pImpl->InstructionMetadata[this];
12520b57cec5SDimitry Andric 
12530b57cec5SDimitry Andric   // Handle removal of an existing value.
12540b57cec5SDimitry Andric   Info.erase(KindID);
12550b57cec5SDimitry Andric 
12560b57cec5SDimitry Andric   if (!Info.empty())
12570b57cec5SDimitry Andric     return;
12580b57cec5SDimitry Andric 
12590b57cec5SDimitry Andric   getContext().pImpl->InstructionMetadata.erase(this);
12600b57cec5SDimitry Andric   setHasMetadataHashEntry(false);
12610b57cec5SDimitry Andric }
12620b57cec5SDimitry Andric 
12630b57cec5SDimitry Andric void Instruction::setAAMetadata(const AAMDNodes &N) {
12640b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_tbaa, N.TBAA);
1265480093f4SDimitry Andric   setMetadata(LLVMContext::MD_tbaa_struct, N.TBAAStruct);
12660b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_alias_scope, N.Scope);
12670b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_noalias, N.NoAlias);
12680b57cec5SDimitry Andric }
12690b57cec5SDimitry Andric 
12700b57cec5SDimitry Andric MDNode *Instruction::getMetadataImpl(unsigned KindID) const {
12710b57cec5SDimitry Andric   // Handle 'dbg' as a special case since it is not stored in the hash table.
12720b57cec5SDimitry Andric   if (KindID == LLVMContext::MD_dbg)
12730b57cec5SDimitry Andric     return DbgLoc.getAsMDNode();
12740b57cec5SDimitry Andric 
12750b57cec5SDimitry Andric   if (!hasMetadataHashEntry())
12760b57cec5SDimitry Andric     return nullptr;
12770b57cec5SDimitry Andric   auto &Info = getContext().pImpl->InstructionMetadata[this];
12780b57cec5SDimitry Andric   assert(!Info.empty() && "bit out of sync with hash table");
12790b57cec5SDimitry Andric 
12800b57cec5SDimitry Andric   return Info.lookup(KindID);
12810b57cec5SDimitry Andric }
12820b57cec5SDimitry Andric 
12830b57cec5SDimitry Andric void Instruction::getAllMetadataImpl(
12840b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
12850b57cec5SDimitry Andric   Result.clear();
12860b57cec5SDimitry Andric 
12870b57cec5SDimitry Andric   // Handle 'dbg' as a special case since it is not stored in the hash table.
12880b57cec5SDimitry Andric   if (DbgLoc) {
12890b57cec5SDimitry Andric     Result.push_back(
12900b57cec5SDimitry Andric         std::make_pair((unsigned)LLVMContext::MD_dbg, DbgLoc.getAsMDNode()));
12910b57cec5SDimitry Andric     if (!hasMetadataHashEntry())
12920b57cec5SDimitry Andric       return;
12930b57cec5SDimitry Andric   }
12940b57cec5SDimitry Andric 
12950b57cec5SDimitry Andric   assert(hasMetadataHashEntry() &&
12960b57cec5SDimitry Andric          getContext().pImpl->InstructionMetadata.count(this) &&
12970b57cec5SDimitry Andric          "Shouldn't have called this");
12980b57cec5SDimitry Andric   const auto &Info = getContext().pImpl->InstructionMetadata.find(this)->second;
12990b57cec5SDimitry Andric   assert(!Info.empty() && "Shouldn't have called this");
13000b57cec5SDimitry Andric   Info.getAll(Result);
13010b57cec5SDimitry Andric }
13020b57cec5SDimitry Andric 
13030b57cec5SDimitry Andric void Instruction::getAllMetadataOtherThanDebugLocImpl(
13040b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
13050b57cec5SDimitry Andric   Result.clear();
13060b57cec5SDimitry Andric   assert(hasMetadataHashEntry() &&
13070b57cec5SDimitry Andric          getContext().pImpl->InstructionMetadata.count(this) &&
13080b57cec5SDimitry Andric          "Shouldn't have called this");
13090b57cec5SDimitry Andric   const auto &Info = getContext().pImpl->InstructionMetadata.find(this)->second;
13100b57cec5SDimitry Andric   assert(!Info.empty() && "Shouldn't have called this");
13110b57cec5SDimitry Andric   Info.getAll(Result);
13120b57cec5SDimitry Andric }
13130b57cec5SDimitry Andric 
13140b57cec5SDimitry Andric bool Instruction::extractProfMetadata(uint64_t &TrueVal,
13150b57cec5SDimitry Andric                                       uint64_t &FalseVal) const {
13160b57cec5SDimitry Andric   assert(
13170b57cec5SDimitry Andric       (getOpcode() == Instruction::Br || getOpcode() == Instruction::Select) &&
13180b57cec5SDimitry Andric       "Looking for branch weights on something besides branch or select");
13190b57cec5SDimitry Andric 
13200b57cec5SDimitry Andric   auto *ProfileData = getMetadata(LLVMContext::MD_prof);
13210b57cec5SDimitry Andric   if (!ProfileData || ProfileData->getNumOperands() != 3)
13220b57cec5SDimitry Andric     return false;
13230b57cec5SDimitry Andric 
13240b57cec5SDimitry Andric   auto *ProfDataName = dyn_cast<MDString>(ProfileData->getOperand(0));
13250b57cec5SDimitry Andric   if (!ProfDataName || !ProfDataName->getString().equals("branch_weights"))
13260b57cec5SDimitry Andric     return false;
13270b57cec5SDimitry Andric 
13280b57cec5SDimitry Andric   auto *CITrue = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(1));
13290b57cec5SDimitry Andric   auto *CIFalse = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(2));
13300b57cec5SDimitry Andric   if (!CITrue || !CIFalse)
13310b57cec5SDimitry Andric     return false;
13320b57cec5SDimitry Andric 
13330b57cec5SDimitry Andric   TrueVal = CITrue->getValue().getZExtValue();
13340b57cec5SDimitry Andric   FalseVal = CIFalse->getValue().getZExtValue();
13350b57cec5SDimitry Andric 
13360b57cec5SDimitry Andric   return true;
13370b57cec5SDimitry Andric }
13380b57cec5SDimitry Andric 
13390b57cec5SDimitry Andric bool Instruction::extractProfTotalWeight(uint64_t &TotalVal) const {
13400b57cec5SDimitry Andric   assert((getOpcode() == Instruction::Br ||
13410b57cec5SDimitry Andric           getOpcode() == Instruction::Select ||
13420b57cec5SDimitry Andric           getOpcode() == Instruction::Call ||
13430b57cec5SDimitry Andric           getOpcode() == Instruction::Invoke ||
13440b57cec5SDimitry Andric           getOpcode() == Instruction::Switch) &&
13450b57cec5SDimitry Andric          "Looking for branch weights on something besides branch");
13460b57cec5SDimitry Andric 
13470b57cec5SDimitry Andric   TotalVal = 0;
13480b57cec5SDimitry Andric   auto *ProfileData = getMetadata(LLVMContext::MD_prof);
13490b57cec5SDimitry Andric   if (!ProfileData)
13500b57cec5SDimitry Andric     return false;
13510b57cec5SDimitry Andric 
13520b57cec5SDimitry Andric   auto *ProfDataName = dyn_cast<MDString>(ProfileData->getOperand(0));
13530b57cec5SDimitry Andric   if (!ProfDataName)
13540b57cec5SDimitry Andric     return false;
13550b57cec5SDimitry Andric 
13560b57cec5SDimitry Andric   if (ProfDataName->getString().equals("branch_weights")) {
13570b57cec5SDimitry Andric     TotalVal = 0;
13580b57cec5SDimitry Andric     for (unsigned i = 1; i < ProfileData->getNumOperands(); i++) {
13590b57cec5SDimitry Andric       auto *V = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(i));
13600b57cec5SDimitry Andric       if (!V)
13610b57cec5SDimitry Andric         return false;
13620b57cec5SDimitry Andric       TotalVal += V->getValue().getZExtValue();
13630b57cec5SDimitry Andric     }
13640b57cec5SDimitry Andric     return true;
13650b57cec5SDimitry Andric   } else if (ProfDataName->getString().equals("VP") &&
13660b57cec5SDimitry Andric              ProfileData->getNumOperands() > 3) {
13670b57cec5SDimitry Andric     TotalVal = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(2))
13680b57cec5SDimitry Andric                    ->getValue()
13690b57cec5SDimitry Andric                    .getZExtValue();
13700b57cec5SDimitry Andric     return true;
13710b57cec5SDimitry Andric   }
13720b57cec5SDimitry Andric   return false;
13730b57cec5SDimitry Andric }
13740b57cec5SDimitry Andric 
13750b57cec5SDimitry Andric void Instruction::clearMetadataHashEntries() {
13760b57cec5SDimitry Andric   assert(hasMetadataHashEntry() && "Caller should check");
13770b57cec5SDimitry Andric   getContext().pImpl->InstructionMetadata.erase(this);
13780b57cec5SDimitry Andric   setHasMetadataHashEntry(false);
13790b57cec5SDimitry Andric }
13800b57cec5SDimitry Andric 
13810b57cec5SDimitry Andric void GlobalObject::getMetadata(unsigned KindID,
13820b57cec5SDimitry Andric                                SmallVectorImpl<MDNode *> &MDs) const {
13830b57cec5SDimitry Andric   if (hasMetadata())
13840b57cec5SDimitry Andric     getContext().pImpl->GlobalObjectMetadata[this].get(KindID, MDs);
13850b57cec5SDimitry Andric }
13860b57cec5SDimitry Andric 
13870b57cec5SDimitry Andric void GlobalObject::getMetadata(StringRef Kind,
13880b57cec5SDimitry Andric                                SmallVectorImpl<MDNode *> &MDs) const {
13890b57cec5SDimitry Andric   if (hasMetadata())
13900b57cec5SDimitry Andric     getMetadata(getContext().getMDKindID(Kind), MDs);
13910b57cec5SDimitry Andric }
13920b57cec5SDimitry Andric 
13930b57cec5SDimitry Andric void GlobalObject::addMetadata(unsigned KindID, MDNode &MD) {
13940b57cec5SDimitry Andric   if (!hasMetadata())
13950b57cec5SDimitry Andric     setHasMetadataHashEntry(true);
13960b57cec5SDimitry Andric 
13970b57cec5SDimitry Andric   getContext().pImpl->GlobalObjectMetadata[this].insert(KindID, MD);
13980b57cec5SDimitry Andric }
13990b57cec5SDimitry Andric 
14000b57cec5SDimitry Andric void GlobalObject::addMetadata(StringRef Kind, MDNode &MD) {
14010b57cec5SDimitry Andric   addMetadata(getContext().getMDKindID(Kind), MD);
14020b57cec5SDimitry Andric }
14030b57cec5SDimitry Andric 
14040b57cec5SDimitry Andric bool GlobalObject::eraseMetadata(unsigned KindID) {
14050b57cec5SDimitry Andric   // Nothing to unset.
14060b57cec5SDimitry Andric   if (!hasMetadata())
14070b57cec5SDimitry Andric     return false;
14080b57cec5SDimitry Andric 
14090b57cec5SDimitry Andric   auto &Store = getContext().pImpl->GlobalObjectMetadata[this];
14100b57cec5SDimitry Andric   bool Changed = Store.erase(KindID);
14110b57cec5SDimitry Andric   if (Store.empty())
14120b57cec5SDimitry Andric     clearMetadata();
14130b57cec5SDimitry Andric   return Changed;
14140b57cec5SDimitry Andric }
14150b57cec5SDimitry Andric 
14160b57cec5SDimitry Andric void GlobalObject::getAllMetadata(
14170b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &MDs) const {
14180b57cec5SDimitry Andric   MDs.clear();
14190b57cec5SDimitry Andric 
14200b57cec5SDimitry Andric   if (!hasMetadata())
14210b57cec5SDimitry Andric     return;
14220b57cec5SDimitry Andric 
14230b57cec5SDimitry Andric   getContext().pImpl->GlobalObjectMetadata[this].getAll(MDs);
14240b57cec5SDimitry Andric }
14250b57cec5SDimitry Andric 
14260b57cec5SDimitry Andric void GlobalObject::clearMetadata() {
14270b57cec5SDimitry Andric   if (!hasMetadata())
14280b57cec5SDimitry Andric     return;
14290b57cec5SDimitry Andric   getContext().pImpl->GlobalObjectMetadata.erase(this);
14300b57cec5SDimitry Andric   setHasMetadataHashEntry(false);
14310b57cec5SDimitry Andric }
14320b57cec5SDimitry Andric 
14330b57cec5SDimitry Andric void GlobalObject::setMetadata(unsigned KindID, MDNode *N) {
14340b57cec5SDimitry Andric   eraseMetadata(KindID);
14350b57cec5SDimitry Andric   if (N)
14360b57cec5SDimitry Andric     addMetadata(KindID, *N);
14370b57cec5SDimitry Andric }
14380b57cec5SDimitry Andric 
14390b57cec5SDimitry Andric void GlobalObject::setMetadata(StringRef Kind, MDNode *N) {
14400b57cec5SDimitry Andric   setMetadata(getContext().getMDKindID(Kind), N);
14410b57cec5SDimitry Andric }
14420b57cec5SDimitry Andric 
14430b57cec5SDimitry Andric MDNode *GlobalObject::getMetadata(unsigned KindID) const {
14440b57cec5SDimitry Andric   if (hasMetadata())
14450b57cec5SDimitry Andric     return getContext().pImpl->GlobalObjectMetadata[this].lookup(KindID);
14460b57cec5SDimitry Andric   return nullptr;
14470b57cec5SDimitry Andric }
14480b57cec5SDimitry Andric 
14490b57cec5SDimitry Andric MDNode *GlobalObject::getMetadata(StringRef Kind) const {
14500b57cec5SDimitry Andric   return getMetadata(getContext().getMDKindID(Kind));
14510b57cec5SDimitry Andric }
14520b57cec5SDimitry Andric 
14530b57cec5SDimitry Andric void GlobalObject::copyMetadata(const GlobalObject *Other, unsigned Offset) {
14540b57cec5SDimitry Andric   SmallVector<std::pair<unsigned, MDNode *>, 8> MDs;
14550b57cec5SDimitry Andric   Other->getAllMetadata(MDs);
14560b57cec5SDimitry Andric   for (auto &MD : MDs) {
14570b57cec5SDimitry Andric     // We need to adjust the type metadata offset.
14580b57cec5SDimitry Andric     if (Offset != 0 && MD.first == LLVMContext::MD_type) {
14590b57cec5SDimitry Andric       auto *OffsetConst = cast<ConstantInt>(
14600b57cec5SDimitry Andric           cast<ConstantAsMetadata>(MD.second->getOperand(0))->getValue());
14610b57cec5SDimitry Andric       Metadata *TypeId = MD.second->getOperand(1);
14620b57cec5SDimitry Andric       auto *NewOffsetMD = ConstantAsMetadata::get(ConstantInt::get(
14630b57cec5SDimitry Andric           OffsetConst->getType(), OffsetConst->getValue() + Offset));
14640b57cec5SDimitry Andric       addMetadata(LLVMContext::MD_type,
14650b57cec5SDimitry Andric                   *MDNode::get(getContext(), {NewOffsetMD, TypeId}));
14660b57cec5SDimitry Andric       continue;
14670b57cec5SDimitry Andric     }
14680b57cec5SDimitry Andric     // If an offset adjustment was specified we need to modify the DIExpression
14690b57cec5SDimitry Andric     // to prepend the adjustment:
14700b57cec5SDimitry Andric     // !DIExpression(DW_OP_plus, Offset, [original expr])
14710b57cec5SDimitry Andric     auto *Attachment = MD.second;
14720b57cec5SDimitry Andric     if (Offset != 0 && MD.first == LLVMContext::MD_dbg) {
14730b57cec5SDimitry Andric       DIGlobalVariable *GV = dyn_cast<DIGlobalVariable>(Attachment);
14740b57cec5SDimitry Andric       DIExpression *E = nullptr;
14750b57cec5SDimitry Andric       if (!GV) {
14760b57cec5SDimitry Andric         auto *GVE = cast<DIGlobalVariableExpression>(Attachment);
14770b57cec5SDimitry Andric         GV = GVE->getVariable();
14780b57cec5SDimitry Andric         E = GVE->getExpression();
14790b57cec5SDimitry Andric       }
14800b57cec5SDimitry Andric       ArrayRef<uint64_t> OrigElements;
14810b57cec5SDimitry Andric       if (E)
14820b57cec5SDimitry Andric         OrigElements = E->getElements();
14830b57cec5SDimitry Andric       std::vector<uint64_t> Elements(OrigElements.size() + 2);
14840b57cec5SDimitry Andric       Elements[0] = dwarf::DW_OP_plus_uconst;
14850b57cec5SDimitry Andric       Elements[1] = Offset;
14860b57cec5SDimitry Andric       llvm::copy(OrigElements, Elements.begin() + 2);
14870b57cec5SDimitry Andric       E = DIExpression::get(getContext(), Elements);
14880b57cec5SDimitry Andric       Attachment = DIGlobalVariableExpression::get(getContext(), GV, E);
14890b57cec5SDimitry Andric     }
14900b57cec5SDimitry Andric     addMetadata(MD.first, *Attachment);
14910b57cec5SDimitry Andric   }
14920b57cec5SDimitry Andric }
14930b57cec5SDimitry Andric 
14940b57cec5SDimitry Andric void GlobalObject::addTypeMetadata(unsigned Offset, Metadata *TypeID) {
14950b57cec5SDimitry Andric   addMetadata(
14960b57cec5SDimitry Andric       LLVMContext::MD_type,
14970b57cec5SDimitry Andric       *MDTuple::get(getContext(),
14980b57cec5SDimitry Andric                     {ConstantAsMetadata::get(ConstantInt::get(
14990b57cec5SDimitry Andric                          Type::getInt64Ty(getContext()), Offset)),
15000b57cec5SDimitry Andric                      TypeID}));
15010b57cec5SDimitry Andric }
15020b57cec5SDimitry Andric 
1503*5ffd83dbSDimitry Andric void GlobalObject::setVCallVisibilityMetadata(VCallVisibility Visibility) {
1504*5ffd83dbSDimitry Andric   // Remove any existing vcall visibility metadata first in case we are
1505*5ffd83dbSDimitry Andric   // updating.
1506*5ffd83dbSDimitry Andric   eraseMetadata(LLVMContext::MD_vcall_visibility);
15078bcb0991SDimitry Andric   addMetadata(LLVMContext::MD_vcall_visibility,
15088bcb0991SDimitry Andric               *MDNode::get(getContext(),
15098bcb0991SDimitry Andric                            {ConstantAsMetadata::get(ConstantInt::get(
15108bcb0991SDimitry Andric                                Type::getInt64Ty(getContext()), Visibility))}));
15118bcb0991SDimitry Andric }
15128bcb0991SDimitry Andric 
15138bcb0991SDimitry Andric GlobalObject::VCallVisibility GlobalObject::getVCallVisibility() const {
15148bcb0991SDimitry Andric   if (MDNode *MD = getMetadata(LLVMContext::MD_vcall_visibility)) {
15158bcb0991SDimitry Andric     uint64_t Val = cast<ConstantInt>(
15168bcb0991SDimitry Andric                        cast<ConstantAsMetadata>(MD->getOperand(0))->getValue())
15178bcb0991SDimitry Andric                        ->getZExtValue();
15188bcb0991SDimitry Andric     assert(Val <= 2 && "unknown vcall visibility!");
15198bcb0991SDimitry Andric     return (VCallVisibility)Val;
15208bcb0991SDimitry Andric   }
15218bcb0991SDimitry Andric   return VCallVisibility::VCallVisibilityPublic;
15228bcb0991SDimitry Andric }
15238bcb0991SDimitry Andric 
15240b57cec5SDimitry Andric void Function::setSubprogram(DISubprogram *SP) {
15250b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_dbg, SP);
15260b57cec5SDimitry Andric }
15270b57cec5SDimitry Andric 
15280b57cec5SDimitry Andric DISubprogram *Function::getSubprogram() const {
15290b57cec5SDimitry Andric   return cast_or_null<DISubprogram>(getMetadata(LLVMContext::MD_dbg));
15300b57cec5SDimitry Andric }
15310b57cec5SDimitry Andric 
15320b57cec5SDimitry Andric bool Function::isDebugInfoForProfiling() const {
15330b57cec5SDimitry Andric   if (DISubprogram *SP = getSubprogram()) {
15340b57cec5SDimitry Andric     if (DICompileUnit *CU = SP->getUnit()) {
15350b57cec5SDimitry Andric       return CU->getDebugInfoForProfiling();
15360b57cec5SDimitry Andric     }
15370b57cec5SDimitry Andric   }
15380b57cec5SDimitry Andric   return false;
15390b57cec5SDimitry Andric }
15400b57cec5SDimitry Andric 
15410b57cec5SDimitry Andric void GlobalVariable::addDebugInfo(DIGlobalVariableExpression *GV) {
15420b57cec5SDimitry Andric   addMetadata(LLVMContext::MD_dbg, *GV);
15430b57cec5SDimitry Andric }
15440b57cec5SDimitry Andric 
15450b57cec5SDimitry Andric void GlobalVariable::getDebugInfo(
15460b57cec5SDimitry Andric     SmallVectorImpl<DIGlobalVariableExpression *> &GVs) const {
15470b57cec5SDimitry Andric   SmallVector<MDNode *, 1> MDs;
15480b57cec5SDimitry Andric   getMetadata(LLVMContext::MD_dbg, MDs);
15490b57cec5SDimitry Andric   for (MDNode *MD : MDs)
15500b57cec5SDimitry Andric     GVs.push_back(cast<DIGlobalVariableExpression>(MD));
15510b57cec5SDimitry Andric }
1552