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