LLVM  8.0.1
StackMapLivenessAnalysis.cpp
Go to the documentation of this file.
1 //===-- StackMapLivenessAnalysis.cpp - StackMap live Out Analysis ----------===//
2 //
3 // The LLVM Compiler Infrastructure
4 //
5 // This file is distributed under the University of Illinois Open Source
6 // License. See LICENSE.TXT for details.
7 //
8 //===----------------------------------------------------------------------===//
9 //
10 // This file implements the StackMap Liveness analysis pass. The pass calculates
11 // the liveness for each basic block in a function and attaches the register
12 // live-out information to a stackmap or patchpoint intrinsic if present.
13 //
14 //===----------------------------------------------------------------------===//
15 
16 #include "llvm/ADT/Statistic.h"
21 #include "llvm/CodeGen/Passes.h"
24 #include "llvm/Support/Debug.h"
26 
27 using 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 
35 STATISTIC(NumStackMapFuncVisited, "Number of functions visited");
36 STATISTIC(NumStackMapFuncSkipped, "Number of functions skipped");
37 STATISTIC(NumBBsVisited, "Number of basic blocks visited");
38 STATISTIC(NumBBsHaveNoStackmap, "Number of basic blocks with no stackmap");
39 STATISTIC(NumStackMaps, "Number of StackMaps visited");
40 
41 namespace {
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.
50 class StackMapLiveness : public MachineFunctionPass {
51  const TargetRegisterInfo *TRI;
52  LivePhysRegs LiveRegs;
53 
54 public:
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 
64  MachineFunctionProperties getRequiredProperties() const override {
67  }
68 
69  /// Calculate the liveness information for the given machine function.
70  bool runOnMachineFunction(MachineFunction &MF) override;
71 
72 private:
73  /// Performs the actual liveness calculation for the function.
74  bool calculateLiveness(MachineFunction &MF);
75 
76  /// Add the current register live set to the instruction.
77  void addLiveOutSetToMI(MachineFunction &MF, MachineInstr &MI);
78 
79  /// Create a register mask and initialize it with the registers from
80  /// the register live set.
81  uint32_t *createRegisterMask(MachineFunction &MF) const;
82 };
83 } // namespace
84 
85 char StackMapLiveness::ID = 0;
87 INITIALIZE_PASS(StackMapLiveness, "stackmap-liveness",
88  "StackMap Liveness Analysis", false, false)
89 
90 /// Default construct and initialize the pass.
91 StackMapLiveness::StackMapLiveness() : MachineFunctionPass(ID) {
93 }
94 
95 /// Tell the pass manager which passes we depend on and what information we
96 /// preserve.
97 void StackMapLiveness::getAnalysisUsage(AnalysisUsage &AU) const {
98  // We preserve all information.
99  AU.setPreservesAll();
100  AU.setPreservesCFG();
102 }
103 
104 /// Calculate the liveness information for the given machine function.
105 bool StackMapLiveness::runOnMachineFunction(MachineFunction &MF) {
107  return false;
108 
109  LLVM_DEBUG(dbgs() << "********** COMPUTING STACKMAP LIVENESS: "
110  << MF.getName() << " **********\n");
112  ++NumStackMapFuncVisited;
113 
114  // Skip this function if there are no patchpoints to process.
115  if (!MF.getFrameInfo().hasPatchPoint()) {
116  ++NumStackMapFuncSkipped;
117  return false;
118  }
119  return calculateLiveness(MF);
120 }
121 
122 /// Performs the actual liveness calculation for the function.
123 bool StackMapLiveness::calculateLiveness(MachineFunction &MF) {
124  bool HasChanged = false;
125  // For all basic blocks in the function.
126  for (auto &MBB : MF) {
127  LLVM_DEBUG(dbgs() << "****** BB " << MBB.getName() << " ******\n");
128  LiveRegs.init(*TRI);
129  // FIXME: This should probably be addLiveOuts().
130  LiveRegs.addLiveOutsNoPristines(MBB);
131  bool HasStackMap = false;
132  // Reverse iterate over all instructions and add the current live register
133  // set to an instruction if we encounter a patchpoint instruction.
134  for (auto I = MBB.rbegin(), E = MBB.rend(); I != E; ++I) {
135  if (I->getOpcode() == TargetOpcode::PATCHPOINT) {
136  addLiveOutSetToMI(MF, *I);
137  HasChanged = true;
138  HasStackMap = true;
139  ++NumStackMaps;
140  }
141  LLVM_DEBUG(dbgs() << " " << LiveRegs << " " << *I);
142  LiveRegs.stepBackward(*I);
143  }
144  ++NumBBsVisited;
145  if (!HasStackMap)
146  ++NumBBsHaveNoStackmap;
147  }
148  return HasChanged;
149 }
150 
151 /// Add the current register live set to the instruction.
152 void StackMapLiveness::addLiveOutSetToMI(MachineFunction &MF,
153  MachineInstr &MI) {
154  uint32_t *Mask = createRegisterMask(MF);
156  MI.addOperand(MF, MO);
157 }
158 
159 /// Create a register mask and initialize it with the registers from the
160 /// register live set.
161 uint32_t *StackMapLiveness::createRegisterMask(MachineFunction &MF) const {
162  // The mask is owned and cleaned up by the Machine Function.
163  uint32_t *Mask = MF.allocateRegMask();
164  for (auto Reg : LiveRegs)
165  Mask[Reg / 32] |= 1U << (Reg % 32);
166 
167  // Give the target a chance to adjust the mask.
168  TRI->adjustStackMapLiveOutMask(Mask);
169 
170  return Mask;
171 }
static cl::opt< bool > EnablePatchPointLiveness("enable-patchpoint-liveness", cl::Hidden, cl::init(true), cl::desc("Enable PatchPoint Liveness Analysis Pass"))
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
This class represents lattice values for constants.
Definition: AllocatorList.h:24
virtual const TargetRegisterInfo * getRegisterInfo() const
getRegisterInfo - If register information is available, return it.
unsigned Reg
STATISTIC(NumFunctions, "Total number of functions")
unsigned const TargetRegisterInfo * TRI
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
static MachineOperand CreateRegLiveOut(const uint32_t *Mask)
INITIALIZE_PASS(StackMapLiveness, "stackmap-liveness", "StackMap Liveness Analysis", false, false) StackMapLiveness
Default construct and initialize the pass.
StringRef getName() const
getName - Return the name of the corresponding LLVM function.
void initializeStackMapLivenessPass(PassRegistry &)
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:423
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
MachineFrameInfo & getFrameInfo()
getFrameInfo - Return the frame info object for the current function.
static GCRegistry::Add< CoreCLRGC > E("coreclr", "CoreCLR-compatible GC")
Represent the analysis usage information of a pass.
TargetRegisterInfo base class - We assume that the target defines a static array of TargetRegisterDes...
This file implements the LivePhysRegs utility for tracking liveness of physical registers.
void addOperand(MachineFunction &MF, const MachineOperand &Op)
Add the specified operand to the instruction.
char & StackMapLivenessID
StackMapLiveness - This pass analyses the register live-out set of stackmap/patchpoint intrinsics and...
MachineOperand class - Representation of each machine instruction operand.
uint32_t * allocateRegMask()
Allocate and initialize a register mask with NumRegister bits.
void setPreservesCFG()
This function should be called by the pass, iff they do not:
Definition: Pass.cpp:286
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:133
void setPreservesAll()
Set by analyses that do not transform their input at all.
MachineFunctionProperties & set(Property P)
Representation of each machine instruction.
Definition: MachineInstr.h:64
A set of physical registers with utility functions to track liveness when walking backward/forward th...
Definition: LivePhysRegs.h:49
#define I(x, y, z)
Definition: MD5.cpp:58
std::underlying_type< E >::type Mask()
Get a bitmask with 1s in all places up to the high-order bit of E&#39;s largest value.
Definition: BitmaskEnum.h:81
IRTranslator LLVM IR MI
bool hasPatchPoint() const
This method may be called any time after instruction selection is complete to determine if there is a...
#define LLVM_DEBUG(X)
Definition: Debug.h:123
Properties which a MachineFunction may have at a given point in time.