xref: /freebsd/contrib/llvm-project/llvm/lib/CodeGen/MachineFunction.cpp (revision 5ffd83dbcc34f10e07f6d3e968ae6365869615f4)
10b57cec5SDimitry Andric //===- MachineFunction.cpp ------------------------------------------------===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // Collect native machine code information for a function.  This allows
100b57cec5SDimitry Andric // target-specific information about the generated code to be stored with each
110b57cec5SDimitry Andric // function.
120b57cec5SDimitry Andric //
130b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
140b57cec5SDimitry Andric 
150b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
160b57cec5SDimitry Andric #include "llvm/ADT/BitVector.h"
170b57cec5SDimitry Andric #include "llvm/ADT/DenseMap.h"
180b57cec5SDimitry Andric #include "llvm/ADT/DenseSet.h"
190b57cec5SDimitry Andric #include "llvm/ADT/STLExtras.h"
200b57cec5SDimitry Andric #include "llvm/ADT/SmallString.h"
210b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
220b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
230b57cec5SDimitry Andric #include "llvm/ADT/Twine.h"
240b57cec5SDimitry Andric #include "llvm/Analysis/ConstantFolding.h"
250b57cec5SDimitry Andric #include "llvm/Analysis/EHPersonalities.h"
260b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
270b57cec5SDimitry Andric #include "llvm/CodeGen/MachineConstantPool.h"
280b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFrameInfo.h"
290b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
300b57cec5SDimitry Andric #include "llvm/CodeGen/MachineJumpTableInfo.h"
310b57cec5SDimitry Andric #include "llvm/CodeGen/MachineMemOperand.h"
320b57cec5SDimitry Andric #include "llvm/CodeGen/MachineModuleInfo.h"
330b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
340b57cec5SDimitry Andric #include "llvm/CodeGen/PseudoSourceValue.h"
350b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h"
36*5ffd83dbSDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h"
370b57cec5SDimitry Andric #include "llvm/CodeGen/TargetLowering.h"
380b57cec5SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h"
390b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h"
400b57cec5SDimitry Andric #include "llvm/CodeGen/WasmEHFuncInfo.h"
410b57cec5SDimitry Andric #include "llvm/CodeGen/WinEHFuncInfo.h"
420b57cec5SDimitry Andric #include "llvm/Config/llvm-config.h"
430b57cec5SDimitry Andric #include "llvm/IR/Attributes.h"
440b57cec5SDimitry Andric #include "llvm/IR/BasicBlock.h"
450b57cec5SDimitry Andric #include "llvm/IR/Constant.h"
460b57cec5SDimitry Andric #include "llvm/IR/DataLayout.h"
470b57cec5SDimitry Andric #include "llvm/IR/DebugInfoMetadata.h"
480b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h"
490b57cec5SDimitry Andric #include "llvm/IR/Function.h"
500b57cec5SDimitry Andric #include "llvm/IR/GlobalValue.h"
510b57cec5SDimitry Andric #include "llvm/IR/Instruction.h"
520b57cec5SDimitry Andric #include "llvm/IR/Instructions.h"
530b57cec5SDimitry Andric #include "llvm/IR/Metadata.h"
540b57cec5SDimitry Andric #include "llvm/IR/Module.h"
550b57cec5SDimitry Andric #include "llvm/IR/ModuleSlotTracker.h"
560b57cec5SDimitry Andric #include "llvm/IR/Value.h"
570b57cec5SDimitry Andric #include "llvm/MC/MCContext.h"
580b57cec5SDimitry Andric #include "llvm/MC/MCSymbol.h"
590b57cec5SDimitry Andric #include "llvm/MC/SectionKind.h"
600b57cec5SDimitry Andric #include "llvm/Support/Casting.h"
610b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
620b57cec5SDimitry Andric #include "llvm/Support/Compiler.h"
630b57cec5SDimitry Andric #include "llvm/Support/DOTGraphTraits.h"
640b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
650b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
660b57cec5SDimitry Andric #include "llvm/Support/GraphWriter.h"
670b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
680b57cec5SDimitry Andric #include "llvm/Target/TargetMachine.h"
690b57cec5SDimitry Andric #include <algorithm>
700b57cec5SDimitry Andric #include <cassert>
710b57cec5SDimitry Andric #include <cstddef>
720b57cec5SDimitry Andric #include <cstdint>
730b57cec5SDimitry Andric #include <iterator>
740b57cec5SDimitry Andric #include <string>
75*5ffd83dbSDimitry Andric #include <type_traits>
760b57cec5SDimitry Andric #include <utility>
770b57cec5SDimitry Andric #include <vector>
780b57cec5SDimitry Andric 
790b57cec5SDimitry Andric using namespace llvm;
800b57cec5SDimitry Andric 
810b57cec5SDimitry Andric #define DEBUG_TYPE "codegen"
820b57cec5SDimitry Andric 
838bcb0991SDimitry Andric static cl::opt<unsigned> AlignAllFunctions(
848bcb0991SDimitry Andric     "align-all-functions",
858bcb0991SDimitry Andric     cl::desc("Force the alignment of all functions in log2 format (e.g. 4 "
868bcb0991SDimitry Andric              "means align on 16B boundaries)."),
870b57cec5SDimitry Andric     cl::init(0), cl::Hidden);
880b57cec5SDimitry Andric 
890b57cec5SDimitry Andric static const char *getPropertyName(MachineFunctionProperties::Property Prop) {
900b57cec5SDimitry Andric   using P = MachineFunctionProperties::Property;
910b57cec5SDimitry Andric 
920b57cec5SDimitry Andric   switch(Prop) {
930b57cec5SDimitry Andric   case P::FailedISel: return "FailedISel";
940b57cec5SDimitry Andric   case P::IsSSA: return "IsSSA";
950b57cec5SDimitry Andric   case P::Legalized: return "Legalized";
960b57cec5SDimitry Andric   case P::NoPHIs: return "NoPHIs";
970b57cec5SDimitry Andric   case P::NoVRegs: return "NoVRegs";
980b57cec5SDimitry Andric   case P::RegBankSelected: return "RegBankSelected";
990b57cec5SDimitry Andric   case P::Selected: return "Selected";
1000b57cec5SDimitry Andric   case P::TracksLiveness: return "TracksLiveness";
101*5ffd83dbSDimitry Andric   case P::TiedOpsRewritten: return "TiedOpsRewritten";
1020b57cec5SDimitry Andric   }
1030b57cec5SDimitry Andric   llvm_unreachable("Invalid machine function property");
1040b57cec5SDimitry Andric }
1050b57cec5SDimitry Andric 
1060b57cec5SDimitry Andric // Pin the vtable to this file.
1070b57cec5SDimitry Andric void MachineFunction::Delegate::anchor() {}
1080b57cec5SDimitry Andric 
1090b57cec5SDimitry Andric void MachineFunctionProperties::print(raw_ostream &OS) const {
1100b57cec5SDimitry Andric   const char *Separator = "";
1110b57cec5SDimitry Andric   for (BitVector::size_type I = 0; I < Properties.size(); ++I) {
1120b57cec5SDimitry Andric     if (!Properties[I])
1130b57cec5SDimitry Andric       continue;
1140b57cec5SDimitry Andric     OS << Separator << getPropertyName(static_cast<Property>(I));
1150b57cec5SDimitry Andric     Separator = ", ";
1160b57cec5SDimitry Andric   }
1170b57cec5SDimitry Andric }
1180b57cec5SDimitry Andric 
1190b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
1200b57cec5SDimitry Andric // MachineFunction implementation
1210b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
1220b57cec5SDimitry Andric 
1230b57cec5SDimitry Andric // Out-of-line virtual method.
1240b57cec5SDimitry Andric MachineFunctionInfo::~MachineFunctionInfo() = default;
1250b57cec5SDimitry Andric 
1260b57cec5SDimitry Andric void ilist_alloc_traits<MachineBasicBlock>::deleteNode(MachineBasicBlock *MBB) {
1270b57cec5SDimitry Andric   MBB->getParent()->DeleteMachineBasicBlock(MBB);
1280b57cec5SDimitry Andric }
1290b57cec5SDimitry Andric 
1300b57cec5SDimitry Andric static inline unsigned getFnStackAlignment(const TargetSubtargetInfo *STI,
1310b57cec5SDimitry Andric                                            const Function &F) {
1320b57cec5SDimitry Andric   if (F.hasFnAttribute(Attribute::StackAlignment))
1330b57cec5SDimitry Andric     return F.getFnStackAlignment();
134*5ffd83dbSDimitry Andric   return STI->getFrameLowering()->getStackAlign().value();
1350b57cec5SDimitry Andric }
1360b57cec5SDimitry Andric 
137*5ffd83dbSDimitry Andric MachineFunction::MachineFunction(Function &F, const LLVMTargetMachine &Target,
1380b57cec5SDimitry Andric                                  const TargetSubtargetInfo &STI,
1390b57cec5SDimitry Andric                                  unsigned FunctionNum, MachineModuleInfo &mmi)
1400b57cec5SDimitry Andric     : F(F), Target(Target), STI(&STI), Ctx(mmi.getContext()), MMI(mmi) {
1410b57cec5SDimitry Andric   FunctionNumber = FunctionNum;
1420b57cec5SDimitry Andric   init();
1430b57cec5SDimitry Andric }
1440b57cec5SDimitry Andric 
1450b57cec5SDimitry Andric void MachineFunction::handleInsertion(MachineInstr &MI) {
1460b57cec5SDimitry Andric   if (TheDelegate)
1470b57cec5SDimitry Andric     TheDelegate->MF_HandleInsertion(MI);
1480b57cec5SDimitry Andric }
1490b57cec5SDimitry Andric 
1500b57cec5SDimitry Andric void MachineFunction::handleRemoval(MachineInstr &MI) {
1510b57cec5SDimitry Andric   if (TheDelegate)
1520b57cec5SDimitry Andric     TheDelegate->MF_HandleRemoval(MI);
1530b57cec5SDimitry Andric }
1540b57cec5SDimitry Andric 
1550b57cec5SDimitry Andric void MachineFunction::init() {
1560b57cec5SDimitry Andric   // Assume the function starts in SSA form with correct liveness.
1570b57cec5SDimitry Andric   Properties.set(MachineFunctionProperties::Property::IsSSA);
1580b57cec5SDimitry Andric   Properties.set(MachineFunctionProperties::Property::TracksLiveness);
1590b57cec5SDimitry Andric   if (STI->getRegisterInfo())
1600b57cec5SDimitry Andric     RegInfo = new (Allocator) MachineRegisterInfo(this);
1610b57cec5SDimitry Andric   else
1620b57cec5SDimitry Andric     RegInfo = nullptr;
1630b57cec5SDimitry Andric 
1640b57cec5SDimitry Andric   MFInfo = nullptr;
1650b57cec5SDimitry Andric   // We can realign the stack if the target supports it and the user hasn't
1660b57cec5SDimitry Andric   // explicitly asked us not to.
1670b57cec5SDimitry Andric   bool CanRealignSP = STI->getFrameLowering()->isStackRealignable() &&
1680b57cec5SDimitry Andric                       !F.hasFnAttribute("no-realign-stack");
1690b57cec5SDimitry Andric   FrameInfo = new (Allocator) MachineFrameInfo(
1700b57cec5SDimitry Andric       getFnStackAlignment(STI, F), /*StackRealignable=*/CanRealignSP,
1710b57cec5SDimitry Andric       /*ForcedRealign=*/CanRealignSP &&
1720b57cec5SDimitry Andric           F.hasFnAttribute(Attribute::StackAlignment));
1730b57cec5SDimitry Andric 
1740b57cec5SDimitry Andric   if (F.hasFnAttribute(Attribute::StackAlignment))
175*5ffd83dbSDimitry Andric     FrameInfo->ensureMaxAlignment(*F.getFnStackAlign());
1760b57cec5SDimitry Andric 
1770b57cec5SDimitry Andric   ConstantPool = new (Allocator) MachineConstantPool(getDataLayout());
1780b57cec5SDimitry Andric   Alignment = STI->getTargetLowering()->getMinFunctionAlignment();
1790b57cec5SDimitry Andric 
1800b57cec5SDimitry Andric   // FIXME: Shouldn't use pref alignment if explicit alignment is set on F.
1810b57cec5SDimitry Andric   // FIXME: Use Function::hasOptSize().
1820b57cec5SDimitry Andric   if (!F.hasFnAttribute(Attribute::OptimizeForSize))
1830b57cec5SDimitry Andric     Alignment = std::max(Alignment,
1840b57cec5SDimitry Andric                          STI->getTargetLowering()->getPrefFunctionAlignment());
1850b57cec5SDimitry Andric 
1860b57cec5SDimitry Andric   if (AlignAllFunctions)
1878bcb0991SDimitry Andric     Alignment = Align(1ULL << AlignAllFunctions);
1880b57cec5SDimitry Andric 
1890b57cec5SDimitry Andric   JumpTableInfo = nullptr;
1900b57cec5SDimitry Andric 
1910b57cec5SDimitry Andric   if (isFuncletEHPersonality(classifyEHPersonality(
1920b57cec5SDimitry Andric           F.hasPersonalityFn() ? F.getPersonalityFn() : nullptr))) {
1930b57cec5SDimitry Andric     WinEHInfo = new (Allocator) WinEHFuncInfo();
1940b57cec5SDimitry Andric   }
1950b57cec5SDimitry Andric 
1960b57cec5SDimitry Andric   if (isScopedEHPersonality(classifyEHPersonality(
1970b57cec5SDimitry Andric           F.hasPersonalityFn() ? F.getPersonalityFn() : nullptr))) {
1980b57cec5SDimitry Andric     WasmEHInfo = new (Allocator) WasmEHFuncInfo();
1990b57cec5SDimitry Andric   }
2000b57cec5SDimitry Andric 
2010b57cec5SDimitry Andric   assert(Target.isCompatibleDataLayout(getDataLayout()) &&
2020b57cec5SDimitry Andric          "Can't create a MachineFunction using a Module with a "
2030b57cec5SDimitry Andric          "Target-incompatible DataLayout attached\n");
2040b57cec5SDimitry Andric 
2050b57cec5SDimitry Andric   PSVManager =
2068bcb0991SDimitry Andric     std::make_unique<PseudoSourceValueManager>(*(getSubtarget().
2070b57cec5SDimitry Andric                                                   getInstrInfo()));
2080b57cec5SDimitry Andric }
2090b57cec5SDimitry Andric 
2100b57cec5SDimitry Andric MachineFunction::~MachineFunction() {
2110b57cec5SDimitry Andric   clear();
2120b57cec5SDimitry Andric }
2130b57cec5SDimitry Andric 
2140b57cec5SDimitry Andric void MachineFunction::clear() {
2150b57cec5SDimitry Andric   Properties.reset();
2160b57cec5SDimitry Andric   // Don't call destructors on MachineInstr and MachineOperand. All of their
2170b57cec5SDimitry Andric   // memory comes from the BumpPtrAllocator which is about to be purged.
2180b57cec5SDimitry Andric   //
2190b57cec5SDimitry Andric   // Do call MachineBasicBlock destructors, it contains std::vectors.
2200b57cec5SDimitry Andric   for (iterator I = begin(), E = end(); I != E; I = BasicBlocks.erase(I))
2210b57cec5SDimitry Andric     I->Insts.clearAndLeakNodesUnsafely();
2220b57cec5SDimitry Andric   MBBNumbering.clear();
2230b57cec5SDimitry Andric 
2240b57cec5SDimitry Andric   InstructionRecycler.clear(Allocator);
2250b57cec5SDimitry Andric   OperandRecycler.clear(Allocator);
2260b57cec5SDimitry Andric   BasicBlockRecycler.clear(Allocator);
2270b57cec5SDimitry Andric   CodeViewAnnotations.clear();
2280b57cec5SDimitry Andric   VariableDbgInfos.clear();
2290b57cec5SDimitry Andric   if (RegInfo) {
2300b57cec5SDimitry Andric     RegInfo->~MachineRegisterInfo();
2310b57cec5SDimitry Andric     Allocator.Deallocate(RegInfo);
2320b57cec5SDimitry Andric   }
2330b57cec5SDimitry Andric   if (MFInfo) {
2340b57cec5SDimitry Andric     MFInfo->~MachineFunctionInfo();
2350b57cec5SDimitry Andric     Allocator.Deallocate(MFInfo);
2360b57cec5SDimitry Andric   }
2370b57cec5SDimitry Andric 
2380b57cec5SDimitry Andric   FrameInfo->~MachineFrameInfo();
2390b57cec5SDimitry Andric   Allocator.Deallocate(FrameInfo);
2400b57cec5SDimitry Andric 
2410b57cec5SDimitry Andric   ConstantPool->~MachineConstantPool();
2420b57cec5SDimitry Andric   Allocator.Deallocate(ConstantPool);
2430b57cec5SDimitry Andric 
2440b57cec5SDimitry Andric   if (JumpTableInfo) {
2450b57cec5SDimitry Andric     JumpTableInfo->~MachineJumpTableInfo();
2460b57cec5SDimitry Andric     Allocator.Deallocate(JumpTableInfo);
2470b57cec5SDimitry Andric   }
2480b57cec5SDimitry Andric 
2490b57cec5SDimitry Andric   if (WinEHInfo) {
2500b57cec5SDimitry Andric     WinEHInfo->~WinEHFuncInfo();
2510b57cec5SDimitry Andric     Allocator.Deallocate(WinEHInfo);
2520b57cec5SDimitry Andric   }
2530b57cec5SDimitry Andric 
2540b57cec5SDimitry Andric   if (WasmEHInfo) {
2550b57cec5SDimitry Andric     WasmEHInfo->~WasmEHFuncInfo();
2560b57cec5SDimitry Andric     Allocator.Deallocate(WasmEHInfo);
2570b57cec5SDimitry Andric   }
2580b57cec5SDimitry Andric }
2590b57cec5SDimitry Andric 
2600b57cec5SDimitry Andric const DataLayout &MachineFunction::getDataLayout() const {
2610b57cec5SDimitry Andric   return F.getParent()->getDataLayout();
2620b57cec5SDimitry Andric }
2630b57cec5SDimitry Andric 
2640b57cec5SDimitry Andric /// Get the JumpTableInfo for this function.
2650b57cec5SDimitry Andric /// If it does not already exist, allocate one.
2660b57cec5SDimitry Andric MachineJumpTableInfo *MachineFunction::
2670b57cec5SDimitry Andric getOrCreateJumpTableInfo(unsigned EntryKind) {
2680b57cec5SDimitry Andric   if (JumpTableInfo) return JumpTableInfo;
2690b57cec5SDimitry Andric 
2700b57cec5SDimitry Andric   JumpTableInfo = new (Allocator)
2710b57cec5SDimitry Andric     MachineJumpTableInfo((MachineJumpTableInfo::JTEntryKind)EntryKind);
2720b57cec5SDimitry Andric   return JumpTableInfo;
2730b57cec5SDimitry Andric }
2740b57cec5SDimitry Andric 
275480093f4SDimitry Andric DenormalMode MachineFunction::getDenormalMode(const fltSemantics &FPType) const {
276*5ffd83dbSDimitry Andric   if (&FPType == &APFloat::IEEEsingle()) {
277*5ffd83dbSDimitry Andric     Attribute Attr = F.getFnAttribute("denormal-fp-math-f32");
278*5ffd83dbSDimitry Andric     StringRef Val = Attr.getValueAsString();
279*5ffd83dbSDimitry Andric     if (!Val.empty())
280*5ffd83dbSDimitry Andric       return parseDenormalFPAttribute(Val);
281*5ffd83dbSDimitry Andric 
282*5ffd83dbSDimitry Andric     // If the f32 variant of the attribute isn't specified, try to use the
283*5ffd83dbSDimitry Andric     // generic one.
284*5ffd83dbSDimitry Andric   }
285*5ffd83dbSDimitry Andric 
286480093f4SDimitry Andric   // TODO: Should probably avoid the connection to the IR and store directly
287480093f4SDimitry Andric   // in the MachineFunction.
288480093f4SDimitry Andric   Attribute Attr = F.getFnAttribute("denormal-fp-math");
289*5ffd83dbSDimitry Andric   return parseDenormalFPAttribute(Attr.getValueAsString());
290480093f4SDimitry Andric }
291480093f4SDimitry Andric 
2920b57cec5SDimitry Andric /// Should we be emitting segmented stack stuff for the function
2930b57cec5SDimitry Andric bool MachineFunction::shouldSplitStack() const {
2940b57cec5SDimitry Andric   return getFunction().hasFnAttribute("split-stack");
2950b57cec5SDimitry Andric }
2960b57cec5SDimitry Andric 
2970b57cec5SDimitry Andric LLVM_NODISCARD unsigned
2980b57cec5SDimitry Andric MachineFunction::addFrameInst(const MCCFIInstruction &Inst) {
2990b57cec5SDimitry Andric   FrameInstructions.push_back(Inst);
3000b57cec5SDimitry Andric   return FrameInstructions.size() - 1;
3010b57cec5SDimitry Andric }
3020b57cec5SDimitry Andric 
3030b57cec5SDimitry Andric /// This discards all of the MachineBasicBlock numbers and recomputes them.
3040b57cec5SDimitry Andric /// This guarantees that the MBB numbers are sequential, dense, and match the
3050b57cec5SDimitry Andric /// ordering of the blocks within the function.  If a specific MachineBasicBlock
3060b57cec5SDimitry Andric /// is specified, only that block and those after it are renumbered.
3070b57cec5SDimitry Andric void MachineFunction::RenumberBlocks(MachineBasicBlock *MBB) {
3080b57cec5SDimitry Andric   if (empty()) { MBBNumbering.clear(); return; }
3090b57cec5SDimitry Andric   MachineFunction::iterator MBBI, E = end();
3100b57cec5SDimitry Andric   if (MBB == nullptr)
3110b57cec5SDimitry Andric     MBBI = begin();
3120b57cec5SDimitry Andric   else
3130b57cec5SDimitry Andric     MBBI = MBB->getIterator();
3140b57cec5SDimitry Andric 
3150b57cec5SDimitry Andric   // Figure out the block number this should have.
3160b57cec5SDimitry Andric   unsigned BlockNo = 0;
3170b57cec5SDimitry Andric   if (MBBI != begin())
3180b57cec5SDimitry Andric     BlockNo = std::prev(MBBI)->getNumber() + 1;
3190b57cec5SDimitry Andric 
3200b57cec5SDimitry Andric   for (; MBBI != E; ++MBBI, ++BlockNo) {
3210b57cec5SDimitry Andric     if (MBBI->getNumber() != (int)BlockNo) {
3220b57cec5SDimitry Andric       // Remove use of the old number.
3230b57cec5SDimitry Andric       if (MBBI->getNumber() != -1) {
3240b57cec5SDimitry Andric         assert(MBBNumbering[MBBI->getNumber()] == &*MBBI &&
3250b57cec5SDimitry Andric                "MBB number mismatch!");
3260b57cec5SDimitry Andric         MBBNumbering[MBBI->getNumber()] = nullptr;
3270b57cec5SDimitry Andric       }
3280b57cec5SDimitry Andric 
3290b57cec5SDimitry Andric       // If BlockNo is already taken, set that block's number to -1.
3300b57cec5SDimitry Andric       if (MBBNumbering[BlockNo])
3310b57cec5SDimitry Andric         MBBNumbering[BlockNo]->setNumber(-1);
3320b57cec5SDimitry Andric 
3330b57cec5SDimitry Andric       MBBNumbering[BlockNo] = &*MBBI;
3340b57cec5SDimitry Andric       MBBI->setNumber(BlockNo);
3350b57cec5SDimitry Andric     }
3360b57cec5SDimitry Andric   }
3370b57cec5SDimitry Andric 
3380b57cec5SDimitry Andric   // Okay, all the blocks are renumbered.  If we have compactified the block
3390b57cec5SDimitry Andric   // numbering, shrink MBBNumbering now.
3400b57cec5SDimitry Andric   assert(BlockNo <= MBBNumbering.size() && "Mismatch!");
3410b57cec5SDimitry Andric   MBBNumbering.resize(BlockNo);
3420b57cec5SDimitry Andric }
3430b57cec5SDimitry Andric 
344*5ffd83dbSDimitry Andric /// This is used with -fbasic-block-sections or -fbasicblock-labels option.
345*5ffd83dbSDimitry Andric /// A unary encoding of basic block labels is done to keep ".strtab" sizes
346*5ffd83dbSDimitry Andric /// small.
347*5ffd83dbSDimitry Andric void MachineFunction::createBBLabels() {
348*5ffd83dbSDimitry Andric   const TargetInstrInfo *TII = getSubtarget().getInstrInfo();
349*5ffd83dbSDimitry Andric   this->BBSectionsSymbolPrefix.resize(getNumBlockIDs(), 'a');
350*5ffd83dbSDimitry Andric   for (auto MBBI = begin(), E = end(); MBBI != E; ++MBBI) {
351*5ffd83dbSDimitry Andric     assert(
352*5ffd83dbSDimitry Andric         (MBBI->getNumber() >= 0 && MBBI->getNumber() < (int)getNumBlockIDs()) &&
353*5ffd83dbSDimitry Andric         "BasicBlock number was out of range!");
354*5ffd83dbSDimitry Andric     // 'a' - Normal block.
355*5ffd83dbSDimitry Andric     // 'r' - Return block.
356*5ffd83dbSDimitry Andric     // 'l' - Landing Pad.
357*5ffd83dbSDimitry Andric     // 'L' - Return and landing pad.
358*5ffd83dbSDimitry Andric     bool isEHPad = MBBI->isEHPad();
359*5ffd83dbSDimitry Andric     bool isRetBlock = MBBI->isReturnBlock() && !TII->isTailCall(MBBI->back());
360*5ffd83dbSDimitry Andric     char type = 'a';
361*5ffd83dbSDimitry Andric     if (isEHPad && isRetBlock)
362*5ffd83dbSDimitry Andric       type = 'L';
363*5ffd83dbSDimitry Andric     else if (isEHPad)
364*5ffd83dbSDimitry Andric       type = 'l';
365*5ffd83dbSDimitry Andric     else if (isRetBlock)
366*5ffd83dbSDimitry Andric       type = 'r';
367*5ffd83dbSDimitry Andric     BBSectionsSymbolPrefix[MBBI->getNumber()] = type;
368*5ffd83dbSDimitry Andric   }
369*5ffd83dbSDimitry Andric }
370*5ffd83dbSDimitry Andric 
371*5ffd83dbSDimitry Andric /// This method iterates over the basic blocks and assigns their IsBeginSection
372*5ffd83dbSDimitry Andric /// and IsEndSection fields. This must be called after MBB layout is finalized
373*5ffd83dbSDimitry Andric /// and the SectionID's are assigned to MBBs.
374*5ffd83dbSDimitry Andric void MachineFunction::assignBeginEndSections() {
375*5ffd83dbSDimitry Andric   front().setIsBeginSection();
376*5ffd83dbSDimitry Andric   auto CurrentSectionID = front().getSectionID();
377*5ffd83dbSDimitry Andric   for (auto MBBI = std::next(begin()), E = end(); MBBI != E; ++MBBI) {
378*5ffd83dbSDimitry Andric     if (MBBI->getSectionID() == CurrentSectionID)
379*5ffd83dbSDimitry Andric       continue;
380*5ffd83dbSDimitry Andric     MBBI->setIsBeginSection();
381*5ffd83dbSDimitry Andric     std::prev(MBBI)->setIsEndSection();
382*5ffd83dbSDimitry Andric     CurrentSectionID = MBBI->getSectionID();
383*5ffd83dbSDimitry Andric   }
384*5ffd83dbSDimitry Andric   back().setIsEndSection();
385*5ffd83dbSDimitry Andric }
386*5ffd83dbSDimitry Andric 
3870b57cec5SDimitry Andric /// Allocate a new MachineInstr. Use this instead of `new MachineInstr'.
3880b57cec5SDimitry Andric MachineInstr *MachineFunction::CreateMachineInstr(const MCInstrDesc &MCID,
3890b57cec5SDimitry Andric                                                   const DebugLoc &DL,
3900b57cec5SDimitry Andric                                                   bool NoImp) {
3910b57cec5SDimitry Andric   return new (InstructionRecycler.Allocate<MachineInstr>(Allocator))
3920b57cec5SDimitry Andric     MachineInstr(*this, MCID, DL, NoImp);
3930b57cec5SDimitry Andric }
3940b57cec5SDimitry Andric 
3950b57cec5SDimitry Andric /// Create a new MachineInstr which is a copy of the 'Orig' instruction,
3960b57cec5SDimitry Andric /// identical in all ways except the instruction has no parent, prev, or next.
3970b57cec5SDimitry Andric MachineInstr *
3980b57cec5SDimitry Andric MachineFunction::CloneMachineInstr(const MachineInstr *Orig) {
3990b57cec5SDimitry Andric   return new (InstructionRecycler.Allocate<MachineInstr>(Allocator))
4000b57cec5SDimitry Andric              MachineInstr(*this, *Orig);
4010b57cec5SDimitry Andric }
4020b57cec5SDimitry Andric 
4030b57cec5SDimitry Andric MachineInstr &MachineFunction::CloneMachineInstrBundle(MachineBasicBlock &MBB,
4040b57cec5SDimitry Andric     MachineBasicBlock::iterator InsertBefore, const MachineInstr &Orig) {
4050b57cec5SDimitry Andric   MachineInstr *FirstClone = nullptr;
4060b57cec5SDimitry Andric   MachineBasicBlock::const_instr_iterator I = Orig.getIterator();
4070b57cec5SDimitry Andric   while (true) {
4080b57cec5SDimitry Andric     MachineInstr *Cloned = CloneMachineInstr(&*I);
4090b57cec5SDimitry Andric     MBB.insert(InsertBefore, Cloned);
4100b57cec5SDimitry Andric     if (FirstClone == nullptr) {
4110b57cec5SDimitry Andric       FirstClone = Cloned;
4120b57cec5SDimitry Andric     } else {
4130b57cec5SDimitry Andric       Cloned->bundleWithPred();
4140b57cec5SDimitry Andric     }
4150b57cec5SDimitry Andric 
4160b57cec5SDimitry Andric     if (!I->isBundledWithSucc())
4170b57cec5SDimitry Andric       break;
4180b57cec5SDimitry Andric     ++I;
4190b57cec5SDimitry Andric   }
420*5ffd83dbSDimitry Andric   // Copy over call site info to the cloned instruction if needed. If Orig is in
421*5ffd83dbSDimitry Andric   // a bundle, copyCallSiteInfo takes care of finding the call instruction in
422*5ffd83dbSDimitry Andric   // the bundle.
423*5ffd83dbSDimitry Andric   if (Orig.shouldUpdateCallSiteInfo())
424*5ffd83dbSDimitry Andric     copyCallSiteInfo(&Orig, FirstClone);
4250b57cec5SDimitry Andric   return *FirstClone;
4260b57cec5SDimitry Andric }
4270b57cec5SDimitry Andric 
4280b57cec5SDimitry Andric /// Delete the given MachineInstr.
4290b57cec5SDimitry Andric ///
4300b57cec5SDimitry Andric /// This function also serves as the MachineInstr destructor - the real
4310b57cec5SDimitry Andric /// ~MachineInstr() destructor must be empty.
4320b57cec5SDimitry Andric void
4330b57cec5SDimitry Andric MachineFunction::DeleteMachineInstr(MachineInstr *MI) {
4340b57cec5SDimitry Andric   // Verify that a call site info is at valid state. This assertion should
4350b57cec5SDimitry Andric   // be triggered during the implementation of support for the
4360b57cec5SDimitry Andric   // call site info of a new architecture. If the assertion is triggered,
4370b57cec5SDimitry Andric   // back trace will tell where to insert a call to updateCallSiteInfo().
438*5ffd83dbSDimitry Andric   assert((!MI->isCandidateForCallSiteEntry() ||
4390b57cec5SDimitry Andric           CallSitesInfo.find(MI) == CallSitesInfo.end()) &&
4400b57cec5SDimitry Andric          "Call site info was not updated!");
4410b57cec5SDimitry Andric   // Strip it for parts. The operand array and the MI object itself are
4420b57cec5SDimitry Andric   // independently recyclable.
4430b57cec5SDimitry Andric   if (MI->Operands)
4440b57cec5SDimitry Andric     deallocateOperandArray(MI->CapOperands, MI->Operands);
4450b57cec5SDimitry Andric   // Don't call ~MachineInstr() which must be trivial anyway because
4460b57cec5SDimitry Andric   // ~MachineFunction drops whole lists of MachineInstrs wihout calling their
4470b57cec5SDimitry Andric   // destructors.
4480b57cec5SDimitry Andric   InstructionRecycler.Deallocate(Allocator, MI);
4490b57cec5SDimitry Andric }
4500b57cec5SDimitry Andric 
4510b57cec5SDimitry Andric /// Allocate a new MachineBasicBlock. Use this instead of
4520b57cec5SDimitry Andric /// `new MachineBasicBlock'.
4530b57cec5SDimitry Andric MachineBasicBlock *
4540b57cec5SDimitry Andric MachineFunction::CreateMachineBasicBlock(const BasicBlock *bb) {
4550b57cec5SDimitry Andric   return new (BasicBlockRecycler.Allocate<MachineBasicBlock>(Allocator))
4560b57cec5SDimitry Andric              MachineBasicBlock(*this, bb);
4570b57cec5SDimitry Andric }
4580b57cec5SDimitry Andric 
4590b57cec5SDimitry Andric /// Delete the given MachineBasicBlock.
4600b57cec5SDimitry Andric void
4610b57cec5SDimitry Andric MachineFunction::DeleteMachineBasicBlock(MachineBasicBlock *MBB) {
4620b57cec5SDimitry Andric   assert(MBB->getParent() == this && "MBB parent mismatch!");
4630b57cec5SDimitry Andric   MBB->~MachineBasicBlock();
4640b57cec5SDimitry Andric   BasicBlockRecycler.Deallocate(Allocator, MBB);
4650b57cec5SDimitry Andric }
4660b57cec5SDimitry Andric 
4670b57cec5SDimitry Andric MachineMemOperand *MachineFunction::getMachineMemOperand(
4680b57cec5SDimitry Andric     MachinePointerInfo PtrInfo, MachineMemOperand::Flags f, uint64_t s,
469*5ffd83dbSDimitry Andric     Align base_alignment, const AAMDNodes &AAInfo, const MDNode *Ranges,
4700b57cec5SDimitry Andric     SyncScope::ID SSID, AtomicOrdering Ordering,
4710b57cec5SDimitry Andric     AtomicOrdering FailureOrdering) {
4720b57cec5SDimitry Andric   return new (Allocator)
4730b57cec5SDimitry Andric       MachineMemOperand(PtrInfo, f, s, base_alignment, AAInfo, Ranges,
4740b57cec5SDimitry Andric                         SSID, Ordering, FailureOrdering);
4750b57cec5SDimitry Andric }
4760b57cec5SDimitry Andric 
4770b57cec5SDimitry Andric MachineMemOperand *
4780b57cec5SDimitry Andric MachineFunction::getMachineMemOperand(const MachineMemOperand *MMO,
4790b57cec5SDimitry Andric                                       int64_t Offset, uint64_t Size) {
4800b57cec5SDimitry Andric   const MachinePointerInfo &PtrInfo = MMO->getPointerInfo();
4810b57cec5SDimitry Andric 
4820b57cec5SDimitry Andric   // If there is no pointer value, the offset isn't tracked so we need to adjust
4830b57cec5SDimitry Andric   // the base alignment.
484*5ffd83dbSDimitry Andric   Align Alignment = PtrInfo.V.isNull()
485*5ffd83dbSDimitry Andric                         ? commonAlignment(MMO->getBaseAlign(), Offset)
486*5ffd83dbSDimitry Andric                         : MMO->getBaseAlign();
4870b57cec5SDimitry Andric 
4880b57cec5SDimitry Andric   return new (Allocator)
4890b57cec5SDimitry Andric       MachineMemOperand(PtrInfo.getWithOffset(Offset), MMO->getFlags(), Size,
490*5ffd83dbSDimitry Andric                         Alignment, AAMDNodes(), nullptr, MMO->getSyncScopeID(),
4910b57cec5SDimitry Andric                         MMO->getOrdering(), MMO->getFailureOrdering());
4920b57cec5SDimitry Andric }
4930b57cec5SDimitry Andric 
4940b57cec5SDimitry Andric MachineMemOperand *
4950b57cec5SDimitry Andric MachineFunction::getMachineMemOperand(const MachineMemOperand *MMO,
4960b57cec5SDimitry Andric                                       const AAMDNodes &AAInfo) {
4970b57cec5SDimitry Andric   MachinePointerInfo MPI = MMO->getValue() ?
4980b57cec5SDimitry Andric              MachinePointerInfo(MMO->getValue(), MMO->getOffset()) :
4990b57cec5SDimitry Andric              MachinePointerInfo(MMO->getPseudoValue(), MMO->getOffset());
5000b57cec5SDimitry Andric 
501*5ffd83dbSDimitry Andric   return new (Allocator) MachineMemOperand(
502*5ffd83dbSDimitry Andric       MPI, MMO->getFlags(), MMO->getSize(), MMO->getBaseAlign(), AAInfo,
503*5ffd83dbSDimitry Andric       MMO->getRanges(), MMO->getSyncScopeID(), MMO->getOrdering(),
504*5ffd83dbSDimitry Andric       MMO->getFailureOrdering());
5050b57cec5SDimitry Andric }
5060b57cec5SDimitry Andric 
5070b57cec5SDimitry Andric MachineMemOperand *
5080b57cec5SDimitry Andric MachineFunction::getMachineMemOperand(const MachineMemOperand *MMO,
5090b57cec5SDimitry Andric                                       MachineMemOperand::Flags Flags) {
5100b57cec5SDimitry Andric   return new (Allocator) MachineMemOperand(
511*5ffd83dbSDimitry Andric       MMO->getPointerInfo(), Flags, MMO->getSize(), MMO->getBaseAlign(),
5120b57cec5SDimitry Andric       MMO->getAAInfo(), MMO->getRanges(), MMO->getSyncScopeID(),
5130b57cec5SDimitry Andric       MMO->getOrdering(), MMO->getFailureOrdering());
5140b57cec5SDimitry Andric }
5150b57cec5SDimitry Andric 
516480093f4SDimitry Andric MachineInstr::ExtraInfo *MachineFunction::createMIExtraInfo(
517c14a5a88SDimitry Andric     ArrayRef<MachineMemOperand *> MMOs, MCSymbol *PreInstrSymbol,
518c14a5a88SDimitry Andric     MCSymbol *PostInstrSymbol, MDNode *HeapAllocMarker) {
519c14a5a88SDimitry Andric   return MachineInstr::ExtraInfo::create(Allocator, MMOs, PreInstrSymbol,
520c14a5a88SDimitry Andric                                          PostInstrSymbol, HeapAllocMarker);
5210b57cec5SDimitry Andric }
5220b57cec5SDimitry Andric 
5230b57cec5SDimitry Andric const char *MachineFunction::createExternalSymbolName(StringRef Name) {
5240b57cec5SDimitry Andric   char *Dest = Allocator.Allocate<char>(Name.size() + 1);
5250b57cec5SDimitry Andric   llvm::copy(Name, Dest);
5260b57cec5SDimitry Andric   Dest[Name.size()] = 0;
5270b57cec5SDimitry Andric   return Dest;
5280b57cec5SDimitry Andric }
5290b57cec5SDimitry Andric 
5300b57cec5SDimitry Andric uint32_t *MachineFunction::allocateRegMask() {
5310b57cec5SDimitry Andric   unsigned NumRegs = getSubtarget().getRegisterInfo()->getNumRegs();
5320b57cec5SDimitry Andric   unsigned Size = MachineOperand::getRegMaskSize(NumRegs);
5330b57cec5SDimitry Andric   uint32_t *Mask = Allocator.Allocate<uint32_t>(Size);
5340b57cec5SDimitry Andric   memset(Mask, 0, Size * sizeof(Mask[0]));
5350b57cec5SDimitry Andric   return Mask;
5360b57cec5SDimitry Andric }
5370b57cec5SDimitry Andric 
538480093f4SDimitry Andric ArrayRef<int> MachineFunction::allocateShuffleMask(ArrayRef<int> Mask) {
539480093f4SDimitry Andric   int* AllocMask = Allocator.Allocate<int>(Mask.size());
540480093f4SDimitry Andric   copy(Mask, AllocMask);
541480093f4SDimitry Andric   return {AllocMask, Mask.size()};
542480093f4SDimitry Andric }
543480093f4SDimitry Andric 
5440b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
5450b57cec5SDimitry Andric LLVM_DUMP_METHOD void MachineFunction::dump() const {
5460b57cec5SDimitry Andric   print(dbgs());
5470b57cec5SDimitry Andric }
5480b57cec5SDimitry Andric #endif
5490b57cec5SDimitry Andric 
5500b57cec5SDimitry Andric StringRef MachineFunction::getName() const {
5510b57cec5SDimitry Andric   return getFunction().getName();
5520b57cec5SDimitry Andric }
5530b57cec5SDimitry Andric 
5540b57cec5SDimitry Andric void MachineFunction::print(raw_ostream &OS, const SlotIndexes *Indexes) const {
5550b57cec5SDimitry Andric   OS << "# Machine code for function " << getName() << ": ";
5560b57cec5SDimitry Andric   getProperties().print(OS);
5570b57cec5SDimitry Andric   OS << '\n';
5580b57cec5SDimitry Andric 
5590b57cec5SDimitry Andric   // Print Frame Information
5600b57cec5SDimitry Andric   FrameInfo->print(*this, OS);
5610b57cec5SDimitry Andric 
5620b57cec5SDimitry Andric   // Print JumpTable Information
5630b57cec5SDimitry Andric   if (JumpTableInfo)
5640b57cec5SDimitry Andric     JumpTableInfo->print(OS);
5650b57cec5SDimitry Andric 
5660b57cec5SDimitry Andric   // Print Constant Pool
5670b57cec5SDimitry Andric   ConstantPool->print(OS);
5680b57cec5SDimitry Andric 
5690b57cec5SDimitry Andric   const TargetRegisterInfo *TRI = getSubtarget().getRegisterInfo();
5700b57cec5SDimitry Andric 
5710b57cec5SDimitry Andric   if (RegInfo && !RegInfo->livein_empty()) {
5720b57cec5SDimitry Andric     OS << "Function Live Ins: ";
5730b57cec5SDimitry Andric     for (MachineRegisterInfo::livein_iterator
5740b57cec5SDimitry Andric          I = RegInfo->livein_begin(), E = RegInfo->livein_end(); I != E; ++I) {
5750b57cec5SDimitry Andric       OS << printReg(I->first, TRI);
5760b57cec5SDimitry Andric       if (I->second)
5770b57cec5SDimitry Andric         OS << " in " << printReg(I->second, TRI);
5780b57cec5SDimitry Andric       if (std::next(I) != E)
5790b57cec5SDimitry Andric         OS << ", ";
5800b57cec5SDimitry Andric     }
5810b57cec5SDimitry Andric     OS << '\n';
5820b57cec5SDimitry Andric   }
5830b57cec5SDimitry Andric 
5840b57cec5SDimitry Andric   ModuleSlotTracker MST(getFunction().getParent());
5850b57cec5SDimitry Andric   MST.incorporateFunction(getFunction());
5860b57cec5SDimitry Andric   for (const auto &BB : *this) {
5870b57cec5SDimitry Andric     OS << '\n';
5880b57cec5SDimitry Andric     // If we print the whole function, print it at its most verbose level.
5890b57cec5SDimitry Andric     BB.print(OS, MST, Indexes, /*IsStandalone=*/true);
5900b57cec5SDimitry Andric   }
5910b57cec5SDimitry Andric 
5920b57cec5SDimitry Andric   OS << "\n# End machine code for function " << getName() << ".\n\n";
5930b57cec5SDimitry Andric }
5940b57cec5SDimitry Andric 
595480093f4SDimitry Andric /// True if this function needs frame moves for debug or exceptions.
596480093f4SDimitry Andric bool MachineFunction::needsFrameMoves() const {
597480093f4SDimitry Andric   return getMMI().hasDebugInfo() ||
598480093f4SDimitry Andric          getTarget().Options.ForceDwarfFrameSection ||
599480093f4SDimitry Andric          F.needsUnwindTableEntry();
600480093f4SDimitry Andric }
601480093f4SDimitry Andric 
6020b57cec5SDimitry Andric namespace llvm {
6030b57cec5SDimitry Andric 
6040b57cec5SDimitry Andric   template<>
6050b57cec5SDimitry Andric   struct DOTGraphTraits<const MachineFunction*> : public DefaultDOTGraphTraits {
6060b57cec5SDimitry Andric     DOTGraphTraits(bool isSimple = false) : DefaultDOTGraphTraits(isSimple) {}
6070b57cec5SDimitry Andric 
6080b57cec5SDimitry Andric     static std::string getGraphName(const MachineFunction *F) {
6090b57cec5SDimitry Andric       return ("CFG for '" + F->getName() + "' function").str();
6100b57cec5SDimitry Andric     }
6110b57cec5SDimitry Andric 
6120b57cec5SDimitry Andric     std::string getNodeLabel(const MachineBasicBlock *Node,
6130b57cec5SDimitry Andric                              const MachineFunction *Graph) {
6140b57cec5SDimitry Andric       std::string OutStr;
6150b57cec5SDimitry Andric       {
6160b57cec5SDimitry Andric         raw_string_ostream OSS(OutStr);
6170b57cec5SDimitry Andric 
6180b57cec5SDimitry Andric         if (isSimple()) {
6190b57cec5SDimitry Andric           OSS << printMBBReference(*Node);
6200b57cec5SDimitry Andric           if (const BasicBlock *BB = Node->getBasicBlock())
6210b57cec5SDimitry Andric             OSS << ": " << BB->getName();
6220b57cec5SDimitry Andric         } else
6230b57cec5SDimitry Andric           Node->print(OSS);
6240b57cec5SDimitry Andric       }
6250b57cec5SDimitry Andric 
6260b57cec5SDimitry Andric       if (OutStr[0] == '\n') OutStr.erase(OutStr.begin());
6270b57cec5SDimitry Andric 
6280b57cec5SDimitry Andric       // Process string output to make it nicer...
6290b57cec5SDimitry Andric       for (unsigned i = 0; i != OutStr.length(); ++i)
6300b57cec5SDimitry Andric         if (OutStr[i] == '\n') {                            // Left justify
6310b57cec5SDimitry Andric           OutStr[i] = '\\';
6320b57cec5SDimitry Andric           OutStr.insert(OutStr.begin()+i+1, 'l');
6330b57cec5SDimitry Andric         }
6340b57cec5SDimitry Andric       return OutStr;
6350b57cec5SDimitry Andric     }
6360b57cec5SDimitry Andric   };
6370b57cec5SDimitry Andric 
6380b57cec5SDimitry Andric } // end namespace llvm
6390b57cec5SDimitry Andric 
6400b57cec5SDimitry Andric void MachineFunction::viewCFG() const
6410b57cec5SDimitry Andric {
6420b57cec5SDimitry Andric #ifndef NDEBUG
6430b57cec5SDimitry Andric   ViewGraph(this, "mf" + getName());
6440b57cec5SDimitry Andric #else
6450b57cec5SDimitry Andric   errs() << "MachineFunction::viewCFG is only available in debug builds on "
6460b57cec5SDimitry Andric          << "systems with Graphviz or gv!\n";
6470b57cec5SDimitry Andric #endif // NDEBUG
6480b57cec5SDimitry Andric }
6490b57cec5SDimitry Andric 
6500b57cec5SDimitry Andric void MachineFunction::viewCFGOnly() const
6510b57cec5SDimitry Andric {
6520b57cec5SDimitry Andric #ifndef NDEBUG
6530b57cec5SDimitry Andric   ViewGraph(this, "mf" + getName(), true);
6540b57cec5SDimitry Andric #else
6550b57cec5SDimitry Andric   errs() << "MachineFunction::viewCFGOnly is only available in debug builds on "
6560b57cec5SDimitry Andric          << "systems with Graphviz or gv!\n";
6570b57cec5SDimitry Andric #endif // NDEBUG
6580b57cec5SDimitry Andric }
6590b57cec5SDimitry Andric 
6600b57cec5SDimitry Andric /// Add the specified physical register as a live-in value and
6610b57cec5SDimitry Andric /// create a corresponding virtual register for it.
662*5ffd83dbSDimitry Andric Register MachineFunction::addLiveIn(MCRegister PReg,
6630b57cec5SDimitry Andric                                     const TargetRegisterClass *RC) {
6640b57cec5SDimitry Andric   MachineRegisterInfo &MRI = getRegInfo();
665*5ffd83dbSDimitry Andric   Register VReg = MRI.getLiveInVirtReg(PReg);
6660b57cec5SDimitry Andric   if (VReg) {
6670b57cec5SDimitry Andric     const TargetRegisterClass *VRegRC = MRI.getRegClass(VReg);
6680b57cec5SDimitry Andric     (void)VRegRC;
6690b57cec5SDimitry Andric     // A physical register can be added several times.
6700b57cec5SDimitry Andric     // Between two calls, the register class of the related virtual register
6710b57cec5SDimitry Andric     // may have been constrained to match some operation constraints.
6720b57cec5SDimitry Andric     // In that case, check that the current register class includes the
6730b57cec5SDimitry Andric     // physical register and is a sub class of the specified RC.
6740b57cec5SDimitry Andric     assert((VRegRC == RC || (VRegRC->contains(PReg) &&
6750b57cec5SDimitry Andric                              RC->hasSubClassEq(VRegRC))) &&
6760b57cec5SDimitry Andric             "Register class mismatch!");
6770b57cec5SDimitry Andric     return VReg;
6780b57cec5SDimitry Andric   }
6790b57cec5SDimitry Andric   VReg = MRI.createVirtualRegister(RC);
6800b57cec5SDimitry Andric   MRI.addLiveIn(PReg, VReg);
6810b57cec5SDimitry Andric   return VReg;
6820b57cec5SDimitry Andric }
6830b57cec5SDimitry Andric 
6840b57cec5SDimitry Andric /// Return the MCSymbol for the specified non-empty jump table.
6850b57cec5SDimitry Andric /// If isLinkerPrivate is specified, an 'l' label is returned, otherwise a
6860b57cec5SDimitry Andric /// normal 'L' label is returned.
6870b57cec5SDimitry Andric MCSymbol *MachineFunction::getJTISymbol(unsigned JTI, MCContext &Ctx,
6880b57cec5SDimitry Andric                                         bool isLinkerPrivate) const {
6890b57cec5SDimitry Andric   const DataLayout &DL = getDataLayout();
6900b57cec5SDimitry Andric   assert(JumpTableInfo && "No jump tables");
6910b57cec5SDimitry Andric   assert(JTI < JumpTableInfo->getJumpTables().size() && "Invalid JTI!");
6920b57cec5SDimitry Andric 
6930b57cec5SDimitry Andric   StringRef Prefix = isLinkerPrivate ? DL.getLinkerPrivateGlobalPrefix()
6940b57cec5SDimitry Andric                                      : DL.getPrivateGlobalPrefix();
6950b57cec5SDimitry Andric   SmallString<60> Name;
6960b57cec5SDimitry Andric   raw_svector_ostream(Name)
6970b57cec5SDimitry Andric     << Prefix << "JTI" << getFunctionNumber() << '_' << JTI;
6980b57cec5SDimitry Andric   return Ctx.getOrCreateSymbol(Name);
6990b57cec5SDimitry Andric }
7000b57cec5SDimitry Andric 
7010b57cec5SDimitry Andric /// Return a function-local symbol to represent the PIC base.
7020b57cec5SDimitry Andric MCSymbol *MachineFunction::getPICBaseSymbol() const {
7030b57cec5SDimitry Andric   const DataLayout &DL = getDataLayout();
7040b57cec5SDimitry Andric   return Ctx.getOrCreateSymbol(Twine(DL.getPrivateGlobalPrefix()) +
7050b57cec5SDimitry Andric                                Twine(getFunctionNumber()) + "$pb");
7060b57cec5SDimitry Andric }
7070b57cec5SDimitry Andric 
7080b57cec5SDimitry Andric /// \name Exception Handling
7090b57cec5SDimitry Andric /// \{
7100b57cec5SDimitry Andric 
7110b57cec5SDimitry Andric LandingPadInfo &
7120b57cec5SDimitry Andric MachineFunction::getOrCreateLandingPadInfo(MachineBasicBlock *LandingPad) {
7130b57cec5SDimitry Andric   unsigned N = LandingPads.size();
7140b57cec5SDimitry Andric   for (unsigned i = 0; i < N; ++i) {
7150b57cec5SDimitry Andric     LandingPadInfo &LP = LandingPads[i];
7160b57cec5SDimitry Andric     if (LP.LandingPadBlock == LandingPad)
7170b57cec5SDimitry Andric       return LP;
7180b57cec5SDimitry Andric   }
7190b57cec5SDimitry Andric 
7200b57cec5SDimitry Andric   LandingPads.push_back(LandingPadInfo(LandingPad));
7210b57cec5SDimitry Andric   return LandingPads[N];
7220b57cec5SDimitry Andric }
7230b57cec5SDimitry Andric 
7240b57cec5SDimitry Andric void MachineFunction::addInvoke(MachineBasicBlock *LandingPad,
7250b57cec5SDimitry Andric                                 MCSymbol *BeginLabel, MCSymbol *EndLabel) {
7260b57cec5SDimitry Andric   LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
7270b57cec5SDimitry Andric   LP.BeginLabels.push_back(BeginLabel);
7280b57cec5SDimitry Andric   LP.EndLabels.push_back(EndLabel);
7290b57cec5SDimitry Andric }
7300b57cec5SDimitry Andric 
7310b57cec5SDimitry Andric MCSymbol *MachineFunction::addLandingPad(MachineBasicBlock *LandingPad) {
7320b57cec5SDimitry Andric   MCSymbol *LandingPadLabel = Ctx.createTempSymbol();
7330b57cec5SDimitry Andric   LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
7340b57cec5SDimitry Andric   LP.LandingPadLabel = LandingPadLabel;
7350b57cec5SDimitry Andric 
7360b57cec5SDimitry Andric   const Instruction *FirstI = LandingPad->getBasicBlock()->getFirstNonPHI();
7370b57cec5SDimitry Andric   if (const auto *LPI = dyn_cast<LandingPadInst>(FirstI)) {
7380b57cec5SDimitry Andric     if (const auto *PF =
7390b57cec5SDimitry Andric             dyn_cast<Function>(F.getPersonalityFn()->stripPointerCasts()))
7400b57cec5SDimitry Andric       getMMI().addPersonality(PF);
7410b57cec5SDimitry Andric 
7420b57cec5SDimitry Andric     if (LPI->isCleanup())
7430b57cec5SDimitry Andric       addCleanup(LandingPad);
7440b57cec5SDimitry Andric 
7450b57cec5SDimitry Andric     // FIXME: New EH - Add the clauses in reverse order. This isn't 100%
7460b57cec5SDimitry Andric     //        correct, but we need to do it this way because of how the DWARF EH
7470b57cec5SDimitry Andric     //        emitter processes the clauses.
7480b57cec5SDimitry Andric     for (unsigned I = LPI->getNumClauses(); I != 0; --I) {
7490b57cec5SDimitry Andric       Value *Val = LPI->getClause(I - 1);
7500b57cec5SDimitry Andric       if (LPI->isCatch(I - 1)) {
7510b57cec5SDimitry Andric         addCatchTypeInfo(LandingPad,
7520b57cec5SDimitry Andric                          dyn_cast<GlobalValue>(Val->stripPointerCasts()));
7530b57cec5SDimitry Andric       } else {
7540b57cec5SDimitry Andric         // Add filters in a list.
7550b57cec5SDimitry Andric         auto *CVal = cast<Constant>(Val);
7560b57cec5SDimitry Andric         SmallVector<const GlobalValue *, 4> FilterList;
7570b57cec5SDimitry Andric         for (User::op_iterator II = CVal->op_begin(), IE = CVal->op_end();
7580b57cec5SDimitry Andric              II != IE; ++II)
7590b57cec5SDimitry Andric           FilterList.push_back(cast<GlobalValue>((*II)->stripPointerCasts()));
7600b57cec5SDimitry Andric 
7610b57cec5SDimitry Andric         addFilterTypeInfo(LandingPad, FilterList);
7620b57cec5SDimitry Andric       }
7630b57cec5SDimitry Andric     }
7640b57cec5SDimitry Andric 
7650b57cec5SDimitry Andric   } else if (const auto *CPI = dyn_cast<CatchPadInst>(FirstI)) {
7660b57cec5SDimitry Andric     for (unsigned I = CPI->getNumArgOperands(); I != 0; --I) {
7670b57cec5SDimitry Andric       Value *TypeInfo = CPI->getArgOperand(I - 1)->stripPointerCasts();
7680b57cec5SDimitry Andric       addCatchTypeInfo(LandingPad, dyn_cast<GlobalValue>(TypeInfo));
7690b57cec5SDimitry Andric     }
7700b57cec5SDimitry Andric 
7710b57cec5SDimitry Andric   } else {
7720b57cec5SDimitry Andric     assert(isa<CleanupPadInst>(FirstI) && "Invalid landingpad!");
7730b57cec5SDimitry Andric   }
7740b57cec5SDimitry Andric 
7750b57cec5SDimitry Andric   return LandingPadLabel;
7760b57cec5SDimitry Andric }
7770b57cec5SDimitry Andric 
7780b57cec5SDimitry Andric void MachineFunction::addCatchTypeInfo(MachineBasicBlock *LandingPad,
7790b57cec5SDimitry Andric                                        ArrayRef<const GlobalValue *> TyInfo) {
7800b57cec5SDimitry Andric   LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
7810b57cec5SDimitry Andric   for (unsigned N = TyInfo.size(); N; --N)
7820b57cec5SDimitry Andric     LP.TypeIds.push_back(getTypeIDFor(TyInfo[N - 1]));
7830b57cec5SDimitry Andric }
7840b57cec5SDimitry Andric 
7850b57cec5SDimitry Andric void MachineFunction::addFilterTypeInfo(MachineBasicBlock *LandingPad,
7860b57cec5SDimitry Andric                                         ArrayRef<const GlobalValue *> TyInfo) {
7870b57cec5SDimitry Andric   LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
7880b57cec5SDimitry Andric   std::vector<unsigned> IdsInFilter(TyInfo.size());
7890b57cec5SDimitry Andric   for (unsigned I = 0, E = TyInfo.size(); I != E; ++I)
7900b57cec5SDimitry Andric     IdsInFilter[I] = getTypeIDFor(TyInfo[I]);
7910b57cec5SDimitry Andric   LP.TypeIds.push_back(getFilterIDFor(IdsInFilter));
7920b57cec5SDimitry Andric }
7930b57cec5SDimitry Andric 
7940b57cec5SDimitry Andric void MachineFunction::tidyLandingPads(DenseMap<MCSymbol *, uintptr_t> *LPMap,
7950b57cec5SDimitry Andric                                       bool TidyIfNoBeginLabels) {
7960b57cec5SDimitry Andric   for (unsigned i = 0; i != LandingPads.size(); ) {
7970b57cec5SDimitry Andric     LandingPadInfo &LandingPad = LandingPads[i];
7980b57cec5SDimitry Andric     if (LandingPad.LandingPadLabel &&
7990b57cec5SDimitry Andric         !LandingPad.LandingPadLabel->isDefined() &&
8000b57cec5SDimitry Andric         (!LPMap || (*LPMap)[LandingPad.LandingPadLabel] == 0))
8010b57cec5SDimitry Andric       LandingPad.LandingPadLabel = nullptr;
8020b57cec5SDimitry Andric 
8030b57cec5SDimitry Andric     // Special case: we *should* emit LPs with null LP MBB. This indicates
8040b57cec5SDimitry Andric     // "nounwind" case.
8050b57cec5SDimitry Andric     if (!LandingPad.LandingPadLabel && LandingPad.LandingPadBlock) {
8060b57cec5SDimitry Andric       LandingPads.erase(LandingPads.begin() + i);
8070b57cec5SDimitry Andric       continue;
8080b57cec5SDimitry Andric     }
8090b57cec5SDimitry Andric 
8100b57cec5SDimitry Andric     if (TidyIfNoBeginLabels) {
8110b57cec5SDimitry Andric       for (unsigned j = 0, e = LandingPads[i].BeginLabels.size(); j != e; ++j) {
8120b57cec5SDimitry Andric         MCSymbol *BeginLabel = LandingPad.BeginLabels[j];
8130b57cec5SDimitry Andric         MCSymbol *EndLabel = LandingPad.EndLabels[j];
8140b57cec5SDimitry Andric         if ((BeginLabel->isDefined() || (LPMap && (*LPMap)[BeginLabel] != 0)) &&
8150b57cec5SDimitry Andric             (EndLabel->isDefined() || (LPMap && (*LPMap)[EndLabel] != 0)))
8160b57cec5SDimitry Andric           continue;
8170b57cec5SDimitry Andric 
8180b57cec5SDimitry Andric         LandingPad.BeginLabels.erase(LandingPad.BeginLabels.begin() + j);
8190b57cec5SDimitry Andric         LandingPad.EndLabels.erase(LandingPad.EndLabels.begin() + j);
8200b57cec5SDimitry Andric         --j;
8210b57cec5SDimitry Andric         --e;
8220b57cec5SDimitry Andric       }
8230b57cec5SDimitry Andric 
8240b57cec5SDimitry Andric       // Remove landing pads with no try-ranges.
8250b57cec5SDimitry Andric       if (LandingPads[i].BeginLabels.empty()) {
8260b57cec5SDimitry Andric         LandingPads.erase(LandingPads.begin() + i);
8270b57cec5SDimitry Andric         continue;
8280b57cec5SDimitry Andric       }
8290b57cec5SDimitry Andric     }
8300b57cec5SDimitry Andric 
8310b57cec5SDimitry Andric     // If there is no landing pad, ensure that the list of typeids is empty.
8320b57cec5SDimitry Andric     // If the only typeid is a cleanup, this is the same as having no typeids.
8330b57cec5SDimitry Andric     if (!LandingPad.LandingPadBlock ||
8340b57cec5SDimitry Andric         (LandingPad.TypeIds.size() == 1 && !LandingPad.TypeIds[0]))
8350b57cec5SDimitry Andric       LandingPad.TypeIds.clear();
8360b57cec5SDimitry Andric     ++i;
8370b57cec5SDimitry Andric   }
8380b57cec5SDimitry Andric }
8390b57cec5SDimitry Andric 
8400b57cec5SDimitry Andric void MachineFunction::addCleanup(MachineBasicBlock *LandingPad) {
8410b57cec5SDimitry Andric   LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
8420b57cec5SDimitry Andric   LP.TypeIds.push_back(0);
8430b57cec5SDimitry Andric }
8440b57cec5SDimitry Andric 
8450b57cec5SDimitry Andric void MachineFunction::addSEHCatchHandler(MachineBasicBlock *LandingPad,
8460b57cec5SDimitry Andric                                          const Function *Filter,
8470b57cec5SDimitry Andric                                          const BlockAddress *RecoverBA) {
8480b57cec5SDimitry Andric   LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
8490b57cec5SDimitry Andric   SEHHandler Handler;
8500b57cec5SDimitry Andric   Handler.FilterOrFinally = Filter;
8510b57cec5SDimitry Andric   Handler.RecoverBA = RecoverBA;
8520b57cec5SDimitry Andric   LP.SEHHandlers.push_back(Handler);
8530b57cec5SDimitry Andric }
8540b57cec5SDimitry Andric 
8550b57cec5SDimitry Andric void MachineFunction::addSEHCleanupHandler(MachineBasicBlock *LandingPad,
8560b57cec5SDimitry Andric                                            const Function *Cleanup) {
8570b57cec5SDimitry Andric   LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad);
8580b57cec5SDimitry Andric   SEHHandler Handler;
8590b57cec5SDimitry Andric   Handler.FilterOrFinally = Cleanup;
8600b57cec5SDimitry Andric   Handler.RecoverBA = nullptr;
8610b57cec5SDimitry Andric   LP.SEHHandlers.push_back(Handler);
8620b57cec5SDimitry Andric }
8630b57cec5SDimitry Andric 
8640b57cec5SDimitry Andric void MachineFunction::setCallSiteLandingPad(MCSymbol *Sym,
8650b57cec5SDimitry Andric                                             ArrayRef<unsigned> Sites) {
8660b57cec5SDimitry Andric   LPadToCallSiteMap[Sym].append(Sites.begin(), Sites.end());
8670b57cec5SDimitry Andric }
8680b57cec5SDimitry Andric 
8690b57cec5SDimitry Andric unsigned MachineFunction::getTypeIDFor(const GlobalValue *TI) {
8700b57cec5SDimitry Andric   for (unsigned i = 0, N = TypeInfos.size(); i != N; ++i)
8710b57cec5SDimitry Andric     if (TypeInfos[i] == TI) return i + 1;
8720b57cec5SDimitry Andric 
8730b57cec5SDimitry Andric   TypeInfos.push_back(TI);
8740b57cec5SDimitry Andric   return TypeInfos.size();
8750b57cec5SDimitry Andric }
8760b57cec5SDimitry Andric 
8770b57cec5SDimitry Andric int MachineFunction::getFilterIDFor(std::vector<unsigned> &TyIds) {
8780b57cec5SDimitry Andric   // If the new filter coincides with the tail of an existing filter, then
8790b57cec5SDimitry Andric   // re-use the existing filter.  Folding filters more than this requires
8800b57cec5SDimitry Andric   // re-ordering filters and/or their elements - probably not worth it.
8810b57cec5SDimitry Andric   for (std::vector<unsigned>::iterator I = FilterEnds.begin(),
8820b57cec5SDimitry Andric        E = FilterEnds.end(); I != E; ++I) {
8830b57cec5SDimitry Andric     unsigned i = *I, j = TyIds.size();
8840b57cec5SDimitry Andric 
8850b57cec5SDimitry Andric     while (i && j)
8860b57cec5SDimitry Andric       if (FilterIds[--i] != TyIds[--j])
8870b57cec5SDimitry Andric         goto try_next;
8880b57cec5SDimitry Andric 
8890b57cec5SDimitry Andric     if (!j)
8900b57cec5SDimitry Andric       // The new filter coincides with range [i, end) of the existing filter.
8910b57cec5SDimitry Andric       return -(1 + i);
8920b57cec5SDimitry Andric 
8930b57cec5SDimitry Andric try_next:;
8940b57cec5SDimitry Andric   }
8950b57cec5SDimitry Andric 
8960b57cec5SDimitry Andric   // Add the new filter.
8970b57cec5SDimitry Andric   int FilterID = -(1 + FilterIds.size());
8980b57cec5SDimitry Andric   FilterIds.reserve(FilterIds.size() + TyIds.size() + 1);
8990b57cec5SDimitry Andric   FilterIds.insert(FilterIds.end(), TyIds.begin(), TyIds.end());
9000b57cec5SDimitry Andric   FilterEnds.push_back(FilterIds.size());
9010b57cec5SDimitry Andric   FilterIds.push_back(0); // terminator
9020b57cec5SDimitry Andric   return FilterID;
9030b57cec5SDimitry Andric }
9040b57cec5SDimitry Andric 
905480093f4SDimitry Andric MachineFunction::CallSiteInfoMap::iterator
906480093f4SDimitry Andric MachineFunction::getCallSiteInfo(const MachineInstr *MI) {
907*5ffd83dbSDimitry Andric   assert(MI->isCandidateForCallSiteEntry() &&
908*5ffd83dbSDimitry Andric          "Call site info refers only to call (MI) candidates");
9090b57cec5SDimitry Andric 
910*5ffd83dbSDimitry Andric   if (!Target.Options.EmitCallSiteInfo)
911480093f4SDimitry Andric     return CallSitesInfo.end();
912480093f4SDimitry Andric   return CallSitesInfo.find(MI);
9130b57cec5SDimitry Andric }
9140b57cec5SDimitry Andric 
915*5ffd83dbSDimitry Andric /// Return the call machine instruction or find a call within bundle.
916*5ffd83dbSDimitry Andric static const MachineInstr *getCallInstr(const MachineInstr *MI) {
917*5ffd83dbSDimitry Andric   if (!MI->isBundle())
918*5ffd83dbSDimitry Andric     return MI;
9190b57cec5SDimitry Andric 
920*5ffd83dbSDimitry Andric   for (auto &BMI : make_range(getBundleStart(MI->getIterator()),
921*5ffd83dbSDimitry Andric                               getBundleEnd(MI->getIterator())))
922*5ffd83dbSDimitry Andric     if (BMI.isCandidateForCallSiteEntry())
923*5ffd83dbSDimitry Andric       return &BMI;
9248bcb0991SDimitry Andric 
925*5ffd83dbSDimitry Andric   llvm_unreachable("Unexpected bundle without a call site candidate");
9268bcb0991SDimitry Andric }
9278bcb0991SDimitry Andric 
9288bcb0991SDimitry Andric void MachineFunction::eraseCallSiteInfo(const MachineInstr *MI) {
929*5ffd83dbSDimitry Andric   assert(MI->shouldUpdateCallSiteInfo() &&
930*5ffd83dbSDimitry Andric          "Call site info refers only to call (MI) candidates or "
931*5ffd83dbSDimitry Andric          "candidates inside bundles");
932*5ffd83dbSDimitry Andric 
933*5ffd83dbSDimitry Andric   const MachineInstr *CallMI = getCallInstr(MI);
934*5ffd83dbSDimitry Andric   CallSiteInfoMap::iterator CSIt = getCallSiteInfo(CallMI);
9358bcb0991SDimitry Andric   if (CSIt == CallSitesInfo.end())
9368bcb0991SDimitry Andric     return;
9378bcb0991SDimitry Andric   CallSitesInfo.erase(CSIt);
9388bcb0991SDimitry Andric }
9398bcb0991SDimitry Andric 
9408bcb0991SDimitry Andric void MachineFunction::copyCallSiteInfo(const MachineInstr *Old,
9418bcb0991SDimitry Andric                                        const MachineInstr *New) {
942*5ffd83dbSDimitry Andric   assert(Old->shouldUpdateCallSiteInfo() &&
943*5ffd83dbSDimitry Andric          "Call site info refers only to call (MI) candidates or "
944*5ffd83dbSDimitry Andric          "candidates inside bundles");
9458bcb0991SDimitry Andric 
946*5ffd83dbSDimitry Andric   if (!New->isCandidateForCallSiteEntry())
947*5ffd83dbSDimitry Andric     return eraseCallSiteInfo(Old);
948*5ffd83dbSDimitry Andric 
949*5ffd83dbSDimitry Andric   const MachineInstr *OldCallMI = getCallInstr(Old);
950*5ffd83dbSDimitry Andric   CallSiteInfoMap::iterator CSIt = getCallSiteInfo(OldCallMI);
9518bcb0991SDimitry Andric   if (CSIt == CallSitesInfo.end())
9528bcb0991SDimitry Andric     return;
9538bcb0991SDimitry Andric 
9548bcb0991SDimitry Andric   CallSiteInfo CSInfo = CSIt->second;
9550b57cec5SDimitry Andric   CallSitesInfo[New] = CSInfo;
9560b57cec5SDimitry Andric }
9570b57cec5SDimitry Andric 
958*5ffd83dbSDimitry Andric void MachineFunction::moveCallSiteInfo(const MachineInstr *Old,
959*5ffd83dbSDimitry Andric                                        const MachineInstr *New) {
960*5ffd83dbSDimitry Andric   assert(Old->shouldUpdateCallSiteInfo() &&
961*5ffd83dbSDimitry Andric          "Call site info refers only to call (MI) candidates or "
962*5ffd83dbSDimitry Andric          "candidates inside bundles");
963*5ffd83dbSDimitry Andric 
964*5ffd83dbSDimitry Andric   if (!New->isCandidateForCallSiteEntry())
965*5ffd83dbSDimitry Andric     return eraseCallSiteInfo(Old);
966*5ffd83dbSDimitry Andric 
967*5ffd83dbSDimitry Andric   const MachineInstr *OldCallMI = getCallInstr(Old);
968*5ffd83dbSDimitry Andric   CallSiteInfoMap::iterator CSIt = getCallSiteInfo(OldCallMI);
969*5ffd83dbSDimitry Andric   if (CSIt == CallSitesInfo.end())
970*5ffd83dbSDimitry Andric     return;
971*5ffd83dbSDimitry Andric 
972*5ffd83dbSDimitry Andric   CallSiteInfo CSInfo = std::move(CSIt->second);
973*5ffd83dbSDimitry Andric   CallSitesInfo.erase(CSIt);
974*5ffd83dbSDimitry Andric   CallSitesInfo[New] = CSInfo;
975*5ffd83dbSDimitry Andric }
976*5ffd83dbSDimitry Andric 
9770b57cec5SDimitry Andric /// \}
9780b57cec5SDimitry Andric 
9790b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
9800b57cec5SDimitry Andric //  MachineJumpTableInfo implementation
9810b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
9820b57cec5SDimitry Andric 
9830b57cec5SDimitry Andric /// Return the size of each entry in the jump table.
9840b57cec5SDimitry Andric unsigned MachineJumpTableInfo::getEntrySize(const DataLayout &TD) const {
9850b57cec5SDimitry Andric   // The size of a jump table entry is 4 bytes unless the entry is just the
9860b57cec5SDimitry Andric   // address of a block, in which case it is the pointer size.
9870b57cec5SDimitry Andric   switch (getEntryKind()) {
9880b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_BlockAddress:
9890b57cec5SDimitry Andric     return TD.getPointerSize();
9900b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_GPRel64BlockAddress:
9910b57cec5SDimitry Andric     return 8;
9920b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_GPRel32BlockAddress:
9930b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_LabelDifference32:
9940b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_Custom32:
9950b57cec5SDimitry Andric     return 4;
9960b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_Inline:
9970b57cec5SDimitry Andric     return 0;
9980b57cec5SDimitry Andric   }
9990b57cec5SDimitry Andric   llvm_unreachable("Unknown jump table encoding!");
10000b57cec5SDimitry Andric }
10010b57cec5SDimitry Andric 
10020b57cec5SDimitry Andric /// Return the alignment of each entry in the jump table.
10030b57cec5SDimitry Andric unsigned MachineJumpTableInfo::getEntryAlignment(const DataLayout &TD) const {
10040b57cec5SDimitry Andric   // The alignment of a jump table entry is the alignment of int32 unless the
10050b57cec5SDimitry Andric   // entry is just the address of a block, in which case it is the pointer
10060b57cec5SDimitry Andric   // alignment.
10070b57cec5SDimitry Andric   switch (getEntryKind()) {
10080b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_BlockAddress:
10098bcb0991SDimitry Andric     return TD.getPointerABIAlignment(0).value();
10100b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_GPRel64BlockAddress:
10118bcb0991SDimitry Andric     return TD.getABIIntegerTypeAlignment(64).value();
10120b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_GPRel32BlockAddress:
10130b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_LabelDifference32:
10140b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_Custom32:
10158bcb0991SDimitry Andric     return TD.getABIIntegerTypeAlignment(32).value();
10160b57cec5SDimitry Andric   case MachineJumpTableInfo::EK_Inline:
10170b57cec5SDimitry Andric     return 1;
10180b57cec5SDimitry Andric   }
10190b57cec5SDimitry Andric   llvm_unreachable("Unknown jump table encoding!");
10200b57cec5SDimitry Andric }
10210b57cec5SDimitry Andric 
10220b57cec5SDimitry Andric /// Create a new jump table entry in the jump table info.
10230b57cec5SDimitry Andric unsigned MachineJumpTableInfo::createJumpTableIndex(
10240b57cec5SDimitry Andric                                const std::vector<MachineBasicBlock*> &DestBBs) {
10250b57cec5SDimitry Andric   assert(!DestBBs.empty() && "Cannot create an empty jump table!");
10260b57cec5SDimitry Andric   JumpTables.push_back(MachineJumpTableEntry(DestBBs));
10270b57cec5SDimitry Andric   return JumpTables.size()-1;
10280b57cec5SDimitry Andric }
10290b57cec5SDimitry Andric 
10300b57cec5SDimitry Andric /// If Old is the target of any jump tables, update the jump tables to branch
10310b57cec5SDimitry Andric /// to New instead.
10320b57cec5SDimitry Andric bool MachineJumpTableInfo::ReplaceMBBInJumpTables(MachineBasicBlock *Old,
10330b57cec5SDimitry Andric                                                   MachineBasicBlock *New) {
10340b57cec5SDimitry Andric   assert(Old != New && "Not making a change?");
10350b57cec5SDimitry Andric   bool MadeChange = false;
10360b57cec5SDimitry Andric   for (size_t i = 0, e = JumpTables.size(); i != e; ++i)
10370b57cec5SDimitry Andric     ReplaceMBBInJumpTable(i, Old, New);
10380b57cec5SDimitry Andric   return MadeChange;
10390b57cec5SDimitry Andric }
10400b57cec5SDimitry Andric 
10410b57cec5SDimitry Andric /// If Old is a target of the jump tables, update the jump table to branch to
10420b57cec5SDimitry Andric /// New instead.
10430b57cec5SDimitry Andric bool MachineJumpTableInfo::ReplaceMBBInJumpTable(unsigned Idx,
10440b57cec5SDimitry Andric                                                  MachineBasicBlock *Old,
10450b57cec5SDimitry Andric                                                  MachineBasicBlock *New) {
10460b57cec5SDimitry Andric   assert(Old != New && "Not making a change?");
10470b57cec5SDimitry Andric   bool MadeChange = false;
10480b57cec5SDimitry Andric   MachineJumpTableEntry &JTE = JumpTables[Idx];
10490b57cec5SDimitry Andric   for (size_t j = 0, e = JTE.MBBs.size(); j != e; ++j)
10500b57cec5SDimitry Andric     if (JTE.MBBs[j] == Old) {
10510b57cec5SDimitry Andric       JTE.MBBs[j] = New;
10520b57cec5SDimitry Andric       MadeChange = true;
10530b57cec5SDimitry Andric     }
10540b57cec5SDimitry Andric   return MadeChange;
10550b57cec5SDimitry Andric }
10560b57cec5SDimitry Andric 
10570b57cec5SDimitry Andric void MachineJumpTableInfo::print(raw_ostream &OS) const {
10580b57cec5SDimitry Andric   if (JumpTables.empty()) return;
10590b57cec5SDimitry Andric 
10600b57cec5SDimitry Andric   OS << "Jump Tables:\n";
10610b57cec5SDimitry Andric 
10620b57cec5SDimitry Andric   for (unsigned i = 0, e = JumpTables.size(); i != e; ++i) {
10630b57cec5SDimitry Andric     OS << printJumpTableEntryReference(i) << ':';
10640b57cec5SDimitry Andric     for (unsigned j = 0, f = JumpTables[i].MBBs.size(); j != f; ++j)
10650b57cec5SDimitry Andric       OS << ' ' << printMBBReference(*JumpTables[i].MBBs[j]);
10660b57cec5SDimitry Andric     if (i != e)
10670b57cec5SDimitry Andric       OS << '\n';
10680b57cec5SDimitry Andric   }
10690b57cec5SDimitry Andric 
10700b57cec5SDimitry Andric   OS << '\n';
10710b57cec5SDimitry Andric }
10720b57cec5SDimitry Andric 
10730b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
10740b57cec5SDimitry Andric LLVM_DUMP_METHOD void MachineJumpTableInfo::dump() const { print(dbgs()); }
10750b57cec5SDimitry Andric #endif
10760b57cec5SDimitry Andric 
10770b57cec5SDimitry Andric Printable llvm::printJumpTableEntryReference(unsigned Idx) {
10780b57cec5SDimitry Andric   return Printable([Idx](raw_ostream &OS) { OS << "%jump-table." << Idx; });
10790b57cec5SDimitry Andric }
10800b57cec5SDimitry Andric 
10810b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
10820b57cec5SDimitry Andric //  MachineConstantPool implementation
10830b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
10840b57cec5SDimitry Andric 
10850b57cec5SDimitry Andric void MachineConstantPoolValue::anchor() {}
10860b57cec5SDimitry Andric 
10870b57cec5SDimitry Andric Type *MachineConstantPoolEntry::getType() const {
10880b57cec5SDimitry Andric   if (isMachineConstantPoolEntry())
10890b57cec5SDimitry Andric     return Val.MachineCPVal->getType();
10900b57cec5SDimitry Andric   return Val.ConstVal->getType();
10910b57cec5SDimitry Andric }
10920b57cec5SDimitry Andric 
10930b57cec5SDimitry Andric bool MachineConstantPoolEntry::needsRelocation() const {
10940b57cec5SDimitry Andric   if (isMachineConstantPoolEntry())
10950b57cec5SDimitry Andric     return true;
10960b57cec5SDimitry Andric   return Val.ConstVal->needsRelocation();
10970b57cec5SDimitry Andric }
10980b57cec5SDimitry Andric 
10990b57cec5SDimitry Andric SectionKind
11000b57cec5SDimitry Andric MachineConstantPoolEntry::getSectionKind(const DataLayout *DL) const {
11010b57cec5SDimitry Andric   if (needsRelocation())
11020b57cec5SDimitry Andric     return SectionKind::getReadOnlyWithRel();
11030b57cec5SDimitry Andric   switch (DL->getTypeAllocSize(getType())) {
11040b57cec5SDimitry Andric   case 4:
11050b57cec5SDimitry Andric     return SectionKind::getMergeableConst4();
11060b57cec5SDimitry Andric   case 8:
11070b57cec5SDimitry Andric     return SectionKind::getMergeableConst8();
11080b57cec5SDimitry Andric   case 16:
11090b57cec5SDimitry Andric     return SectionKind::getMergeableConst16();
11100b57cec5SDimitry Andric   case 32:
11110b57cec5SDimitry Andric     return SectionKind::getMergeableConst32();
11120b57cec5SDimitry Andric   default:
11130b57cec5SDimitry Andric     return SectionKind::getReadOnly();
11140b57cec5SDimitry Andric   }
11150b57cec5SDimitry Andric }
11160b57cec5SDimitry Andric 
11170b57cec5SDimitry Andric MachineConstantPool::~MachineConstantPool() {
11180b57cec5SDimitry Andric   // A constant may be a member of both Constants and MachineCPVsSharingEntries,
11190b57cec5SDimitry Andric   // so keep track of which we've deleted to avoid double deletions.
11200b57cec5SDimitry Andric   DenseSet<MachineConstantPoolValue*> Deleted;
11210b57cec5SDimitry Andric   for (unsigned i = 0, e = Constants.size(); i != e; ++i)
11220b57cec5SDimitry Andric     if (Constants[i].isMachineConstantPoolEntry()) {
11230b57cec5SDimitry Andric       Deleted.insert(Constants[i].Val.MachineCPVal);
11240b57cec5SDimitry Andric       delete Constants[i].Val.MachineCPVal;
11250b57cec5SDimitry Andric     }
11260b57cec5SDimitry Andric   for (DenseSet<MachineConstantPoolValue*>::iterator I =
11270b57cec5SDimitry Andric        MachineCPVsSharingEntries.begin(), E = MachineCPVsSharingEntries.end();
11280b57cec5SDimitry Andric        I != E; ++I) {
11290b57cec5SDimitry Andric     if (Deleted.count(*I) == 0)
11300b57cec5SDimitry Andric       delete *I;
11310b57cec5SDimitry Andric   }
11320b57cec5SDimitry Andric }
11330b57cec5SDimitry Andric 
11340b57cec5SDimitry Andric /// Test whether the given two constants can be allocated the same constant pool
11350b57cec5SDimitry Andric /// entry.
11360b57cec5SDimitry Andric static bool CanShareConstantPoolEntry(const Constant *A, const Constant *B,
11370b57cec5SDimitry Andric                                       const DataLayout &DL) {
11380b57cec5SDimitry Andric   // Handle the trivial case quickly.
11390b57cec5SDimitry Andric   if (A == B) return true;
11400b57cec5SDimitry Andric 
11410b57cec5SDimitry Andric   // If they have the same type but weren't the same constant, quickly
11420b57cec5SDimitry Andric   // reject them.
11430b57cec5SDimitry Andric   if (A->getType() == B->getType()) return false;
11440b57cec5SDimitry Andric 
11450b57cec5SDimitry Andric   // We can't handle structs or arrays.
11460b57cec5SDimitry Andric   if (isa<StructType>(A->getType()) || isa<ArrayType>(A->getType()) ||
11470b57cec5SDimitry Andric       isa<StructType>(B->getType()) || isa<ArrayType>(B->getType()))
11480b57cec5SDimitry Andric     return false;
11490b57cec5SDimitry Andric 
11500b57cec5SDimitry Andric   // For now, only support constants with the same size.
11510b57cec5SDimitry Andric   uint64_t StoreSize = DL.getTypeStoreSize(A->getType());
11520b57cec5SDimitry Andric   if (StoreSize != DL.getTypeStoreSize(B->getType()) || StoreSize > 128)
11530b57cec5SDimitry Andric     return false;
11540b57cec5SDimitry Andric 
11550b57cec5SDimitry Andric   Type *IntTy = IntegerType::get(A->getContext(), StoreSize*8);
11560b57cec5SDimitry Andric 
11570b57cec5SDimitry Andric   // Try constant folding a bitcast of both instructions to an integer.  If we
11580b57cec5SDimitry Andric   // get two identical ConstantInt's, then we are good to share them.  We use
11590b57cec5SDimitry Andric   // the constant folding APIs to do this so that we get the benefit of
11600b57cec5SDimitry Andric   // DataLayout.
11610b57cec5SDimitry Andric   if (isa<PointerType>(A->getType()))
11620b57cec5SDimitry Andric     A = ConstantFoldCastOperand(Instruction::PtrToInt,
11630b57cec5SDimitry Andric                                 const_cast<Constant *>(A), IntTy, DL);
11640b57cec5SDimitry Andric   else if (A->getType() != IntTy)
11650b57cec5SDimitry Andric     A = ConstantFoldCastOperand(Instruction::BitCast, const_cast<Constant *>(A),
11660b57cec5SDimitry Andric                                 IntTy, DL);
11670b57cec5SDimitry Andric   if (isa<PointerType>(B->getType()))
11680b57cec5SDimitry Andric     B = ConstantFoldCastOperand(Instruction::PtrToInt,
11690b57cec5SDimitry Andric                                 const_cast<Constant *>(B), IntTy, DL);
11700b57cec5SDimitry Andric   else if (B->getType() != IntTy)
11710b57cec5SDimitry Andric     B = ConstantFoldCastOperand(Instruction::BitCast, const_cast<Constant *>(B),
11720b57cec5SDimitry Andric                                 IntTy, DL);
11730b57cec5SDimitry Andric 
11740b57cec5SDimitry Andric   return A == B;
11750b57cec5SDimitry Andric }
11760b57cec5SDimitry Andric 
11770b57cec5SDimitry Andric /// Create a new entry in the constant pool or return an existing one.
11780b57cec5SDimitry Andric /// User must specify the log2 of the minimum required alignment for the object.
11790b57cec5SDimitry Andric unsigned MachineConstantPool::getConstantPoolIndex(const Constant *C,
1180*5ffd83dbSDimitry Andric                                                    Align Alignment) {
11810b57cec5SDimitry Andric   if (Alignment > PoolAlignment) PoolAlignment = Alignment;
11820b57cec5SDimitry Andric 
11830b57cec5SDimitry Andric   // Check to see if we already have this constant.
11840b57cec5SDimitry Andric   //
11850b57cec5SDimitry Andric   // FIXME, this could be made much more efficient for large constant pools.
11860b57cec5SDimitry Andric   for (unsigned i = 0, e = Constants.size(); i != e; ++i)
11870b57cec5SDimitry Andric     if (!Constants[i].isMachineConstantPoolEntry() &&
11880b57cec5SDimitry Andric         CanShareConstantPoolEntry(Constants[i].Val.ConstVal, C, DL)) {
1189*5ffd83dbSDimitry Andric       if (Constants[i].getAlign() < Alignment)
11900b57cec5SDimitry Andric         Constants[i].Alignment = Alignment;
11910b57cec5SDimitry Andric       return i;
11920b57cec5SDimitry Andric     }
11930b57cec5SDimitry Andric 
11940b57cec5SDimitry Andric   Constants.push_back(MachineConstantPoolEntry(C, Alignment));
11950b57cec5SDimitry Andric   return Constants.size()-1;
11960b57cec5SDimitry Andric }
11970b57cec5SDimitry Andric 
11980b57cec5SDimitry Andric unsigned MachineConstantPool::getConstantPoolIndex(MachineConstantPoolValue *V,
1199*5ffd83dbSDimitry Andric                                                    Align Alignment) {
12000b57cec5SDimitry Andric   if (Alignment > PoolAlignment) PoolAlignment = Alignment;
12010b57cec5SDimitry Andric 
12020b57cec5SDimitry Andric   // Check to see if we already have this constant.
12030b57cec5SDimitry Andric   //
12040b57cec5SDimitry Andric   // FIXME, this could be made much more efficient for large constant pools.
12050b57cec5SDimitry Andric   int Idx = V->getExistingMachineCPValue(this, Alignment);
12060b57cec5SDimitry Andric   if (Idx != -1) {
12070b57cec5SDimitry Andric     MachineCPVsSharingEntries.insert(V);
12080b57cec5SDimitry Andric     return (unsigned)Idx;
12090b57cec5SDimitry Andric   }
12100b57cec5SDimitry Andric 
12110b57cec5SDimitry Andric   Constants.push_back(MachineConstantPoolEntry(V, Alignment));
12120b57cec5SDimitry Andric   return Constants.size()-1;
12130b57cec5SDimitry Andric }
12140b57cec5SDimitry Andric 
12150b57cec5SDimitry Andric void MachineConstantPool::print(raw_ostream &OS) const {
12160b57cec5SDimitry Andric   if (Constants.empty()) return;
12170b57cec5SDimitry Andric 
12180b57cec5SDimitry Andric   OS << "Constant Pool:\n";
12190b57cec5SDimitry Andric   for (unsigned i = 0, e = Constants.size(); i != e; ++i) {
12200b57cec5SDimitry Andric     OS << "  cp#" << i << ": ";
12210b57cec5SDimitry Andric     if (Constants[i].isMachineConstantPoolEntry())
12220b57cec5SDimitry Andric       Constants[i].Val.MachineCPVal->print(OS);
12230b57cec5SDimitry Andric     else
12240b57cec5SDimitry Andric       Constants[i].Val.ConstVal->printAsOperand(OS, /*PrintType=*/false);
1225*5ffd83dbSDimitry Andric     OS << ", align=" << Constants[i].getAlign().value();
12260b57cec5SDimitry Andric     OS << "\n";
12270b57cec5SDimitry Andric   }
12280b57cec5SDimitry Andric }
12290b57cec5SDimitry Andric 
12300b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
12310b57cec5SDimitry Andric LLVM_DUMP_METHOD void MachineConstantPool::dump() const { print(dbgs()); }
12320b57cec5SDimitry Andric #endif
1233