1bece442bSQuentin Colombet //===- Localizer.cpp ---------------------- Localize some instrs -*- C++ -*-==//
2bece442bSQuentin Colombet //
32946cd70SChandler Carruth // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
42946cd70SChandler Carruth // See https://llvm.org/LICENSE.txt for license information.
52946cd70SChandler Carruth // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6bece442bSQuentin Colombet //
7bece442bSQuentin Colombet //===----------------------------------------------------------------------===//
8bece442bSQuentin Colombet /// \file
9bece442bSQuentin Colombet /// This file implements the Localizer class.
10bece442bSQuentin Colombet //===----------------------------------------------------------------------===//
11bece442bSQuentin Colombet 
12bece442bSQuentin Colombet #include "llvm/CodeGen/GlobalISel/Localizer.h"
13bece442bSQuentin Colombet #include "llvm/ADT/DenseMap.h"
1403bce0bfSAmara Emerson #include "llvm/ADT/STLExtras.h"
1505da2fe5SReid Kleckner #include "llvm/Analysis/TargetTransformInfo.h"
16*ed98c1b3Sserge-sans-paille #include "llvm/CodeGen/GlobalISel/Utils.h"
17bece442bSQuentin Colombet #include "llvm/CodeGen/MachineRegisterInfo.h"
184167645dSVolkan Keles #include "llvm/CodeGen/TargetLowering.h"
1905da2fe5SReid Kleckner #include "llvm/InitializePasses.h"
20bece442bSQuentin Colombet #include "llvm/Support/Debug.h"
21bece442bSQuentin Colombet 
22bece442bSQuentin Colombet #define DEBUG_TYPE "localizer"
23bece442bSQuentin Colombet 
24bece442bSQuentin Colombet using namespace llvm;
25bece442bSQuentin Colombet 
26bece442bSQuentin Colombet char Localizer::ID = 0;
2714688224SAmara Emerson INITIALIZE_PASS_BEGIN(Localizer, DEBUG_TYPE,
2814688224SAmara Emerson                       "Move/duplicate certain instructions close to their use",
2914688224SAmara Emerson                       false, false)
INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)3014688224SAmara Emerson INITIALIZE_PASS_DEPENDENCY(TargetTransformInfoWrapperPass)
3114688224SAmara Emerson INITIALIZE_PASS_END(Localizer, DEBUG_TYPE,
3214688224SAmara Emerson                     "Move/duplicate certain instructions close to their use",
3314688224SAmara Emerson                     false, false)
34bece442bSQuentin Colombet 
35bfa3d260SVolkan Keles Localizer::Localizer(std::function<bool(const MachineFunction &)> F)
36bfa3d260SVolkan Keles     : MachineFunctionPass(ID), DoNotRunPass(F) {}
37bfa3d260SVolkan Keles 
Localizer()38bfa3d260SVolkan Keles Localizer::Localizer()
39bfa3d260SVolkan Keles     : Localizer([](const MachineFunction &) { return false; }) {}
40bece442bSQuentin Colombet 
init(MachineFunction & MF)4114688224SAmara Emerson void Localizer::init(MachineFunction &MF) {
4214688224SAmara Emerson   MRI = &MF.getRegInfo();
4314688224SAmara Emerson   TTI = &getAnalysis<TargetTransformInfoWrapperPass>().getTTI(MF.getFunction());
4414688224SAmara Emerson }
45bece442bSQuentin Colombet 
getAnalysisUsage(AnalysisUsage & AU) const4690ad6835SMatthias Braun void Localizer::getAnalysisUsage(AnalysisUsage &AU) const {
4714688224SAmara Emerson   AU.addRequired<TargetTransformInfoWrapperPass>();
4890ad6835SMatthias Braun   getSelectionDAGFallbackAnalysisUsage(AU);
4990ad6835SMatthias Braun   MachineFunctionPass::getAnalysisUsage(AU);
5090ad6835SMatthias Braun }
5190ad6835SMatthias Braun 
isLocalUse(MachineOperand & MOUse,const MachineInstr & Def,MachineBasicBlock * & InsertMBB)52bece442bSQuentin Colombet bool Localizer::isLocalUse(MachineOperand &MOUse, const MachineInstr &Def,
53bece442bSQuentin Colombet                            MachineBasicBlock *&InsertMBB) {
54bece442bSQuentin Colombet   MachineInstr &MIUse = *MOUse.getParent();
55bece442bSQuentin Colombet   InsertMBB = MIUse.getParent();
56bece442bSQuentin Colombet   if (MIUse.isPHI())
57bece442bSQuentin Colombet     InsertMBB = MIUse.getOperand(MIUse.getOperandNo(&MOUse) + 1).getMBB();
58bece442bSQuentin Colombet   return InsertMBB == Def.getParent();
59bece442bSQuentin Colombet }
60bece442bSQuentin Colombet 
isNonUniquePhiValue(MachineOperand & Op) const6103bce0bfSAmara Emerson bool Localizer::isNonUniquePhiValue(MachineOperand &Op) const {
6203bce0bfSAmara Emerson   MachineInstr *MI = Op.getParent();
6303bce0bfSAmara Emerson   if (!MI->isPHI())
6403bce0bfSAmara Emerson     return false;
6503bce0bfSAmara Emerson 
6603bce0bfSAmara Emerson   Register SrcReg = Op.getReg();
6703bce0bfSAmara Emerson   for (unsigned Idx = 1; Idx < MI->getNumOperands(); Idx += 2) {
6803bce0bfSAmara Emerson     auto &MO = MI->getOperand(Idx);
6903bce0bfSAmara Emerson     if (&MO != &Op && MO.isReg() && MO.getReg() == SrcReg)
7003bce0bfSAmara Emerson       return true;
7103bce0bfSAmara Emerson   }
7203bce0bfSAmara Emerson   return false;
7303bce0bfSAmara Emerson }
7403bce0bfSAmara Emerson 
localizeInterBlock(MachineFunction & MF,LocalizedSetVecT & LocalizedInstrs)75bc0d08e0SAmara Emerson bool Localizer::localizeInterBlock(MachineFunction &MF,
76bc0d08e0SAmara Emerson                                    LocalizedSetVecT &LocalizedInstrs) {
77bece442bSQuentin Colombet   bool Changed = false;
78bece442bSQuentin Colombet   DenseMap<std::pair<MachineBasicBlock *, unsigned>, unsigned> MBBWithLocalDef;
7914688224SAmara Emerson 
8014688224SAmara Emerson   // Since the IRTranslator only emits constants into the entry block, and the
8114688224SAmara Emerson   // rest of the GISel pipeline generally emits constants close to their users,
8214688224SAmara Emerson   // we only localize instructions in the entry block here. This might change if
8314688224SAmara Emerson   // we start doing CSE across blocks.
8414688224SAmara Emerson   auto &MBB = MF.front();
854167645dSVolkan Keles   auto &TL = *MF.getSubtarget().getTargetLowering();
860b417ba2SKazu Hirata   for (MachineInstr &MI : llvm::reverse(MBB)) {
874167645dSVolkan Keles     if (!TL.shouldLocalize(MI, TTI))
88bece442bSQuentin Colombet       continue;
89d34e60caSNicola Zaghen     LLVM_DEBUG(dbgs() << "Should localize: " << MI);
90bece442bSQuentin Colombet     assert(MI.getDesc().getNumDefs() == 1 &&
91bece442bSQuentin Colombet            "More than one definition not supported yet");
920c476111SDaniel Sanders     Register Reg = MI.getOperand(0).getReg();
93bece442bSQuentin Colombet     // Check if all the users of MI are local.
94bece442bSQuentin Colombet     // We are going to invalidation the list of use operands, so we
95bece442bSQuentin Colombet     // can't use range iterator.
9648719e3bSKazu Hirata     for (MachineOperand &MOUse :
9748719e3bSKazu Hirata          llvm::make_early_inc_range(MRI->use_operands(Reg))) {
98bece442bSQuentin Colombet       // Check if the use is already local.
99bece442bSQuentin Colombet       MachineBasicBlock *InsertMBB;
100d34e60caSNicola Zaghen       LLVM_DEBUG(MachineInstr &MIUse = *MOUse.getParent();
101bece442bSQuentin Colombet                  dbgs() << "Checking use: " << MIUse
102bece442bSQuentin Colombet                         << " #Opd: " << MIUse.getOperandNo(&MOUse) << '\n');
103c1a97e99SAmara Emerson       if (isLocalUse(MOUse, MI, InsertMBB)) {
104c1a97e99SAmara Emerson         // Even if we're in the same block, if the block is very large we could
105c1a97e99SAmara Emerson         // still have many long live ranges. Try to do intra-block localization
106c1a97e99SAmara Emerson         // too.
107c1a97e99SAmara Emerson         LocalizedInstrs.insert(&MI);
108bece442bSQuentin Colombet         continue;
109c1a97e99SAmara Emerson       }
11003bce0bfSAmara Emerson 
11103bce0bfSAmara Emerson       // If the use is a phi operand that's not unique, don't try to localize.
11203bce0bfSAmara Emerson       // If we do, we can cause unnecessary instruction bloat by duplicating
11303bce0bfSAmara Emerson       // into each predecessor block, when the existing one is sufficient and
11403bce0bfSAmara Emerson       // allows for easier optimization later.
11503bce0bfSAmara Emerson       if (isNonUniquePhiValue(MOUse))
11603bce0bfSAmara Emerson         continue;
11703bce0bfSAmara Emerson 
118d34e60caSNicola Zaghen       LLVM_DEBUG(dbgs() << "Fixing non-local use\n");
119bece442bSQuentin Colombet       Changed = true;
120bece442bSQuentin Colombet       auto MBBAndReg = std::make_pair(InsertMBB, Reg);
121bece442bSQuentin Colombet       auto NewVRegIt = MBBWithLocalDef.find(MBBAndReg);
122bece442bSQuentin Colombet       if (NewVRegIt == MBBWithLocalDef.end()) {
123bece442bSQuentin Colombet         // Create the localized instruction.
124bece442bSQuentin Colombet         MachineInstr *LocalizedMI = MF.CloneMachineInstr(&MI);
125bece442bSQuentin Colombet         LocalizedInstrs.insert(LocalizedMI);
12614688224SAmara Emerson         MachineInstr &UseMI = *MOUse.getParent();
12714688224SAmara Emerson         if (MRI->hasOneUse(Reg) && !UseMI.isPHI())
1288a16201aSMatt Arsenault           InsertMBB->insert(UseMI, LocalizedMI);
12914688224SAmara Emerson         else
130071d77a5STim Northover           InsertMBB->insert(InsertMBB->SkipPHIsAndLabels(InsertMBB->begin()),
131071d77a5STim Northover                             LocalizedMI);
132bece442bSQuentin Colombet 
133bece442bSQuentin Colombet         // Set a new register for the definition.
1345a434ceaSMatt Arsenault         Register NewReg = MRI->cloneVirtualRegister(Reg);
135bece442bSQuentin Colombet         LocalizedMI->getOperand(0).setReg(NewReg);
136bece442bSQuentin Colombet         NewVRegIt =
137bece442bSQuentin Colombet             MBBWithLocalDef.insert(std::make_pair(MBBAndReg, NewReg)).first;
138d34e60caSNicola Zaghen         LLVM_DEBUG(dbgs() << "Inserted: " << *LocalizedMI);
139bece442bSQuentin Colombet       }
140d34e60caSNicola Zaghen       LLVM_DEBUG(dbgs() << "Update use with: " << printReg(NewVRegIt->second)
141bece442bSQuentin Colombet                         << '\n');
142bece442bSQuentin Colombet       // Update the user reg.
143bece442bSQuentin Colombet       MOUse.setReg(NewVRegIt->second);
144bece442bSQuentin Colombet     }
145bece442bSQuentin Colombet   }
14614688224SAmara Emerson   return Changed;
14714688224SAmara Emerson }
14814688224SAmara Emerson 
localizeIntraBlock(LocalizedSetVecT & LocalizedInstrs)149bc0d08e0SAmara Emerson bool Localizer::localizeIntraBlock(LocalizedSetVecT &LocalizedInstrs) {
15014688224SAmara Emerson   bool Changed = false;
15114688224SAmara Emerson 
15214688224SAmara Emerson   // For each already-localized instruction which has multiple users, then we
15314688224SAmara Emerson   // scan the block top down from the current position until we hit one of them.
15414688224SAmara Emerson 
15514688224SAmara Emerson   // FIXME: Consider doing inst duplication if live ranges are very long due to
15614688224SAmara Emerson   // many users, but this case may be better served by regalloc improvements.
15714688224SAmara Emerson 
15814688224SAmara Emerson   for (MachineInstr *MI : LocalizedInstrs) {
1590c476111SDaniel Sanders     Register Reg = MI->getOperand(0).getReg();
16014688224SAmara Emerson     MachineBasicBlock &MBB = *MI->getParent();
16114688224SAmara Emerson     // All of the user MIs of this reg.
16214688224SAmara Emerson     SmallPtrSet<MachineInstr *, 32> Users;
163bc0d08e0SAmara Emerson     for (MachineInstr &UseMI : MRI->use_nodbg_instructions(Reg)) {
164bc0d08e0SAmara Emerson       if (!UseMI.isPHI())
16514688224SAmara Emerson         Users.insert(&UseMI);
166bc0d08e0SAmara Emerson     }
167bc0d08e0SAmara Emerson     // If all the users were PHIs then they're not going to be in our block,
168bc0d08e0SAmara Emerson     // don't try to move this instruction.
169bc0d08e0SAmara Emerson     if (Users.empty())
170bc0d08e0SAmara Emerson       continue;
17114688224SAmara Emerson 
17214688224SAmara Emerson     MachineBasicBlock::iterator II(MI);
17314688224SAmara Emerson     ++II;
17414688224SAmara Emerson     while (II != MBB.end() && !Users.count(&*II))
17514688224SAmara Emerson       ++II;
17614688224SAmara Emerson 
17714688224SAmara Emerson     assert(II != MBB.end() && "Didn't find the user in the MBB");
1788a16201aSMatt Arsenault     LLVM_DEBUG(dbgs() << "Intra-block: moving " << *MI << " before " << *II
1798a16201aSMatt Arsenault                       << '\n');
1808a16201aSMatt Arsenault 
18114688224SAmara Emerson     MI->removeFromParent();
18214688224SAmara Emerson     MBB.insert(II, MI);
18314688224SAmara Emerson     Changed = true;
184bece442bSQuentin Colombet   }
185bece442bSQuentin Colombet   return Changed;
186bece442bSQuentin Colombet }
18714688224SAmara Emerson 
runOnMachineFunction(MachineFunction & MF)18814688224SAmara Emerson bool Localizer::runOnMachineFunction(MachineFunction &MF) {
18914688224SAmara Emerson   // If the ISel pipeline failed, do not bother running that pass.
19014688224SAmara Emerson   if (MF.getProperties().hasProperty(
19114688224SAmara Emerson           MachineFunctionProperties::Property::FailedISel))
19214688224SAmara Emerson     return false;
19314688224SAmara Emerson 
194bfa3d260SVolkan Keles   // Don't run the pass if the target asked so.
195bfa3d260SVolkan Keles   if (DoNotRunPass(MF))
196bfa3d260SVolkan Keles     return false;
197bfa3d260SVolkan Keles 
19814688224SAmara Emerson   LLVM_DEBUG(dbgs() << "Localize instructions for: " << MF.getName() << '\n');
19914688224SAmara Emerson 
20014688224SAmara Emerson   init(MF);
20114688224SAmara Emerson 
20214688224SAmara Emerson   // Keep track of the instructions we localized. We'll do a second pass of
20314688224SAmara Emerson   // intra-block localization to further reduce live ranges.
204bc0d08e0SAmara Emerson   LocalizedSetVecT LocalizedInstrs;
20514688224SAmara Emerson 
20614688224SAmara Emerson   bool Changed = localizeInterBlock(MF, LocalizedInstrs);
207f6f6c6caSSimon Pilgrim   Changed |= localizeIntraBlock(LocalizedInstrs);
208f6f6c6caSSimon Pilgrim   return Changed;
20914688224SAmara Emerson }
210