xref: /freebsd/contrib/llvm-project/llvm/lib/Target/Hexagon/HexagonVectorPrint.cpp (revision 81ad626541db97eb356e2c1d4a20eb2a26a766ab)
10b57cec5SDimitry Andric //===- HexagonVectorPrint.cpp - Generate vector printing instructions -----===//
20b57cec5SDimitry Andric //
30b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
40b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
50b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
60b57cec5SDimitry Andric //
70b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
80b57cec5SDimitry Andric //
90b57cec5SDimitry Andric // This pass adds the capability to generate pseudo vector/predicate register
100b57cec5SDimitry Andric // printing instructions. These pseudo instructions should be used with the
110b57cec5SDimitry Andric // simulator, NEVER on hardware.
120b57cec5SDimitry Andric //
130b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
140b57cec5SDimitry Andric 
150b57cec5SDimitry Andric #include "HexagonInstrInfo.h"
160b57cec5SDimitry Andric #include "HexagonSubtarget.h"
170b57cec5SDimitry Andric #include "llvm/ADT/StringRef.h"
180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineBasicBlock.h"
190b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunction.h"
200b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
210b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstr.h"
220b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h"
230b57cec5SDimitry Andric #include "llvm/CodeGen/MachineOperand.h"
240b57cec5SDimitry Andric #include "llvm/CodeGen/TargetOpcodes.h"
250b57cec5SDimitry Andric #include "llvm/IR/DebugLoc.h"
260b57cec5SDimitry Andric #include "llvm/IR/InlineAsm.h"
270b57cec5SDimitry Andric #include "llvm/Pass.h"
280b57cec5SDimitry Andric #include "llvm/Support/CommandLine.h"
290b57cec5SDimitry Andric #include "llvm/Support/Debug.h"
300b57cec5SDimitry Andric #include "llvm/Support/ErrorHandling.h"
310b57cec5SDimitry Andric #include "llvm/Support/raw_ostream.h"
320b57cec5SDimitry Andric #include <string>
330b57cec5SDimitry Andric #include <vector>
340b57cec5SDimitry Andric 
350b57cec5SDimitry Andric using namespace llvm;
360b57cec5SDimitry Andric 
370b57cec5SDimitry Andric #define DEBUG_TYPE "hexagon-vector-print"
380b57cec5SDimitry Andric 
39*81ad6265SDimitry Andric static cl::opt<bool>
40*81ad6265SDimitry Andric     TraceHexVectorStoresOnly("trace-hex-vector-stores-only", cl::Hidden,
410b57cec5SDimitry Andric                              cl::desc("Enables tracing of vector stores"));
420b57cec5SDimitry Andric 
430b57cec5SDimitry Andric namespace llvm {
440b57cec5SDimitry Andric 
450b57cec5SDimitry Andric FunctionPass *createHexagonVectorPrint();
460b57cec5SDimitry Andric void initializeHexagonVectorPrintPass(PassRegistry&);
470b57cec5SDimitry Andric 
480b57cec5SDimitry Andric } // end namespace llvm
490b57cec5SDimitry Andric 
500b57cec5SDimitry Andric namespace {
510b57cec5SDimitry Andric 
520b57cec5SDimitry Andric class HexagonVectorPrint : public MachineFunctionPass {
530b57cec5SDimitry Andric   const HexagonSubtarget *QST = nullptr;
540b57cec5SDimitry Andric   const HexagonInstrInfo *QII = nullptr;
550b57cec5SDimitry Andric   const HexagonRegisterInfo *QRI = nullptr;
560b57cec5SDimitry Andric 
570b57cec5SDimitry Andric public:
580b57cec5SDimitry Andric   static char ID;
590b57cec5SDimitry Andric 
HexagonVectorPrint()600b57cec5SDimitry Andric   HexagonVectorPrint() : MachineFunctionPass(ID) {
610b57cec5SDimitry Andric     initializeHexagonVectorPrintPass(*PassRegistry::getPassRegistry());
620b57cec5SDimitry Andric   }
630b57cec5SDimitry Andric 
getPassName() const640b57cec5SDimitry Andric   StringRef getPassName() const override { return "Hexagon VectorPrint pass"; }
650b57cec5SDimitry Andric 
660b57cec5SDimitry Andric   bool runOnMachineFunction(MachineFunction &Fn) override;
670b57cec5SDimitry Andric };
680b57cec5SDimitry Andric 
690b57cec5SDimitry Andric } // end anonymous namespace
700b57cec5SDimitry Andric 
710b57cec5SDimitry Andric char HexagonVectorPrint::ID = 0;
720b57cec5SDimitry Andric 
isVecReg(unsigned Reg)730b57cec5SDimitry Andric static bool isVecReg(unsigned Reg) {
745ffd83dbSDimitry Andric   return (Reg >= Hexagon::V0 && Reg <= Hexagon::V31) ||
755ffd83dbSDimitry Andric          (Reg >= Hexagon::W0 && Reg <= Hexagon::W15) ||
765ffd83dbSDimitry Andric          (Reg >= Hexagon::WR0 && Reg <= Hexagon::WR15) ||
775ffd83dbSDimitry Andric          (Reg >= Hexagon::Q0 && Reg <= Hexagon::Q3);
780b57cec5SDimitry Andric }
790b57cec5SDimitry Andric 
getStringReg(unsigned R)800b57cec5SDimitry Andric static std::string getStringReg(unsigned R) {
810b57cec5SDimitry Andric   if (R >= Hexagon::V0 && R <= Hexagon::V31) {
820b57cec5SDimitry Andric     static const char* S[] = { "20", "21", "22", "23", "24", "25", "26", "27",
830b57cec5SDimitry Andric                         "28", "29", "2a", "2b", "2c", "2d", "2e", "2f",
840b57cec5SDimitry Andric                         "30", "31", "32", "33", "34", "35", "36", "37",
850b57cec5SDimitry Andric                         "38", "39", "3a", "3b", "3c", "3d", "3e", "3f"};
860b57cec5SDimitry Andric     return S[R-Hexagon::V0];
870b57cec5SDimitry Andric   }
880b57cec5SDimitry Andric   if (R >= Hexagon::Q0 && R <= Hexagon::Q3) {
890b57cec5SDimitry Andric     static const char* S[] = { "00", "01", "02", "03"};
900b57cec5SDimitry Andric     return S[R-Hexagon::Q0];
910b57cec5SDimitry Andric 
920b57cec5SDimitry Andric   }
930b57cec5SDimitry Andric   llvm_unreachable("valid vreg");
940b57cec5SDimitry Andric }
950b57cec5SDimitry Andric 
addAsmInstr(MachineBasicBlock * MBB,unsigned Reg,MachineBasicBlock::instr_iterator I,const DebugLoc & DL,const HexagonInstrInfo * QII,MachineFunction & Fn)960b57cec5SDimitry Andric static void addAsmInstr(MachineBasicBlock *MBB, unsigned Reg,
970b57cec5SDimitry Andric                         MachineBasicBlock::instr_iterator I,
980b57cec5SDimitry Andric                         const DebugLoc &DL, const HexagonInstrInfo *QII,
990b57cec5SDimitry Andric                         MachineFunction &Fn) {
1000b57cec5SDimitry Andric   std::string VDescStr = ".long 0x1dffe0" + getStringReg(Reg);
1010b57cec5SDimitry Andric   const char *cstr = Fn.createExternalSymbolName(VDescStr);
1020b57cec5SDimitry Andric   unsigned ExtraInfo = InlineAsm::Extra_HasSideEffects;
1030b57cec5SDimitry Andric   BuildMI(*MBB, I, DL, QII->get(TargetOpcode::INLINEASM))
1040b57cec5SDimitry Andric     .addExternalSymbol(cstr)
1050b57cec5SDimitry Andric     .addImm(ExtraInfo);
1060b57cec5SDimitry Andric }
1070b57cec5SDimitry Andric 
getInstrVecReg(const MachineInstr & MI,unsigned & Reg)1080b57cec5SDimitry Andric static bool getInstrVecReg(const MachineInstr &MI, unsigned &Reg) {
1090b57cec5SDimitry Andric   if (MI.getNumOperands() < 1) return false;
1100b57cec5SDimitry Andric   // Vec load or compute.
1110b57cec5SDimitry Andric   if (MI.getOperand(0).isReg() && MI.getOperand(0).isDef()) {
1120b57cec5SDimitry Andric     Reg = MI.getOperand(0).getReg();
1130b57cec5SDimitry Andric     if (isVecReg(Reg))
1140b57cec5SDimitry Andric       return !TraceHexVectorStoresOnly;
1150b57cec5SDimitry Andric   }
1160b57cec5SDimitry Andric   // Vec store.
1170b57cec5SDimitry Andric   if (MI.mayStore() && MI.getNumOperands() >= 3 && MI.getOperand(2).isReg()) {
1180b57cec5SDimitry Andric     Reg = MI.getOperand(2).getReg();
1190b57cec5SDimitry Andric     if (isVecReg(Reg))
1200b57cec5SDimitry Andric       return true;
1210b57cec5SDimitry Andric   }
1220b57cec5SDimitry Andric   // Vec store post increment.
1230b57cec5SDimitry Andric   if (MI.mayStore() && MI.getNumOperands() >= 4 && MI.getOperand(3).isReg()) {
1240b57cec5SDimitry Andric     Reg = MI.getOperand(3).getReg();
1250b57cec5SDimitry Andric     if (isVecReg(Reg))
1260b57cec5SDimitry Andric       return true;
1270b57cec5SDimitry Andric   }
1280b57cec5SDimitry Andric   return false;
1290b57cec5SDimitry Andric }
1300b57cec5SDimitry Andric 
runOnMachineFunction(MachineFunction & Fn)1310b57cec5SDimitry Andric bool HexagonVectorPrint::runOnMachineFunction(MachineFunction &Fn) {
1320b57cec5SDimitry Andric   bool Changed = false;
1330b57cec5SDimitry Andric   QST = &Fn.getSubtarget<HexagonSubtarget>();
1340b57cec5SDimitry Andric   QRI = QST->getRegisterInfo();
1350b57cec5SDimitry Andric   QII = QST->getInstrInfo();
1360b57cec5SDimitry Andric   std::vector<MachineInstr *> VecPrintList;
1370b57cec5SDimitry Andric   for (auto &MBB : Fn)
1380b57cec5SDimitry Andric     for (auto &MI : MBB) {
1390b57cec5SDimitry Andric       if (MI.isBundle()) {
1400b57cec5SDimitry Andric         MachineBasicBlock::instr_iterator MII = MI.getIterator();
1410b57cec5SDimitry Andric         for (++MII; MII != MBB.instr_end() && MII->isInsideBundle(); ++MII) {
1420b57cec5SDimitry Andric           if (MII->getNumOperands() < 1)
1430b57cec5SDimitry Andric             continue;
1440b57cec5SDimitry Andric           unsigned Reg = 0;
1450b57cec5SDimitry Andric           if (getInstrVecReg(*MII, Reg)) {
1460b57cec5SDimitry Andric             VecPrintList.push_back((&*MII));
1470b57cec5SDimitry Andric             LLVM_DEBUG(dbgs() << "Found vector reg inside bundle \n";
1480b57cec5SDimitry Andric                        MII->dump());
1490b57cec5SDimitry Andric           }
1500b57cec5SDimitry Andric         }
1510b57cec5SDimitry Andric       } else {
1520b57cec5SDimitry Andric         unsigned Reg = 0;
1530b57cec5SDimitry Andric         if (getInstrVecReg(MI, Reg)) {
1540b57cec5SDimitry Andric           VecPrintList.push_back(&MI);
1550b57cec5SDimitry Andric           LLVM_DEBUG(dbgs() << "Found vector reg \n"; MI.dump());
1560b57cec5SDimitry Andric         }
1570b57cec5SDimitry Andric       }
1580b57cec5SDimitry Andric     }
1590b57cec5SDimitry Andric 
1600b57cec5SDimitry Andric   Changed = !VecPrintList.empty();
1610b57cec5SDimitry Andric   if (!Changed)
1620b57cec5SDimitry Andric     return Changed;
1630b57cec5SDimitry Andric 
1640b57cec5SDimitry Andric   for (auto *I : VecPrintList) {
1650b57cec5SDimitry Andric     DebugLoc DL = I->getDebugLoc();
1660b57cec5SDimitry Andric     MachineBasicBlock *MBB = I->getParent();
1670b57cec5SDimitry Andric     LLVM_DEBUG(dbgs() << "Evaluating V MI\n"; I->dump());
1680b57cec5SDimitry Andric     unsigned Reg = 0;
1690b57cec5SDimitry Andric     if (!getInstrVecReg(*I, Reg))
1700b57cec5SDimitry Andric       llvm_unreachable("Need a vector reg");
1710b57cec5SDimitry Andric     MachineBasicBlock::instr_iterator MII = I->getIterator();
1720b57cec5SDimitry Andric     if (I->isInsideBundle()) {
1730b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "add to end of bundle\n"; I->dump());
1740b57cec5SDimitry Andric       while (MBB->instr_end() != MII && MII->isInsideBundle())
1750b57cec5SDimitry Andric         MII++;
1760b57cec5SDimitry Andric     } else {
1770b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "add after instruction\n"; I->dump());
1780b57cec5SDimitry Andric       MII++;
1790b57cec5SDimitry Andric     }
1800b57cec5SDimitry Andric     if (MBB->instr_end() == MII)
1810b57cec5SDimitry Andric       continue;
1820b57cec5SDimitry Andric 
1830b57cec5SDimitry Andric     if (Reg >= Hexagon::V0 && Reg <= Hexagon::V31) {
1840b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "adding dump for V" << Reg - Hexagon::V0 << '\n');
1850b57cec5SDimitry Andric       addAsmInstr(MBB, Reg, MII, DL, QII, Fn);
1860b57cec5SDimitry Andric     } else if (Reg >= Hexagon::W0 && Reg <= Hexagon::W15) {
1870b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "adding dump for W" << Reg - Hexagon::W0 << '\n');
1880b57cec5SDimitry Andric       addAsmInstr(MBB, Hexagon::V0 + (Reg - Hexagon::W0) * 2 + 1,
1890b57cec5SDimitry Andric                   MII, DL, QII, Fn);
1900b57cec5SDimitry Andric       addAsmInstr(MBB, Hexagon::V0 + (Reg - Hexagon::W0) * 2,
1910b57cec5SDimitry Andric                    MII, DL, QII, Fn);
1920b57cec5SDimitry Andric     } else if (Reg >= Hexagon::Q0 && Reg <= Hexagon::Q3) {
1930b57cec5SDimitry Andric       LLVM_DEBUG(dbgs() << "adding dump for Q" << Reg - Hexagon::Q0 << '\n');
1940b57cec5SDimitry Andric       addAsmInstr(MBB, Reg, MII, DL, QII, Fn);
1950b57cec5SDimitry Andric     } else
1960b57cec5SDimitry Andric       llvm_unreachable("Bad Vector reg");
1970b57cec5SDimitry Andric   }
1980b57cec5SDimitry Andric   return Changed;
1990b57cec5SDimitry Andric }
2000b57cec5SDimitry Andric 
2010b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
2020b57cec5SDimitry Andric //                         Public Constructor Functions
2030b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
2040b57cec5SDimitry Andric INITIALIZE_PASS(HexagonVectorPrint, "hexagon-vector-print",
2050b57cec5SDimitry Andric   "Hexagon VectorPrint pass", false, false)
2060b57cec5SDimitry Andric 
createHexagonVectorPrint()2070b57cec5SDimitry Andric FunctionPass *llvm::createHexagonVectorPrint() {
2080b57cec5SDimitry Andric   return new HexagonVectorPrint();
2090b57cec5SDimitry Andric }
210