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 (Register::isVirtualRegister(Reg)) 139 return MRI->getRegClass(Reg)->hasSuperClassEq(TRC); 140 else 141 return TRC->contains(Reg); 142 } 143 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. 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. 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.pop_back_val(); 186 187 // MI is already known to be dead. We need to see 188 // if other instructions can also be removed. 189 for (MachineOperand &MO : MI->operands()) { 190 if ((!MO.isReg()) || (!MO.isUse())) 191 continue; 192 Register Reg = MO.getReg(); 193 if (!Register::isVirtualRegister(Reg)) 194 continue; 195 MachineOperand *Op = MI->findRegisterDefOperand(Reg); 196 197 if (!Op) 198 continue; 199 200 MachineInstr *Def = Op->getParent(); 201 202 // We don't need to do anything if we have already marked 203 // this instruction as being dead. 204 if (DeadInstr.find(Def) != DeadInstr.end()) 205 continue; 206 207 // Check if all the uses of this instruction are marked as 208 // dead. If so, we can also mark this instruction as being 209 // dead. 210 bool IsDead = true; 211 for (MachineOperand &MODef : Def->operands()) { 212 if ((!MODef.isReg()) || (!MODef.isDef())) 213 continue; 214 Register DefReg = MODef.getReg(); 215 if (!Register::isVirtualRegister(DefReg)) { 216 IsDead = false; 217 break; 218 } 219 for (MachineInstr &Use : MRI->use_instructions(Reg)) { 220 // We don't care about self references. 221 if (&Use == Def) 222 continue; 223 if (DeadInstr.find(&Use) == DeadInstr.end()) { 224 IsDead = false; 225 break; 226 } 227 } 228 } 229 230 if (!IsDead) continue; 231 232 LLVM_DEBUG(dbgs() << "Deleting instruction " << *Def << "\n"); 233 DeadInstr.insert(Def); 234 } 235 } 236 } 237 238 // Creates the more optimized patterns and generally does all the code 239 // transformations in this pass. 240 unsigned A15SDOptimizer::optimizeSDPattern(MachineInstr *MI) { 241 if (MI->isCopy()) { 242 return optimizeAllLanesPattern(MI, MI->getOperand(1).getReg()); 243 } 244 245 if (MI->isInsertSubreg()) { 246 Register DPRReg = MI->getOperand(1).getReg(); 247 Register SPRReg = MI->getOperand(2).getReg(); 248 249 if (Register::isVirtualRegister(DPRReg) && Register::isVirtualRegister(SPRReg)) { 250 MachineInstr *DPRMI = MRI->getVRegDef(MI->getOperand(1).getReg()); 251 MachineInstr *SPRMI = MRI->getVRegDef(MI->getOperand(2).getReg()); 252 253 if (DPRMI && SPRMI) { 254 // See if the first operand of this insert_subreg is IMPLICIT_DEF 255 MachineInstr *ECDef = elideCopies(DPRMI); 256 if (ECDef && ECDef->isImplicitDef()) { 257 // Another corner case - if we're inserting something that is purely 258 // a subreg copy of a DPR, just use that DPR. 259 260 MachineInstr *EC = elideCopies(SPRMI); 261 // Is it a subreg copy of ssub_0? 262 if (EC && EC->isCopy() && 263 EC->getOperand(1).getSubReg() == ARM::ssub_0) { 264 LLVM_DEBUG(dbgs() << "Found a subreg copy: " << *SPRMI); 265 266 // Find the thing we're subreg copying out of - is it of the same 267 // regclass as DPRMI? (i.e. a DPR or QPR). 268 Register FullReg = SPRMI->getOperand(1).getReg(); 269 const TargetRegisterClass *TRC = 270 MRI->getRegClass(MI->getOperand(1).getReg()); 271 if (TRC->hasSuperClassEq(MRI->getRegClass(FullReg))) { 272 LLVM_DEBUG(dbgs() << "Subreg copy is compatible - returning "); 273 LLVM_DEBUG(dbgs() << printReg(FullReg) << "\n"); 274 eraseInstrWithNoUses(MI); 275 return FullReg; 276 } 277 } 278 279 return optimizeAllLanesPattern(MI, MI->getOperand(2).getReg()); 280 } 281 } 282 } 283 return optimizeAllLanesPattern(MI, MI->getOperand(0).getReg()); 284 } 285 286 if (MI->isRegSequence() && usesRegClass(MI->getOperand(1), 287 &ARM::SPRRegClass)) { 288 // See if all bar one of the operands are IMPLICIT_DEF and insert the 289 // optimizer pattern accordingly. 290 unsigned NumImplicit = 0, NumTotal = 0; 291 unsigned NonImplicitReg = ~0U; 292 293 for (unsigned I = 1; I < MI->getNumExplicitOperands(); ++I) { 294 if (!MI->getOperand(I).isReg()) 295 continue; 296 ++NumTotal; 297 Register OpReg = MI->getOperand(I).getReg(); 298 299 if (!Register::isVirtualRegister(OpReg)) 300 break; 301 302 MachineInstr *Def = MRI->getVRegDef(OpReg); 303 if (!Def) 304 break; 305 if (Def->isImplicitDef()) 306 ++NumImplicit; 307 else 308 NonImplicitReg = MI->getOperand(I).getReg(); 309 } 310 311 if (NumImplicit == NumTotal - 1) 312 return optimizeAllLanesPattern(MI, NonImplicitReg); 313 else 314 return optimizeAllLanesPattern(MI, MI->getOperand(0).getReg()); 315 } 316 317 llvm_unreachable("Unhandled update pattern!"); 318 } 319 320 // Return true if this MachineInstr inserts a scalar (SPR) value into 321 // a D or Q register. 322 bool A15SDOptimizer::hasPartialWrite(MachineInstr *MI) { 323 // The only way we can do a partial register update is through a COPY, 324 // INSERT_SUBREG or REG_SEQUENCE. 325 if (MI->isCopy() && usesRegClass(MI->getOperand(1), &ARM::SPRRegClass)) 326 return true; 327 328 if (MI->isInsertSubreg() && usesRegClass(MI->getOperand(2), 329 &ARM::SPRRegClass)) 330 return true; 331 332 if (MI->isRegSequence() && usesRegClass(MI->getOperand(1), &ARM::SPRRegClass)) 333 return true; 334 335 return false; 336 } 337 338 // Looks through full copies to get the instruction that defines the input 339 // operand for MI. 340 MachineInstr *A15SDOptimizer::elideCopies(MachineInstr *MI) { 341 if (!MI->isFullCopy()) 342 return MI; 343 if (!Register::isVirtualRegister(MI->getOperand(1).getReg())) 344 return nullptr; 345 MachineInstr *Def = MRI->getVRegDef(MI->getOperand(1).getReg()); 346 if (!Def) 347 return nullptr; 348 return elideCopies(Def); 349 } 350 351 // Look through full copies and PHIs to get the set of non-copy MachineInstrs 352 // that can produce MI. 353 void A15SDOptimizer::elideCopiesAndPHIs(MachineInstr *MI, 354 SmallVectorImpl<MachineInstr*> &Outs) { 355 // Looking through PHIs may create loops so we need to track what 356 // instructions we have visited before. 357 std::set<MachineInstr *> Reached; 358 SmallVector<MachineInstr *, 8> Front; 359 Front.push_back(MI); 360 while (Front.size() != 0) { 361 MI = Front.pop_back_val(); 362 363 // If we have already explored this MachineInstr, ignore it. 364 if (Reached.find(MI) != Reached.end()) 365 continue; 366 Reached.insert(MI); 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 (!Register::isVirtualRegister(Reg)) { 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 (!Register::isVirtualRegister(MI->getOperand(1).getReg())) 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