• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //=== A15SDOptimizerPass.cpp - Optimize DPR and SPR register accesses on A15==//
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 // The Cortex-A15 processor employs a tracking scheme in its register renaming
10 // in order to process each instruction's micro-ops speculatively and
11 // out-of-order with appropriate forwarding. The ARM architecture allows VFP
12 // instructions to read and write 32-bit S-registers.  Each S-register
13 // corresponds to one half (upper or lower) of an overlaid 64-bit D-register.
14 //
15 // There are several instruction patterns which can be used to provide this
16 // capability which can provide higher performance than other, potentially more
17 // direct patterns, specifically around when one micro-op reads a D-register
18 // operand that has recently been written as one or more S-register results.
19 //
20 // This file defines a pre-regalloc pass which looks for SPR producers which
21 // are going to be used by a DPR (or QPR) consumers and creates the more
22 // optimized access pattern.
23 //
24 //===----------------------------------------------------------------------===//
25 
26 #include "ARM.h"
27 #include "ARMBaseInstrInfo.h"
28 #include "ARMBaseRegisterInfo.h"
29 #include "ARMSubtarget.h"
30 #include "llvm/ADT/Statistic.h"
31 #include "llvm/CodeGen/MachineFunction.h"
32 #include "llvm/CodeGen/MachineFunctionPass.h"
33 #include "llvm/CodeGen/MachineInstr.h"
34 #include "llvm/CodeGen/MachineInstrBuilder.h"
35 #include "llvm/CodeGen/MachineRegisterInfo.h"
36 #include "llvm/CodeGen/TargetRegisterInfo.h"
37 #include "llvm/CodeGen/TargetSubtargetInfo.h"
38 #include "llvm/Support/Debug.h"
39 #include "llvm/Support/raw_ostream.h"
40 #include <map>
41 #include <set>
42 
43 using namespace llvm;
44 
45 #define DEBUG_TYPE "a15-sd-optimizer"
46 
47 namespace {
48   struct A15SDOptimizer : public MachineFunctionPass {
49     static char ID;
A15SDOptimizer__anon49ab90e10111::A15SDOptimizer50     A15SDOptimizer() : MachineFunctionPass(ID) {}
51 
52     bool runOnMachineFunction(MachineFunction &Fn) override;
53 
getPassName__anon49ab90e10111::A15SDOptimizer54     StringRef getPassName() const override { return "ARM A15 S->D optimizer"; }
55 
56   private:
57     const ARMBaseInstrInfo *TII;
58     const TargetRegisterInfo *TRI;
59     MachineRegisterInfo *MRI;
60 
61     bool runOnInstruction(MachineInstr *MI);
62 
63     //
64     // Instruction builder helpers
65     //
66     unsigned createDupLane(MachineBasicBlock &MBB,
67                            MachineBasicBlock::iterator InsertBefore,
68                            const DebugLoc &DL, unsigned Reg, unsigned Lane,
69                            bool QPR = false);
70 
71     unsigned createExtractSubreg(MachineBasicBlock &MBB,
72                                  MachineBasicBlock::iterator InsertBefore,
73                                  const DebugLoc &DL, unsigned DReg,
74                                  unsigned Lane, const TargetRegisterClass *TRC);
75 
76     unsigned createVExt(MachineBasicBlock &MBB,
77                         MachineBasicBlock::iterator InsertBefore,
78                         const DebugLoc &DL, unsigned Ssub0, unsigned Ssub1);
79 
80     unsigned createRegSequence(MachineBasicBlock &MBB,
81                                MachineBasicBlock::iterator InsertBefore,
82                                const DebugLoc &DL, unsigned Reg1,
83                                unsigned Reg2);
84 
85     unsigned createInsertSubreg(MachineBasicBlock &MBB,
86                                 MachineBasicBlock::iterator InsertBefore,
87                                 const DebugLoc &DL, unsigned DReg,
88                                 unsigned Lane, unsigned ToInsert);
89 
90     unsigned createImplicitDef(MachineBasicBlock &MBB,
91                                MachineBasicBlock::iterator InsertBefore,
92                                const DebugLoc &DL);
93 
94     //
95     // Various property checkers
96     //
97     bool usesRegClass(MachineOperand &MO, const TargetRegisterClass *TRC);
98     bool hasPartialWrite(MachineInstr *MI);
99     SmallVector<unsigned, 8> getReadDPRs(MachineInstr *MI);
100     unsigned getDPRLaneFromSPR(unsigned SReg);
101 
102     //
103     // Methods used for getting the definitions of partial registers
104     //
105 
106     MachineInstr *elideCopies(MachineInstr *MI);
107     void elideCopiesAndPHIs(MachineInstr *MI,
108                             SmallVectorImpl<MachineInstr*> &Outs);
109 
110     //
111     // Pattern optimization methods
112     //
113     unsigned optimizeAllLanesPattern(MachineInstr *MI, unsigned Reg);
114     unsigned optimizeSDPattern(MachineInstr *MI);
115     unsigned getPrefSPRLane(unsigned SReg);
116 
117     //
118     // Sanitizing method - used to make sure if don't leave dead code around.
119     //
120     void eraseInstrWithNoUses(MachineInstr *MI);
121 
122     //
123     // A map used to track the changes done by this pass.
124     //
125     std::map<MachineInstr*, unsigned> Replacements;
126     std::set<MachineInstr *> DeadInstr;
127   };
128   char A15SDOptimizer::ID = 0;
129 } // end anonymous namespace
130 
131 // Returns true if this is a use of a SPR register.
usesRegClass(MachineOperand & MO,const TargetRegisterClass * TRC)132 bool A15SDOptimizer::usesRegClass(MachineOperand &MO,
133                                   const TargetRegisterClass *TRC) {
134   if (!MO.isReg())
135     return false;
136   Register Reg = MO.getReg();
137 
138   if (Register::isVirtualRegister(Reg))
139     return MRI->getRegClass(Reg)->hasSuperClassEq(TRC);
140   else
141     return TRC->contains(Reg);
142 }
143 
getDPRLaneFromSPR(unsigned SReg)144 unsigned A15SDOptimizer::getDPRLaneFromSPR(unsigned SReg) {
145   unsigned DReg = TRI->getMatchingSuperReg(SReg, ARM::ssub_1,
146                                            &ARM::DPRRegClass);
147   if (DReg != ARM::NoRegister) return ARM::ssub_1;
148   return ARM::ssub_0;
149 }
150 
151 // Get the subreg type that is most likely to be coalesced
152 // for an SPR register that will be used in VDUP32d pseudo.
getPrefSPRLane(unsigned SReg)153 unsigned A15SDOptimizer::getPrefSPRLane(unsigned SReg) {
154   if (!Register::isVirtualRegister(SReg))
155     return getDPRLaneFromSPR(SReg);
156 
157   MachineInstr *MI = MRI->getVRegDef(SReg);
158   if (!MI) return ARM::ssub_0;
159   MachineOperand *MO = MI->findRegisterDefOperand(SReg);
160   if (!MO) return ARM::ssub_0;
161   assert(MO->isReg() && "Non-register operand found!");
162 
163   if (MI->isCopy() && usesRegClass(MI->getOperand(1),
164                                     &ARM::SPRRegClass)) {
165     SReg = MI->getOperand(1).getReg();
166   }
167 
168   if (Register::isVirtualRegister(SReg)) {
169     if (MO->getSubReg() == ARM::ssub_1) return ARM::ssub_1;
170     return ARM::ssub_0;
171   }
172   return getDPRLaneFromSPR(SReg);
173 }
174 
175 // MI is known to be dead. Figure out what instructions
176 // are also made dead by this and mark them for removal.
eraseInstrWithNoUses(MachineInstr * MI)177 void A15SDOptimizer::eraseInstrWithNoUses(MachineInstr *MI) {
178   SmallVector<MachineInstr *, 8> Front;
179   DeadInstr.insert(MI);
180 
181   LLVM_DEBUG(dbgs() << "Deleting base instruction " << *MI << "\n");
182   Front.push_back(MI);
183 
184   while (Front.size() != 0) {
185     MI = Front.back();
186     Front.pop_back();
187 
188     // MI is already known to be dead. We need to see
189     // if other instructions can also be removed.
190     for (MachineOperand &MO : MI->operands()) {
191       if ((!MO.isReg()) || (!MO.isUse()))
192         continue;
193       Register Reg = MO.getReg();
194       if (!Register::isVirtualRegister(Reg))
195         continue;
196       MachineOperand *Op = MI->findRegisterDefOperand(Reg);
197 
198       if (!Op)
199         continue;
200 
201       MachineInstr *Def = Op->getParent();
202 
203       // We don't need to do anything if we have already marked
204       // this instruction as being dead.
205       if (DeadInstr.find(Def) != DeadInstr.end())
206         continue;
207 
208       // Check if all the uses of this instruction are marked as
209       // dead. If so, we can also mark this instruction as being
210       // dead.
211       bool IsDead = true;
212       for (MachineOperand &MODef : Def->operands()) {
213         if ((!MODef.isReg()) || (!MODef.isDef()))
214           continue;
215         Register DefReg = MODef.getReg();
216         if (!Register::isVirtualRegister(DefReg)) {
217           IsDead = false;
218           break;
219         }
220         for (MachineInstr &Use : MRI->use_instructions(Reg)) {
221           // We don't care about self references.
222           if (&Use == Def)
223             continue;
224           if (DeadInstr.find(&Use) == DeadInstr.end()) {
225             IsDead = false;
226             break;
227           }
228         }
229       }
230 
231       if (!IsDead) continue;
232 
233       LLVM_DEBUG(dbgs() << "Deleting instruction " << *Def << "\n");
234       DeadInstr.insert(Def);
235     }
236   }
237 }
238 
239 // Creates the more optimized patterns and generally does all the code
240 // transformations in this pass.
optimizeSDPattern(MachineInstr * MI)241 unsigned A15SDOptimizer::optimizeSDPattern(MachineInstr *MI) {
242   if (MI->isCopy()) {
243     return optimizeAllLanesPattern(MI, MI->getOperand(1).getReg());
244   }
245 
246   if (MI->isInsertSubreg()) {
247     Register DPRReg = MI->getOperand(1).getReg();
248     Register SPRReg = MI->getOperand(2).getReg();
249 
250     if (Register::isVirtualRegister(DPRReg) && Register::isVirtualRegister(SPRReg)) {
251       MachineInstr *DPRMI = MRI->getVRegDef(MI->getOperand(1).getReg());
252       MachineInstr *SPRMI = MRI->getVRegDef(MI->getOperand(2).getReg());
253 
254       if (DPRMI && SPRMI) {
255         // See if the first operand of this insert_subreg is IMPLICIT_DEF
256         MachineInstr *ECDef = elideCopies(DPRMI);
257         if (ECDef && ECDef->isImplicitDef()) {
258           // Another corner case - if we're inserting something that is purely
259           // a subreg copy of a DPR, just use that DPR.
260 
261           MachineInstr *EC = elideCopies(SPRMI);
262           // Is it a subreg copy of ssub_0?
263           if (EC && EC->isCopy() &&
264               EC->getOperand(1).getSubReg() == ARM::ssub_0) {
265             LLVM_DEBUG(dbgs() << "Found a subreg copy: " << *SPRMI);
266 
267             // Find the thing we're subreg copying out of - is it of the same
268             // regclass as DPRMI? (i.e. a DPR or QPR).
269             Register FullReg = SPRMI->getOperand(1).getReg();
270             const TargetRegisterClass *TRC =
271               MRI->getRegClass(MI->getOperand(1).getReg());
272             if (TRC->hasSuperClassEq(MRI->getRegClass(FullReg))) {
273               LLVM_DEBUG(dbgs() << "Subreg copy is compatible - returning ");
274               LLVM_DEBUG(dbgs() << printReg(FullReg) << "\n");
275               eraseInstrWithNoUses(MI);
276               return FullReg;
277             }
278           }
279 
280           return optimizeAllLanesPattern(MI, MI->getOperand(2).getReg());
281         }
282       }
283     }
284     return optimizeAllLanesPattern(MI, MI->getOperand(0).getReg());
285   }
286 
287   if (MI->isRegSequence() && usesRegClass(MI->getOperand(1),
288                                           &ARM::SPRRegClass)) {
289     // See if all bar one of the operands are IMPLICIT_DEF and insert the
290     // optimizer pattern accordingly.
291     unsigned NumImplicit = 0, NumTotal = 0;
292     unsigned NonImplicitReg = ~0U;
293 
294     for (unsigned I = 1; I < MI->getNumExplicitOperands(); ++I) {
295       if (!MI->getOperand(I).isReg())
296         continue;
297       ++NumTotal;
298       Register OpReg = MI->getOperand(I).getReg();
299 
300       if (!Register::isVirtualRegister(OpReg))
301         break;
302 
303       MachineInstr *Def = MRI->getVRegDef(OpReg);
304       if (!Def)
305         break;
306       if (Def->isImplicitDef())
307         ++NumImplicit;
308       else
309         NonImplicitReg = MI->getOperand(I).getReg();
310     }
311 
312     if (NumImplicit == NumTotal - 1)
313       return optimizeAllLanesPattern(MI, NonImplicitReg);
314     else
315       return optimizeAllLanesPattern(MI, MI->getOperand(0).getReg());
316   }
317 
318   llvm_unreachable("Unhandled update pattern!");
319 }
320 
321 // Return true if this MachineInstr inserts a scalar (SPR) value into
322 // a D or Q register.
hasPartialWrite(MachineInstr * MI)323 bool A15SDOptimizer::hasPartialWrite(MachineInstr *MI) {
324   // The only way we can do a partial register update is through a COPY,
325   // INSERT_SUBREG or REG_SEQUENCE.
326   if (MI->isCopy() && usesRegClass(MI->getOperand(1), &ARM::SPRRegClass))
327     return true;
328 
329   if (MI->isInsertSubreg() && usesRegClass(MI->getOperand(2),
330                                            &ARM::SPRRegClass))
331     return true;
332 
333   if (MI->isRegSequence() && usesRegClass(MI->getOperand(1), &ARM::SPRRegClass))
334     return true;
335 
336   return false;
337 }
338 
339 // Looks through full copies to get the instruction that defines the input
340 // operand for MI.
elideCopies(MachineInstr * MI)341 MachineInstr *A15SDOptimizer::elideCopies(MachineInstr *MI) {
342   if (!MI->isFullCopy())
343     return MI;
344   if (!Register::isVirtualRegister(MI->getOperand(1).getReg()))
345     return nullptr;
346   MachineInstr *Def = MRI->getVRegDef(MI->getOperand(1).getReg());
347   if (!Def)
348     return nullptr;
349   return elideCopies(Def);
350 }
351 
352 // Look through full copies and PHIs to get the set of non-copy MachineInstrs
353 // that can produce MI.
elideCopiesAndPHIs(MachineInstr * MI,SmallVectorImpl<MachineInstr * > & Outs)354 void A15SDOptimizer::elideCopiesAndPHIs(MachineInstr *MI,
355                                         SmallVectorImpl<MachineInstr*> &Outs) {
356    // Looking through PHIs may create loops so we need to track what
357    // instructions we have visited before.
358    std::set<MachineInstr *> Reached;
359    SmallVector<MachineInstr *, 8> Front;
360    Front.push_back(MI);
361    while (Front.size() != 0) {
362      MI = Front.back();
363      Front.pop_back();
364 
365      // If we have already explored this MachineInstr, ignore it.
366      if (Reached.find(MI) != Reached.end())
367        continue;
368      Reached.insert(MI);
369      if (MI->isPHI()) {
370        for (unsigned I = 1, E = MI->getNumOperands(); I != E; I += 2) {
371          Register Reg = MI->getOperand(I).getReg();
372          if (!Register::isVirtualRegister(Reg)) {
373            continue;
374          }
375          MachineInstr *NewMI = MRI->getVRegDef(Reg);
376          if (!NewMI)
377            continue;
378          Front.push_back(NewMI);
379        }
380      } else if (MI->isFullCopy()) {
381        if (!Register::isVirtualRegister(MI->getOperand(1).getReg()))
382          continue;
383        MachineInstr *NewMI = MRI->getVRegDef(MI->getOperand(1).getReg());
384        if (!NewMI)
385          continue;
386        Front.push_back(NewMI);
387      } else {
388        LLVM_DEBUG(dbgs() << "Found partial copy" << *MI << "\n");
389        Outs.push_back(MI);
390      }
391    }
392 }
393 
394 // Return the DPR virtual registers that are read by this machine instruction
395 // (if any).
getReadDPRs(MachineInstr * MI)396 SmallVector<unsigned, 8> A15SDOptimizer::getReadDPRs(MachineInstr *MI) {
397   if (MI->isCopyLike() || MI->isInsertSubreg() || MI->isRegSequence() ||
398       MI->isKill())
399     return SmallVector<unsigned, 8>();
400 
401   SmallVector<unsigned, 8> Defs;
402   for (MachineOperand &MO : MI->operands()) {
403     if (!MO.isReg() || !MO.isUse())
404       continue;
405     if (!usesRegClass(MO, &ARM::DPRRegClass) &&
406         !usesRegClass(MO, &ARM::QPRRegClass) &&
407         !usesRegClass(MO, &ARM::DPairRegClass)) // Treat DPair as QPR
408       continue;
409 
410     Defs.push_back(MO.getReg());
411   }
412   return Defs;
413 }
414 
415 // Creates a DPR register from an SPR one by using a VDUP.
createDupLane(MachineBasicBlock & MBB,MachineBasicBlock::iterator InsertBefore,const DebugLoc & DL,unsigned Reg,unsigned Lane,bool QPR)416 unsigned A15SDOptimizer::createDupLane(MachineBasicBlock &MBB,
417                                        MachineBasicBlock::iterator InsertBefore,
418                                        const DebugLoc &DL, unsigned Reg,
419                                        unsigned Lane, bool QPR) {
420   Register Out =
421       MRI->createVirtualRegister(QPR ? &ARM::QPRRegClass : &ARM::DPRRegClass);
422   BuildMI(MBB, InsertBefore, DL,
423           TII->get(QPR ? ARM::VDUPLN32q : ARM::VDUPLN32d), Out)
424       .addReg(Reg)
425       .addImm(Lane)
426       .add(predOps(ARMCC::AL));
427 
428   return Out;
429 }
430 
431 // Creates a SPR register from a DPR by copying the value in lane 0.
createExtractSubreg(MachineBasicBlock & MBB,MachineBasicBlock::iterator InsertBefore,const DebugLoc & DL,unsigned DReg,unsigned Lane,const TargetRegisterClass * TRC)432 unsigned A15SDOptimizer::createExtractSubreg(
433     MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertBefore,
434     const DebugLoc &DL, unsigned DReg, unsigned Lane,
435     const TargetRegisterClass *TRC) {
436   Register Out = MRI->createVirtualRegister(TRC);
437   BuildMI(MBB,
438           InsertBefore,
439           DL,
440           TII->get(TargetOpcode::COPY), Out)
441     .addReg(DReg, 0, Lane);
442 
443   return Out;
444 }
445 
446 // Takes two SPR registers and creates a DPR by using a REG_SEQUENCE.
createRegSequence(MachineBasicBlock & MBB,MachineBasicBlock::iterator InsertBefore,const DebugLoc & DL,unsigned Reg1,unsigned Reg2)447 unsigned A15SDOptimizer::createRegSequence(
448     MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertBefore,
449     const DebugLoc &DL, unsigned Reg1, unsigned Reg2) {
450   Register Out = MRI->createVirtualRegister(&ARM::QPRRegClass);
451   BuildMI(MBB,
452           InsertBefore,
453           DL,
454           TII->get(TargetOpcode::REG_SEQUENCE), Out)
455     .addReg(Reg1)
456     .addImm(ARM::dsub_0)
457     .addReg(Reg2)
458     .addImm(ARM::dsub_1);
459   return Out;
460 }
461 
462 // Takes two DPR registers that have previously been VDUPed (Ssub0 and Ssub1)
463 // and merges them into one DPR register.
createVExt(MachineBasicBlock & MBB,MachineBasicBlock::iterator InsertBefore,const DebugLoc & DL,unsigned Ssub0,unsigned Ssub1)464 unsigned A15SDOptimizer::createVExt(MachineBasicBlock &MBB,
465                                     MachineBasicBlock::iterator InsertBefore,
466                                     const DebugLoc &DL, unsigned Ssub0,
467                                     unsigned Ssub1) {
468   Register Out = MRI->createVirtualRegister(&ARM::DPRRegClass);
469   BuildMI(MBB, InsertBefore, DL, TII->get(ARM::VEXTd32), Out)
470       .addReg(Ssub0)
471       .addReg(Ssub1)
472       .addImm(1)
473       .add(predOps(ARMCC::AL));
474   return Out;
475 }
476 
createInsertSubreg(MachineBasicBlock & MBB,MachineBasicBlock::iterator InsertBefore,const DebugLoc & DL,unsigned DReg,unsigned Lane,unsigned ToInsert)477 unsigned A15SDOptimizer::createInsertSubreg(
478     MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertBefore,
479     const DebugLoc &DL, unsigned DReg, unsigned Lane, unsigned ToInsert) {
480   Register Out = MRI->createVirtualRegister(&ARM::DPR_VFP2RegClass);
481   BuildMI(MBB,
482           InsertBefore,
483           DL,
484           TII->get(TargetOpcode::INSERT_SUBREG), Out)
485     .addReg(DReg)
486     .addReg(ToInsert)
487     .addImm(Lane);
488 
489   return Out;
490 }
491 
492 unsigned
createImplicitDef(MachineBasicBlock & MBB,MachineBasicBlock::iterator InsertBefore,const DebugLoc & DL)493 A15SDOptimizer::createImplicitDef(MachineBasicBlock &MBB,
494                                   MachineBasicBlock::iterator InsertBefore,
495                                   const DebugLoc &DL) {
496   Register Out = MRI->createVirtualRegister(&ARM::DPRRegClass);
497   BuildMI(MBB,
498           InsertBefore,
499           DL,
500           TII->get(TargetOpcode::IMPLICIT_DEF), Out);
501   return Out;
502 }
503 
504 // This function inserts instructions in order to optimize interactions between
505 // SPR registers and DPR/QPR registers. It does so by performing VDUPs on all
506 // lanes, and the using VEXT instructions to recompose the result.
507 unsigned
optimizeAllLanesPattern(MachineInstr * MI,unsigned Reg)508 A15SDOptimizer::optimizeAllLanesPattern(MachineInstr *MI, unsigned Reg) {
509   MachineBasicBlock::iterator InsertPt(MI);
510   DebugLoc DL = MI->getDebugLoc();
511   MachineBasicBlock &MBB = *MI->getParent();
512   InsertPt++;
513   unsigned Out;
514 
515   // DPair has the same length as QPR and also has two DPRs as subreg.
516   // Treat DPair as QPR.
517   if (MRI->getRegClass(Reg)->hasSuperClassEq(&ARM::QPRRegClass) ||
518       MRI->getRegClass(Reg)->hasSuperClassEq(&ARM::DPairRegClass)) {
519     unsigned DSub0 = createExtractSubreg(MBB, InsertPt, DL, Reg,
520                                          ARM::dsub_0, &ARM::DPRRegClass);
521     unsigned DSub1 = createExtractSubreg(MBB, InsertPt, DL, Reg,
522                                          ARM::dsub_1, &ARM::DPRRegClass);
523 
524     unsigned Out1 = createDupLane(MBB, InsertPt, DL, DSub0, 0);
525     unsigned Out2 = createDupLane(MBB, InsertPt, DL, DSub0, 1);
526     Out = createVExt(MBB, InsertPt, DL, Out1, Out2);
527 
528     unsigned Out3 = createDupLane(MBB, InsertPt, DL, DSub1, 0);
529     unsigned Out4 = createDupLane(MBB, InsertPt, DL, DSub1, 1);
530     Out2 = createVExt(MBB, InsertPt, DL, Out3, Out4);
531 
532     Out = createRegSequence(MBB, InsertPt, DL, Out, Out2);
533 
534   } else if (MRI->getRegClass(Reg)->hasSuperClassEq(&ARM::DPRRegClass)) {
535     unsigned Out1 = createDupLane(MBB, InsertPt, DL, Reg, 0);
536     unsigned Out2 = createDupLane(MBB, InsertPt, DL, Reg, 1);
537     Out = createVExt(MBB, InsertPt, DL, Out1, Out2);
538 
539   } else {
540     assert(MRI->getRegClass(Reg)->hasSuperClassEq(&ARM::SPRRegClass) &&
541            "Found unexpected regclass!");
542 
543     unsigned PrefLane = getPrefSPRLane(Reg);
544     unsigned Lane;
545     switch (PrefLane) {
546       case ARM::ssub_0: Lane = 0; break;
547       case ARM::ssub_1: Lane = 1; break;
548       default: llvm_unreachable("Unknown preferred lane!");
549     }
550 
551     // Treat DPair as QPR
552     bool UsesQPR = usesRegClass(MI->getOperand(0), &ARM::QPRRegClass) ||
553                    usesRegClass(MI->getOperand(0), &ARM::DPairRegClass);
554 
555     Out = createImplicitDef(MBB, InsertPt, DL);
556     Out = createInsertSubreg(MBB, InsertPt, DL, Out, PrefLane, Reg);
557     Out = createDupLane(MBB, InsertPt, DL, Out, Lane, UsesQPR);
558     eraseInstrWithNoUses(MI);
559   }
560   return Out;
561 }
562 
runOnInstruction(MachineInstr * MI)563 bool A15SDOptimizer::runOnInstruction(MachineInstr *MI) {
564   // We look for instructions that write S registers that are then read as
565   // D/Q registers. These can only be caused by COPY, INSERT_SUBREG and
566   // REG_SEQUENCE pseudos that insert an SPR value into a DPR register or
567   // merge two SPR values to form a DPR register.  In order avoid false
568   // positives we make sure that there is an SPR producer so we look past
569   // COPY and PHI nodes to find it.
570   //
571   // The best code pattern for when an SPR producer is going to be used by a
572   // DPR or QPR consumer depends on whether the other lanes of the
573   // corresponding DPR/QPR are currently defined.
574   //
575   // We can handle these efficiently, depending on the type of
576   // pseudo-instruction that is producing the pattern
577   //
578   //   * COPY:          * VDUP all lanes and merge the results together
579   //                      using VEXTs.
580   //
581   //   * INSERT_SUBREG: * If the SPR value was originally in another DPR/QPR
582   //                      lane, and the other lane(s) of the DPR/QPR register
583   //                      that we are inserting in are undefined, use the
584   //                      original DPR/QPR value.
585   //                    * Otherwise, fall back on the same stategy as COPY.
586   //
587   //   * REG_SEQUENCE:  * If all except one of the input operands are
588   //                      IMPLICIT_DEFs, insert the VDUP pattern for just the
589   //                      defined input operand
590   //                    * Otherwise, fall back on the same stategy as COPY.
591   //
592 
593   // First, get all the reads of D-registers done by this instruction.
594   SmallVector<unsigned, 8> Defs = getReadDPRs(MI);
595   bool Modified = false;
596 
597   for (SmallVectorImpl<unsigned>::iterator I = Defs.begin(), E = Defs.end();
598      I != E; ++I) {
599     // Follow the def-use chain for this DPR through COPYs, and also through
600     // PHIs (which are essentially multi-way COPYs). It is because of PHIs that
601     // we can end up with multiple defs of this DPR.
602 
603     SmallVector<MachineInstr *, 8> DefSrcs;
604     if (!Register::isVirtualRegister(*I))
605       continue;
606     MachineInstr *Def = MRI->getVRegDef(*I);
607     if (!Def)
608       continue;
609 
610     elideCopiesAndPHIs(Def, DefSrcs);
611 
612     for (MachineInstr *MI : DefSrcs) {
613       // If we've already analyzed and replaced this operand, don't do
614       // anything.
615       if (Replacements.find(MI) != Replacements.end())
616         continue;
617 
618       // Now, work out if the instruction causes a SPR->DPR dependency.
619       if (!hasPartialWrite(MI))
620         continue;
621 
622       // Collect all the uses of this MI's DPR def for updating later.
623       SmallVector<MachineOperand*, 8> Uses;
624       Register DPRDefReg = MI->getOperand(0).getReg();
625       for (MachineRegisterInfo::use_iterator I = MRI->use_begin(DPRDefReg),
626              E = MRI->use_end(); I != E; ++I)
627         Uses.push_back(&*I);
628 
629       // We can optimize this.
630       unsigned NewReg = optimizeSDPattern(MI);
631 
632       if (NewReg != 0) {
633         Modified = true;
634         for (SmallVectorImpl<MachineOperand *>::const_iterator I = Uses.begin(),
635                E = Uses.end(); I != E; ++I) {
636           // Make sure to constrain the register class of the new register to
637           // match what we're replacing. Otherwise we can optimize a DPR_VFP2
638           // reference into a plain DPR, and that will end poorly. NewReg is
639           // always virtual here, so there will always be a matching subclass
640           // to find.
641           MRI->constrainRegClass(NewReg, MRI->getRegClass((*I)->getReg()));
642 
643           LLVM_DEBUG(dbgs() << "Replacing operand " << **I << " with "
644                             << printReg(NewReg) << "\n");
645           (*I)->substVirtReg(NewReg, 0, *TRI);
646         }
647       }
648       Replacements[MI] = NewReg;
649     }
650   }
651   return Modified;
652 }
653 
runOnMachineFunction(MachineFunction & Fn)654 bool A15SDOptimizer::runOnMachineFunction(MachineFunction &Fn) {
655   if (skipFunction(Fn.getFunction()))
656     return false;
657 
658   const ARMSubtarget &STI = Fn.getSubtarget<ARMSubtarget>();
659   // Since the A15SDOptimizer pass can insert VDUP instructions, it can only be
660   // enabled when NEON is available.
661   if (!(STI.useSplatVFPToNeon() && STI.hasNEON()))
662     return false;
663 
664   TII = STI.getInstrInfo();
665   TRI = STI.getRegisterInfo();
666   MRI = &Fn.getRegInfo();
667   bool Modified = false;
668 
669   LLVM_DEBUG(dbgs() << "Running on function " << Fn.getName() << "\n");
670 
671   DeadInstr.clear();
672   Replacements.clear();
673 
674   for (MachineBasicBlock &MBB : Fn) {
675     for (MachineInstr &MI : MBB) {
676       Modified |= runOnInstruction(&MI);
677     }
678   }
679 
680   for (MachineInstr *MI : DeadInstr) {
681     MI->eraseFromParent();
682   }
683 
684   return Modified;
685 }
686 
createA15SDOptimizerPass()687 FunctionPass *llvm::createA15SDOptimizerPass() {
688   return new A15SDOptimizer();
689 }
690