43#include "llvm/Config/llvm-config.h"
83#define DEBUG_TYPE "codegen"
86 "align-all-functions",
87 cl::desc(
"Force the alignment of all functions in log2 format (e.g. 4 "
88 "means align on 16B boundaries)."),
96 case P::FailedISel:
return "FailedISel";
97 case P::IsSSA:
return "IsSSA";
98 case P::Legalized:
return "Legalized";
99 case P::NoPHIs:
return "NoPHIs";
100 case P::NoVRegs:
return "NoVRegs";
101 case P::RegBankSelected:
return "RegBankSelected";
102 case P::Selected:
return "Selected";
103 case P::TracksLiveness:
return "TracksLiveness";
104 case P::TiedOpsRewritten:
return "TiedOpsRewritten";
105 case P::FailsVerification:
return "FailsVerification";
106 case P::TracksDebugUserValues:
return "TracksDebugUserValues";
113 if (!
F.hasFnAttribute(Attribute::SafeStack))
117 dyn_cast_or_null<MDTuple>(
F.getMetadata(LLVMContext::MD_annotation));
119 if (!Existing || Existing->getNumOperands() != 2)
122 auto *MetadataName =
"unsafe-stack-size";
123 if (
auto &
N = Existing->getOperand(0)) {
124 if (
N.equalsStr(MetadataName)) {
125 if (
auto &
Op = Existing->getOperand(1)) {
126 auto Val = mdconst::extract<ConstantInt>(
Op)->getZExtValue();
134void MachineFunction::Delegate::anchor() {}
137 const char *Separator =
"";
141 OS << Separator << getPropertyName(static_cast<Property>(
I));
159 if (
auto MA =
F.getFnStackAlign())
166 unsigned FunctionNum)
168 FunctionNumber = FunctionNum;
188void MachineFunction::init() {
203 bool ForceRealignSP = F.
hasFnAttribute(Attribute::StackAlignment) ||
207 ForceRealignSP && CanRealignSP);
220 Alignment = std::max(Alignment,
227 if (F.
hasMetadata(LLVMContext::MD_func_sanitize) ||
229 Alignment = std::max(Alignment,
Align(4));
234 JumpTableInfo =
nullptr;
247 "Can't create a MachineFunction using a Module with a "
248 "Target-incompatible DataLayout attached\n");
250 PSVManager = std::make_unique<PseudoSourceValueManager>(
getTarget());
255 assert(!MFInfo &&
"MachineFunctionInfo already set");
256 MFInfo =
Target.createMachineFunctionInfo(Allocator, F, &STI);
263void MachineFunction::clear() {
270 I->Insts.clearAndLeakNodesUnsafely();
271 MBBNumbering.clear();
273 InstructionRecycler.clear(Allocator);
274 OperandRecycler.
clear(Allocator);
275 BasicBlockRecycler.clear(Allocator);
276 CodeViewAnnotations.clear();
279 RegInfo->~MachineRegisterInfo();
287 FrameInfo->~MachineFrameInfo();
294 JumpTableInfo->~MachineJumpTableInfo();
299 WinEHInfo->~WinEHFuncInfo();
304 WasmEHInfo->~WasmEHFuncInfo();
317 if (JumpTableInfo)
return JumpTableInfo;
319 JumpTableInfo =
new (Allocator)
321 return JumpTableInfo;
333[[nodiscard]]
unsigned
335 FrameInstructions.push_back(Inst);
336 return FrameInstructions.size() - 1;
344 if (
empty()) { MBBNumbering.clear();
return; }
352 unsigned BlockNo = 0;
354 BlockNo = std::prev(
MBBI)->getNumber() + 1;
356 for (;
MBBI != E; ++
MBBI, ++BlockNo) {
361 "MBB number mismatch!");
366 if (MBBNumbering[BlockNo])
367 MBBNumbering[BlockNo]->setNumber(-1);
369 MBBNumbering[BlockNo] = &*
MBBI;
376 assert(BlockNo <= MBBNumbering.size() &&
"Mismatch!");
377 MBBNumbering.resize(BlockNo);
391 std::prev(
MBBI)->setIsEndSection();
401 return new (InstructionRecycler.Allocate<
MachineInstr>(Allocator))
409 return new (InstructionRecycler.Allocate<
MachineInstr>(Allocator))
421 if (FirstClone ==
nullptr) {
427 if (!
I->isBundledWithSucc())
449 "Call site info was not updated!");
457 InstructionRecycler.Deallocate(Allocator,
MI);
464 std::optional<UniqueBBID> BBID) {
472 Target.Options.BBAddrMap ||
484 MBB->~MachineBasicBlock();
485 BasicBlockRecycler.Deallocate(Allocator,
MBB);
494 Size.getValue().getKnownMinValue() != ~UINT64_C(0)) &&
495 "Unexpected an unknown size to be represented using "
496 "LocationSize::beforeOrAfter()");
497 return new (Allocator)
499 Ordering, FailureOrdering);
507 return new (Allocator)
509 Ordering, FailureOrdering);
517 Size.getValue().getKnownMinValue() != ~UINT64_C(0)) &&
518 "Unexpected an unknown size to be represented using "
519 "LocationSize::beforeOrAfter()");
520 return new (Allocator)
528 return new (Allocator)
579 return MachineInstr::ExtraInfo::create(Allocator, MMOs, PreInstrSymbol,
580 PostInstrSymbol, HeapAllocMarker,
581 PCSections, CFIType, MMRAs);
587 Dest[
Name.size()] = 0;
595 memset(Mask, 0,
Size *
sizeof(Mask[0]));
600 int* AllocMask = Allocator.
Allocate<
int>(Mask.size());
601 copy(Mask, AllocMask);
602 return {AllocMask, Mask.size()};
605#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
616 OS <<
"# Machine code for function " <<
getName() <<
": ";
633 OS <<
"Function Live Ins: ";
639 if (std::next(
I) != E)
647 for (
const auto &BB : *
this) {
650 BB.print(
OS, MST, Indexes,
true);
653 OS <<
"\n# End machine code for function " <<
getName() <<
".\n\n";
675 return (
"CFG for '" +
F->getName() +
"' function").str();
686 if (
const BasicBlock *BB = Node->getBasicBlock())
687 OSS <<
": " << BB->getName();
692 if (OutStr[0] ==
'\n') OutStr.erase(OutStr.begin());
695 for (
unsigned i = 0; i != OutStr.length(); ++i)
696 if (OutStr[i] ==
'\n') {
698 OutStr.insert(OutStr.begin()+i+1,
'l');
711 errs() <<
"MachineFunction::viewCFG is only available in debug builds on "
712 <<
"systems with Graphviz or gv!\n";
721 errs() <<
"MachineFunction::viewCFGOnly is only available in debug builds on "
722 <<
"systems with Graphviz or gv!\n";
742 "Register class mismatch!");
745 VReg =
MRI.createVirtualRegister(RC);
746 MRI.addLiveIn(PReg, VReg);
754 bool isLinkerPrivate)
const {
756 assert(JumpTableInfo &&
"No jump tables");
757 assert(JTI < JumpTableInfo->getJumpTables().
size() &&
"Invalid JTI!");
759 StringRef Prefix = isLinkerPrivate ?
DL.getLinkerPrivateGlobalPrefix()
760 :
DL.getPrivateGlobalPrefix();
779 unsigned N = LandingPads.size();
780 for (
unsigned i = 0; i <
N; ++i) {
787 return LandingPads[
N];
803 if (
const auto *LPI = dyn_cast<LandingPadInst>(FirstI)) {
806 if (LPI->isCleanup() && LPI->getNumClauses() != 0)
812 for (
unsigned I = LPI->getNumClauses();
I != 0; --
I) {
813 Value *Val = LPI->getClause(
I - 1);
814 if (LPI->isCatch(
I - 1)) {
819 auto *CVal = cast<Constant>(Val);
821 for (
const Use &U : CVal->operands())
823 getTypeIDFor(cast<GlobalValue>(U->stripPointerCasts())));
829 }
else if (
const auto *CPI = dyn_cast<CatchPadInst>(FirstI)) {
830 for (
unsigned I = CPI->arg_size();
I != 0; --
I) {
832 dyn_cast<GlobalValue>(CPI->getArgOperand(
I - 1)->stripPointerCasts());
837 assert(isa<CleanupPadInst>(FirstI) &&
"Invalid landingpad!");
840 return LandingPadLabel;
845 LPadToCallSiteMap[
Sym].append(Sites.
begin(), Sites.
end());
849 for (
unsigned i = 0,
N = TypeInfos.size(); i !=
N; ++i)
850 if (TypeInfos[i] == TI)
return i + 1;
852 TypeInfos.push_back(TI);
853 return TypeInfos.size();
860 for (
unsigned i : FilterEnds) {
861 unsigned j = TyIds.
size();
864 if (FilterIds[--i] != TyIds[--j])
875 int FilterID = -(1 + FilterIds.size());
876 FilterIds.reserve(FilterIds.size() + TyIds.
size() + 1);
878 FilterEnds.push_back(FilterIds.size());
879 FilterIds.push_back(0);
885 assert(
MI->isCandidateForCallSiteEntry() &&
886 "Call site info refers only to call (MI) candidates");
888 if (!
Target.Options.EmitCallSiteInfo)
889 return CallSitesInfo.
end();
890 return CallSitesInfo.
find(
MI);
900 if (BMI.isCandidateForCallSiteEntry())
907 assert(
MI->shouldUpdateCallSiteInfo() &&
908 "Call site info refers only to call (MI) candidates or "
909 "candidates inside bundles");
913 if (CSIt == CallSitesInfo.
end())
915 CallSitesInfo.
erase(CSIt);
921 "Call site info refers only to call (MI) candidates or "
922 "candidates inside bundles");
924 if (!New->isCandidateForCallSiteEntry())
929 if (CSIt == CallSitesInfo.
end())
933 CallSitesInfo[New] = CSInfo;
939 "Call site info refers only to call (MI) candidates or "
940 "candidates inside bundles");
942 if (!New->isCandidateForCallSiteEntry())
947 if (CSIt == CallSitesInfo.
end())
951 CallSitesInfo.
erase(CSIt);
952 CallSitesInfo[New] = CSInfo;
972 unsigned MaxOperand) {
984 for (
unsigned int I = 0;
I < MaxOperand; ++
I) {
986 auto &NewMO = New.getOperand(
I);
989 if (!OldMO.isReg() || !OldMO.isDef())
993 unsigned NewInstrNum = New.getDebugInstrNum();
995 std::make_pair(NewInstrNum,
I));
1007 if (
auto CopyDstSrc =
TII.isCopyInstr(
MI)) {
1008 Dest = CopyDstSrc->Destination->getReg();
1011 Dest =
MI.getOperand(0).getReg();
1014 auto CacheIt = DbgPHICache.find(Dest);
1015 if (CacheIt != DbgPHICache.end())
1016 return CacheIt->second;
1019 auto OperandPair = salvageCopySSAImpl(
MI);
1020 DbgPHICache.insert({Dest, OperandPair});
1046 auto GetRegAndSubreg =
1047 [&](
const MachineInstr &Cpy) -> std::pair<Register, unsigned> {
1051 OldReg = Cpy.getOperand(0).getReg();
1052 NewReg = Cpy.getOperand(1).getReg();
1053 SubReg = Cpy.getOperand(1).getSubReg();
1054 }
else if (Cpy.isSubregToReg()) {
1055 OldReg = Cpy.getOperand(0).getReg();
1056 NewReg = Cpy.getOperand(2).getReg();
1057 SubReg = Cpy.getOperand(3).getImm();
1059 auto CopyDetails = *
TII.isCopyInstr(Cpy);
1063 NewReg = Src.getReg();
1064 SubReg = Src.getSubReg();
1074 auto State = GetRegAndSubreg(
MI);
1075 auto CurInst =
MI.getIterator();
1079 if (!State.first.isVirtual())
1093 State = GetRegAndSubreg(Inst);
1100 auto ApplySubregisters =
1102 for (
unsigned Subreg :
reverse(SubregsSeen)) {
1104 unsigned NewInstrNumber = getNewDebugInstrNum();
1107 makeDebugValueSubstitution({NewInstrNumber, 0},
P, Subreg);
1110 P = {NewInstrNumber, 0};
1117 if (State.first.isVirtual()) {
1120 for (
auto &MO : Inst->
all_defs()) {
1121 if (MO.getReg() != State.first)
1131 assert(CurInst->isCopyLike() ||
TII.isCopyInstr(*CurInst));
1132 State = GetRegAndSubreg(*CurInst);
1135 auto RMII = CurInst->getReverseIterator();
1136 auto PrevInstrs =
make_range(RMII, CurInst->getParent()->instr_rend());
1137 for (
auto &ToExamine : PrevInstrs) {
1138 for (
auto &MO : ToExamine.all_defs()) {
1140 if (!
TRI.regsOverlap(RegToSeek, MO.getReg()))
1143 return ApplySubregisters(
1144 {ToExamine.getDebugInstrNum(), MO.getOperandNo()});
1161 TII.get(TargetOpcode::DBG_PHI));
1162 Builder.addReg(State.first);
1163 unsigned NewNum = getNewDebugInstrNum();
1164 Builder.addImm(NewNum);
1165 return ApplySubregisters({NewNum, 0u});
1172 const MCInstrDesc &RefII =
TII->get(TargetOpcode::DBG_VALUE_LIST);
1174 MI.setDebugValueUndef();
1178 for (
auto &
MBB : *
this) {
1179 for (
auto &
MI :
MBB) {
1180 if (!
MI.isDebugRef())
1183 bool IsValidRef =
true;
1207 MO.ChangeToDbgInstrRef(Result.first, Result.second);
1210 unsigned OperandIdx = 0;
1211 for (
const auto &DefMO :
DefMI.operands()) {
1212 if (DefMO.isReg() && DefMO.isDef() && DefMO.getReg() ==
Reg)
1219 unsigned ID =
DefMI.getDebugInstrNum();
1220 MO.ChangeToDbgInstrRef(
ID, OperandIdx);
1225 MakeUndefDbgValue(
MI);
1239 if (
F.hasFnAttribute(Attribute::OptimizeNone))
1308 const std::vector<MachineBasicBlock*> &DestBBs) {
1309 assert(!DestBBs.empty() &&
"Cannot create an empty jump table!");
1311 return JumpTables.size()-1;
1318 assert(Old != New &&
"Not making a change?");
1319 bool MadeChange =
false;
1320 for (
size_t i = 0, e = JumpTables.size(); i != e; ++i)
1327 bool MadeChange =
false;
1329 auto removeBeginItr = std::remove(JTE.MBBs.begin(), JTE.MBBs.end(),
MBB);
1330 MadeChange |= (removeBeginItr != JTE.MBBs.end());
1331 JTE.MBBs.erase(removeBeginItr, JTE.MBBs.end());
1341 assert(Old != New &&
"Not making a change?");
1342 bool MadeChange =
false;
1353 if (JumpTables.empty())
return;
1355 OS <<
"Jump Tables:\n";
1357 for (
unsigned i = 0, e = JumpTables.size(); i != e; ++i) {
1368#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
1380void MachineConstantPoolValue::anchor() {}
1383 return DL.getTypeAllocSize(Ty);
1388 return Val.MachineCPVal->getSizeInBytes(
DL);
1389 return DL.getTypeAllocSize(
Val.ConstVal->getType());
1395 return Val.ConstVal->needsDynamicRelocation();
1421 if (
C.isMachineConstantPoolEntry()) {
1422 Deleted.insert(
C.Val.MachineCPVal);
1423 delete C.Val.MachineCPVal;
1436 if (
A ==
B)
return true;
1440 if (
A->getType() ==
B->getType())
return false;
1443 if (isa<StructType>(
A->getType()) || isa<ArrayType>(
A->getType()) ||
1444 isa<StructType>(
B->getType()) || isa<ArrayType>(
B->getType()))
1448 uint64_t StoreSize =
DL.getTypeStoreSize(
A->getType());
1449 if (StoreSize !=
DL.getTypeStoreSize(
B->getType()) || StoreSize > 128)
1452 bool ContainsUndefOrPoisonA =
A->containsUndefOrPoisonElement();
1460 if (isa<PointerType>(
A->getType()))
1463 else if (
A->getType() != IntTy)
1466 if (isa<PointerType>(
B->getType()))
1469 else if (
B->getType() != IntTy)
1480 return !ContainsUndefOrPoisonA;
1487 if (Alignment > PoolAlignment) PoolAlignment = Alignment;
1492 for (
unsigned i = 0, e =
Constants.size(); i != e; ++i)
1493 if (!
Constants[i].isMachineConstantPoolEntry() &&
1506 if (Alignment > PoolAlignment) PoolAlignment = Alignment;
1511 int Idx = V->getExistingMachineCPValue(
this, Alignment);
1513 MachineCPVsSharingEntries.insert(V);
1514 return (
unsigned)
Idx;
1524 OS <<
"Constant Pool:\n";
1525 for (
unsigned i = 0, e =
Constants.size(); i != e; ++i) {
1526 OS <<
" cp#" << i <<
": ";
1527 if (
Constants[i].isMachineConstantPoolEntry())
1530 Constants[i].Val.ConstVal->printAsOperand(
OS,
false);
1531 OS <<
", align=" <<
Constants[i].getAlign().value();
1541std::optional<Function::ProfileCount>
1542ProfileSummaryInfo::getEntryCount<llvm::MachineFunction>(
1544 return F->getFunction().getEntryCount();
1547#if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
unsigned const MachineRegisterInfo * MRI
MachineInstrBuilder MachineInstrBuilder & DefMI
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
MachineBasicBlock MachineBasicBlock::iterator MBBI
This file contains the simple types necessary to represent the attributes associated with functions a...
static const Function * getParent(const Value *V)
This file implements the BitVector class.
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
#define LLVM_DUMP_METHOD
Mark debug helper function definitions like dump() that should not be stripped from debug builds.
Returns the sub type a function will return at a given Idx Should correspond to the result type of an ExtractValue instruction executed with just that one unsigned Idx
This file defines the DenseMap class.
This file defines the DenseSet and SmallDenseSet classes.
const HexagonInstrInfo * TII
This file declares the MachineConstantPool class which is an abstract constant pool to keep track of ...
static Align getFnStackAlignment(const TargetSubtargetInfo *STI, const Function &F)
static cl::opt< unsigned > AlignAllFunctions("align-all-functions", cl::desc("Force the alignment of all functions in log2 format (e.g. 4 " "means align on 16B boundaries)."), cl::init(0), cl::Hidden)
static const MachineInstr * getCallInstr(const MachineInstr *MI)
Return the call machine instruction or find a call within bundle.
static bool CanShareConstantPoolEntry(const Constant *A, const Constant *B, const DataLayout &DL)
Test whether the given two constants can be allocated the same constant pool entry referenced by.
void setUnsafeStackSize(const Function &F, MachineFrameInfo &FrameInfo)
static const char * getPropertyName(MachineFunctionProperties::Property Prop)
unsigned const TargetRegisterInfo * TRI
Module.h This file contains the declarations for the Module class.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static bool isSimple(Instruction *I)
This file defines the SmallString class.
This file defines the SmallVector class.
This file describes how to lower LLVM code to machine code.
void clear(AllocatorType &Allocator)
Release all the tracked allocations to the allocator.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
size_t size() const
size - Get the array size.
LLVM Basic Block Representation.
const Instruction * getFirstNonPHI() const
Returns a pointer to the first instruction in this block that is not a PHINode instruction.
LLVM_ATTRIBUTE_RETURNS_NONNULL void * Allocate(size_t Size, Align Alignment)
Allocate space at the specified alignment.
void Deallocate(const void *Ptr, size_t Size, size_t)
This is an important base class in LLVM.
This class represents an Operation in the Expression.
A parsed version of the target data layout string in and methods for querying it.
Align getABIIntegerTypeAlignment(unsigned BitWidth) const
Returns the minimum ABI-required alignment for an integer type of the specified bitwidth.
unsigned getPointerSize(unsigned AS=0) const
Layout pointer size in bytes, rounded up to a whole number of bytes.
Align getPointerABIAlignment(unsigned AS) const
Layout pointer alignment.
iterator find(const_arg_type_t< KeyT > Val)
bool erase(const KeyT &Val)
bool contains(const_arg_type_t< KeyT > Val) const
Return true if the specified key is in the map, false otherwise.
Implements a dense probed hash-table based set.
const DataLayout & getDataLayout() const
Get the data layout of the module this function belongs to.
MaybeAlign getFnStackAlign() const
Return the stack alignment for the function.
bool hasPersonalityFn() const
Check whether this function has a personality function.
Constant * getPersonalityFn() const
Get the personality function associated with this function.
DenormalMode getDenormalMode(const fltSemantics &FPType) const
Returns the denormal handling type for the default rounding mode of the function.
bool needsUnwindTableEntry() const
True if this function needs an unwind table.
bool hasFnAttribute(Attribute::AttrKind Kind) const
Return true if the function has the attribute.
bool hasMetadata() const
Return true if this value has any metadata attached to it.
MDNode * getMetadata(unsigned KindID) const
Get the current metadata attachments for the given kind, if any.
Module * getParent()
Get the module that this global value is contained inside of...
static IntegerType * get(LLVMContext &C, unsigned NumBits)
This static method is the primary way of constructing an IntegerType.
This class describes a target machine that is implemented with the LLVM target-independent code gener...
Context object for machine code objects.
MCSymbol * createTempSymbol()
Create a temporary symbol with a unique name.
MCSymbol * getOrCreateSymbol(const Twine &Name)
Lookup the symbol inside with the specified Name.
Describe properties that are true of each instruction in the target description file.
unsigned getNumRegs() const
Return the number of registers this target has (useful for sizing arrays holding per register informa...
Wrapper class representing physical registers. Should be passed by value.
MCSymbol - Instances of this class represent a symbol name in the MC file, and MCSymbols are created ...
void setBBID(const UniqueBBID &V)
Sets the fixed BBID of this basic block.
void setIsEndSection(bool V=true)
instr_iterator insert(instr_iterator I, MachineInstr *M)
Insert MI into the instruction list before I, possibly inside a bundle.
int getNumber() const
MachineBasicBlocks are uniquely numbered at the function level, unless they're not in a MachineFuncti...
const BasicBlock * getBasicBlock() const
Return the LLVM basic block that this instance corresponded to originally.
MBBSectionID getSectionID() const
Returns the section ID of this basic block.
iterator getFirstNonPHI()
Returns a pointer to the first instruction in this block that is not a PHINode instruction.
Instructions::const_iterator const_instr_iterator
const MachineFunction * getParent() const
Return the MachineFunction containing this basic block.
void setIsBeginSection(bool V=true)
This class is a data container for one entry in a MachineConstantPool.
bool needsRelocation() const
This method classifies the entry according to whether or not it may generate a relocation entry.
bool isMachineConstantPoolEntry() const
isMachineConstantPoolEntry - Return true if the MachineConstantPoolEntry is indeed a target specific ...
union llvm::MachineConstantPoolEntry::@204 Val
The constant itself.
unsigned getSizeInBytes(const DataLayout &DL) const
SectionKind getSectionKind(const DataLayout *DL) const
Abstract base class for all machine specific constantpool value subclasses.
virtual unsigned getSizeInBytes(const DataLayout &DL) const
The MachineConstantPool class keeps track of constants referenced by a function which must be spilled...
void dump() const
dump - Call print(cerr) to be called from the debugger.
void print(raw_ostream &OS) const
print - Used by the MachineFunction printer to print information about constant pool objects.
unsigned getConstantPoolIndex(const Constant *C, Align Alignment)
getConstantPoolIndex - Create a new entry in the constant pool or return an existing one.
The MachineFrameInfo class represents an abstract stack frame until prolog/epilog code is inserted.
void ensureMaxAlignment(Align Alignment)
Make sure the function is at least Align bytes aligned.
void print(const MachineFunction &MF, raw_ostream &OS) const
Used by the MachineFunction printer to print information about stack objects.
void setUnsafeStackSize(uint64_t Size)
void print(raw_ostream &OS) const
Print the MachineFunctionProperties in human-readable form.
MachineFunctionProperties & set(Property P)
MachineFunctionProperties & reset(Property P)
virtual void MF_HandleChangeDesc(MachineInstr &MI, const MCInstrDesc &TID)
Callback before changing MCInstrDesc.
virtual void MF_HandleRemoval(MachineInstr &MI)=0
Callback before a removal. This should not modify the MI directly.
virtual void MF_HandleInsertion(MachineInstr &MI)=0
Callback after an insertion. This should not modify the MI directly.
MachineInstr::ExtraInfo * createMIExtraInfo(ArrayRef< MachineMemOperand * > MMOs, MCSymbol *PreInstrSymbol=nullptr, MCSymbol *PostInstrSymbol=nullptr, MDNode *HeapAllocMarker=nullptr, MDNode *PCSections=nullptr, uint32_t CFIType=0, MDNode *MMRAs=nullptr)
Allocate and construct an extra info structure for a MachineInstr.
int getFilterIDFor(ArrayRef< unsigned > TyIds)
Return the id of the filter encoded by TyIds. This is function wide.
bool UseDebugInstrRef
Flag for whether this function contains DBG_VALUEs (false) or DBG_INSTR_REF (true).
std::pair< unsigned, unsigned > DebugInstrOperandPair
Pair of instruction number and operand number.
unsigned addFrameInst(const MCCFIInstruction &Inst)
bool useDebugInstrRef() const
Returns true if the function's variable locations are tracked with instruction referencing.
SmallVector< DebugSubstitution, 8 > DebugValueSubstitutions
Debug value substitutions: a collection of DebugSubstitution objects, recording changes in where a va...
unsigned getFunctionNumber() const
getFunctionNumber - Return a unique ID for the current function.
MCSymbol * getPICBaseSymbol() const
getPICBaseSymbol - Return a function-local symbol to represent the PIC base.
void viewCFGOnly() const
viewCFGOnly - This function is meant for use from the debugger.
ArrayRef< int > allocateShuffleMask(ArrayRef< int > Mask)
void substituteDebugValuesForInst(const MachineInstr &Old, MachineInstr &New, unsigned MaxOperand=UINT_MAX)
Create substitutions for any tracked values in Old, to point at New.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
MachineInstr & cloneMachineInstrBundle(MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertBefore, const MachineInstr &Orig)
Clones instruction or the whole instruction bundle Orig and insert into MBB before InsertBefore.
MachineJumpTableInfo * getOrCreateJumpTableInfo(unsigned JTEntryKind)
getOrCreateJumpTableInfo - Get the JumpTableInfo for this function, if it does already exist,...
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
void dump() const
dump - Print the current MachineFunction to cerr, useful for debugger use.
MachineInstr * CreateMachineInstr(const MCInstrDesc &MCID, DebugLoc DL, bool NoImplicit=false)
CreateMachineInstr - Allocate a new MachineInstr.
void makeDebugValueSubstitution(DebugInstrOperandPair, DebugInstrOperandPair, unsigned SubReg=0)
Create a substitution between one <instr,operand> value to a different, new value.
MachineMemOperand * getMachineMemOperand(MachinePointerInfo PtrInfo, MachineMemOperand::Flags f, LLT MemTy, Align base_alignment, const AAMDNodes &AAInfo=AAMDNodes(), const MDNode *Ranges=nullptr, SyncScope::ID SSID=SyncScope::System, AtomicOrdering Ordering=AtomicOrdering::NotAtomic, AtomicOrdering FailureOrdering=AtomicOrdering::NotAtomic)
getMachineMemOperand - Allocate a new MachineMemOperand.
bool needsFrameMoves() const
True if this function needs frame moves for debug or exceptions.
unsigned getTypeIDFor(const GlobalValue *TI)
Return the type id for the specified typeinfo. This is function wide.
void finalizeDebugInstrRefs()
Finalise any partially emitted debug instructions.
void deallocateOperandArray(OperandCapacity Cap, MachineOperand *Array)
Dellocate an array of MachineOperands and recycle the memory.
DenormalMode getDenormalMode(const fltSemantics &FPType) const
Returns the denormal handling type for the default rounding mode of the function.
void copyCallSiteInfo(const MachineInstr *Old, const MachineInstr *New)
Copy the call site info from Old to \ New.
void deleteMachineInstr(MachineInstr *MI)
DeleteMachineInstr - Delete the given MachineInstr.
void initTargetMachineFunctionInfo(const TargetSubtargetInfo &STI)
Initialize the target specific MachineFunctionInfo.
const char * createExternalSymbolName(StringRef Name)
Allocate a string and populate it with the given external symbol name.
uint32_t * allocateRegMask()
Allocate and initialize a register mask with NumRegister bits.
MCSymbol * getJTISymbol(unsigned JTI, MCContext &Ctx, bool isLinkerPrivate=false) const
getJTISymbol - Return the MCSymbol for the specified non-empty jump table.
void setCallSiteLandingPad(MCSymbol *Sym, ArrayRef< unsigned > Sites)
Map the landing pad's EH symbol to the call site indexes.
void setUseDebugInstrRef(bool UseInstrRef)
Set whether this function will use instruction referencing or not.
LandingPadInfo & getOrCreateLandingPadInfo(MachineBasicBlock *LandingPad)
Find or create an LandingPadInfo for the specified MachineBasicBlock.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
const DataLayout & getDataLayout() const
Return the DataLayout attached to the Module associated to this MF.
MCSymbol * addLandingPad(MachineBasicBlock *LandingPad)
Add a new panding pad, and extract the exception handling information from the landingpad instruction...
unsigned DebugInstrNumberingCount
A count of how many instructions in the function have had numbers assigned to them.
void deleteMachineBasicBlock(MachineBasicBlock *MBB)
DeleteMachineBasicBlock - Delete the given MachineBasicBlock.
void handleChangeDesc(MachineInstr &MI, const MCInstrDesc &TID)
static const unsigned int DebugOperandMemNumber
A reserved operand number representing the instructions memory operand, for instructions that have a ...
Function & getFunction()
Return the LLVM function that this machine code represents.
const LLVMTargetMachine & getTarget() const
getTarget - Return the target machine this machine code is compiled with
DebugInstrOperandPair salvageCopySSAImpl(MachineInstr &MI)
const MachineBasicBlock & back() const
BasicBlockListType::iterator iterator
void setDebugInstrNumberingCount(unsigned Num)
Set value of DebugInstrNumberingCount field.
bool shouldSplitStack() const
Should we be emitting segmented stack stuff for the function.
void viewCFG() const
viewCFG - This function is meant for use from the debugger.
bool shouldUseDebugInstrRef() const
Determine whether, in the current machine configuration, we should use instruction referencing or not...
const MachineFunctionProperties & getProperties() const
Get the function properties.
MachineFunction(Function &F, const LLVMTargetMachine &Target, const TargetSubtargetInfo &STI, MCContext &Ctx, unsigned FunctionNum)
MachineInstr * CloneMachineInstr(const MachineInstr *Orig)
Create a new MachineInstr which is a copy of Orig, identical in all ways except the instruction has n...
void eraseCallSiteInfo(const MachineInstr *MI)
Following functions update call site info.
void RenumberBlocks(MachineBasicBlock *MBBFrom=nullptr)
RenumberBlocks - This discards all of the MachineBasicBlock numbers and recomputes them.
const MachineBasicBlock & front() const
Register addLiveIn(MCRegister PReg, const TargetRegisterClass *RC)
addLiveIn - Add the specified physical register as a live-in value and create a corresponding virtual...
void moveCallSiteInfo(const MachineInstr *Old, const MachineInstr *New)
Move the call site info from Old to \New call site info.
void print(raw_ostream &OS, const SlotIndexes *=nullptr) const
print - Print out the MachineFunction in a format suitable for debugging to the specified stream.
void addInvoke(MachineBasicBlock *LandingPad, MCSymbol *BeginLabel, MCSymbol *EndLabel)
Provide the begin and end labels of an invoke style call and associate it with a try landing pad bloc...
MachineBasicBlock * CreateMachineBasicBlock(const BasicBlock *BB=nullptr, std::optional< UniqueBBID > BBID=std::nullopt)
CreateMachineBasicBlock - Allocate a new MachineBasicBlock.
VariableDbgInfoMapTy VariableDbgInfos
void assignBeginEndSections()
Assign IsBeginSection IsEndSection fields for basic blocks in this function.
DebugInstrOperandPair salvageCopySSA(MachineInstr &MI, DenseMap< Register, DebugInstrOperandPair > &DbgPHICache)
Find the underlying defining instruction / operand for a COPY instruction while in SSA form.
Representation of each machine instruction.
void bundleWithPred()
Bundle this instruction with its predecessor.
bool isCopyLike() const
Return true if the instruction behaves like a copy.
unsigned getNumOperands() const
Retuns the total number of operands.
unsigned peekDebugInstrNum() const
Examine the instruction number of this MachineInstr.
bool shouldUpdateCallSiteInfo() const
Return true if copying, moving, or erasing this instruction requires updating Call Site Info (see cop...
unsigned getDebugInstrNum()
Fetch the instruction number of this MachineInstr.
const MachineOperand & getOperand(unsigned i) const
iterator_range< filtered_mop_iterator > all_defs()
Returns an iterator range over all operands that are (explicit or implicit) register defs.
bool RemoveMBBFromJumpTables(MachineBasicBlock *MBB)
RemoveMBBFromJumpTables - If MBB is present in any jump tables, remove it.
bool ReplaceMBBInJumpTables(MachineBasicBlock *Old, MachineBasicBlock *New)
ReplaceMBBInJumpTables - If Old is the target of any jump tables, update the jump tables to branch to...
void print(raw_ostream &OS) const
print - Used by the MachineFunction printer to print information about jump tables.
unsigned getEntrySize(const DataLayout &TD) const
getEntrySize - Return the size of each entry in the jump table.
unsigned createJumpTableIndex(const std::vector< MachineBasicBlock * > &DestBBs)
createJumpTableIndex - Create a new jump table.
void dump() const
dump - Call to stderr.
bool ReplaceMBBInJumpTable(unsigned Idx, MachineBasicBlock *Old, MachineBasicBlock *New)
ReplaceMBBInJumpTable - If Old is a target of the jump tables, update the jump table to branch to New...
JTEntryKind
JTEntryKind - This enum indicates how each entry of the jump table is represented and emitted.
@ EK_GPRel32BlockAddress
EK_GPRel32BlockAddress - Each entry is an address of block, encoded with a relocation as gp-relative,...
@ EK_Inline
EK_Inline - Jump table entries are emitted inline at their point of use.
@ EK_LabelDifference32
EK_LabelDifference32 - Each entry is the address of the block minus the address of the jump table.
@ EK_Custom32
EK_Custom32 - Each entry is a 32-bit value that is custom lowered by the TargetLowering::LowerCustomJ...
@ EK_LabelDifference64
EK_LabelDifference64 - Each entry is the address of the block minus the address of the jump table.
@ EK_BlockAddress
EK_BlockAddress - Each entry is a plain address of block, e.g.: .word LBB123.
@ EK_GPRel64BlockAddress
EK_GPRel64BlockAddress - Each entry is an address of block, encoded with a relocation as gp-relative,...
unsigned getEntryAlignment(const DataLayout &TD) const
getEntryAlignment - Return the alignment of each entry in the jump table.
JTEntryKind getEntryKind() const
A description of a memory reference used in the backend.
LocationSize getSize() const
Return the size in bytes of the memory reference.
AtomicOrdering getFailureOrdering() const
For cmpxchg atomic operations, return the atomic ordering requirements when store does not occur.
const PseudoSourceValue * getPseudoValue() const
const MDNode * getRanges() const
Return the range tag for the memory reference.
SyncScope::ID getSyncScopeID() const
Returns the synchronization scope ID for this memory operation.
Flags
Flags values. These may be or'd together.
AtomicOrdering getSuccessOrdering() const
Return the atomic ordering requirements for this memory operation.
const MachinePointerInfo & getPointerInfo() const
Flags getFlags() const
Return the raw flags of the source value,.
AAMDNodes getAAInfo() const
Return the AA tags for the memory reference.
const Value * getValue() const
Return the base address of the memory access.
Align getBaseAlign() const
Return the minimum known alignment in bytes of the base address, without the offset.
int64_t getOffset() const
For normal values, this is a byte offset added to the base address.
MachineOperand class - Representation of each machine instruction operand.
static unsigned getRegMaskSize(unsigned NumRegs)
Returns number of elements needed for a regmask array.
Register getReg() const
getReg - Returns the register number.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
bool livein_empty() const
def_instr_iterator def_instr_begin(Register RegNo) const
std::vector< std::pair< MCRegister, Register > >::const_iterator livein_iterator
bool hasOneDef(Register RegNo) const
Return true if there is exactly one operand defining the specified register.
livein_iterator livein_end() const
livein_iterator livein_begin() const
Manage lifetime of a slot tracker for printing IR.
void incorporateFunction(const Function &F)
Incorporate the given function.
iterator_range< debug_compile_units_iterator > debug_compile_units() const
Return an iterator for all DICompileUnits listed in this Module's llvm.dbg.cu named metadata node and...
bool isNull() const
Test if the pointer held in the union is null, regardless of which type it is.
Simple wrapper around std::function<void(raw_ostream&)>.
Wrapper class representing virtual and physical registers.
SectionKind - This is a simple POD value that classifies the properties of a section.
static SectionKind getMergeableConst4()
static SectionKind getReadOnlyWithRel()
static SectionKind getMergeableConst8()
static SectionKind getMergeableConst16()
static SectionKind getReadOnly()
static SectionKind getMergeableConst32()
SmallString - A SmallString is just a SmallVector with methods and accessors that make it work better...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
bool isStackRealignable() const
isStackRealignable - This method returns whether the stack can be realigned.
Align getStackAlign() const
getStackAlignment - This method returns the number of bytes to which the stack pointer must be aligne...
TargetInstrInfo - Interface to description of machine instruction set.
Align getPrefFunctionAlignment() const
Return the preferred function alignment.
Align getMinFunctionAlignment() const
Return the minimum function alignment.
unsigned ForceDwarfFrameSection
Emit DWARF debug frame section.
bool contains(Register Reg) const
Return true if the specified register is included in this register class.
bool hasSubClassEq(const TargetRegisterClass *RC) const
Returns true if RC is a sub-class of or equal to this class.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
TargetSubtargetInfo - Generic base class for all target subtargets.
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
virtual const TargetFrameLowering * getFrameLowering() const
virtual const TargetInstrInfo * getInstrInfo() const
virtual const TargetLowering * getTargetLowering() const
Target - Wrapper for Target specific information.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
The instances of the Type class are immutable: once they are created, they are never changed.
A Use represents the edge between a Value definition and its users.
LLVM Value Representation.
const Value * stripPointerCasts() const
Strip off pointer casts, all-zero GEPs and address space casts.
StringRef getName() const
Return a constant reference to the value's name.
self_iterator getIterator()
iterator erase(iterator where)
This class implements an extremely fast bulk output stream that can only output to a stream.
A raw_ostream that writes to an std::string.
A raw_ostream that writes to an SmallVector or SmallString.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
initializer< Ty > init(const Ty &Val)
This is an optimization pass for GlobalISel generic memory operations.
MachineBasicBlock::instr_iterator getBundleStart(MachineBasicBlock::instr_iterator I)
Returns an iterator to the first instruction in the bundle containing I.
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
void append_range(Container &C, Range &&R)
Wrapper function to append range R to container C.
MaybeAlign getAlign(const Function &F, unsigned Index)
Printable printJumpTableEntryReference(unsigned Idx)
Prints a jump table entry reference.
bool isScopedEHPersonality(EHPersonality Pers)
Returns true if this personality uses scope-style EH IR instructions: catchswitch,...
auto reverse(ContainerTy &&C)
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
MachineBasicBlock::instr_iterator getBundleEnd(MachineBasicBlock::instr_iterator I)
Returns an iterator pointing beyond the bundle containing I.
Constant * ConstantFoldCastOperand(unsigned Opcode, Constant *C, Type *DestTy, const DataLayout &DL)
Attempt to constant fold a cast with the specified operand.
EHPersonality classifyEHPersonality(const Value *Pers)
See if the given exception handling personality function is one that we understand.
raw_fd_ostream & errs()
This returns a reference to a raw_ostream for standard error.
AtomicOrdering
Atomic ordering for LLVM's memory model.
bool isFuncletEHPersonality(EHPersonality Pers)
Returns true if this is a personality function that invokes handler funclets (which must return to it...
void ViewGraph(const GraphType &G, const Twine &Name, bool ShortNames=false, const Twine &Title="", GraphProgram::Name Program=GraphProgram::DOT)
ViewGraph - Emit a dot graph, run 'dot', run gv on the postscript file, then cleanup.
OutputIt copy(R &&Range, OutputIt Out)
Align commonAlignment(Align A, uint64_t Offset)
Returns the alignment that satisfies both alignments.
Printable printReg(Register Reg, const TargetRegisterInfo *TRI=nullptr, unsigned SubIdx=0, const MachineRegisterInfo *MRI=nullptr)
Prints virtual and physical registers with or without a TRI instance.
Printable printMBBReference(const MachineBasicBlock &MBB)
Prints a machine basic block reference.
bool debuginfoShouldUseDebugInstrRef(const Triple &T)
A collection of metadata nodes that might be associated with a memory access used by the alias-analys...
This struct is a compact representation of a valid (non-zero power of two) alignment.
uint64_t value() const
This is a hole in the type system and should not be abused.
std::string getNodeLabel(const MachineBasicBlock *Node, const MachineFunction *Graph)
DOTGraphTraits(bool isSimple=false)
static std::string getGraphName(const MachineFunction *F)
DOTGraphTraits - Template class that can be specialized to customize how graphs are converted to 'dot...
DefaultDOTGraphTraits - This class provides the default implementations of all of the DOTGraphTraits ...
Represent subnormal handling kind for floating point instruction inputs and outputs.
This structure is used to retain landing pad info for the current function.
SmallVector< MCSymbol *, 1 > EndLabels
MCSymbol * LandingPadLabel
MachineBasicBlock * LandingPadBlock
SmallVector< MCSymbol *, 1 > BeginLabels
std::vector< int > TypeIds
virtual ~MachineFunctionInfo()
MachineJumpTableEntry - One jump table in the jump table info.
std::vector< MachineBasicBlock * > MBBs
MBBs - The vector of basic blocks from which to create the jump table.
This class contains a discriminated union of information about pointers in memory operands,...
PointerUnion< const Value *, const PseudoSourceValue * > V
This is the IR pointer value for the access, or it is null if unknown.
MachinePointerInfo getWithOffset(int64_t O) const
static void deleteNode(NodeTy *V)