xref: /freebsd/contrib/llvm-project/llvm/lib/Target/Mips/MipsPreLegalizerCombiner.cpp (revision 0b57cec536236d46e3dba9bd041533462f33dbb7)
1*0b57cec5SDimitry Andric //=== lib/CodeGen/GlobalISel/MipsPreLegalizerCombiner.cpp --------------===//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric // This pass does combining of machine instructions at the generic MI level,
10*0b57cec5SDimitry Andric // before the legalizer.
11*0b57cec5SDimitry Andric //
12*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
13*0b57cec5SDimitry Andric 
14*0b57cec5SDimitry Andric #include "MipsTargetMachine.h"
15*0b57cec5SDimitry Andric #include "llvm/CodeGen/GlobalISel/Combiner.h"
16*0b57cec5SDimitry Andric #include "llvm/CodeGen/GlobalISel/CombinerHelper.h"
17*0b57cec5SDimitry Andric #include "llvm/CodeGen/GlobalISel/CombinerInfo.h"
18*0b57cec5SDimitry Andric #include "llvm/CodeGen/GlobalISel/MIPatternMatch.h"
19*0b57cec5SDimitry Andric #include "llvm/CodeGen/TargetPassConfig.h"
20*0b57cec5SDimitry Andric 
21*0b57cec5SDimitry Andric #define DEBUG_TYPE "mips-prelegalizer-combiner"
22*0b57cec5SDimitry Andric 
23*0b57cec5SDimitry Andric using namespace llvm;
24*0b57cec5SDimitry Andric 
25*0b57cec5SDimitry Andric namespace {
26*0b57cec5SDimitry Andric class MipsPreLegalizerCombinerInfo : public CombinerInfo {
27*0b57cec5SDimitry Andric public:
28*0b57cec5SDimitry Andric   MipsPreLegalizerCombinerInfo()
29*0b57cec5SDimitry Andric       : CombinerInfo(/*AllowIllegalOps*/ true, /*ShouldLegalizeIllegal*/ false,
30*0b57cec5SDimitry Andric                      /*LegalizerInfo*/ nullptr) {}
31*0b57cec5SDimitry Andric   virtual bool combine(GISelChangeObserver &Observer, MachineInstr &MI,
32*0b57cec5SDimitry Andric                        MachineIRBuilder &B) const override;
33*0b57cec5SDimitry Andric };
34*0b57cec5SDimitry Andric 
35*0b57cec5SDimitry Andric bool MipsPreLegalizerCombinerInfo::combine(GISelChangeObserver &Observer,
36*0b57cec5SDimitry Andric                                            MachineInstr &MI,
37*0b57cec5SDimitry Andric                                            MachineIRBuilder &B) const {
38*0b57cec5SDimitry Andric   CombinerHelper Helper(Observer, B);
39*0b57cec5SDimitry Andric 
40*0b57cec5SDimitry Andric   switch (MI.getOpcode()) {
41*0b57cec5SDimitry Andric   default:
42*0b57cec5SDimitry Andric     return false;
43*0b57cec5SDimitry Andric   case TargetOpcode::G_LOAD:
44*0b57cec5SDimitry Andric   case TargetOpcode::G_SEXTLOAD:
45*0b57cec5SDimitry Andric   case TargetOpcode::G_ZEXTLOAD:
46*0b57cec5SDimitry Andric     return Helper.tryCombineExtendingLoads(MI);
47*0b57cec5SDimitry Andric   }
48*0b57cec5SDimitry Andric   return false;
49*0b57cec5SDimitry Andric }
50*0b57cec5SDimitry Andric 
51*0b57cec5SDimitry Andric // Pass boilerplate
52*0b57cec5SDimitry Andric // ================
53*0b57cec5SDimitry Andric 
54*0b57cec5SDimitry Andric class MipsPreLegalizerCombiner : public MachineFunctionPass {
55*0b57cec5SDimitry Andric public:
56*0b57cec5SDimitry Andric   static char ID;
57*0b57cec5SDimitry Andric 
58*0b57cec5SDimitry Andric   MipsPreLegalizerCombiner();
59*0b57cec5SDimitry Andric 
60*0b57cec5SDimitry Andric   StringRef getPassName() const override { return "MipsPreLegalizerCombiner"; }
61*0b57cec5SDimitry Andric 
62*0b57cec5SDimitry Andric   bool runOnMachineFunction(MachineFunction &MF) override;
63*0b57cec5SDimitry Andric 
64*0b57cec5SDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override;
65*0b57cec5SDimitry Andric };
66*0b57cec5SDimitry Andric } // end anonymous namespace
67*0b57cec5SDimitry Andric 
68*0b57cec5SDimitry Andric void MipsPreLegalizerCombiner::getAnalysisUsage(AnalysisUsage &AU) const {
69*0b57cec5SDimitry Andric   AU.addRequired<TargetPassConfig>();
70*0b57cec5SDimitry Andric   AU.setPreservesCFG();
71*0b57cec5SDimitry Andric   getSelectionDAGFallbackAnalysisUsage(AU);
72*0b57cec5SDimitry Andric   MachineFunctionPass::getAnalysisUsage(AU);
73*0b57cec5SDimitry Andric }
74*0b57cec5SDimitry Andric 
75*0b57cec5SDimitry Andric MipsPreLegalizerCombiner::MipsPreLegalizerCombiner() : MachineFunctionPass(ID) {
76*0b57cec5SDimitry Andric   initializeMipsPreLegalizerCombinerPass(*PassRegistry::getPassRegistry());
77*0b57cec5SDimitry Andric }
78*0b57cec5SDimitry Andric 
79*0b57cec5SDimitry Andric bool MipsPreLegalizerCombiner::runOnMachineFunction(MachineFunction &MF) {
80*0b57cec5SDimitry Andric   if (MF.getProperties().hasProperty(
81*0b57cec5SDimitry Andric           MachineFunctionProperties::Property::FailedISel))
82*0b57cec5SDimitry Andric     return false;
83*0b57cec5SDimitry Andric   auto *TPC = &getAnalysis<TargetPassConfig>();
84*0b57cec5SDimitry Andric   MipsPreLegalizerCombinerInfo PCInfo;
85*0b57cec5SDimitry Andric   Combiner C(PCInfo, TPC);
86*0b57cec5SDimitry Andric   return C.combineMachineInstrs(MF, nullptr);
87*0b57cec5SDimitry Andric }
88*0b57cec5SDimitry Andric 
89*0b57cec5SDimitry Andric char MipsPreLegalizerCombiner::ID = 0;
90*0b57cec5SDimitry Andric INITIALIZE_PASS_BEGIN(MipsPreLegalizerCombiner, DEBUG_TYPE,
91*0b57cec5SDimitry Andric                       "Combine Mips machine instrs before legalization", false,
92*0b57cec5SDimitry Andric                       false)
93*0b57cec5SDimitry Andric INITIALIZE_PASS_DEPENDENCY(TargetPassConfig)
94*0b57cec5SDimitry Andric INITIALIZE_PASS_END(MipsPreLegalizerCombiner, DEBUG_TYPE,
95*0b57cec5SDimitry Andric                     "Combine Mips machine instrs before legalization", false,
96*0b57cec5SDimitry Andric                     false)
97*0b57cec5SDimitry Andric 
98*0b57cec5SDimitry Andric namespace llvm {
99*0b57cec5SDimitry Andric FunctionPass *createMipsPreLegalizeCombiner() {
100*0b57cec5SDimitry Andric   return new MipsPreLegalizerCombiner();
101*0b57cec5SDimitry Andric }
102*0b57cec5SDimitry Andric } // end namespace llvm
103