31#include "llvm/Config/llvm-config.h"
107 if (
const auto *MAV = dyn_cast<MetadataAsValue>(V))
108 if (
const auto *VAM = dyn_cast<ValueAsMetadata>(MAV->getMetadata()))
109 return VAM->getValue();
117 if (
const Constant *
C = dyn_cast<Constant>(V))
118 if (
C->getNumOperands() && !isa<GlobalValue>(
C))
119 for (
const Value *
Op :
C->operands())
120 if (!isa<BasicBlock>(
Op) && !isa<GlobalValue>(
Op))
125 unsigned ID = OM.size() + 1;
133 if (
G.hasInitializer())
134 if (!isa<GlobalValue>(
G.getInitializer()))
139 if (!isa<GlobalValue>(
A.getAliasee()))
144 if (!isa<GlobalValue>(
I.getResolver()))
149 for (
const Use &U :
F.operands())
150 if (!isa<GlobalValue>(U.get()))
155 if (
F.isDeclaration())
163 for (
const Value *
Op :
I.operands()) {
165 if ((isa<Constant>(*
Op) && !isa<GlobalValue>(*
Op)) ||
176static std::vector<unsigned>
179 using Entry = std::pair<const Use *, unsigned>;
181 for (
const Use &U : V->uses())
183 if (OM.lookup(U.getUser()))
184 List.push_back(std::make_pair(&U,
List.size()));
193 bool GetsReversed = !isa<BasicBlock>(V);
194 if (
auto *BA = dyn_cast<BlockAddress>(V))
195 ID = OM.lookup(BA->getBasicBlock());
197 const Use *LU = L.first;
198 const Use *RU = R.first;
202 auto LID = OM.lookup(LU->getUser());
203 auto RID = OM.lookup(RU->getUser());
223 return LU->getOperandNo() < RU->getOperandNo();
224 return LU->getOperandNo() > RU->getOperandNo();
232 std::vector<unsigned> Shuffle(
List.size());
233 for (
size_t I = 0, E =
List.size();
I != E; ++
I)
234 Shuffle[
I] =
List[
I].second;
241 for (
const auto &Pair : OM) {
242 const Value *V = Pair.first;
243 if (V->use_empty() || std::next(V->use_begin()) == V->use_end())
246 std::vector<unsigned> Shuffle =
252 if (
auto *
I = dyn_cast<Instruction>(V))
253 F =
I->getFunction();
254 if (
auto *
A = dyn_cast<Argument>(V))
256 if (
auto *BB = dyn_cast<BasicBlock>(V))
258 ULOM[
F][V] = std::move(Shuffle);
264 if (
const Argument *MA = dyn_cast<Argument>(V))
265 return MA->getParent() ? MA->getParent()->getParent() :
nullptr;
267 if (
const BasicBlock *BB = dyn_cast<BasicBlock>(V))
268 return BB->getParent() ? BB->getParent()->getParent() :
nullptr;
271 const Function *M =
I->getParent() ?
I->getParent()->getParent() :
nullptr;
272 return M ? M->getParent() :
nullptr;
275 if (
const GlobalValue *GV = dyn_cast<GlobalValue>(V))
276 return GV->getParent();
278 if (
const auto *MAV = dyn_cast<MetadataAsValue>(V)) {
279 for (
const User *U : MAV->users())
280 if (isa<Instruction>(U))
292 return M ? M->getParent() :
nullptr;
301 default: Out <<
"cc" << cc;
break;
324 Out <<
"aarch64_sve_vector_pcs";
327 Out <<
"aarch64_sme_preservemost_from_x0";
330 Out <<
"aarch64_sme_preservemost_from_x2";
358 Out <<
"amdgpu_cs_chain";
361 Out <<
"amdgpu_cs_chain_preserve";
367 Out <<
"riscv_vector_cc";
381 assert(!
Name.empty() &&
"Cannot get empty name!");
384 bool NeedsQuotes = isdigit(
static_cast<unsigned char>(
Name[0]));
386 for (
unsigned char C :
Name) {
391 if (!isalnum(
static_cast<unsigned char>(
C)) &&
C !=
'-' &&
C !=
'.' &&
408 printEscapedString(
Name,
OS);
444 if (isa<ScalableVectorType>(Ty))
446 Out << Mask.size() <<
" x i32> ";
447 bool FirstElt =
true;
448 if (
all_of(Mask, [](
int Elt) {
return Elt == 0; })) {
449 Out <<
"zeroinitializer";
454 for (
int Elt : Mask) {
473 TypePrinting(
const Module *M =
nullptr) : DeferredM(
M) {}
475 TypePrinting(
const TypePrinting &) =
delete;
476 TypePrinting &operator=(
const TypePrinting &) =
delete;
482 std::vector<StructType *> &getNumberedTypes();
491 void incorporateTypes();
501 std::vector<StructType *> NumberedTypes;
511std::vector<StructType *> &TypePrinting::getNumberedTypes() {
517 if (NumberedTypes.size() == Type2Number.size())
518 return NumberedTypes;
520 NumberedTypes.resize(Type2Number.size());
521 for (
const auto &
P : Type2Number) {
522 assert(
P.second < NumberedTypes.size() &&
"Didn't get a dense numbering?");
523 assert(!NumberedTypes[
P.second] &&
"Didn't get a unique numbering?");
524 NumberedTypes[
P.second] =
P.first;
526 return NumberedTypes;
529bool TypePrinting::empty() {
531 return NamedTypes.empty() && Type2Number.empty();
534void TypePrinting::incorporateTypes() {
538 NamedTypes.run(*DeferredM,
false);
543 unsigned NextNumber = 0;
545 std::vector<StructType *>::iterator NextToUse = NamedTypes.begin();
548 if (STy->isLiteral())
551 if (STy->getName().empty())
552 Type2Number[STy] = NextNumber++;
557 NamedTypes.erase(NextToUse, NamedTypes.end());
578 OS << 'i' << cast<IntegerType>(Ty)->getBitWidth();
583 print(FTy->getReturnType(),
OS);
586 for (
Type *Ty : FTy->params()) {
599 return printStructBody(STy,
OS);
605 const auto I = Type2Number.find(STy);
606 if (
I != Type2Number.end())
607 OS <<
'%' <<
I->second;
609 OS <<
"%\"type " << STy <<
'\"';
621 OS <<
'[' << ATy->getNumElements() <<
" x ";
622 print(ATy->getElementType(),
OS);
633 OS <<
EC.getKnownMinValue() <<
" x ";
634 print(PTy->getElementType(),
OS);
650 OS <<
", " << *Inner;
652 OS <<
", " << IntParam;
703 const Function* TheFunction =
nullptr;
704 bool FunctionProcessed =
false;
705 bool ShouldInitializeAllMetadata;
710 ProcessFunctionHookFn;
725 unsigned mdnNext = 0;
733 unsigned ModulePathNext = 0;
737 unsigned GUIDNext = 0;
741 unsigned TypeIdNext = 0;
746 unsigned TypeIdCompatibleVtableNext = 0;
755 bool ShouldInitializeAllMetadata =
false);
763 bool ShouldInitializeAllMetadata =
false);
797 FunctionProcessed =
false;
836 void CreateMetadataSlot(
const MDNode *
N);
839 void CreateFunctionSlot(
const Value *V);
844 inline void CreateModulePathSlot(
StringRef Path);
847 void CreateTypeIdCompatibleVtableSlot(
StringRef Id);
851 void processModule();
856 void processFunction();
859 void processGlobalObjectMetadata(
const GlobalObject &GO);
862 void processFunctionMetadata(
const Function &
F);
868 void processDbgRecordMetadata(
const DbgRecord &DVR);
878 bool ShouldInitializeAllMetadata)
879 : ShouldCreateStorage(M),
880 ShouldInitializeAllMetadata(ShouldInitializeAllMetadata), M(M) {}
885 if (!ShouldCreateStorage)
888 ShouldCreateStorage =
false;
890 std::make_unique<SlotTracker>(M, ShouldInitializeAllMetadata);
891 Machine = MachineStorage.get();
892 if (ProcessModuleHookFn)
894 if (ProcessFunctionHookFn)
914 assert(F &&
"No function incorporated");
921 ProcessModuleHookFn = Fn;
927 ProcessFunctionHookFn = Fn;
931 if (
const Argument *FA = dyn_cast<Argument>(V))
938 if (
const BasicBlock *BB = dyn_cast<BasicBlock>(V))
944 if (
const GlobalAlias *GA = dyn_cast<GlobalAlias>(V))
947 if (
const GlobalIFunc *GIF = dyn_cast<GlobalIFunc>(V))
950 if (
const Function *Func = dyn_cast<Function>(V))
957#define ST_DEBUG(X) dbgs() << X
965 : TheModule(M), ShouldInitializeAllMetadata(ShouldInitializeAllMetadata) {}
970 : TheModule(
F ?
F->
getParent() : nullptr), TheFunction(
F),
971 ShouldInitializeAllMetadata(ShouldInitializeAllMetadata) {}
974 : TheModule(nullptr), ShouldInitializeAllMetadata(
false), TheIndex(
Index) {}
982 if (TheFunction && !FunctionProcessed)
989 int NumSlots = processIndex();
996void SlotTracker::processModule() {
1002 CreateModuleSlot(&Var);
1003 processGlobalObjectMetadata(Var);
1004 auto Attrs = Var.getAttributes();
1005 if (Attrs.hasAttributes())
1006 CreateAttributeSetSlot(Attrs);
1011 CreateModuleSlot(&
A);
1016 CreateModuleSlot(&
I);
1021 for (
unsigned i = 0, e = NMD.getNumOperands(); i != e; ++i)
1022 CreateMetadataSlot(NMD.getOperand(i));
1028 CreateModuleSlot(&
F);
1030 if (ShouldInitializeAllMetadata)
1031 processFunctionMetadata(
F);
1037 CreateAttributeSetSlot(FnAttrs);
1040 if (ProcessModuleHookFn)
1041 ProcessModuleHookFn(
this, TheModule, ShouldInitializeAllMetadata);
1047void SlotTracker::processFunction() {
1048 ST_DEBUG(
"begin processFunction!\n");
1052 if (!ShouldInitializeAllMetadata)
1053 processFunctionMetadata(*TheFunction);
1057 AE = TheFunction->
arg_end(); AI != AE; ++AI)
1059 CreateFunctionSlot(&*AI);
1061 ST_DEBUG(
"Inserting Instructions:\n");
1064 for (
auto &BB : *TheFunction) {
1066 CreateFunctionSlot(&BB);
1068 for (
auto &
I : BB) {
1069 if (!
I.getType()->isVoidTy() && !
I.hasName())
1070 CreateFunctionSlot(&
I);
1074 if (
const auto *Call = dyn_cast<CallBase>(&
I)) {
1077 if (
Attrs.hasAttributes())
1078 CreateAttributeSetSlot(Attrs);
1083 if (ProcessFunctionHookFn)
1084 ProcessFunctionHookFn(
this, TheFunction, ShouldInitializeAllMetadata);
1086 FunctionProcessed =
true;
1088 ST_DEBUG(
"end processFunction!\n");
1092int SlotTracker::processIndex() {
1099 std::vector<StringRef> ModulePaths;
1101 ModulePaths.push_back(ModPath);
1102 llvm::sort(ModulePaths.begin(), ModulePaths.end());
1103 for (
auto &ModPath : ModulePaths)
1104 CreateModulePathSlot(ModPath);
1107 GUIDNext = ModulePathNext;
1109 for (
auto &GlobalList : *TheIndex)
1110 CreateGUIDSlot(GlobalList.first);
1113 TypeIdCompatibleVtableNext = GUIDNext;
1114 for (
auto &TId : TheIndex->typeIdCompatibleVtableMap())
1115 CreateTypeIdCompatibleVtableSlot(TId.first);
1118 TypeIdNext = TypeIdCompatibleVtableNext;
1119 for (
const auto &TID : TheIndex->typeIds())
1120 CreateTypeIdSlot(TID.second.first);
1126void SlotTracker::processGlobalObjectMetadata(
const GlobalObject &GO) {
1129 for (
auto &MD : MDs)
1130 CreateMetadataSlot(MD.second);
1133void SlotTracker::processFunctionMetadata(
const Function &
F) {
1134 processGlobalObjectMetadata(
F);
1135 for (
auto &BB :
F) {
1136 for (
auto &
I : BB) {
1137 for (
const DbgRecord &DR :
I.getDbgRecordRange())
1138 processDbgRecordMetadata(DR);
1139 processInstructionMetadata(
I);
1144void SlotTracker::processDbgRecordMetadata(
const DbgRecord &DR) {
1150 if (
auto *
Empty = dyn_cast<MDNode>(DVR->getRawLocation()))
1151 CreateMetadataSlot(
Empty);
1152 CreateMetadataSlot(DVR->getRawVariable());
1153 if (DVR->isDbgAssign()) {
1154 CreateMetadataSlot(cast<MDNode>(DVR->getRawAssignID()));
1155 if (
auto *
Empty = dyn_cast<MDNode>(DVR->getRawAddress()))
1156 CreateMetadataSlot(
Empty);
1158 }
else if (
const DbgLabelRecord *DLR = dyn_cast<const DbgLabelRecord>(&DR)) {
1159 CreateMetadataSlot(DLR->getRawLabel());
1166void SlotTracker::processInstructionMetadata(
const Instruction &
I) {
1168 if (
const CallInst *CI = dyn_cast<CallInst>(&
I))
1169 if (
Function *
F = CI->getCalledFunction())
1170 if (
F->isIntrinsic())
1171 for (
auto &
Op :
I.operands())
1172 if (
auto *V = dyn_cast_or_null<MetadataAsValue>(
Op))
1173 if (
MDNode *
N = dyn_cast<MDNode>(
V->getMetadata()))
1174 CreateMetadataSlot(
N);
1178 I.getAllMetadata(MDs);
1179 for (
auto &MD : MDs)
1180 CreateMetadataSlot(MD.second);
1187 ST_DEBUG(
"begin purgeFunction!\n");
1189 TheFunction =
nullptr;
1190 FunctionProcessed =
false;
1201 return MI == mMap.
end() ? -1 : (int)
MI->second;
1207 ProcessModuleHookFn = Fn;
1213 ProcessFunctionHookFn = Fn;
1226 return MI == mdnMap.
end() ? -1 : (int)
MI->second;
1231 assert(!isa<Constant>(V) &&
"Can't get a constant or global slot with this!");
1237 return FI == fMap.
end() ? -1 : (int)FI->second;
1246 return AI == asMap.
end() ? -1 : (int)AI->second;
1254 auto I = ModulePathMap.
find(Path);
1255 return I == ModulePathMap.
end() ? -1 : (int)
I->second;
1264 return I == GUIDMap.
end() ? -1 : (int)
I->second;
1272 auto I = TypeIdMap.
find(Id);
1273 return I == TypeIdMap.
end() ? -1 : (int)
I->second;
1281 auto I = TypeIdCompatibleVtableMap.
find(Id);
1282 return I == TypeIdCompatibleVtableMap.
end() ? -1 : (int)
I->second;
1286void SlotTracker::CreateModuleSlot(
const GlobalValue *V) {
1287 assert(V &&
"Can't insert a null Value into SlotTracker!");
1288 assert(!V->getType()->isVoidTy() &&
"Doesn't need a slot!");
1289 assert(!V->hasName() &&
"Doesn't need a slot!");
1291 unsigned DestSlot = mNext++;
1294 ST_DEBUG(
" Inserting value [" << V->getType() <<
"] = " << V <<
" slot=" <<
1297 ST_DEBUG((isa<GlobalVariable>(V) ?
'G' :
1298 (isa<Function>(V) ?
'F' :
1299 (isa<GlobalAlias>(V) ?
'A' :
1300 (isa<GlobalIFunc>(V) ?
'I' :
'o')))) <<
"]\n");
1304void SlotTracker::CreateFunctionSlot(
const Value *V) {
1305 assert(!V->getType()->isVoidTy() && !V->hasName() &&
"Doesn't need a slot!");
1307 unsigned DestSlot = fNext++;
1311 ST_DEBUG(
" Inserting value [" << V->getType() <<
"] = " << V <<
" slot=" <<
1312 DestSlot <<
" [o]\n");
1316void SlotTracker::CreateMetadataSlot(
const MDNode *
N) {
1317 assert(
N &&
"Can't insert a null Value into SlotTracker!");
1320 if (isa<DIExpression>(
N))
1323 unsigned DestSlot = mdnNext;
1324 if (!mdnMap.
insert(std::make_pair(
N, DestSlot)).second)
1329 for (
unsigned i = 0, e =
N->getNumOperands(); i != e; ++i)
1330 if (
const MDNode *
Op = dyn_cast_or_null<MDNode>(
N->getOperand(i)))
1331 CreateMetadataSlot(
Op);
1334void SlotTracker::CreateAttributeSetSlot(
AttributeSet AS) {
1338 if (
I != asMap.
end())
1341 unsigned DestSlot = asNext++;
1342 asMap[AS] = DestSlot;
1346void SlotTracker::CreateModulePathSlot(
StringRef Path) {
1347 ModulePathMap[
Path] = ModulePathNext++;
1352 GUIDMap[
GUID] = GUIDNext++;
1356void SlotTracker::CreateTypeIdSlot(
StringRef Id) {
1357 TypeIdMap[
Id] = TypeIdNext++;
1361void SlotTracker::CreateTypeIdCompatibleVtableSlot(
StringRef Id) {
1362 TypeIdCompatibleVtableMap[
Id] = TypeIdCompatibleVtableNext++;
1367struct AsmWriterContext {
1368 TypePrinting *TypePrinter =
nullptr;
1375 static AsmWriterContext &getEmpty() {
1376 static AsmWriterContext EmptyCtx(
nullptr,
nullptr);
1382 virtual void onWriteMetadataAsOperand(
const Metadata *) {}
1384 virtual ~AsmWriterContext() =
default;
1393 AsmWriterContext &WriterCtx);
1396 AsmWriterContext &WriterCtx,
1397 bool FromValue =
false);
1400 if (
const FPMathOperator *FPO = dyn_cast<const FPMathOperator>(U))
1401 Out << FPO->getFastMathFlags();
1404 dyn_cast<OverflowingBinaryOperator>(U)) {
1405 if (OBO->hasNoUnsignedWrap())
1407 if (OBO->hasNoSignedWrap())
1410 dyn_cast<PossiblyExactOperator>(U)) {
1414 dyn_cast<PossiblyDisjointInst>(U)) {
1415 if (PDI->isDisjoint())
1418 if (
GEP->isInBounds())
1421 Out <<
" inrange(" <<
InRange->getLower() <<
", " <<
InRange->getUpper()
1424 }
else if (
const auto *NNI = dyn_cast<PossiblyNonNegInst>(U)) {
1425 if (NNI->hasNonNeg())
1427 }
else if (
const auto *TI = dyn_cast<TruncInst>(U)) {
1428 if (TI->hasNoUnsignedWrap())
1430 if (TI->hasNoSignedWrap())
1446 bool isNaN = APF.
isNaN();
1448 if (!isInf && !isNaN) {
1457 ((StrVal[0] ==
'-' || StrVal[0] ==
'+') &&
isDigit(StrVal[1]))) &&
1458 "[-+]?[0-9] regex does not match!");
1470 static_assert(
sizeof(double) ==
sizeof(
uint64_t),
1471 "assuming that double is 64 bits!");
1529 AsmWriterContext &WriterCtx) {
1530 if (
const ConstantInt *CI = dyn_cast<ConstantInt>(CV)) {
1531 Type *Ty = CI->getType();
1540 Out << (CI->getZExtValue() ?
"true" :
"false");
1542 Out << CI->getValue();
1550 if (
const ConstantFP *CFP = dyn_cast<ConstantFP>(CV)) {
1551 Type *Ty = CFP->getType();
1567 if (isa<ConstantAggregateZero>(CV) || isa<ConstantTargetNone>(CV)) {
1568 Out <<
"zeroinitializer";
1572 if (
const BlockAddress *BA = dyn_cast<BlockAddress>(CV)) {
1573 Out <<
"blockaddress(";
1581 if (
const auto *Equiv = dyn_cast<DSOLocalEquivalent>(CV)) {
1582 Out <<
"dso_local_equivalent ";
1587 if (
const auto *
NC = dyn_cast<NoCFIValue>(CV)) {
1593 if (
const ConstantArray *CA = dyn_cast<ConstantArray>(CV)) {
1594 Type *ETy = CA->getType()->getElementType();
1596 WriterCtx.TypePrinter->print(ETy, Out);
1599 for (
unsigned i = 1, e = CA->getNumOperands(); i != e; ++i) {
1601 WriterCtx.TypePrinter->print(ETy, Out);
1612 if (CA->isString()) {
1614 printEscapedString(CA->getAsString(), Out);
1619 Type *ETy = CA->getType()->getElementType();
1621 WriterCtx.TypePrinter->print(ETy, Out);
1624 for (
unsigned i = 1, e = CA->getNumElements(); i != e; ++i) {
1626 WriterCtx.TypePrinter->print(ETy, Out);
1635 if (CS->getType()->isPacked())
1638 unsigned N = CS->getNumOperands();
1641 WriterCtx.TypePrinter->print(CS->getOperand(0)->getType(), Out);
1646 for (
unsigned i = 1; i <
N; i++) {
1648 WriterCtx.TypePrinter->print(CS->getOperand(i)->getType(), Out);
1657 if (CS->getType()->isPacked())
1662 if (isa<ConstantVector>(CV) || isa<ConstantDataVector>(CV)) {
1663 auto *CVVTy = cast<FixedVectorType>(CV->
getType());
1664 Type *ETy = CVVTy->getElementType();
1666 WriterCtx.TypePrinter->print(ETy, Out);
1669 for (
unsigned i = 1, e = CVVTy->getNumElements(); i != e; ++i) {
1671 WriterCtx.TypePrinter->print(ETy, Out);
1679 if (isa<ConstantPointerNull>(CV)) {
1684 if (isa<ConstantTokenNone>(CV)) {
1689 if (isa<PoisonValue>(CV)) {
1694 if (isa<UndefValue>(CV)) {
1699 if (
const ConstantExpr *CE = dyn_cast<ConstantExpr>(CV)) {
1700 Out << CE->getOpcodeName();
1702 if (CE->isCompare())
1703 Out << ' ' << static_cast<CmpInst::Predicate>(CE->getPredicate());
1707 WriterCtx.TypePrinter->print(
GEP->getSourceElementType(), Out);
1713 WriterCtx.TypePrinter->print((*OI)->getType(), Out);
1716 if (OI+1 != CE->op_end())
1722 WriterCtx.TypePrinter->print(CE->getType(), Out);
1725 if (CE->getOpcode() == Instruction::ShuffleVector)
1732 Out <<
"<placeholder or erroneous Constant>";
1736 AsmWriterContext &WriterCtx) {
1738 for (
unsigned mi = 0, me =
Node->getNumOperands(); mi != me; ++mi) {
1742 else if (
auto *MDV = dyn_cast<ValueAsMetadata>(MD)) {
1743 Value *V = MDV->getValue();
1744 WriterCtx.TypePrinter->print(V->getType(), Out);
1749 WriterCtx.onWriteMetadataAsOperand(MD);
1760struct FieldSeparator {
1764 FieldSeparator(
const char *Sep =
", ") : Sep(Sep) {}
1772 return OS <<
FS.Sep;
1775struct MDFieldPrinter {
1778 AsmWriterContext &WriterCtx;
1781 : Out(Out), WriterCtx(AsmWriterContext::getEmpty()) {}
1782 MDFieldPrinter(
raw_ostream &Out, AsmWriterContext &Ctx)
1783 : Out(Out), WriterCtx(Ctx) {}
1785 void printTag(
const DINode *
N);
1789 bool ShouldSkipEmpty =
true);
1791 bool ShouldSkipNull =
true);
1792 template <
class IntTy>
1795 bool ShouldSkipZero);
1797 std::optional<bool>
Default = std::nullopt);
1800 template <
class IntTy,
class Stringifier>
1802 bool ShouldSkipZero =
true);
1810void MDFieldPrinter::printTag(
const DINode *
N) {
1811 Out <<
FS <<
"tag: ";
1819void MDFieldPrinter::printMacinfoType(
const DIMacroNode *
N) {
1820 Out <<
FS <<
"type: ";
1825 Out <<
N->getMacinfoType();
1828void MDFieldPrinter::printChecksum(
1831 printString(
"checksum", Checksum.
Value,
false);
1835 bool ShouldSkipEmpty) {
1836 if (ShouldSkipEmpty &&
Value.empty())
1839 Out <<
FS <<
Name <<
": \"";
1840 printEscapedString(
Value, Out);
1845 AsmWriterContext &WriterCtx) {
1851 WriterCtx.onWriteMetadataAsOperand(MD);
1855 bool ShouldSkipNull) {
1856 if (ShouldSkipNull && !MD)
1859 Out <<
FS <<
Name <<
": ";
1863template <
class IntTy>
1864void MDFieldPrinter::printInt(
StringRef Name, IntTy
Int,
bool ShouldSkipZero) {
1865 if (ShouldSkipZero && !
Int)
1872 bool IsUnsigned,
bool ShouldSkipZero) {
1873 if (ShouldSkipZero &&
Int.isZero())
1876 Out <<
FS <<
Name <<
": ";
1877 Int.print(Out, !IsUnsigned);
1881 std::optional<bool>
Default) {
1884 Out <<
FS <<
Name <<
": " << (
Value ?
"true" :
"false");
1891 Out <<
FS <<
Name <<
": ";
1896 FieldSeparator FlagsFS(
" | ");
1897 for (
auto F : SplitFlags) {
1899 assert(!StringF.empty() &&
"Expected valid flag");
1900 Out << FlagsFS << StringF;
1902 if (Extra || SplitFlags.empty())
1903 Out << FlagsFS << Extra;
1910 Out <<
FS <<
Name <<
": ";
1920 FieldSeparator FlagsFS(
" | ");
1921 for (
auto F : SplitFlags) {
1923 assert(!StringF.empty() &&
"Expected valid flag");
1924 Out << FlagsFS << StringF;
1926 if (Extra || SplitFlags.empty())
1927 Out << FlagsFS << Extra;
1942template <
class IntTy,
class Stringifier>
1944 Stringifier
toString,
bool ShouldSkipZero) {
1948 Out <<
FS <<
Name <<
": ";
1957 AsmWriterContext &WriterCtx) {
1958 Out <<
"!GenericDINode(";
1959 MDFieldPrinter
Printer(Out, WriterCtx);
1961 Printer.printString(
"header",
N->getHeader());
1962 if (
N->getNumDwarfOperands()) {
1963 Out <<
Printer.FS <<
"operands: {";
1965 for (
auto &
I :
N->dwarf_operands()) {
1975 AsmWriterContext &WriterCtx) {
1976 Out <<
"!DILocation(";
1977 MDFieldPrinter
Printer(Out, WriterCtx);
1979 Printer.printInt(
"line",
DL->getLine(),
false);
1980 Printer.printInt(
"column",
DL->getColumn());
1981 Printer.printMetadata(
"scope",
DL->getRawScope(),
false);
1982 Printer.printMetadata(
"inlinedAt",
DL->getRawInlinedAt());
1983 Printer.printBool(
"isImplicitCode",
DL->isImplicitCode(),
1989 AsmWriterContext &WriterCtx) {
1990 Out <<
"!DIAssignID()";
1991 MDFieldPrinter
Printer(Out, WriterCtx);
1995 AsmWriterContext &WriterCtx) {
1996 Out <<
"!DISubrange(";
1997 MDFieldPrinter
Printer(Out, WriterCtx);
1999 auto *Count =
N->getRawCountNode();
2000 if (
auto *CE = dyn_cast_or_null<ConstantAsMetadata>(Count)) {
2001 auto *CV = cast<ConstantInt>(CE->getValue());
2002 Printer.printInt(
"count", CV->getSExtValue(),
2005 Printer.printMetadata(
"count", Count,
true);
2009 auto *LBound =
N->getRawLowerBound();
2010 if (
auto *LE = dyn_cast_or_null<ConstantAsMetadata>(LBound)) {
2011 auto *LV = cast<ConstantInt>(LE->getValue());
2012 Printer.printInt(
"lowerBound", LV->getSExtValue(),
2015 Printer.printMetadata(
"lowerBound", LBound,
true);
2017 auto *UBound =
N->getRawUpperBound();
2018 if (
auto *UE = dyn_cast_or_null<ConstantAsMetadata>(UBound)) {
2019 auto *UV = cast<ConstantInt>(UE->getValue());
2020 Printer.printInt(
"upperBound", UV->getSExtValue(),
2023 Printer.printMetadata(
"upperBound", UBound,
true);
2025 auto *Stride =
N->getRawStride();
2026 if (
auto *SE = dyn_cast_or_null<ConstantAsMetadata>(Stride)) {
2027 auto *SV = cast<ConstantInt>(SE->getValue());
2028 Printer.printInt(
"stride", SV->getSExtValue(),
false);
2030 Printer.printMetadata(
"stride", Stride,
true);
2036 AsmWriterContext &WriterCtx) {
2037 Out <<
"!DIGenericSubrange(";
2038 MDFieldPrinter
Printer(Out, WriterCtx);
2040 auto IsConstant = [&](
Metadata *Bound) ->
bool {
2041 if (
auto *BE = dyn_cast_or_null<DIExpression>(Bound)) {
2042 return BE->isConstant() &&
2049 auto GetConstant = [&](
Metadata *Bound) -> int64_t {
2050 assert(IsConstant(Bound) &&
"Expected constant");
2051 auto *BE = dyn_cast_or_null<DIExpression>(Bound);
2052 return static_cast<int64_t
>(BE->getElement(1));
2055 auto *Count =
N->getRawCountNode();
2056 if (IsConstant(Count))
2057 Printer.printInt(
"count", GetConstant(Count),
2060 Printer.printMetadata(
"count", Count,
true);
2062 auto *LBound =
N->getRawLowerBound();
2063 if (IsConstant(LBound))
2064 Printer.printInt(
"lowerBound", GetConstant(LBound),
2067 Printer.printMetadata(
"lowerBound", LBound,
true);
2069 auto *UBound =
N->getRawUpperBound();
2070 if (IsConstant(UBound))
2071 Printer.printInt(
"upperBound", GetConstant(UBound),
2074 Printer.printMetadata(
"upperBound", UBound,
true);
2076 auto *Stride =
N->getRawStride();
2077 if (IsConstant(Stride))
2078 Printer.printInt(
"stride", GetConstant(Stride),
2081 Printer.printMetadata(
"stride", Stride,
true);
2087 AsmWriterContext &) {
2088 Out <<
"!DIEnumerator(";
2090 Printer.printString(
"name",
N->getName(),
false);
2091 Printer.printAPInt(
"value",
N->getValue(),
N->isUnsigned(),
2093 if (
N->isUnsigned())
2094 Printer.printBool(
"isUnsigned",
true);
2099 AsmWriterContext &) {
2100 Out <<
"!DIBasicType(";
2102 if (
N->getTag() != dwarf::DW_TAG_base_type)
2104 Printer.printString(
"name",
N->getName());
2105 Printer.printInt(
"size",
N->getSizeInBits());
2106 Printer.printInt(
"align",
N->getAlignInBits());
2107 Printer.printDwarfEnum(
"encoding",
N->getEncoding(),
2109 Printer.printDIFlags(
"flags",
N->getFlags());
2114 AsmWriterContext &WriterCtx) {
2115 Out <<
"!DIStringType(";
2116 MDFieldPrinter
Printer(Out, WriterCtx);
2117 if (
N->getTag() != dwarf::DW_TAG_string_type)
2119 Printer.printString(
"name",
N->getName());
2120 Printer.printMetadata(
"stringLength",
N->getRawStringLength());
2121 Printer.printMetadata(
"stringLengthExpression",
N->getRawStringLengthExp());
2122 Printer.printMetadata(
"stringLocationExpression",
2123 N->getRawStringLocationExp());
2124 Printer.printInt(
"size",
N->getSizeInBits());
2125 Printer.printInt(
"align",
N->getAlignInBits());
2126 Printer.printDwarfEnum(
"encoding",
N->getEncoding(),
2132 AsmWriterContext &WriterCtx) {
2133 Out <<
"!DIDerivedType(";
2134 MDFieldPrinter
Printer(Out, WriterCtx);
2136 Printer.printString(
"name",
N->getName());
2137 Printer.printMetadata(
"scope",
N->getRawScope());
2138 Printer.printMetadata(
"file",
N->getRawFile());
2139 Printer.printInt(
"line",
N->getLine());
2140 Printer.printMetadata(
"baseType",
N->getRawBaseType(),
2142 Printer.printInt(
"size",
N->getSizeInBits());
2143 Printer.printInt(
"align",
N->getAlignInBits());
2144 Printer.printInt(
"offset",
N->getOffsetInBits());
2145 Printer.printDIFlags(
"flags",
N->getFlags());
2146 Printer.printMetadata(
"extraData",
N->getRawExtraData());
2147 if (
const auto &DWARFAddressSpace =
N->getDWARFAddressSpace())
2148 Printer.printInt(
"dwarfAddressSpace", *DWARFAddressSpace,
2150 Printer.printMetadata(
"annotations",
N->getRawAnnotations());
2151 if (
auto PtrAuthData =
N->getPtrAuthData()) {
2152 Printer.printInt(
"ptrAuthKey", PtrAuthData->key());
2153 Printer.printBool(
"ptrAuthIsAddressDiscriminated",
2154 PtrAuthData->isAddressDiscriminated());
2155 Printer.printInt(
"ptrAuthExtraDiscriminator",
2156 PtrAuthData->extraDiscriminator());
2157 Printer.printBool(
"ptrAuthIsaPointer", PtrAuthData->isaPointer());
2158 Printer.printBool(
"ptrAuthAuthenticatesNullValues",
2159 PtrAuthData->authenticatesNullValues());
2165 AsmWriterContext &WriterCtx) {
2166 Out <<
"!DICompositeType(";
2167 MDFieldPrinter
Printer(Out, WriterCtx);
2169 Printer.printString(
"name",
N->getName());
2170 Printer.printMetadata(
"scope",
N->getRawScope());
2171 Printer.printMetadata(
"file",
N->getRawFile());
2172 Printer.printInt(
"line",
N->getLine());
2173 Printer.printMetadata(
"baseType",
N->getRawBaseType());
2174 Printer.printInt(
"size",
N->getSizeInBits());
2175 Printer.printInt(
"align",
N->getAlignInBits());
2176 Printer.printInt(
"offset",
N->getOffsetInBits());
2177 Printer.printDIFlags(
"flags",
N->getFlags());
2178 Printer.printMetadata(
"elements",
N->getRawElements());
2179 Printer.printDwarfEnum(
"runtimeLang",
N->getRuntimeLang(),
2181 Printer.printMetadata(
"vtableHolder",
N->getRawVTableHolder());
2182 Printer.printMetadata(
"templateParams",
N->getRawTemplateParams());
2183 Printer.printString(
"identifier",
N->getIdentifier());
2184 Printer.printMetadata(
"discriminator",
N->getRawDiscriminator());
2185 Printer.printMetadata(
"dataLocation",
N->getRawDataLocation());
2186 Printer.printMetadata(
"associated",
N->getRawAssociated());
2187 Printer.printMetadata(
"allocated",
N->getRawAllocated());
2188 if (
auto *RankConst =
N->getRankConst())
2189 Printer.printInt(
"rank", RankConst->getSExtValue(),
2192 Printer.printMetadata(
"rank",
N->getRawRank(),
true);
2193 Printer.printMetadata(
"annotations",
N->getRawAnnotations());
2198 AsmWriterContext &WriterCtx) {
2199 Out <<
"!DISubroutineType(";
2200 MDFieldPrinter
Printer(Out, WriterCtx);
2201 Printer.printDIFlags(
"flags",
N->getFlags());
2203 Printer.printMetadata(
"types",
N->getRawTypeArray(),
2211 Printer.printString(
"filename",
N->getFilename(),
2213 Printer.printString(
"directory",
N->getDirectory(),
2216 if (
N->getChecksum())
2217 Printer.printChecksum(*
N->getChecksum());
2224 AsmWriterContext &WriterCtx) {
2225 Out <<
"!DICompileUnit(";
2226 MDFieldPrinter
Printer(Out, WriterCtx);
2227 Printer.printDwarfEnum(
"language",
N->getSourceLanguage(),
2229 Printer.printMetadata(
"file",
N->getRawFile(),
false);
2230 Printer.printString(
"producer",
N->getProducer());
2231 Printer.printBool(
"isOptimized",
N->isOptimized());
2232 Printer.printString(
"flags",
N->getFlags());
2233 Printer.printInt(
"runtimeVersion",
N->getRuntimeVersion(),
2235 Printer.printString(
"splitDebugFilename",
N->getSplitDebugFilename());
2236 Printer.printEmissionKind(
"emissionKind",
N->getEmissionKind());
2237 Printer.printMetadata(
"enums",
N->getRawEnumTypes());
2238 Printer.printMetadata(
"retainedTypes",
N->getRawRetainedTypes());
2239 Printer.printMetadata(
"globals",
N->getRawGlobalVariables());
2240 Printer.printMetadata(
"imports",
N->getRawImportedEntities());
2241 Printer.printMetadata(
"macros",
N->getRawMacros());
2242 Printer.printInt(
"dwoId",
N->getDWOId());
2243 Printer.printBool(
"splitDebugInlining",
N->getSplitDebugInlining(),
true);
2244 Printer.printBool(
"debugInfoForProfiling",
N->getDebugInfoForProfiling(),
2246 Printer.printNameTableKind(
"nameTableKind",
N->getNameTableKind());
2247 Printer.printBool(
"rangesBaseAddress",
N->getRangesBaseAddress(),
false);
2248 Printer.printString(
"sysroot",
N->getSysRoot());
2249 Printer.printString(
"sdk",
N->getSDK());
2254 AsmWriterContext &WriterCtx) {
2255 Out <<
"!DISubprogram(";
2256 MDFieldPrinter
Printer(Out, WriterCtx);
2257 Printer.printString(
"name",
N->getName());
2258 Printer.printString(
"linkageName",
N->getLinkageName());
2259 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2260 Printer.printMetadata(
"file",
N->getRawFile());
2261 Printer.printInt(
"line",
N->getLine());
2262 Printer.printMetadata(
"type",
N->getRawType());
2263 Printer.printInt(
"scopeLine",
N->getScopeLine());
2264 Printer.printMetadata(
"containingType",
N->getRawContainingType());
2265 if (
N->getVirtuality() != dwarf::DW_VIRTUALITY_none ||
2266 N->getVirtualIndex() != 0)
2267 Printer.printInt(
"virtualIndex",
N->getVirtualIndex(),
false);
2268 Printer.printInt(
"thisAdjustment",
N->getThisAdjustment());
2269 Printer.printDIFlags(
"flags",
N->getFlags());
2270 Printer.printDISPFlags(
"spFlags",
N->getSPFlags());
2271 Printer.printMetadata(
"unit",
N->getRawUnit());
2272 Printer.printMetadata(
"templateParams",
N->getRawTemplateParams());
2273 Printer.printMetadata(
"declaration",
N->getRawDeclaration());
2274 Printer.printMetadata(
"retainedNodes",
N->getRawRetainedNodes());
2275 Printer.printMetadata(
"thrownTypes",
N->getRawThrownTypes());
2276 Printer.printMetadata(
"annotations",
N->getRawAnnotations());
2277 Printer.printString(
"targetFuncName",
N->getTargetFuncName());
2282 AsmWriterContext &WriterCtx) {
2283 Out <<
"!DILexicalBlock(";
2284 MDFieldPrinter
Printer(Out, WriterCtx);
2285 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2286 Printer.printMetadata(
"file",
N->getRawFile());
2287 Printer.printInt(
"line",
N->getLine());
2288 Printer.printInt(
"column",
N->getColumn());
2294 AsmWriterContext &WriterCtx) {
2295 Out <<
"!DILexicalBlockFile(";
2296 MDFieldPrinter
Printer(Out, WriterCtx);
2297 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2298 Printer.printMetadata(
"file",
N->getRawFile());
2299 Printer.printInt(
"discriminator",
N->getDiscriminator(),
2305 AsmWriterContext &WriterCtx) {
2306 Out <<
"!DINamespace(";
2307 MDFieldPrinter
Printer(Out, WriterCtx);
2308 Printer.printString(
"name",
N->getName());
2309 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2310 Printer.printBool(
"exportSymbols",
N->getExportSymbols(),
false);
2315 AsmWriterContext &WriterCtx) {
2316 Out <<
"!DICommonBlock(";
2317 MDFieldPrinter
Printer(Out, WriterCtx);
2318 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2319 Printer.printMetadata(
"declaration",
N->getRawDecl(),
false);
2320 Printer.printString(
"name",
N->getName());
2321 Printer.printMetadata(
"file",
N->getRawFile());
2322 Printer.printInt(
"line",
N->getLineNo());
2327 AsmWriterContext &WriterCtx) {
2329 MDFieldPrinter
Printer(Out, WriterCtx);
2331 Printer.printInt(
"line",
N->getLine());
2332 Printer.printString(
"name",
N->getName());
2333 Printer.printString(
"value",
N->getValue());
2338 AsmWriterContext &WriterCtx) {
2339 Out <<
"!DIMacroFile(";
2340 MDFieldPrinter
Printer(Out, WriterCtx);
2341 Printer.printInt(
"line",
N->getLine());
2342 Printer.printMetadata(
"file",
N->getRawFile(),
false);
2343 Printer.printMetadata(
"nodes",
N->getRawElements());
2348 AsmWriterContext &WriterCtx) {
2349 Out <<
"!DIModule(";
2350 MDFieldPrinter
Printer(Out, WriterCtx);
2351 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2352 Printer.printString(
"name",
N->getName());
2353 Printer.printString(
"configMacros",
N->getConfigurationMacros());
2354 Printer.printString(
"includePath",
N->getIncludePath());
2355 Printer.printString(
"apinotes",
N->getAPINotesFile());
2356 Printer.printMetadata(
"file",
N->getRawFile());
2357 Printer.printInt(
"line",
N->getLineNo());
2358 Printer.printBool(
"isDecl",
N->getIsDecl(),
false);
2364 AsmWriterContext &WriterCtx) {
2365 Out <<
"!DITemplateTypeParameter(";
2366 MDFieldPrinter
Printer(Out, WriterCtx);
2367 Printer.printString(
"name",
N->getName());
2368 Printer.printMetadata(
"type",
N->getRawType(),
false);
2369 Printer.printBool(
"defaulted",
N->isDefault(),
false);
2375 AsmWriterContext &WriterCtx) {
2376 Out <<
"!DITemplateValueParameter(";
2377 MDFieldPrinter
Printer(Out, WriterCtx);
2378 if (
N->getTag() != dwarf::DW_TAG_template_value_parameter)
2380 Printer.printString(
"name",
N->getName());
2381 Printer.printMetadata(
"type",
N->getRawType());
2382 Printer.printBool(
"defaulted",
N->isDefault(),
false);
2383 Printer.printMetadata(
"value",
N->getValue(),
false);
2388 AsmWriterContext &WriterCtx) {
2389 Out <<
"!DIGlobalVariable(";
2390 MDFieldPrinter
Printer(Out, WriterCtx);
2391 Printer.printString(
"name",
N->getName());
2392 Printer.printString(
"linkageName",
N->getLinkageName());
2393 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2394 Printer.printMetadata(
"file",
N->getRawFile());
2395 Printer.printInt(
"line",
N->getLine());
2396 Printer.printMetadata(
"type",
N->getRawType());
2397 Printer.printBool(
"isLocal",
N->isLocalToUnit());
2398 Printer.printBool(
"isDefinition",
N->isDefinition());
2399 Printer.printMetadata(
"declaration",
N->getRawStaticDataMemberDeclaration());
2400 Printer.printMetadata(
"templateParams",
N->getRawTemplateParams());
2401 Printer.printInt(
"align",
N->getAlignInBits());
2402 Printer.printMetadata(
"annotations",
N->getRawAnnotations());
2407 AsmWriterContext &WriterCtx) {
2408 Out <<
"!DILocalVariable(";
2409 MDFieldPrinter
Printer(Out, WriterCtx);
2410 Printer.printString(
"name",
N->getName());
2411 Printer.printInt(
"arg",
N->getArg());
2412 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2413 Printer.printMetadata(
"file",
N->getRawFile());
2414 Printer.printInt(
"line",
N->getLine());
2415 Printer.printMetadata(
"type",
N->getRawType());
2416 Printer.printDIFlags(
"flags",
N->getFlags());
2417 Printer.printInt(
"align",
N->getAlignInBits());
2418 Printer.printMetadata(
"annotations",
N->getRawAnnotations());
2423 AsmWriterContext &WriterCtx) {
2425 MDFieldPrinter
Printer(Out, WriterCtx);
2426 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2427 Printer.printString(
"name",
N->getName());
2428 Printer.printMetadata(
"file",
N->getRawFile());
2429 Printer.printInt(
"line",
N->getLine());
2434 AsmWriterContext &WriterCtx) {
2435 Out <<
"!DIExpression(";
2440 assert(!OpStr.empty() &&
"Expected valid opcode");
2444 Out << FS <<
Op.getArg(0);
2447 for (
unsigned A = 0, AE =
Op.getNumArgs();
A != AE; ++
A)
2448 Out << FS <<
Op.getArg(
A);
2452 for (
const auto &
I :
N->getElements())
2459 AsmWriterContext &WriterCtx,
2460 bool FromValue =
false) {
2462 "Unexpected DIArgList metadata outside of value argument");
2463 Out <<
"!DIArgList(";
2465 MDFieldPrinter
Printer(Out, WriterCtx);
2475 AsmWriterContext &WriterCtx) {
2476 Out <<
"!DIGlobalVariableExpression(";
2477 MDFieldPrinter
Printer(Out, WriterCtx);
2478 Printer.printMetadata(
"var",
N->getVariable());
2479 Printer.printMetadata(
"expr",
N->getExpression());
2484 AsmWriterContext &WriterCtx) {
2485 Out <<
"!DIObjCProperty(";
2486 MDFieldPrinter
Printer(Out, WriterCtx);
2487 Printer.printString(
"name",
N->getName());
2488 Printer.printMetadata(
"file",
N->getRawFile());
2489 Printer.printInt(
"line",
N->getLine());
2490 Printer.printString(
"setter",
N->getSetterName());
2491 Printer.printString(
"getter",
N->getGetterName());
2492 Printer.printInt(
"attributes",
N->getAttributes());
2493 Printer.printMetadata(
"type",
N->getRawType());
2498 AsmWriterContext &WriterCtx) {
2499 Out <<
"!DIImportedEntity(";
2500 MDFieldPrinter
Printer(Out, WriterCtx);
2502 Printer.printString(
"name",
N->getName());
2503 Printer.printMetadata(
"scope",
N->getRawScope(),
false);
2504 Printer.printMetadata(
"entity",
N->getRawEntity());
2505 Printer.printMetadata(
"file",
N->getRawFile());
2506 Printer.printInt(
"line",
N->getLine());
2507 Printer.printMetadata(
"elements",
N->getRawElements());
2512 AsmWriterContext &Ctx) {
2513 if (
Node->isDistinct())
2515 else if (
Node->isTemporary())
2516 Out <<
"<temporary!> ";
2518 switch (
Node->getMetadataID()) {
2521#define HANDLE_MDNODE_LEAF(CLASS) \
2522 case Metadata::CLASS##Kind: \
2523 write##CLASS(Out, cast<CLASS>(Node), Ctx); \
2525#include "llvm/IR/Metadata.def"
2532 AsmWriterContext &WriterCtx) {
2538 const Constant *CV = dyn_cast<Constant>(V);
2539 if (CV && !isa<GlobalValue>(CV)) {
2540 assert(WriterCtx.TypePrinter &&
"Constants require TypePrinting!");
2545 if (
const InlineAsm *IA = dyn_cast<InlineAsm>(V)) {
2547 if (IA->hasSideEffects())
2548 Out <<
"sideeffect ";
2549 if (IA->isAlignStack())
2550 Out <<
"alignstack ";
2553 Out <<
"inteldialect ";
2557 printEscapedString(IA->getAsmString(), Out);
2559 printEscapedString(IA->getConstraintString(), Out);
2564 if (
auto *MD = dyn_cast<MetadataAsValue>(V)) {
2572 auto *
Machine = WriterCtx.Machine;
2575 if (
const GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
2576 Slot =
Machine->getGlobalSlot(GV);
2579 Slot =
Machine->getLocalSlot(V);
2586 Slot =
Machine->getLocalSlot(V);
2592 if (
const GlobalValue *GV = dyn_cast<GlobalValue>(V)) {
2593 Slot =
Machine->getGlobalSlot(GV);
2596 Slot =
Machine->getLocalSlot(V);
2605 Out << Prefix << Slot;
2611 AsmWriterContext &WriterCtx,
2615 if (
const DIExpression *Expr = dyn_cast<DIExpression>(MD)) {
2619 if (
const DIArgList *ArgList = dyn_cast<DIArgList>(MD)) {
2624 if (
const MDNode *
N = dyn_cast<MDNode>(MD)) {
2625 std::unique_ptr<SlotTracker> MachineStorage;
2627 if (!WriterCtx.Machine) {
2628 MachineStorage = std::make_unique<SlotTracker>(WriterCtx.Context);
2629 WriterCtx.Machine = MachineStorage.get();
2631 int Slot = WriterCtx.Machine->getMetadataSlot(
N);
2633 if (
const DILocation *Loc = dyn_cast<DILocation>(
N)) {
2639 Out <<
"<" <<
N <<
">";
2645 if (
const MDString *MDS = dyn_cast<MDString>(MD)) {
2647 printEscapedString(MDS->getString(), Out);
2652 auto *V = cast<ValueAsMetadata>(MD);
2653 assert(WriterCtx.TypePrinter &&
"TypePrinter required for metadata values");
2654 assert((FromValue || !isa<LocalAsMetadata>(V)) &&
2655 "Unexpected function-local metadata outside of value argument");
2657 WriterCtx.TypePrinter->print(V->getValue()->getType(), Out);
2664class AssemblyWriter {
2666 const Module *TheModule =
nullptr;
2668 std::unique_ptr<SlotTracker> SlotTrackerStorage;
2670 TypePrinting TypePrinter;
2674 bool ShouldPreserveUseListOrder;
2685 bool ShouldPreserveUseListOrder =
false);
2690 AsmWriterContext getContext() {
2691 return AsmWriterContext(&TypePrinter, &
Machine, TheModule);
2694 void printMDNodeBody(
const MDNode *MD);
2697 void printModule(
const Module *M);
2699 void writeOperand(
const Value *
Op,
bool PrintType);
2701 void writeOperandBundles(
const CallBase *Call);
2707 void writeAtomicCmpXchg(
const LLVMContext &Context,
2712 void writeAllMDNodes();
2713 void writeMDNode(
unsigned Slot,
const MDNode *
Node);
2714 void writeAttribute(
const Attribute &Attr,
bool InAttrGroup =
false);
2715 void writeAttributeSet(
const AttributeSet &AttrSet,
bool InAttrGroup =
false);
2716 void writeAllAttributeGroups();
2718 void printTypeIdentities();
2722 void printComdat(
const Comdat *
C);
2728 void printDbgMarker(
const DbgMarker &DPI);
2731 void printDbgRecord(
const DbgRecord &DR);
2732 void printDbgRecordLine(
const DbgRecord &DR);
2734 void printUseListOrder(
const Value *V,
const std::vector<unsigned> &Shuffle);
2737 void printModuleSummaryIndex();
2738 void printSummaryInfo(
unsigned Slot,
const ValueInfo &VI);
2746 void printArgs(
const std::vector<uint64_t> &Args);
2751 printNonConstVCalls(
const std::vector<FunctionSummary::VFuncId> &VCallList,
2754 printConstVCalls(
const std::vector<FunctionSummary::ConstVCall> &VCallList,
2759 void printMetadataAttachments(
2765 void printInfoComment(
const Value &V);
2776 bool IsForDebug,
bool ShouldPreserveUseListOrder)
2777 : Out(
o), TheModule(
M),
Machine(Mac), TypePrinter(
M), AnnotationWriter(AAW),
2778 IsForDebug(IsForDebug),
2779 ShouldPreserveUseListOrder(ShouldPreserveUseListOrder) {
2782 for (
const GlobalObject &GO : TheModule->global_objects())
2789 : Out(
o), TheIndex(
Index),
Machine(Mac), TypePrinter(nullptr),
2790 IsForDebug(IsForDebug), ShouldPreserveUseListOrder(
false) {}
2792void AssemblyWriter::writeOperand(
const Value *Operand,
bool PrintType) {
2794 Out <<
"<null operand!>";
2798 TypePrinter.print(Operand->
getType(), Out);
2801 auto WriterCtx = getContext();
2805void AssemblyWriter::writeSyncScope(
const LLVMContext &Context,
2815 Out <<
" syncscope(\"";
2816 printEscapedString(SSNs[SSID], Out);
2823void AssemblyWriter::writeAtomic(
const LLVMContext &Context,
2826 if (Ordering == AtomicOrdering::NotAtomic)
2829 writeSyncScope(Context, SSID);
2833void AssemblyWriter::writeAtomicCmpXchg(
const LLVMContext &Context,
2837 assert(SuccessOrdering != AtomicOrdering::NotAtomic &&
2838 FailureOrdering != AtomicOrdering::NotAtomic);
2840 writeSyncScope(Context, SSID);
2845void AssemblyWriter::writeParamOperand(
const Value *Operand,
2848 Out <<
"<null operand!>";
2853 TypePrinter.print(Operand->
getType(), Out);
2855 if (
Attrs.hasAttributes()) {
2857 writeAttributeSet(Attrs);
2861 auto WriterCtx = getContext();
2865void AssemblyWriter::writeOperandBundles(
const CallBase *Call) {
2866 if (!
Call->hasOperandBundles())
2871 bool FirstBundle =
true;
2872 for (
unsigned i = 0, e =
Call->getNumOperandBundles(); i != e; ++i) {
2877 FirstBundle =
false;
2885 bool FirstInput =
true;
2886 auto WriterCtx = getContext();
2887 for (
const auto &Input : BU.
Inputs) {
2892 if (Input ==
nullptr)
2893 Out <<
"<null operand bundle!>";
2895 TypePrinter.print(Input->getType(), Out);
2907void AssemblyWriter::printModule(
const Module *M) {
2910 if (ShouldPreserveUseListOrder)
2913 if (!
M->getModuleIdentifier().empty() &&
2916 M->getModuleIdentifier().find(
'\n') == std::string::npos)
2917 Out <<
"; ModuleID = '" <<
M->getModuleIdentifier() <<
"'\n";
2919 if (!
M->getSourceFileName().empty()) {
2920 Out <<
"source_filename = \"";
2921 printEscapedString(
M->getSourceFileName(), Out);
2925 const std::string &
DL =
M->getDataLayoutStr();
2927 Out <<
"target datalayout = \"" <<
DL <<
"\"\n";
2928 if (!
M->getTargetTriple().empty())
2929 Out <<
"target triple = \"" <<
M->getTargetTriple() <<
"\"\n";
2931 if (!
M->getModuleInlineAsm().empty()) {
2938 std::tie(Front, Asm) =
Asm.split(
'\n');
2942 Out <<
"module asm \"";
2943 printEscapedString(Front, Out);
2945 }
while (!
Asm.empty());
2948 printTypeIdentities();
2951 if (!Comdats.empty())
2953 for (
const Comdat *
C : Comdats) {
2955 if (
C != Comdats.back())
2960 if (!
M->global_empty()) Out <<
'\n';
2962 printGlobal(&GV); Out <<
'\n';
2966 if (!
M->alias_empty()) Out <<
"\n";
2971 if (!
M->ifunc_empty()) Out <<
"\n";
2982 printUseLists(
nullptr);
2987 writeAllAttributeGroups();
2991 if (!
M->named_metadata_empty()) Out <<
'\n';
2994 printNamedMDNode(&
Node);
3003void AssemblyWriter::printModuleSummaryIndex() {
3005 int NumSlots =
Machine.initializeIndexIfNeeded();
3011 std::vector<std::pair<std::string, ModuleHash>> moduleVec;
3012 std::string RegularLTOModuleName =
3014 moduleVec.resize(TheIndex->modulePaths().size());
3015 for (
auto &[ModPath, ModHash] : TheIndex->modulePaths())
3016 moduleVec[
Machine.getModulePathSlot(ModPath)] = std::make_pair(
3019 ModPath.empty() ? RegularLTOModuleName : std::string(ModPath), ModHash);
3022 for (
auto &ModPair : moduleVec) {
3023 Out <<
"^" << i++ <<
" = module: (";
3025 printEscapedString(ModPair.first, Out);
3026 Out <<
"\", hash: (";
3028 for (
auto Hash : ModPair.second)
3035 for (
auto &GlobalList : *TheIndex) {
3036 auto GUID = GlobalList.first;
3037 for (
auto &Summary : GlobalList.second.SummaryList)
3042 for (
auto &GlobalList : *TheIndex) {
3043 auto GUID = GlobalList.first;
3044 auto VI = TheIndex->getValueInfo(GlobalList);
3045 printSummaryInfo(
Machine.getGUIDSlot(GUID), VI);
3049 for (
const auto &TID : TheIndex->typeIds()) {
3050 Out <<
"^" <<
Machine.getTypeIdSlot(TID.second.first)
3051 <<
" = typeid: (name: \"" << TID.second.first <<
"\"";
3052 printTypeIdSummary(TID.second.second);
3053 Out <<
") ; guid = " << TID.first <<
"\n";
3057 for (
auto &TId : TheIndex->typeIdCompatibleVtableMap()) {
3059 Out <<
"^" <<
Machine.getTypeIdCompatibleVtableSlot(TId.first)
3060 <<
" = typeidCompatibleVTable: (name: \"" << TId.first <<
"\"";
3061 printTypeIdCompatibleVtableSummary(TId.second);
3062 Out <<
") ; guid = " <<
GUID <<
"\n";
3066 if (TheIndex->getFlags()) {
3067 Out <<
"^" << NumSlots <<
" = flags: " << TheIndex->getFlags() <<
"\n";
3071 Out <<
"^" << NumSlots <<
" = blockcount: " << TheIndex->getBlockCount()
3081 return "singleImpl";
3083 return "branchFunnel";
3094 return "uniformRetVal";
3096 return "uniqueRetVal";
3098 return "virtualConstProp";
3128 Out <<
", alignLog2: " << TTRes.
AlignLog2;
3130 Out <<
", sizeM1: " << TTRes.
SizeM1;
3140void AssemblyWriter::printTypeIdSummary(
const TypeIdSummary &TIS) {
3141 Out <<
", summary: (";
3142 printTypeTestResolution(TIS.
TTRes);
3143 if (!TIS.
WPDRes.empty()) {
3144 Out <<
", wpdResolutions: (";
3146 for (
auto &WPDRes : TIS.
WPDRes) {
3148 Out <<
"(offset: " << WPDRes.first <<
", ";
3149 printWPDRes(WPDRes.second);
3157void AssemblyWriter::printTypeIdCompatibleVtableSummary(
3159 Out <<
", summary: (";
3161 for (
auto &
P : TI) {
3163 Out <<
"(offset: " <<
P.AddressPointOffset <<
", ";
3164 Out <<
"^" <<
Machine.getGUIDSlot(
P.VTableVI.getGUID());
3170void AssemblyWriter::printArgs(
const std::vector<uint64_t> &Args) {
3173 for (
auto arg : Args) {
3181 Out <<
"wpdRes: (kind: ";
3188 Out <<
", resByArg: (";
3190 for (
auto &ResByArg : WPDRes.
ResByArg) {
3192 printArgs(ResByArg.first);
3193 Out <<
", byArg: (kind: ";
3195 if (ResByArg.second.TheKind ==
3197 ResByArg.second.TheKind ==
3199 Out <<
", info: " << ResByArg.second.Info;
3203 if (ResByArg.second.Byte || ResByArg.second.Bit)
3204 Out <<
", byte: " << ResByArg.second.Byte
3205 <<
", bit: " << ResByArg.second.Bit;
3226void AssemblyWriter::printAliasSummary(
const AliasSummary *AS) {
3227 Out <<
", aliasee: ";
3238 auto VTableFuncs =
GS->vTableFuncs();
3239 Out <<
", varFlags: (readonly: " <<
GS->VarFlags.MaybeReadOnly <<
", "
3240 <<
"writeonly: " <<
GS->VarFlags.MaybeWriteOnly <<
", "
3241 <<
"constant: " <<
GS->VarFlags.Constant;
3242 if (!VTableFuncs.empty())
3244 <<
"vcall_visibility: " <<
GS->VarFlags.VCallVisibility;
3247 if (!VTableFuncs.empty()) {
3248 Out <<
", vTableFuncs: (";
3250 for (
auto &
P : VTableFuncs) {
3252 Out <<
"(virtFunc: ^" <<
Machine.getGUIDSlot(
P.FuncVI.getGUID())
3253 <<
", offset: " <<
P.VTableOffset;
3271 return "linkonce_odr";
3281 return "extern_weak";
3283 return "available_externally";
3312 return "definition";
3314 return "declaration";
3320 Out <<
", insts: " <<
FS->instCount();
3321 if (
FS->fflags().anyFlagSet())
3322 Out <<
", " <<
FS->fflags();
3324 if (!
FS->calls().empty()) {
3325 Out <<
", calls: (";
3327 for (
auto &Call :
FS->calls()) {
3329 Out <<
"(callee: ^" <<
Machine.getGUIDSlot(
Call.first.getGUID());
3330 if (
Call.second.getHotness() != CalleeInfo::HotnessType::Unknown)
3332 else if (
Call.second.RelBlockFreq)
3333 Out <<
", relbf: " <<
Call.second.RelBlockFreq;
3336 if (
Call.second.HasTailCall)
3343 if (
const auto *TIdInfo =
FS->getTypeIdInfo())
3344 printTypeIdInfo(*TIdInfo);
3348 auto AllocTypeName = [](uint8_t
Type) ->
const char * {
3350 case (uint8_t)AllocationType::None:
3352 case (uint8_t)AllocationType::NotCold:
3354 case (uint8_t)AllocationType::Cold:
3356 case (uint8_t)AllocationType::Hot:
3362 if (!
FS->allocs().empty()) {
3363 Out <<
", allocs: (";
3365 for (
auto &AI :
FS->allocs()) {
3367 Out <<
"(versions: (";
3369 for (
auto V : AI.Versions) {
3371 Out << AllocTypeName(V);
3373 Out <<
"), memProf: (";
3374 FieldSeparator MIBFS;
3375 for (
auto &MIB : AI.MIBs) {
3377 Out <<
"(type: " << AllocTypeName((uint8_t)MIB.AllocType);
3378 Out <<
", stackIds: (";
3379 FieldSeparator SIDFS;
3380 for (
auto Id : MIB.StackIdIndices) {
3382 Out << TheIndex->getStackIdAtIndex(Id);
3391 if (!
FS->callsites().empty()) {
3392 Out <<
", callsites: (";
3393 FieldSeparator SNFS;
3394 for (
auto &CI :
FS->callsites()) {
3397 Out <<
"(callee: ^" <<
Machine.getGUIDSlot(CI.Callee.getGUID());
3399 Out <<
"(callee: null";
3400 Out <<
", clones: (";
3402 for (
auto V : CI.Clones) {
3406 Out <<
"), stackIds: (";
3407 FieldSeparator SIDFS;
3408 for (
auto Id : CI.StackIdIndices) {
3410 Out << TheIndex->getStackIdAtIndex(Id);
3418 Out <<
"[" <<
Range.getSignedMin() <<
", " <<
Range.getSignedMax() <<
"]";
3421 if (!
FS->paramAccesses().empty()) {
3422 Out <<
", params: (";
3424 for (
auto &PS :
FS->paramAccesses()) {
3426 Out <<
"(param: " << PS.ParamNo;
3427 Out <<
", offset: ";
3429 if (!PS.Calls.empty()) {
3430 Out <<
", calls: (";
3432 for (
auto &Call : PS.Calls) {
3434 Out <<
"(callee: ^" <<
Machine.getGUIDSlot(
Call.Callee.getGUID());
3435 Out <<
", param: " <<
Call.ParamNo;
3436 Out <<
", offset: ";
3437 PrintRange(
Call.Offsets);
3448void AssemblyWriter::printTypeIdInfo(
3450 Out <<
", typeIdInfo: (";
3451 FieldSeparator TIDFS;
3454 Out <<
"typeTests: (";
3457 auto TidIter = TheIndex->typeIds().equal_range(GUID);
3458 if (TidIter.first == TidIter.second) {
3464 for (
auto It = TidIter.first; It != TidIter.second; ++It) {
3466 auto Slot =
Machine.getTypeIdSlot(It->second.first);
3484 "typeTestAssumeConstVCalls");
3489 "typeCheckedLoadConstVCalls");
3495 auto TidIter = TheIndex->typeIds().equal_range(VFId.
GUID);
3496 if (TidIter.first == TidIter.second) {
3497 Out <<
"vFuncId: (";
3498 Out <<
"guid: " << VFId.
GUID;
3499 Out <<
", offset: " << VFId.
Offset;
3505 for (
auto It = TidIter.first; It != TidIter.second; ++It) {
3507 Out <<
"vFuncId: (";
3508 auto Slot =
Machine.getTypeIdSlot(It->second.first);
3511 Out <<
", offset: " << VFId.
Offset;
3516void AssemblyWriter::printNonConstVCalls(
3517 const std::vector<FunctionSummary::VFuncId> &VCallList,
const char *
Tag) {
3518 Out <<
Tag <<
": (";
3520 for (
auto &VFuncId : VCallList) {
3522 printVFuncId(VFuncId);
3527void AssemblyWriter::printConstVCalls(
3528 const std::vector<FunctionSummary::ConstVCall> &VCallList,
3530 Out <<
Tag <<
": (";
3532 for (
auto &ConstVCall : VCallList) {
3535 printVFuncId(ConstVCall.VFunc);
3536 if (!ConstVCall.Args.empty()) {
3538 printArgs(ConstVCall.Args);
3549 Out <<
"(module: ^" <<
Machine.getModulePathSlot(
Summary.modulePath())
3552 Out <<
", visibility: "
3555 Out <<
", live: " << GVFlags.
Live;
3556 Out <<
", dsoLocal: " << GVFlags.
DSOLocal;
3558 Out <<
", importType: "
3563 printAliasSummary(cast<AliasSummary>(&Summary));
3565 printFunctionSummary(cast<FunctionSummary>(&Summary));
3567 printGlobalVarSummary(cast<GlobalVarSummary>(&Summary));
3569 auto RefList =
Summary.refs();
3570 if (!RefList.empty()) {
3573 for (
auto &
Ref : RefList) {
3575 if (
Ref.isReadOnly())
3577 else if (
Ref.isWriteOnly())
3578 Out <<
"writeonly ";
3579 Out <<
"^" <<
Machine.getGUIDSlot(
Ref.getGUID());
3587void AssemblyWriter::printSummaryInfo(
unsigned Slot,
const ValueInfo &VI) {
3588 Out <<
"^" <<
Slot <<
" = gv: (";
3589 if (!
VI.name().empty())
3590 Out <<
"name: \"" <<
VI.name() <<
"\"";
3592 Out <<
"guid: " <<
VI.getGUID();
3593 if (!
VI.getSummaryList().empty()) {
3594 Out <<
", summaries: (";
3596 for (
auto &Summary :
VI.getSummaryList()) {
3598 printSummary(*Summary);
3603 if (!
VI.name().empty())
3604 Out <<
" ; guid = " <<
VI.getGUID();
3611 Out <<
"<empty name> ";
3613 unsigned char FirstC =
static_cast<unsigned char>(
Name[0]);
3614 if (isalpha(FirstC) || FirstC ==
'-' || FirstC ==
'$' || FirstC ==
'.' ||
3618 Out <<
'\\' << hexdigit(FirstC >> 4) << hexdigit(FirstC & 0x0F);
3619 for (
unsigned i = 1, e =
Name.size(); i != e; ++i) {
3620 unsigned char C =
Name[i];
3621 if (isalnum(
C) ||
C ==
'-' ||
C ==
'$' ||
C ==
'.' ||
C ==
'_')
3624 Out <<
'\\' << hexdigit(
C >> 4) << hexdigit(
C & 0x0F);
3629void AssemblyWriter::printNamedMDNode(
const NamedMDNode *NMD) {
3640 if (
auto *Expr = dyn_cast<DIExpression>(
Op)) {
3666 Out <<
"dso_local ";
3681 case GlobalVariable::NotThreadLocal:
3683 case GlobalVariable::GeneralDynamicTLSModel:
3684 Out <<
"thread_local ";
3686 case GlobalVariable::LocalDynamicTLSModel:
3687 Out <<
"thread_local(localdynamic) ";
3689 case GlobalVariable::InitialExecTLSModel:
3690 Out <<
"thread_local(initialexec) ";
3692 case GlobalVariable::LocalExecTLSModel:
3693 Out <<
"thread_local(localexec) ";
3700 case GlobalVariable::UnnamedAddr::None:
3702 case GlobalVariable::UnnamedAddr::Local:
3703 return "local_unnamed_addr";
3704 case GlobalVariable::UnnamedAddr::Global:
3705 return "unnamed_addr";
3716 if (isa<GlobalVariable>(GO))
3730 Out <<
"; Materializable\n";
3751 Out << (GV->
isConstant() ?
"constant " :
"global ");
3760 Out <<
", section \"";
3765 Out <<
", partition \"";
3770 Out <<
", code_model \"";
3795 Out <<
", no_sanitize_address";
3797 Out <<
", no_sanitize_hwaddress";
3799 Out <<
", sanitize_memtag";
3801 Out <<
", sanitize_address_dyninit";
3806 Out <<
", align " <<
A->value();
3810 printMetadataAttachments(MDs,
", ");
3813 if (
Attrs.hasAttributes())
3814 Out <<
" #" <<
Machine.getAttributeGroupSlot(Attrs);
3816 printInfoComment(*GV);
3819void AssemblyWriter::printAlias(
const GlobalAlias *GA) {
3821 Out <<
"; Materializable\n";
3842 writeOperand(Aliasee, !isa<ConstantExpr>(Aliasee));
3844 TypePrinter.print(GA->
getType(), Out);
3845 Out <<
" <<NULL ALIASEE>>";
3849 Out <<
", partition \"";
3854 printInfoComment(*GA);
3858void AssemblyWriter::printIFunc(
const GlobalIFunc *GI) {
3860 Out <<
"; Materializable\n";
3878 TypePrinter.print(GI->
getType(), Out);
3879 Out <<
" <<NULL RESOLVER>>";
3883 Out <<
", partition \"";
3888 printInfoComment(*GI);
3892void AssemblyWriter::printComdat(
const Comdat *
C) {
3896void AssemblyWriter::printTypeIdentities() {
3897 if (TypePrinter.empty())
3903 auto &NumberedTypes = TypePrinter.getNumberedTypes();
3904 for (
unsigned I = 0, E = NumberedTypes.size();
I != E; ++
I) {
3905 Out <<
'%' <<
I <<
" = type ";
3909 TypePrinter.printStructBody(NumberedTypes[
I], Out);
3913 auto &NamedTypes = TypePrinter.getNamedTypes();
3920 TypePrinter.printStructBody(NamedType, Out);
3926void AssemblyWriter::printFunction(
const Function *
F) {
3927 if (AnnotationWriter) AnnotationWriter->emitFunctionAnnot(
F, Out);
3929 if (
F->isMaterializable())
3930 Out <<
"; Materializable\n";
3933 if (
Attrs.hasFnAttrs()) {
3935 std::string AttrStr;
3938 if (!Attr.isStringAttribute()) {
3939 if (!AttrStr.empty()) AttrStr +=
' ';
3940 AttrStr += Attr.getAsString();
3944 if (!AttrStr.empty())
3945 Out <<
"; Function Attrs: " << AttrStr <<
'\n';
3950 if (
F->isDeclaration()) {
3953 F->getAllMetadata(MDs);
3954 printMetadataAttachments(MDs,
" ");
3971 if (
Attrs.hasRetAttrs())
3973 TypePrinter.print(
F->getReturnType(), Out);
3974 AsmWriterContext WriterCtx(&TypePrinter, &
Machine,
F->getParent());
3980 if (
F->isDeclaration() && !IsForDebug) {
3982 for (
unsigned I = 0, E = FT->getNumParams();
I != E; ++
I) {
3987 TypePrinter.print(FT->getParamType(
I), Out);
3992 writeAttributeSet(ArgAttrs);
3999 if (Arg.getArgNo() != 0)
4001 printArgument(&Arg,
Attrs.getParamAttrs(Arg.getArgNo()));
4006 if (FT->isVarArg()) {
4007 if (FT->getNumParams()) Out <<
", ";
4018 if (
F->getAddressSpace() != 0 || !
Mod ||
4020 Out <<
" addrspace(" <<
F->getAddressSpace() <<
")";
4021 if (
Attrs.hasFnAttrs())
4022 Out <<
" #" <<
Machine.getAttributeGroupSlot(
Attrs.getFnAttrs());
4023 if (
F->hasSection()) {
4024 Out <<
" section \"";
4025 printEscapedString(
F->getSection(), Out);
4028 if (
F->hasPartition()) {
4029 Out <<
" partition \"";
4030 printEscapedString(
F->getPartition(), Out);
4035 Out <<
" align " <<
A->value();
4037 Out <<
" gc \"" <<
F->getGC() <<
'"';
4038 if (
F->hasPrefixData()) {
4040 writeOperand(
F->getPrefixData(),
true);
4042 if (
F->hasPrologueData()) {
4043 Out <<
" prologue ";
4044 writeOperand(
F->getPrologueData(),
true);
4046 if (
F->hasPersonalityFn()) {
4047 Out <<
" personality ";
4048 writeOperand(
F->getPersonalityFn(),
true);
4051 if (
F->isDeclaration()) {
4055 F->getAllMetadata(MDs);
4056 printMetadataAttachments(MDs,
" ");
4061 printBasicBlock(&BB);
4076 TypePrinter.print(Arg->
getType(), Out);
4079 if (
Attrs.hasAttributes()) {
4081 writeAttributeSet(Attrs);
4090 assert(Slot != -1 &&
"expect argument in function here");
4091 Out <<
" %" <<
Slot;
4096void AssemblyWriter::printBasicBlock(
const BasicBlock *BB) {
4102 }
else if (!IsEntryBlock) {
4111 if (!IsEntryBlock) {
4113 Out.PadToColumn(50);
4118 Out <<
" No predecessors!";
4121 writeOperand(*PI,
false);
4122 for (++PI; PI != PE; ++PI) {
4124 writeOperand(*PI,
false);
4131 if (AnnotationWriter) AnnotationWriter->emitBasicBlockStartAnnot(BB, Out);
4135 for (
const DbgRecord &DR :
I.getDbgRecordRange())
4136 printDbgRecordLine(DR);
4137 printInstructionLine(
I);
4140 if (AnnotationWriter) AnnotationWriter->emitBasicBlockEndAnnot(BB, Out);
4144void AssemblyWriter::printInstructionLine(
const Instruction &
I) {
4145 printInstruction(
I);
4151void AssemblyWriter::printGCRelocateComment(
const GCRelocateInst &Relocate) {
4161void AssemblyWriter::printInfoComment(
const Value &V) {
4162 if (
const auto *Relocate = dyn_cast<GCRelocateInst>(&V))
4163 printGCRelocateComment(*Relocate);
4165 if (AnnotationWriter) {
4166 AnnotationWriter->printInfoComment(V, Out);
4173 if (Operand ==
nullptr) {
4174 Out <<
" <cannot get addrspace!>";
4178 bool PrintAddrSpace = CallAddrSpace != 0;
4179 if (!PrintAddrSpace) {
4185 PrintAddrSpace =
true;
4188 Out <<
" addrspace(" << CallAddrSpace <<
")";
4192void AssemblyWriter::printInstruction(
const Instruction &
I) {
4193 if (AnnotationWriter) AnnotationWriter->emitInstructionAnnot(&
I, Out);
4202 }
else if (!
I.getType()->isVoidTy()) {
4204 int SlotNum =
Machine.getLocalSlot(&
I);
4206 Out <<
"<badref> = ";
4208 Out <<
'%' << SlotNum <<
" = ";
4211 if (
const CallInst *CI = dyn_cast<CallInst>(&
I)) {
4212 if (CI->isMustTailCall())
4214 else if (CI->isTailCall())
4216 else if (CI->isNoTailCall())
4221 Out <<
I.getOpcodeName();
4224 if ((isa<LoadInst>(
I) && cast<LoadInst>(
I).isAtomic()) ||
4225 (isa<StoreInst>(
I) && cast<StoreInst>(
I).isAtomic()))
4228 if (isa<AtomicCmpXchgInst>(
I) && cast<AtomicCmpXchgInst>(
I).isWeak())
4232 if ((isa<LoadInst>(
I) && cast<LoadInst>(
I).isVolatile()) ||
4233 (isa<StoreInst>(
I) && cast<StoreInst>(
I).isVolatile()) ||
4234 (isa<AtomicCmpXchgInst>(
I) && cast<AtomicCmpXchgInst>(
I).isVolatile()) ||
4235 (isa<AtomicRMWInst>(
I) && cast<AtomicRMWInst>(
I).isVolatile()))
4242 if (
const CmpInst *CI = dyn_cast<CmpInst>(&
I))
4243 Out <<
' ' << CI->getPredicate();
4250 const Value *Operand =
I.getNumOperands() ?
I.getOperand(0) :
nullptr;
4253 if (isa<BranchInst>(
I) && cast<BranchInst>(
I).isConditional()) {
4256 writeOperand(BI.getCondition(),
true);
4258 writeOperand(BI.getSuccessor(0),
true);
4260 writeOperand(BI.getSuccessor(1),
true);
4262 }
else if (isa<SwitchInst>(
I)) {
4266 writeOperand(
SI.getCondition(),
true);
4268 writeOperand(
SI.getDefaultDest(),
true);
4270 for (
auto Case :
SI.cases()) {
4272 writeOperand(Case.getCaseValue(),
true);
4274 writeOperand(Case.getCaseSuccessor(),
true);
4277 }
else if (isa<IndirectBrInst>(
I)) {
4280 writeOperand(Operand,
true);
4283 for (
unsigned i = 1, e =
I.getNumOperands(); i != e; ++i) {
4286 writeOperand(
I.getOperand(i),
true);
4289 }
else if (
const PHINode *PN = dyn_cast<PHINode>(&
I)) {
4291 TypePrinter.print(
I.getType(), Out);
4294 for (
unsigned op = 0, Eop = PN->getNumIncomingValues();
op < Eop; ++
op) {
4295 if (
op) Out <<
", ";
4297 writeOperand(PN->getIncomingValue(
op),
false); Out <<
", ";
4298 writeOperand(PN->getIncomingBlock(
op),
false); Out <<
" ]";
4302 writeOperand(
I.getOperand(0),
true);
4303 for (
unsigned i : EVI->indices())
4307 writeOperand(
I.getOperand(0),
true); Out <<
", ";
4308 writeOperand(
I.getOperand(1),
true);
4309 for (
unsigned i : IVI->indices())
4311 }
else if (
const LandingPadInst *LPI = dyn_cast<LandingPadInst>(&
I)) {
4313 TypePrinter.print(
I.getType(), Out);
4314 if (LPI->isCleanup() || LPI->getNumClauses() != 0)
4317 if (LPI->isCleanup())
4320 for (
unsigned i = 0, e = LPI->getNumClauses(); i != e; ++i) {
4321 if (i != 0 || LPI->isCleanup()) Out <<
"\n";
4322 if (LPI->isCatch(i))
4327 writeOperand(LPI->getClause(i),
true);
4329 }
else if (
const auto *CatchSwitch = dyn_cast<CatchSwitchInst>(&
I)) {
4331 writeOperand(CatchSwitch->getParentPad(),
false);
4334 for (
const BasicBlock *PadBB : CatchSwitch->handlers()) {
4337 writeOperand(PadBB,
true);
4341 if (
const BasicBlock *UnwindDest = CatchSwitch->getUnwindDest())
4342 writeOperand(UnwindDest,
true);
4345 }
else if (
const auto *FPI = dyn_cast<FuncletPadInst>(&
I)) {
4347 writeOperand(FPI->getParentPad(),
false);
4349 for (
unsigned Op = 0, NumOps = FPI->arg_size();
Op < NumOps; ++
Op) {
4352 writeOperand(FPI->getArgOperand(
Op),
true);
4355 }
else if (isa<ReturnInst>(
I) && !Operand) {
4357 }
else if (
const auto *CRI = dyn_cast<CatchReturnInst>(&
I)) {
4359 writeOperand(CRI->getOperand(0),
false);
4362 writeOperand(CRI->getOperand(1),
true);
4363 }
else if (
const auto *CRI = dyn_cast<CleanupReturnInst>(&
I)) {
4365 writeOperand(CRI->getOperand(0),
false);
4368 if (CRI->hasUnwindDest())
4369 writeOperand(CRI->getOperand(1),
true);
4372 }
else if (
const CallInst *CI = dyn_cast<CallInst>(&
I)) {
4379 Operand = CI->getCalledOperand();
4394 TypePrinter.print(FTy->isVarArg() ? FTy :
RetTy, Out);
4396 writeOperand(Operand,
false);
4398 for (
unsigned op = 0, Eop = CI->arg_size();
op < Eop; ++
op) {
4406 if (CI->isMustTailCall() && CI->getParent() &&
4407 CI->getParent()->getParent() &&
4408 CI->getParent()->getParent()->isVarArg()) {
4409 if (CI->arg_size() > 0)
4418 writeOperandBundles(CI);
4419 }
else if (
const InvokeInst *II = dyn_cast<InvokeInst>(&
I)) {
4420 Operand = II->getCalledOperand();
4442 TypePrinter.print(FTy->isVarArg() ? FTy :
RetTy, Out);
4444 writeOperand(Operand,
false);
4446 for (
unsigned op = 0, Eop = II->arg_size();
op < Eop; ++
op) {
4456 writeOperandBundles(II);
4459 writeOperand(II->getNormalDest(),
true);
4461 writeOperand(II->getUnwindDest(),
true);
4462 }
else if (
const CallBrInst *CBI = dyn_cast<CallBrInst>(&
I)) {
4463 Operand = CBI->getCalledOperand();
4482 TypePrinter.print(FTy->isVarArg() ? FTy :
RetTy, Out);
4484 writeOperand(Operand,
false);
4486 for (
unsigned op = 0, Eop = CBI->arg_size();
op < Eop; ++
op) {
4496 writeOperandBundles(CBI);
4499 writeOperand(CBI->getDefaultDest(),
true);
4501 for (
unsigned i = 0, e = CBI->getNumIndirectDests(); i != e; ++i) {
4504 writeOperand(CBI->getIndirectDest(i),
true);
4507 }
else if (
const AllocaInst *AI = dyn_cast<AllocaInst>(&
I)) {
4509 if (AI->isUsedWithInAlloca())
4511 if (AI->isSwiftError())
4512 Out <<
"swifterror ";
4513 TypePrinter.print(AI->getAllocatedType(), Out);
4519 if (!AI->getArraySize() || AI->isArrayAllocation() ||
4520 !AI->getArraySize()->getType()->isIntegerTy(32)) {
4522 writeOperand(AI->getArraySize(),
true);
4525 Out <<
", align " <<
A->value();
4528 unsigned AddrSpace = AI->getAddressSpace();
4529 if (AddrSpace != 0) {
4530 Out <<
", addrspace(" << AddrSpace <<
')';
4532 }
else if (isa<CastInst>(
I)) {
4535 writeOperand(Operand,
true);
4538 TypePrinter.print(
I.getType(), Out);
4539 }
else if (isa<VAArgInst>(
I)) {
4542 writeOperand(Operand,
true);
4545 TypePrinter.print(
I.getType(), Out);
4546 }
else if (Operand) {
4547 if (
const auto *
GEP = dyn_cast<GetElementPtrInst>(&
I)) {
4549 TypePrinter.print(
GEP->getSourceElementType(), Out);
4551 }
else if (
const auto *LI = dyn_cast<LoadInst>(&
I)) {
4553 TypePrinter.print(LI->getType(), Out);
4560 bool PrintAllTypes =
false;
4565 if (isa<SelectInst>(
I) || isa<StoreInst>(
I) || isa<ShuffleVectorInst>(
I) ||
4566 isa<ReturnInst>(
I) || isa<AtomicCmpXchgInst>(
I) ||
4567 isa<AtomicRMWInst>(
I)) {
4568 PrintAllTypes =
true;
4570 for (
unsigned i = 1, E =
I.getNumOperands(); i != E; ++i) {
4571 Operand =
I.getOperand(i);
4574 if (Operand && Operand->
getType() != TheType) {
4575 PrintAllTypes =
true;
4581 if (!PrintAllTypes) {
4583 TypePrinter.print(TheType, Out);
4587 for (
unsigned i = 0, E =
I.getNumOperands(); i != E; ++i) {
4589 writeOperand(
I.getOperand(i), PrintAllTypes);
4594 if (
const LoadInst *LI = dyn_cast<LoadInst>(&
I)) {
4596 writeAtomic(LI->getContext(), LI->getOrdering(), LI->getSyncScopeID());
4598 Out <<
", align " <<
A->value();
4599 }
else if (
const StoreInst *SI = dyn_cast<StoreInst>(&
I)) {
4601 writeAtomic(
SI->getContext(),
SI->getOrdering(),
SI->getSyncScopeID());
4603 Out <<
", align " <<
A->value();
4605 writeAtomicCmpXchg(CXI->getContext(), CXI->getSuccessOrdering(),
4606 CXI->getFailureOrdering(), CXI->getSyncScopeID());
4607 Out <<
", align " << CXI->getAlign().value();
4608 }
else if (
const AtomicRMWInst *RMWI = dyn_cast<AtomicRMWInst>(&
I)) {
4609 writeAtomic(RMWI->getContext(), RMWI->getOrdering(),
4610 RMWI->getSyncScopeID());
4611 Out <<
", align " << RMWI->getAlign().value();
4612 }
else if (
const FenceInst *FI = dyn_cast<FenceInst>(&
I)) {
4613 writeAtomic(FI->getContext(), FI->getOrdering(), FI->getSyncScopeID());
4620 I.getAllMetadata(InstMD);
4621 printMetadataAttachments(InstMD,
", ");
4624 printInfoComment(
I);
4627void AssemblyWriter::printDbgMarker(
const DbgMarker &Marker) {
4631 printDbgRecord(DPR);
4635 Out <<
" DbgMarker -> { ";
4641void AssemblyWriter::printDbgRecord(
const DbgRecord &DR) {
4642 if (
auto *DVR = dyn_cast<DbgVariableRecord>(&DR))
4643 printDbgVariableRecord(*DVR);
4644 else if (
auto *DLR = dyn_cast<DbgLabelRecord>(&DR))
4645 printDbgLabelRecord(*DLR);
4651 auto WriterCtx = getContext();
4654 case DbgVariableRecord::LocationType::Value:
4657 case DbgVariableRecord::LocationType::Declare:
4660 case DbgVariableRecord::LocationType::Assign:
4665 "Tried to print a DbgVariableRecord with an invalid LocationType!");
4688void AssemblyWriter::printDbgRecordLine(
const DbgRecord &DR) {
4695void AssemblyWriter::printDbgLabelRecord(
const DbgLabelRecord &Label) {
4696 auto WriterCtx = getContext();
4697 Out <<
"#dbg_label(";
4704void AssemblyWriter::printMetadataAttachments(
4710 if (MDNames.empty())
4711 MDs[0].second->getContext().getMDKindNames(MDNames);
4713 auto WriterCtx = getContext();
4714 for (
const auto &
I : MDs) {
4715 unsigned Kind =
I.first;
4717 if (Kind < MDNames.size()) {
4721 Out <<
"!<unknown kind #" <<
Kind <<
">";
4727void AssemblyWriter::writeMDNode(
unsigned Slot,
const MDNode *
Node) {
4728 Out <<
'!' <<
Slot <<
" = ";
4729 printMDNodeBody(
Node);
4733void AssemblyWriter::writeAllMDNodes() {
4737 Nodes[
I.second] = cast<MDNode>(
I.first);
4739 for (
unsigned i = 0, e = Nodes.
size(); i != e; ++i) {
4740 writeMDNode(i, Nodes[i]);
4744void AssemblyWriter::printMDNodeBody(
const MDNode *
Node) {
4745 auto WriterCtx = getContext();
4749void AssemblyWriter::writeAttribute(
const Attribute &Attr,
bool InAttrGroup) {
4758 TypePrinter.print(Ty, Out);
4763void AssemblyWriter::writeAttributeSet(
const AttributeSet &AttrSet,
4765 bool FirstAttr =
true;
4766 for (
const auto &Attr : AttrSet) {
4769 writeAttribute(Attr, InAttrGroup);
4774void AssemblyWriter::writeAllAttributeGroups() {
4775 std::vector<std::pair<AttributeSet, unsigned>> asVec;
4776 asVec.resize(
Machine.as_size());
4779 asVec[
I.second] =
I;
4781 for (
const auto &
I : asVec)
4782 Out <<
"attributes #" <<
I.second <<
" = { "
4783 <<
I.first.getAsString(
true) <<
" }\n";
4786void AssemblyWriter::printUseListOrder(
const Value *V,
4787 const std::vector<unsigned> &Shuffle) {
4788 bool IsInFunction =
Machine.getFunction();
4792 Out <<
"uselistorder";
4793 if (
const BasicBlock *BB = IsInFunction ?
nullptr : dyn_cast<BasicBlock>(V)) {
4795 writeOperand(BB->getParent(),
false);
4797 writeOperand(BB,
false);
4800 writeOperand(V,
true);
4804 assert(Shuffle.size() >= 2 &&
"Shuffle too small");
4806 for (
unsigned I = 1, E = Shuffle.size();
I != E; ++
I)
4807 Out <<
", " << Shuffle[
I];
4811void AssemblyWriter::printUseLists(
const Function *
F) {
4812 auto It = UseListOrders.find(
F);
4813 if (It == UseListOrders.end())
4816 Out <<
"\n; uselistorder directives\n";
4817 for (
const auto &Pair : It->second)
4818 printUseListOrder(Pair.first, Pair.second);
4826 bool ShouldPreserveUseListOrder,
4827 bool IsForDebug)
const {
4830 AssemblyWriter W(
OS, SlotTable, this->
getParent(), AAW,
4832 ShouldPreserveUseListOrder);
4833 W.printFunction(
this);
4837 bool ShouldPreserveUseListOrder,
4838 bool IsForDebug)
const {
4841 AssemblyWriter W(
OS, SlotTable, this->
getModule(), AAW,
4843 ShouldPreserveUseListOrder);
4844 W.printBasicBlock(
this);
4848 bool ShouldPreserveUseListOrder,
bool IsForDebug)
const {
4851 AssemblyWriter W(
OS, SlotTable,
this, AAW, IsForDebug,
4852 ShouldPreserveUseListOrder);
4853 W.printModule(
this);
4859 AssemblyWriter W(
OS, SlotTable,
getParent(),
nullptr, IsForDebug);
4860 W.printNamedMDNode(
this);
4864 bool IsForDebug)
const {
4865 std::optional<SlotTracker> LocalST;
4871 SlotTable = &*LocalST;
4875 AssemblyWriter W(
OS, *SlotTable,
getParent(),
nullptr, IsForDebug);
4876 W.printNamedMDNode(
this);
4881 ROS <<
" = comdat ";
4888 ROS <<
"exactmatch";
4894 ROS <<
"nodeduplicate";
4906 TP.print(
const_cast<Type*
>(
this),
OS);
4912 if (
StructType *STy = dyn_cast<StructType>(
const_cast<Type*
>(
this)))
4915 TP.printStructBody(STy,
OS);
4920 if (
const auto *CI = dyn_cast<CallInst>(&
I))
4921 if (
Function *
F = CI->getCalledFunction())
4922 if (
F->isIntrinsic())
4923 for (
auto &
Op :
I.operands())
4924 if (
auto *V = dyn_cast_or_null<MetadataAsValue>(
Op))
4925 if (isa<MDNode>(V->getMetadata()))
4933 print(ROS, MST, IsForDebug);
4939 print(ROS, MST, IsForDebug);
4943 bool IsForDebug)
const {
4948 auto incorporateFunction = [&](
const Function *
F) {
4954 W.printDbgMarker(*
this);
4960 print(ROS, MST, IsForDebug);
4964 bool IsForDebug)
const {
4969 auto incorporateFunction = [&](
const Function *
F) {
4977 W.printDbgVariableRecord(*
this);
4981 bool IsForDebug)
const {
4986 auto incorporateFunction = [&](
const Function *
F) {
4993 W.printDbgLabelRecord(*
this);
4997 bool ShouldInitializeAllMetadata =
false;
4998 if (
auto *
I = dyn_cast<Instruction>(
this))
5000 else if (isa<Function>(
this) || isa<MetadataAsValue>(
this))
5001 ShouldInitializeAllMetadata =
true;
5004 print(ROS, MST, IsForDebug);
5008 bool IsForDebug)
const {
5013 auto incorporateFunction = [&](
const Function *
F) {
5018 if (
const Instruction *
I = dyn_cast<Instruction>(
this)) {
5019 incorporateFunction(
I->getParent() ?
I->getParent()->getParent() :
nullptr);
5021 W.printInstruction(*
I);
5022 }
else if (
const BasicBlock *BB = dyn_cast<BasicBlock>(
this)) {
5023 incorporateFunction(BB->getParent());
5025 W.printBasicBlock(BB);
5026 }
else if (
const GlobalValue *GV = dyn_cast<GlobalValue>(
this)) {
5027 AssemblyWriter W(
OS, SlotTable, GV->
getParent(),
nullptr, IsForDebug);
5030 else if (
const Function *
F = dyn_cast<Function>(GV))
5032 else if (
const GlobalAlias *
A = dyn_cast<GlobalAlias>(GV))
5034 else if (
const GlobalIFunc *
I = dyn_cast<GlobalIFunc>(GV))
5038 }
else if (
const MetadataAsValue *V = dyn_cast<MetadataAsValue>(
this)) {
5040 }
else if (
const Constant *
C = dyn_cast<Constant>(
this)) {
5041 TypePrinting TypePrinter;
5042 TypePrinter.print(
C->getType(),
OS);
5044 AsmWriterContext WriterCtx(&TypePrinter, MST.
getMachine());
5046 }
else if (isa<InlineAsm>(
this) || isa<Argument>(
this)) {
5058 if (V.hasName() || isa<GlobalValue>(V) ||
5059 (!isa<Constant>(V) && !isa<MetadataAsValue>(V))) {
5060 AsmWriterContext WriterCtx(
nullptr,
Machine, M);
5069 TypePrinting TypePrinter(MST.
getModule());
5071 TypePrinter.print(V.getType(), O);
5089 M, isa<MetadataAsValue>(
this));
5105 AsmWriterContext &WriterCtx) {
5109 auto *
N = dyn_cast<MDNode>(&MD);
5110 if (!
N || isa<DIExpression>(MD))
5118struct MDTreeAsmWriterContext :
public AsmWriterContext {
5121 using EntryTy = std::pair<unsigned, std::string>;
5131 : AsmWriterContext(TP,
ST,
M), Level(0
U), Visited({InitMD}), MainOS(
OS) {}
5133 void onWriteMetadataAsOperand(
const Metadata *MD)
override {
5134 if (!Visited.
insert(MD).second)
5143 unsigned InsertIdx = Buffer.
size() - 1;
5146 Buffer[InsertIdx].second = std::move(
SS.str());
5150 ~MDTreeAsmWriterContext() {
5151 for (
const auto &Entry : Buffer) {
5153 unsigned NumIndent = Entry.first * 2U;
5154 MainOS.
indent(NumIndent) << Entry.second;
5162 bool OnlyAsOperand,
bool PrintAsTree =
false) {
5165 TypePrinting TypePrinter(M);
5167 std::unique_ptr<AsmWriterContext> WriterCtx;
5168 if (PrintAsTree && !OnlyAsOperand)
5169 WriterCtx = std::make_unique<MDTreeAsmWriterContext>(
5173 std::make_unique<AsmWriterContext>(&TypePrinter, MST.
getMachine(), M);
5177 auto *
N = dyn_cast<MDNode>(&MD);
5178 if (OnlyAsOperand || !
N || isa<DIExpression>(MD))
5202 const Module *M,
bool )
const {
5221 AssemblyWriter W(
OS, SlotTable,
this, IsForDebug);
5222 W.printModuleSummaryIndex();
5226 unsigned UB)
const {
5232 if (
I.second >= LB &&
I.second < UB)
5233 L.push_back(std::make_pair(
I.second,
I.first));
5236#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
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 void print(raw_ostream &Out, object::Archive::Kind Kind, T Val)
static void writeDIMacro(raw_ostream &Out, const DIMacro *N, AsmWriterContext &WriterCtx)
static void writeMetadataAsOperand(raw_ostream &Out, const Metadata *MD, AsmWriterContext &WriterCtx)
static void writeDIGlobalVariableExpression(raw_ostream &Out, const DIGlobalVariableExpression *N, AsmWriterContext &WriterCtx)
MapVector< const Value *, unsigned > OrderMap
static void PrintCallingConv(unsigned cc, raw_ostream &Out)
static void writeDICompositeType(raw_ostream &Out, const DICompositeType *N, AsmWriterContext &WriterCtx)
static const char * getWholeProgDevirtResKindName(WholeProgramDevirtResolution::Kind K)
static void printMetadataImpl(raw_ostream &ROS, const Metadata &MD, ModuleSlotTracker &MST, const Module *M, bool OnlyAsOperand, bool PrintAsTree=false)
static void WriteOptimizationInfo(raw_ostream &Out, const User *U)
static void writeDIStringType(raw_ostream &Out, const DIStringType *N, AsmWriterContext &WriterCtx)
static std::string getLinkageNameWithSpace(GlobalValue::LinkageTypes LT)
static std::vector< unsigned > predictValueUseListOrder(const Value *V, unsigned ID, const OrderMap &OM)
static void writeDIGlobalVariable(raw_ostream &Out, const DIGlobalVariable *N, AsmWriterContext &WriterCtx)
static void orderValue(const Value *V, OrderMap &OM)
static void PrintThreadLocalModel(GlobalVariable::ThreadLocalMode TLM, formatted_raw_ostream &Out)
static void PrintLLVMName(raw_ostream &OS, StringRef Name, PrefixType Prefix)
Turn the specified name into an 'LLVM name', which is either prefixed with % (if the string only cont...
static StringRef getUnnamedAddrEncoding(GlobalVariable::UnnamedAddr UA)
static const char * getWholeProgDevirtResByArgKindName(WholeProgramDevirtResolution::ByArg::Kind K)
static void PrintShuffleMask(raw_ostream &Out, Type *Ty, ArrayRef< int > Mask)
static void writeDIModule(raw_ostream &Out, const DIModule *N, AsmWriterContext &WriterCtx)
static void writeDIFile(raw_ostream &Out, const DIFile *N, AsmWriterContext &)
static void writeDISubroutineType(raw_ostream &Out, const DISubroutineType *N, AsmWriterContext &WriterCtx)
static bool isReferencingMDNode(const Instruction &I)
static void writeDILabel(raw_ostream &Out, const DILabel *N, AsmWriterContext &WriterCtx)
static void WriteMDNodeBodyInternal(raw_ostream &Out, const MDNode *Node, AsmWriterContext &Ctx)
static void writeDIDerivedType(raw_ostream &Out, const DIDerivedType *N, AsmWriterContext &WriterCtx)
static void printMetadataIdentifier(StringRef Name, formatted_raw_ostream &Out)
static void writeDIImportedEntity(raw_ostream &Out, const DIImportedEntity *N, AsmWriterContext &WriterCtx)
static const Module * getModuleFromDPI(const DbgMarker *Marker)
static void printAsOperandImpl(const Value &V, raw_ostream &O, bool PrintType, ModuleSlotTracker &MST)
static void writeDIObjCProperty(raw_ostream &Out, const DIObjCProperty *N, AsmWriterContext &WriterCtx)
static void PrintDLLStorageClass(GlobalValue::DLLStorageClassTypes SCT, formatted_raw_ostream &Out)
static void writeDISubprogram(raw_ostream &Out, const DISubprogram *N, AsmWriterContext &WriterCtx)
static const char * getSummaryKindName(GlobalValueSummary::SummaryKind SK)
static OrderMap orderModule(const Module *M)
static const char * getVisibilityName(GlobalValue::VisibilityTypes Vis)
static void printMetadataImplRec(raw_ostream &ROS, const Metadata &MD, AsmWriterContext &WriterCtx)
Recursive version of printMetadataImpl.
static SlotTracker * createSlotTracker(const Value *V)
static void WriteAPFloatInternal(raw_ostream &Out, const APFloat &APF)
static void writeDILocation(raw_ostream &Out, const DILocation *DL, AsmWriterContext &WriterCtx)
static void writeDINamespace(raw_ostream &Out, const DINamespace *N, AsmWriterContext &WriterCtx)
static void writeDICommonBlock(raw_ostream &Out, const DICommonBlock *N, AsmWriterContext &WriterCtx)
static UseListOrderMap predictUseListOrder(const Module *M)
static void WriteConstantInternal(raw_ostream &Out, const Constant *CV, AsmWriterContext &WriterCtx)
static void WriteAsOperandInternal(raw_ostream &Out, const Value *V, AsmWriterContext &WriterCtx)
static std::string getLinkageName(GlobalValue::LinkageTypes LT)
static void writeDIBasicType(raw_ostream &Out, const DIBasicType *N, AsmWriterContext &)
static void writeGenericDINode(raw_ostream &Out, const GenericDINode *N, AsmWriterContext &WriterCtx)
static void writeDILocalVariable(raw_ostream &Out, const DILocalVariable *N, AsmWriterContext &WriterCtx)
static const char * getTTResKindName(TypeTestResolution::Kind K)
static void writeDITemplateTypeParameter(raw_ostream &Out, const DITemplateTypeParameter *N, AsmWriterContext &WriterCtx)
static const char * getImportTypeName(GlobalValueSummary::ImportKind IK)
static void writeDICompileUnit(raw_ostream &Out, const DICompileUnit *N, AsmWriterContext &WriterCtx)
static const Module * getModuleFromVal(const Value *V)
static void maybePrintCallAddrSpace(const Value *Operand, const Instruction *I, raw_ostream &Out)
static void writeDIGenericSubrange(raw_ostream &Out, const DIGenericSubrange *N, AsmWriterContext &WriterCtx)
static void writeDISubrange(raw_ostream &Out, const DISubrange *N, AsmWriterContext &WriterCtx)
static void PrintVisibility(GlobalValue::VisibilityTypes Vis, formatted_raw_ostream &Out)
static void writeDILexicalBlockFile(raw_ostream &Out, const DILexicalBlockFile *N, AsmWriterContext &WriterCtx)
static void writeDIEnumerator(raw_ostream &Out, const DIEnumerator *N, AsmWriterContext &)
static void writeMDTuple(raw_ostream &Out, const MDTuple *Node, AsmWriterContext &WriterCtx)
static void writeDIExpression(raw_ostream &Out, const DIExpression *N, AsmWriterContext &WriterCtx)
static void PrintDSOLocation(const GlobalValue &GV, formatted_raw_ostream &Out)
static void writeDIAssignID(raw_ostream &Out, const DIAssignID *DL, AsmWriterContext &WriterCtx)
static void writeDILexicalBlock(raw_ostream &Out, const DILexicalBlock *N, AsmWriterContext &WriterCtx)
static void maybePrintComdat(formatted_raw_ostream &Out, const GlobalObject &GO)
static bool printWithoutType(const Value &V, raw_ostream &O, SlotTracker *Machine, const Module *M)
Print without a type, skipping the TypePrinting object.
static void writeDIArgList(raw_ostream &Out, const DIArgList *N, AsmWriterContext &WriterCtx, bool FromValue=false)
static void writeDITemplateValueParameter(raw_ostream &Out, const DITemplateValueParameter *N, AsmWriterContext &WriterCtx)
static const Value * skipMetadataWrapper(const Value *V)
Look for a value that might be wrapped as metadata, e.g.
static void writeDIMacroFile(raw_ostream &Out, const DIMacroFile *N, AsmWriterContext &WriterCtx)
Atomic ordering constants.
This file contains the simple types necessary to represent the attributes associated with functions a...
static const Function * getParent(const Value *V)
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
COFF::MachineTypes Machine
#define LLVM_DUMP_METHOD
Mark debug helper function definitions like dump() that should not be stripped from debug builds.
This file contains the declarations for the subclasses of Constant, which represent the different fla...
dxil pretty DXIL Metadata Pretty Printer
Looks at all the uses of the given value Returns the Liveness deduced from the uses of this value Adds all uses that cause the result to be MaybeLive to MaybeLiveRetUses If the result is MaybeLiveUses might be modified but its content should be ignored(since it might not be complete). DeadArgumentEliminationPass
This file defines the DenseMap class.
This file contains constants used for implementing Dwarf debug support.
This file contains the declaration of the GlobalIFunc class, which represents a single indirect funct...
This file provides various utilities for inspecting and working with the control flow graph in LLVM I...
This file contains an interface for creating legacy passes to print out IR in various granularities.
static bool InRange(int64_t Value, unsigned short Shift, int LBound, int HBound)
ModuleSummaryIndex.h This file contains the declarations the classes that hold the module index and s...
Module.h This file contains the declarations for the Module class.
static bool isDigit(const char C)
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file provides utility classes that use RAII to save and restore values.
This file implements a set that has insertion order iteration characteristics.
This file defines the SmallPtrSet class.
This file defines the SmallString class.
This file defines the SmallVector class.
This defines the Use class.
static APFloat getSNaN(const fltSemantics &Sem, bool Negative=false, const APInt *payload=nullptr)
Factory for SNaN values.
opStatus convert(const fltSemantics &ToSemantics, roundingMode RM, bool *losesInfo)
double convertToDouble() const
Converts this APFloat to host double value.
void toString(SmallVectorImpl< char > &Str, unsigned FormatPrecision=0, unsigned FormatMaxPadding=3, bool TruncateZero=true) const
const fltSemantics & getSemantics() const
APInt bitcastToAPInt() const
Class for arbitrary precision integers.
APInt getLoBits(unsigned numBits) const
Compute an APInt containing numBits lowbits from this APInt.
uint64_t getZExtValue() const
Get zero extended value.
APInt getHiBits(unsigned numBits) const
Compute an APInt containing numBits highbits from this APInt.
Abstract interface of slot tracker storage.
virtual ~AbstractSlotTrackerStorage()
Alias summary information.
const GlobalValueSummary & getAliasee() const
an instruction to allocate memory on the stack
This class represents an incoming formal argument to a Function.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
virtual ~AssemblyAnnotationWriter()
An instruction that atomically checks whether a specified value is in a memory location,...
an instruction that atomically reads a memory location, combines it with another value,...
static StringRef getOperationName(BinOp Op)
AttributeSet getFnAttrs() const
The function attributes are returned.
std::string getAsString(unsigned Index, bool InAttrGrp=false) const
Return the attributes at the index as a string.
bool hasRetAttrs() const
Return true if attributes exist for the return value.
AttributeSet getAttributes(unsigned Index) const
The attributes for the specified index are returned.
bool hasFnAttrs() const
Return true the attributes exist for the function.
AttributeSet getParamAttrs(unsigned ArgNo) const
The attributes for the argument or parameter at the given index are returned.
bool hasAttributes() const
Return true if attributes exists in this set.
std::string getAsString(bool InAttrGrp=false) const
The Attribute is converted to a string of equivalent mnemonic.
Attribute::AttrKind getKindAsEnum() const
Return the attribute's kind as an enum (Attribute::AttrKind).
static StringRef getNameFromAttrKind(Attribute::AttrKind AttrKind)
bool isTypeAttribute() const
Return true if the attribute is a type attribute.
Type * getValueAsType() const
Return the attribute's value as a Type.
LLVM Basic Block Representation.
void print(raw_ostream &OS, AssemblyAnnotationWriter *AAW=nullptr, bool ShouldPreserveUseListOrder=false, bool IsForDebug=false) const
Print the basic block to an output stream with an optional AssemblyAnnotationWriter.
bool isEntryBlock() const
Return true if this is the entry block of the containing function.
const Function * getParent() const
Return the enclosing method, or null if none.
const Module * getModule() const
Return the module owning the function this basic block belongs to, or nullptr if the function does no...
The address of a basic block.
Conditional or Unconditional Branch instruction.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
CallBr instruction, tracking function calls that may not return control but instead transfer it to a ...
This class represents a function call, abstracting a target machine's calling convention.
This class is the base class for the comparison instructions.
void print(raw_ostream &OS, bool IsForDebug=false) const
StringRef getName() const
@ Largest
The linker will choose the largest COMDAT.
@ SameSize
The data referenced by the COMDAT must be the same size.
@ Any
The linker may choose any COMDAT.
@ NoDeduplicate
No deduplication is performed.
@ ExactMatch
The data referenced by the COMDAT must be the same.
SelectionKind getSelectionKind() const
ConstantArray - Constant Array Declarations.
An array constant whose element type is a simple 1/2/4/8-byte integer or float/double,...
A constant value that is initialized with an expression using other constant values.
ConstantFP - Floating Point Values [float, double].
This is the shared class of boolean and integer constants.
This class represents a range of values.
This is an important base class in LLVM.
Constant * getAggregateElement(unsigned Elt) const
For aggregates (struct/array/vector) return the constant that corresponds to the specified element if...
List of ValueAsMetadata, to be used as an argument to a dbg.value intrinsic.
Basic type, like 'int' or 'float'.
static const char * nameTableKindString(DebugNameTableKind PK)
static const char * emissionKindString(DebugEmissionKind EK)
A lightweight wrapper around an expression operand.
A pair of DIGlobalVariable and DIExpression.
An imported module (C++ using directive or similar).
Macro Info DWARF-like metadata node.
Represents a module in the programming language, for example, a Clang module, or a Fortran module.
Tagged DWARF-like metadata node.
static DIFlags splitFlags(DIFlags Flags, SmallVectorImpl< DIFlags > &SplitFlags)
Split up a flags bitfield.
static StringRef getFlagString(DIFlags Flag)
String type, Fortran CHARACTER(n)
static DISPFlags splitFlags(DISPFlags Flags, SmallVectorImpl< DISPFlags > &SplitFlags)
Split up a flags bitfield for easier printing.
static StringRef getFlagString(DISPFlags Flag)
DISPFlags
Debug info subprogram flags.
Type array for a subprogram.
This class represents an Operation in the Expression.
unsigned getProgramAddressSpace() const
Records a position in IR for a source label (DILabel).
void print(raw_ostream &O, bool IsForDebug=false) const
Per-instruction record of debug-info.
Instruction * MarkedInstr
Link back to the Instruction that owns this marker.
void print(raw_ostream &O, bool IsForDebug=false) const
Implement operator<< on DbgMarker.
const BasicBlock * getParent() const
simple_ilist< DbgRecord > StoredDbgRecords
List of DbgRecords, the non-instruction equivalent of llvm.dbg.
Base class for non-instruction debug metadata records that have positions within IR.
void print(raw_ostream &O, bool IsForDebug=false) const
DebugLoc getDebugLoc() const
DbgMarker * Marker
Marker that this DbgRecord is linked into.
Record of a variable value-assignment, aka a non instruction representation of the dbg....
LocationType getType() const
void print(raw_ostream &O, bool IsForDebug=false) const
MDNode * getRawExpression() const
MDNode * getRawAddressExpression() const
Metadata * getRawAssignID() const
MDNode * getRawVariable() const
Metadata * getRawLocation() const
Returns the metadata operand for the first location description.
Metadata * getRawAddress() const
MDNode * getAsMDNode() const
Return this as a bar MDNode.
iterator find(const_arg_type_t< KeyT > Val)
std::pair< iterator, bool > insert(const std::pair< KeyT, ValueT > &KV)
Utility class for floating point operations which can have information about relaxed accuracy require...
An instruction for ordering other memory operations.
Function summary information to aid decisions and implementation of importing.
void print(raw_ostream &OS, AssemblyAnnotationWriter *AAW=nullptr, bool ShouldPreserveUseListOrder=false, bool IsForDebug=false) const
Print the function to an output stream with an optional AssemblyAnnotationWriter.
Represents calls to the gc.relocate intrinsic.
Value * getBasePtr() const
Value * getDerivedPtr() const
Generic tagged DWARF-like metadata node.
const Constant * getAliasee() const
const Constant * getResolver() const
StringRef getSection() const
Get the custom section of this global if it has one.
MaybeAlign getAlign() const
Returns the alignment of the given variable or function.
void getAllMetadata(SmallVectorImpl< std::pair< unsigned, MDNode * > > &MDs) const
Appends all metadata attached to this value to MDs, sorting by KindID.
const Comdat * getComdat() const
bool hasSection() const
Check if this global has a custom object file section.
Function and variable summary information to aid decisions and implementation of importing.
SummaryKind
Sububclass discriminator (for dyn_cast<> et al.)
bool hasPartition() const
const SanitizerMetadata & getSanitizerMetadata() const
bool hasExternalLinkage() const
VisibilityTypes getVisibility() const
bool isImplicitDSOLocal() const
LinkageTypes getLinkage() const
ThreadLocalMode getThreadLocalMode() const
DLLStorageClassTypes
Storage classes of global values for PE targets.
@ DLLExportStorageClass
Function to be accessible from DLL.
@ DLLImportStorageClass
Function to be imported from DLL.
bool hasSanitizerMetadata() const
GUID getGUID() const
Return a 64-bit global unique ID constructed from global value name (i.e.
StringRef getPartition() const
Module * getParent()
Get the module that this global value is contained inside of...
PointerType * getType() const
Global values are always pointers.
VisibilityTypes
An enumeration for the kinds of visibility of global values.
@ DefaultVisibility
The GV is visible.
@ HiddenVisibility
The GV is hidden.
@ ProtectedVisibility
The GV is protected.
bool isMaterializable() const
If this function's Module is being lazily streamed in functions from disk or some other source,...
UnnamedAddr getUnnamedAddr() const
LinkageTypes
An enumeration for the kinds of linkage for global values.
@ PrivateLinkage
Like Internal, but omit from symbol table.
@ CommonLinkage
Tentative definitions.
@ InternalLinkage
Rename collisions when linking (static functions).
@ LinkOnceAnyLinkage
Keep one copy of function when linking (inline)
@ WeakODRLinkage
Same, but only replaced by something equivalent.
@ ExternalLinkage
Externally visible function.
@ WeakAnyLinkage
Keep one copy of named function when linking (weak)
@ AppendingLinkage
Special purpose, only applies to global arrays.
@ AvailableExternallyLinkage
Available for inspection, not emission.
@ ExternalWeakLinkage
ExternalWeak linkage description.
@ LinkOnceODRLinkage
Same, but only replaced by something equivalent.
DLLStorageClassTypes getDLLStorageClass() const
Type * getValueType() const
Global variable summary information to aid decisions and implementation of importing.
const Constant * getInitializer() const
getInitializer - Return the initializer for this global variable.
bool isExternallyInitialized() const
bool hasInitializer() const
Definitions have initializers, declarations don't.
AttributeSet getAttributes() const
Return the attribute set for this global.
std::optional< CodeModel::Model > getCodeModel() const
Get the custom code model of this global if it has one.
bool isConstant() const
If the value is a global constant, its value is immutable throughout the runtime execution of the pro...
This instruction inserts a struct field of array element value into an aggregate value.
This is an important class for using LLVM in a threaded context.
void getSyncScopeNames(SmallVectorImpl< StringRef > &SSNs) const
getSyncScopeNames - Populates client supplied SmallVector with synchronization scope names registered...
The landingpad instruction holds all of the information necessary to generate correct exception handl...
An instruction for reading from memory.
void printTree(raw_ostream &OS, const Module *M=nullptr) const
Print in tree shape.
void dumpTree() const
User-friendly dump in tree shape.
This class implements a map that also provides access to all stored values in a deterministic order.
Manage lifetime of a slot tracker for printing IR.
std::vector< std::pair< unsigned, const MDNode * > > MachineMDNodeListType
const Module * getModule() const
ModuleSlotTracker(SlotTracker &Machine, const Module *M, const Function *F=nullptr)
Wrap a preinitialized SlotTracker.
virtual ~ModuleSlotTracker()
Destructor to clean up storage.
int getLocalSlot(const Value *V)
Return the slot number of the specified local value.
void collectMDNodes(MachineMDNodeListType &L, unsigned LB, unsigned UB) const
SlotTracker * getMachine()
Lazily creates a slot tracker.
void setProcessHook(std::function< void(AbstractSlotTrackerStorage *, const Module *, bool)>)
void incorporateFunction(const Function &F)
Incorporate the given function.
Class to hold module path string table and global value map, and encapsulate methods for operating on...
static constexpr const char * getRegularLTOModuleName()
const StringMap< ModuleHash > & modulePaths() const
Table of modules, containing module hash and id.
void dump() const
Dump to stderr (for debugging).
void print(raw_ostream &OS, bool IsForDebug=false) const
Print to an output stream.
A Module instance is used to store all the information related to an LLVM module.
iterator_range< ifunc_iterator > ifuncs()
iterator_range< named_metadata_iterator > named_metadata()
iterator_range< alias_iterator > aliases()
iterator_range< global_iterator > globals()
void print(raw_ostream &OS, AssemblyAnnotationWriter *AAW, bool ShouldPreserveUseListOrder=false, bool IsForDebug=false) const
Print the module to an output stream with an optional AssemblyAnnotationWriter.
const DataLayout & getDataLayout() const
Get the data layout for the module's target platform.
void dump() const
Dump the module to stderr (for debugging).
StringRef getName() const
void print(raw_ostream &ROS, bool IsForDebug=false) const
MDNode * getOperand(unsigned i) const
unsigned getNumOperands() const
Module * getParent()
Get the module that holds this named metadata collection.
Utility class for integer operators which may exhibit overflow - Add, Sub, Mul, and Shl.
unsigned getAddressSpace() const
Return the address space of the Pointer type.
An or instruction, which can be marked as "disjoint", indicating that the inputs don't have a 1 in th...
A udiv or sdiv instruction, which can be marked as "exact", indicating that no bits are destroyed.
Interface for looking up the initializer for a variable name, used by Init::resolveReferences.
A vector that has set insertion semantics.
This instruction constructs a fixed permutation of two input vectors.
This class provides computation of slot numbers for LLVM Assembly writing.
int getMetadataSlot(const MDNode *N) override
getMetadataSlot - Get the slot number of a MDNode.
int getTypeIdCompatibleVtableSlot(StringRef Id)
int getModulePathSlot(StringRef Path)
unsigned mdn_size() const
SlotTracker(const SlotTracker &)=delete
void purgeFunction()
After calling incorporateFunction, use this method to remove the most recently incorporated function ...
int getTypeIdSlot(StringRef Id)
void initializeIfNeeded()
These functions do the actual initialization.
int getGlobalSlot(const GlobalValue *V)
getGlobalSlot - Get the slot number of a global value.
const Function * getFunction() const
unsigned getNextMetadataSlot() override
void incorporateFunction(const Function *F)
If you'd like to deal with a function instead of just a module, use this method to get its data into ...
int getLocalSlot(const Value *V)
Return the slot number of the specified value in it's type plane.
int getAttributeGroupSlot(AttributeSet AS)
SlotTracker(const Module *M, bool ShouldInitializeAllMetadata=false)
Construct from a module.
void createMetadataSlot(const MDNode *N) override
getMetadataSlot - Get the slot number of a MDNode.
void setProcessHook(std::function< void(AbstractSlotTrackerStorage *, const Module *, bool)>)
SlotTracker & operator=(const SlotTracker &)=delete
int getGUIDSlot(GlobalValue::GUID GUID)
int initializeIndexIfNeeded()
DenseMap< AttributeSet, unsigned >::iterator as_iterator
AttributeSet map iterators.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
reference emplace_back(ArgTypes &&... Args)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
An instruction for storing to memory.
StringMap - This is an unconventional map that is specialized for handling keys that are "strings",...
iterator find(StringRef Key)
StringRef - Represent a constant reference to a string, i.e.
constexpr bool empty() const
empty - Check if the string is empty.
Class to represent struct types.
ArrayRef< Type * > elements() const
unsigned getNumElements() const
Random access to the elements.
bool isLiteral() const
Return true if this type is uniqued by structural equivalence, false if it is a struct definition.
bool isOpaque() const
Return true if this is a type with an identity that has no body specified yet.
StringRef getName() const
Return the name for this struct type if it has an identity.
Class to represent target extensions types, which are generally unintrospectable from target-independ...
ArrayRef< Type * > type_params() const
Return the type parameters for this particular target extension type.
ArrayRef< unsigned > int_params() const
Return the integer parameters for this particular target extension type.
TypeFinder - Walk over a module, identifying all of the types that are used by the module.
The instances of the Type class are immutable: once they are created, they are never changed.
bool isVectorTy() const
True if this is an instance of VectorType.
unsigned getPointerAddressSpace() const
Get the address space of this pointer or pointer vector type.
@ X86_MMXTyID
MMX vectors (64 bits, X86 specific)
@ X86_AMXTyID
AMX vectors (8192 bits, X86 specific)
@ TypedPointerTyID
Typed pointer used by some GPU targets.
@ HalfTyID
16-bit floating point type
@ TargetExtTyID
Target extension type.
@ VoidTyID
type with no size
@ ScalableVectorTyID
Scalable SIMD vector type.
@ FloatTyID
32-bit floating point type
@ IntegerTyID
Arbitrary bit width integers.
@ FixedVectorTyID
Fixed width SIMD vector type.
@ BFloatTyID
16-bit floating point type (7-bit significand)
@ DoubleTyID
64-bit floating point type
@ X86_FP80TyID
80-bit floating point type (X87)
@ PPC_FP128TyID
128-bit floating point type (two 64-bits, PowerPC)
@ FP128TyID
128-bit floating point type (112-bit significand)
void print(raw_ostream &O, bool IsForDebug=false, bool NoDetails=false) const
Print the current type.
StringRef getTargetExtName() const
bool isIntegerTy() const
True if this is an instance of IntegerType.
TypeID getTypeID() const
Return the type id for the type.
Type * getScalarType() const
If this is a vector type, return the element type, otherwise return 'this'.
A few GPU targets, such as DXIL and SPIR-V, have typed pointers.
Type * getElementType() const
unsigned getAddressSpace() const
Return the address space of the Pointer type.
A Use represents the edge between a Value definition and its users.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
void print(raw_ostream &O, bool IsForDebug=false) const
Implement operator<< on Value.
void printAsOperand(raw_ostream &O, bool PrintType=true, const Module *M=nullptr) const
Print the name of this Value out to the specified raw_ostream.
StringRef getName() const
Return a constant reference to the value's name.
void dump() const
Support for debugging, callable in GDB: V->dump()
This class implements an extremely fast bulk output stream that can only output to a stream.
raw_ostream & indent(unsigned NumSpaces)
indent - Insert 'NumSpaces' spaces.
A raw_ostream that writes to an std::string.
StringRef LanguageString(unsigned Language)
StringRef AttributeEncodingString(unsigned Encoding)
StringRef ConventionString(unsigned Convention)
StringRef MacinfoString(unsigned Encoding)
StringRef OperationEncodingString(unsigned Encoding)
StringRef TagString(unsigned Tag)
This provides a very simple, boring adaptor for a begin and end iterator into a range type.
This file contains the declaration of the Comdat class, which represents a single COMDAT in LLVM.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
constexpr char Attrs[]
Key for Kernel::Metadata::mAttrs.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
@ AArch64_VectorCall
Used between AArch64 Advanced SIMD functions.
@ X86_64_SysV
The C convention as specified in the x86-64 supplement to the System V ABI, used on most non-Windows ...
@ RISCV_VectorCall
Calling convention used for RISC-V V-extension.
@ AMDGPU_CS
Used for Mesa/AMDPAL compute shaders.
@ AMDGPU_VS
Used for Mesa vertex shaders, or AMDPAL last shader stage before rasterization (vertex shader if tess...
@ AVR_SIGNAL
Used for AVR signal routines.
@ Swift
Calling convention for Swift.
@ AMDGPU_KERNEL
Used for AMDGPU code object kernels.
@ AArch64_SVE_VectorCall
Used between AArch64 SVE functions.
@ ARM_APCS
ARM Procedure Calling Standard (obsolete, but still used on some targets).
@ CFGuard_Check
Special calling convention on Windows for calling the Control Guard Check ICall funtion.
@ AVR_INTR
Used for AVR interrupt routines.
@ PreserveMost
Used for runtime calls that preserves most registers.
@ AnyReg
OBSOLETED - Used for stack based JavaScript calls.
@ AMDGPU_Gfx
Used for AMD graphics targets.
@ DUMMY_HHVM
Placeholders for HHVM calling conventions (deprecated, removed).
@ AMDGPU_CS_ChainPreserve
Used on AMDGPUs to give the middle-end more control over argument placement.
@ AMDGPU_HS
Used for Mesa/AMDPAL hull shaders (= tessellation control shaders).
@ ARM_AAPCS
ARM Architecture Procedure Calling Standard calling convention (aka EABI).
@ AMDGPU_GS
Used for Mesa/AMDPAL geometry shaders.
@ AArch64_SME_ABI_Support_Routines_PreserveMost_From_X2
Preserve X2-X15, X19-X29, SP, Z0-Z31, P0-P15.
@ CXX_FAST_TLS
Used for access functions.
@ X86_INTR
x86 hardware interrupt context.
@ AArch64_SME_ABI_Support_Routines_PreserveMost_From_X0
Preserve X0-X13, X19-X29, SP, Z0-Z31, P0-P15.
@ AMDGPU_CS_Chain
Used on AMDGPUs to give the middle-end more control over argument placement.
@ GHC
Used by the Glasgow Haskell Compiler (GHC).
@ AMDGPU_PS
Used for Mesa/AMDPAL pixel shaders.
@ Cold
Attempts to make code in the caller as efficient as possible under the assumption that the call is no...
@ X86_ThisCall
Similar to X86_StdCall.
@ PTX_Device
Call to a PTX device function.
@ SPIR_KERNEL
Used for SPIR kernel functions.
@ PreserveAll
Used for runtime calls that preserves (almost) all registers.
@ X86_StdCall
stdcall is mostly used by the Win32 API.
@ SPIR_FUNC
Used for SPIR non-kernel device functions.
@ Fast
Attempts to make calls as fast as possible (e.g.
@ MSP430_INTR
Used for MSP430 interrupt routines.
@ X86_VectorCall
MSVC calling convention that passes vectors and vector aggregates in SSE registers.
@ Intel_OCL_BI
Used for Intel OpenCL built-ins.
@ PreserveNone
Used for runtime calls that preserves none general registers.
@ AMDGPU_ES
Used for AMDPAL shader stage before geometry shader if geometry is in use.
@ Tail
Attemps to make calls as fast as possible while guaranteeing that tail call optimization can always b...
@ Win64
The C convention as implemented on Windows/x86-64 and AArch64.
@ PTX_Kernel
Call to a PTX kernel. Passes all arguments in parameter space.
@ SwiftTail
This follows the Swift calling convention in how arguments are passed but guarantees tail calls will ...
@ GRAAL
Used by GraalVM. Two additional registers are reserved.
@ AMDGPU_LS
Used for AMDPAL vertex shader if tessellation is in use.
@ ARM_AAPCS_VFP
Same as ARM_AAPCS, but uses hard floating point ABI.
@ X86_RegCall
Register calling convention used for parameters transfer optimization.
@ M68k_RTD
Used for M68k rtd-based CC (similar to X86's stdcall).
@ C
The default llvm calling convention, compatible with C.
@ X86_FastCall
'fast' analog of X86_StdCall.
@ System
Synchronized with respect to all concurrently executing threads.
std::optional< const char * > toString(const std::optional< DWARFFormValue > &V)
Take an optional DWARFFormValue and try to extract a string value from it.
@ DW_OP_LLVM_convert
Only used in LLVM metadata.
This is an optimization pass for GlobalISel generic memory operations.
pred_iterator pred_end(BasicBlock *BB)
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
const char * getHotnessName(CalleeInfo::HotnessType HT)
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
const char * toIRString(AtomicOrdering ao)
String used by LLVM IR to represent atomic ordering.
pred_iterator pred_begin(BasicBlock *BB)
void sort(IteratorTy Start, IteratorTy End)
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
bool is_sorted(R &&Range, Compare C)
Wrapper function around std::is_sorted to check if elements in a range R are sorted with respect to a...
FormattedNumber format_hex(uint64_t N, unsigned Width, bool Upper=false)
format_hex - Output N as a fixed width hexadecimal.
FormattedNumber format_hex_no_prefix(uint64_t N, unsigned Width, bool Upper=false)
format_hex_no_prefix - Output N as a fixed width hexadecimal.
constexpr int PoisonMaskElem
AtomicOrdering
Atomic ordering for LLVM's memory model.
@ Ref
The access may reference the value stored in memory.
DWARFExpression::Operation Op
raw_ostream & operator<<(raw_ostream &OS, const APFixedPoint &FX)
@ Default
The result values are uniform if and only if all operands are uniform.
std::vector< TypeIdOffsetVtableInfo > TypeIdCompatibleVtableInfo
List of vtable definitions decorated by a particular type identifier, and their corresponding offsets...
void printLLVMNameWithoutPrefix(raw_ostream &OS, StringRef Name)
Print out a name of an LLVM value without any prefixes.
static const fltSemantics & IEEEsingle() LLVM_READNONE
static constexpr roundingMode rmNearestTiesToEven
static const fltSemantics & PPCDoubleDouble() LLVM_READNONE
static const fltSemantics & x87DoubleExtended() LLVM_READNONE
static const fltSemantics & IEEEquad() LLVM_READNONE
static const fltSemantics & IEEEdouble() LLVM_READNONE
static const fltSemantics & IEEEhalf() LLVM_READNONE
static const fltSemantics & BFloat() LLVM_READNONE
A single checksum, represented by a Kind and a Value (a string).
T Value
The string value of the checksum.
StringRef getKindAsString() const
All type identifier related information.
std::vector< ConstVCall > TypeCheckedLoadConstVCalls
std::vector< VFuncId > TypeCheckedLoadVCalls
std::vector< ConstVCall > TypeTestAssumeConstVCalls
List of virtual calls made by this function using (respectively) llvm.assume(llvm....
std::vector< GlobalValue::GUID > TypeTests
List of type identifiers used by this function in llvm.type.test intrinsics referenced by something o...
std::vector< VFuncId > TypeTestAssumeVCalls
List of virtual calls made by this function using (respectively) llvm.assume(llvm....
An "identifier" for a virtual function.
Group flags (Linkage, NotEligibleToImport, etc.) as a bitfield.
unsigned DSOLocal
Indicates that the linker resolved the symbol to a definition from within the same linkage unit.
unsigned CanAutoHide
In the per-module summary, indicates that the global value is linkonce_odr and global unnamed addr (s...
unsigned ImportType
This field is written by the ThinLTO indexing step to postlink combined summary.
unsigned NotEligibleToImport
Indicate if the global value cannot be imported (e.g.
unsigned Linkage
The linkage type of the associated global value.
unsigned Visibility
Indicates the visibility.
unsigned Live
In per-module summary, indicate that the global value must be considered a live root for index-based ...
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
A lightweight accessor for an operand bundle meant to be passed around by value.
StringRef getTagName() const
Return the tag of this operand bundle as a string.
A utility class that uses RAII to save and restore the value of a variable.
std::map< uint64_t, WholeProgramDevirtResolution > WPDRes
Mapping from byte offset to whole-program devirt resolution for that (typeid, byte offset) pair.
Kind
Specifies which kind of type check we should emit for this byte array.
@ Unknown
Unknown (analysis not performed, don't lower)
@ Single
Single element (last example in "Short Inline Bit Vectors")
@ Inline
Inlined bit vector ("Short Inline Bit Vectors")
@ Unsat
Unsatisfiable type (i.e. no global has this type metadata)
@ AllOnes
All-ones bit vector ("Eliminating Bit Vector Checks for All-Ones Bit Vectors")
@ ByteArray
Test a byte array (first example)
unsigned SizeM1BitWidth
Range of size-1 expressed as a bit width.
enum llvm::TypeTestResolution::Kind TheKind
Struct that holds a reference to a particular GUID in a global value summary.
@ UniformRetVal
Uniform return value optimization.
@ VirtualConstProp
Virtual constant propagation.
@ UniqueRetVal
Unique return value optimization.
@ Indir
Just do a regular virtual call.
enum llvm::WholeProgramDevirtResolution::Kind TheKind
std::map< std::vector< uint64_t >, ByArg > ResByArg
Resolutions for calls with all constant integer arguments (excluding the first argument,...
std::string SingleImplName
@ SingleImpl
Single implementation devirtualization.
@ Indir
Just do a regular virtual call.
@ BranchFunnel
When retpoline mitigation is enabled, use a branch funnel that is defined in the merged module.
Function object to check whether the second component of a container supported by std::get (like std:...