10b57cec5SDimitry Andric //===- ARCExpandPseudosPass - ARC expand pseudo loads -----------*- C++ -*-===//
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 expands stores with large offsets into an appropriate sequence.
100b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
110b57cec5SDimitry Andric
120b57cec5SDimitry Andric #include "ARC.h"
130b57cec5SDimitry Andric #include "ARCInstrInfo.h"
140b57cec5SDimitry Andric #include "ARCRegisterInfo.h"
150b57cec5SDimitry Andric #include "ARCSubtarget.h"
16*349cc55cSDimitry Andric #include "MCTargetDesc/ARCInfo.h"
170b57cec5SDimitry Andric #include "llvm/ADT/Statistic.h"
180b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
190b57cec5SDimitry Andric #include "llvm/CodeGen/MachineInstrBuilder.h"
200b57cec5SDimitry Andric #include "llvm/CodeGen/MachineRegisterInfo.h"
210b57cec5SDimitry Andric
220b57cec5SDimitry Andric using namespace llvm;
230b57cec5SDimitry Andric
240b57cec5SDimitry Andric #define DEBUG_TYPE "arc-expand-pseudos"
250b57cec5SDimitry Andric
260b57cec5SDimitry Andric namespace {
270b57cec5SDimitry Andric
280b57cec5SDimitry Andric class ARCExpandPseudos : public MachineFunctionPass {
290b57cec5SDimitry Andric public:
300b57cec5SDimitry Andric static char ID;
ARCExpandPseudos()310b57cec5SDimitry Andric ARCExpandPseudos() : MachineFunctionPass(ID) {}
320b57cec5SDimitry Andric
330b57cec5SDimitry Andric bool runOnMachineFunction(MachineFunction &Fn) override;
340b57cec5SDimitry Andric
getPassName() const350b57cec5SDimitry Andric StringRef getPassName() const override { return "ARC Expand Pseudos"; }
360b57cec5SDimitry Andric
370b57cec5SDimitry Andric private:
38*349cc55cSDimitry Andric void expandStore(MachineFunction &, MachineBasicBlock::iterator);
39*349cc55cSDimitry Andric void expandCTLZ(MachineFunction &, MachineBasicBlock::iterator);
40*349cc55cSDimitry Andric void expandCTTZ(MachineFunction &, MachineBasicBlock::iterator);
410b57cec5SDimitry Andric
420b57cec5SDimitry Andric const ARCInstrInfo *TII;
430b57cec5SDimitry Andric };
440b57cec5SDimitry Andric
450b57cec5SDimitry Andric char ARCExpandPseudos::ID = 0;
460b57cec5SDimitry Andric
470b57cec5SDimitry Andric } // end anonymous namespace
480b57cec5SDimitry Andric
getMappedOp(unsigned PseudoOp)490b57cec5SDimitry Andric static unsigned getMappedOp(unsigned PseudoOp) {
500b57cec5SDimitry Andric switch (PseudoOp) {
510b57cec5SDimitry Andric case ARC::ST_FAR:
520b57cec5SDimitry Andric return ARC::ST_rs9;
530b57cec5SDimitry Andric case ARC::STH_FAR:
540b57cec5SDimitry Andric return ARC::STH_rs9;
550b57cec5SDimitry Andric case ARC::STB_FAR:
560b57cec5SDimitry Andric return ARC::STB_rs9;
570b57cec5SDimitry Andric default:
580b57cec5SDimitry Andric llvm_unreachable("Unhandled pseudo op.");
590b57cec5SDimitry Andric }
600b57cec5SDimitry Andric }
610b57cec5SDimitry Andric
expandStore(MachineFunction & MF,MachineBasicBlock::iterator SII)62*349cc55cSDimitry Andric void ARCExpandPseudos::expandStore(MachineFunction &MF,
630b57cec5SDimitry Andric MachineBasicBlock::iterator SII) {
640b57cec5SDimitry Andric MachineInstr &SI = *SII;
65*349cc55cSDimitry Andric Register AddrReg = MF.getRegInfo().createVirtualRegister(&ARC::GPR32RegClass);
66*349cc55cSDimitry Andric Register AddOpc =
670b57cec5SDimitry Andric isUInt<6>(SI.getOperand(2).getImm()) ? ARC::ADD_rru6 : ARC::ADD_rrlimm;
680b57cec5SDimitry Andric BuildMI(*SI.getParent(), SI, SI.getDebugLoc(), TII->get(AddOpc), AddrReg)
690b57cec5SDimitry Andric .addReg(SI.getOperand(1).getReg())
700b57cec5SDimitry Andric .addImm(SI.getOperand(2).getImm());
710b57cec5SDimitry Andric BuildMI(*SI.getParent(), SI, SI.getDebugLoc(),
720b57cec5SDimitry Andric TII->get(getMappedOp(SI.getOpcode())))
730b57cec5SDimitry Andric .addReg(SI.getOperand(0).getReg())
740b57cec5SDimitry Andric .addReg(AddrReg)
750b57cec5SDimitry Andric .addImm(0);
760b57cec5SDimitry Andric SI.eraseFromParent();
770b57cec5SDimitry Andric }
780b57cec5SDimitry Andric
expandCTLZ(MachineFunction & MF,MachineBasicBlock::iterator MII)79*349cc55cSDimitry Andric void ARCExpandPseudos::expandCTLZ(MachineFunction &MF,
80*349cc55cSDimitry Andric MachineBasicBlock::iterator MII) {
81*349cc55cSDimitry Andric // Expand:
82*349cc55cSDimitry Andric // %R2<def> = CTLZ %R0, %STATUS<imp-def>
83*349cc55cSDimitry Andric // To:
84*349cc55cSDimitry Andric // %R2<def> = FLS_f_rr %R0, %STATUS<imp-def>
85*349cc55cSDimitry Andric // %R2<def,tied1> = MOV_cc_ru6 %R2<tied0>, 32, pred:1, %STATUS<imp-use>
86*349cc55cSDimitry Andric // %R2<def,tied1> = RSUB_cc_rru6 %R2<tied0>, 31, pred:2, %STATUS<imp-use>
87*349cc55cSDimitry Andric MachineInstr &MI = *MII;
88*349cc55cSDimitry Andric const MachineOperand &Dest = MI.getOperand(0);
89*349cc55cSDimitry Andric const MachineOperand &Src = MI.getOperand(1);
90*349cc55cSDimitry Andric Register Ra = MF.getRegInfo().createVirtualRegister(&ARC::GPR32RegClass);
91*349cc55cSDimitry Andric Register Rb = MF.getRegInfo().createVirtualRegister(&ARC::GPR32RegClass);
92*349cc55cSDimitry Andric
93*349cc55cSDimitry Andric BuildMI(*MI.getParent(), MI, MI.getDebugLoc(), TII->get(ARC::FLS_f_rr), Ra)
94*349cc55cSDimitry Andric .add(Src);
95*349cc55cSDimitry Andric BuildMI(*MI.getParent(), MI, MI.getDebugLoc(), TII->get(ARC::MOV_cc_ru6), Rb)
96*349cc55cSDimitry Andric .addImm(32)
97*349cc55cSDimitry Andric .addImm(ARCCC::EQ)
98*349cc55cSDimitry Andric .addReg(Ra);
99*349cc55cSDimitry Andric BuildMI(*MI.getParent(), MI, MI.getDebugLoc(), TII->get(ARC::RSUB_cc_rru6))
100*349cc55cSDimitry Andric .add(Dest)
101*349cc55cSDimitry Andric .addImm(31)
102*349cc55cSDimitry Andric .addImm(ARCCC::NE)
103*349cc55cSDimitry Andric .addReg(Rb);
104*349cc55cSDimitry Andric
105*349cc55cSDimitry Andric MI.eraseFromParent();
106*349cc55cSDimitry Andric }
107*349cc55cSDimitry Andric
expandCTTZ(MachineFunction & MF,MachineBasicBlock::iterator MII)108*349cc55cSDimitry Andric void ARCExpandPseudos::expandCTTZ(MachineFunction &MF,
109*349cc55cSDimitry Andric MachineBasicBlock::iterator MII) {
110*349cc55cSDimitry Andric // Expand:
111*349cc55cSDimitry Andric // %R0<def> = CTTZ %R0<kill>, %STATUS<imp-def>
112*349cc55cSDimitry Andric // To:
113*349cc55cSDimitry Andric // %R0<def> = FFS_f_rr %R0<kill>, %STATUS<imp-def>
114*349cc55cSDimitry Andric // %R0<def,tied1> = MOVcc_ru6 %R0<tied0>, 32, pred:1, %STATUS<imp-use>
115*349cc55cSDimitry Andric MachineInstr &MI = *MII;
116*349cc55cSDimitry Andric const MachineOperand &Dest = MI.getOperand(0);
117*349cc55cSDimitry Andric const MachineOperand &Src = MI.getOperand(1);
118*349cc55cSDimitry Andric Register R = MF.getRegInfo().createVirtualRegister(&ARC::GPR32RegClass);
119*349cc55cSDimitry Andric
120*349cc55cSDimitry Andric BuildMI(*MI.getParent(), MI, MI.getDebugLoc(), TII->get(ARC::FFS_f_rr), R)
121*349cc55cSDimitry Andric .add(Src);
122*349cc55cSDimitry Andric BuildMI(*MI.getParent(), MI, MI.getDebugLoc(), TII->get(ARC::MOV_cc_ru6))
123*349cc55cSDimitry Andric .add(Dest)
124*349cc55cSDimitry Andric .addImm(32)
125*349cc55cSDimitry Andric .addImm(ARCCC::EQ)
126*349cc55cSDimitry Andric .addReg(R);
127*349cc55cSDimitry Andric
128*349cc55cSDimitry Andric MI.eraseFromParent();
129*349cc55cSDimitry Andric }
130*349cc55cSDimitry Andric
runOnMachineFunction(MachineFunction & MF)1310b57cec5SDimitry Andric bool ARCExpandPseudos::runOnMachineFunction(MachineFunction &MF) {
1320b57cec5SDimitry Andric const ARCSubtarget *STI = &MF.getSubtarget<ARCSubtarget>();
1330b57cec5SDimitry Andric TII = STI->getInstrInfo();
134*349cc55cSDimitry Andric bool Expanded = false;
1350b57cec5SDimitry Andric for (auto &MBB : MF) {
1360b57cec5SDimitry Andric MachineBasicBlock::iterator MBBI = MBB.begin(), E = MBB.end();
1370b57cec5SDimitry Andric while (MBBI != E) {
1380b57cec5SDimitry Andric MachineBasicBlock::iterator NMBBI = std::next(MBBI);
1390b57cec5SDimitry Andric switch (MBBI->getOpcode()) {
1400b57cec5SDimitry Andric case ARC::ST_FAR:
1410b57cec5SDimitry Andric case ARC::STH_FAR:
1420b57cec5SDimitry Andric case ARC::STB_FAR:
143*349cc55cSDimitry Andric expandStore(MF, MBBI);
144*349cc55cSDimitry Andric Expanded = true;
145*349cc55cSDimitry Andric break;
146*349cc55cSDimitry Andric case ARC::CTLZ:
147*349cc55cSDimitry Andric expandCTLZ(MF, MBBI);
148*349cc55cSDimitry Andric Expanded = true;
149*349cc55cSDimitry Andric break;
150*349cc55cSDimitry Andric case ARC::CTTZ:
151*349cc55cSDimitry Andric expandCTTZ(MF, MBBI);
152*349cc55cSDimitry Andric Expanded = true;
1530b57cec5SDimitry Andric break;
1540b57cec5SDimitry Andric default:
1550b57cec5SDimitry Andric break;
1560b57cec5SDimitry Andric }
1570b57cec5SDimitry Andric MBBI = NMBBI;
1580b57cec5SDimitry Andric }
1590b57cec5SDimitry Andric }
160*349cc55cSDimitry Andric return Expanded;
1610b57cec5SDimitry Andric }
1620b57cec5SDimitry Andric
createARCExpandPseudosPass()1630b57cec5SDimitry Andric FunctionPass *llvm::createARCExpandPseudosPass() {
1640b57cec5SDimitry Andric return new ARCExpandPseudos();
1650b57cec5SDimitry Andric }
166