LLVM: lib/Target/AArch64/GISel/AArch64O0PreLegalizerCombiner.cpp Source File (original) (raw)
1
2
3
4
5
6
7
8
9
10
11
12
13
28
29#define GET_GICOMBINER_DEPS
30#include "AArch64GenO0PreLegalizeGICombiner.inc"
31#undef GET_GICOMBINER_DEPS
32
33#define DEBUG_TYPE "aarch64-O0-prelegalizer-combiner"
34
35using namespace llvm;
37namespace {
38#define GET_GICOMBINER_TYPES
39#include "AArch64GenO0PreLegalizeGICombiner.inc"
40#undef GET_GICOMBINER_TYPES
41
42class AArch64O0PreLegalizerCombinerImpl : public Combiner {
43protected:
45 const AArch64O0PreLegalizerCombinerImplRuleConfig &RuleConfig;
47
48public:
49 AArch64O0PreLegalizerCombinerImpl(
52 const AArch64O0PreLegalizerCombinerImplRuleConfig &RuleConfig,
54
55 static const char *getName() { return "AArch64O0PreLegalizerCombiner"; }
56
57 bool tryCombineAll(MachineInstr &I) const override;
58
60
61private:
62#define GET_GICOMBINER_CLASS_MEMBERS
63#include "AArch64GenO0PreLegalizeGICombiner.inc"
64#undef GET_GICOMBINER_CLASS_MEMBERS
65};
66
67#define GET_GICOMBINER_IMPL
68#include "AArch64GenO0PreLegalizeGICombiner.inc"
69#undef GET_GICOMBINER_IMPL
70
71AArch64O0PreLegalizerCombinerImpl::AArch64O0PreLegalizerCombinerImpl(
74 const AArch64O0PreLegalizerCombinerImplRuleConfig &RuleConfig,
76 : Combiner(MF, CInfo, TPC, &VT, CSEInfo),
77 Helper(Observer, B, true, &VT), RuleConfig(RuleConfig),
78 STI(STI),
80#include "AArch64GenO0PreLegalizeGICombiner.inc"
82{
83}
84
85bool AArch64O0PreLegalizerCombinerImpl::tryCombineAll(MachineInstr &MI) const {
86 if (tryCombineAllImpl(MI))
87 return true;
88
89 unsigned Opc = MI.getOpcode();
90 switch (Opc) {
91 case TargetOpcode::G_SHUFFLE_VECTOR:
93 case TargetOpcode::G_MEMCPY_INLINE:
95 case TargetOpcode::G_MEMCPY:
96 case TargetOpcode::G_MEMMOVE:
97 case TargetOpcode::G_MEMSET: {
98
99 unsigned MaxLen = 32;
100
102 return true;
103 if (Opc == TargetOpcode::G_MEMSET)
105 return false;
106 }
107 }
108
109 return false;
110}
111
112
113
114
115class AArch64O0PreLegalizerCombiner : public MachineFunctionPass {
116public:
117 static char ID;
118
119 AArch64O0PreLegalizerCombiner();
120
121 StringRef getPassName() const override {
122 return "AArch64O0PreLegalizerCombiner";
123 }
124
125 bool runOnMachineFunction(MachineFunction &MF) override;
126
127 void getAnalysisUsage(AnalysisUsage &AU) const override;
128
129private:
130 AArch64O0PreLegalizerCombinerImplRuleConfig RuleConfig;
131};
132}
133
134void AArch64O0PreLegalizerCombiner::getAnalysisUsage(AnalysisUsage &AU) const {
138 AU.addRequired();
139 AU.addPreserved();
141}
142
143AArch64O0PreLegalizerCombiner::AArch64O0PreLegalizerCombiner()
144 : MachineFunctionPass(ID) {
145 if (!RuleConfig.parseCommandLineOption())
147}
148
149bool AArch64O0PreLegalizerCombiner::runOnMachineFunction(MachineFunction &MF) {
151 return false;
152 auto &TPC = getAnalysis();
153
156 &getAnalysis().get(MF);
157
159
160 CombinerInfo CInfo( true, false,
161 nullptr, false,
162 F.hasOptSize(), F.hasMinSize());
163
164
165 CInfo.MaxIterations = 1;
166
167 AArch64O0PreLegalizerCombinerImpl Impl(MF, CInfo, &TPC, *VT,
168 nullptr, RuleConfig, ST);
169 return Impl.combineMachineInstrs();
170}
171
172char AArch64O0PreLegalizerCombiner::ID = 0;
174 "Combine AArch64 machine instrs before legalization",
175 false, false)
180 "Combine AArch64 machine instrs before legalization", false,
182
183namespace llvm {
185 return new AArch64O0PreLegalizerCombiner();
186}
187}
#define GET_GICOMBINER_CONSTRUCTOR_INITS
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.
Contains matchers for matching SSA Machine Instructions.
This file declares the MachineIRBuilder class.
#define INITIALIZE_PASS_DEPENDENCY(depName)
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
static StringRef getName(Value *V)
Target-Independent Code Generator Pass Configuration Options pass.
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:
bool tryEmitMemcpyInline(MachineInstr &MI) const
Emit loads and stores that perform the given memcpy.
bool tryCombineShuffleVector(MachineInstr &MI) const
Try to combine G_SHUFFLE_VECTOR into G_CONCAT_VECTORS.
bool tryCombineMemCpyFamily(MachineInstr &MI, unsigned MaxLen=0) const
Optimize memcpy intrinsics et al, e.g.
FunctionPass class - This class is used to implement most global optimizations.
The actual analysis pass wrapper.
To use KnownBitsInfo analysis in a pass, KnownBitsInfo &Info = getAnalysis<GISelValueTrackingInfoAnal...
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - Subclasses that override getAnalysisUsage must call this.
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
Function & getFunction()
Return the LLVM function that this machine code represents.
const MachineFunctionProperties & getProperties() const
Get the function properties.
Representation of each machine instruction.
Target-Independent Code Generator Pass Configuration Options.
bool tryEmitBZero(MachineInstr &MI, MachineIRBuilder &MIRBuilder, bool MinSize)
Replace a G_MEMSET with a value of 0 with a G_BZERO instruction if it is supported and beneficial to ...
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
This is an optimization pass for GlobalISel generic memory operations.
FunctionPass * createAArch64O0PreLegalizerCombiner()
Definition AArch64O0PreLegalizerCombiner.cpp:184
LLVM_ABI void report_fatal_error(Error Err, bool gen_crash_diag=true)
LLVM_ABI void getSelectionDAGFallbackAnalysisUsage(AnalysisUsage &AU)
Modify analysis usage so it preserves passes required for the SelectionDAG fallback.