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