LLVM 19.0.0git
MipsPreLegalizerCombiner.cpp
Go to the documentation of this file.
1//=== lib/CodeGen/GlobalISel/MipsPreLegalizerCombiner.cpp --------------===//
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 pass does combining of machine instructions at the generic MI level,
10// before the legalizer.
11//
12//===----------------------------------------------------------------------===//
13
14#include "MipsLegalizerInfo.h"
15#include "MipsTargetMachine.h"
24
25#define DEBUG_TYPE "mips-prelegalizer-combiner"
26
27using namespace llvm;
28
29namespace {
30struct MipsPreLegalizerCombinerInfo : public CombinerInfo {
31public:
32 MipsPreLegalizerCombinerInfo()
33 : CombinerInfo(/*AllowIllegalOps*/ true, /*ShouldLegalizeIllegal*/ false,
34 /*LegalizerInfo*/ nullptr, /*EnableOpt*/ false,
35 /*EnableOptSize*/ false, /*EnableMinSize*/ false) {}
36};
37
38class MipsPreLegalizerCombinerImpl : public Combiner {
39protected:
40 const MipsSubtarget &STI;
41 // TODO: Make CombinerHelper methods const.
42 mutable CombinerHelper Helper;
43
44public:
45 MipsPreLegalizerCombinerImpl(MachineFunction &MF, CombinerInfo &CInfo,
46 const TargetPassConfig *TPC, GISelKnownBits &KB,
47 GISelCSEInfo *CSEInfo, const MipsSubtarget &STI,
49 const LegalizerInfo *LI)
50 : Combiner(MF, CInfo, TPC, &KB, CSEInfo), STI(STI),
51 Helper(Observer, B, /*IsPreLegalize*/ true, &KB, MDT, LI) {}
52
53 static const char *getName() { return "MipsPreLegalizerCombiner"; }
54
56 // TODO: TableGen-erate this class' impl.
57 }
58
59 bool tryCombineAll(MachineInstr &MI) const override {
60
61 switch (MI.getOpcode()) {
62 default:
63 return false;
64 case TargetOpcode::G_MEMCPY_INLINE:
65 return Helper.tryEmitMemcpyInline(MI);
66 case TargetOpcode::G_LOAD:
67 case TargetOpcode::G_SEXTLOAD:
68 case TargetOpcode::G_ZEXTLOAD: {
69 // Don't attempt to combine non power of 2 loads or unaligned loads when
70 // subtarget doesn't support them.
71 auto MMO = *MI.memoperands_begin();
72 const MipsSubtarget &STI = MI.getMF()->getSubtarget<MipsSubtarget>();
73 if (!MMO->getSize().hasValue() ||
74 !isPowerOf2_64(MMO->getSize().getValue()))
75 return false;
76 bool isUnaligned = MMO->getAlign() < MMO->getSize().getValue();
77 if (!STI.systemSupportsUnalignedAccess() && isUnaligned)
78 return false;
79
80 return Helper.tryCombineExtendingLoads(MI);
81 }
82 }
83
84 return false;
85 }
86};
87
88// Pass boilerplate
89// ================
90
91class MipsPreLegalizerCombiner : public MachineFunctionPass {
92public:
93 static char ID;
94
95 MipsPreLegalizerCombiner();
96
97 StringRef getPassName() const override { return "MipsPreLegalizerCombiner"; }
98
99 bool runOnMachineFunction(MachineFunction &MF) override;
100
101 void getAnalysisUsage(AnalysisUsage &AU) const override;
102};
103} // end anonymous namespace
104
105void MipsPreLegalizerCombiner::getAnalysisUsage(AnalysisUsage &AU) const {
109 AU.setPreservesCFG();
112}
113
114MipsPreLegalizerCombiner::MipsPreLegalizerCombiner() : MachineFunctionPass(ID) {
116}
117
118bool MipsPreLegalizerCombiner::runOnMachineFunction(MachineFunction &MF) {
119 if (MF.getProperties().hasProperty(
120 MachineFunctionProperties::Property::FailedISel))
121 return false;
122
123 auto *TPC = &getAnalysis<TargetPassConfig>();
125 const MipsLegalizerInfo *LI =
126 static_cast<const MipsLegalizerInfo *>(ST.getLegalizerInfo());
127
128 GISelKnownBits *KB = &getAnalysis<GISelKnownBitsAnalysis>().get(MF);
129 MipsPreLegalizerCombinerInfo PCInfo;
130 MipsPreLegalizerCombinerImpl Impl(MF, PCInfo, TPC, *KB, /*CSEInfo*/ nullptr,
131 ST, /*MDT*/ nullptr, LI);
132 return Impl.combineMachineInstrs();
133}
134
135char MipsPreLegalizerCombiner::ID = 0;
136INITIALIZE_PASS_BEGIN(MipsPreLegalizerCombiner, DEBUG_TYPE,
137 "Combine Mips machine instrs before legalization", false,
138 false)
141INITIALIZE_PASS_END(MipsPreLegalizerCombiner, DEBUG_TYPE,
142 "Combine Mips machine instrs before legalization", false,
143 false)
144
145namespace llvm {
147 return new MipsPreLegalizerCombiner();
148}
149} // end namespace llvm
static GCRegistry::Add< OcamlGC > B("ocaml", "ocaml 3.10-compatible GC")
This contains common combine transformations that may be used in a combine pass,or by the target else...
Option class for Targets to specify which operations are combined how and when.
This contains the base class for all Combiners generated by TableGen.
Provides analysis for querying information about KnownBits during GISel passes.
Hexagon Vector Combine
IRTranslator LLVM IR MI
Contains matchers for matching SSA Machine Instructions.
This file declares the targeting of the Machinelegalizer class for Mips.
Combine Mips machine instrs before legalization
#define DEBUG_TYPE
#define INITIALIZE_PASS_DEPENDENCY(depName)
Definition: PassSupport.h:55
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
Definition: PassSupport.h:59
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
Definition: PassSupport.h:52
static StringRef getName(Value *V)
Target-Independent Code Generator Pass Configuration Options pass.
Represent the analysis usage information of a pass.
AnalysisUsage & addRequired()
AnalysisUsage & addPreserved()
Add the specified Pass class to the set of analyses preserved by this pass.
void setPreservesCFG()
This function should be called by the pass, iff they do not:
Definition: Pass.cpp:269
bool tryCombineExtendingLoads(MachineInstr &MI)
If MI is extend that consumes the result of a load, try to combine it.
bool tryEmitMemcpyInline(MachineInstr &MI)
Emit loads and stores that perform the given memcpy.
Combiner implementation.
Definition: Combiner.h:34
virtual bool tryCombineAll(MachineInstr &I) const =0
FunctionPass class - This class is used to implement most global optimizations.
Definition: Pass.h:311
virtual void setupGeneratedPerFunctionState(MachineFunction &MF)=0
The CSE Analysis object.
Definition: CSEInfo.h:69
To use KnownBitsInfo analysis in a pass, KnownBitsInfo &Info = getAnalysis<GISelKnownBitsInfoAnalysis...
DominatorTree Class - Concrete subclass of DominatorTreeBase that is used to compute a normal dominat...
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...
bool hasProperty(Property P) const
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
const MachineFunctionProperties & getProperties() const
Get the function properties.
Representation of each machine instruction.
Definition: MachineInstr.h:69
This class provides legalization strategies.
bool systemSupportsUnalignedAccess() const
Does the system support unaligned memory access.
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
virtual StringRef getPassName() const
getPassName - Return a nice clean name for a pass.
Definition: Pass.cpp:81
StringRef - Represent a constant reference to a string, i.e.
Definition: StringRef.h:50
Target-Independent Code Generator Pass Configuration Options.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition: CallingConv.h:24
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
void initializeMipsPreLegalizerCombinerPass(PassRegistry &)
constexpr bool isPowerOf2_64(uint64_t Value)
Return true if the argument is a power of two > 0 (64 bit edition.)
Definition: MathExtras.h:269
FunctionPass * createMipsPreLegalizeCombiner()
void getSelectionDAGFallbackAnalysisUsage(AnalysisUsage &AU)
Modify analysis usage so it preserves passes required for the SelectionDAG fallback.
Definition: Utils.cpp:1072
auto instrs(const MachineBasicBlock &BB)