xref: /llvm-project/llvm/lib/Target/ARM/A15SDOptimizer.cpp (revision 9d9c5619a5156a5be6ee5e5fd45924b26a85626e)
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;
50     A15SDOptimizer() : MachineFunctionPass(ID) {}
51 
52     bool runOnMachineFunction(MachineFunction &Fn) override;
53 
54     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.
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 (Reg.isVirtual())
139     return MRI->getRegClass(Reg)->hasSuperClassEq(TRC);
140   else
141     return TRC->contains(Reg);
142 }
143 
144 unsigned A15SDOptimizer::getDPRLaneFromSPR(unsigned SReg) {
145   MCRegister DReg =
146       TRI->getMatchingSuperReg(SReg, ARM::ssub_1, &ARM::DPRRegClass);
147   if (DReg)
148     return ARM::ssub_1;
149   return ARM::ssub_0;
150 }
151 
152 // Get the subreg type that is most likely to be coalesced
153 // for an SPR register that will be used in VDUP32d pseudo.
154 unsigned A15SDOptimizer::getPrefSPRLane(unsigned SReg) {
155   if (!Register::isVirtualRegister(SReg))
156     return getDPRLaneFromSPR(SReg);
157 
158   MachineInstr *MI = MRI->getVRegDef(SReg);
159   if (!MI) return ARM::ssub_0;
160   MachineOperand *MO = MI->findRegisterDefOperand(SReg, /*TRI=*/nullptr);
161   if (!MO) return ARM::ssub_0;
162   assert(MO->isReg() && "Non-register operand found!");
163 
164   if (MI->isCopy() && usesRegClass(MI->getOperand(1),
165                                     &ARM::SPRRegClass)) {
166     SReg = MI->getOperand(1).getReg();
167   }
168 
169   if (Register::isVirtualRegister(SReg)) {
170     if (MO->getSubReg() == ARM::ssub_1) return ARM::ssub_1;
171     return ARM::ssub_0;
172   }
173   return getDPRLaneFromSPR(SReg);
174 }
175 
176 // MI is known to be dead. Figure out what instructions
177 // are also made dead by this and mark them for removal.
178 void A15SDOptimizer::eraseInstrWithNoUses(MachineInstr *MI) {
179   SmallVector<MachineInstr *, 8> Front;
180   DeadInstr.insert(MI);
181 
182   LLVM_DEBUG(dbgs() << "Deleting base instruction " << *MI << "\n");
183   Front.push_back(MI);
184 
185   while (Front.size() != 0) {
186     MI = Front.pop_back_val();
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 (!Reg.isVirtual())
195         continue;
196       MachineOperand *Op = MI->findRegisterDefOperand(Reg, /*TRI=*/nullptr);
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 (!DefReg.isVirtual()) {
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.
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 (DPRReg.isVirtual() && SPRReg.isVirtual()) {
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 (MachineOperand &MO : llvm::drop_begin(MI->explicit_operands())) {
295       if (!MO.isReg())
296         continue;
297       ++NumTotal;
298       Register OpReg = MO.getReg();
299 
300       if (!OpReg.isVirtual())
301         break;
302 
303       MachineInstr *Def = MRI->getVRegDef(OpReg);
304       if (!Def)
305         break;
306       if (Def->isImplicitDef())
307         ++NumImplicit;
308       else
309         NonImplicitReg = MO.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.
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.
341 MachineInstr *A15SDOptimizer::elideCopies(MachineInstr *MI) {
342   if (!MI->isFullCopy())
343     return MI;
344   if (!MI->getOperand(1).getReg().isVirtual())
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.
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.pop_back_val();
363 
364      // If we have already explored this MachineInstr, ignore it.
365      if (!Reached.insert(MI).second)
366        continue;
367      if (MI->isPHI()) {
368        for (unsigned I = 1, E = MI->getNumOperands(); I != E; I += 2) {
369          Register Reg = MI->getOperand(I).getReg();
370          if (!Reg.isVirtual()) {
371            continue;
372          }
373          MachineInstr *NewMI = MRI->getVRegDef(Reg);
374          if (!NewMI)
375            continue;
376          Front.push_back(NewMI);
377        }
378      } else if (MI->isFullCopy()) {
379        if (!MI->getOperand(1).getReg().isVirtual())
380          continue;
381        MachineInstr *NewMI = MRI->getVRegDef(MI->getOperand(1).getReg());
382        if (!NewMI)
383          continue;
384        Front.push_back(NewMI);
385      } else {
386        LLVM_DEBUG(dbgs() << "Found partial copy" << *MI << "\n");
387        Outs.push_back(MI);
388      }
389    }
390 }
391 
392 // Return the DPR virtual registers that are read by this machine instruction
393 // (if any).
394 SmallVector<unsigned, 8> A15SDOptimizer::getReadDPRs(MachineInstr *MI) {
395   if (MI->isCopyLike() || MI->isInsertSubreg() || MI->isRegSequence() ||
396       MI->isKill())
397     return SmallVector<unsigned, 8>();
398 
399   SmallVector<unsigned, 8> Defs;
400   for (MachineOperand &MO : MI->operands()) {
401     if (!MO.isReg() || !MO.isUse())
402       continue;
403     if (!usesRegClass(MO, &ARM::DPRRegClass) &&
404         !usesRegClass(MO, &ARM::QPRRegClass) &&
405         !usesRegClass(MO, &ARM::DPairRegClass)) // Treat DPair as QPR
406       continue;
407 
408     Defs.push_back(MO.getReg());
409   }
410   return Defs;
411 }
412 
413 // Creates a DPR register from an SPR one by using a VDUP.
414 unsigned A15SDOptimizer::createDupLane(MachineBasicBlock &MBB,
415                                        MachineBasicBlock::iterator InsertBefore,
416                                        const DebugLoc &DL, unsigned Reg,
417                                        unsigned Lane, bool QPR) {
418   Register Out =
419       MRI->createVirtualRegister(QPR ? &ARM::QPRRegClass : &ARM::DPRRegClass);
420   BuildMI(MBB, InsertBefore, DL,
421           TII->get(QPR ? ARM::VDUPLN32q : ARM::VDUPLN32d), Out)
422       .addReg(Reg)
423       .addImm(Lane)
424       .add(predOps(ARMCC::AL));
425 
426   return Out;
427 }
428 
429 // Creates a SPR register from a DPR by copying the value in lane 0.
430 unsigned A15SDOptimizer::createExtractSubreg(
431     MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertBefore,
432     const DebugLoc &DL, unsigned DReg, unsigned Lane,
433     const TargetRegisterClass *TRC) {
434   Register Out = MRI->createVirtualRegister(TRC);
435   BuildMI(MBB,
436           InsertBefore,
437           DL,
438           TII->get(TargetOpcode::COPY), Out)
439     .addReg(DReg, 0, Lane);
440 
441   return Out;
442 }
443 
444 // Takes two SPR registers and creates a DPR by using a REG_SEQUENCE.
445 unsigned A15SDOptimizer::createRegSequence(
446     MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertBefore,
447     const DebugLoc &DL, unsigned Reg1, unsigned Reg2) {
448   Register Out = MRI->createVirtualRegister(&ARM::QPRRegClass);
449   BuildMI(MBB,
450           InsertBefore,
451           DL,
452           TII->get(TargetOpcode::REG_SEQUENCE), Out)
453     .addReg(Reg1)
454     .addImm(ARM::dsub_0)
455     .addReg(Reg2)
456     .addImm(ARM::dsub_1);
457   return Out;
458 }
459 
460 // Takes two DPR registers that have previously been VDUPed (Ssub0 and Ssub1)
461 // and merges them into one DPR register.
462 unsigned A15SDOptimizer::createVExt(MachineBasicBlock &MBB,
463                                     MachineBasicBlock::iterator InsertBefore,
464                                     const DebugLoc &DL, unsigned Ssub0,
465                                     unsigned Ssub1) {
466   Register Out = MRI->createVirtualRegister(&ARM::DPRRegClass);
467   BuildMI(MBB, InsertBefore, DL, TII->get(ARM::VEXTd32), Out)
468       .addReg(Ssub0)
469       .addReg(Ssub1)
470       .addImm(1)
471       .add(predOps(ARMCC::AL));
472   return Out;
473 }
474 
475 unsigned A15SDOptimizer::createInsertSubreg(
476     MachineBasicBlock &MBB, MachineBasicBlock::iterator InsertBefore,
477     const DebugLoc &DL, unsigned DReg, unsigned Lane, unsigned ToInsert) {
478   Register Out = MRI->createVirtualRegister(&ARM::DPR_VFP2RegClass);
479   BuildMI(MBB,
480           InsertBefore,
481           DL,
482           TII->get(TargetOpcode::INSERT_SUBREG), Out)
483     .addReg(DReg)
484     .addReg(ToInsert)
485     .addImm(Lane);
486 
487   return Out;
488 }
489 
490 unsigned
491 A15SDOptimizer::createImplicitDef(MachineBasicBlock &MBB,
492                                   MachineBasicBlock::iterator InsertBefore,
493                                   const DebugLoc &DL) {
494   Register Out = MRI->createVirtualRegister(&ARM::DPRRegClass);
495   BuildMI(MBB,
496           InsertBefore,
497           DL,
498           TII->get(TargetOpcode::IMPLICIT_DEF), Out);
499   return Out;
500 }
501 
502 // This function inserts instructions in order to optimize interactions between
503 // SPR registers and DPR/QPR registers. It does so by performing VDUPs on all
504 // lanes, and the using VEXT instructions to recompose the result.
505 unsigned
506 A15SDOptimizer::optimizeAllLanesPattern(MachineInstr *MI, unsigned Reg) {
507   MachineBasicBlock::iterator InsertPt(MI);
508   DebugLoc DL = MI->getDebugLoc();
509   MachineBasicBlock &MBB = *MI->getParent();
510   InsertPt++;
511   unsigned Out;
512 
513   // DPair has the same length as QPR and also has two DPRs as subreg.
514   // Treat DPair as QPR.
515   if (MRI->getRegClass(Reg)->hasSuperClassEq(&ARM::QPRRegClass) ||
516       MRI->getRegClass(Reg)->hasSuperClassEq(&ARM::DPairRegClass)) {
517     unsigned DSub0 = createExtractSubreg(MBB, InsertPt, DL, Reg,
518                                          ARM::dsub_0, &ARM::DPRRegClass);
519     unsigned DSub1 = createExtractSubreg(MBB, InsertPt, DL, Reg,
520                                          ARM::dsub_1, &ARM::DPRRegClass);
521 
522     unsigned Out1 = createDupLane(MBB, InsertPt, DL, DSub0, 0);
523     unsigned Out2 = createDupLane(MBB, InsertPt, DL, DSub0, 1);
524     Out = createVExt(MBB, InsertPt, DL, Out1, Out2);
525 
526     unsigned Out3 = createDupLane(MBB, InsertPt, DL, DSub1, 0);
527     unsigned Out4 = createDupLane(MBB, InsertPt, DL, DSub1, 1);
528     Out2 = createVExt(MBB, InsertPt, DL, Out3, Out4);
529 
530     Out = createRegSequence(MBB, InsertPt, DL, Out, Out2);
531 
532   } else if (MRI->getRegClass(Reg)->hasSuperClassEq(&ARM::DPRRegClass)) {
533     unsigned Out1 = createDupLane(MBB, InsertPt, DL, Reg, 0);
534     unsigned Out2 = createDupLane(MBB, InsertPt, DL, Reg, 1);
535     Out = createVExt(MBB, InsertPt, DL, Out1, Out2);
536 
537   } else {
538     assert(MRI->getRegClass(Reg)->hasSuperClassEq(&ARM::SPRRegClass) &&
539            "Found unexpected regclass!");
540 
541     unsigned PrefLane = getPrefSPRLane(Reg);
542     unsigned Lane;
543     switch (PrefLane) {
544       case ARM::ssub_0: Lane = 0; break;
545       case ARM::ssub_1: Lane = 1; break;
546       default: llvm_unreachable("Unknown preferred lane!");
547     }
548 
549     // Treat DPair as QPR
550     bool UsesQPR = usesRegClass(MI->getOperand(0), &ARM::QPRRegClass) ||
551                    usesRegClass(MI->getOperand(0), &ARM::DPairRegClass);
552 
553     Out = createImplicitDef(MBB, InsertPt, DL);
554     Out = createInsertSubreg(MBB, InsertPt, DL, Out, PrefLane, Reg);
555     Out = createDupLane(MBB, InsertPt, DL, Out, Lane, UsesQPR);
556     eraseInstrWithNoUses(MI);
557   }
558   return Out;
559 }
560 
561 bool A15SDOptimizer::runOnInstruction(MachineInstr *MI) {
562   // We look for instructions that write S registers that are then read as
563   // D/Q registers. These can only be caused by COPY, INSERT_SUBREG and
564   // REG_SEQUENCE pseudos that insert an SPR value into a DPR register or
565   // merge two SPR values to form a DPR register.  In order avoid false
566   // positives we make sure that there is an SPR producer so we look past
567   // COPY and PHI nodes to find it.
568   //
569   // The best code pattern for when an SPR producer is going to be used by a
570   // DPR or QPR consumer depends on whether the other lanes of the
571   // corresponding DPR/QPR are currently defined.
572   //
573   // We can handle these efficiently, depending on the type of
574   // pseudo-instruction that is producing the pattern
575   //
576   //   * COPY:          * VDUP all lanes and merge the results together
577   //                      using VEXTs.
578   //
579   //   * INSERT_SUBREG: * If the SPR value was originally in another DPR/QPR
580   //                      lane, and the other lane(s) of the DPR/QPR register
581   //                      that we are inserting in are undefined, use the
582   //                      original DPR/QPR value.
583   //                    * Otherwise, fall back on the same stategy as COPY.
584   //
585   //   * REG_SEQUENCE:  * If all except one of the input operands are
586   //                      IMPLICIT_DEFs, insert the VDUP pattern for just the
587   //                      defined input operand
588   //                    * Otherwise, fall back on the same stategy as COPY.
589   //
590 
591   // First, get all the reads of D-registers done by this instruction.
592   SmallVector<unsigned, 8> Defs = getReadDPRs(MI);
593   bool Modified = false;
594 
595   for (unsigned I : Defs) {
596     // Follow the def-use chain for this DPR through COPYs, and also through
597     // PHIs (which are essentially multi-way COPYs). It is because of PHIs that
598     // we can end up with multiple defs of this DPR.
599 
600     SmallVector<MachineInstr *, 8> DefSrcs;
601     if (!Register::isVirtualRegister(I))
602       continue;
603     MachineInstr *Def = MRI->getVRegDef(I);
604     if (!Def)
605       continue;
606 
607     elideCopiesAndPHIs(Def, DefSrcs);
608 
609     for (MachineInstr *MI : DefSrcs) {
610       // If we've already analyzed and replaced this operand, don't do
611       // anything.
612       if (Replacements.find(MI) != Replacements.end())
613         continue;
614 
615       // Now, work out if the instruction causes a SPR->DPR dependency.
616       if (!hasPartialWrite(MI))
617         continue;
618 
619       // Collect all the uses of this MI's DPR def for updating later.
620       SmallVector<MachineOperand*, 8> Uses;
621       Register DPRDefReg = MI->getOperand(0).getReg();
622       for (MachineOperand &MO : MRI->use_operands(DPRDefReg))
623         Uses.push_back(&MO);
624 
625       // We can optimize this.
626       unsigned NewReg = optimizeSDPattern(MI);
627 
628       if (NewReg != 0) {
629         Modified = true;
630         for (MachineOperand *Use : Uses) {
631           // Make sure to constrain the register class of the new register to
632           // match what we're replacing. Otherwise we can optimize a DPR_VFP2
633           // reference into a plain DPR, and that will end poorly. NewReg is
634           // always virtual here, so there will always be a matching subclass
635           // to find.
636           MRI->constrainRegClass(NewReg, MRI->getRegClass(Use->getReg()));
637 
638           LLVM_DEBUG(dbgs() << "Replacing operand " << *Use << " with "
639                             << printReg(NewReg) << "\n");
640           Use->substVirtReg(NewReg, 0, *TRI);
641         }
642       }
643       Replacements[MI] = NewReg;
644     }
645   }
646   return Modified;
647 }
648 
649 bool A15SDOptimizer::runOnMachineFunction(MachineFunction &Fn) {
650   if (skipFunction(Fn.getFunction()))
651     return false;
652 
653   const ARMSubtarget &STI = Fn.getSubtarget<ARMSubtarget>();
654   // Since the A15SDOptimizer pass can insert VDUP instructions, it can only be
655   // enabled when NEON is available.
656   if (!(STI.useSplatVFPToNeon() && STI.hasNEON()))
657     return false;
658 
659   TII = STI.getInstrInfo();
660   TRI = STI.getRegisterInfo();
661   MRI = &Fn.getRegInfo();
662   bool Modified = false;
663 
664   LLVM_DEBUG(dbgs() << "Running on function " << Fn.getName() << "\n");
665 
666   DeadInstr.clear();
667   Replacements.clear();
668 
669   for (MachineBasicBlock &MBB : Fn) {
670     for (MachineInstr &MI : MBB) {
671       Modified |= runOnInstruction(&MI);
672     }
673   }
674 
675   for (MachineInstr *MI : DeadInstr) {
676     MI->eraseFromParent();
677   }
678 
679   return Modified;
680 }
681 
682 FunctionPass *llvm::createA15SDOptimizerPass() {
683   return new A15SDOptimizer();
684 }
685