LLVM 22.0.0git
StackMapLivenessAnalysis.cpp
Go to the documentation of this file.
1//===-- StackMapLivenessAnalysis.cpp - StackMap live Out Analysis ----------===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// This file implements the StackMap Liveness analysis pass. The pass calculates
10// the liveness for each basic block in a function and attaches the register
11// live-out information to a stackmap or patchpoint intrinsic if present.
12//
13//===----------------------------------------------------------------------===//
14
15#include "llvm/ADT/Statistic.h"
22#include "llvm/Pass.h"
24#include "llvm/Support/Debug.h"
26
27using namespace llvm;
28
29#define DEBUG_TYPE "stackmaps"
30
32 "enable-patchpoint-liveness", cl::Hidden, cl::init(true),
33 cl::desc("Enable PatchPoint Liveness Analysis Pass"));
34
35STATISTIC(NumStackMapFuncVisited, "Number of functions visited");
36STATISTIC(NumStackMapFuncSkipped, "Number of functions skipped");
37STATISTIC(NumBBsVisited, "Number of basic blocks visited");
38STATISTIC(NumBBsHaveNoStackmap, "Number of basic blocks with no stackmap");
39STATISTIC(NumStackMaps, "Number of StackMaps visited");
40
41namespace {
42/// This pass calculates the liveness information for each basic block in
43/// a function and attaches the register live-out information to a patchpoint
44/// intrinsic if present.
45///
46/// This pass can be disabled via the -enable-patchpoint-liveness=false flag.
47/// The pass skips functions that don't have any patchpoint intrinsics. The
48/// information provided by this pass is optional and not required by the
49/// aformentioned intrinsic to function.
50class StackMapLiveness : public MachineFunctionPass {
51 const TargetRegisterInfo *TRI = nullptr;
52 LivePhysRegs LiveRegs;
53
54public:
55 static char ID;
56
57 /// Default construct and initialize the pass.
58 StackMapLiveness();
59
60 /// Tell the pass manager which passes we depend on and what
61 /// information we preserve.
62 void getAnalysisUsage(AnalysisUsage &AU) const override;
63
65 return MachineFunctionProperties().setNoVRegs();
66 }
67
68 /// Calculate the liveness information for the given machine function.
69 bool runOnMachineFunction(MachineFunction &MF) override;
70
71private:
72 /// Performs the actual liveness calculation for the function.
73 bool calculateLiveness(MachineFunction &MF);
74
75 /// Add the current register live set to the instruction.
76 void addLiveOutSetToMI(MachineFunction &MF, MachineInstr &MI);
77
78 /// Create a register mask and initialize it with the registers from
79 /// the register live set.
80 uint32_t *createRegisterMask(MachineFunction &MF) const;
81};
82} // namespace
83
84char StackMapLiveness::ID = 0;
85char &llvm::StackMapLivenessID = StackMapLiveness::ID;
86INITIALIZE_PASS(StackMapLiveness, "stackmap-liveness",
87 "StackMap Liveness Analysis", false, false)
88
89/// Default construct and initialize the pass.
90StackMapLiveness::StackMapLiveness() : MachineFunctionPass(ID) {
92}
93
94/// Tell the pass manager which passes we depend on and what information we
95/// preserve.
96void StackMapLiveness::getAnalysisUsage(AnalysisUsage &AU) const {
97 // We preserve all information.
98 AU.setPreservesAll();
99 AU.setPreservesCFG();
101}
102
103/// Calculate the liveness information for the given machine function.
104bool StackMapLiveness::runOnMachineFunction(MachineFunction &MF) {
106 return false;
107
109 ++NumStackMapFuncVisited;
110
111 // Skip this function if there are no patchpoints to process.
112 if (!MF.getFrameInfo().hasPatchPoint()) {
113 ++NumStackMapFuncSkipped;
114 return false;
115 }
116 return calculateLiveness(MF);
117}
118
119/// Performs the actual liveness calculation for the function.
120bool StackMapLiveness::calculateLiveness(MachineFunction &MF) {
121 LLVM_DEBUG(dbgs() << "********** COMPUTING STACKMAP LIVENESS: "
122 << MF.getName() << " **********\n");
123 bool HasChanged = false;
124 // For all basic blocks in the function.
125 for (auto &MBB : MF) {
126 LLVM_DEBUG(dbgs() << "****** BB " << MBB.getName() << " ******\n");
127 LiveRegs.init(*TRI);
128 LiveRegs.addLiveOuts(MBB);
129 bool HasStackMap = false;
130 // Reverse iterate over all instructions and add the current live register
131 // set to an instruction if we encounter a patchpoint instruction.
132 for (MachineInstr &MI : llvm::reverse(MBB)) {
133 if (MI.getOpcode() == TargetOpcode::PATCHPOINT) {
134 addLiveOutSetToMI(MF, MI);
135 HasChanged = true;
136 HasStackMap = true;
137 ++NumStackMaps;
138 }
139 LLVM_DEBUG(dbgs() << " " << LiveRegs << " " << MI);
140 LiveRegs.stepBackward(MI);
141 }
142 ++NumBBsVisited;
143 if (!HasStackMap)
144 ++NumBBsHaveNoStackmap;
145 }
146 return HasChanged;
147}
148
149/// Add the current register live set to the instruction.
150void StackMapLiveness::addLiveOutSetToMI(MachineFunction &MF,
151 MachineInstr &MI) {
152 uint32_t *Mask = createRegisterMask(MF);
154 MI.addOperand(MF, MO);
155}
156
157/// Create a register mask and initialize it with the registers from the
158/// register live set.
159uint32_t *StackMapLiveness::createRegisterMask(MachineFunction &MF) const {
160 // The mask is owned and cleaned up by the Machine Function.
162 for (auto Reg : LiveRegs)
163 Mask[Reg / 32] |= 1U << (Reg % 32);
164
165 // Give the target a chance to adjust the mask.
166 TRI->adjustStackMapLiveOutMask(Mask);
167
168 return Mask;
169}
MachineBasicBlock & MBB
IRTranslator LLVM IR MI
This file implements the LivePhysRegs utility for tracking liveness of physical registers.
Register const TargetRegisterInfo * TRI
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition: PassSupport.h:56
static cl::opt< bool > EnablePatchPointLiveness("enable-patchpoint-liveness", cl::Hidden, cl::init(true), cl::desc("Enable PatchPoint Liveness Analysis Pass"))
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
Definition: Statistic.h:167
#define LLVM_DEBUG(...)
Definition: Debug.h:119
Represent the analysis usage information of a pass.
LLVM_ABI void setPreservesCFG()
This function should be called by the pass, iff they do not:
Definition: Pass.cpp:270
void setPreservesAll()
Set by analyses that do not transform their input at all.
A set of physical registers with utility functions to track liveness when walking backward/forward th...
Definition: LivePhysRegs.h:52
LLVM_ABI StringRef getName() const
Return the name of the corresponding LLVM basic block, or an empty string.
bool hasPatchPoint() const
This method may be called any time after instruction selection is complete to determine if there is a...
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
virtual bool runOnMachineFunction(MachineFunction &MF)=0
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformat...
virtual MachineFunctionProperties getRequiredProperties() const
Properties which a MachineFunction may have at a given point in time.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
uint32_t * allocateRegMask()
Allocate and initialize a register mask with NumRegister bits.
Representation of each machine instruction.
Definition: MachineInstr.h:72
MachineOperand class - Representation of each machine instruction operand.
static MachineOperand CreateRegLiveOut(const uint32_t *Mask)
static LLVM_ABI PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
virtual const TargetRegisterInfo * getRegisterInfo() const =0
Return the target's register information.
constexpr std::underlying_type_t< E > Mask()
Get a bitmask with 1s in all places up to the high-order bit of E's largest value.
Definition: BitmaskEnum.h:126
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition: CallingConv.h:24
Reg
All possible values of the reg field in the ModR/M byte.
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:444
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
LLVM_ABI void initializeStackMapLivenessPass(PassRegistry &)
auto reverse(ContainerTy &&C)
Definition: STLExtras.h:428
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:207
LLVM_ABI char & StackMapLivenessID
StackMapLiveness - This pass analyses the register live-out set of stackmap/patchpoint intrinsics and...