xref: /freebsd/contrib/llvm-project/llvm/lib/IR/Metadata.cpp (revision e8d8bef961a50d4dc22501cde4fb9fb0be1b2532)
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 
13*e8d8bef9SDimitry Andric #include "llvm/IR/Metadata.h"
140b57cec5SDimitry Andric #include "LLVMContextImpl.h"
150b57cec5SDimitry Andric #include "MetadataImpl.h"
160b57cec5SDimitry Andric #include "SymbolTableListTraitsImpl.h"
170b57cec5SDimitry Andric #include "llvm/ADT/APFloat.h"
180b57cec5SDimitry Andric #include "llvm/ADT/APInt.h"
190b57cec5SDimitry Andric #include "llvm/ADT/ArrayRef.h"
200b57cec5SDimitry Andric #include "llvm/ADT/DenseSet.h"
210b57cec5SDimitry Andric #include "llvm/ADT/None.h"
220b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
230b57cec5SDimitry Andric #include "llvm/ADT/SetVector.h"
240b57cec5SDimitry Andric #include "llvm/ADT/SmallPtrSet.h"
250b57cec5SDimitry Andric #include "llvm/ADT/SmallSet.h"
260b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
270b57cec5SDimitry Andric #include "llvm/ADT/StringMap.h"
280b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
290b57cec5SDimitry Andric #include "llvm/ADT/Twine.h"
300b57cec5SDimitry Andric #include "llvm/IR/Argument.h"
310b57cec5SDimitry Andric #include "llvm/IR/BasicBlock.h"
320b57cec5SDimitry Andric #include "llvm/IR/Constant.h"
330b57cec5SDimitry Andric #include "llvm/IR/ConstantRange.h"
340b57cec5SDimitry Andric #include "llvm/IR/Constants.h"
350b57cec5SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h"
360b57cec5SDimitry Andric #include "llvm/IR/DebugLoc.h"
370b57cec5SDimitry Andric #include "llvm/IR/Function.h"
380b57cec5SDimitry Andric #include "llvm/IR/GlobalObject.h"
390b57cec5SDimitry Andric #include "llvm/IR/GlobalVariable.h"
400b57cec5SDimitry Andric #include "llvm/IR/Instruction.h"
410b57cec5SDimitry Andric #include "llvm/IR/LLVMContext.h"
42*e8d8bef9SDimitry Andric #include "llvm/IR/MDBuilder.h"
430b57cec5SDimitry Andric #include "llvm/IR/Module.h"
440b57cec5SDimitry Andric #include "llvm/IR/TrackingMDRef.h"
450b57cec5SDimitry Andric #include "llvm/IR/Type.h"
460b57cec5SDimitry Andric #include "llvm/IR/Value.h"
470b57cec5SDimitry Andric #include "llvm/IR/ValueHandle.h"
480b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
490b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
500b57cec5SDimitry Andric #include "llvm/Support/MathExtras.h"
510b57cec5SDimitry Andric #include <algorithm>
520b57cec5SDimitry Andric #include <cassert>
530b57cec5SDimitry Andric #include <cstddef>
540b57cec5SDimitry Andric #include <cstdint>
550b57cec5SDimitry Andric #include <iterator>
560b57cec5SDimitry Andric #include <tuple>
570b57cec5SDimitry Andric #include <type_traits>
580b57cec5SDimitry Andric #include <utility>
590b57cec5SDimitry Andric #include <vector>
600b57cec5SDimitry Andric 
610b57cec5SDimitry Andric using namespace llvm;
620b57cec5SDimitry Andric 
630b57cec5SDimitry Andric MetadataAsValue::MetadataAsValue(Type *Ty, Metadata *MD)
640b57cec5SDimitry Andric     : Value(Ty, MetadataAsValueVal), MD(MD) {
650b57cec5SDimitry Andric   track();
660b57cec5SDimitry Andric }
670b57cec5SDimitry Andric 
680b57cec5SDimitry Andric MetadataAsValue::~MetadataAsValue() {
690b57cec5SDimitry Andric   getType()->getContext().pImpl->MetadataAsValues.erase(MD);
700b57cec5SDimitry Andric   untrack();
710b57cec5SDimitry Andric }
720b57cec5SDimitry Andric 
730b57cec5SDimitry Andric /// Canonicalize metadata arguments to intrinsics.
740b57cec5SDimitry Andric ///
750b57cec5SDimitry Andric /// To support bitcode upgrades (and assembly semantic sugar) for \a
760b57cec5SDimitry Andric /// MetadataAsValue, we need to canonicalize certain metadata.
770b57cec5SDimitry Andric ///
780b57cec5SDimitry Andric ///   - nullptr is replaced by an empty MDNode.
790b57cec5SDimitry Andric ///   - An MDNode with a single null operand is replaced by an empty MDNode.
800b57cec5SDimitry Andric ///   - An MDNode whose only operand is a \a ConstantAsMetadata gets skipped.
810b57cec5SDimitry Andric ///
820b57cec5SDimitry Andric /// This maintains readability of bitcode from when metadata was a type of
830b57cec5SDimitry Andric /// value, and these bridges were unnecessary.
840b57cec5SDimitry Andric static Metadata *canonicalizeMetadataForValue(LLVMContext &Context,
850b57cec5SDimitry Andric                                               Metadata *MD) {
860b57cec5SDimitry Andric   if (!MD)
870b57cec5SDimitry Andric     // !{}
880b57cec5SDimitry Andric     return MDNode::get(Context, None);
890b57cec5SDimitry Andric 
900b57cec5SDimitry Andric   // Return early if this isn't a single-operand MDNode.
910b57cec5SDimitry Andric   auto *N = dyn_cast<MDNode>(MD);
920b57cec5SDimitry Andric   if (!N || N->getNumOperands() != 1)
930b57cec5SDimitry Andric     return MD;
940b57cec5SDimitry Andric 
950b57cec5SDimitry Andric   if (!N->getOperand(0))
960b57cec5SDimitry Andric     // !{}
970b57cec5SDimitry Andric     return MDNode::get(Context, None);
980b57cec5SDimitry Andric 
990b57cec5SDimitry Andric   if (auto *C = dyn_cast<ConstantAsMetadata>(N->getOperand(0)))
1000b57cec5SDimitry Andric     // Look through the MDNode.
1010b57cec5SDimitry Andric     return C;
1020b57cec5SDimitry Andric 
1030b57cec5SDimitry Andric   return MD;
1040b57cec5SDimitry Andric }
1050b57cec5SDimitry Andric 
1060b57cec5SDimitry Andric MetadataAsValue *MetadataAsValue::get(LLVMContext &Context, Metadata *MD) {
1070b57cec5SDimitry Andric   MD = canonicalizeMetadataForValue(Context, MD);
1080b57cec5SDimitry Andric   auto *&Entry = Context.pImpl->MetadataAsValues[MD];
1090b57cec5SDimitry Andric   if (!Entry)
1100b57cec5SDimitry Andric     Entry = new MetadataAsValue(Type::getMetadataTy(Context), MD);
1110b57cec5SDimitry Andric   return Entry;
1120b57cec5SDimitry Andric }
1130b57cec5SDimitry Andric 
1140b57cec5SDimitry Andric MetadataAsValue *MetadataAsValue::getIfExists(LLVMContext &Context,
1150b57cec5SDimitry Andric                                               Metadata *MD) {
1160b57cec5SDimitry Andric   MD = canonicalizeMetadataForValue(Context, MD);
1170b57cec5SDimitry Andric   auto &Store = Context.pImpl->MetadataAsValues;
1180b57cec5SDimitry Andric   return Store.lookup(MD);
1190b57cec5SDimitry Andric }
1200b57cec5SDimitry Andric 
1210b57cec5SDimitry Andric void MetadataAsValue::handleChangedMetadata(Metadata *MD) {
1220b57cec5SDimitry Andric   LLVMContext &Context = getContext();
1230b57cec5SDimitry Andric   MD = canonicalizeMetadataForValue(Context, MD);
1240b57cec5SDimitry Andric   auto &Store = Context.pImpl->MetadataAsValues;
1250b57cec5SDimitry Andric 
1260b57cec5SDimitry Andric   // Stop tracking the old metadata.
1270b57cec5SDimitry Andric   Store.erase(this->MD);
1280b57cec5SDimitry Andric   untrack();
1290b57cec5SDimitry Andric   this->MD = nullptr;
1300b57cec5SDimitry Andric 
1310b57cec5SDimitry Andric   // Start tracking MD, or RAUW if necessary.
1320b57cec5SDimitry Andric   auto *&Entry = Store[MD];
1330b57cec5SDimitry Andric   if (Entry) {
1340b57cec5SDimitry Andric     replaceAllUsesWith(Entry);
1350b57cec5SDimitry Andric     delete this;
1360b57cec5SDimitry Andric     return;
1370b57cec5SDimitry Andric   }
1380b57cec5SDimitry Andric 
1390b57cec5SDimitry Andric   this->MD = MD;
1400b57cec5SDimitry Andric   track();
1410b57cec5SDimitry Andric   Entry = this;
1420b57cec5SDimitry Andric }
1430b57cec5SDimitry Andric 
1440b57cec5SDimitry Andric void MetadataAsValue::track() {
1450b57cec5SDimitry Andric   if (MD)
1460b57cec5SDimitry Andric     MetadataTracking::track(&MD, *MD, *this);
1470b57cec5SDimitry Andric }
1480b57cec5SDimitry Andric 
1490b57cec5SDimitry Andric void MetadataAsValue::untrack() {
1500b57cec5SDimitry Andric   if (MD)
1510b57cec5SDimitry Andric     MetadataTracking::untrack(MD);
1520b57cec5SDimitry Andric }
1530b57cec5SDimitry Andric 
1540b57cec5SDimitry Andric bool MetadataTracking::track(void *Ref, Metadata &MD, OwnerTy Owner) {
1550b57cec5SDimitry Andric   assert(Ref && "Expected live reference");
1560b57cec5SDimitry Andric   assert((Owner || *static_cast<Metadata **>(Ref) == &MD) &&
1570b57cec5SDimitry Andric          "Reference without owner must be direct");
1580b57cec5SDimitry Andric   if (auto *R = ReplaceableMetadataImpl::getOrCreate(MD)) {
1590b57cec5SDimitry Andric     R->addRef(Ref, Owner);
1600b57cec5SDimitry Andric     return true;
1610b57cec5SDimitry Andric   }
1620b57cec5SDimitry Andric   if (auto *PH = dyn_cast<DistinctMDOperandPlaceholder>(&MD)) {
1630b57cec5SDimitry Andric     assert(!PH->Use && "Placeholders can only be used once");
1640b57cec5SDimitry Andric     assert(!Owner && "Unexpected callback to owner");
1650b57cec5SDimitry Andric     PH->Use = static_cast<Metadata **>(Ref);
1660b57cec5SDimitry Andric     return true;
1670b57cec5SDimitry Andric   }
1680b57cec5SDimitry Andric   return false;
1690b57cec5SDimitry Andric }
1700b57cec5SDimitry Andric 
1710b57cec5SDimitry Andric void MetadataTracking::untrack(void *Ref, Metadata &MD) {
1720b57cec5SDimitry Andric   assert(Ref && "Expected live reference");
1730b57cec5SDimitry Andric   if (auto *R = ReplaceableMetadataImpl::getIfExists(MD))
1740b57cec5SDimitry Andric     R->dropRef(Ref);
1750b57cec5SDimitry Andric   else if (auto *PH = dyn_cast<DistinctMDOperandPlaceholder>(&MD))
1760b57cec5SDimitry Andric     PH->Use = nullptr;
1770b57cec5SDimitry Andric }
1780b57cec5SDimitry Andric 
1790b57cec5SDimitry Andric bool MetadataTracking::retrack(void *Ref, Metadata &MD, void *New) {
1800b57cec5SDimitry Andric   assert(Ref && "Expected live reference");
1810b57cec5SDimitry Andric   assert(New && "Expected live reference");
1820b57cec5SDimitry Andric   assert(Ref != New && "Expected change");
1830b57cec5SDimitry Andric   if (auto *R = ReplaceableMetadataImpl::getIfExists(MD)) {
1840b57cec5SDimitry Andric     R->moveRef(Ref, New, MD);
1850b57cec5SDimitry Andric     return true;
1860b57cec5SDimitry Andric   }
1870b57cec5SDimitry Andric   assert(!isa<DistinctMDOperandPlaceholder>(MD) &&
1880b57cec5SDimitry Andric          "Unexpected move of an MDOperand");
1890b57cec5SDimitry Andric   assert(!isReplaceable(MD) &&
1900b57cec5SDimitry Andric          "Expected un-replaceable metadata, since we didn't move a reference");
1910b57cec5SDimitry Andric   return false;
1920b57cec5SDimitry Andric }
1930b57cec5SDimitry Andric 
1940b57cec5SDimitry Andric bool MetadataTracking::isReplaceable(const Metadata &MD) {
1950b57cec5SDimitry Andric   return ReplaceableMetadataImpl::isReplaceable(MD);
1960b57cec5SDimitry Andric }
1970b57cec5SDimitry Andric 
1980b57cec5SDimitry Andric void ReplaceableMetadataImpl::addRef(void *Ref, OwnerTy Owner) {
1990b57cec5SDimitry Andric   bool WasInserted =
2000b57cec5SDimitry Andric       UseMap.insert(std::make_pair(Ref, std::make_pair(Owner, NextIndex)))
2010b57cec5SDimitry Andric           .second;
2020b57cec5SDimitry Andric   (void)WasInserted;
2030b57cec5SDimitry Andric   assert(WasInserted && "Expected to add a reference");
2040b57cec5SDimitry Andric 
2050b57cec5SDimitry Andric   ++NextIndex;
2060b57cec5SDimitry Andric   assert(NextIndex != 0 && "Unexpected overflow");
2070b57cec5SDimitry Andric }
2080b57cec5SDimitry Andric 
2090b57cec5SDimitry Andric void ReplaceableMetadataImpl::dropRef(void *Ref) {
2100b57cec5SDimitry Andric   bool WasErased = UseMap.erase(Ref);
2110b57cec5SDimitry Andric   (void)WasErased;
2120b57cec5SDimitry Andric   assert(WasErased && "Expected to drop a reference");
2130b57cec5SDimitry Andric }
2140b57cec5SDimitry Andric 
2150b57cec5SDimitry Andric void ReplaceableMetadataImpl::moveRef(void *Ref, void *New,
2160b57cec5SDimitry Andric                                       const Metadata &MD) {
2170b57cec5SDimitry Andric   auto I = UseMap.find(Ref);
2180b57cec5SDimitry Andric   assert(I != UseMap.end() && "Expected to move a reference");
2190b57cec5SDimitry Andric   auto OwnerAndIndex = I->second;
2200b57cec5SDimitry Andric   UseMap.erase(I);
2210b57cec5SDimitry Andric   bool WasInserted = UseMap.insert(std::make_pair(New, OwnerAndIndex)).second;
2220b57cec5SDimitry Andric   (void)WasInserted;
2230b57cec5SDimitry Andric   assert(WasInserted && "Expected to add a reference");
2240b57cec5SDimitry Andric 
2250b57cec5SDimitry Andric   // Check that the references are direct if there's no owner.
2260b57cec5SDimitry Andric   (void)MD;
2270b57cec5SDimitry Andric   assert((OwnerAndIndex.first || *static_cast<Metadata **>(Ref) == &MD) &&
2280b57cec5SDimitry Andric          "Reference without owner must be direct");
2290b57cec5SDimitry Andric   assert((OwnerAndIndex.first || *static_cast<Metadata **>(New) == &MD) &&
2300b57cec5SDimitry Andric          "Reference without owner must be direct");
2310b57cec5SDimitry Andric }
2320b57cec5SDimitry Andric 
2330b57cec5SDimitry Andric void ReplaceableMetadataImpl::replaceAllUsesWith(Metadata *MD) {
2340b57cec5SDimitry Andric   if (UseMap.empty())
2350b57cec5SDimitry Andric     return;
2360b57cec5SDimitry Andric 
2370b57cec5SDimitry Andric   // Copy out uses since UseMap will get touched below.
2380b57cec5SDimitry Andric   using UseTy = std::pair<void *, std::pair<OwnerTy, uint64_t>>;
2390b57cec5SDimitry Andric   SmallVector<UseTy, 8> Uses(UseMap.begin(), UseMap.end());
2400b57cec5SDimitry Andric   llvm::sort(Uses, [](const UseTy &L, const UseTy &R) {
2410b57cec5SDimitry Andric     return L.second.second < R.second.second;
2420b57cec5SDimitry Andric   });
2430b57cec5SDimitry Andric   for (const auto &Pair : Uses) {
2440b57cec5SDimitry Andric     // Check that this Ref hasn't disappeared after RAUW (when updating a
2450b57cec5SDimitry Andric     // previous Ref).
2460b57cec5SDimitry Andric     if (!UseMap.count(Pair.first))
2470b57cec5SDimitry Andric       continue;
2480b57cec5SDimitry Andric 
2490b57cec5SDimitry Andric     OwnerTy Owner = Pair.second.first;
2500b57cec5SDimitry Andric     if (!Owner) {
2510b57cec5SDimitry Andric       // Update unowned tracking references directly.
2520b57cec5SDimitry Andric       Metadata *&Ref = *static_cast<Metadata **>(Pair.first);
2530b57cec5SDimitry Andric       Ref = MD;
2540b57cec5SDimitry Andric       if (MD)
2550b57cec5SDimitry Andric         MetadataTracking::track(Ref);
2560b57cec5SDimitry Andric       UseMap.erase(Pair.first);
2570b57cec5SDimitry Andric       continue;
2580b57cec5SDimitry Andric     }
2590b57cec5SDimitry Andric 
2600b57cec5SDimitry Andric     // Check for MetadataAsValue.
2610b57cec5SDimitry Andric     if (Owner.is<MetadataAsValue *>()) {
2620b57cec5SDimitry Andric       Owner.get<MetadataAsValue *>()->handleChangedMetadata(MD);
2630b57cec5SDimitry Andric       continue;
2640b57cec5SDimitry Andric     }
2650b57cec5SDimitry Andric 
2660b57cec5SDimitry Andric     // There's a Metadata owner -- dispatch.
2670b57cec5SDimitry Andric     Metadata *OwnerMD = Owner.get<Metadata *>();
2680b57cec5SDimitry Andric     switch (OwnerMD->getMetadataID()) {
2690b57cec5SDimitry Andric #define HANDLE_METADATA_LEAF(CLASS)                                            \
2700b57cec5SDimitry Andric   case Metadata::CLASS##Kind:                                                  \
2710b57cec5SDimitry Andric     cast<CLASS>(OwnerMD)->handleChangedOperand(Pair.first, MD);                \
2720b57cec5SDimitry Andric     continue;
2730b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
2740b57cec5SDimitry Andric     default:
2750b57cec5SDimitry Andric       llvm_unreachable("Invalid metadata subclass");
2760b57cec5SDimitry Andric     }
2770b57cec5SDimitry Andric   }
2780b57cec5SDimitry Andric   assert(UseMap.empty() && "Expected all uses to be replaced");
2790b57cec5SDimitry Andric }
2800b57cec5SDimitry Andric 
2810b57cec5SDimitry Andric void ReplaceableMetadataImpl::resolveAllUses(bool ResolveUsers) {
2820b57cec5SDimitry Andric   if (UseMap.empty())
2830b57cec5SDimitry Andric     return;
2840b57cec5SDimitry Andric 
2850b57cec5SDimitry Andric   if (!ResolveUsers) {
2860b57cec5SDimitry Andric     UseMap.clear();
2870b57cec5SDimitry Andric     return;
2880b57cec5SDimitry Andric   }
2890b57cec5SDimitry Andric 
2900b57cec5SDimitry Andric   // Copy out uses since UseMap could get touched below.
2910b57cec5SDimitry Andric   using UseTy = std::pair<void *, std::pair<OwnerTy, uint64_t>>;
2920b57cec5SDimitry Andric   SmallVector<UseTy, 8> Uses(UseMap.begin(), UseMap.end());
2930b57cec5SDimitry Andric   llvm::sort(Uses, [](const UseTy &L, const UseTy &R) {
2940b57cec5SDimitry Andric     return L.second.second < R.second.second;
2950b57cec5SDimitry Andric   });
2960b57cec5SDimitry Andric   UseMap.clear();
2970b57cec5SDimitry Andric   for (const auto &Pair : Uses) {
2980b57cec5SDimitry Andric     auto Owner = Pair.second.first;
2990b57cec5SDimitry Andric     if (!Owner)
3000b57cec5SDimitry Andric       continue;
3010b57cec5SDimitry Andric     if (Owner.is<MetadataAsValue *>())
3020b57cec5SDimitry Andric       continue;
3030b57cec5SDimitry Andric 
3040b57cec5SDimitry Andric     // Resolve MDNodes that point at this.
3050b57cec5SDimitry Andric     auto *OwnerMD = dyn_cast<MDNode>(Owner.get<Metadata *>());
3060b57cec5SDimitry Andric     if (!OwnerMD)
3070b57cec5SDimitry Andric       continue;
3080b57cec5SDimitry Andric     if (OwnerMD->isResolved())
3090b57cec5SDimitry Andric       continue;
3100b57cec5SDimitry Andric     OwnerMD->decrementUnresolvedOperandCount();
3110b57cec5SDimitry Andric   }
3120b57cec5SDimitry Andric }
3130b57cec5SDimitry Andric 
3140b57cec5SDimitry Andric ReplaceableMetadataImpl *ReplaceableMetadataImpl::getOrCreate(Metadata &MD) {
3150b57cec5SDimitry Andric   if (auto *N = dyn_cast<MDNode>(&MD))
3160b57cec5SDimitry Andric     return N->isResolved() ? nullptr : N->Context.getOrCreateReplaceableUses();
3170b57cec5SDimitry Andric   return dyn_cast<ValueAsMetadata>(&MD);
3180b57cec5SDimitry Andric }
3190b57cec5SDimitry Andric 
3200b57cec5SDimitry Andric ReplaceableMetadataImpl *ReplaceableMetadataImpl::getIfExists(Metadata &MD) {
3210b57cec5SDimitry Andric   if (auto *N = dyn_cast<MDNode>(&MD))
3220b57cec5SDimitry Andric     return N->isResolved() ? nullptr : N->Context.getReplaceableUses();
3230b57cec5SDimitry Andric   return dyn_cast<ValueAsMetadata>(&MD);
3240b57cec5SDimitry Andric }
3250b57cec5SDimitry Andric 
3260b57cec5SDimitry Andric bool ReplaceableMetadataImpl::isReplaceable(const Metadata &MD) {
3270b57cec5SDimitry Andric   if (auto *N = dyn_cast<MDNode>(&MD))
3280b57cec5SDimitry Andric     return !N->isResolved();
3290b57cec5SDimitry Andric   return dyn_cast<ValueAsMetadata>(&MD);
3300b57cec5SDimitry Andric }
3310b57cec5SDimitry Andric 
3320b57cec5SDimitry Andric static DISubprogram *getLocalFunctionMetadata(Value *V) {
3330b57cec5SDimitry Andric   assert(V && "Expected value");
3340b57cec5SDimitry Andric   if (auto *A = dyn_cast<Argument>(V)) {
3350b57cec5SDimitry Andric     if (auto *Fn = A->getParent())
3360b57cec5SDimitry Andric       return Fn->getSubprogram();
3370b57cec5SDimitry Andric     return nullptr;
3380b57cec5SDimitry Andric   }
3390b57cec5SDimitry Andric 
3400b57cec5SDimitry Andric   if (BasicBlock *BB = cast<Instruction>(V)->getParent()) {
3410b57cec5SDimitry Andric     if (auto *Fn = BB->getParent())
3420b57cec5SDimitry Andric       return Fn->getSubprogram();
3430b57cec5SDimitry Andric     return nullptr;
3440b57cec5SDimitry Andric   }
3450b57cec5SDimitry Andric 
3460b57cec5SDimitry Andric   return nullptr;
3470b57cec5SDimitry Andric }
3480b57cec5SDimitry Andric 
3490b57cec5SDimitry Andric ValueAsMetadata *ValueAsMetadata::get(Value *V) {
3500b57cec5SDimitry Andric   assert(V && "Unexpected null Value");
3510b57cec5SDimitry Andric 
3520b57cec5SDimitry Andric   auto &Context = V->getContext();
3530b57cec5SDimitry Andric   auto *&Entry = Context.pImpl->ValuesAsMetadata[V];
3540b57cec5SDimitry Andric   if (!Entry) {
3550b57cec5SDimitry Andric     assert((isa<Constant>(V) || isa<Argument>(V) || isa<Instruction>(V)) &&
3560b57cec5SDimitry Andric            "Expected constant or function-local value");
3570b57cec5SDimitry Andric     assert(!V->IsUsedByMD && "Expected this to be the only metadata use");
3580b57cec5SDimitry Andric     V->IsUsedByMD = true;
3590b57cec5SDimitry Andric     if (auto *C = dyn_cast<Constant>(V))
3600b57cec5SDimitry Andric       Entry = new ConstantAsMetadata(C);
3610b57cec5SDimitry Andric     else
3620b57cec5SDimitry Andric       Entry = new LocalAsMetadata(V);
3630b57cec5SDimitry Andric   }
3640b57cec5SDimitry Andric 
3650b57cec5SDimitry Andric   return Entry;
3660b57cec5SDimitry Andric }
3670b57cec5SDimitry Andric 
3680b57cec5SDimitry Andric ValueAsMetadata *ValueAsMetadata::getIfExists(Value *V) {
3690b57cec5SDimitry Andric   assert(V && "Unexpected null Value");
3700b57cec5SDimitry Andric   return V->getContext().pImpl->ValuesAsMetadata.lookup(V);
3710b57cec5SDimitry Andric }
3720b57cec5SDimitry Andric 
3730b57cec5SDimitry Andric void ValueAsMetadata::handleDeletion(Value *V) {
3740b57cec5SDimitry Andric   assert(V && "Expected valid value");
3750b57cec5SDimitry Andric 
3760b57cec5SDimitry Andric   auto &Store = V->getType()->getContext().pImpl->ValuesAsMetadata;
3770b57cec5SDimitry Andric   auto I = Store.find(V);
3780b57cec5SDimitry Andric   if (I == Store.end())
3790b57cec5SDimitry Andric     return;
3800b57cec5SDimitry Andric 
3810b57cec5SDimitry Andric   // Remove old entry from the map.
3820b57cec5SDimitry Andric   ValueAsMetadata *MD = I->second;
3830b57cec5SDimitry Andric   assert(MD && "Expected valid metadata");
3840b57cec5SDimitry Andric   assert(MD->getValue() == V && "Expected valid mapping");
3850b57cec5SDimitry Andric   Store.erase(I);
3860b57cec5SDimitry Andric 
3870b57cec5SDimitry Andric   // Delete the metadata.
3880b57cec5SDimitry Andric   MD->replaceAllUsesWith(nullptr);
3890b57cec5SDimitry Andric   delete MD;
3900b57cec5SDimitry Andric }
3910b57cec5SDimitry Andric 
3920b57cec5SDimitry Andric void ValueAsMetadata::handleRAUW(Value *From, Value *To) {
3930b57cec5SDimitry Andric   assert(From && "Expected valid value");
3940b57cec5SDimitry Andric   assert(To && "Expected valid value");
3950b57cec5SDimitry Andric   assert(From != To && "Expected changed value");
3960b57cec5SDimitry Andric   assert(From->getType() == To->getType() && "Unexpected type change");
3970b57cec5SDimitry Andric 
3980b57cec5SDimitry Andric   LLVMContext &Context = From->getType()->getContext();
3990b57cec5SDimitry Andric   auto &Store = Context.pImpl->ValuesAsMetadata;
4000b57cec5SDimitry Andric   auto I = Store.find(From);
4010b57cec5SDimitry Andric   if (I == Store.end()) {
4020b57cec5SDimitry Andric     assert(!From->IsUsedByMD && "Expected From not to be used by metadata");
4030b57cec5SDimitry Andric     return;
4040b57cec5SDimitry Andric   }
4050b57cec5SDimitry Andric 
4060b57cec5SDimitry Andric   // Remove old entry from the map.
4070b57cec5SDimitry Andric   assert(From->IsUsedByMD && "Expected From to be used by metadata");
4080b57cec5SDimitry Andric   From->IsUsedByMD = false;
4090b57cec5SDimitry Andric   ValueAsMetadata *MD = I->second;
4100b57cec5SDimitry Andric   assert(MD && "Expected valid metadata");
4110b57cec5SDimitry Andric   assert(MD->getValue() == From && "Expected valid mapping");
4120b57cec5SDimitry Andric   Store.erase(I);
4130b57cec5SDimitry Andric 
4140b57cec5SDimitry Andric   if (isa<LocalAsMetadata>(MD)) {
4150b57cec5SDimitry Andric     if (auto *C = dyn_cast<Constant>(To)) {
4160b57cec5SDimitry Andric       // Local became a constant.
4170b57cec5SDimitry Andric       MD->replaceAllUsesWith(ConstantAsMetadata::get(C));
4180b57cec5SDimitry Andric       delete MD;
4190b57cec5SDimitry Andric       return;
4200b57cec5SDimitry Andric     }
4210b57cec5SDimitry Andric     if (getLocalFunctionMetadata(From) && getLocalFunctionMetadata(To) &&
4220b57cec5SDimitry Andric         getLocalFunctionMetadata(From) != getLocalFunctionMetadata(To)) {
4230b57cec5SDimitry Andric       // DISubprogram changed.
4240b57cec5SDimitry Andric       MD->replaceAllUsesWith(nullptr);
4250b57cec5SDimitry Andric       delete MD;
4260b57cec5SDimitry Andric       return;
4270b57cec5SDimitry Andric     }
4280b57cec5SDimitry Andric   } else if (!isa<Constant>(To)) {
4290b57cec5SDimitry Andric     // Changed to function-local value.
4300b57cec5SDimitry Andric     MD->replaceAllUsesWith(nullptr);
4310b57cec5SDimitry Andric     delete MD;
4320b57cec5SDimitry Andric     return;
4330b57cec5SDimitry Andric   }
4340b57cec5SDimitry Andric 
4350b57cec5SDimitry Andric   auto *&Entry = Store[To];
4360b57cec5SDimitry Andric   if (Entry) {
4370b57cec5SDimitry Andric     // The target already exists.
4380b57cec5SDimitry Andric     MD->replaceAllUsesWith(Entry);
4390b57cec5SDimitry Andric     delete MD;
4400b57cec5SDimitry Andric     return;
4410b57cec5SDimitry Andric   }
4420b57cec5SDimitry Andric 
4430b57cec5SDimitry Andric   // Update MD in place (and update the map entry).
4440b57cec5SDimitry Andric   assert(!To->IsUsedByMD && "Expected this to be the only metadata use");
4450b57cec5SDimitry Andric   To->IsUsedByMD = true;
4460b57cec5SDimitry Andric   MD->V = To;
4470b57cec5SDimitry Andric   Entry = MD;
4480b57cec5SDimitry Andric }
4490b57cec5SDimitry Andric 
4500b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
4510b57cec5SDimitry Andric // MDString implementation.
4520b57cec5SDimitry Andric //
4530b57cec5SDimitry Andric 
4540b57cec5SDimitry Andric MDString *MDString::get(LLVMContext &Context, StringRef Str) {
4550b57cec5SDimitry Andric   auto &Store = Context.pImpl->MDStringCache;
4560b57cec5SDimitry Andric   auto I = Store.try_emplace(Str);
4570b57cec5SDimitry Andric   auto &MapEntry = I.first->getValue();
4580b57cec5SDimitry Andric   if (!I.second)
4590b57cec5SDimitry Andric     return &MapEntry;
4600b57cec5SDimitry Andric   MapEntry.Entry = &*I.first;
4610b57cec5SDimitry Andric   return &MapEntry;
4620b57cec5SDimitry Andric }
4630b57cec5SDimitry Andric 
4640b57cec5SDimitry Andric StringRef MDString::getString() const {
4650b57cec5SDimitry Andric   assert(Entry && "Expected to find string map entry");
4660b57cec5SDimitry Andric   return Entry->first();
4670b57cec5SDimitry Andric }
4680b57cec5SDimitry Andric 
4690b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
4700b57cec5SDimitry Andric // MDNode implementation.
4710b57cec5SDimitry Andric //
4720b57cec5SDimitry Andric 
4730b57cec5SDimitry Andric // Assert that the MDNode types will not be unaligned by the objects
4740b57cec5SDimitry Andric // prepended to them.
4750b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS)                                              \
4760b57cec5SDimitry Andric   static_assert(                                                               \
4770b57cec5SDimitry Andric       alignof(uint64_t) >= alignof(CLASS),                                     \
4780b57cec5SDimitry Andric       "Alignment is insufficient after objects prepended to " #CLASS);
4790b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
4800b57cec5SDimitry Andric 
4810b57cec5SDimitry Andric void *MDNode::operator new(size_t Size, unsigned NumOps) {
4820b57cec5SDimitry Andric   size_t OpSize = NumOps * sizeof(MDOperand);
4830b57cec5SDimitry Andric   // uint64_t is the most aligned type we need support (ensured by static_assert
4840b57cec5SDimitry Andric   // above)
4850b57cec5SDimitry Andric   OpSize = alignTo(OpSize, alignof(uint64_t));
4860b57cec5SDimitry Andric   void *Ptr = reinterpret_cast<char *>(::operator new(OpSize + Size)) + OpSize;
4870b57cec5SDimitry Andric   MDOperand *O = static_cast<MDOperand *>(Ptr);
4880b57cec5SDimitry Andric   for (MDOperand *E = O - NumOps; O != E; --O)
4890b57cec5SDimitry Andric     (void)new (O - 1) MDOperand;
4900b57cec5SDimitry Andric   return Ptr;
4910b57cec5SDimitry Andric }
4920b57cec5SDimitry Andric 
493480093f4SDimitry Andric // Repress memory sanitization, due to use-after-destroy by operator
494480093f4SDimitry Andric // delete. Bug report 24578 identifies this issue.
495480093f4SDimitry Andric LLVM_NO_SANITIZE_MEMORY_ATTRIBUTE void MDNode::operator delete(void *Mem) {
4960b57cec5SDimitry Andric   MDNode *N = static_cast<MDNode *>(Mem);
4970b57cec5SDimitry Andric   size_t OpSize = N->NumOperands * sizeof(MDOperand);
4980b57cec5SDimitry Andric   OpSize = alignTo(OpSize, alignof(uint64_t));
4990b57cec5SDimitry Andric 
5000b57cec5SDimitry Andric   MDOperand *O = static_cast<MDOperand *>(Mem);
5010b57cec5SDimitry Andric   for (MDOperand *E = O - N->NumOperands; O != E; --O)
5020b57cec5SDimitry Andric     (O - 1)->~MDOperand();
5030b57cec5SDimitry Andric   ::operator delete(reinterpret_cast<char *>(Mem) - OpSize);
5040b57cec5SDimitry Andric }
5050b57cec5SDimitry Andric 
5060b57cec5SDimitry Andric MDNode::MDNode(LLVMContext &Context, unsigned ID, StorageType Storage,
5070b57cec5SDimitry Andric                ArrayRef<Metadata *> Ops1, ArrayRef<Metadata *> Ops2)
5080b57cec5SDimitry Andric     : Metadata(ID, Storage), NumOperands(Ops1.size() + Ops2.size()),
5090b57cec5SDimitry Andric       NumUnresolved(0), Context(Context) {
5100b57cec5SDimitry Andric   unsigned Op = 0;
5110b57cec5SDimitry Andric   for (Metadata *MD : Ops1)
5120b57cec5SDimitry Andric     setOperand(Op++, MD);
5130b57cec5SDimitry Andric   for (Metadata *MD : Ops2)
5140b57cec5SDimitry Andric     setOperand(Op++, MD);
5150b57cec5SDimitry Andric 
5160b57cec5SDimitry Andric   if (!isUniqued())
5170b57cec5SDimitry Andric     return;
5180b57cec5SDimitry Andric 
5190b57cec5SDimitry Andric   // Count the unresolved operands.  If there are any, RAUW support will be
5200b57cec5SDimitry Andric   // added lazily on first reference.
5210b57cec5SDimitry Andric   countUnresolvedOperands();
5220b57cec5SDimitry Andric }
5230b57cec5SDimitry Andric 
5240b57cec5SDimitry Andric TempMDNode MDNode::clone() const {
5250b57cec5SDimitry Andric   switch (getMetadataID()) {
5260b57cec5SDimitry Andric   default:
5270b57cec5SDimitry Andric     llvm_unreachable("Invalid MDNode subclass");
5280b57cec5SDimitry Andric #define HANDLE_MDNODE_LEAF(CLASS)                                              \
5290b57cec5SDimitry Andric   case CLASS##Kind:                                                            \
5300b57cec5SDimitry Andric     return cast<CLASS>(this)->cloneImpl();
5310b57cec5SDimitry Andric #include "llvm/IR/Metadata.def"
5320b57cec5SDimitry Andric   }
5330b57cec5SDimitry Andric }
5340b57cec5SDimitry Andric 
5350b57cec5SDimitry Andric static bool isOperandUnresolved(Metadata *Op) {
5360b57cec5SDimitry Andric   if (auto *N = dyn_cast_or_null<MDNode>(Op))
5370b57cec5SDimitry Andric     return !N->isResolved();
5380b57cec5SDimitry Andric   return false;
5390b57cec5SDimitry Andric }
5400b57cec5SDimitry Andric 
5410b57cec5SDimitry Andric void MDNode::countUnresolvedOperands() {
5420b57cec5SDimitry Andric   assert(NumUnresolved == 0 && "Expected unresolved ops to be uncounted");
5430b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5440b57cec5SDimitry Andric   NumUnresolved = count_if(operands(), isOperandUnresolved);
5450b57cec5SDimitry Andric }
5460b57cec5SDimitry Andric 
5470b57cec5SDimitry Andric void MDNode::makeUniqued() {
5480b57cec5SDimitry Andric   assert(isTemporary() && "Expected this to be temporary");
5490b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
5500b57cec5SDimitry Andric 
5510b57cec5SDimitry Andric   // Enable uniquing callbacks.
5520b57cec5SDimitry Andric   for (auto &Op : mutable_operands())
5530b57cec5SDimitry Andric     Op.reset(Op.get(), this);
5540b57cec5SDimitry Andric 
5550b57cec5SDimitry Andric   // Make this 'uniqued'.
5560b57cec5SDimitry Andric   Storage = Uniqued;
5570b57cec5SDimitry Andric   countUnresolvedOperands();
5580b57cec5SDimitry Andric   if (!NumUnresolved) {
5590b57cec5SDimitry Andric     dropReplaceableUses();
5600b57cec5SDimitry Andric     assert(isResolved() && "Expected this to be resolved");
5610b57cec5SDimitry Andric   }
5620b57cec5SDimitry Andric 
5630b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5640b57cec5SDimitry Andric }
5650b57cec5SDimitry Andric 
5660b57cec5SDimitry Andric void MDNode::makeDistinct() {
5670b57cec5SDimitry Andric   assert(isTemporary() && "Expected this to be temporary");
5680b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
5690b57cec5SDimitry Andric 
5700b57cec5SDimitry Andric   // Drop RAUW support and store as a distinct node.
5710b57cec5SDimitry Andric   dropReplaceableUses();
5720b57cec5SDimitry Andric   storeDistinctInContext();
5730b57cec5SDimitry Andric 
5740b57cec5SDimitry Andric   assert(isDistinct() && "Expected this to be distinct");
5750b57cec5SDimitry Andric   assert(isResolved() && "Expected this to be resolved");
5760b57cec5SDimitry Andric }
5770b57cec5SDimitry Andric 
5780b57cec5SDimitry Andric void MDNode::resolve() {
5790b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5800b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
5810b57cec5SDimitry Andric 
5820b57cec5SDimitry Andric   NumUnresolved = 0;
5830b57cec5SDimitry Andric   dropReplaceableUses();
5840b57cec5SDimitry Andric 
5850b57cec5SDimitry Andric   assert(isResolved() && "Expected this to be resolved");
5860b57cec5SDimitry Andric }
5870b57cec5SDimitry Andric 
5880b57cec5SDimitry Andric void MDNode::dropReplaceableUses() {
5890b57cec5SDimitry Andric   assert(!NumUnresolved && "Unexpected unresolved operand");
5900b57cec5SDimitry Andric 
5910b57cec5SDimitry Andric   // Drop any RAUW support.
5920b57cec5SDimitry Andric   if (Context.hasReplaceableUses())
5930b57cec5SDimitry Andric     Context.takeReplaceableUses()->resolveAllUses();
5940b57cec5SDimitry Andric }
5950b57cec5SDimitry Andric 
5960b57cec5SDimitry Andric void MDNode::resolveAfterOperandChange(Metadata *Old, Metadata *New) {
5970b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
5980b57cec5SDimitry Andric   assert(NumUnresolved != 0 && "Expected unresolved operands");
5990b57cec5SDimitry Andric 
6000b57cec5SDimitry Andric   // Check if an operand was resolved.
6010b57cec5SDimitry Andric   if (!isOperandUnresolved(Old)) {
6020b57cec5SDimitry Andric     if (isOperandUnresolved(New))
6030b57cec5SDimitry Andric       // An operand was un-resolved!
6040b57cec5SDimitry Andric       ++NumUnresolved;
6050b57cec5SDimitry Andric   } else if (!isOperandUnresolved(New))
6060b57cec5SDimitry Andric     decrementUnresolvedOperandCount();
6070b57cec5SDimitry Andric }
6080b57cec5SDimitry Andric 
6090b57cec5SDimitry Andric void MDNode::decrementUnresolvedOperandCount() {
6100b57cec5SDimitry Andric   assert(!isResolved() && "Expected this to be unresolved");
6110b57cec5SDimitry Andric   if (isTemporary())
6120b57cec5SDimitry Andric     return;
6130b57cec5SDimitry Andric 
6140b57cec5SDimitry Andric   assert(isUniqued() && "Expected this to be uniqued");
6150b57cec5SDimitry Andric   if (--NumUnresolved)
6160b57cec5SDimitry Andric     return;
6170b57cec5SDimitry Andric 
6180b57cec5SDimitry Andric   // Last unresolved operand has just been resolved.
6190b57cec5SDimitry Andric   dropReplaceableUses();
6200b57cec5SDimitry Andric   assert(isResolved() && "Expected this to become resolved");
6210b57cec5SDimitry Andric }
6220b57cec5SDimitry Andric 
6230b57cec5SDimitry Andric void MDNode::resolveCycles() {
6240b57cec5SDimitry Andric   if (isResolved())
6250b57cec5SDimitry Andric     return;
6260b57cec5SDimitry Andric 
6270b57cec5SDimitry Andric   // Resolve this node immediately.
6280b57cec5SDimitry Andric   resolve();
6290b57cec5SDimitry Andric 
6300b57cec5SDimitry Andric   // Resolve all operands.
6310b57cec5SDimitry Andric   for (const auto &Op : operands()) {
6320b57cec5SDimitry Andric     auto *N = dyn_cast_or_null<MDNode>(Op);
6330b57cec5SDimitry Andric     if (!N)
6340b57cec5SDimitry Andric       continue;
6350b57cec5SDimitry Andric 
6360b57cec5SDimitry Andric     assert(!N->isTemporary() &&
6370b57cec5SDimitry Andric            "Expected all forward declarations to be resolved");
6380b57cec5SDimitry Andric     if (!N->isResolved())
6390b57cec5SDimitry Andric       N->resolveCycles();
6400b57cec5SDimitry Andric   }
6410b57cec5SDimitry Andric }
6420b57cec5SDimitry Andric 
6430b57cec5SDimitry Andric static bool hasSelfReference(MDNode *N) {
644*e8d8bef9SDimitry Andric   return llvm::is_contained(N->operands(), N);
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());
9155ffd83dbSDimitry Andric   MDs.remove_if([&](Metadata *MD) { return !BSet.count(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 
926*e8d8bef9SDimitry Andric   // Take the intersection of domains then union the scopes
927*e8d8bef9SDimitry Andric   // within those domains
928*e8d8bef9SDimitry Andric   SmallPtrSet<const MDNode *, 16> ADomains;
929*e8d8bef9SDimitry Andric   SmallPtrSet<const MDNode *, 16> IntersectDomains;
930*e8d8bef9SDimitry Andric   SmallSetVector<Metadata *, 4> MDs;
931*e8d8bef9SDimitry Andric   for (const MDOperand &MDOp : A->operands())
932*e8d8bef9SDimitry Andric     if (const MDNode *NAMD = dyn_cast<MDNode>(MDOp))
933*e8d8bef9SDimitry Andric       if (const MDNode *Domain = AliasScopeNode(NAMD).getDomain())
934*e8d8bef9SDimitry Andric         ADomains.insert(Domain);
935*e8d8bef9SDimitry Andric 
936*e8d8bef9SDimitry Andric   for (const MDOperand &MDOp : B->operands())
937*e8d8bef9SDimitry Andric     if (const MDNode *NAMD = dyn_cast<MDNode>(MDOp))
938*e8d8bef9SDimitry Andric       if (const MDNode *Domain = AliasScopeNode(NAMD).getDomain())
939*e8d8bef9SDimitry Andric         if (ADomains.contains(Domain)) {
940*e8d8bef9SDimitry Andric           IntersectDomains.insert(Domain);
941*e8d8bef9SDimitry Andric           MDs.insert(MDOp);
942*e8d8bef9SDimitry Andric         }
943*e8d8bef9SDimitry Andric 
944*e8d8bef9SDimitry Andric   for (const MDOperand &MDOp : A->operands())
945*e8d8bef9SDimitry Andric     if (const MDNode *NAMD = dyn_cast<MDNode>(MDOp))
946*e8d8bef9SDimitry Andric       if (const MDNode *Domain = AliasScopeNode(NAMD).getDomain())
947*e8d8bef9SDimitry Andric         if (IntersectDomains.contains(Domain))
948*e8d8bef9SDimitry Andric           MDs.insert(MDOp);
949*e8d8bef9SDimitry Andric 
950*e8d8bef9SDimitry Andric   return MDs.empty() ? nullptr
951*e8d8bef9SDimitry Andric                      : getOrSelfReference(A->getContext(), MDs.getArrayRef());
9520b57cec5SDimitry Andric }
9530b57cec5SDimitry Andric 
9540b57cec5SDimitry Andric MDNode *MDNode::getMostGenericFPMath(MDNode *A, MDNode *B) {
9550b57cec5SDimitry Andric   if (!A || !B)
9560b57cec5SDimitry Andric     return nullptr;
9570b57cec5SDimitry Andric 
9580b57cec5SDimitry Andric   APFloat AVal = mdconst::extract<ConstantFP>(A->getOperand(0))->getValueAPF();
9590b57cec5SDimitry Andric   APFloat BVal = mdconst::extract<ConstantFP>(B->getOperand(0))->getValueAPF();
9605ffd83dbSDimitry Andric   if (AVal < BVal)
9610b57cec5SDimitry Andric     return A;
9620b57cec5SDimitry Andric   return B;
9630b57cec5SDimitry Andric }
9640b57cec5SDimitry Andric 
9650b57cec5SDimitry Andric static bool isContiguous(const ConstantRange &A, const ConstantRange &B) {
9660b57cec5SDimitry Andric   return A.getUpper() == B.getLower() || A.getLower() == B.getUpper();
9670b57cec5SDimitry Andric }
9680b57cec5SDimitry Andric 
9690b57cec5SDimitry Andric static bool canBeMerged(const ConstantRange &A, const ConstantRange &B) {
9700b57cec5SDimitry Andric   return !A.intersectWith(B).isEmptySet() || isContiguous(A, B);
9710b57cec5SDimitry Andric }
9720b57cec5SDimitry Andric 
9730b57cec5SDimitry Andric static bool tryMergeRange(SmallVectorImpl<ConstantInt *> &EndPoints,
9740b57cec5SDimitry Andric                           ConstantInt *Low, ConstantInt *High) {
9750b57cec5SDimitry Andric   ConstantRange NewRange(Low->getValue(), High->getValue());
9760b57cec5SDimitry Andric   unsigned Size = EndPoints.size();
9770b57cec5SDimitry Andric   APInt LB = EndPoints[Size - 2]->getValue();
9780b57cec5SDimitry Andric   APInt LE = EndPoints[Size - 1]->getValue();
9790b57cec5SDimitry Andric   ConstantRange LastRange(LB, LE);
9800b57cec5SDimitry Andric   if (canBeMerged(NewRange, LastRange)) {
9810b57cec5SDimitry Andric     ConstantRange Union = LastRange.unionWith(NewRange);
9820b57cec5SDimitry Andric     Type *Ty = High->getType();
9830b57cec5SDimitry Andric     EndPoints[Size - 2] =
9840b57cec5SDimitry Andric         cast<ConstantInt>(ConstantInt::get(Ty, Union.getLower()));
9850b57cec5SDimitry Andric     EndPoints[Size - 1] =
9860b57cec5SDimitry Andric         cast<ConstantInt>(ConstantInt::get(Ty, Union.getUpper()));
9870b57cec5SDimitry Andric     return true;
9880b57cec5SDimitry Andric   }
9890b57cec5SDimitry Andric   return false;
9900b57cec5SDimitry Andric }
9910b57cec5SDimitry Andric 
9920b57cec5SDimitry Andric static void addRange(SmallVectorImpl<ConstantInt *> &EndPoints,
9930b57cec5SDimitry Andric                      ConstantInt *Low, ConstantInt *High) {
9940b57cec5SDimitry Andric   if (!EndPoints.empty())
9950b57cec5SDimitry Andric     if (tryMergeRange(EndPoints, Low, High))
9960b57cec5SDimitry Andric       return;
9970b57cec5SDimitry Andric 
9980b57cec5SDimitry Andric   EndPoints.push_back(Low);
9990b57cec5SDimitry Andric   EndPoints.push_back(High);
10000b57cec5SDimitry Andric }
10010b57cec5SDimitry Andric 
10020b57cec5SDimitry Andric MDNode *MDNode::getMostGenericRange(MDNode *A, MDNode *B) {
10030b57cec5SDimitry Andric   // Given two ranges, we want to compute the union of the ranges. This
10040b57cec5SDimitry Andric   // is slightly complicated by having to combine the intervals and merge
10050b57cec5SDimitry Andric   // the ones that overlap.
10060b57cec5SDimitry Andric 
10070b57cec5SDimitry Andric   if (!A || !B)
10080b57cec5SDimitry Andric     return nullptr;
10090b57cec5SDimitry Andric 
10100b57cec5SDimitry Andric   if (A == B)
10110b57cec5SDimitry Andric     return A;
10120b57cec5SDimitry Andric 
10130b57cec5SDimitry Andric   // First, walk both lists in order of the lower boundary of each interval.
10140b57cec5SDimitry Andric   // At each step, try to merge the new interval to the last one we adedd.
10150b57cec5SDimitry Andric   SmallVector<ConstantInt *, 4> EndPoints;
10160b57cec5SDimitry Andric   int AI = 0;
10170b57cec5SDimitry Andric   int BI = 0;
10180b57cec5SDimitry Andric   int AN = A->getNumOperands() / 2;
10190b57cec5SDimitry Andric   int BN = B->getNumOperands() / 2;
10200b57cec5SDimitry Andric   while (AI < AN && BI < BN) {
10210b57cec5SDimitry Andric     ConstantInt *ALow = mdconst::extract<ConstantInt>(A->getOperand(2 * AI));
10220b57cec5SDimitry Andric     ConstantInt *BLow = mdconst::extract<ConstantInt>(B->getOperand(2 * BI));
10230b57cec5SDimitry Andric 
10240b57cec5SDimitry Andric     if (ALow->getValue().slt(BLow->getValue())) {
10250b57cec5SDimitry Andric       addRange(EndPoints, ALow,
10260b57cec5SDimitry Andric                mdconst::extract<ConstantInt>(A->getOperand(2 * AI + 1)));
10270b57cec5SDimitry Andric       ++AI;
10280b57cec5SDimitry Andric     } else {
10290b57cec5SDimitry Andric       addRange(EndPoints, BLow,
10300b57cec5SDimitry Andric                mdconst::extract<ConstantInt>(B->getOperand(2 * BI + 1)));
10310b57cec5SDimitry Andric       ++BI;
10320b57cec5SDimitry Andric     }
10330b57cec5SDimitry Andric   }
10340b57cec5SDimitry Andric   while (AI < AN) {
10350b57cec5SDimitry Andric     addRange(EndPoints, mdconst::extract<ConstantInt>(A->getOperand(2 * AI)),
10360b57cec5SDimitry Andric              mdconst::extract<ConstantInt>(A->getOperand(2 * AI + 1)));
10370b57cec5SDimitry Andric     ++AI;
10380b57cec5SDimitry Andric   }
10390b57cec5SDimitry Andric   while (BI < BN) {
10400b57cec5SDimitry Andric     addRange(EndPoints, mdconst::extract<ConstantInt>(B->getOperand(2 * BI)),
10410b57cec5SDimitry Andric              mdconst::extract<ConstantInt>(B->getOperand(2 * BI + 1)));
10420b57cec5SDimitry Andric     ++BI;
10430b57cec5SDimitry Andric   }
10440b57cec5SDimitry Andric 
10450b57cec5SDimitry Andric   // If we have more than 2 ranges (4 endpoints) we have to try to merge
10460b57cec5SDimitry Andric   // the last and first ones.
10470b57cec5SDimitry Andric   unsigned Size = EndPoints.size();
10480b57cec5SDimitry Andric   if (Size > 4) {
10490b57cec5SDimitry Andric     ConstantInt *FB = EndPoints[0];
10500b57cec5SDimitry Andric     ConstantInt *FE = EndPoints[1];
10510b57cec5SDimitry Andric     if (tryMergeRange(EndPoints, FB, FE)) {
10520b57cec5SDimitry Andric       for (unsigned i = 0; i < Size - 2; ++i) {
10530b57cec5SDimitry Andric         EndPoints[i] = EndPoints[i + 2];
10540b57cec5SDimitry Andric       }
10550b57cec5SDimitry Andric       EndPoints.resize(Size - 2);
10560b57cec5SDimitry Andric     }
10570b57cec5SDimitry Andric   }
10580b57cec5SDimitry Andric 
10590b57cec5SDimitry Andric   // If in the end we have a single range, it is possible that it is now the
10600b57cec5SDimitry Andric   // full range. Just drop the metadata in that case.
10610b57cec5SDimitry Andric   if (EndPoints.size() == 2) {
10620b57cec5SDimitry Andric     ConstantRange Range(EndPoints[0]->getValue(), EndPoints[1]->getValue());
10630b57cec5SDimitry Andric     if (Range.isFullSet())
10640b57cec5SDimitry Andric       return nullptr;
10650b57cec5SDimitry Andric   }
10660b57cec5SDimitry Andric 
10670b57cec5SDimitry Andric   SmallVector<Metadata *, 4> MDs;
10680b57cec5SDimitry Andric   MDs.reserve(EndPoints.size());
10690b57cec5SDimitry Andric   for (auto *I : EndPoints)
10700b57cec5SDimitry Andric     MDs.push_back(ConstantAsMetadata::get(I));
10710b57cec5SDimitry Andric   return MDNode::get(A->getContext(), MDs);
10720b57cec5SDimitry Andric }
10730b57cec5SDimitry Andric 
10740b57cec5SDimitry Andric MDNode *MDNode::getMostGenericAlignmentOrDereferenceable(MDNode *A, MDNode *B) {
10750b57cec5SDimitry Andric   if (!A || !B)
10760b57cec5SDimitry Andric     return nullptr;
10770b57cec5SDimitry Andric 
10780b57cec5SDimitry Andric   ConstantInt *AVal = mdconst::extract<ConstantInt>(A->getOperand(0));
10790b57cec5SDimitry Andric   ConstantInt *BVal = mdconst::extract<ConstantInt>(B->getOperand(0));
10800b57cec5SDimitry Andric   if (AVal->getZExtValue() < BVal->getZExtValue())
10810b57cec5SDimitry Andric     return A;
10820b57cec5SDimitry Andric   return B;
10830b57cec5SDimitry Andric }
10840b57cec5SDimitry Andric 
10850b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
10860b57cec5SDimitry Andric // NamedMDNode implementation.
10870b57cec5SDimitry Andric //
10880b57cec5SDimitry Andric 
10890b57cec5SDimitry Andric static SmallVector<TrackingMDRef, 4> &getNMDOps(void *Operands) {
10900b57cec5SDimitry Andric   return *(SmallVector<TrackingMDRef, 4> *)Operands;
10910b57cec5SDimitry Andric }
10920b57cec5SDimitry Andric 
10930b57cec5SDimitry Andric NamedMDNode::NamedMDNode(const Twine &N)
10940b57cec5SDimitry Andric     : Name(N.str()), Operands(new SmallVector<TrackingMDRef, 4>()) {}
10950b57cec5SDimitry Andric 
10960b57cec5SDimitry Andric NamedMDNode::~NamedMDNode() {
10970b57cec5SDimitry Andric   dropAllReferences();
10980b57cec5SDimitry Andric   delete &getNMDOps(Operands);
10990b57cec5SDimitry Andric }
11000b57cec5SDimitry Andric 
11010b57cec5SDimitry Andric unsigned NamedMDNode::getNumOperands() const {
11020b57cec5SDimitry Andric   return (unsigned)getNMDOps(Operands).size();
11030b57cec5SDimitry Andric }
11040b57cec5SDimitry Andric 
11050b57cec5SDimitry Andric MDNode *NamedMDNode::getOperand(unsigned i) const {
11060b57cec5SDimitry Andric   assert(i < getNumOperands() && "Invalid Operand number!");
11070b57cec5SDimitry Andric   auto *N = getNMDOps(Operands)[i].get();
11080b57cec5SDimitry Andric   return cast_or_null<MDNode>(N);
11090b57cec5SDimitry Andric }
11100b57cec5SDimitry Andric 
11110b57cec5SDimitry Andric void NamedMDNode::addOperand(MDNode *M) { getNMDOps(Operands).emplace_back(M); }
11120b57cec5SDimitry Andric 
11130b57cec5SDimitry Andric void NamedMDNode::setOperand(unsigned I, MDNode *New) {
11140b57cec5SDimitry Andric   assert(I < getNumOperands() && "Invalid operand number");
11150b57cec5SDimitry Andric   getNMDOps(Operands)[I].reset(New);
11160b57cec5SDimitry Andric }
11170b57cec5SDimitry Andric 
11180b57cec5SDimitry Andric void NamedMDNode::eraseFromParent() { getParent()->eraseNamedMetadata(this); }
11190b57cec5SDimitry Andric 
11200b57cec5SDimitry Andric void NamedMDNode::clearOperands() { getNMDOps(Operands).clear(); }
11210b57cec5SDimitry Andric 
11220b57cec5SDimitry Andric StringRef NamedMDNode::getName() const { return StringRef(Name); }
11230b57cec5SDimitry Andric 
11240b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
11250b57cec5SDimitry Andric // Instruction Metadata method implementations.
11260b57cec5SDimitry Andric //
11270b57cec5SDimitry Andric 
1128*e8d8bef9SDimitry Andric MDNode *MDAttachments::lookup(unsigned ID) const {
11290b57cec5SDimitry Andric   for (const auto &A : Attachments)
11300b57cec5SDimitry Andric     if (A.MDKind == ID)
11310b57cec5SDimitry Andric       return A.Node;
11320b57cec5SDimitry Andric   return nullptr;
11330b57cec5SDimitry Andric }
11340b57cec5SDimitry Andric 
1135*e8d8bef9SDimitry Andric void MDAttachments::get(unsigned ID, SmallVectorImpl<MDNode *> &Result) const {
11360b57cec5SDimitry Andric   for (const auto &A : Attachments)
11370b57cec5SDimitry Andric     if (A.MDKind == ID)
11380b57cec5SDimitry Andric       Result.push_back(A.Node);
11390b57cec5SDimitry Andric }
11400b57cec5SDimitry Andric 
1141*e8d8bef9SDimitry Andric void MDAttachments::getAll(
11420b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
11430b57cec5SDimitry Andric   for (const auto &A : Attachments)
11440b57cec5SDimitry Andric     Result.emplace_back(A.MDKind, A.Node);
11450b57cec5SDimitry Andric 
11460b57cec5SDimitry Andric   // Sort the resulting array so it is stable with respect to metadata IDs. We
11470b57cec5SDimitry Andric   // need to preserve the original insertion order though.
1148*e8d8bef9SDimitry Andric   if (Result.size() > 1)
11490b57cec5SDimitry Andric     llvm::stable_sort(Result, less_first());
11500b57cec5SDimitry Andric }
11510b57cec5SDimitry Andric 
1152*e8d8bef9SDimitry Andric void MDAttachments::set(unsigned ID, MDNode *MD) {
1153*e8d8bef9SDimitry Andric   erase(ID);
1154*e8d8bef9SDimitry Andric   if (MD)
1155*e8d8bef9SDimitry Andric     insert(ID, *MD);
1156*e8d8bef9SDimitry Andric }
1157*e8d8bef9SDimitry Andric 
1158*e8d8bef9SDimitry Andric void MDAttachments::insert(unsigned ID, MDNode &MD) {
1159*e8d8bef9SDimitry Andric   Attachments.push_back({ID, TrackingMDNodeRef(&MD)});
1160*e8d8bef9SDimitry Andric }
1161*e8d8bef9SDimitry Andric 
1162*e8d8bef9SDimitry Andric bool MDAttachments::erase(unsigned ID) {
1163*e8d8bef9SDimitry Andric   if (empty())
1164*e8d8bef9SDimitry Andric     return false;
1165*e8d8bef9SDimitry Andric 
1166*e8d8bef9SDimitry Andric   // Common case is one value.
1167*e8d8bef9SDimitry Andric   if (Attachments.size() == 1 && Attachments.back().MDKind == ID) {
1168*e8d8bef9SDimitry Andric     Attachments.pop_back();
1169*e8d8bef9SDimitry Andric     return true;
1170*e8d8bef9SDimitry Andric   }
1171*e8d8bef9SDimitry Andric 
1172*e8d8bef9SDimitry Andric   auto OldSize = Attachments.size();
1173*e8d8bef9SDimitry Andric   llvm::erase_if(Attachments,
1174*e8d8bef9SDimitry Andric                  [ID](const Attachment &A) { return A.MDKind == ID; });
1175*e8d8bef9SDimitry Andric   return OldSize != Attachments.size();
1176*e8d8bef9SDimitry Andric }
1177*e8d8bef9SDimitry Andric 
1178*e8d8bef9SDimitry Andric MDNode *Value::getMetadata(unsigned KindID) const {
1179*e8d8bef9SDimitry Andric   if (!hasMetadata())
1180*e8d8bef9SDimitry Andric     return nullptr;
1181*e8d8bef9SDimitry Andric   const auto &Info = getContext().pImpl->ValueMetadata[this];
1182*e8d8bef9SDimitry Andric   assert(!Info.empty() && "bit out of sync with hash table");
1183*e8d8bef9SDimitry Andric   return Info.lookup(KindID);
1184*e8d8bef9SDimitry Andric }
1185*e8d8bef9SDimitry Andric 
1186*e8d8bef9SDimitry Andric MDNode *Value::getMetadata(StringRef Kind) const {
1187*e8d8bef9SDimitry Andric   if (!hasMetadata())
1188*e8d8bef9SDimitry Andric     return nullptr;
1189*e8d8bef9SDimitry Andric   const auto &Info = getContext().pImpl->ValueMetadata[this];
1190*e8d8bef9SDimitry Andric   assert(!Info.empty() && "bit out of sync with hash table");
1191*e8d8bef9SDimitry Andric   return Info.lookup(getContext().getMDKindID(Kind));
1192*e8d8bef9SDimitry Andric }
1193*e8d8bef9SDimitry Andric 
1194*e8d8bef9SDimitry Andric void Value::getMetadata(unsigned KindID, SmallVectorImpl<MDNode *> &MDs) const {
1195*e8d8bef9SDimitry Andric   if (hasMetadata())
1196*e8d8bef9SDimitry Andric     getContext().pImpl->ValueMetadata[this].get(KindID, MDs);
1197*e8d8bef9SDimitry Andric }
1198*e8d8bef9SDimitry Andric 
1199*e8d8bef9SDimitry Andric void Value::getMetadata(StringRef Kind, SmallVectorImpl<MDNode *> &MDs) const {
1200*e8d8bef9SDimitry Andric   if (hasMetadata())
1201*e8d8bef9SDimitry Andric     getMetadata(getContext().getMDKindID(Kind), MDs);
1202*e8d8bef9SDimitry Andric }
1203*e8d8bef9SDimitry Andric 
1204*e8d8bef9SDimitry Andric void Value::getAllMetadata(
1205*e8d8bef9SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &MDs) const {
1206*e8d8bef9SDimitry Andric   if (hasMetadata()) {
1207*e8d8bef9SDimitry Andric     assert(getContext().pImpl->ValueMetadata.count(this) &&
1208*e8d8bef9SDimitry Andric            "bit out of sync with hash table");
1209*e8d8bef9SDimitry Andric     const auto &Info = getContext().pImpl->ValueMetadata.find(this)->second;
1210*e8d8bef9SDimitry Andric     assert(!Info.empty() && "Shouldn't have called this");
1211*e8d8bef9SDimitry Andric     Info.getAll(MDs);
1212*e8d8bef9SDimitry Andric   }
1213*e8d8bef9SDimitry Andric }
1214*e8d8bef9SDimitry Andric 
1215*e8d8bef9SDimitry Andric void Value::setMetadata(unsigned KindID, MDNode *Node) {
1216*e8d8bef9SDimitry Andric   assert(isa<Instruction>(this) || isa<GlobalObject>(this));
1217*e8d8bef9SDimitry Andric 
1218*e8d8bef9SDimitry Andric   // Handle the case when we're adding/updating metadata on a value.
1219*e8d8bef9SDimitry Andric   if (Node) {
1220*e8d8bef9SDimitry Andric     auto &Info = getContext().pImpl->ValueMetadata[this];
1221*e8d8bef9SDimitry Andric     assert(!Info.empty() == HasMetadata && "bit out of sync with hash table");
1222*e8d8bef9SDimitry Andric     if (Info.empty())
1223*e8d8bef9SDimitry Andric       HasMetadata = true;
1224*e8d8bef9SDimitry Andric     Info.set(KindID, Node);
1225*e8d8bef9SDimitry Andric     return;
1226*e8d8bef9SDimitry Andric   }
1227*e8d8bef9SDimitry Andric 
1228*e8d8bef9SDimitry Andric   // Otherwise, we're removing metadata from an instruction.
1229*e8d8bef9SDimitry Andric   assert((HasMetadata == (getContext().pImpl->ValueMetadata.count(this) > 0)) &&
1230*e8d8bef9SDimitry Andric          "bit out of sync with hash table");
1231*e8d8bef9SDimitry Andric   if (!HasMetadata)
1232*e8d8bef9SDimitry Andric     return; // Nothing to remove!
1233*e8d8bef9SDimitry Andric   auto &Info = getContext().pImpl->ValueMetadata[this];
1234*e8d8bef9SDimitry Andric 
1235*e8d8bef9SDimitry Andric   // Handle removal of an existing value.
1236*e8d8bef9SDimitry Andric   Info.erase(KindID);
1237*e8d8bef9SDimitry Andric   if (!Info.empty())
1238*e8d8bef9SDimitry Andric     return;
1239*e8d8bef9SDimitry Andric   getContext().pImpl->ValueMetadata.erase(this);
1240*e8d8bef9SDimitry Andric   HasMetadata = false;
1241*e8d8bef9SDimitry Andric }
1242*e8d8bef9SDimitry Andric 
1243*e8d8bef9SDimitry Andric void Value::setMetadata(StringRef Kind, MDNode *Node) {
1244*e8d8bef9SDimitry Andric   if (!Node && !HasMetadata)
1245*e8d8bef9SDimitry Andric     return;
1246*e8d8bef9SDimitry Andric   setMetadata(getContext().getMDKindID(Kind), Node);
1247*e8d8bef9SDimitry Andric }
1248*e8d8bef9SDimitry Andric 
1249*e8d8bef9SDimitry Andric void Value::addMetadata(unsigned KindID, MDNode &MD) {
1250*e8d8bef9SDimitry Andric   assert(isa<Instruction>(this) || isa<GlobalObject>(this));
1251*e8d8bef9SDimitry Andric   if (!HasMetadata)
1252*e8d8bef9SDimitry Andric     HasMetadata = true;
1253*e8d8bef9SDimitry Andric   getContext().pImpl->ValueMetadata[this].insert(KindID, MD);
1254*e8d8bef9SDimitry Andric }
1255*e8d8bef9SDimitry Andric 
1256*e8d8bef9SDimitry Andric void Value::addMetadata(StringRef Kind, MDNode &MD) {
1257*e8d8bef9SDimitry Andric   addMetadata(getContext().getMDKindID(Kind), MD);
1258*e8d8bef9SDimitry Andric }
1259*e8d8bef9SDimitry Andric 
1260*e8d8bef9SDimitry Andric bool Value::eraseMetadata(unsigned KindID) {
1261*e8d8bef9SDimitry Andric   // Nothing to unset.
1262*e8d8bef9SDimitry Andric   if (!HasMetadata)
1263*e8d8bef9SDimitry Andric     return false;
1264*e8d8bef9SDimitry Andric 
1265*e8d8bef9SDimitry Andric   auto &Store = getContext().pImpl->ValueMetadata[this];
1266*e8d8bef9SDimitry Andric   bool Changed = Store.erase(KindID);
1267*e8d8bef9SDimitry Andric   if (Store.empty())
1268*e8d8bef9SDimitry Andric     clearMetadata();
1269*e8d8bef9SDimitry Andric   return Changed;
1270*e8d8bef9SDimitry Andric }
1271*e8d8bef9SDimitry Andric 
1272*e8d8bef9SDimitry Andric void Value::clearMetadata() {
1273*e8d8bef9SDimitry Andric   if (!HasMetadata)
1274*e8d8bef9SDimitry Andric     return;
1275*e8d8bef9SDimitry Andric   assert(getContext().pImpl->ValueMetadata.count(this) &&
1276*e8d8bef9SDimitry Andric          "bit out of sync with hash table");
1277*e8d8bef9SDimitry Andric   getContext().pImpl->ValueMetadata.erase(this);
1278*e8d8bef9SDimitry Andric   HasMetadata = false;
1279*e8d8bef9SDimitry Andric }
1280*e8d8bef9SDimitry Andric 
12810b57cec5SDimitry Andric void Instruction::setMetadata(StringRef Kind, MDNode *Node) {
12820b57cec5SDimitry Andric   if (!Node && !hasMetadata())
12830b57cec5SDimitry Andric     return;
12840b57cec5SDimitry Andric   setMetadata(getContext().getMDKindID(Kind), Node);
12850b57cec5SDimitry Andric }
12860b57cec5SDimitry Andric 
12870b57cec5SDimitry Andric MDNode *Instruction::getMetadataImpl(StringRef Kind) const {
12880b57cec5SDimitry Andric   return getMetadataImpl(getContext().getMDKindID(Kind));
12890b57cec5SDimitry Andric }
12900b57cec5SDimitry Andric 
12910b57cec5SDimitry Andric void Instruction::dropUnknownNonDebugMetadata(ArrayRef<unsigned> KnownIDs) {
1292*e8d8bef9SDimitry Andric   if (!Value::hasMetadata())
12930b57cec5SDimitry Andric     return; // Nothing to remove!
12940b57cec5SDimitry Andric 
1295*e8d8bef9SDimitry Andric   if (KnownIDs.empty()) {
12960b57cec5SDimitry Andric     // Just drop our entry at the store.
1297*e8d8bef9SDimitry Andric     clearMetadata();
12980b57cec5SDimitry Andric     return;
12990b57cec5SDimitry Andric   }
13000b57cec5SDimitry Andric 
1301*e8d8bef9SDimitry Andric   SmallSet<unsigned, 4> KnownSet;
1302*e8d8bef9SDimitry Andric   KnownSet.insert(KnownIDs.begin(), KnownIDs.end());
1303*e8d8bef9SDimitry Andric 
1304*e8d8bef9SDimitry Andric   auto &MetadataStore = getContext().pImpl->ValueMetadata;
1305*e8d8bef9SDimitry Andric   auto &Info = MetadataStore[this];
1306*e8d8bef9SDimitry Andric   assert(!Info.empty() && "bit out of sync with hash table");
1307*e8d8bef9SDimitry Andric   Info.remove_if([&KnownSet](const MDAttachments::Attachment &I) {
1308*e8d8bef9SDimitry Andric     return !KnownSet.count(I.MDKind);
13090b57cec5SDimitry Andric   });
13100b57cec5SDimitry Andric 
13110b57cec5SDimitry Andric   if (Info.empty()) {
13120b57cec5SDimitry Andric     // Drop our entry at the store.
1313*e8d8bef9SDimitry Andric     clearMetadata();
13140b57cec5SDimitry Andric   }
13150b57cec5SDimitry Andric }
13160b57cec5SDimitry Andric 
13170b57cec5SDimitry Andric void Instruction::setMetadata(unsigned KindID, MDNode *Node) {
13180b57cec5SDimitry Andric   if (!Node && !hasMetadata())
13190b57cec5SDimitry Andric     return;
13200b57cec5SDimitry Andric 
13210b57cec5SDimitry Andric   // Handle 'dbg' as a special case since it is not stored in the hash table.
13220b57cec5SDimitry Andric   if (KindID == LLVMContext::MD_dbg) {
13230b57cec5SDimitry Andric     DbgLoc = DebugLoc(Node);
13240b57cec5SDimitry Andric     return;
13250b57cec5SDimitry Andric   }
13260b57cec5SDimitry Andric 
1327*e8d8bef9SDimitry Andric   Value::setMetadata(KindID, Node);
13280b57cec5SDimitry Andric }
13290b57cec5SDimitry Andric 
1330*e8d8bef9SDimitry Andric void Instruction::addAnnotationMetadata(StringRef Name) {
1331*e8d8bef9SDimitry Andric   MDBuilder MDB(getContext());
13320b57cec5SDimitry Andric 
1333*e8d8bef9SDimitry Andric   auto *Existing = getMetadata(LLVMContext::MD_annotation);
1334*e8d8bef9SDimitry Andric   SmallVector<Metadata *, 4> Names;
1335*e8d8bef9SDimitry Andric   bool AppendName = true;
1336*e8d8bef9SDimitry Andric   if (Existing) {
1337*e8d8bef9SDimitry Andric     auto *Tuple = cast<MDTuple>(Existing);
1338*e8d8bef9SDimitry Andric     for (auto &N : Tuple->operands()) {
1339*e8d8bef9SDimitry Andric       if (cast<MDString>(N.get())->getString() == Name)
1340*e8d8bef9SDimitry Andric         AppendName = false;
1341*e8d8bef9SDimitry Andric       Names.push_back(N.get());
1342*e8d8bef9SDimitry Andric     }
1343*e8d8bef9SDimitry Andric   }
1344*e8d8bef9SDimitry Andric   if (AppendName)
1345*e8d8bef9SDimitry Andric     Names.push_back(MDB.createString(Name));
13460b57cec5SDimitry Andric 
1347*e8d8bef9SDimitry Andric   MDNode *MD = MDTuple::get(getContext(), Names);
1348*e8d8bef9SDimitry Andric   setMetadata(LLVMContext::MD_annotation, MD);
13490b57cec5SDimitry Andric }
13500b57cec5SDimitry Andric 
13510b57cec5SDimitry Andric void Instruction::setAAMetadata(const AAMDNodes &N) {
13520b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_tbaa, N.TBAA);
1353480093f4SDimitry Andric   setMetadata(LLVMContext::MD_tbaa_struct, N.TBAAStruct);
13540b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_alias_scope, N.Scope);
13550b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_noalias, N.NoAlias);
13560b57cec5SDimitry Andric }
13570b57cec5SDimitry Andric 
13580b57cec5SDimitry Andric MDNode *Instruction::getMetadataImpl(unsigned KindID) const {
13590b57cec5SDimitry Andric   // Handle 'dbg' as a special case since it is not stored in the hash table.
13600b57cec5SDimitry Andric   if (KindID == LLVMContext::MD_dbg)
13610b57cec5SDimitry Andric     return DbgLoc.getAsMDNode();
1362*e8d8bef9SDimitry Andric   return Value::getMetadata(KindID);
13630b57cec5SDimitry Andric }
13640b57cec5SDimitry Andric 
13650b57cec5SDimitry Andric void Instruction::getAllMetadataImpl(
13660b57cec5SDimitry Andric     SmallVectorImpl<std::pair<unsigned, MDNode *>> &Result) const {
13670b57cec5SDimitry Andric   Result.clear();
13680b57cec5SDimitry Andric 
13690b57cec5SDimitry Andric   // Handle 'dbg' as a special case since it is not stored in the hash table.
13700b57cec5SDimitry Andric   if (DbgLoc) {
13710b57cec5SDimitry Andric     Result.push_back(
13720b57cec5SDimitry Andric         std::make_pair((unsigned)LLVMContext::MD_dbg, DbgLoc.getAsMDNode()));
13730b57cec5SDimitry Andric   }
1374*e8d8bef9SDimitry Andric   Value::getAllMetadata(Result);
13750b57cec5SDimitry Andric }
13760b57cec5SDimitry Andric 
13770b57cec5SDimitry Andric bool Instruction::extractProfMetadata(uint64_t &TrueVal,
13780b57cec5SDimitry Andric                                       uint64_t &FalseVal) const {
13790b57cec5SDimitry Andric   assert(
13800b57cec5SDimitry Andric       (getOpcode() == Instruction::Br || getOpcode() == Instruction::Select) &&
13810b57cec5SDimitry Andric       "Looking for branch weights on something besides branch or select");
13820b57cec5SDimitry Andric 
13830b57cec5SDimitry Andric   auto *ProfileData = getMetadata(LLVMContext::MD_prof);
13840b57cec5SDimitry Andric   if (!ProfileData || ProfileData->getNumOperands() != 3)
13850b57cec5SDimitry Andric     return false;
13860b57cec5SDimitry Andric 
13870b57cec5SDimitry Andric   auto *ProfDataName = dyn_cast<MDString>(ProfileData->getOperand(0));
13880b57cec5SDimitry Andric   if (!ProfDataName || !ProfDataName->getString().equals("branch_weights"))
13890b57cec5SDimitry Andric     return false;
13900b57cec5SDimitry Andric 
13910b57cec5SDimitry Andric   auto *CITrue = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(1));
13920b57cec5SDimitry Andric   auto *CIFalse = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(2));
13930b57cec5SDimitry Andric   if (!CITrue || !CIFalse)
13940b57cec5SDimitry Andric     return false;
13950b57cec5SDimitry Andric 
13960b57cec5SDimitry Andric   TrueVal = CITrue->getValue().getZExtValue();
13970b57cec5SDimitry Andric   FalseVal = CIFalse->getValue().getZExtValue();
13980b57cec5SDimitry Andric 
13990b57cec5SDimitry Andric   return true;
14000b57cec5SDimitry Andric }
14010b57cec5SDimitry Andric 
14020b57cec5SDimitry Andric bool Instruction::extractProfTotalWeight(uint64_t &TotalVal) const {
14030b57cec5SDimitry Andric   assert((getOpcode() == Instruction::Br ||
14040b57cec5SDimitry Andric           getOpcode() == Instruction::Select ||
14050b57cec5SDimitry Andric           getOpcode() == Instruction::Call ||
14060b57cec5SDimitry Andric           getOpcode() == Instruction::Invoke ||
14070b57cec5SDimitry Andric           getOpcode() == Instruction::Switch) &&
14080b57cec5SDimitry Andric          "Looking for branch weights on something besides branch");
14090b57cec5SDimitry Andric 
14100b57cec5SDimitry Andric   TotalVal = 0;
14110b57cec5SDimitry Andric   auto *ProfileData = getMetadata(LLVMContext::MD_prof);
14120b57cec5SDimitry Andric   if (!ProfileData)
14130b57cec5SDimitry Andric     return false;
14140b57cec5SDimitry Andric 
14150b57cec5SDimitry Andric   auto *ProfDataName = dyn_cast<MDString>(ProfileData->getOperand(0));
14160b57cec5SDimitry Andric   if (!ProfDataName)
14170b57cec5SDimitry Andric     return false;
14180b57cec5SDimitry Andric 
14190b57cec5SDimitry Andric   if (ProfDataName->getString().equals("branch_weights")) {
14200b57cec5SDimitry Andric     TotalVal = 0;
14210b57cec5SDimitry Andric     for (unsigned i = 1; i < ProfileData->getNumOperands(); i++) {
14220b57cec5SDimitry Andric       auto *V = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(i));
14230b57cec5SDimitry Andric       if (!V)
14240b57cec5SDimitry Andric         return false;
14250b57cec5SDimitry Andric       TotalVal += V->getValue().getZExtValue();
14260b57cec5SDimitry Andric     }
14270b57cec5SDimitry Andric     return true;
14280b57cec5SDimitry Andric   } else if (ProfDataName->getString().equals("VP") &&
14290b57cec5SDimitry Andric              ProfileData->getNumOperands() > 3) {
14300b57cec5SDimitry Andric     TotalVal = mdconst::dyn_extract<ConstantInt>(ProfileData->getOperand(2))
14310b57cec5SDimitry Andric                    ->getValue()
14320b57cec5SDimitry Andric                    .getZExtValue();
14330b57cec5SDimitry Andric     return true;
14340b57cec5SDimitry Andric   }
14350b57cec5SDimitry Andric   return false;
14360b57cec5SDimitry Andric }
14370b57cec5SDimitry Andric 
14380b57cec5SDimitry Andric void GlobalObject::copyMetadata(const GlobalObject *Other, unsigned Offset) {
14390b57cec5SDimitry Andric   SmallVector<std::pair<unsigned, MDNode *>, 8> MDs;
14400b57cec5SDimitry Andric   Other->getAllMetadata(MDs);
14410b57cec5SDimitry Andric   for (auto &MD : MDs) {
14420b57cec5SDimitry Andric     // We need to adjust the type metadata offset.
14430b57cec5SDimitry Andric     if (Offset != 0 && MD.first == LLVMContext::MD_type) {
14440b57cec5SDimitry Andric       auto *OffsetConst = cast<ConstantInt>(
14450b57cec5SDimitry Andric           cast<ConstantAsMetadata>(MD.second->getOperand(0))->getValue());
14460b57cec5SDimitry Andric       Metadata *TypeId = MD.second->getOperand(1);
14470b57cec5SDimitry Andric       auto *NewOffsetMD = ConstantAsMetadata::get(ConstantInt::get(
14480b57cec5SDimitry Andric           OffsetConst->getType(), OffsetConst->getValue() + Offset));
14490b57cec5SDimitry Andric       addMetadata(LLVMContext::MD_type,
14500b57cec5SDimitry Andric                   *MDNode::get(getContext(), {NewOffsetMD, TypeId}));
14510b57cec5SDimitry Andric       continue;
14520b57cec5SDimitry Andric     }
14530b57cec5SDimitry Andric     // If an offset adjustment was specified we need to modify the DIExpression
14540b57cec5SDimitry Andric     // to prepend the adjustment:
14550b57cec5SDimitry Andric     // !DIExpression(DW_OP_plus, Offset, [original expr])
14560b57cec5SDimitry Andric     auto *Attachment = MD.second;
14570b57cec5SDimitry Andric     if (Offset != 0 && MD.first == LLVMContext::MD_dbg) {
14580b57cec5SDimitry Andric       DIGlobalVariable *GV = dyn_cast<DIGlobalVariable>(Attachment);
14590b57cec5SDimitry Andric       DIExpression *E = nullptr;
14600b57cec5SDimitry Andric       if (!GV) {
14610b57cec5SDimitry Andric         auto *GVE = cast<DIGlobalVariableExpression>(Attachment);
14620b57cec5SDimitry Andric         GV = GVE->getVariable();
14630b57cec5SDimitry Andric         E = GVE->getExpression();
14640b57cec5SDimitry Andric       }
14650b57cec5SDimitry Andric       ArrayRef<uint64_t> OrigElements;
14660b57cec5SDimitry Andric       if (E)
14670b57cec5SDimitry Andric         OrigElements = E->getElements();
14680b57cec5SDimitry Andric       std::vector<uint64_t> Elements(OrigElements.size() + 2);
14690b57cec5SDimitry Andric       Elements[0] = dwarf::DW_OP_plus_uconst;
14700b57cec5SDimitry Andric       Elements[1] = Offset;
14710b57cec5SDimitry Andric       llvm::copy(OrigElements, Elements.begin() + 2);
14720b57cec5SDimitry Andric       E = DIExpression::get(getContext(), Elements);
14730b57cec5SDimitry Andric       Attachment = DIGlobalVariableExpression::get(getContext(), GV, E);
14740b57cec5SDimitry Andric     }
14750b57cec5SDimitry Andric     addMetadata(MD.first, *Attachment);
14760b57cec5SDimitry Andric   }
14770b57cec5SDimitry Andric }
14780b57cec5SDimitry Andric 
14790b57cec5SDimitry Andric void GlobalObject::addTypeMetadata(unsigned Offset, Metadata *TypeID) {
14800b57cec5SDimitry Andric   addMetadata(
14810b57cec5SDimitry Andric       LLVMContext::MD_type,
14820b57cec5SDimitry Andric       *MDTuple::get(getContext(),
14830b57cec5SDimitry Andric                     {ConstantAsMetadata::get(ConstantInt::get(
14840b57cec5SDimitry Andric                          Type::getInt64Ty(getContext()), Offset)),
14850b57cec5SDimitry Andric                      TypeID}));
14860b57cec5SDimitry Andric }
14870b57cec5SDimitry Andric 
14885ffd83dbSDimitry Andric void GlobalObject::setVCallVisibilityMetadata(VCallVisibility Visibility) {
14895ffd83dbSDimitry Andric   // Remove any existing vcall visibility metadata first in case we are
14905ffd83dbSDimitry Andric   // updating.
14915ffd83dbSDimitry Andric   eraseMetadata(LLVMContext::MD_vcall_visibility);
14928bcb0991SDimitry Andric   addMetadata(LLVMContext::MD_vcall_visibility,
14938bcb0991SDimitry Andric               *MDNode::get(getContext(),
14948bcb0991SDimitry Andric                            {ConstantAsMetadata::get(ConstantInt::get(
14958bcb0991SDimitry Andric                                Type::getInt64Ty(getContext()), Visibility))}));
14968bcb0991SDimitry Andric }
14978bcb0991SDimitry Andric 
14988bcb0991SDimitry Andric GlobalObject::VCallVisibility GlobalObject::getVCallVisibility() const {
14998bcb0991SDimitry Andric   if (MDNode *MD = getMetadata(LLVMContext::MD_vcall_visibility)) {
15008bcb0991SDimitry Andric     uint64_t Val = cast<ConstantInt>(
15018bcb0991SDimitry Andric                        cast<ConstantAsMetadata>(MD->getOperand(0))->getValue())
15028bcb0991SDimitry Andric                        ->getZExtValue();
15038bcb0991SDimitry Andric     assert(Val <= 2 && "unknown vcall visibility!");
15048bcb0991SDimitry Andric     return (VCallVisibility)Val;
15058bcb0991SDimitry Andric   }
15068bcb0991SDimitry Andric   return VCallVisibility::VCallVisibilityPublic;
15078bcb0991SDimitry Andric }
15088bcb0991SDimitry Andric 
15090b57cec5SDimitry Andric void Function::setSubprogram(DISubprogram *SP) {
15100b57cec5SDimitry Andric   setMetadata(LLVMContext::MD_dbg, SP);
15110b57cec5SDimitry Andric }
15120b57cec5SDimitry Andric 
15130b57cec5SDimitry Andric DISubprogram *Function::getSubprogram() const {
15140b57cec5SDimitry Andric   return cast_or_null<DISubprogram>(getMetadata(LLVMContext::MD_dbg));
15150b57cec5SDimitry Andric }
15160b57cec5SDimitry Andric 
15170b57cec5SDimitry Andric bool Function::isDebugInfoForProfiling() const {
15180b57cec5SDimitry Andric   if (DISubprogram *SP = getSubprogram()) {
15190b57cec5SDimitry Andric     if (DICompileUnit *CU = SP->getUnit()) {
15200b57cec5SDimitry Andric       return CU->getDebugInfoForProfiling();
15210b57cec5SDimitry Andric     }
15220b57cec5SDimitry Andric   }
15230b57cec5SDimitry Andric   return false;
15240b57cec5SDimitry Andric }
15250b57cec5SDimitry Andric 
15260b57cec5SDimitry Andric void GlobalVariable::addDebugInfo(DIGlobalVariableExpression *GV) {
15270b57cec5SDimitry Andric   addMetadata(LLVMContext::MD_dbg, *GV);
15280b57cec5SDimitry Andric }
15290b57cec5SDimitry Andric 
15300b57cec5SDimitry Andric void GlobalVariable::getDebugInfo(
15310b57cec5SDimitry Andric     SmallVectorImpl<DIGlobalVariableExpression *> &GVs) const {
15320b57cec5SDimitry Andric   SmallVector<MDNode *, 1> MDs;
15330b57cec5SDimitry Andric   getMetadata(LLVMContext::MD_dbg, MDs);
15340b57cec5SDimitry Andric   for (MDNode *MD : MDs)
15350b57cec5SDimitry Andric     GVs.push_back(cast<DIGlobalVariableExpression>(MD));
15360b57cec5SDimitry Andric }
1537