LLVM 20.0.0git
RISCVO0PreLegalizerCombiner.cpp
Go to the documentation of this file.
1//=== RISCVO0PreLegalizerCombiner.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 "RISCVSubtarget.h"
25
26#define GET_GICOMBINER_DEPS
27#include "RISCVGenO0PreLegalizeGICombiner.inc"
28#undef GET_GICOMBINER_DEPS
29
30#define DEBUG_TYPE "riscv-O0-prelegalizer-combiner"
31
32using namespace llvm;
33
34namespace {
35#define GET_GICOMBINER_TYPES
36#include "RISCVGenO0PreLegalizeGICombiner.inc"
37#undef GET_GICOMBINER_TYPES
38
39class RISCVO0PreLegalizerCombinerImpl : public Combiner {
40protected:
41 const CombinerHelper Helper;
42 const RISCVO0PreLegalizerCombinerImplRuleConfig &RuleConfig;
43 const RISCVSubtarget &STI;
44
45public:
46 RISCVO0PreLegalizerCombinerImpl(
47 MachineFunction &MF, CombinerInfo &CInfo, const TargetPassConfig *TPC,
48 GISelKnownBits &KB, GISelCSEInfo *CSEInfo,
49 const RISCVO0PreLegalizerCombinerImplRuleConfig &RuleConfig,
50 const RISCVSubtarget &STI);
51
52 static const char *getName() { return "RISCVO0PreLegalizerCombiner"; }
53
54 bool tryCombineAll(MachineInstr &I) const override;
55
56private:
57#define GET_GICOMBINER_CLASS_MEMBERS
58#include "RISCVGenO0PreLegalizeGICombiner.inc"
59#undef GET_GICOMBINER_CLASS_MEMBERS
60};
61
62#define GET_GICOMBINER_IMPL
63#include "RISCVGenO0PreLegalizeGICombiner.inc"
64#undef GET_GICOMBINER_IMPL
65
66RISCVO0PreLegalizerCombinerImpl::RISCVO0PreLegalizerCombinerImpl(
67 MachineFunction &MF, CombinerInfo &CInfo, const TargetPassConfig *TPC,
68 GISelKnownBits &KB, GISelCSEInfo *CSEInfo,
69 const RISCVO0PreLegalizerCombinerImplRuleConfig &RuleConfig,
70 const RISCVSubtarget &STI)
71 : Combiner(MF, CInfo, TPC, &KB, CSEInfo),
72 Helper(Observer, B, /*IsPreLegalize*/ true, &KB), RuleConfig(RuleConfig),
73 STI(STI),
75#include "RISCVGenO0PreLegalizeGICombiner.inc"
77{
78}
79
80// Pass boilerplate
81// ================
82
83class RISCVO0PreLegalizerCombiner : public MachineFunctionPass {
84public:
85 static char ID;
86
87 RISCVO0PreLegalizerCombiner();
88
89 StringRef getPassName() const override {
90 return "RISCVO0PreLegalizerCombiner";
91 }
92
93 bool runOnMachineFunction(MachineFunction &MF) override;
94
95 void getAnalysisUsage(AnalysisUsage &AU) const override;
96
97private:
98 RISCVO0PreLegalizerCombinerImplRuleConfig RuleConfig;
99};
100} // end anonymous namespace
101
102void RISCVO0PreLegalizerCombiner::getAnalysisUsage(AnalysisUsage &AU) const {
104 AU.setPreservesCFG();
109}
110
111RISCVO0PreLegalizerCombiner::RISCVO0PreLegalizerCombiner()
114
115 if (!RuleConfig.parseCommandLineOption())
116 report_fatal_error("Invalid rule identifier");
117}
118
119bool RISCVO0PreLegalizerCombiner::runOnMachineFunction(MachineFunction &MF) {
120 if (MF.getProperties().hasProperty(
121 MachineFunctionProperties::Property::FailedISel))
122 return false;
123 auto &TPC = getAnalysis<TargetPassConfig>();
124
125 const Function &F = MF.getFunction();
126 GISelKnownBits *KB = &getAnalysis<GISelKnownBitsAnalysis>().get(MF);
127
129
130 CombinerInfo CInfo(/*AllowIllegalOps*/ true, /*ShouldLegalizeIllegal*/ false,
131 /*LegalizerInfo*/ nullptr, /*EnableOpt*/ false,
132 F.hasOptSize(), F.hasMinSize());
133 // Disable fixed-point iteration in the Combiner. This improves compile-time
134 // at the cost of possibly missing optimizations. See PR#94291 for details.
135 CInfo.MaxIterations = 1;
136
137 RISCVO0PreLegalizerCombinerImpl Impl(MF, CInfo, &TPC, *KB,
138 /*CSEInfo*/ nullptr, RuleConfig, ST);
139 return Impl.combineMachineInstrs();
140}
141
142char RISCVO0PreLegalizerCombiner::ID = 0;
143INITIALIZE_PASS_BEGIN(RISCVO0PreLegalizerCombiner, DEBUG_TYPE,
144 "Combine RISC-V machine instrs before legalization",
145 false, false)
149INITIALIZE_PASS_END(RISCVO0PreLegalizerCombiner, DEBUG_TYPE,
150 "Combine RISC-V machine instrs before legalization", false,
151 false)
152
153namespace llvm {
155 return new RISCVO0PreLegalizerCombiner();
156}
157} // end namespace llvm
basic Basic Alias true
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
#define F(x, y, z)
Definition: MD5.cpp:55
#define I(x, y, z)
Definition: MD5.cpp:58
This file declares the MachineIRBuilder class.
#define INITIALIZE_PASS_DEPENDENCY(depName)
Definition: PassSupport.h:55
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
Definition: PassSupport.h:57
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
Definition: PassSupport.h:52
static StringRef getName(Value *V)
#define GET_GICOMBINER_CONSTRUCTOR_INITS
Combine RISC V machine instrs before legalization
#define DEBUG_TYPE
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:256
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:310
The actual analysis pass wrapper.
Definition: CSEInfo.h:225
The CSE Analysis object.
Definition: CSEInfo.h:70
To use KnownBitsInfo analysis in a pass, KnownBitsInfo &Info = getAnalysis<GISelKnownBitsInfoAnalysis...
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.
Function & getFunction()
Return the LLVM function that this machine code represents.
const MachineFunctionProperties & getProperties() const
Get the function properties.
Representation of each machine instruction.
Definition: MachineInstr.h:69
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:51
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
FunctionPass * createRISCVO0PreLegalizerCombiner()
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
Definition: Error.cpp:167
void getSelectionDAGFallbackAnalysisUsage(AnalysisUsage &AU)
Modify analysis usage so it preserves passes required for the SelectionDAG fallback.
Definition: Utils.cpp:1153
void initializeRISCVO0PreLegalizerCombinerPass(PassRegistry &)
auto instrs(const MachineBasicBlock &BB)