1302affcbSDimitry Andric //===- Localizer.cpp ---------------------- Localize some instrs -*- C++ -*-==//
2302affcbSDimitry Andric //
3302affcbSDimitry Andric //                     The LLVM Compiler Infrastructure
4302affcbSDimitry Andric //
5302affcbSDimitry Andric // This file is distributed under the University of Illinois Open Source
6302affcbSDimitry Andric // License. See LICENSE.TXT for details.
7302affcbSDimitry Andric //
8302affcbSDimitry Andric //===----------------------------------------------------------------------===//
9302affcbSDimitry Andric /// \file
10302affcbSDimitry Andric /// This file implements the Localizer class.
11302affcbSDimitry Andric //===----------------------------------------------------------------------===//
12302affcbSDimitry Andric 
13302affcbSDimitry Andric #include "llvm/CodeGen/GlobalISel/Localizer.h"
14302affcbSDimitry Andric #include "llvm/ADT/DenseMap.h"
15302affcbSDimitry Andric #include "llvm/ADT/SmallPtrSet.h"
16302affcbSDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
17302affcbSDimitry Andric #include "llvm/Support/Debug.h"
18302affcbSDimitry Andric 
19302affcbSDimitry Andric #define DEBUG_TYPE "localizer"
20302affcbSDimitry Andric 
21302affcbSDimitry Andric using namespace llvm;
22302affcbSDimitry Andric 
23302affcbSDimitry Andric char Localizer::ID = 0;
24302affcbSDimitry Andric INITIALIZE_PASS(Localizer, DEBUG_TYPE,
25302affcbSDimitry Andric                 "Move/duplicate certain instructions close to their use", false,
2689cb50c9SDimitry Andric                 false)
27302affcbSDimitry Andric 
Localizer()28302affcbSDimitry Andric Localizer::Localizer() : MachineFunctionPass(ID) {
29302affcbSDimitry Andric   initializeLocalizerPass(*PassRegistry::getPassRegistry());
30302affcbSDimitry Andric }
31302affcbSDimitry Andric 
init(MachineFunction & MF)32302affcbSDimitry Andric void Localizer::init(MachineFunction &MF) { MRI = &MF.getRegInfo(); }
33302affcbSDimitry Andric 
shouldLocalize(const MachineInstr & MI)34302affcbSDimitry Andric bool Localizer::shouldLocalize(const MachineInstr &MI) {
35302affcbSDimitry Andric   switch (MI.getOpcode()) {
36302affcbSDimitry Andric   default:
37302affcbSDimitry Andric     return false;
38302affcbSDimitry Andric   // Constants-like instructions should be close to their users.
39302affcbSDimitry Andric   // We don't want long live-ranges for them.
40302affcbSDimitry Andric   case TargetOpcode::G_CONSTANT:
41302affcbSDimitry Andric   case TargetOpcode::G_FCONSTANT:
42302affcbSDimitry Andric   case TargetOpcode::G_FRAME_INDEX:
43302affcbSDimitry Andric     return true;
44302affcbSDimitry Andric   }
45302affcbSDimitry Andric }
46302affcbSDimitry Andric 
getAnalysisUsage(AnalysisUsage & AU) const47*4ba319b5SDimitry Andric void Localizer::getAnalysisUsage(AnalysisUsage &AU) const {
48*4ba319b5SDimitry Andric   getSelectionDAGFallbackAnalysisUsage(AU);
49*4ba319b5SDimitry Andric   MachineFunctionPass::getAnalysisUsage(AU);
50*4ba319b5SDimitry Andric }
51*4ba319b5SDimitry Andric 
isLocalUse(MachineOperand & MOUse,const MachineInstr & Def,MachineBasicBlock * & InsertMBB)52302affcbSDimitry Andric bool Localizer::isLocalUse(MachineOperand &MOUse, const MachineInstr &Def,
53302affcbSDimitry Andric                            MachineBasicBlock *&InsertMBB) {
54302affcbSDimitry Andric   MachineInstr &MIUse = *MOUse.getParent();
55302affcbSDimitry Andric   InsertMBB = MIUse.getParent();
56302affcbSDimitry Andric   if (MIUse.isPHI())
57302affcbSDimitry Andric     InsertMBB = MIUse.getOperand(MIUse.getOperandNo(&MOUse) + 1).getMBB();
58302affcbSDimitry Andric   return InsertMBB == Def.getParent();
59302affcbSDimitry Andric }
60302affcbSDimitry Andric 
runOnMachineFunction(MachineFunction & MF)61302affcbSDimitry Andric bool Localizer::runOnMachineFunction(MachineFunction &MF) {
62302affcbSDimitry Andric   // If the ISel pipeline failed, do not bother running that pass.
63302affcbSDimitry Andric   if (MF.getProperties().hasProperty(
64302affcbSDimitry Andric           MachineFunctionProperties::Property::FailedISel))
65302affcbSDimitry Andric     return false;
66302affcbSDimitry Andric 
67*4ba319b5SDimitry Andric   LLVM_DEBUG(dbgs() << "Localize instructions for: " << MF.getName() << '\n');
68302affcbSDimitry Andric 
69302affcbSDimitry Andric   init(MF);
70302affcbSDimitry Andric 
71302affcbSDimitry Andric   bool Changed = false;
72302affcbSDimitry Andric   // Keep track of the instructions we localized.
73302affcbSDimitry Andric   // We won't need to process them if we see them later in the CFG.
74302affcbSDimitry Andric   SmallPtrSet<MachineInstr *, 16> LocalizedInstrs;
75302affcbSDimitry Andric   DenseMap<std::pair<MachineBasicBlock *, unsigned>, unsigned> MBBWithLocalDef;
76302affcbSDimitry Andric   // TODO: Do bottom up traversal.
77302affcbSDimitry Andric   for (MachineBasicBlock &MBB : MF) {
78302affcbSDimitry Andric     for (MachineInstr &MI : MBB) {
79302affcbSDimitry Andric       if (LocalizedInstrs.count(&MI) || !shouldLocalize(MI))
80302affcbSDimitry Andric         continue;
81*4ba319b5SDimitry Andric       LLVM_DEBUG(dbgs() << "Should localize: " << MI);
82302affcbSDimitry Andric       assert(MI.getDesc().getNumDefs() == 1 &&
83302affcbSDimitry Andric              "More than one definition not supported yet");
84302affcbSDimitry Andric       unsigned Reg = MI.getOperand(0).getReg();
85302affcbSDimitry Andric       // Check if all the users of MI are local.
86302affcbSDimitry Andric       // We are going to invalidation the list of use operands, so we
87302affcbSDimitry Andric       // can't use range iterator.
88302affcbSDimitry Andric       for (auto MOIt = MRI->use_begin(Reg), MOItEnd = MRI->use_end();
89302affcbSDimitry Andric            MOIt != MOItEnd;) {
90302affcbSDimitry Andric         MachineOperand &MOUse = *MOIt++;
91302affcbSDimitry Andric         // Check if the use is already local.
92302affcbSDimitry Andric         MachineBasicBlock *InsertMBB;
93*4ba319b5SDimitry Andric         LLVM_DEBUG(MachineInstr &MIUse = *MOUse.getParent();
94302affcbSDimitry Andric                    dbgs() << "Checking use: " << MIUse
95302affcbSDimitry Andric                           << " #Opd: " << MIUse.getOperandNo(&MOUse) << '\n');
96302affcbSDimitry Andric         if (isLocalUse(MOUse, MI, InsertMBB))
97302affcbSDimitry Andric           continue;
98*4ba319b5SDimitry Andric         LLVM_DEBUG(dbgs() << "Fixing non-local use\n");
99302affcbSDimitry Andric         Changed = true;
100302affcbSDimitry Andric         auto MBBAndReg = std::make_pair(InsertMBB, Reg);
101302affcbSDimitry Andric         auto NewVRegIt = MBBWithLocalDef.find(MBBAndReg);
102302affcbSDimitry Andric         if (NewVRegIt == MBBWithLocalDef.end()) {
103302affcbSDimitry Andric           // Create the localized instruction.
104302affcbSDimitry Andric           MachineInstr *LocalizedMI = MF.CloneMachineInstr(&MI);
105302affcbSDimitry Andric           LocalizedInstrs.insert(LocalizedMI);
106f9448bf3SDimitry Andric           // Don't try to be smart for the insertion point.
107f9448bf3SDimitry Andric           // There is no guarantee that the first seen use is the first
108f9448bf3SDimitry Andric           // use in the block.
1092cab237bSDimitry Andric           InsertMBB->insert(InsertMBB->SkipPHIsAndLabels(InsertMBB->begin()),
1102cab237bSDimitry Andric                             LocalizedMI);
111302affcbSDimitry Andric 
112302affcbSDimitry Andric           // Set a new register for the definition.
113302affcbSDimitry Andric           unsigned NewReg =
114302affcbSDimitry Andric               MRI->createGenericVirtualRegister(MRI->getType(Reg));
115302affcbSDimitry Andric           MRI->setRegClassOrRegBank(NewReg, MRI->getRegClassOrRegBank(Reg));
116302affcbSDimitry Andric           LocalizedMI->getOperand(0).setReg(NewReg);
117302affcbSDimitry Andric           NewVRegIt =
118302affcbSDimitry Andric               MBBWithLocalDef.insert(std::make_pair(MBBAndReg, NewReg)).first;
119*4ba319b5SDimitry Andric           LLVM_DEBUG(dbgs() << "Inserted: " << *LocalizedMI);
120302affcbSDimitry Andric         }
121*4ba319b5SDimitry Andric         LLVM_DEBUG(dbgs() << "Update use with: " << printReg(NewVRegIt->second)
122302affcbSDimitry Andric                           << '\n');
123302affcbSDimitry Andric         // Update the user reg.
124302affcbSDimitry Andric         MOUse.setReg(NewVRegIt->second);
125302affcbSDimitry Andric       }
126302affcbSDimitry Andric     }
127302affcbSDimitry Andric   }
128302affcbSDimitry Andric   return Changed;
129302affcbSDimitry Andric }
130