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