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