68 :
Value(Ty, MetadataAsValueVal), MD(MD) {
96 if (!
N ||
N->getNumOperands() != 1)
99 if (!
N->getOperand(0))
112 auto *&Entry = Context.pImpl->MetadataAsValues[MD];
121 auto &Store = Context.pImpl->MetadataAsValues;
122 return Store.lookup(MD);
125void MetadataAsValue::handleChangedMetadata(
Metadata *MD) {
128 auto &Store = Context.pImpl->MetadataAsValues;
131 Store.erase(this->MD);
136 auto *&Entry = Store[MD];
148void MetadataAsValue::track() {
153void MetadataAsValue::untrack() {
168 auto OldMD =
static_cast<Metadata **
>(Old);
179void DebugValueUser::trackDebugValue(
size_t Idx) {
180 assert(Idx < 3 &&
"Invalid debug value index.");
186void DebugValueUser::trackDebugValues() {
192void DebugValueUser::untrackDebugValue(
size_t Idx) {
193 assert(Idx < 3 &&
"Invalid debug value index.");
199void DebugValueUser::untrackDebugValues() {
206 assert(DebugValueUser::operator==(
X) &&
"Expected values to match");
210 X.DebugValues.fill(
nullptr);
214 assert(
Ref &&
"Expected live reference");
216 "Reference without owner must be direct");
217 if (
auto *R = ReplaceableMetadataImpl::getOrCreate(MD)) {
222 assert(!PH->Use &&
"Placeholders can only be used once");
231 assert(
Ref &&
"Expected live reference");
232 if (
auto *R = ReplaceableMetadataImpl::getIfExists(MD))
239 assert(
Ref &&
"Expected live reference");
240 assert(New &&
"Expected live reference");
242 if (
auto *R = ReplaceableMetadataImpl::getIfExists(MD)) {
243 R->moveRef(
Ref, New, MD);
247 "Unexpected move of an MDOperand");
249 "Expected un-replaceable metadata, since we didn't move a reference");
254 return ReplaceableMetadataImpl::isReplaceable(MD);
259 for (
auto Pair : UseMap) {
267 MDUsersWithID.
push_back(&UseMap[Pair.first]);
269 llvm::sort(MDUsersWithID, [](
auto UserA,
auto UserB) {
270 return UserA->second < UserB->second;
273 for (
auto *UserWithID : MDUsersWithID)
281 for (
auto Pair : UseMap) {
287 DVRUsersWithID.
push_back(&UseMap[Pair.first]);
294 llvm::sort(DVRUsersWithID, [](
auto UserA,
auto UserB) {
295 return UserA->second > UserB->second;
298 for (
auto UserWithID : DVRUsersWithID)
303void ReplaceableMetadataImpl::addRef(
void *
Ref, OwnerTy
Owner) {
305 UseMap.insert(std::make_pair(
Ref, std::make_pair(
Owner, NextIndex)))
308 assert(WasInserted &&
"Expected to add a reference");
311 assert(NextIndex != 0 &&
"Unexpected overflow");
314void ReplaceableMetadataImpl::dropRef(
void *
Ref) {
315 bool WasErased = UseMap.erase(
Ref);
317 assert(WasErased &&
"Expected to drop a reference");
320void ReplaceableMetadataImpl::moveRef(
void *
Ref,
void *New,
322 auto I = UseMap.find(
Ref);
323 assert(
I != UseMap.end() &&
"Expected to move a reference");
324 auto OwnerAndIndex =
I->second;
326 bool WasInserted = UseMap.insert(std::make_pair(New, OwnerAndIndex)).second;
328 assert(WasInserted &&
"Expected to add a reference");
333 "Reference without owner must be direct");
334 assert((OwnerAndIndex.first || *
static_cast<Metadata **
>(New) == &MD) &&
335 "Reference without owner must be direct");
339 if (!
C.isUsedByMetadata()) {
344 auto &Store = Context.pImpl->ValuesAsMetadata;
345 auto I = Store.find(&
C);
348 std::pair<void *, std::pair<MetadataTracking::OwnerTy, uint64_t>>;
353 for (
const auto &Pair :
Uses) {
369 OwnerMD->handleChangedOperand(
380 using UseTy = std::pair<void *, std::pair<OwnerTy, uint64_t>>;
383 return L.second.second < R.second.second;
385 for (
const auto &Pair :
Uses) {
388 if (!UseMap.count(Pair.first))
398 UseMap.erase(Pair.first);
409 DVU->handleChangedValue(Pair.first, MD);
416#define HANDLE_METADATA_LEAF(CLASS) \
417 case Metadata::CLASS##Kind: \
418 cast<CLASS>(OwnerMD)->handleChangedOperand(Pair.first, MD); \
420#include "llvm/IR/Metadata.def"
425 assert(UseMap.empty() &&
"Expected all uses to be replaced");
438 using UseTy = std::pair<void *, std::pair<OwnerTy, uint64_t>>;
441 return L.second.second < R.second.second;
444 for (
const auto &Pair :
Uses) {
445 auto Owner = Pair.second.first;
455 if (OwnerMD->isResolved())
457 OwnerMD->decrementUnresolvedOperandCount();
466 return !
N->isResolved() ||
N->isAlwaysReplaceable()
467 ?
N->Context.getOrCreateReplaceableUses()
477 return !
N->isResolved() ||
N->isAlwaysReplaceable()
478 ?
N->Context.getReplaceableUses()
486bool ReplaceableMetadataImpl::isReplaceable(
const Metadata &MD) {
488 return !
N->isResolved() ||
N->isAlwaysReplaceable();
493 assert(V &&
"Expected value");
495 if (
auto *Fn =
A->getParent())
496 return Fn->getSubprogram();
501 if (
auto *Fn = BB->getParent())
502 return Fn->getSubprogram();
510 assert(V &&
"Unexpected null Value");
512 auto &Context = V->getContext();
513 auto *&Entry = Context.pImpl->ValuesAsMetadata[V];
516 "Expected constant or function-local value");
517 assert(!V->IsUsedByMD &&
"Expected this to be the only metadata use");
518 V->IsUsedByMD =
true;
529 assert(V &&
"Unexpected null Value");
530 return V->getContext().pImpl->ValuesAsMetadata.lookup(V);
534 assert(V &&
"Expected valid value");
536 auto &Store = V->getType()->getContext().pImpl->ValuesAsMetadata;
537 auto I = Store.find(V);
538 if (
I == Store.end())
543 assert(MD &&
"Expected valid metadata");
553 assert(From &&
"Expected valid value");
554 assert(To &&
"Expected valid value");
555 assert(From != To &&
"Expected changed value");
559 auto &Store = Context.pImpl->ValuesAsMetadata;
560 auto I = Store.find(From);
561 if (
I == Store.end()) {
570 assert(MD &&
"Expected valid metadata");
595 auto *&Entry = Store[To];
615 auto &Store = Context.pImpl->MDStringCache;
616 auto I = Store.try_emplace(Str);
617 auto &MapEntry =
I.first->getValue();
620 MapEntry.Entry = &*
I.first;
625 auto &Store = Context.pImpl->MDStringCache;
626 auto I = Store.find(Str);
627 if (
I == Store.end())
629 return &
I->getValue();
633 assert(Entry &&
"Expected to find string map entry");
634 return Entry->first();
643#define HANDLE_MDNODE_LEAF(CLASS) \
645 alignof(uint64_t) >= alignof(CLASS), \
646 "Alignment is insufficient after objects prepended to " #CLASS);
647#include "llvm/IR/Metadata.def"
654 char *Mem =
reinterpret_cast<char *
>(::operator
new(AllocSize +
Size));
655 Header *
H =
new (Mem + AllocSize -
sizeof(Header)) Header(
NumOps,
Storage);
656 return reinterpret_cast<void *
>(
H + 1);
659void MDNode::operator
delete(
void *
N) {
660 Header *
H =
reinterpret_cast<Header *
>(
N) - 1;
661 void *Mem =
H->getAllocation();
663 ::operator
delete(Mem);
680 countUnresolvedOperands();
687#define HANDLE_MDNODE_LEAF(CLASS) \
689 return cast<CLASS>(this)->cloneImpl();
690#include "llvm/IR/Metadata.def"
694MDNode::Header::Header(
size_t NumOps, StorageType Storage) {
695 IsLarge = isLarge(
NumOps);
696 IsResizable = isResizable(
Storage);
697 SmallSize = getSmallSize(
NumOps, IsResizable, IsLarge);
700 new (getLargePtr()) LargeStorageVector();
710MDNode::Header::~Header() {
712 getLarge().~LargeStorageVector();
715 MDOperand *
O =
reinterpret_cast<MDOperand *
>(
this);
716 for (MDOperand *
E = O - SmallSize;
O !=
E; --
O)
717 (O - 1)->~MDOperand();
720void *MDNode::Header::getSmallPtr() {
721 static_assert(
alignof(MDOperand) <=
alignof(Header),
722 "MDOperand too strongly aligned");
723 return reinterpret_cast<char *
>(
const_cast<Header *
>(
this)) -
724 sizeof(MDOperand) * SmallSize;
727void MDNode::Header::resize(
size_t NumOps) {
728 assert(IsResizable &&
"Node is not resizable");
733 getLarge().resize(
NumOps);
734 else if (
NumOps <= SmallSize)
737 resizeSmallToLarge(
NumOps);
740void MDNode::Header::resizeSmall(
size_t NumOps) {
741 assert(!IsLarge &&
"Expected a small MDNode");
742 assert(
NumOps <= SmallSize &&
"NumOps too large for small resize");
747 int NumNew = (int)
NumOps - (
int)ExistingOps.
size();
748 MDOperand *
O = ExistingOps.
end();
749 for (
int I = 0,
E = NumNew;
I <
E; ++
I)
751 for (
int I = 0,
E = NumNew;
I >
E; --
I)
757void MDNode::Header::resizeSmallToLarge(
size_t NumOps) {
758 assert(!IsLarge &&
"Expected a small MDNode");
759 assert(
NumOps > SmallSize &&
"Expected NumOps to be larger than allocation");
760 LargeStorageVector NewOps;
764 new (getLargePtr()) LargeStorageVector(std::move(NewOps));
770 return !
N->isResolved();
774void MDNode::countUnresolvedOperands() {
780void MDNode::makeUniqued() {
786 Op.reset(
Op.get(),
this);
790 countUnresolvedOperands();
792 dropReplaceableUses();
799void MDNode::makeDistinct() {
804 dropReplaceableUses();
816 dropReplaceableUses();
821void MDNode::dropReplaceableUses() {
825 if (Context.hasReplaceableUses())
826 Context.takeReplaceableUses()->resolveAllUses();
839 decrementUnresolvedOperandCount();
842void MDNode::decrementUnresolvedOperandCount() {
853 dropReplaceableUses();
871 "Expected all forward declarations to be resolved");
872 if (!
N->isResolved())
881MDNode *MDNode::replaceWithPermanentImpl() {
885 return replaceWithDistinctImpl();
887#define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS) \
890#include "llvm/IR/Metadata.def"
895 return replaceWithDistinctImpl();
896 return replaceWithUniquedImpl();
899MDNode *MDNode::replaceWithUniquedImpl() {
901 MDNode *UniquedNode = uniquify();
903 if (UniquedNode ==
this) {
914MDNode *MDNode::replaceWithDistinctImpl() {
919void MDTuple::recalculateHash() {
920 setHash(MDTupleInfo::KeyTy::calculateHash(
this));
926 if (Context.hasReplaceableUses()) {
927 Context.getReplaceableUses()->resolveAllUses(
false);
928 (void)Context.takeReplaceableUses();
932void MDNode::handleChangedOperand(
void *
Ref,
Metadata *New) {
960 resolveAfterOperandChange(Old, New);
972 if (Context.hasReplaceableUses())
973 Context.getReplaceableUses()->replaceAllUsesWith(
Uniqued);
982void MDNode::deleteAsSubclass() {
986#define HANDLE_MDNODE_LEAF(CLASS) \
988 delete cast<CLASS>(this); \
990#include "llvm/IR/Metadata.def"
994template <
class T,
class InfoT>
1003template <
class NodeTy>
struct MDNode::HasCachedHash {
1006 template <
class U>
static std::false_type
check(...);
1011MDNode *MDNode::uniquify() {
1018#define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS) \
1019 case CLASS##Kind: { \
1020 CLASS *SubclassThis = cast<CLASS>(this); \
1021 dispatchRecalculateHash(SubclassThis); \
1022 return uniquifyImpl(SubclassThis, getContext().pImpl->CLASS##s); \
1024#include "llvm/IR/Metadata.def"
1028void MDNode::eraseFromStore() {
1032#define HANDLE_MDNODE_LEAF_UNIQUABLE(CLASS) \
1034 getContext().pImpl->CLASS##s.erase(cast<CLASS>(this)); \
1036#include "llvm/IR/Metadata.def"
1044 MDTupleInfo::KeyTy
Key(MDs);
1049 Hash =
Key.getHash();
1051 assert(ShouldCreate &&
"Expected non-uniqued nodes to always be created");
1055 MDTuple(Context,
Storage, Hash, MDs),
1056 Storage, Context.pImpl->MDTuples);
1060 assert(
N->isTemporary() &&
"Expected temporary node");
1061 N->replaceAllUsesWith(
nullptr);
1062 N->deleteAsSubclass();
1066 assert(!Context.hasReplaceableUses() &&
"Unexpected replaceable uses");
1075#define HANDLE_MDNODE_LEAF(CLASS) \
1076 case CLASS##Kind: { \
1077 dispatchResetHash(cast<CLASS>(this)); \
1080#include "llvm/IR/Metadata.def"
1113 if (
N->getNumOperands() ==
Ops.size() &&
N ==
N->getOperand(0)) {
1114 for (
unsigned I = 1,
E =
Ops.size();
I !=
E; ++
I)
1115 if (
Ops[
I] !=
N->getOperand(
I))
1130 MDs.
insert(
B->op_begin(),
B->op_end());
1178 return MDs.
empty() ? nullptr
1199 assert(
A &&
B && AInstr && BInstr &&
"Caller should guarantee");
1204 assert(
A->getNumOperands() >= 2 &&
B->getNumOperands() >= 2 &&
1205 "!prof annotations should have no less than 2 operands");
1209 assert(AMDS !=
nullptr && BMDS !=
nullptr &&
1210 "first operand should be a non-null MDString");
1219 assert(AInstrWeight && BInstrWeight &&
"verified by LLVM verifier");
1222 MDHelper.createConstant(ConstantInt::get(
1237 switch (
I.getOpcode()) {
1238 case Instruction::Invoke:
1239 case Instruction::CondBr:
1240 case Instruction::Switch:
1241 case Instruction::Call:
1242 case Instruction::IndirectBr:
1243 case Instruction::Select:
1244 case Instruction::CallBr:
1250 if (AInstr && !IsLegal(*AInstr))
1252 if (BInstr && !IsLegal(*BInstr))
1260 "Caller should guarantee");
1262 "Caller should guarantee");
1270 return mergeDirectCallProfMetadata(
A,
B, AInstr, BInstr);
1281 return A.getUpper() ==
B.getLower() ||
A.getLower() ==
B.getUpper();
1292 const APInt &LB = EndPoints[
Size - 2]->getValue();
1293 const APInt &LE = EndPoints[
Size - 1]->getValue();
1298 EndPoints[
Size - 2] =
1300 EndPoints[
Size - 1] =
1309 if (!EndPoints.
empty())
1324 auto AddUniqueCallees = [&AB, &MergedCallees](
const MDNode *
N) {
1326 if (MergedCallees.
insert(MD).second)
1330 AddUniqueCallees(
A);
1331 AddUniqueCallees(
B);
1351 unsigned AN =
A->getNumOperands() / 2;
1352 unsigned BN =
B->getNumOperands() / 2;
1353 while (AI < AN && BI < BN) {
1386 for (
unsigned i = 0; i <
Size - 2; ++i) {
1387 EndPoints[i] = EndPoints[i + 2];
1395 if (EndPoints.
size() == 2) {
1397 if (
Range.isFullSet())
1403 for (
auto *
I : EndPoints)
1422 AVal->
getType(), Intersect)));
1433 for (
unsigned I = 0, E =
A->getNumOperands() / 2;
I != E; ++
I) {
1439 for (
unsigned I = 0, E =
B->getNumOperands() / 2;
I != E; ++
I) {
1454 ConstantInt::get(
A->getContext(), CR.getLower())));
1456 ConstantInt::get(
A->getContext(), CR.getUpper())));
1515NamedMDNode::NamedMDNode(
const Twine &
N)
1524 return (
unsigned)
getNMDOps(Operands).size();
1551 for (
const auto &
A : Attachments)
1558 for (
const auto &
A : Attachments)
1560 Result.push_back(
A.Node);
1565 for (
const auto &
A : Attachments)
1566 Result.emplace_back(
A.MDKind,
A.Node);
1570 if (Result.size() > 1)
1589 if (Attachments.size() == 1 && Attachments.back().MDKind ==
ID) {
1590 Attachments.pop_back();
1594 auto OldSize = Attachments.size();
1597 return OldSize != Attachments.size();
1609 const MDAttachments &Attachements = Ctx.pImpl->ValueMetadata.at(
this);
1610 return Attachements.
lookup(KindID);
1627 "bit out of sync with hash table");
1642 Info.set(KindID,
Node);
1648 "bit out of sync with hash table");
1684 bool Changed = Store.erase(KindID);
1696 assert(!Info.empty() &&
"bit out of sync with hash table");
1698 return Pred(
I.MDKind,
I.Node);
1709 "bit out of sync with hash table");
1722 unsigned KindID = Ctx.getMDKindID(Kind);
1723 if (KindID == LLVMContext::MD_dbg)
1729 if (DbgLoc && Pred(LLVMContext::MD_dbg, DbgLoc.getAsMDNode()))
1742 KnownSet.
insert(LLVMContext::MD_DIAssignID);
1745 return !KnownSet.
count(MDKind);
1749void Instruction::updateDIAssignIDMapping(
DIAssignID *
ID) {
1754 if (
ID == CurrentID)
1758 auto InstrsIt = IDToInstrs.find(CurrentID);
1759 assert(InstrsIt != IDToInstrs.end() &&
1760 "Expect existing attachment to be mapped");
1762 auto &InstVec = InstrsIt->second;
1764 assert(InstIt != InstVec.end() &&
1765 "Expect instruction to be mapped to attachment");
1769 if (InstVec.size() == 1)
1770 IDToInstrs.erase(InstrsIt);
1772 InstVec.erase(InstIt);
1777 IDToInstrs[
ID].push_back(
this);
1785 if (KindID == LLVMContext::MD_dbg) {
1791 if (KindID == LLVMContext::MD_DIAssignID) {
1796 "Temporary DIAssignIDs are invalid");
1805 if (
auto *Existing =
getMetadata(LLVMContext::MD_annotation)) {
1809 for (
auto &
N : Tuple->operands()) {
1815 if (
any_of(MDAnnotationTuple->operands(), [&AnnotationsSet](
auto &
Op) {
1816 return AnnotationsSet.contains(cast<MDString>(Op)->getString());
1835 if (
auto *Existing =
getMetadata(LLVMContext::MD_annotation)) {
1837 for (
auto &
N : Tuple->operands()) {
1857 Result.TBAA = Info.lookup(LLVMContext::MD_tbaa);
1858 Result.TBAAStruct = Info.lookup(LLVMContext::MD_tbaa_struct);
1859 Result.Scope = Info.lookup(LLVMContext::MD_alias_scope);
1860 Result.NoAlias = Info.lookup(LLVMContext::MD_noalias);
1861 Result.NoAliasAddrSpace = Info.lookup(LLVMContext::MD_noalias_addrspace);
1868 setMetadata(LLVMContext::MD_tbaa_struct,
N.TBAAStruct);
1871 setMetadata(LLVMContext::MD_noalias_addrspace,
N.NoAliasAddrSpace);
1879void Instruction::getAllMetadataImpl(
1886 std::make_pair((
unsigned)LLVMContext::MD_dbg, DbgLoc.
getAsMDNode()));
1896 getOpcode() == Instruction::IndirectBr ||
1898 "Looking for branch weights on something besides branch");
1900 return ::extractProfTotalWeight(*
this, TotalVal);
1905 Other->getAllMetadata(MDs);
1906 for (
auto &MD : MDs) {
1908 if (
Offset != 0 && MD.first == LLVMContext::MD_type) {
1911 Metadata *TypeId = MD.second->getOperand(1);
1913 OffsetConst->getType(), OffsetConst->getValue() +
Offset));
1921 auto *Attachment = MD.second;
1922 if (
Offset != 0 && MD.first == LLVMContext::MD_dbg) {
1927 GV = GVE->getVariable();
1928 E = GVE->getExpression();
1932 OrigElements = E->getElements();
1933 std::vector<uint64_t> Elements(OrigElements.
size() + 2);
1934 Elements[0] = dwarf::DW_OP_plus_uconst;
1936 llvm::copy(OrigElements, Elements.begin() + 2);
1946 LLVMContext::MD_type,
1968 assert(Val <= 2 &&
"unknown vcall visibility!");
1985 return CU->getDebugInfoForProfiling();
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
This file defines the StringMap class.
This file declares a class to represent arbitrary precision floating point values and provide a varie...
This file implements a class to represent arbitrary precision integral constant values and operations...
static const Function * getParent(const Value *V)
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
This file contains the declarations for the subclasses of Constant, which represent the different fla...
static ManagedStatic< DebugCounterOwner > Owner
This file defines the DenseSet and SmallDenseSet classes.
Module.h This file contains the declarations for the Module class.
const size_t AbstractManglingParser< Derived, Alloc >::NumOps
const AbstractManglingParser< Derived, Alloc >::OperatorInfo AbstractManglingParser< Derived, Alloc >::Ops[]
ConstantRange Range(APInt(BitWidth, Low), APInt(BitWidth, High))
This file contains the declarations for profiling metadata utility functions.
Remove Loads Into Fake Uses
This file implements a set that has insertion order iteration characteristics.
This file defines the SmallPtrSet class.
This file defines the SmallSet class.
This file defines the SmallVector class.
Class for arbitrary precision integers.
bool slt(const APInt &RHS) const
Signed less than comparison.
This is a simple wrapper around an MDNode which provides a higher-level interface by hiding the detai...
Annotations lets you mark points and ranges inside source code, for tests:
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
size - Get the array size.
LLVM Basic Block Representation.
Function * getCalledFunction() const
Returns the function called, or null if this is an indirect function invocation or the function signa...
This class represents a function call, abstracting a target machine's calling convention.
This is the shared class of boolean and integer constants.
uint64_t getZExtValue() const
Return the constant as a 64-bit unsigned integer value after it has been zero extended as appropriate...
const APInt & getValue() const
Return the constant as an APInt value reference.
This class represents a list of constant ranges.
LLVM_ABI ConstantRangeList intersectWith(const ConstantRangeList &CRL) const
Return the range list that results from the intersection of this ConstantRangeList with another Const...
This class represents a range of values.
LLVM_ABI ConstantRange unionWith(const ConstantRange &CR, PreferredRangeType Type=Smallest) const
Return the range that results from the union of this range with another range.
This is an important base class in LLVM.
A pair of DIGlobalVariable and DIExpression.
Subprogram description. Uses SubclassData1.
Record of a variable value-assignment, aka a non instruction representation of the dbg....
MDNode * getAsMDNode() const
Return this as a bar MDNode.
Base class for tracking ValueAsMetadata/DIArgLists with user lookups and Owner callbacks outside of V...
LLVM_ABI void handleChangedValue(void *Old, Metadata *NewDebugValue)
To be called by ReplaceableMetadataImpl::replaceAllUsesWith, where Old is a pointer to one of the poi...
std::array< Metadata *, 3 > DebugValues
void resetDebugValue(size_t Idx, Metadata *DebugValue)
LLVM_ABI DbgVariableRecord * getUser()
Implements a dense probed hash-table based set.
void setSubprogram(DISubprogram *SP)
Set the attached subprogram.
DISubprogram * getSubprogram() const
Get the attached subprogram.
bool shouldEmitDebugInfoForProfiling() const
Returns true if we should emit debug info for profiling.
LLVM_ABI void addTypeMetadata(unsigned Offset, Metadata *TypeID)
LLVM_ABI void setMetadata(unsigned KindID, MDNode *Node)
Set a particular kind of metadata attachment.
GlobalObject(Type *Ty, ValueTy VTy, AllocInfo AllocInfo, LinkageTypes Linkage, const Twine &Name, unsigned AddressSpace=0)
LLVM_ABI void copyMetadata(const GlobalObject *Src, unsigned Offset)
Copy metadata from Src, adjusting offsets by Offset.
LLVM_ABI VCallVisibility getVCallVisibility() const
LLVM_ABI bool eraseMetadata(unsigned KindID)
Erase all metadata attachments with the given kind.
LLVM_ABI void addMetadata(unsigned KindID, MDNode &MD)
Add a metadata attachment.
MDNode * getMetadata(unsigned KindID) const
Get the current metadata attachments for the given kind, if any.
LLVM_ABI void setVCallVisibilityMetadata(VCallVisibility Visibility)
LLVM_ABI void getDebugInfo(SmallVectorImpl< DIGlobalVariableExpression * > &GVs) const
Fill the vector with all debug info attachements.
LLVM_ABI void addDebugInfo(DIGlobalVariableExpression *GV)
Attach a DIGlobalVariableExpression.
LLVM_ABI void setAAMetadata(const AAMDNodes &N)
Sets the AA metadata on this instruction from the AAMDNodes structure.
LLVM_ABI bool extractProfTotalWeight(uint64_t &TotalVal) const
Retrieve total raw weight values of a branch.
bool hasMetadata() const
Return true if this instruction has any metadata attached to it.
LLVM_ABI void addAnnotationMetadata(StringRef Annotation)
Adds an !annotation metadata node with Annotation to this instruction.
MDNode * getMetadata(unsigned KindID) const
Get the metadata of given kind attached to this Instruction.
LLVM_ABI void setMetadata(unsigned KindID, MDNode *Node)
Set the metadata of the specified kind to the specified node.
LLVM_ABI void setNoSanitizeMetadata()
Sets the nosanitize metadata on this instruction.
LLVM_ABI void dropUnknownNonDebugMetadata(ArrayRef< unsigned > KnownIDs={})
Drop all unknown metadata except for debug locations.
LLVM_ABI AAMDNodes getAAMetadata() const
Returns the AA metadata for this instruction.
unsigned getOpcode() const
Returns a member of one of the enums like Instruction::Add.
LLVM_ABI void eraseMetadataIf(function_ref< bool(unsigned, MDNode *)> Pred)
Erase all metadata that matches the predicate.
DenseMap< Metadata *, MetadataAsValue * > MetadataAsValues
DenseMap< DIAssignID *, SmallVector< Instruction *, 1 > > AssignmentIDToInstrs
Map DIAssignID -> Instructions with that attachment.
std::vector< MDNode * > DistinctMDNodes
DenseMap< const Value *, MDAttachments > ValueMetadata
Collection of metadata used in this context.
This is an important class for using LLVM in a threaded context.
LLVM_ABI unsigned getMDKindID(StringRef Name) const
getMDKindID - Return a unique non-zero ID for the specified metadata kind.
LLVMContextImpl *const pImpl
Multimap-like storage for metadata attachments.
void insert(unsigned ID, MDNode &MD)
Adds an attachment to a particular node.
void get(unsigned ID, SmallVectorImpl< MDNode * > &Result) const
Appends all attachments with the given ID to Result in insertion order.
void getAll(SmallVectorImpl< std::pair< unsigned, MDNode * > > &Result) const
Appends all attachments for the global to Result, sorting by attachment ID.
void set(unsigned ID, MDNode *MD)
Set an attachment to a particular node.
MDNode * lookup(unsigned ID) const
Returns the first attachment with the given ID or nullptr if no such attachment exists.
bool erase(unsigned ID)
Remove attachments with the given ID.
LLVM_ABI MDString * createString(StringRef Str)
Return the given string as metadata.
static LLVM_ABI MDNode * getMostGenericAliasScope(MDNode *A, MDNode *B)
LLVM_ABI void replaceOperandWith(unsigned I, Metadata *New)
Replace a specific operand.
LLVM_ABI void resolveCycles()
Resolve cycles.
static LLVM_ABI CaptureComponents toCaptureComponents(const MDNode *MD)
Convert !captures metadata to CaptureComponents. MD may be nullptr.
mutable_op_range mutable_operands()
static LLVM_ABI MDNode * getMergedCalleeTypeMetadata(const MDNode *A, const MDNode *B)
void replaceAllUsesWith(Metadata *MD)
RAUW a temporary.
static LLVM_ABI MDNode * concatenate(MDNode *A, MDNode *B)
Methods for metadata merging.
static LLVM_ABI void deleteTemporary(MDNode *N)
Deallocate a node created by getTemporary.
LLVM_ABI void resolve()
Resolve a unique, unresolved node.
const MDOperand & getOperand(unsigned I) const
static LLVM_ABI MDNode * getMostGenericNoaliasAddrspace(MDNode *A, MDNode *B)
LLVM_ABI void storeDistinctInContext()
ArrayRef< MDOperand > operands() const
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
static LLVM_ABI MDNode * getMergedProfMetadata(MDNode *A, MDNode *B, const Instruction *AInstr, const Instruction *BInstr)
Merge !prof metadata from two instructions.
static LLVM_ABI MDNode * getMostGenericFPMath(MDNode *A, MDNode *B)
void setNumUnresolved(unsigned N)
unsigned getNumOperands() const
Return number of MDNode operands.
MDOperand * mutable_begin()
LLVM_ABI MDNode(LLVMContext &Context, unsigned ID, StorageType Storage, ArrayRef< Metadata * > Ops1, ArrayRef< Metadata * > Ops2={})
LLVM_ABI TempMDNode clone() const
Create a (temporary) clone of this.
static LLVM_ABI MDNode * getMostGenericRange(MDNode *A, MDNode *B)
LLVM_ABI void setOperand(unsigned I, Metadata *New)
Set an operand.
bool isResolved() const
Check if node is fully resolved.
op_iterator op_begin() const
static LLVM_ABI MDNode * intersect(MDNode *A, MDNode *B)
static LLVM_ABI MDNode * getMostGenericNoFPClass(MDNode *A, MDNode *B)
static T * storeImpl(T *N, StorageType Storage, StoreT &Store)
LLVMContext & getContext() const
static LLVM_ABI MDNode * fromCaptureComponents(LLVMContext &Ctx, CaptureComponents CC)
Convert CaptureComponents to !captures metadata.
LLVM_ABI void dropAllReferences()
static LLVM_ABI MDNode * getMostGenericAlignmentOrDereferenceable(MDNode *A, MDNode *B)
unsigned getNumUnresolved() const
Tracking metadata reference owned by Metadata.
LLVM_ABI StringRef getString() const
static LLVM_ABI MDString * getIfExists(LLVMContext &Context, StringRef Str)
static LLVM_ABI MDString * get(LLVMContext &Context, StringRef Str)
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
void eraseNamedMetadata(NamedMDNode *NMD)
Remove the given NamedMDNode from this module and delete it.
LLVM_ABI void setOperand(unsigned I, MDNode *New)
LLVM_ABI StringRef getName() const
void dropAllReferences()
Remove all uses and clear node vector.
LLVM_ABI void eraseFromParent()
Drop all references and remove the node from parent module.
LLVM_ABI MDNode * getOperand(unsigned i) const
LLVM_ABI unsigned getNumOperands() const
LLVM_ABI void clearOperands()
Drop all references to this node's operands.
Module * getParent()
Get the module that holds this named metadata collection.
LLVM_ABI void addOperand(MDNode *M)
static LLVM_ABI PoisonValue * get(Type *T)
Static factory methods - Return an 'poison' object of the specified type.
ArrayRef< value_type > getArrayRef() const
bool remove_if(UnaryPredicate P)
Remove items from the set vector based on a predicate function.
bool empty() const
Determine if the SetVector is empty or not.
bool insert(const value_type &X)
Insert a new element into the SetVector.
size_type count(ConstPtrType Ptr) const
count - Return 1 if the specified pointer is in the set, 0 otherwise.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
bool contains(ConstPtrType Ptr) const
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
A SetVector that performs no allocations if smaller than a certain size.
SmallSet - This maintains a set of unique values, optimizing for the case when the set is small (less...
size_type count(const T &V) const
count - Return 1 if the element is in the set, 0 otherwise.
std::pair< const_iterator, bool > insert(const T &V)
insert - Insert an element into the set if it isn't already there.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void reserve(size_type N)
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
A switch()-like statement whose cases are string literals.
StringSwitch & Case(StringLiteral S, T Value)
The instances of the Type class are immutable: once they are created, they are never changed.
static LLVM_ABI IntegerType * getInt64Ty(LLVMContext &C)
static LLVM_ABI Type * getMetadataTy(LLVMContext &C)
LLVMContext & getContext() const
Return the LLVMContext in which this type was uniqued.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
bool hasMetadata() const
Return true if this value has any metadata attached to it.
LLVM_ABI void setMetadata(unsigned KindID, MDNode *Node)
Set a particular kind of metadata attachment.
LLVM_ABI void replaceAllUsesWith(Value *V)
Change all uses of this to point to a new Value.
LLVMContext & getContext() const
All values hold a context through their type.
LLVM_ABI void getAllMetadata(SmallVectorImpl< std::pair< unsigned, MDNode * > > &MDs) const
Appends all metadata attached to this value to MDs, sorting by KindID.
LLVM_ABI MDNode * getMetadataImpl(unsigned KindID) const
Get metadata for the given kind, if any.
LLVM_ABI bool eraseMetadata(unsigned KindID)
Erase all metadata attachments with the given kind.
LLVM_ABI void addMetadata(unsigned KindID, MDNode &MD)
Add a metadata attachment.
LLVM_ABI void eraseMetadataIf(function_ref< bool(unsigned, MDNode *)> Pred)
Erase all metadata attachments matching the given predicate.
LLVM_ABI void clearMetadata()
Erase all metadata attached to this Value.
MDNode * getMetadata(unsigned KindID) const
Get the current metadata attachments for the given kind, if any.
An efficient, type-erasing, non-owning reference to a callable.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ C
The default llvm calling convention, compatible with C.
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > dyn_extract(Y &&MD)
Extract a Value from Metadata, if any.
std::enable_if_t< detail::IsValidPointer< X, Y >::value, X * > extract(Y &&MD)
Extract a Value from Metadata.
This is an optimization pass for GlobalISel generic memory operations.
@ Low
Lower the current thread's priority such that it does not affect foreground tasks significantly.
detail::zippy< detail::zip_shortest, T, U, Args... > zip(T &&t, U &&u, Args &&...args)
zip iterator for two or more iteratable types.
bool capturesReadProvenanceOnly(CaptureComponents CC)
void stable_sort(R &&Range)
auto find(R &&Range, const T &Val)
Provide wrappers to std::find which take ranges instead of having to pass begin/end explicitly.
bool capturesAddressIsNullOnly(CaptureComponents CC)
cl::opt< bool > ProfcheckDisableMetadataFixes
TypedTrackingMDRef< MDNode > TrackingMDNodeRef
auto size(R &&Range, std::enable_if_t< std::is_base_of< std::random_access_iterator_tag, typename std::iterator_traits< decltype(Range.begin())>::iterator_category >::value, void > *=nullptr)
Get the size of a range.
LLVM_ABI unsigned getBranchWeightOffset(const MDNode *ProfileData)
Return the offset to the first branch weight data.
static T * getUniqued(DenseSet< T *, InfoT > &Store, const typename InfoT::KeyTy &Key)
bool capturesAddress(CaptureComponents CC)
decltype(auto) dyn_cast(const From &Val)
dyn_cast<X> - Return the argument parameter cast to the specified type.
constexpr from_range_t from_range
auto dyn_cast_if_present(const Y &Val)
dyn_cast_if_present<X> - Functionally identical to dyn_cast, except that a null (or none in the case ...
auto cast_or_null(const Y &Val)
auto dyn_cast_or_null(const Y &Val)
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
bool capturesFullProvenance(CaptureComponents CC)
void sort(IteratorTy Start, IteratorTy End)
CaptureComponents
Components of the pointer that may be captured.
class LLVM_GSL_OWNER SmallVector
Forward declaration of SmallVector so that calculateSmallVectorDefaultInlinedElements can reference s...
bool isa(const From &Val)
isa<X> - Return true if the parameter to the template is an instance of one of the template type argu...
LLVM_ATTRIBUTE_VISIBILITY_DEFAULT AnalysisKey InnerAnalysisManagerProxy< AnalysisManagerT, IRUnitT, ExtraArgTs... >::Key
MutableArrayRef(T &OneElt) -> MutableArrayRef< T >
@ Ref
The access may reference the value stored in memory.
uint64_t alignTo(uint64_t Size, Align A)
Returns a multiple of A needed to store Size bytes.
DWARFExpression::Operation Op
ArrayRef(const T &OneElt) -> ArrayRef< T >
OutputIt copy(R &&Range, OutputIt Out)
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
auto count_if(R &&Range, UnaryPredicate P)
Wrapper function around std::count_if to count the number of times an element satisfying a given pred...
decltype(auto) cast(const From &Val)
cast<X> - Return the argument parameter cast to the specified type.
void erase_if(Container &C, UnaryPredicate P)
Provide a container algorithm similar to C++ Library Fundamentals v2's erase_if which is equivalent t...
bool is_contained(R &&Range, const E &Element)
Returns true if Element is found in Range.
bool capturesAll(CaptureComponents CC)
std::enable_if_t< std::is_unsigned_v< T >, T > SaturatingAdd(T X, T Y, bool *ResultOverflowed=nullptr)
Add two unsigned integers, X and Y, of type T.
bool capturesNothing(CaptureComponents CC)
static constexpr bool value
static std::false_type check(...)
static std::true_type check(SameType< void(U::*)(unsigned), &U::setHash > *)
A collection of metadata nodes that might be associated with a memory access used by the alias-analys...
static LLVM_ABI const char * BranchWeights
Function object to check whether the first component of a container supported by std::get (like std::...