LLVM 20.0.0git
HexagonVectorPrint.cpp
Go to the documentation of this file.
1//===- HexagonVectorPrint.cpp - Generate vector printing instructions -----===//
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 adds the capability to generate pseudo vector/predicate register
10// printing instructions. These pseudo instructions should be used with the
11// simulator, NEVER on hardware.
12//
13//===----------------------------------------------------------------------===//
14
15#include "HexagonInstrInfo.h"
16#include "HexagonSubtarget.h"
17#include "llvm/ADT/StringRef.h"
25#include "llvm/IR/DebugLoc.h"
26#include "llvm/IR/InlineAsm.h"
27#include "llvm/Pass.h"
29#include "llvm/Support/Debug.h"
32#include <string>
33#include <vector>
34
35using namespace llvm;
36
37#define DEBUG_TYPE "hexagon-vector-print"
38
39static cl::opt<bool>
40 TraceHexVectorStoresOnly("trace-hex-vector-stores-only", cl::Hidden,
41 cl::desc("Enables tracing of vector stores"));
42
43namespace llvm {
44
47
48} // end namespace llvm
49
50namespace {
51
52class HexagonVectorPrint : public MachineFunctionPass {
53 const HexagonSubtarget *QST = nullptr;
54 const HexagonInstrInfo *QII = nullptr;
55 const HexagonRegisterInfo *QRI = nullptr;
56
57public:
58 static char ID;
59
60 HexagonVectorPrint() : MachineFunctionPass(ID) {
62 }
63
64 StringRef getPassName() const override { return "Hexagon VectorPrint pass"; }
65
66 bool runOnMachineFunction(MachineFunction &Fn) override;
67};
68
69} // end anonymous namespace
70
71char HexagonVectorPrint::ID = 0;
72
73static bool isVecReg(unsigned Reg) {
74 return (Reg >= Hexagon::V0 && Reg <= Hexagon::V31) ||
75 (Reg >= Hexagon::W0 && Reg <= Hexagon::W15) ||
76 (Reg >= Hexagon::WR0 && Reg <= Hexagon::WR15) ||
77 (Reg >= Hexagon::Q0 && Reg <= Hexagon::Q3);
78}
79
80static std::string getStringReg(unsigned R) {
81 if (R >= Hexagon::V0 && R <= Hexagon::V31) {
82 static const char* S[] = { "20", "21", "22", "23", "24", "25", "26", "27",
83 "28", "29", "2a", "2b", "2c", "2d", "2e", "2f",
84 "30", "31", "32", "33", "34", "35", "36", "37",
85 "38", "39", "3a", "3b", "3c", "3d", "3e", "3f"};
86 return S[R-Hexagon::V0];
87 }
88 if (R >= Hexagon::Q0 && R <= Hexagon::Q3) {
89 static const char* S[] = { "00", "01", "02", "03"};
90 return S[R-Hexagon::Q0];
91
92 }
93 llvm_unreachable("valid vreg");
94}
95
96static void addAsmInstr(MachineBasicBlock *MBB, unsigned Reg,
98 const DebugLoc &DL, const HexagonInstrInfo *QII,
99 MachineFunction &Fn) {
100 std::string VDescStr = ".long 0x1dffe0" + getStringReg(Reg);
101 const char *cstr = Fn.createExternalSymbolName(VDescStr);
102 unsigned ExtraInfo = InlineAsm::Extra_HasSideEffects;
103 BuildMI(*MBB, I, DL, QII->get(TargetOpcode::INLINEASM))
104 .addExternalSymbol(cstr)
105 .addImm(ExtraInfo);
106}
107
108static bool getInstrVecReg(const MachineInstr &MI, unsigned &Reg) {
109 if (MI.getNumOperands() < 1) return false;
110 // Vec load or compute.
111 if (MI.getOperand(0).isReg() && MI.getOperand(0).isDef()) {
112 Reg = MI.getOperand(0).getReg();
113 if (isVecReg(Reg))
115 }
116 // Vec store.
117 if (MI.mayStore() && MI.getNumOperands() >= 3 && MI.getOperand(2).isReg()) {
118 Reg = MI.getOperand(2).getReg();
119 if (isVecReg(Reg))
120 return true;
121 }
122 // Vec store post increment.
123 if (MI.mayStore() && MI.getNumOperands() >= 4 && MI.getOperand(3).isReg()) {
124 Reg = MI.getOperand(3).getReg();
125 if (isVecReg(Reg))
126 return true;
127 }
128 return false;
129}
130
131bool HexagonVectorPrint::runOnMachineFunction(MachineFunction &Fn) {
132 bool Changed = false;
133 QST = &Fn.getSubtarget<HexagonSubtarget>();
134 QRI = QST->getRegisterInfo();
135 QII = QST->getInstrInfo();
136 std::vector<MachineInstr *> VecPrintList;
137 for (auto &MBB : Fn)
138 for (auto &MI : MBB) {
139 if (MI.isBundle()) {
140 MachineBasicBlock::instr_iterator MII = MI.getIterator();
141 for (++MII; MII != MBB.instr_end() && MII->isInsideBundle(); ++MII) {
142 if (MII->getNumOperands() < 1)
143 continue;
144 unsigned Reg = 0;
145 if (getInstrVecReg(*MII, Reg)) {
146 VecPrintList.push_back((&*MII));
147 LLVM_DEBUG(dbgs() << "Found vector reg inside bundle \n";
148 MII->dump());
149 }
150 }
151 } else {
152 unsigned Reg = 0;
153 if (getInstrVecReg(MI, Reg)) {
154 VecPrintList.push_back(&MI);
155 LLVM_DEBUG(dbgs() << "Found vector reg \n"; MI.dump());
156 }
157 }
158 }
159
160 Changed = !VecPrintList.empty();
161 if (!Changed)
162 return Changed;
163
164 for (auto *I : VecPrintList) {
165 DebugLoc DL = I->getDebugLoc();
166 MachineBasicBlock *MBB = I->getParent();
167 LLVM_DEBUG(dbgs() << "Evaluating V MI\n"; I->dump());
168 unsigned Reg = 0;
169 if (!getInstrVecReg(*I, Reg))
170 llvm_unreachable("Need a vector reg");
171 MachineBasicBlock::instr_iterator MII = I->getIterator();
172 if (I->isInsideBundle()) {
173 LLVM_DEBUG(dbgs() << "add to end of bundle\n"; I->dump());
174 while (MBB->instr_end() != MII && MII->isInsideBundle())
175 MII++;
176 } else {
177 LLVM_DEBUG(dbgs() << "add after instruction\n"; I->dump());
178 MII++;
179 }
180 if (MBB->instr_end() == MII)
181 continue;
182
183 if (Reg >= Hexagon::V0 && Reg <= Hexagon::V31) {
184 LLVM_DEBUG(dbgs() << "adding dump for V" << Reg - Hexagon::V0 << '\n');
185 addAsmInstr(MBB, Reg, MII, DL, QII, Fn);
186 } else if (Reg >= Hexagon::W0 && Reg <= Hexagon::W15) {
187 LLVM_DEBUG(dbgs() << "adding dump for W" << Reg - Hexagon::W0 << '\n');
188 addAsmInstr(MBB, Hexagon::V0 + (Reg - Hexagon::W0) * 2 + 1,
189 MII, DL, QII, Fn);
190 addAsmInstr(MBB, Hexagon::V0 + (Reg - Hexagon::W0) * 2,
191 MII, DL, QII, Fn);
192 } else if (Reg >= Hexagon::Q0 && Reg <= Hexagon::Q3) {
193 LLVM_DEBUG(dbgs() << "adding dump for Q" << Reg - Hexagon::Q0 << '\n');
194 addAsmInstr(MBB, Reg, MII, DL, QII, Fn);
195 } else
196 llvm_unreachable("Bad Vector reg");
197 }
198 return Changed;
199}
200
201//===----------------------------------------------------------------------===//
202// Public Constructor Functions
203//===----------------------------------------------------------------------===//
204INITIALIZE_PASS(HexagonVectorPrint, "hexagon-vector-print",
205 "Hexagon VectorPrint pass", false, false)
206
208 return new HexagonVectorPrint();
209}
MachineBasicBlock & MBB
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
#define LLVM_DEBUG(...)
Definition: Debug.h:106
static cl::opt< bool > TraceHexVectorStoresOnly("trace-hex-vector-stores-only", cl::Hidden, cl::desc("Enables tracing of vector stores"))
static std::string getStringReg(unsigned R)
static bool isVecReg(unsigned Reg)
static void addAsmInstr(MachineBasicBlock *MBB, unsigned Reg, MachineBasicBlock::instr_iterator I, const DebugLoc &DL, const HexagonInstrInfo *QII, MachineFunction &Fn)
static bool getInstrVecReg(const MachineInstr &MI, unsigned &Reg)
IRTranslator LLVM IR MI
#define I(x, y, z)
Definition: MD5.cpp:58
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
Definition: PassSupport.h:38
A debug info location.
Definition: DebugLoc.h:33
FunctionPass class - This class is used to implement most global optimizations.
Definition: Pass.h:310
const HexagonRegisterInfo * getRegisterInfo() const override
Instructions::iterator instr_iterator
instr_iterator instr_end()
MachineFunctionPass - This class adapts the FunctionPass interface to allow convenient creation of pa...
virtual bool runOnMachineFunction(MachineFunction &MF)=0
runOnMachineFunction - This method must be overloaded to perform the desired machine code transformat...
const TargetSubtargetInfo & getSubtarget() const
getSubtarget - Return the subtarget for which this machine code is being compiled.
const char * createExternalSymbolName(StringRef Name)
Allocate a string and populate it with the given external symbol name.
const MachineInstrBuilder & addExternalSymbol(const char *FnName, unsigned TargetFlags=0) const
const MachineInstrBuilder & addImm(int64_t Val) const
Add a new immediate operand.
Representation of each machine instruction.
Definition: MachineInstr.h:69
PassRegistry - This class manages the registration and intitialization of the pass subsystem as appli...
Definition: PassRegistry.h:37
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
void dump() const
Definition: Pass.cpp:136
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
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
unsigned ID
LLVM IR allows to use arbitrary numbers as calling convention identifiers.
Definition: CallingConv.h:24
Reg
All possible values of the reg field in the ModR/M byte.
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
FunctionPass * createHexagonVectorPrint()
MachineInstrBuilder BuildMI(MachineFunction &MF, const MIMetadata &MIMD, const MCInstrDesc &MCID)
Builder interface. Specify how to create the initial instruction itself.
void initializeHexagonVectorPrintPass(PassRegistry &)
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:163