33#define DEBUG_TYPE "wasm-optimize-live-intervals"
38 return "WebAssembly Optimize Live Intervals";
64char WebAssemblyOptimizeLiveIntervals::ID = 0;
66 "Optimize LiveIntervals for WebAssembly",
false,
false)
69 return new WebAssemblyOptimizeLiveIntervals();
72bool WebAssemblyOptimizeLiveIntervals::runOnMachineFunction(
74 LLVM_DEBUG(
dbgs() <<
"********** Optimize LiveIntervals **********\n"
75 "********** Function: "
79 auto &LIS = getAnalysis<LiveIntervalsWrapperPass>().getLIS();
84 assert(
MRI.tracksLiveness() &&
"OptimizeLiveIntervals expects liveness");
88 for (
unsigned I = 0, E =
MRI.getNumVirtRegs();
I < E; ++
I) {
92 if (
MRI.reg_nodbg_empty(Reg))
95 LIS.splitSeparateComponents(LIS.getInterval(Reg), SplitLIs);
96 if (Reg ==
TRI.getFrameRegister(MF) && SplitLIs.
size() > 0) {
104 SplitLIs.
back()->reg());
114 if (
MI.isImplicitDef() &&
MI.getOperand(0).isDead()) {
116 LIS.removeVRegDefAt(LI, LIS.getInstructionIndex(
MI).getRegSlot());
117 LIS.RemoveMachineInstrFromMaps(
MI);
118 MI.eraseFromParent();
unsigned const MachineRegisterInfo * MRI
assert(UImm &&(UImm !=~static_cast< T >(0)) &&"Invalid immediate!")
Register const TargetRegisterInfo * TRI
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
This file declares WebAssembly-specific per-machine-function information.
This file declares the WebAssembly-specific subclass of TargetSubtarget.
This file contains the entry points for global functions defined in the LLVM WebAssembly back-end.
Represent the analysis usage information of a pass.
AnalysisUsage & addPreservedID(const void *ID)
AnalysisUsage & addRequired()
AnalysisUsage & addPreserved()
Add the specified Pass class to the set of analyses preserved by this pass.
LLVM_ABI void setPreservesCFG()
This function should be called by the pass, iff they do not:
FunctionPass class - This class is used to implement most global optimizations.
LiveInterval - This class represents the liveness of a register, or stack slot.
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.
MachineRegisterInfo & getRegInfo()
getRegInfo - Return information about the registers currently in use.
Ty * getInfo()
getInfo - Keep track of various per-function pieces of information for backends that would like to do...
const MachineBasicBlock & front() const
Representation of each machine instruction.
MachineRegisterInfo - Keep track of information for virtual and physical registers,...
virtual StringRef getPassName() const
getPassName - Return a nice clean name for a pass.
Wrapper class representing virtual and physical registers.
static Register index2VirtReg(unsigned Index)
Convert a 0-based index to a virtual register number.
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
This class is derived from MachineFunctionInfo and contains private WebAssembly-specific information ...
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Reg
All possible values of the reg field in the ModR/M byte.
This is an optimization pass for GlobalISel generic memory operations.
LLVM_ABI char & MachineDominatorsID
MachineDominators - This pass is a machine dominators analysis pass.
iterator_range< early_inc_iterator_impl< detail::IterOfRange< RangeT > > > make_early_inc_range(RangeT &&Range)
Make a range that does early increment to allow mutation of the underlying range without disrupting i...
LLVM_ABI raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
FunctionPass * createWebAssemblyOptimizeLiveIntervals()
LLVM_ABI char & LiveVariablesID
LiveVariables pass - This pass computes the set of blocks in which each variable is life and sets mac...