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" 2506c3fb27SDimitry Andric #include "llvm/Analysis/ProfileSummaryInfo.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" 355f757f3fSDimitry Andric #include "llvm/CodeGen/PseudoSourceValueManager.h" 360b57cec5SDimitry Andric #include "llvm/CodeGen/TargetFrameLowering.h" 375ffd83dbSDimitry Andric #include "llvm/CodeGen/TargetInstrInfo.h" 380b57cec5SDimitry Andric #include "llvm/CodeGen/TargetLowering.h" 390b57cec5SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h" 400b57cec5SDimitry Andric #include "llvm/CodeGen/TargetSubtargetInfo.h" 410b57cec5SDimitry Andric #include "llvm/CodeGen/WasmEHFuncInfo.h" 420b57cec5SDimitry Andric #include "llvm/CodeGen/WinEHFuncInfo.h" 430b57cec5SDimitry Andric #include "llvm/Config/llvm-config.h" 440b57cec5SDimitry Andric #include "llvm/IR/Attributes.h" 450b57cec5SDimitry Andric #include "llvm/IR/BasicBlock.h" 460b57cec5SDimitry Andric #include "llvm/IR/Constant.h" 470b57cec5SDimitry Andric #include "llvm/IR/DataLayout.h" 480b57cec5SDimitry Andric #include "llvm/IR/DerivedTypes.h" 4906c3fb27SDimitry Andric #include "llvm/IR/EHPersonalities.h" 500b57cec5SDimitry Andric #include "llvm/IR/Function.h" 510b57cec5SDimitry Andric #include "llvm/IR/GlobalValue.h" 520b57cec5SDimitry Andric #include "llvm/IR/Instruction.h" 530b57cec5SDimitry Andric #include "llvm/IR/Instructions.h" 540b57cec5SDimitry Andric #include "llvm/IR/Metadata.h" 550b57cec5SDimitry Andric #include "llvm/IR/Module.h" 560b57cec5SDimitry Andric #include "llvm/IR/ModuleSlotTracker.h" 570b57cec5SDimitry Andric #include "llvm/IR/Value.h" 580b57cec5SDimitry Andric #include "llvm/MC/MCContext.h" 590b57cec5SDimitry Andric #include "llvm/MC/MCSymbol.h" 600b57cec5SDimitry Andric #include "llvm/MC/SectionKind.h" 610b57cec5SDimitry Andric #include "llvm/Support/Casting.h" 620b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h" 630b57cec5SDimitry Andric #include "llvm/Support/Compiler.h" 640b57cec5SDimitry Andric #include "llvm/Support/DOTGraphTraits.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> 755ffd83dbSDimitry Andric #include <type_traits> 760b57cec5SDimitry Andric #include <utility> 770b57cec5SDimitry Andric #include <vector> 780b57cec5SDimitry Andric 7904eeddc0SDimitry Andric #include "LiveDebugValues/LiveDebugValues.h" 8004eeddc0SDimitry Andric 810b57cec5SDimitry Andric using namespace llvm; 820b57cec5SDimitry Andric 830b57cec5SDimitry Andric #define DEBUG_TYPE "codegen" 840b57cec5SDimitry Andric 858bcb0991SDimitry Andric static cl::opt<unsigned> AlignAllFunctions( 868bcb0991SDimitry Andric "align-all-functions", 878bcb0991SDimitry Andric cl::desc("Force the alignment of all functions in log2 format (e.g. 4 " 888bcb0991SDimitry Andric "means align on 16B boundaries)."), 890b57cec5SDimitry Andric cl::init(0), cl::Hidden); 900b57cec5SDimitry Andric 910b57cec5SDimitry Andric static const char *getPropertyName(MachineFunctionProperties::Property Prop) { 920b57cec5SDimitry Andric using P = MachineFunctionProperties::Property; 930b57cec5SDimitry Andric 940eae32dcSDimitry Andric // clang-format off 950b57cec5SDimitry Andric switch(Prop) { 960b57cec5SDimitry Andric case P::FailedISel: return "FailedISel"; 970b57cec5SDimitry Andric case P::IsSSA: return "IsSSA"; 980b57cec5SDimitry Andric case P::Legalized: return "Legalized"; 990b57cec5SDimitry Andric case P::NoPHIs: return "NoPHIs"; 1000b57cec5SDimitry Andric case P::NoVRegs: return "NoVRegs"; 1010b57cec5SDimitry Andric case P::RegBankSelected: return "RegBankSelected"; 1020b57cec5SDimitry Andric case P::Selected: return "Selected"; 1030b57cec5SDimitry Andric case P::TracksLiveness: return "TracksLiveness"; 1045ffd83dbSDimitry Andric case P::TiedOpsRewritten: return "TiedOpsRewritten"; 105349cc55cSDimitry Andric case P::FailsVerification: return "FailsVerification"; 1060eae32dcSDimitry Andric case P::TracksDebugUserValues: return "TracksDebugUserValues"; 1070b57cec5SDimitry Andric } 1080eae32dcSDimitry Andric // clang-format on 1090b57cec5SDimitry Andric llvm_unreachable("Invalid machine function property"); 1100b57cec5SDimitry Andric } 1110b57cec5SDimitry Andric 11281ad6265SDimitry Andric void setUnsafeStackSize(const Function &F, MachineFrameInfo &FrameInfo) { 11381ad6265SDimitry Andric if (!F.hasFnAttribute(Attribute::SafeStack)) 11481ad6265SDimitry Andric return; 11581ad6265SDimitry Andric 11681ad6265SDimitry Andric auto *Existing = 11781ad6265SDimitry Andric dyn_cast_or_null<MDTuple>(F.getMetadata(LLVMContext::MD_annotation)); 11881ad6265SDimitry Andric 11981ad6265SDimitry Andric if (!Existing || Existing->getNumOperands() != 2) 12081ad6265SDimitry Andric return; 12181ad6265SDimitry Andric 12281ad6265SDimitry Andric auto *MetadataName = "unsafe-stack-size"; 12381ad6265SDimitry Andric if (auto &N = Existing->getOperand(0)) { 12406c3fb27SDimitry Andric if (N.equalsStr(MetadataName)) { 12581ad6265SDimitry Andric if (auto &Op = Existing->getOperand(1)) { 12681ad6265SDimitry Andric auto Val = mdconst::extract<ConstantInt>(Op)->getZExtValue(); 12781ad6265SDimitry Andric FrameInfo.setUnsafeStackSize(Val); 12881ad6265SDimitry Andric } 12981ad6265SDimitry Andric } 13081ad6265SDimitry Andric } 13181ad6265SDimitry Andric } 13281ad6265SDimitry Andric 1330b57cec5SDimitry Andric // Pin the vtable to this file. 1340b57cec5SDimitry Andric void MachineFunction::Delegate::anchor() {} 1350b57cec5SDimitry Andric 1360b57cec5SDimitry Andric void MachineFunctionProperties::print(raw_ostream &OS) const { 1370b57cec5SDimitry Andric const char *Separator = ""; 1380b57cec5SDimitry Andric for (BitVector::size_type I = 0; I < Properties.size(); ++I) { 1390b57cec5SDimitry Andric if (!Properties[I]) 1400b57cec5SDimitry Andric continue; 1410b57cec5SDimitry Andric OS << Separator << getPropertyName(static_cast<Property>(I)); 1420b57cec5SDimitry Andric Separator = ", "; 1430b57cec5SDimitry Andric } 1440b57cec5SDimitry Andric } 1450b57cec5SDimitry Andric 1460b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 1470b57cec5SDimitry Andric // MachineFunction implementation 1480b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 1490b57cec5SDimitry Andric 1500b57cec5SDimitry Andric // Out-of-line virtual method. 1510b57cec5SDimitry Andric MachineFunctionInfo::~MachineFunctionInfo() = default; 1520b57cec5SDimitry Andric 1530b57cec5SDimitry Andric void ilist_alloc_traits<MachineBasicBlock>::deleteNode(MachineBasicBlock *MBB) { 1540eae32dcSDimitry Andric MBB->getParent()->deleteMachineBasicBlock(MBB); 1550b57cec5SDimitry Andric } 1560b57cec5SDimitry Andric 15781ad6265SDimitry Andric static inline Align getFnStackAlignment(const TargetSubtargetInfo *STI, 1580b57cec5SDimitry Andric const Function &F) { 159349cc55cSDimitry Andric if (auto MA = F.getFnStackAlign()) 16081ad6265SDimitry Andric return *MA; 16181ad6265SDimitry Andric return STI->getFrameLowering()->getStackAlign(); 1620b57cec5SDimitry Andric } 1630b57cec5SDimitry Andric 1645ffd83dbSDimitry Andric MachineFunction::MachineFunction(Function &F, const LLVMTargetMachine &Target, 1650b57cec5SDimitry Andric const TargetSubtargetInfo &STI, 1660b57cec5SDimitry Andric unsigned FunctionNum, MachineModuleInfo &mmi) 1670b57cec5SDimitry Andric : F(F), Target(Target), STI(&STI), Ctx(mmi.getContext()), MMI(mmi) { 1680b57cec5SDimitry Andric FunctionNumber = FunctionNum; 1690b57cec5SDimitry Andric init(); 1700b57cec5SDimitry Andric } 1710b57cec5SDimitry Andric 1720b57cec5SDimitry Andric void MachineFunction::handleInsertion(MachineInstr &MI) { 1730b57cec5SDimitry Andric if (TheDelegate) 1740b57cec5SDimitry Andric TheDelegate->MF_HandleInsertion(MI); 1750b57cec5SDimitry Andric } 1760b57cec5SDimitry Andric 1770b57cec5SDimitry Andric void MachineFunction::handleRemoval(MachineInstr &MI) { 1780b57cec5SDimitry Andric if (TheDelegate) 1790b57cec5SDimitry Andric TheDelegate->MF_HandleRemoval(MI); 1800b57cec5SDimitry Andric } 1810b57cec5SDimitry Andric 1825f757f3fSDimitry Andric void MachineFunction::handleChangeDesc(MachineInstr &MI, 1835f757f3fSDimitry Andric const MCInstrDesc &TID) { 1845f757f3fSDimitry Andric if (TheDelegate) 1855f757f3fSDimitry Andric TheDelegate->MF_HandleChangeDesc(MI, TID); 1865f757f3fSDimitry Andric } 1875f757f3fSDimitry Andric 1880b57cec5SDimitry Andric void MachineFunction::init() { 1890b57cec5SDimitry Andric // Assume the function starts in SSA form with correct liveness. 1900b57cec5SDimitry Andric Properties.set(MachineFunctionProperties::Property::IsSSA); 1910b57cec5SDimitry Andric Properties.set(MachineFunctionProperties::Property::TracksLiveness); 1920b57cec5SDimitry Andric if (STI->getRegisterInfo()) 1930b57cec5SDimitry Andric RegInfo = new (Allocator) MachineRegisterInfo(this); 1940b57cec5SDimitry Andric else 1950b57cec5SDimitry Andric RegInfo = nullptr; 1960b57cec5SDimitry Andric 1970b57cec5SDimitry Andric MFInfo = nullptr; 198bdd1243dSDimitry Andric 1990b57cec5SDimitry Andric // We can realign the stack if the target supports it and the user hasn't 2000b57cec5SDimitry Andric // explicitly asked us not to. 2010b57cec5SDimitry Andric bool CanRealignSP = STI->getFrameLowering()->isStackRealignable() && 2020b57cec5SDimitry Andric !F.hasFnAttribute("no-realign-stack"); 203*0fca6ea1SDimitry Andric bool ForceRealignSP = F.hasFnAttribute(Attribute::StackAlignment) || 204*0fca6ea1SDimitry Andric F.hasFnAttribute("stackrealign"); 2050b57cec5SDimitry Andric FrameInfo = new (Allocator) MachineFrameInfo( 2060b57cec5SDimitry Andric getFnStackAlignment(STI, F), /*StackRealignable=*/CanRealignSP, 207*0fca6ea1SDimitry Andric /*ForcedRealign=*/ForceRealignSP && CanRealignSP); 2080b57cec5SDimitry Andric 20981ad6265SDimitry Andric setUnsafeStackSize(F, *FrameInfo); 21081ad6265SDimitry Andric 2110b57cec5SDimitry Andric if (F.hasFnAttribute(Attribute::StackAlignment)) 2125ffd83dbSDimitry Andric FrameInfo->ensureMaxAlignment(*F.getFnStackAlign()); 2130b57cec5SDimitry Andric 2140b57cec5SDimitry Andric ConstantPool = new (Allocator) MachineConstantPool(getDataLayout()); 2150b57cec5SDimitry Andric Alignment = STI->getTargetLowering()->getMinFunctionAlignment(); 2160b57cec5SDimitry Andric 2170b57cec5SDimitry Andric // FIXME: Shouldn't use pref alignment if explicit alignment is set on F. 2180b57cec5SDimitry Andric // FIXME: Use Function::hasOptSize(). 2190b57cec5SDimitry Andric if (!F.hasFnAttribute(Attribute::OptimizeForSize)) 2200b57cec5SDimitry Andric Alignment = std::max(Alignment, 2210b57cec5SDimitry Andric STI->getTargetLowering()->getPrefFunctionAlignment()); 2220b57cec5SDimitry Andric 22306c3fb27SDimitry Andric // -fsanitize=function and -fsanitize=kcfi instrument indirect function calls 22406c3fb27SDimitry Andric // to load a type hash before the function label. Ensure functions are aligned 22506c3fb27SDimitry Andric // by a least 4 to avoid unaligned access, which is especially important for 22606c3fb27SDimitry Andric // -mno-unaligned-access. 22706c3fb27SDimitry Andric if (F.hasMetadata(LLVMContext::MD_func_sanitize) || 22806c3fb27SDimitry Andric F.getMetadata(LLVMContext::MD_kcfi_type)) 22906c3fb27SDimitry Andric Alignment = std::max(Alignment, Align(4)); 23006c3fb27SDimitry Andric 2310b57cec5SDimitry Andric if (AlignAllFunctions) 2328bcb0991SDimitry Andric Alignment = Align(1ULL << AlignAllFunctions); 2330b57cec5SDimitry Andric 2340b57cec5SDimitry Andric JumpTableInfo = nullptr; 2350b57cec5SDimitry Andric 2360b57cec5SDimitry Andric if (isFuncletEHPersonality(classifyEHPersonality( 2370b57cec5SDimitry Andric F.hasPersonalityFn() ? F.getPersonalityFn() : nullptr))) { 2380b57cec5SDimitry Andric WinEHInfo = new (Allocator) WinEHFuncInfo(); 2390b57cec5SDimitry Andric } 2400b57cec5SDimitry Andric 2410b57cec5SDimitry Andric if (isScopedEHPersonality(classifyEHPersonality( 2420b57cec5SDimitry Andric F.hasPersonalityFn() ? F.getPersonalityFn() : nullptr))) { 2430b57cec5SDimitry Andric WasmEHInfo = new (Allocator) WasmEHFuncInfo(); 2440b57cec5SDimitry Andric } 2450b57cec5SDimitry Andric 2460b57cec5SDimitry Andric assert(Target.isCompatibleDataLayout(getDataLayout()) && 2470b57cec5SDimitry Andric "Can't create a MachineFunction using a Module with a " 2480b57cec5SDimitry Andric "Target-incompatible DataLayout attached\n"); 2490b57cec5SDimitry Andric 25081ad6265SDimitry Andric PSVManager = std::make_unique<PseudoSourceValueManager>(getTarget()); 2510b57cec5SDimitry Andric } 2520b57cec5SDimitry Andric 253bdd1243dSDimitry Andric void MachineFunction::initTargetMachineFunctionInfo( 254bdd1243dSDimitry Andric const TargetSubtargetInfo &STI) { 255bdd1243dSDimitry Andric assert(!MFInfo && "MachineFunctionInfo already set"); 256bdd1243dSDimitry Andric MFInfo = Target.createMachineFunctionInfo(Allocator, F, &STI); 257bdd1243dSDimitry Andric } 258bdd1243dSDimitry Andric 2590b57cec5SDimitry Andric MachineFunction::~MachineFunction() { 2600b57cec5SDimitry Andric clear(); 2610b57cec5SDimitry Andric } 2620b57cec5SDimitry Andric 2630b57cec5SDimitry Andric void MachineFunction::clear() { 2640b57cec5SDimitry Andric Properties.reset(); 2650b57cec5SDimitry Andric // Don't call destructors on MachineInstr and MachineOperand. All of their 2660b57cec5SDimitry Andric // memory comes from the BumpPtrAllocator which is about to be purged. 2670b57cec5SDimitry Andric // 2680b57cec5SDimitry Andric // Do call MachineBasicBlock destructors, it contains std::vectors. 2690b57cec5SDimitry Andric for (iterator I = begin(), E = end(); I != E; I = BasicBlocks.erase(I)) 2700b57cec5SDimitry Andric I->Insts.clearAndLeakNodesUnsafely(); 2710b57cec5SDimitry Andric MBBNumbering.clear(); 2720b57cec5SDimitry Andric 2730b57cec5SDimitry Andric InstructionRecycler.clear(Allocator); 2740b57cec5SDimitry Andric OperandRecycler.clear(Allocator); 2750b57cec5SDimitry Andric BasicBlockRecycler.clear(Allocator); 2760b57cec5SDimitry Andric CodeViewAnnotations.clear(); 2770b57cec5SDimitry Andric VariableDbgInfos.clear(); 2780b57cec5SDimitry Andric if (RegInfo) { 2790b57cec5SDimitry Andric RegInfo->~MachineRegisterInfo(); 2800b57cec5SDimitry Andric Allocator.Deallocate(RegInfo); 2810b57cec5SDimitry Andric } 2820b57cec5SDimitry Andric if (MFInfo) { 2830b57cec5SDimitry Andric MFInfo->~MachineFunctionInfo(); 2840b57cec5SDimitry Andric Allocator.Deallocate(MFInfo); 2850b57cec5SDimitry Andric } 2860b57cec5SDimitry Andric 2870b57cec5SDimitry Andric FrameInfo->~MachineFrameInfo(); 2880b57cec5SDimitry Andric Allocator.Deallocate(FrameInfo); 2890b57cec5SDimitry Andric 2900b57cec5SDimitry Andric ConstantPool->~MachineConstantPool(); 2910b57cec5SDimitry Andric Allocator.Deallocate(ConstantPool); 2920b57cec5SDimitry Andric 2930b57cec5SDimitry Andric if (JumpTableInfo) { 2940b57cec5SDimitry Andric JumpTableInfo->~MachineJumpTableInfo(); 2950b57cec5SDimitry Andric Allocator.Deallocate(JumpTableInfo); 2960b57cec5SDimitry Andric } 2970b57cec5SDimitry Andric 2980b57cec5SDimitry Andric if (WinEHInfo) { 2990b57cec5SDimitry Andric WinEHInfo->~WinEHFuncInfo(); 3000b57cec5SDimitry Andric Allocator.Deallocate(WinEHInfo); 3010b57cec5SDimitry Andric } 3020b57cec5SDimitry Andric 3030b57cec5SDimitry Andric if (WasmEHInfo) { 3040b57cec5SDimitry Andric WasmEHInfo->~WasmEHFuncInfo(); 3050b57cec5SDimitry Andric Allocator.Deallocate(WasmEHInfo); 3060b57cec5SDimitry Andric } 3070b57cec5SDimitry Andric } 3080b57cec5SDimitry Andric 3090b57cec5SDimitry Andric const DataLayout &MachineFunction::getDataLayout() const { 310*0fca6ea1SDimitry Andric return F.getDataLayout(); 3110b57cec5SDimitry Andric } 3120b57cec5SDimitry Andric 3130b57cec5SDimitry Andric /// Get the JumpTableInfo for this function. 3140b57cec5SDimitry Andric /// If it does not already exist, allocate one. 3150b57cec5SDimitry Andric MachineJumpTableInfo *MachineFunction:: 3160b57cec5SDimitry Andric getOrCreateJumpTableInfo(unsigned EntryKind) { 3170b57cec5SDimitry Andric if (JumpTableInfo) return JumpTableInfo; 3180b57cec5SDimitry Andric 3190b57cec5SDimitry Andric JumpTableInfo = new (Allocator) 3200b57cec5SDimitry Andric MachineJumpTableInfo((MachineJumpTableInfo::JTEntryKind)EntryKind); 3210b57cec5SDimitry Andric return JumpTableInfo; 3220b57cec5SDimitry Andric } 3230b57cec5SDimitry Andric 324480093f4SDimitry Andric DenormalMode MachineFunction::getDenormalMode(const fltSemantics &FPType) const { 325e8d8bef9SDimitry Andric return F.getDenormalMode(FPType); 326480093f4SDimitry Andric } 327480093f4SDimitry Andric 3280b57cec5SDimitry Andric /// Should we be emitting segmented stack stuff for the function 3290b57cec5SDimitry Andric bool MachineFunction::shouldSplitStack() const { 3300b57cec5SDimitry Andric return getFunction().hasFnAttribute("split-stack"); 3310b57cec5SDimitry Andric } 3320b57cec5SDimitry Andric 333bdd1243dSDimitry Andric [[nodiscard]] unsigned 3340b57cec5SDimitry Andric MachineFunction::addFrameInst(const MCCFIInstruction &Inst) { 3350b57cec5SDimitry Andric FrameInstructions.push_back(Inst); 3360b57cec5SDimitry Andric return FrameInstructions.size() - 1; 3370b57cec5SDimitry Andric } 3380b57cec5SDimitry Andric 3390b57cec5SDimitry Andric /// This discards all of the MachineBasicBlock numbers and recomputes them. 3400b57cec5SDimitry Andric /// This guarantees that the MBB numbers are sequential, dense, and match the 3410b57cec5SDimitry Andric /// ordering of the blocks within the function. If a specific MachineBasicBlock 3420b57cec5SDimitry Andric /// is specified, only that block and those after it are renumbered. 3430b57cec5SDimitry Andric void MachineFunction::RenumberBlocks(MachineBasicBlock *MBB) { 3440b57cec5SDimitry Andric if (empty()) { MBBNumbering.clear(); return; } 3450b57cec5SDimitry Andric MachineFunction::iterator MBBI, E = end(); 3460b57cec5SDimitry Andric if (MBB == nullptr) 3470b57cec5SDimitry Andric MBBI = begin(); 3480b57cec5SDimitry Andric else 3490b57cec5SDimitry Andric MBBI = MBB->getIterator(); 3500b57cec5SDimitry Andric 3510b57cec5SDimitry Andric // Figure out the block number this should have. 3520b57cec5SDimitry Andric unsigned BlockNo = 0; 3530b57cec5SDimitry Andric if (MBBI != begin()) 3540b57cec5SDimitry Andric BlockNo = std::prev(MBBI)->getNumber() + 1; 3550b57cec5SDimitry Andric 3560b57cec5SDimitry Andric for (; MBBI != E; ++MBBI, ++BlockNo) { 3570b57cec5SDimitry Andric if (MBBI->getNumber() != (int)BlockNo) { 3580b57cec5SDimitry Andric // Remove use of the old number. 3590b57cec5SDimitry Andric if (MBBI->getNumber() != -1) { 3600b57cec5SDimitry Andric assert(MBBNumbering[MBBI->getNumber()] == &*MBBI && 3610b57cec5SDimitry Andric "MBB number mismatch!"); 3620b57cec5SDimitry Andric MBBNumbering[MBBI->getNumber()] = nullptr; 3630b57cec5SDimitry Andric } 3640b57cec5SDimitry Andric 3650b57cec5SDimitry Andric // If BlockNo is already taken, set that block's number to -1. 3660b57cec5SDimitry Andric if (MBBNumbering[BlockNo]) 3670b57cec5SDimitry Andric MBBNumbering[BlockNo]->setNumber(-1); 3680b57cec5SDimitry Andric 3690b57cec5SDimitry Andric MBBNumbering[BlockNo] = &*MBBI; 3700b57cec5SDimitry Andric MBBI->setNumber(BlockNo); 3710b57cec5SDimitry Andric } 3720b57cec5SDimitry Andric } 3730b57cec5SDimitry Andric 3740b57cec5SDimitry Andric // Okay, all the blocks are renumbered. If we have compactified the block 3750b57cec5SDimitry Andric // numbering, shrink MBBNumbering now. 3760b57cec5SDimitry Andric assert(BlockNo <= MBBNumbering.size() && "Mismatch!"); 3770b57cec5SDimitry Andric MBBNumbering.resize(BlockNo); 3780b57cec5SDimitry Andric } 3790b57cec5SDimitry Andric 3805ffd83dbSDimitry Andric /// This method iterates over the basic blocks and assigns their IsBeginSection 3815ffd83dbSDimitry Andric /// and IsEndSection fields. This must be called after MBB layout is finalized 3825ffd83dbSDimitry Andric /// and the SectionID's are assigned to MBBs. 3835ffd83dbSDimitry Andric void MachineFunction::assignBeginEndSections() { 3845ffd83dbSDimitry Andric front().setIsBeginSection(); 3855ffd83dbSDimitry Andric auto CurrentSectionID = front().getSectionID(); 3865ffd83dbSDimitry Andric for (auto MBBI = std::next(begin()), E = end(); MBBI != E; ++MBBI) { 3875ffd83dbSDimitry Andric if (MBBI->getSectionID() == CurrentSectionID) 3885ffd83dbSDimitry Andric continue; 3895ffd83dbSDimitry Andric MBBI->setIsBeginSection(); 3905ffd83dbSDimitry Andric std::prev(MBBI)->setIsEndSection(); 3915ffd83dbSDimitry Andric CurrentSectionID = MBBI->getSectionID(); 3925ffd83dbSDimitry Andric } 3935ffd83dbSDimitry Andric back().setIsEndSection(); 3945ffd83dbSDimitry Andric } 3955ffd83dbSDimitry Andric 3960b57cec5SDimitry Andric /// Allocate a new MachineInstr. Use this instead of `new MachineInstr'. 3970b57cec5SDimitry Andric MachineInstr *MachineFunction::CreateMachineInstr(const MCInstrDesc &MCID, 3980eae32dcSDimitry Andric DebugLoc DL, 399e8d8bef9SDimitry Andric bool NoImplicit) { 4000b57cec5SDimitry Andric return new (InstructionRecycler.Allocate<MachineInstr>(Allocator)) 4010eae32dcSDimitry Andric MachineInstr(*this, MCID, std::move(DL), NoImplicit); 4020b57cec5SDimitry Andric } 4030b57cec5SDimitry Andric 4040b57cec5SDimitry Andric /// Create a new MachineInstr which is a copy of the 'Orig' instruction, 4050b57cec5SDimitry Andric /// identical in all ways except the instruction has no parent, prev, or next. 4060b57cec5SDimitry Andric MachineInstr * 4070b57cec5SDimitry Andric MachineFunction::CloneMachineInstr(const MachineInstr *Orig) { 4080b57cec5SDimitry Andric return new (InstructionRecycler.Allocate<MachineInstr>(Allocator)) 4090b57cec5SDimitry Andric MachineInstr(*this, *Orig); 4100b57cec5SDimitry Andric } 4110b57cec5SDimitry Andric 4120eae32dcSDimitry Andric MachineInstr &MachineFunction::cloneMachineInstrBundle( 4130eae32dcSDimitry Andric MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertBefore, 4140eae32dcSDimitry Andric const MachineInstr &Orig) { 4150b57cec5SDimitry Andric MachineInstr *FirstClone = nullptr; 4160b57cec5SDimitry Andric MachineBasicBlock::const_instr_iterator I = Orig.getIterator(); 4170b57cec5SDimitry Andric while (true) { 4180b57cec5SDimitry Andric MachineInstr *Cloned = CloneMachineInstr(&*I); 4190b57cec5SDimitry Andric MBB.insert(InsertBefore, Cloned); 4200b57cec5SDimitry Andric if (FirstClone == nullptr) { 4210b57cec5SDimitry Andric FirstClone = Cloned; 4220b57cec5SDimitry Andric } else { 4230b57cec5SDimitry Andric Cloned->bundleWithPred(); 4240b57cec5SDimitry Andric } 4250b57cec5SDimitry Andric 4260b57cec5SDimitry Andric if (!I->isBundledWithSucc()) 4270b57cec5SDimitry Andric break; 4280b57cec5SDimitry Andric ++I; 4290b57cec5SDimitry Andric } 4305ffd83dbSDimitry Andric // Copy over call site info to the cloned instruction if needed. If Orig is in 4315ffd83dbSDimitry Andric // a bundle, copyCallSiteInfo takes care of finding the call instruction in 4325ffd83dbSDimitry Andric // the bundle. 4335ffd83dbSDimitry Andric if (Orig.shouldUpdateCallSiteInfo()) 4345ffd83dbSDimitry Andric copyCallSiteInfo(&Orig, FirstClone); 4350b57cec5SDimitry Andric return *FirstClone; 4360b57cec5SDimitry Andric } 4370b57cec5SDimitry Andric 4380b57cec5SDimitry Andric /// Delete the given MachineInstr. 4390b57cec5SDimitry Andric /// 4400b57cec5SDimitry Andric /// This function also serves as the MachineInstr destructor - the real 4410b57cec5SDimitry Andric /// ~MachineInstr() destructor must be empty. 4420eae32dcSDimitry Andric void MachineFunction::deleteMachineInstr(MachineInstr *MI) { 4430b57cec5SDimitry Andric // Verify that a call site info is at valid state. This assertion should 4440b57cec5SDimitry Andric // be triggered during the implementation of support for the 4450b57cec5SDimitry Andric // call site info of a new architecture. If the assertion is triggered, 4460b57cec5SDimitry Andric // back trace will tell where to insert a call to updateCallSiteInfo(). 44706c3fb27SDimitry Andric assert((!MI->isCandidateForCallSiteEntry() || !CallSitesInfo.contains(MI)) && 4480b57cec5SDimitry Andric "Call site info was not updated!"); 4490b57cec5SDimitry Andric // Strip it for parts. The operand array and the MI object itself are 4500b57cec5SDimitry Andric // independently recyclable. 4510b57cec5SDimitry Andric if (MI->Operands) 4520b57cec5SDimitry Andric deallocateOperandArray(MI->CapOperands, MI->Operands); 4530b57cec5SDimitry Andric // Don't call ~MachineInstr() which must be trivial anyway because 4540b57cec5SDimitry Andric // ~MachineFunction drops whole lists of MachineInstrs wihout calling their 4550b57cec5SDimitry Andric // destructors. 4560b57cec5SDimitry Andric InstructionRecycler.Deallocate(Allocator, MI); 4570b57cec5SDimitry Andric } 4580b57cec5SDimitry Andric 4590b57cec5SDimitry Andric /// Allocate a new MachineBasicBlock. Use this instead of 4600b57cec5SDimitry Andric /// `new MachineBasicBlock'. 4610b57cec5SDimitry Andric MachineBasicBlock * 4625f757f3fSDimitry Andric MachineFunction::CreateMachineBasicBlock(const BasicBlock *BB, 4635f757f3fSDimitry Andric std::optional<UniqueBBID> BBID) { 464bdd1243dSDimitry Andric MachineBasicBlock *MBB = 465bdd1243dSDimitry Andric new (BasicBlockRecycler.Allocate<MachineBasicBlock>(Allocator)) 4665f757f3fSDimitry Andric MachineBasicBlock(*this, BB); 467bdd1243dSDimitry Andric // Set BBID for `-basic-block=sections=labels` and 468bdd1243dSDimitry Andric // `-basic-block-sections=list` to allow robust mapping of profiles to basic 469bdd1243dSDimitry Andric // blocks. 470bdd1243dSDimitry Andric if (Target.getBBSectionsType() == BasicBlockSection::Labels || 471*0fca6ea1SDimitry Andric Target.Options.BBAddrMap || 472bdd1243dSDimitry Andric Target.getBBSectionsType() == BasicBlockSection::List) 4735f757f3fSDimitry Andric MBB->setBBID(BBID.has_value() ? *BBID : UniqueBBID{NextBBID++, 0}); 474bdd1243dSDimitry Andric return MBB; 4750b57cec5SDimitry Andric } 4760b57cec5SDimitry Andric 4770b57cec5SDimitry Andric /// Delete the given MachineBasicBlock. 4780eae32dcSDimitry Andric void MachineFunction::deleteMachineBasicBlock(MachineBasicBlock *MBB) { 4790b57cec5SDimitry Andric assert(MBB->getParent() == this && "MBB parent mismatch!"); 480e8d8bef9SDimitry Andric // Clean up any references to MBB in jump tables before deleting it. 481e8d8bef9SDimitry Andric if (JumpTableInfo) 482e8d8bef9SDimitry Andric JumpTableInfo->RemoveMBBFromJumpTables(MBB); 4830b57cec5SDimitry Andric MBB->~MachineBasicBlock(); 4840b57cec5SDimitry Andric BasicBlockRecycler.Deallocate(Allocator, MBB); 4850b57cec5SDimitry Andric } 4860b57cec5SDimitry Andric 4870b57cec5SDimitry Andric MachineMemOperand *MachineFunction::getMachineMemOperand( 488*0fca6ea1SDimitry Andric MachinePointerInfo PtrInfo, MachineMemOperand::Flags F, LocationSize Size, 489*0fca6ea1SDimitry Andric Align BaseAlignment, const AAMDNodes &AAInfo, const MDNode *Ranges, 4900b57cec5SDimitry Andric SyncScope::ID SSID, AtomicOrdering Ordering, 4910b57cec5SDimitry Andric AtomicOrdering FailureOrdering) { 492*0fca6ea1SDimitry Andric assert((!Size.hasValue() || 493*0fca6ea1SDimitry Andric Size.getValue().getKnownMinValue() != ~UINT64_C(0)) && 494*0fca6ea1SDimitry Andric "Unexpected an unknown size to be represented using " 495*0fca6ea1SDimitry Andric "LocationSize::beforeOrAfter()"); 4960b57cec5SDimitry Andric return new (Allocator) 497*0fca6ea1SDimitry Andric MachineMemOperand(PtrInfo, F, Size, BaseAlignment, AAInfo, Ranges, SSID, 498*0fca6ea1SDimitry Andric Ordering, FailureOrdering); 4990b57cec5SDimitry Andric } 5000b57cec5SDimitry Andric 501e8d8bef9SDimitry Andric MachineMemOperand *MachineFunction::getMachineMemOperand( 502fe6060f1SDimitry Andric MachinePointerInfo PtrInfo, MachineMemOperand::Flags f, LLT MemTy, 503fe6060f1SDimitry Andric Align base_alignment, const AAMDNodes &AAInfo, const MDNode *Ranges, 504fe6060f1SDimitry Andric SyncScope::ID SSID, AtomicOrdering Ordering, 505fe6060f1SDimitry Andric AtomicOrdering FailureOrdering) { 506fe6060f1SDimitry Andric return new (Allocator) 507fe6060f1SDimitry Andric MachineMemOperand(PtrInfo, f, MemTy, base_alignment, AAInfo, Ranges, SSID, 508fe6060f1SDimitry Andric Ordering, FailureOrdering); 509fe6060f1SDimitry Andric } 510fe6060f1SDimitry Andric 511*0fca6ea1SDimitry Andric MachineMemOperand * 512*0fca6ea1SDimitry Andric MachineFunction::getMachineMemOperand(const MachineMemOperand *MMO, 513*0fca6ea1SDimitry Andric const MachinePointerInfo &PtrInfo, 514*0fca6ea1SDimitry Andric LocationSize Size) { 515*0fca6ea1SDimitry Andric assert((!Size.hasValue() || 516*0fca6ea1SDimitry Andric Size.getValue().getKnownMinValue() != ~UINT64_C(0)) && 517*0fca6ea1SDimitry Andric "Unexpected an unknown size to be represented using " 518*0fca6ea1SDimitry Andric "LocationSize::beforeOrAfter()"); 519fe6060f1SDimitry Andric return new (Allocator) 520fe6060f1SDimitry Andric MachineMemOperand(PtrInfo, MMO->getFlags(), Size, MMO->getBaseAlign(), 521fe6060f1SDimitry Andric AAMDNodes(), nullptr, MMO->getSyncScopeID(), 522fe6060f1SDimitry Andric MMO->getSuccessOrdering(), MMO->getFailureOrdering()); 523fe6060f1SDimitry Andric } 524fe6060f1SDimitry Andric 525fe6060f1SDimitry Andric MachineMemOperand *MachineFunction::getMachineMemOperand( 526fe6060f1SDimitry Andric const MachineMemOperand *MMO, const MachinePointerInfo &PtrInfo, LLT Ty) { 527fe6060f1SDimitry Andric return new (Allocator) 528fe6060f1SDimitry Andric MachineMemOperand(PtrInfo, MMO->getFlags(), Ty, MMO->getBaseAlign(), 529fe6060f1SDimitry Andric AAMDNodes(), nullptr, MMO->getSyncScopeID(), 530fe6060f1SDimitry Andric MMO->getSuccessOrdering(), MMO->getFailureOrdering()); 531e8d8bef9SDimitry Andric } 532e8d8bef9SDimitry Andric 5330b57cec5SDimitry Andric MachineMemOperand * 5340b57cec5SDimitry Andric MachineFunction::getMachineMemOperand(const MachineMemOperand *MMO, 535fe6060f1SDimitry Andric int64_t Offset, LLT Ty) { 5360b57cec5SDimitry Andric const MachinePointerInfo &PtrInfo = MMO->getPointerInfo(); 5370b57cec5SDimitry Andric 5380b57cec5SDimitry Andric // If there is no pointer value, the offset isn't tracked so we need to adjust 5390b57cec5SDimitry Andric // the base alignment. 5405ffd83dbSDimitry Andric Align Alignment = PtrInfo.V.isNull() 5415ffd83dbSDimitry Andric ? commonAlignment(MMO->getBaseAlign(), Offset) 5425ffd83dbSDimitry Andric : MMO->getBaseAlign(); 5430b57cec5SDimitry Andric 544e8d8bef9SDimitry Andric // Do not preserve ranges, since we don't necessarily know what the high bits 545e8d8bef9SDimitry Andric // are anymore. 546fe6060f1SDimitry Andric return new (Allocator) MachineMemOperand( 547fe6060f1SDimitry Andric PtrInfo.getWithOffset(Offset), MMO->getFlags(), Ty, Alignment, 548fe6060f1SDimitry Andric MMO->getAAInfo(), nullptr, MMO->getSyncScopeID(), 549fe6060f1SDimitry Andric MMO->getSuccessOrdering(), MMO->getFailureOrdering()); 5500b57cec5SDimitry Andric } 5510b57cec5SDimitry Andric 5520b57cec5SDimitry Andric MachineMemOperand * 5530b57cec5SDimitry Andric MachineFunction::getMachineMemOperand(const MachineMemOperand *MMO, 5540b57cec5SDimitry Andric const AAMDNodes &AAInfo) { 5550b57cec5SDimitry Andric MachinePointerInfo MPI = MMO->getValue() ? 5560b57cec5SDimitry Andric MachinePointerInfo(MMO->getValue(), MMO->getOffset()) : 5570b57cec5SDimitry Andric MachinePointerInfo(MMO->getPseudoValue(), MMO->getOffset()); 5580b57cec5SDimitry Andric 5595ffd83dbSDimitry Andric return new (Allocator) MachineMemOperand( 5605ffd83dbSDimitry Andric MPI, MMO->getFlags(), MMO->getSize(), MMO->getBaseAlign(), AAInfo, 561fe6060f1SDimitry Andric MMO->getRanges(), MMO->getSyncScopeID(), MMO->getSuccessOrdering(), 5625ffd83dbSDimitry Andric MMO->getFailureOrdering()); 5630b57cec5SDimitry Andric } 5640b57cec5SDimitry Andric 5650b57cec5SDimitry Andric MachineMemOperand * 5660b57cec5SDimitry Andric MachineFunction::getMachineMemOperand(const MachineMemOperand *MMO, 5670b57cec5SDimitry Andric MachineMemOperand::Flags Flags) { 5680b57cec5SDimitry Andric return new (Allocator) MachineMemOperand( 5695ffd83dbSDimitry Andric MMO->getPointerInfo(), Flags, MMO->getSize(), MMO->getBaseAlign(), 5700b57cec5SDimitry Andric MMO->getAAInfo(), MMO->getRanges(), MMO->getSyncScopeID(), 571fe6060f1SDimitry Andric MMO->getSuccessOrdering(), MMO->getFailureOrdering()); 5720b57cec5SDimitry Andric } 5730b57cec5SDimitry Andric 574480093f4SDimitry Andric MachineInstr::ExtraInfo *MachineFunction::createMIExtraInfo( 575c14a5a88SDimitry Andric ArrayRef<MachineMemOperand *> MMOs, MCSymbol *PreInstrSymbol, 576bdd1243dSDimitry Andric MCSymbol *PostInstrSymbol, MDNode *HeapAllocMarker, MDNode *PCSections, 577*0fca6ea1SDimitry Andric uint32_t CFIType, MDNode *MMRAs) { 578c14a5a88SDimitry Andric return MachineInstr::ExtraInfo::create(Allocator, MMOs, PreInstrSymbol, 579bdd1243dSDimitry Andric PostInstrSymbol, HeapAllocMarker, 580*0fca6ea1SDimitry Andric PCSections, CFIType, MMRAs); 5810b57cec5SDimitry Andric } 5820b57cec5SDimitry Andric 5830b57cec5SDimitry Andric const char *MachineFunction::createExternalSymbolName(StringRef Name) { 5840b57cec5SDimitry Andric char *Dest = Allocator.Allocate<char>(Name.size() + 1); 5850b57cec5SDimitry Andric llvm::copy(Name, Dest); 5860b57cec5SDimitry Andric Dest[Name.size()] = 0; 5870b57cec5SDimitry Andric return Dest; 5880b57cec5SDimitry Andric } 5890b57cec5SDimitry Andric 5900b57cec5SDimitry Andric uint32_t *MachineFunction::allocateRegMask() { 5910b57cec5SDimitry Andric unsigned NumRegs = getSubtarget().getRegisterInfo()->getNumRegs(); 5920b57cec5SDimitry Andric unsigned Size = MachineOperand::getRegMaskSize(NumRegs); 5930b57cec5SDimitry Andric uint32_t *Mask = Allocator.Allocate<uint32_t>(Size); 5940b57cec5SDimitry Andric memset(Mask, 0, Size * sizeof(Mask[0])); 5950b57cec5SDimitry Andric return Mask; 5960b57cec5SDimitry Andric } 5970b57cec5SDimitry Andric 598480093f4SDimitry Andric ArrayRef<int> MachineFunction::allocateShuffleMask(ArrayRef<int> Mask) { 599480093f4SDimitry Andric int* AllocMask = Allocator.Allocate<int>(Mask.size()); 600480093f4SDimitry Andric copy(Mask, AllocMask); 601480093f4SDimitry Andric return {AllocMask, Mask.size()}; 602480093f4SDimitry Andric } 603480093f4SDimitry Andric 6040b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 6050b57cec5SDimitry Andric LLVM_DUMP_METHOD void MachineFunction::dump() const { 6060b57cec5SDimitry Andric print(dbgs()); 6070b57cec5SDimitry Andric } 6080b57cec5SDimitry Andric #endif 6090b57cec5SDimitry Andric 6100b57cec5SDimitry Andric StringRef MachineFunction::getName() const { 6110b57cec5SDimitry Andric return getFunction().getName(); 6120b57cec5SDimitry Andric } 6130b57cec5SDimitry Andric 6140b57cec5SDimitry Andric void MachineFunction::print(raw_ostream &OS, const SlotIndexes *Indexes) const { 6150b57cec5SDimitry Andric OS << "# Machine code for function " << getName() << ": "; 6160b57cec5SDimitry Andric getProperties().print(OS); 6170b57cec5SDimitry Andric OS << '\n'; 6180b57cec5SDimitry Andric 6190b57cec5SDimitry Andric // Print Frame Information 6200b57cec5SDimitry Andric FrameInfo->print(*this, OS); 6210b57cec5SDimitry Andric 6220b57cec5SDimitry Andric // Print JumpTable Information 6230b57cec5SDimitry Andric if (JumpTableInfo) 6240b57cec5SDimitry Andric JumpTableInfo->print(OS); 6250b57cec5SDimitry Andric 6260b57cec5SDimitry Andric // Print Constant Pool 6270b57cec5SDimitry Andric ConstantPool->print(OS); 6280b57cec5SDimitry Andric 6290b57cec5SDimitry Andric const TargetRegisterInfo *TRI = getSubtarget().getRegisterInfo(); 6300b57cec5SDimitry Andric 6310b57cec5SDimitry Andric if (RegInfo && !RegInfo->livein_empty()) { 6320b57cec5SDimitry Andric OS << "Function Live Ins: "; 6330b57cec5SDimitry Andric for (MachineRegisterInfo::livein_iterator 6340b57cec5SDimitry Andric I = RegInfo->livein_begin(), E = RegInfo->livein_end(); I != E; ++I) { 6350b57cec5SDimitry Andric OS << printReg(I->first, TRI); 6360b57cec5SDimitry Andric if (I->second) 6370b57cec5SDimitry Andric OS << " in " << printReg(I->second, TRI); 6380b57cec5SDimitry Andric if (std::next(I) != E) 6390b57cec5SDimitry Andric OS << ", "; 6400b57cec5SDimitry Andric } 6410b57cec5SDimitry Andric OS << '\n'; 6420b57cec5SDimitry Andric } 6430b57cec5SDimitry Andric 6440b57cec5SDimitry Andric ModuleSlotTracker MST(getFunction().getParent()); 6450b57cec5SDimitry Andric MST.incorporateFunction(getFunction()); 6460b57cec5SDimitry Andric for (const auto &BB : *this) { 6470b57cec5SDimitry Andric OS << '\n'; 6480b57cec5SDimitry Andric // If we print the whole function, print it at its most verbose level. 6490b57cec5SDimitry Andric BB.print(OS, MST, Indexes, /*IsStandalone=*/true); 6500b57cec5SDimitry Andric } 6510b57cec5SDimitry Andric 6520b57cec5SDimitry Andric OS << "\n# End machine code for function " << getName() << ".\n\n"; 6530b57cec5SDimitry Andric } 6540b57cec5SDimitry Andric 655480093f4SDimitry Andric /// True if this function needs frame moves for debug or exceptions. 656480093f4SDimitry Andric bool MachineFunction::needsFrameMoves() const { 657480093f4SDimitry Andric return getMMI().hasDebugInfo() || 658480093f4SDimitry Andric getTarget().Options.ForceDwarfFrameSection || 659480093f4SDimitry Andric F.needsUnwindTableEntry(); 660480093f4SDimitry Andric } 661480093f4SDimitry Andric 6620b57cec5SDimitry Andric namespace llvm { 6630b57cec5SDimitry Andric 6640b57cec5SDimitry Andric template<> 6650b57cec5SDimitry Andric struct DOTGraphTraits<const MachineFunction*> : public DefaultDOTGraphTraits { 6660b57cec5SDimitry Andric DOTGraphTraits(bool isSimple = false) : DefaultDOTGraphTraits(isSimple) {} 6670b57cec5SDimitry Andric 6680b57cec5SDimitry Andric static std::string getGraphName(const MachineFunction *F) { 6690b57cec5SDimitry Andric return ("CFG for '" + F->getName() + "' function").str(); 6700b57cec5SDimitry Andric } 6710b57cec5SDimitry Andric 6720b57cec5SDimitry Andric std::string getNodeLabel(const MachineBasicBlock *Node, 6730b57cec5SDimitry Andric const MachineFunction *Graph) { 6740b57cec5SDimitry Andric std::string OutStr; 6750b57cec5SDimitry Andric { 6760b57cec5SDimitry Andric raw_string_ostream OSS(OutStr); 6770b57cec5SDimitry Andric 6780b57cec5SDimitry Andric if (isSimple()) { 6790b57cec5SDimitry Andric OSS << printMBBReference(*Node); 6800b57cec5SDimitry Andric if (const BasicBlock *BB = Node->getBasicBlock()) 6810b57cec5SDimitry Andric OSS << ": " << BB->getName(); 6820b57cec5SDimitry Andric } else 6830b57cec5SDimitry Andric Node->print(OSS); 6840b57cec5SDimitry Andric } 6850b57cec5SDimitry Andric 6860b57cec5SDimitry Andric if (OutStr[0] == '\n') OutStr.erase(OutStr.begin()); 6870b57cec5SDimitry Andric 6880b57cec5SDimitry Andric // Process string output to make it nicer... 6890b57cec5SDimitry Andric for (unsigned i = 0; i != OutStr.length(); ++i) 6900b57cec5SDimitry Andric if (OutStr[i] == '\n') { // Left justify 6910b57cec5SDimitry Andric OutStr[i] = '\\'; 6920b57cec5SDimitry Andric OutStr.insert(OutStr.begin()+i+1, 'l'); 6930b57cec5SDimitry Andric } 6940b57cec5SDimitry Andric return OutStr; 6950b57cec5SDimitry Andric } 6960b57cec5SDimitry Andric }; 6970b57cec5SDimitry Andric 6980b57cec5SDimitry Andric } // end namespace llvm 6990b57cec5SDimitry Andric 7000b57cec5SDimitry Andric void MachineFunction::viewCFG() const 7010b57cec5SDimitry Andric { 7020b57cec5SDimitry Andric #ifndef NDEBUG 7030b57cec5SDimitry Andric ViewGraph(this, "mf" + getName()); 7040b57cec5SDimitry Andric #else 7050b57cec5SDimitry Andric errs() << "MachineFunction::viewCFG is only available in debug builds on " 7060b57cec5SDimitry Andric << "systems with Graphviz or gv!\n"; 7070b57cec5SDimitry Andric #endif // NDEBUG 7080b57cec5SDimitry Andric } 7090b57cec5SDimitry Andric 7100b57cec5SDimitry Andric void MachineFunction::viewCFGOnly() const 7110b57cec5SDimitry Andric { 7120b57cec5SDimitry Andric #ifndef NDEBUG 7130b57cec5SDimitry Andric ViewGraph(this, "mf" + getName(), true); 7140b57cec5SDimitry Andric #else 7150b57cec5SDimitry Andric errs() << "MachineFunction::viewCFGOnly is only available in debug builds on " 7160b57cec5SDimitry Andric << "systems with Graphviz or gv!\n"; 7170b57cec5SDimitry Andric #endif // NDEBUG 7180b57cec5SDimitry Andric } 7190b57cec5SDimitry Andric 7200b57cec5SDimitry Andric /// Add the specified physical register as a live-in value and 7210b57cec5SDimitry Andric /// create a corresponding virtual register for it. 7225ffd83dbSDimitry Andric Register MachineFunction::addLiveIn(MCRegister PReg, 7230b57cec5SDimitry Andric const TargetRegisterClass *RC) { 7240b57cec5SDimitry Andric MachineRegisterInfo &MRI = getRegInfo(); 7255ffd83dbSDimitry Andric Register VReg = MRI.getLiveInVirtReg(PReg); 7260b57cec5SDimitry Andric if (VReg) { 7270b57cec5SDimitry Andric const TargetRegisterClass *VRegRC = MRI.getRegClass(VReg); 7280b57cec5SDimitry Andric (void)VRegRC; 7290b57cec5SDimitry Andric // A physical register can be added several times. 7300b57cec5SDimitry Andric // Between two calls, the register class of the related virtual register 7310b57cec5SDimitry Andric // may have been constrained to match some operation constraints. 7320b57cec5SDimitry Andric // In that case, check that the current register class includes the 7330b57cec5SDimitry Andric // physical register and is a sub class of the specified RC. 7340b57cec5SDimitry Andric assert((VRegRC == RC || (VRegRC->contains(PReg) && 7350b57cec5SDimitry Andric RC->hasSubClassEq(VRegRC))) && 7360b57cec5SDimitry Andric "Register class mismatch!"); 7370b57cec5SDimitry Andric return VReg; 7380b57cec5SDimitry Andric } 7390b57cec5SDimitry Andric VReg = MRI.createVirtualRegister(RC); 7400b57cec5SDimitry Andric MRI.addLiveIn(PReg, VReg); 7410b57cec5SDimitry Andric return VReg; 7420b57cec5SDimitry Andric } 7430b57cec5SDimitry Andric 7440b57cec5SDimitry Andric /// Return the MCSymbol for the specified non-empty jump table. 7450b57cec5SDimitry Andric /// If isLinkerPrivate is specified, an 'l' label is returned, otherwise a 7460b57cec5SDimitry Andric /// normal 'L' label is returned. 7470b57cec5SDimitry Andric MCSymbol *MachineFunction::getJTISymbol(unsigned JTI, MCContext &Ctx, 7480b57cec5SDimitry Andric bool isLinkerPrivate) const { 7490b57cec5SDimitry Andric const DataLayout &DL = getDataLayout(); 7500b57cec5SDimitry Andric assert(JumpTableInfo && "No jump tables"); 7510b57cec5SDimitry Andric assert(JTI < JumpTableInfo->getJumpTables().size() && "Invalid JTI!"); 7520b57cec5SDimitry Andric 7530b57cec5SDimitry Andric StringRef Prefix = isLinkerPrivate ? DL.getLinkerPrivateGlobalPrefix() 7540b57cec5SDimitry Andric : DL.getPrivateGlobalPrefix(); 7550b57cec5SDimitry Andric SmallString<60> Name; 7560b57cec5SDimitry Andric raw_svector_ostream(Name) 7570b57cec5SDimitry Andric << Prefix << "JTI" << getFunctionNumber() << '_' << JTI; 7580b57cec5SDimitry Andric return Ctx.getOrCreateSymbol(Name); 7590b57cec5SDimitry Andric } 7600b57cec5SDimitry Andric 7610b57cec5SDimitry Andric /// Return a function-local symbol to represent the PIC base. 7620b57cec5SDimitry Andric MCSymbol *MachineFunction::getPICBaseSymbol() const { 7630b57cec5SDimitry Andric const DataLayout &DL = getDataLayout(); 7640b57cec5SDimitry Andric return Ctx.getOrCreateSymbol(Twine(DL.getPrivateGlobalPrefix()) + 7650b57cec5SDimitry Andric Twine(getFunctionNumber()) + "$pb"); 7660b57cec5SDimitry Andric } 7670b57cec5SDimitry Andric 7680b57cec5SDimitry Andric /// \name Exception Handling 7690b57cec5SDimitry Andric /// \{ 7700b57cec5SDimitry Andric 7710b57cec5SDimitry Andric LandingPadInfo & 7720b57cec5SDimitry Andric MachineFunction::getOrCreateLandingPadInfo(MachineBasicBlock *LandingPad) { 7730b57cec5SDimitry Andric unsigned N = LandingPads.size(); 7740b57cec5SDimitry Andric for (unsigned i = 0; i < N; ++i) { 7750b57cec5SDimitry Andric LandingPadInfo &LP = LandingPads[i]; 7760b57cec5SDimitry Andric if (LP.LandingPadBlock == LandingPad) 7770b57cec5SDimitry Andric return LP; 7780b57cec5SDimitry Andric } 7790b57cec5SDimitry Andric 7800b57cec5SDimitry Andric LandingPads.push_back(LandingPadInfo(LandingPad)); 7810b57cec5SDimitry Andric return LandingPads[N]; 7820b57cec5SDimitry Andric } 7830b57cec5SDimitry Andric 7840b57cec5SDimitry Andric void MachineFunction::addInvoke(MachineBasicBlock *LandingPad, 7850b57cec5SDimitry Andric MCSymbol *BeginLabel, MCSymbol *EndLabel) { 7860b57cec5SDimitry Andric LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 7870b57cec5SDimitry Andric LP.BeginLabels.push_back(BeginLabel); 7880b57cec5SDimitry Andric LP.EndLabels.push_back(EndLabel); 7890b57cec5SDimitry Andric } 7900b57cec5SDimitry Andric 7910b57cec5SDimitry Andric MCSymbol *MachineFunction::addLandingPad(MachineBasicBlock *LandingPad) { 7920b57cec5SDimitry Andric MCSymbol *LandingPadLabel = Ctx.createTempSymbol(); 7930b57cec5SDimitry Andric LandingPadInfo &LP = getOrCreateLandingPadInfo(LandingPad); 7940b57cec5SDimitry Andric LP.LandingPadLabel = LandingPadLabel; 7950b57cec5SDimitry Andric 7960b57cec5SDimitry Andric const Instruction *FirstI = LandingPad->getBasicBlock()->getFirstNonPHI(); 7970b57cec5SDimitry Andric if (const auto *LPI = dyn_cast<LandingPadInst>(FirstI)) { 798bdd1243dSDimitry Andric // If there's no typeid list specified, then "cleanup" is implicit. 799bdd1243dSDimitry Andric // Otherwise, id 0 is reserved for the cleanup action. 800bdd1243dSDimitry Andric if (LPI->isCleanup() && LPI->getNumClauses() != 0) 801bdd1243dSDimitry Andric LP.TypeIds.push_back(0); 8020b57cec5SDimitry Andric 8030b57cec5SDimitry Andric // FIXME: New EH - Add the clauses in reverse order. This isn't 100% 8040b57cec5SDimitry Andric // correct, but we need to do it this way because of how the DWARF EH 8050b57cec5SDimitry Andric // emitter processes the clauses. 8060b57cec5SDimitry Andric for (unsigned I = LPI->getNumClauses(); I != 0; --I) { 8070b57cec5SDimitry Andric Value *Val = LPI->getClause(I - 1); 8080b57cec5SDimitry Andric if (LPI->isCatch(I - 1)) { 809bdd1243dSDimitry Andric LP.TypeIds.push_back( 810bdd1243dSDimitry Andric getTypeIDFor(dyn_cast<GlobalValue>(Val->stripPointerCasts()))); 8110b57cec5SDimitry Andric } else { 8120b57cec5SDimitry Andric // Add filters in a list. 8130b57cec5SDimitry Andric auto *CVal = cast<Constant>(Val); 814bdd1243dSDimitry Andric SmallVector<unsigned, 4> FilterList; 815349cc55cSDimitry Andric for (const Use &U : CVal->operands()) 816bdd1243dSDimitry Andric FilterList.push_back( 817bdd1243dSDimitry Andric getTypeIDFor(cast<GlobalValue>(U->stripPointerCasts()))); 8180b57cec5SDimitry Andric 819bdd1243dSDimitry Andric LP.TypeIds.push_back(getFilterIDFor(FilterList)); 8200b57cec5SDimitry Andric } 8210b57cec5SDimitry Andric } 8220b57cec5SDimitry Andric 8230b57cec5SDimitry Andric } else if (const auto *CPI = dyn_cast<CatchPadInst>(FirstI)) { 824bdd1243dSDimitry Andric for (unsigned I = CPI->arg_size(); I != 0; --I) { 825bdd1243dSDimitry Andric auto *TypeInfo = 826bdd1243dSDimitry Andric dyn_cast<GlobalValue>(CPI->getArgOperand(I - 1)->stripPointerCasts()); 827bdd1243dSDimitry Andric LP.TypeIds.push_back(getTypeIDFor(TypeInfo)); 8280b57cec5SDimitry Andric } 8290b57cec5SDimitry Andric 8300b57cec5SDimitry Andric } else { 8310b57cec5SDimitry Andric assert(isa<CleanupPadInst>(FirstI) && "Invalid landingpad!"); 8320b57cec5SDimitry Andric } 8330b57cec5SDimitry Andric 8340b57cec5SDimitry Andric return LandingPadLabel; 8350b57cec5SDimitry Andric } 8360b57cec5SDimitry Andric 8370b57cec5SDimitry Andric void MachineFunction::setCallSiteLandingPad(MCSymbol *Sym, 8380b57cec5SDimitry Andric ArrayRef<unsigned> Sites) { 8390b57cec5SDimitry Andric LPadToCallSiteMap[Sym].append(Sites.begin(), Sites.end()); 8400b57cec5SDimitry Andric } 8410b57cec5SDimitry Andric 8420b57cec5SDimitry Andric unsigned MachineFunction::getTypeIDFor(const GlobalValue *TI) { 8430b57cec5SDimitry Andric for (unsigned i = 0, N = TypeInfos.size(); i != N; ++i) 8440b57cec5SDimitry Andric if (TypeInfos[i] == TI) return i + 1; 8450b57cec5SDimitry Andric 8460b57cec5SDimitry Andric TypeInfos.push_back(TI); 8470b57cec5SDimitry Andric return TypeInfos.size(); 8480b57cec5SDimitry Andric } 8490b57cec5SDimitry Andric 850bdd1243dSDimitry Andric int MachineFunction::getFilterIDFor(ArrayRef<unsigned> TyIds) { 8510b57cec5SDimitry Andric // If the new filter coincides with the tail of an existing filter, then 8520b57cec5SDimitry Andric // re-use the existing filter. Folding filters more than this requires 8530b57cec5SDimitry Andric // re-ordering filters and/or their elements - probably not worth it. 854fe6060f1SDimitry Andric for (unsigned i : FilterEnds) { 855fe6060f1SDimitry Andric unsigned j = TyIds.size(); 8560b57cec5SDimitry Andric 8570b57cec5SDimitry Andric while (i && j) 8580b57cec5SDimitry Andric if (FilterIds[--i] != TyIds[--j]) 8590b57cec5SDimitry Andric goto try_next; 8600b57cec5SDimitry Andric 8610b57cec5SDimitry Andric if (!j) 8620b57cec5SDimitry Andric // The new filter coincides with range [i, end) of the existing filter. 8630b57cec5SDimitry Andric return -(1 + i); 8640b57cec5SDimitry Andric 8650b57cec5SDimitry Andric try_next:; 8660b57cec5SDimitry Andric } 8670b57cec5SDimitry Andric 8680b57cec5SDimitry Andric // Add the new filter. 8690b57cec5SDimitry Andric int FilterID = -(1 + FilterIds.size()); 8700b57cec5SDimitry Andric FilterIds.reserve(FilterIds.size() + TyIds.size() + 1); 871e8d8bef9SDimitry Andric llvm::append_range(FilterIds, TyIds); 8720b57cec5SDimitry Andric FilterEnds.push_back(FilterIds.size()); 8730b57cec5SDimitry Andric FilterIds.push_back(0); // terminator 8740b57cec5SDimitry Andric return FilterID; 8750b57cec5SDimitry Andric } 8760b57cec5SDimitry Andric 877480093f4SDimitry Andric MachineFunction::CallSiteInfoMap::iterator 878480093f4SDimitry Andric MachineFunction::getCallSiteInfo(const MachineInstr *MI) { 8795ffd83dbSDimitry Andric assert(MI->isCandidateForCallSiteEntry() && 8805ffd83dbSDimitry Andric "Call site info refers only to call (MI) candidates"); 8810b57cec5SDimitry Andric 8825ffd83dbSDimitry Andric if (!Target.Options.EmitCallSiteInfo) 883480093f4SDimitry Andric return CallSitesInfo.end(); 884480093f4SDimitry Andric return CallSitesInfo.find(MI); 8850b57cec5SDimitry Andric } 8860b57cec5SDimitry Andric 8875ffd83dbSDimitry Andric /// Return the call machine instruction or find a call within bundle. 8885ffd83dbSDimitry Andric static const MachineInstr *getCallInstr(const MachineInstr *MI) { 8895ffd83dbSDimitry Andric if (!MI->isBundle()) 8905ffd83dbSDimitry Andric return MI; 8910b57cec5SDimitry Andric 892fcaf7f86SDimitry Andric for (const auto &BMI : make_range(getBundleStart(MI->getIterator()), 8935ffd83dbSDimitry Andric getBundleEnd(MI->getIterator()))) 8945ffd83dbSDimitry Andric if (BMI.isCandidateForCallSiteEntry()) 8955ffd83dbSDimitry Andric return &BMI; 8968bcb0991SDimitry Andric 8975ffd83dbSDimitry Andric llvm_unreachable("Unexpected bundle without a call site candidate"); 8988bcb0991SDimitry Andric } 8998bcb0991SDimitry Andric 9008bcb0991SDimitry Andric void MachineFunction::eraseCallSiteInfo(const MachineInstr *MI) { 9015ffd83dbSDimitry Andric assert(MI->shouldUpdateCallSiteInfo() && 9025ffd83dbSDimitry Andric "Call site info refers only to call (MI) candidates or " 9035ffd83dbSDimitry Andric "candidates inside bundles"); 9045ffd83dbSDimitry Andric 9055ffd83dbSDimitry Andric const MachineInstr *CallMI = getCallInstr(MI); 9065ffd83dbSDimitry Andric CallSiteInfoMap::iterator CSIt = getCallSiteInfo(CallMI); 9078bcb0991SDimitry Andric if (CSIt == CallSitesInfo.end()) 9088bcb0991SDimitry Andric return; 9098bcb0991SDimitry Andric CallSitesInfo.erase(CSIt); 9108bcb0991SDimitry Andric } 9118bcb0991SDimitry Andric 9128bcb0991SDimitry Andric void MachineFunction::copyCallSiteInfo(const MachineInstr *Old, 9138bcb0991SDimitry Andric const MachineInstr *New) { 9145ffd83dbSDimitry Andric assert(Old->shouldUpdateCallSiteInfo() && 9155ffd83dbSDimitry Andric "Call site info refers only to call (MI) candidates or " 9165ffd83dbSDimitry Andric "candidates inside bundles"); 9178bcb0991SDimitry Andric 9185ffd83dbSDimitry Andric if (!New->isCandidateForCallSiteEntry()) 9195ffd83dbSDimitry Andric return eraseCallSiteInfo(Old); 9205ffd83dbSDimitry Andric 9215ffd83dbSDimitry Andric const MachineInstr *OldCallMI = getCallInstr(Old); 9225ffd83dbSDimitry Andric CallSiteInfoMap::iterator CSIt = getCallSiteInfo(OldCallMI); 9238bcb0991SDimitry Andric if (CSIt == CallSitesInfo.end()) 9248bcb0991SDimitry Andric return; 9258bcb0991SDimitry Andric 9268bcb0991SDimitry Andric CallSiteInfo CSInfo = CSIt->second; 9270b57cec5SDimitry Andric CallSitesInfo[New] = CSInfo; 9280b57cec5SDimitry Andric } 9290b57cec5SDimitry Andric 9305ffd83dbSDimitry Andric void MachineFunction::moveCallSiteInfo(const MachineInstr *Old, 9315ffd83dbSDimitry Andric const MachineInstr *New) { 9325ffd83dbSDimitry Andric assert(Old->shouldUpdateCallSiteInfo() && 9335ffd83dbSDimitry Andric "Call site info refers only to call (MI) candidates or " 9345ffd83dbSDimitry Andric "candidates inside bundles"); 9355ffd83dbSDimitry Andric 9365ffd83dbSDimitry Andric if (!New->isCandidateForCallSiteEntry()) 9375ffd83dbSDimitry Andric return eraseCallSiteInfo(Old); 9385ffd83dbSDimitry Andric 9395ffd83dbSDimitry Andric const MachineInstr *OldCallMI = getCallInstr(Old); 9405ffd83dbSDimitry Andric CallSiteInfoMap::iterator CSIt = getCallSiteInfo(OldCallMI); 9415ffd83dbSDimitry Andric if (CSIt == CallSitesInfo.end()) 9425ffd83dbSDimitry Andric return; 9435ffd83dbSDimitry Andric 9445ffd83dbSDimitry Andric CallSiteInfo CSInfo = std::move(CSIt->second); 9455ffd83dbSDimitry Andric CallSitesInfo.erase(CSIt); 9465ffd83dbSDimitry Andric CallSitesInfo[New] = CSInfo; 9475ffd83dbSDimitry Andric } 9485ffd83dbSDimitry Andric 949e8d8bef9SDimitry Andric void MachineFunction::setDebugInstrNumberingCount(unsigned Num) { 950e8d8bef9SDimitry Andric DebugInstrNumberingCount = Num; 951e8d8bef9SDimitry Andric } 952e8d8bef9SDimitry Andric 953e8d8bef9SDimitry Andric void MachineFunction::makeDebugValueSubstitution(DebugInstrOperandPair A, 954fe6060f1SDimitry Andric DebugInstrOperandPair B, 955fe6060f1SDimitry Andric unsigned Subreg) { 956fe6060f1SDimitry Andric // Catch any accidental self-loops. 957fe6060f1SDimitry Andric assert(A.first != B.first); 958349cc55cSDimitry Andric // Don't allow any substitutions _from_ the memory operand number. 959349cc55cSDimitry Andric assert(A.second != DebugOperandMemNumber); 960349cc55cSDimitry Andric 961fe6060f1SDimitry Andric DebugValueSubstitutions.push_back({A, B, Subreg}); 962e8d8bef9SDimitry Andric } 963e8d8bef9SDimitry Andric 964e8d8bef9SDimitry Andric void MachineFunction::substituteDebugValuesForInst(const MachineInstr &Old, 965e8d8bef9SDimitry Andric MachineInstr &New, 966e8d8bef9SDimitry Andric unsigned MaxOperand) { 967e8d8bef9SDimitry Andric // If the Old instruction wasn't tracked at all, there is no work to do. 968e8d8bef9SDimitry Andric unsigned OldInstrNum = Old.peekDebugInstrNum(); 969e8d8bef9SDimitry Andric if (!OldInstrNum) 970e8d8bef9SDimitry Andric return; 971e8d8bef9SDimitry Andric 972e8d8bef9SDimitry Andric // Iterate over all operands looking for defs to create substitutions for. 973e8d8bef9SDimitry Andric // Avoid creating new instr numbers unless we create a new substitution. 974e8d8bef9SDimitry Andric // While this has no functional effect, it risks confusing someone reading 975e8d8bef9SDimitry Andric // MIR output. 976e8d8bef9SDimitry Andric // Examine all the operands, or the first N specified by the caller. 977e8d8bef9SDimitry Andric MaxOperand = std::min(MaxOperand, Old.getNumOperands()); 978fe6060f1SDimitry Andric for (unsigned int I = 0; I < MaxOperand; ++I) { 979e8d8bef9SDimitry Andric const auto &OldMO = Old.getOperand(I); 980e8d8bef9SDimitry Andric auto &NewMO = New.getOperand(I); 981e8d8bef9SDimitry Andric (void)NewMO; 982e8d8bef9SDimitry Andric 983e8d8bef9SDimitry Andric if (!OldMO.isReg() || !OldMO.isDef()) 984e8d8bef9SDimitry Andric continue; 985e8d8bef9SDimitry Andric assert(NewMO.isDef()); 986e8d8bef9SDimitry Andric 987e8d8bef9SDimitry Andric unsigned NewInstrNum = New.getDebugInstrNum(); 988e8d8bef9SDimitry Andric makeDebugValueSubstitution(std::make_pair(OldInstrNum, I), 989e8d8bef9SDimitry Andric std::make_pair(NewInstrNum, I)); 990e8d8bef9SDimitry Andric } 991e8d8bef9SDimitry Andric } 992e8d8bef9SDimitry Andric 99381ad6265SDimitry Andric auto MachineFunction::salvageCopySSA( 99481ad6265SDimitry Andric MachineInstr &MI, DenseMap<Register, DebugInstrOperandPair> &DbgPHICache) 99581ad6265SDimitry Andric -> DebugInstrOperandPair { 99681ad6265SDimitry Andric const TargetInstrInfo &TII = *getSubtarget().getInstrInfo(); 99781ad6265SDimitry Andric 99881ad6265SDimitry Andric // Check whether this copy-like instruction has already been salvaged into 99981ad6265SDimitry Andric // an operand pair. 100081ad6265SDimitry Andric Register Dest; 100181ad6265SDimitry Andric if (auto CopyDstSrc = TII.isCopyInstr(MI)) { 100281ad6265SDimitry Andric Dest = CopyDstSrc->Destination->getReg(); 100381ad6265SDimitry Andric } else { 100481ad6265SDimitry Andric assert(MI.isSubregToReg()); 100581ad6265SDimitry Andric Dest = MI.getOperand(0).getReg(); 100681ad6265SDimitry Andric } 100781ad6265SDimitry Andric 100881ad6265SDimitry Andric auto CacheIt = DbgPHICache.find(Dest); 100981ad6265SDimitry Andric if (CacheIt != DbgPHICache.end()) 101081ad6265SDimitry Andric return CacheIt->second; 101181ad6265SDimitry Andric 101281ad6265SDimitry Andric // Calculate the instruction number to use, or install a DBG_PHI. 101381ad6265SDimitry Andric auto OperandPair = salvageCopySSAImpl(MI); 101481ad6265SDimitry Andric DbgPHICache.insert({Dest, OperandPair}); 101581ad6265SDimitry Andric return OperandPair; 101681ad6265SDimitry Andric } 101781ad6265SDimitry Andric 101881ad6265SDimitry Andric auto MachineFunction::salvageCopySSAImpl(MachineInstr &MI) 1019fe6060f1SDimitry Andric -> DebugInstrOperandPair { 1020fe6060f1SDimitry Andric MachineRegisterInfo &MRI = getRegInfo(); 1021fe6060f1SDimitry Andric const TargetRegisterInfo &TRI = *MRI.getTargetRegisterInfo(); 1022fe6060f1SDimitry Andric const TargetInstrInfo &TII = *getSubtarget().getInstrInfo(); 1023fe6060f1SDimitry Andric 1024fe6060f1SDimitry Andric // Chase the value read by a copy-like instruction back to the instruction 1025fe6060f1SDimitry Andric // that ultimately _defines_ that value. This may pass: 1026fe6060f1SDimitry Andric // * Through multiple intermediate copies, including subregister moves / 1027fe6060f1SDimitry Andric // copies, 1028fe6060f1SDimitry Andric // * Copies from physical registers that must then be traced back to the 1029fe6060f1SDimitry Andric // defining instruction, 1030fe6060f1SDimitry Andric // * Or, physical registers may be live-in to (only) the entry block, which 1031fe6060f1SDimitry Andric // requires a DBG_PHI to be created. 1032fe6060f1SDimitry Andric // We can pursue this problem in that order: trace back through copies, 1033fe6060f1SDimitry Andric // optionally through a physical register, to a defining instruction. We 1034fe6060f1SDimitry Andric // should never move from physreg to vreg. As we're still in SSA form, no need 1035fe6060f1SDimitry Andric // to worry about partial definitions of registers. 1036fe6060f1SDimitry Andric 1037fe6060f1SDimitry Andric // Helper lambda to interpret a copy-like instruction. Takes instruction, 1038fe6060f1SDimitry Andric // returns the register read and any subregister identifying which part is 1039fe6060f1SDimitry Andric // read. 1040fe6060f1SDimitry Andric auto GetRegAndSubreg = 1041fe6060f1SDimitry Andric [&](const MachineInstr &Cpy) -> std::pair<Register, unsigned> { 1042fe6060f1SDimitry Andric Register NewReg, OldReg; 1043fe6060f1SDimitry Andric unsigned SubReg; 1044fe6060f1SDimitry Andric if (Cpy.isCopy()) { 1045fe6060f1SDimitry Andric OldReg = Cpy.getOperand(0).getReg(); 1046fe6060f1SDimitry Andric NewReg = Cpy.getOperand(1).getReg(); 1047fe6060f1SDimitry Andric SubReg = Cpy.getOperand(1).getSubReg(); 1048fe6060f1SDimitry Andric } else if (Cpy.isSubregToReg()) { 1049fe6060f1SDimitry Andric OldReg = Cpy.getOperand(0).getReg(); 1050fe6060f1SDimitry Andric NewReg = Cpy.getOperand(2).getReg(); 1051fe6060f1SDimitry Andric SubReg = Cpy.getOperand(3).getImm(); 1052fe6060f1SDimitry Andric } else { 1053fe6060f1SDimitry Andric auto CopyDetails = *TII.isCopyInstr(Cpy); 1054fe6060f1SDimitry Andric const MachineOperand &Src = *CopyDetails.Source; 1055fe6060f1SDimitry Andric const MachineOperand &Dest = *CopyDetails.Destination; 1056fe6060f1SDimitry Andric OldReg = Dest.getReg(); 1057fe6060f1SDimitry Andric NewReg = Src.getReg(); 1058fe6060f1SDimitry Andric SubReg = Src.getSubReg(); 1059fe6060f1SDimitry Andric } 1060fe6060f1SDimitry Andric 1061fe6060f1SDimitry Andric return {NewReg, SubReg}; 1062fe6060f1SDimitry Andric }; 1063fe6060f1SDimitry Andric 1064fe6060f1SDimitry Andric // First seek either the defining instruction, or a copy from a physreg. 1065fe6060f1SDimitry Andric // During search, the current state is the current copy instruction, and which 1066fe6060f1SDimitry Andric // register we've read. Accumulate qualifying subregisters into SubregsSeen; 1067fe6060f1SDimitry Andric // deal with those later. 1068fe6060f1SDimitry Andric auto State = GetRegAndSubreg(MI); 1069fe6060f1SDimitry Andric auto CurInst = MI.getIterator(); 1070fe6060f1SDimitry Andric SmallVector<unsigned, 4> SubregsSeen; 1071fe6060f1SDimitry Andric while (true) { 1072fe6060f1SDimitry Andric // If we've found a copy from a physreg, first portion of search is over. 1073fe6060f1SDimitry Andric if (!State.first.isVirtual()) 1074fe6060f1SDimitry Andric break; 1075fe6060f1SDimitry Andric 1076fe6060f1SDimitry Andric // Record any subregister qualifier. 1077fe6060f1SDimitry Andric if (State.second) 1078fe6060f1SDimitry Andric SubregsSeen.push_back(State.second); 1079fe6060f1SDimitry Andric 1080fe6060f1SDimitry Andric assert(MRI.hasOneDef(State.first)); 1081fe6060f1SDimitry Andric MachineInstr &Inst = *MRI.def_begin(State.first)->getParent(); 1082fe6060f1SDimitry Andric CurInst = Inst.getIterator(); 1083fe6060f1SDimitry Andric 1084fe6060f1SDimitry Andric // Any non-copy instruction is the defining instruction we're seeking. 1085fe6060f1SDimitry Andric if (!Inst.isCopyLike() && !TII.isCopyInstr(Inst)) 1086fe6060f1SDimitry Andric break; 1087fe6060f1SDimitry Andric State = GetRegAndSubreg(Inst); 1088fe6060f1SDimitry Andric }; 1089fe6060f1SDimitry Andric 1090fe6060f1SDimitry Andric // Helper lambda to apply additional subregister substitutions to a known 1091fe6060f1SDimitry Andric // instruction/operand pair. Adds new (fake) substitutions so that we can 1092fe6060f1SDimitry Andric // record the subregister. FIXME: this isn't very space efficient if multiple 1093fe6060f1SDimitry Andric // values are tracked back through the same copies; cache something later. 1094fe6060f1SDimitry Andric auto ApplySubregisters = 1095fe6060f1SDimitry Andric [&](DebugInstrOperandPair P) -> DebugInstrOperandPair { 1096fe6060f1SDimitry Andric for (unsigned Subreg : reverse(SubregsSeen)) { 1097fe6060f1SDimitry Andric // Fetch a new instruction number, not attached to an actual instruction. 1098fe6060f1SDimitry Andric unsigned NewInstrNumber = getNewDebugInstrNum(); 1099fe6060f1SDimitry Andric // Add a substitution from the "new" number to the known one, with a 1100fe6060f1SDimitry Andric // qualifying subreg. 1101fe6060f1SDimitry Andric makeDebugValueSubstitution({NewInstrNumber, 0}, P, Subreg); 1102fe6060f1SDimitry Andric // Return the new number; to find the underlying value, consumers need to 1103fe6060f1SDimitry Andric // deal with the qualifying subreg. 1104fe6060f1SDimitry Andric P = {NewInstrNumber, 0}; 1105fe6060f1SDimitry Andric } 1106fe6060f1SDimitry Andric return P; 1107fe6060f1SDimitry Andric }; 1108fe6060f1SDimitry Andric 1109fe6060f1SDimitry Andric // If we managed to find the defining instruction after COPYs, return an 1110fe6060f1SDimitry Andric // instruction / operand pair after adding subregister qualifiers. 1111fe6060f1SDimitry Andric if (State.first.isVirtual()) { 1112fe6060f1SDimitry Andric // Virtual register def -- we can just look up where this happens. 1113fe6060f1SDimitry Andric MachineInstr *Inst = MRI.def_begin(State.first)->getParent(); 111406c3fb27SDimitry Andric for (auto &MO : Inst->all_defs()) { 111506c3fb27SDimitry Andric if (MO.getReg() != State.first) 1116fe6060f1SDimitry Andric continue; 111706c3fb27SDimitry Andric return ApplySubregisters({Inst->getDebugInstrNum(), MO.getOperandNo()}); 1118fe6060f1SDimitry Andric } 1119fe6060f1SDimitry Andric 1120fe6060f1SDimitry Andric llvm_unreachable("Vreg def with no corresponding operand?"); 1121fe6060f1SDimitry Andric } 1122fe6060f1SDimitry Andric 1123fe6060f1SDimitry Andric // Our search ended in a copy from a physreg: walk back up the function 1124fe6060f1SDimitry Andric // looking for whatever defines the physreg. 1125fe6060f1SDimitry Andric assert(CurInst->isCopyLike() || TII.isCopyInstr(*CurInst)); 1126fe6060f1SDimitry Andric State = GetRegAndSubreg(*CurInst); 1127fe6060f1SDimitry Andric Register RegToSeek = State.first; 1128fe6060f1SDimitry Andric 1129fe6060f1SDimitry Andric auto RMII = CurInst->getReverseIterator(); 1130fe6060f1SDimitry Andric auto PrevInstrs = make_range(RMII, CurInst->getParent()->instr_rend()); 1131fe6060f1SDimitry Andric for (auto &ToExamine : PrevInstrs) { 113206c3fb27SDimitry Andric for (auto &MO : ToExamine.all_defs()) { 1133fe6060f1SDimitry Andric // Test for operand that defines something aliasing RegToSeek. 113406c3fb27SDimitry Andric if (!TRI.regsOverlap(RegToSeek, MO.getReg())) 1135fe6060f1SDimitry Andric continue; 1136fe6060f1SDimitry Andric 1137fe6060f1SDimitry Andric return ApplySubregisters( 113806c3fb27SDimitry Andric {ToExamine.getDebugInstrNum(), MO.getOperandNo()}); 1139fe6060f1SDimitry Andric } 1140fe6060f1SDimitry Andric } 1141fe6060f1SDimitry Andric 1142fe6060f1SDimitry Andric MachineBasicBlock &InsertBB = *CurInst->getParent(); 1143fe6060f1SDimitry Andric 1144fe6060f1SDimitry Andric // We reached the start of the block before finding a defining instruction. 114581ad6265SDimitry Andric // There are numerous scenarios where this can happen: 114681ad6265SDimitry Andric // * Constant physical registers, 114781ad6265SDimitry Andric // * Several intrinsics that allow LLVM-IR to read arbitary registers, 114881ad6265SDimitry Andric // * Arguments in the entry block, 114981ad6265SDimitry Andric // * Exception handling landing pads. 115081ad6265SDimitry Andric // Validating all of them is too difficult, so just insert a DBG_PHI reading 115181ad6265SDimitry Andric // the variable value at this position, rather than checking it makes sense. 1152fe6060f1SDimitry Andric 1153fe6060f1SDimitry Andric // Create DBG_PHI for specified physreg. 1154fe6060f1SDimitry Andric auto Builder = BuildMI(InsertBB, InsertBB.getFirstNonPHI(), DebugLoc(), 1155fe6060f1SDimitry Andric TII.get(TargetOpcode::DBG_PHI)); 1156349cc55cSDimitry Andric Builder.addReg(State.first); 1157fe6060f1SDimitry Andric unsigned NewNum = getNewDebugInstrNum(); 1158fe6060f1SDimitry Andric Builder.addImm(NewNum); 1159fe6060f1SDimitry Andric return ApplySubregisters({NewNum, 0u}); 1160fe6060f1SDimitry Andric } 1161fe6060f1SDimitry Andric 1162fe6060f1SDimitry Andric void MachineFunction::finalizeDebugInstrRefs() { 1163fe6060f1SDimitry Andric auto *TII = getSubtarget().getInstrInfo(); 1164fe6060f1SDimitry Andric 11654824e7fdSDimitry Andric auto MakeUndefDbgValue = [&](MachineInstr &MI) { 1166bdd1243dSDimitry Andric const MCInstrDesc &RefII = TII->get(TargetOpcode::DBG_VALUE_LIST); 1167fe6060f1SDimitry Andric MI.setDesc(RefII); 1168bdd1243dSDimitry Andric MI.setDebugValueUndef(); 1169fe6060f1SDimitry Andric }; 1170fe6060f1SDimitry Andric 117181ad6265SDimitry Andric DenseMap<Register, DebugInstrOperandPair> ArgDbgPHIs; 1172fe6060f1SDimitry Andric for (auto &MBB : *this) { 1173fe6060f1SDimitry Andric for (auto &MI : MBB) { 1174bdd1243dSDimitry Andric if (!MI.isDebugRef()) 1175fe6060f1SDimitry Andric continue; 1176fe6060f1SDimitry Andric 1177bdd1243dSDimitry Andric bool IsValidRef = true; 1178bdd1243dSDimitry Andric 1179bdd1243dSDimitry Andric for (MachineOperand &MO : MI.debug_operands()) { 1180bdd1243dSDimitry Andric if (!MO.isReg()) 1181bdd1243dSDimitry Andric continue; 1182bdd1243dSDimitry Andric 1183bdd1243dSDimitry Andric Register Reg = MO.getReg(); 1184fe6060f1SDimitry Andric 1185fe6060f1SDimitry Andric // Some vregs can be deleted as redundant in the meantime. Mark those 11864824e7fdSDimitry Andric // as DBG_VALUE $noreg. Additionally, some normal instructions are 11874824e7fdSDimitry Andric // quickly deleted, leaving dangling references to vregs with no def. 11884824e7fdSDimitry Andric if (Reg == 0 || !RegInfo->hasOneDef(Reg)) { 1189bdd1243dSDimitry Andric IsValidRef = false; 1190bdd1243dSDimitry Andric break; 1191fe6060f1SDimitry Andric } 1192fe6060f1SDimitry Andric 1193fe6060f1SDimitry Andric assert(Reg.isVirtual()); 1194fe6060f1SDimitry Andric MachineInstr &DefMI = *RegInfo->def_instr_begin(Reg); 1195fe6060f1SDimitry Andric 1196fe6060f1SDimitry Andric // If we've found a copy-like instruction, follow it back to the 1197fe6060f1SDimitry Andric // instruction that defines the source value, see salvageCopySSA docs 1198fe6060f1SDimitry Andric // for why this is important. 1199fe6060f1SDimitry Andric if (DefMI.isCopyLike() || TII->isCopyInstr(DefMI)) { 120081ad6265SDimitry Andric auto Result = salvageCopySSA(DefMI, ArgDbgPHIs); 1201bdd1243dSDimitry Andric MO.ChangeToDbgInstrRef(Result.first, Result.second); 1202fe6060f1SDimitry Andric } else { 1203fe6060f1SDimitry Andric // Otherwise, identify the operand number that the VReg refers to. 1204fe6060f1SDimitry Andric unsigned OperandIdx = 0; 1205bdd1243dSDimitry Andric for (const auto &DefMO : DefMI.operands()) { 1206bdd1243dSDimitry Andric if (DefMO.isReg() && DefMO.isDef() && DefMO.getReg() == Reg) 1207fe6060f1SDimitry Andric break; 1208fe6060f1SDimitry Andric ++OperandIdx; 1209fe6060f1SDimitry Andric } 1210fe6060f1SDimitry Andric assert(OperandIdx < DefMI.getNumOperands()); 1211fe6060f1SDimitry Andric 1212fe6060f1SDimitry Andric // Morph this instr ref to point at the given instruction and operand. 1213fe6060f1SDimitry Andric unsigned ID = DefMI.getDebugInstrNum(); 1214bdd1243dSDimitry Andric MO.ChangeToDbgInstrRef(ID, OperandIdx); 1215fe6060f1SDimitry Andric } 1216fe6060f1SDimitry Andric } 1217bdd1243dSDimitry Andric 1218bdd1243dSDimitry Andric if (!IsValidRef) 1219bdd1243dSDimitry Andric MakeUndefDbgValue(MI); 1220bdd1243dSDimitry Andric } 1221fe6060f1SDimitry Andric } 1222fe6060f1SDimitry Andric } 1223fe6060f1SDimitry Andric 1224bdd1243dSDimitry Andric bool MachineFunction::shouldUseDebugInstrRef() const { 1225349cc55cSDimitry Andric // Disable instr-ref at -O0: it's very slow (in compile time). We can still 1226349cc55cSDimitry Andric // have optimized code inlined into this unoptimized code, however with 1227349cc55cSDimitry Andric // fewer and less aggressive optimizations happening, coverage and accuracy 1228349cc55cSDimitry Andric // should not suffer. 12295f757f3fSDimitry Andric if (getTarget().getOptLevel() == CodeGenOptLevel::None) 1230349cc55cSDimitry Andric return false; 1231349cc55cSDimitry Andric 1232349cc55cSDimitry Andric // Don't use instr-ref if this function is marked optnone. 1233349cc55cSDimitry Andric if (F.hasFnAttribute(Attribute::OptimizeNone)) 1234349cc55cSDimitry Andric return false; 1235349cc55cSDimitry Andric 123604eeddc0SDimitry Andric if (llvm::debuginfoShouldUseDebugInstrRef(getTarget().getTargetTriple())) 1237349cc55cSDimitry Andric return true; 1238349cc55cSDimitry Andric 1239349cc55cSDimitry Andric return false; 1240349cc55cSDimitry Andric } 1241349cc55cSDimitry Andric 1242bdd1243dSDimitry Andric bool MachineFunction::useDebugInstrRef() const { 1243bdd1243dSDimitry Andric return UseDebugInstrRef; 1244bdd1243dSDimitry Andric } 1245bdd1243dSDimitry Andric 1246bdd1243dSDimitry Andric void MachineFunction::setUseDebugInstrRef(bool Use) { 1247bdd1243dSDimitry Andric UseDebugInstrRef = Use; 1248bdd1243dSDimitry Andric } 1249bdd1243dSDimitry Andric 1250349cc55cSDimitry Andric // Use one million as a high / reserved number. 1251349cc55cSDimitry Andric const unsigned MachineFunction::DebugOperandMemNumber = 1000000; 1252349cc55cSDimitry Andric 12530b57cec5SDimitry Andric /// \} 12540b57cec5SDimitry Andric 12550b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 12560b57cec5SDimitry Andric // MachineJumpTableInfo implementation 12570b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 12580b57cec5SDimitry Andric 12590b57cec5SDimitry Andric /// Return the size of each entry in the jump table. 12600b57cec5SDimitry Andric unsigned MachineJumpTableInfo::getEntrySize(const DataLayout &TD) const { 12610b57cec5SDimitry Andric // The size of a jump table entry is 4 bytes unless the entry is just the 12620b57cec5SDimitry Andric // address of a block, in which case it is the pointer size. 12630b57cec5SDimitry Andric switch (getEntryKind()) { 12640b57cec5SDimitry Andric case MachineJumpTableInfo::EK_BlockAddress: 12650b57cec5SDimitry Andric return TD.getPointerSize(); 12660b57cec5SDimitry Andric case MachineJumpTableInfo::EK_GPRel64BlockAddress: 12675f757f3fSDimitry Andric case MachineJumpTableInfo::EK_LabelDifference64: 12680b57cec5SDimitry Andric return 8; 12690b57cec5SDimitry Andric case MachineJumpTableInfo::EK_GPRel32BlockAddress: 12700b57cec5SDimitry Andric case MachineJumpTableInfo::EK_LabelDifference32: 12710b57cec5SDimitry Andric case MachineJumpTableInfo::EK_Custom32: 12720b57cec5SDimitry Andric return 4; 12730b57cec5SDimitry Andric case MachineJumpTableInfo::EK_Inline: 12740b57cec5SDimitry Andric return 0; 12750b57cec5SDimitry Andric } 12760b57cec5SDimitry Andric llvm_unreachable("Unknown jump table encoding!"); 12770b57cec5SDimitry Andric } 12780b57cec5SDimitry Andric 12790b57cec5SDimitry Andric /// Return the alignment of each entry in the jump table. 12800b57cec5SDimitry Andric unsigned MachineJumpTableInfo::getEntryAlignment(const DataLayout &TD) const { 12810b57cec5SDimitry Andric // The alignment of a jump table entry is the alignment of int32 unless the 12820b57cec5SDimitry Andric // entry is just the address of a block, in which case it is the pointer 12830b57cec5SDimitry Andric // alignment. 12840b57cec5SDimitry Andric switch (getEntryKind()) { 12850b57cec5SDimitry Andric case MachineJumpTableInfo::EK_BlockAddress: 12868bcb0991SDimitry Andric return TD.getPointerABIAlignment(0).value(); 12870b57cec5SDimitry Andric case MachineJumpTableInfo::EK_GPRel64BlockAddress: 12885f757f3fSDimitry Andric case MachineJumpTableInfo::EK_LabelDifference64: 12898bcb0991SDimitry Andric return TD.getABIIntegerTypeAlignment(64).value(); 12900b57cec5SDimitry Andric case MachineJumpTableInfo::EK_GPRel32BlockAddress: 12910b57cec5SDimitry Andric case MachineJumpTableInfo::EK_LabelDifference32: 12920b57cec5SDimitry Andric case MachineJumpTableInfo::EK_Custom32: 12938bcb0991SDimitry Andric return TD.getABIIntegerTypeAlignment(32).value(); 12940b57cec5SDimitry Andric case MachineJumpTableInfo::EK_Inline: 12950b57cec5SDimitry Andric return 1; 12960b57cec5SDimitry Andric } 12970b57cec5SDimitry Andric llvm_unreachable("Unknown jump table encoding!"); 12980b57cec5SDimitry Andric } 12990b57cec5SDimitry Andric 13000b57cec5SDimitry Andric /// Create a new jump table entry in the jump table info. 13010b57cec5SDimitry Andric unsigned MachineJumpTableInfo::createJumpTableIndex( 13020b57cec5SDimitry Andric const std::vector<MachineBasicBlock*> &DestBBs) { 13030b57cec5SDimitry Andric assert(!DestBBs.empty() && "Cannot create an empty jump table!"); 13040b57cec5SDimitry Andric JumpTables.push_back(MachineJumpTableEntry(DestBBs)); 13050b57cec5SDimitry Andric return JumpTables.size()-1; 13060b57cec5SDimitry Andric } 13070b57cec5SDimitry Andric 13080b57cec5SDimitry Andric /// If Old is the target of any jump tables, update the jump tables to branch 13090b57cec5SDimitry Andric /// to New instead. 13100b57cec5SDimitry Andric bool MachineJumpTableInfo::ReplaceMBBInJumpTables(MachineBasicBlock *Old, 13110b57cec5SDimitry Andric MachineBasicBlock *New) { 13120b57cec5SDimitry Andric assert(Old != New && "Not making a change?"); 13130b57cec5SDimitry Andric bool MadeChange = false; 13140b57cec5SDimitry Andric for (size_t i = 0, e = JumpTables.size(); i != e; ++i) 13150b57cec5SDimitry Andric ReplaceMBBInJumpTable(i, Old, New); 13160b57cec5SDimitry Andric return MadeChange; 13170b57cec5SDimitry Andric } 13180b57cec5SDimitry Andric 1319e8d8bef9SDimitry Andric /// If MBB is present in any jump tables, remove it. 1320e8d8bef9SDimitry Andric bool MachineJumpTableInfo::RemoveMBBFromJumpTables(MachineBasicBlock *MBB) { 1321e8d8bef9SDimitry Andric bool MadeChange = false; 1322e8d8bef9SDimitry Andric for (MachineJumpTableEntry &JTE : JumpTables) { 1323e8d8bef9SDimitry Andric auto removeBeginItr = std::remove(JTE.MBBs.begin(), JTE.MBBs.end(), MBB); 1324e8d8bef9SDimitry Andric MadeChange |= (removeBeginItr != JTE.MBBs.end()); 1325e8d8bef9SDimitry Andric JTE.MBBs.erase(removeBeginItr, JTE.MBBs.end()); 1326e8d8bef9SDimitry Andric } 1327e8d8bef9SDimitry Andric return MadeChange; 1328e8d8bef9SDimitry Andric } 1329e8d8bef9SDimitry Andric 13300b57cec5SDimitry Andric /// If Old is a target of the jump tables, update the jump table to branch to 13310b57cec5SDimitry Andric /// New instead. 13320b57cec5SDimitry Andric bool MachineJumpTableInfo::ReplaceMBBInJumpTable(unsigned Idx, 13330b57cec5SDimitry Andric MachineBasicBlock *Old, 13340b57cec5SDimitry Andric MachineBasicBlock *New) { 13350b57cec5SDimitry Andric assert(Old != New && "Not making a change?"); 13360b57cec5SDimitry Andric bool MadeChange = false; 13370b57cec5SDimitry Andric MachineJumpTableEntry &JTE = JumpTables[Idx]; 13384824e7fdSDimitry Andric for (MachineBasicBlock *&MBB : JTE.MBBs) 13394824e7fdSDimitry Andric if (MBB == Old) { 13404824e7fdSDimitry Andric MBB = New; 13410b57cec5SDimitry Andric MadeChange = true; 13420b57cec5SDimitry Andric } 13430b57cec5SDimitry Andric return MadeChange; 13440b57cec5SDimitry Andric } 13450b57cec5SDimitry Andric 13460b57cec5SDimitry Andric void MachineJumpTableInfo::print(raw_ostream &OS) const { 13470b57cec5SDimitry Andric if (JumpTables.empty()) return; 13480b57cec5SDimitry Andric 13490b57cec5SDimitry Andric OS << "Jump Tables:\n"; 13500b57cec5SDimitry Andric 13510b57cec5SDimitry Andric for (unsigned i = 0, e = JumpTables.size(); i != e; ++i) { 13520b57cec5SDimitry Andric OS << printJumpTableEntryReference(i) << ':'; 13534824e7fdSDimitry Andric for (const MachineBasicBlock *MBB : JumpTables[i].MBBs) 13544824e7fdSDimitry Andric OS << ' ' << printMBBReference(*MBB); 13550b57cec5SDimitry Andric if (i != e) 13560b57cec5SDimitry Andric OS << '\n'; 13570b57cec5SDimitry Andric } 13580b57cec5SDimitry Andric 13590b57cec5SDimitry Andric OS << '\n'; 13600b57cec5SDimitry Andric } 13610b57cec5SDimitry Andric 13620b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 13630b57cec5SDimitry Andric LLVM_DUMP_METHOD void MachineJumpTableInfo::dump() const { print(dbgs()); } 13640b57cec5SDimitry Andric #endif 13650b57cec5SDimitry Andric 13660b57cec5SDimitry Andric Printable llvm::printJumpTableEntryReference(unsigned Idx) { 13670b57cec5SDimitry Andric return Printable([Idx](raw_ostream &OS) { OS << "%jump-table." << Idx; }); 13680b57cec5SDimitry Andric } 13690b57cec5SDimitry Andric 13700b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 13710b57cec5SDimitry Andric // MachineConstantPool implementation 13720b57cec5SDimitry Andric //===----------------------------------------------------------------------===// 13730b57cec5SDimitry Andric 13740b57cec5SDimitry Andric void MachineConstantPoolValue::anchor() {} 13750b57cec5SDimitry Andric 1376e8d8bef9SDimitry Andric unsigned MachineConstantPoolValue::getSizeInBytes(const DataLayout &DL) const { 1377e8d8bef9SDimitry Andric return DL.getTypeAllocSize(Ty); 1378e8d8bef9SDimitry Andric } 1379e8d8bef9SDimitry Andric 1380e8d8bef9SDimitry Andric unsigned MachineConstantPoolEntry::getSizeInBytes(const DataLayout &DL) const { 13810b57cec5SDimitry Andric if (isMachineConstantPoolEntry()) 1382e8d8bef9SDimitry Andric return Val.MachineCPVal->getSizeInBytes(DL); 1383e8d8bef9SDimitry Andric return DL.getTypeAllocSize(Val.ConstVal->getType()); 13840b57cec5SDimitry Andric } 13850b57cec5SDimitry Andric 13860b57cec5SDimitry Andric bool MachineConstantPoolEntry::needsRelocation() const { 13870b57cec5SDimitry Andric if (isMachineConstantPoolEntry()) 13880b57cec5SDimitry Andric return true; 1389fe6060f1SDimitry Andric return Val.ConstVal->needsDynamicRelocation(); 13900b57cec5SDimitry Andric } 13910b57cec5SDimitry Andric 13920b57cec5SDimitry Andric SectionKind 13930b57cec5SDimitry Andric MachineConstantPoolEntry::getSectionKind(const DataLayout *DL) const { 13940b57cec5SDimitry Andric if (needsRelocation()) 13950b57cec5SDimitry Andric return SectionKind::getReadOnlyWithRel(); 1396e8d8bef9SDimitry Andric switch (getSizeInBytes(*DL)) { 13970b57cec5SDimitry Andric case 4: 13980b57cec5SDimitry Andric return SectionKind::getMergeableConst4(); 13990b57cec5SDimitry Andric case 8: 14000b57cec5SDimitry Andric return SectionKind::getMergeableConst8(); 14010b57cec5SDimitry Andric case 16: 14020b57cec5SDimitry Andric return SectionKind::getMergeableConst16(); 14030b57cec5SDimitry Andric case 32: 14040b57cec5SDimitry Andric return SectionKind::getMergeableConst32(); 14050b57cec5SDimitry Andric default: 14060b57cec5SDimitry Andric return SectionKind::getReadOnly(); 14070b57cec5SDimitry Andric } 14080b57cec5SDimitry Andric } 14090b57cec5SDimitry Andric 14100b57cec5SDimitry Andric MachineConstantPool::~MachineConstantPool() { 14110b57cec5SDimitry Andric // A constant may be a member of both Constants and MachineCPVsSharingEntries, 14120b57cec5SDimitry Andric // so keep track of which we've deleted to avoid double deletions. 14130b57cec5SDimitry Andric DenseSet<MachineConstantPoolValue*> Deleted; 14140eae32dcSDimitry Andric for (const MachineConstantPoolEntry &C : Constants) 14150eae32dcSDimitry Andric if (C.isMachineConstantPoolEntry()) { 14160eae32dcSDimitry Andric Deleted.insert(C.Val.MachineCPVal); 14170eae32dcSDimitry Andric delete C.Val.MachineCPVal; 14180b57cec5SDimitry Andric } 1419fe6060f1SDimitry Andric for (MachineConstantPoolValue *CPV : MachineCPVsSharingEntries) { 1420fe6060f1SDimitry Andric if (Deleted.count(CPV) == 0) 1421fe6060f1SDimitry Andric delete CPV; 14220b57cec5SDimitry Andric } 14230b57cec5SDimitry Andric } 14240b57cec5SDimitry Andric 14250b57cec5SDimitry Andric /// Test whether the given two constants can be allocated the same constant pool 142606c3fb27SDimitry Andric /// entry referenced by \param A. 14270b57cec5SDimitry Andric static bool CanShareConstantPoolEntry(const Constant *A, const Constant *B, 14280b57cec5SDimitry Andric const DataLayout &DL) { 14290b57cec5SDimitry Andric // Handle the trivial case quickly. 14300b57cec5SDimitry Andric if (A == B) return true; 14310b57cec5SDimitry Andric 14320b57cec5SDimitry Andric // If they have the same type but weren't the same constant, quickly 14330b57cec5SDimitry Andric // reject them. 14340b57cec5SDimitry Andric if (A->getType() == B->getType()) return false; 14350b57cec5SDimitry Andric 14360b57cec5SDimitry Andric // We can't handle structs or arrays. 14370b57cec5SDimitry Andric if (isa<StructType>(A->getType()) || isa<ArrayType>(A->getType()) || 14380b57cec5SDimitry Andric isa<StructType>(B->getType()) || isa<ArrayType>(B->getType())) 14390b57cec5SDimitry Andric return false; 14400b57cec5SDimitry Andric 14410b57cec5SDimitry Andric // For now, only support constants with the same size. 14420b57cec5SDimitry Andric uint64_t StoreSize = DL.getTypeStoreSize(A->getType()); 14430b57cec5SDimitry Andric if (StoreSize != DL.getTypeStoreSize(B->getType()) || StoreSize > 128) 14440b57cec5SDimitry Andric return false; 14450b57cec5SDimitry Andric 144606c3fb27SDimitry Andric bool ContainsUndefOrPoisonA = A->containsUndefOrPoisonElement(); 144706c3fb27SDimitry Andric 14480b57cec5SDimitry Andric Type *IntTy = IntegerType::get(A->getContext(), StoreSize*8); 14490b57cec5SDimitry Andric 14500b57cec5SDimitry Andric // Try constant folding a bitcast of both instructions to an integer. If we 14510b57cec5SDimitry Andric // get two identical ConstantInt's, then we are good to share them. We use 14520b57cec5SDimitry Andric // the constant folding APIs to do this so that we get the benefit of 14530b57cec5SDimitry Andric // DataLayout. 14540b57cec5SDimitry Andric if (isa<PointerType>(A->getType())) 14550b57cec5SDimitry Andric A = ConstantFoldCastOperand(Instruction::PtrToInt, 14560b57cec5SDimitry Andric const_cast<Constant *>(A), IntTy, DL); 14570b57cec5SDimitry Andric else if (A->getType() != IntTy) 14580b57cec5SDimitry Andric A = ConstantFoldCastOperand(Instruction::BitCast, const_cast<Constant *>(A), 14590b57cec5SDimitry Andric IntTy, DL); 14600b57cec5SDimitry Andric if (isa<PointerType>(B->getType())) 14610b57cec5SDimitry Andric B = ConstantFoldCastOperand(Instruction::PtrToInt, 14620b57cec5SDimitry Andric const_cast<Constant *>(B), IntTy, DL); 14630b57cec5SDimitry Andric else if (B->getType() != IntTy) 14640b57cec5SDimitry Andric B = ConstantFoldCastOperand(Instruction::BitCast, const_cast<Constant *>(B), 14650b57cec5SDimitry Andric IntTy, DL); 14660b57cec5SDimitry Andric 146706c3fb27SDimitry Andric if (A != B) 146806c3fb27SDimitry Andric return false; 146906c3fb27SDimitry Andric 147006c3fb27SDimitry Andric // Constants only safely match if A doesn't contain undef/poison. 147106c3fb27SDimitry Andric // As we'll be reusing A, it doesn't matter if B contain undef/poison. 147206c3fb27SDimitry Andric // TODO: Handle cases where A and B have the same undef/poison elements. 147306c3fb27SDimitry Andric // TODO: Merge A and B with mismatching undef/poison elements. 147406c3fb27SDimitry Andric return !ContainsUndefOrPoisonA; 14750b57cec5SDimitry Andric } 14760b57cec5SDimitry Andric 14770b57cec5SDimitry Andric /// Create a new entry in the constant pool or return an existing one. 14780b57cec5SDimitry Andric /// User must specify the log2 of the minimum required alignment for the object. 14790b57cec5SDimitry Andric unsigned MachineConstantPool::getConstantPoolIndex(const Constant *C, 14805ffd83dbSDimitry Andric Align Alignment) { 14810b57cec5SDimitry Andric if (Alignment > PoolAlignment) PoolAlignment = Alignment; 14820b57cec5SDimitry Andric 14830b57cec5SDimitry Andric // Check to see if we already have this constant. 14840b57cec5SDimitry Andric // 14850b57cec5SDimitry Andric // FIXME, this could be made much more efficient for large constant pools. 14860b57cec5SDimitry Andric for (unsigned i = 0, e = Constants.size(); i != e; ++i) 14870b57cec5SDimitry Andric if (!Constants[i].isMachineConstantPoolEntry() && 14880b57cec5SDimitry Andric CanShareConstantPoolEntry(Constants[i].Val.ConstVal, C, DL)) { 14895ffd83dbSDimitry Andric if (Constants[i].getAlign() < Alignment) 14900b57cec5SDimitry Andric Constants[i].Alignment = Alignment; 14910b57cec5SDimitry Andric return i; 14920b57cec5SDimitry Andric } 14930b57cec5SDimitry Andric 14940b57cec5SDimitry Andric Constants.push_back(MachineConstantPoolEntry(C, Alignment)); 14950b57cec5SDimitry Andric return Constants.size()-1; 14960b57cec5SDimitry Andric } 14970b57cec5SDimitry Andric 14980b57cec5SDimitry Andric unsigned MachineConstantPool::getConstantPoolIndex(MachineConstantPoolValue *V, 14995ffd83dbSDimitry Andric Align Alignment) { 15000b57cec5SDimitry Andric if (Alignment > PoolAlignment) PoolAlignment = Alignment; 15010b57cec5SDimitry Andric 15020b57cec5SDimitry Andric // Check to see if we already have this constant. 15030b57cec5SDimitry Andric // 15040b57cec5SDimitry Andric // FIXME, this could be made much more efficient for large constant pools. 15050b57cec5SDimitry Andric int Idx = V->getExistingMachineCPValue(this, Alignment); 15060b57cec5SDimitry Andric if (Idx != -1) { 15070b57cec5SDimitry Andric MachineCPVsSharingEntries.insert(V); 15080b57cec5SDimitry Andric return (unsigned)Idx; 15090b57cec5SDimitry Andric } 15100b57cec5SDimitry Andric 15110b57cec5SDimitry Andric Constants.push_back(MachineConstantPoolEntry(V, Alignment)); 15120b57cec5SDimitry Andric return Constants.size()-1; 15130b57cec5SDimitry Andric } 15140b57cec5SDimitry Andric 15150b57cec5SDimitry Andric void MachineConstantPool::print(raw_ostream &OS) const { 15160b57cec5SDimitry Andric if (Constants.empty()) return; 15170b57cec5SDimitry Andric 15180b57cec5SDimitry Andric OS << "Constant Pool:\n"; 15190b57cec5SDimitry Andric for (unsigned i = 0, e = Constants.size(); i != e; ++i) { 15200b57cec5SDimitry Andric OS << " cp#" << i << ": "; 15210b57cec5SDimitry Andric if (Constants[i].isMachineConstantPoolEntry()) 15220b57cec5SDimitry Andric Constants[i].Val.MachineCPVal->print(OS); 15230b57cec5SDimitry Andric else 15240b57cec5SDimitry Andric Constants[i].Val.ConstVal->printAsOperand(OS, /*PrintType=*/false); 15255ffd83dbSDimitry Andric OS << ", align=" << Constants[i].getAlign().value(); 15260b57cec5SDimitry Andric OS << "\n"; 15270b57cec5SDimitry Andric } 15280b57cec5SDimitry Andric } 15290b57cec5SDimitry Andric 153006c3fb27SDimitry Andric //===----------------------------------------------------------------------===// 153106c3fb27SDimitry Andric // Template specialization for MachineFunction implementation of 153206c3fb27SDimitry Andric // ProfileSummaryInfo::getEntryCount(). 153306c3fb27SDimitry Andric //===----------------------------------------------------------------------===// 153406c3fb27SDimitry Andric template <> 153506c3fb27SDimitry Andric std::optional<Function::ProfileCount> 153606c3fb27SDimitry Andric ProfileSummaryInfo::getEntryCount<llvm::MachineFunction>( 153706c3fb27SDimitry Andric const llvm::MachineFunction *F) const { 153806c3fb27SDimitry Andric return F->getFunction().getEntryCount(); 153906c3fb27SDimitry Andric } 154006c3fb27SDimitry Andric 15410b57cec5SDimitry Andric #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) 15420b57cec5SDimitry Andric LLVM_DUMP_METHOD void MachineConstantPool::dump() const { print(dbgs()); } 15430b57cec5SDimitry Andric #endif 1544