xref: /freebsd/contrib/llvm-project/llvm/lib/Target/X86/X86DomainReassignment.cpp (revision 700637cbb5e582861067a11aaca4d053546871d2)
1 //===--- X86DomainReassignment.cpp - Selectively switch register classes---===//
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 // This pass attempts to find instruction chains (closures) in one domain,
10 // and convert them to equivalent instructions in a different domain,
11 // if profitable.
12 //
13 //===----------------------------------------------------------------------===//
14 
15 #include "X86.h"
16 #include "X86InstrInfo.h"
17 #include "X86Subtarget.h"
18 #include "llvm/ADT/DenseMap.h"
19 #include "llvm/ADT/STLExtras.h"
20 #include "llvm/ADT/SmallVector.h"
21 #include "llvm/ADT/Statistic.h"
22 #include "llvm/CodeGen/MachineFunctionPass.h"
23 #include "llvm/CodeGen/MachineInstrBuilder.h"
24 #include "llvm/CodeGen/MachineRegisterInfo.h"
25 #include "llvm/CodeGen/TargetRegisterInfo.h"
26 #include "llvm/Support/Debug.h"
27 #include "llvm/Support/Printable.h"
28 #include <bitset>
29 
30 using namespace llvm;
31 
32 #define DEBUG_TYPE "x86-domain-reassignment"
33 
34 STATISTIC(NumClosuresConverted, "Number of closures converted by the pass");
35 
36 static cl::opt<bool> DisableX86DomainReassignment(
37     "disable-x86-domain-reassignment", cl::Hidden,
38     cl::desc("X86: Disable Virtual Register Reassignment."), cl::init(false));
39 
40 namespace {
41 enum RegDomain { NoDomain = -1, GPRDomain, MaskDomain, OtherDomain, NumDomains };
42 
isMask(const TargetRegisterClass * RC,const TargetRegisterInfo * TRI)43 static bool isMask(const TargetRegisterClass *RC,
44                    const TargetRegisterInfo *TRI) {
45   return X86::VK16RegClass.hasSubClassEq(RC);
46 }
47 
getDomain(const TargetRegisterClass * RC,const TargetRegisterInfo * TRI)48 static RegDomain getDomain(const TargetRegisterClass *RC,
49                            const TargetRegisterInfo *TRI) {
50   if (TRI->isGeneralPurposeRegisterClass(RC))
51     return GPRDomain;
52   if (isMask(RC, TRI))
53     return MaskDomain;
54   return OtherDomain;
55 }
56 
57 /// Return a register class equivalent to \p SrcRC, in \p Domain.
getDstRC(const TargetRegisterClass * SrcRC,RegDomain Domain)58 static const TargetRegisterClass *getDstRC(const TargetRegisterClass *SrcRC,
59                                            RegDomain Domain) {
60   assert(Domain == MaskDomain && "add domain");
61   if (X86::GR8RegClass.hasSubClassEq(SrcRC))
62     return &X86::VK8RegClass;
63   if (X86::GR16RegClass.hasSubClassEq(SrcRC))
64     return &X86::VK16RegClass;
65   if (X86::GR32RegClass.hasSubClassEq(SrcRC))
66     return &X86::VK32RegClass;
67   if (X86::GR64RegClass.hasSubClassEq(SrcRC))
68     return &X86::VK64RegClass;
69   llvm_unreachable("add register class");
70   return nullptr;
71 }
72 
73 /// Abstract Instruction Converter class.
74 class InstrConverterBase {
75 protected:
76   unsigned SrcOpcode;
77 
78 public:
InstrConverterBase(unsigned SrcOpcode)79   InstrConverterBase(unsigned SrcOpcode) : SrcOpcode(SrcOpcode) {}
80 
81   virtual ~InstrConverterBase() = default;
82 
83   /// \returns true if \p MI is legal to convert.
isLegal(const MachineInstr * MI,const TargetInstrInfo * TII) const84   virtual bool isLegal(const MachineInstr *MI,
85                        const TargetInstrInfo *TII) const {
86     assert(MI->getOpcode() == SrcOpcode &&
87            "Wrong instruction passed to converter");
88     return true;
89   }
90 
91   /// Applies conversion to \p MI.
92   ///
93   /// \returns true if \p MI is no longer need, and can be deleted.
94   virtual bool convertInstr(MachineInstr *MI, const TargetInstrInfo *TII,
95                             MachineRegisterInfo *MRI) const = 0;
96 
97   /// \returns the cost increment incurred by converting \p MI.
98   virtual double getExtraCost(const MachineInstr *MI,
99                               MachineRegisterInfo *MRI) const = 0;
100 };
101 
102 /// An Instruction Converter which ignores the given instruction.
103 /// For example, PHI instructions can be safely ignored since only the registers
104 /// need to change.
105 class InstrIgnore : public InstrConverterBase {
106 public:
InstrIgnore(unsigned SrcOpcode)107   InstrIgnore(unsigned SrcOpcode) : InstrConverterBase(SrcOpcode) {}
108 
convertInstr(MachineInstr * MI,const TargetInstrInfo * TII,MachineRegisterInfo * MRI) const109   bool convertInstr(MachineInstr *MI, const TargetInstrInfo *TII,
110                     MachineRegisterInfo *MRI) const override {
111     assert(isLegal(MI, TII) && "Cannot convert instruction");
112     return false;
113   }
114 
getExtraCost(const MachineInstr * MI,MachineRegisterInfo * MRI) const115   double getExtraCost(const MachineInstr *MI,
116                       MachineRegisterInfo *MRI) const override {
117     return 0;
118   }
119 };
120 
121 /// An Instruction Converter which replaces an instruction with another.
122 class InstrReplacer : public InstrConverterBase {
123 public:
124   /// Opcode of the destination instruction.
125   unsigned DstOpcode;
126 
InstrReplacer(unsigned SrcOpcode,unsigned DstOpcode)127   InstrReplacer(unsigned SrcOpcode, unsigned DstOpcode)
128       : InstrConverterBase(SrcOpcode), DstOpcode(DstOpcode) {}
129 
isLegal(const MachineInstr * MI,const TargetInstrInfo * TII) const130   bool isLegal(const MachineInstr *MI,
131                const TargetInstrInfo *TII) const override {
132     if (!InstrConverterBase::isLegal(MI, TII))
133       return false;
134     // It's illegal to replace an instruction that implicitly defines a register
135     // with an instruction that doesn't, unless that register dead.
136     for (const auto &MO : MI->implicit_operands())
137       if (MO.isReg() && MO.isDef() && !MO.isDead() &&
138           !TII->get(DstOpcode).hasImplicitDefOfPhysReg(MO.getReg()))
139         return false;
140     return true;
141   }
142 
convertInstr(MachineInstr * MI,const TargetInstrInfo * TII,MachineRegisterInfo * MRI) const143   bool convertInstr(MachineInstr *MI, const TargetInstrInfo *TII,
144                     MachineRegisterInfo *MRI) const override {
145     assert(isLegal(MI, TII) && "Cannot convert instruction");
146     MachineInstrBuilder Bld =
147         BuildMI(*MI->getParent(), MI, MI->getDebugLoc(), TII->get(DstOpcode));
148     // Transfer explicit operands from original instruction. Implicit operands
149     // are handled by BuildMI.
150     for (auto &Op : MI->explicit_operands())
151       Bld.add(Op);
152     return true;
153   }
154 
getExtraCost(const MachineInstr * MI,MachineRegisterInfo * MRI) const155   double getExtraCost(const MachineInstr *MI,
156                       MachineRegisterInfo *MRI) const override {
157     // Assuming instructions have the same cost.
158     return 0;
159   }
160 };
161 
162 /// An Instruction Converter which replaces an instruction with another, and
163 /// adds a COPY from the new instruction's destination to the old one's.
164 class InstrReplacerDstCOPY : public InstrConverterBase {
165 public:
166   unsigned DstOpcode;
167 
InstrReplacerDstCOPY(unsigned SrcOpcode,unsigned DstOpcode)168   InstrReplacerDstCOPY(unsigned SrcOpcode, unsigned DstOpcode)
169       : InstrConverterBase(SrcOpcode), DstOpcode(DstOpcode) {}
170 
convertInstr(MachineInstr * MI,const TargetInstrInfo * TII,MachineRegisterInfo * MRI) const171   bool convertInstr(MachineInstr *MI, const TargetInstrInfo *TII,
172                     MachineRegisterInfo *MRI) const override {
173     assert(isLegal(MI, TII) && "Cannot convert instruction");
174     MachineBasicBlock *MBB = MI->getParent();
175     const DebugLoc &DL = MI->getDebugLoc();
176 
177     Register Reg = MRI->createVirtualRegister(
178         TII->getRegClass(TII->get(DstOpcode), 0, MRI->getTargetRegisterInfo(),
179                          *MBB->getParent()));
180     MachineInstrBuilder Bld = BuildMI(*MBB, MI, DL, TII->get(DstOpcode), Reg);
181     for (const MachineOperand &MO : llvm::drop_begin(MI->operands()))
182       Bld.add(MO);
183 
184     BuildMI(*MBB, MI, DL, TII->get(TargetOpcode::COPY))
185         .add(MI->getOperand(0))
186         .addReg(Reg);
187 
188     return true;
189   }
190 
getExtraCost(const MachineInstr * MI,MachineRegisterInfo * MRI) const191   double getExtraCost(const MachineInstr *MI,
192                       MachineRegisterInfo *MRI) const override {
193     // Assuming instructions have the same cost, and that COPY is in the same
194     // domain so it will be eliminated.
195     return 0;
196   }
197 };
198 
199 /// An Instruction Converter for replacing COPY instructions.
200 class InstrCOPYReplacer : public InstrReplacer {
201 public:
202   RegDomain DstDomain;
203 
InstrCOPYReplacer(unsigned SrcOpcode,RegDomain DstDomain,unsigned DstOpcode)204   InstrCOPYReplacer(unsigned SrcOpcode, RegDomain DstDomain, unsigned DstOpcode)
205       : InstrReplacer(SrcOpcode, DstOpcode), DstDomain(DstDomain) {}
206 
isLegal(const MachineInstr * MI,const TargetInstrInfo * TII) const207   bool isLegal(const MachineInstr *MI,
208                const TargetInstrInfo *TII) const override {
209     if (!InstrConverterBase::isLegal(MI, TII))
210       return false;
211 
212     // Don't allow copies to/flow GR8/GR16 physical registers.
213     // FIXME: Is there some better way to support this?
214     Register DstReg = MI->getOperand(0).getReg();
215     if (DstReg.isPhysical() && (X86::GR8RegClass.contains(DstReg) ||
216                                 X86::GR16RegClass.contains(DstReg)))
217       return false;
218     Register SrcReg = MI->getOperand(1).getReg();
219     if (SrcReg.isPhysical() && (X86::GR8RegClass.contains(SrcReg) ||
220                                 X86::GR16RegClass.contains(SrcReg)))
221       return false;
222 
223     return true;
224   }
225 
getExtraCost(const MachineInstr * MI,MachineRegisterInfo * MRI) const226   double getExtraCost(const MachineInstr *MI,
227                       MachineRegisterInfo *MRI) const override {
228     assert(MI->getOpcode() == TargetOpcode::COPY && "Expected a COPY");
229 
230     for (const auto &MO : MI->operands()) {
231       // Physical registers will not be converted. Assume that converting the
232       // COPY to the destination domain will eventually result in a actual
233       // instruction.
234       if (MO.getReg().isPhysical())
235         return 1;
236 
237       RegDomain OpDomain = getDomain(MRI->getRegClass(MO.getReg()),
238                                      MRI->getTargetRegisterInfo());
239       // Converting a cross domain COPY to a same domain COPY should eliminate
240       // an insturction
241       if (OpDomain == DstDomain)
242         return -1;
243     }
244     return 0;
245   }
246 };
247 
248 /// An Instruction Converter which replaces an instruction with a COPY.
249 class InstrReplaceWithCopy : public InstrConverterBase {
250 public:
251   // Source instruction operand Index, to be used as the COPY source.
252   unsigned SrcOpIdx;
253 
InstrReplaceWithCopy(unsigned SrcOpcode,unsigned SrcOpIdx)254   InstrReplaceWithCopy(unsigned SrcOpcode, unsigned SrcOpIdx)
255       : InstrConverterBase(SrcOpcode), SrcOpIdx(SrcOpIdx) {}
256 
convertInstr(MachineInstr * MI,const TargetInstrInfo * TII,MachineRegisterInfo * MRI) const257   bool convertInstr(MachineInstr *MI, const TargetInstrInfo *TII,
258                     MachineRegisterInfo *MRI) const override {
259     assert(isLegal(MI, TII) && "Cannot convert instruction");
260     BuildMI(*MI->getParent(), MI, MI->getDebugLoc(),
261             TII->get(TargetOpcode::COPY))
262         .add({MI->getOperand(0), MI->getOperand(SrcOpIdx)});
263     return true;
264   }
265 
getExtraCost(const MachineInstr * MI,MachineRegisterInfo * MRI) const266   double getExtraCost(const MachineInstr *MI,
267                       MachineRegisterInfo *MRI) const override {
268     return 0;
269   }
270 };
271 
272 // Key type to be used by the Instruction Converters map.
273 // A converter is identified by <destination domain, source opcode>
274 typedef std::pair<int, unsigned> InstrConverterBaseKeyTy;
275 
276 typedef DenseMap<InstrConverterBaseKeyTy, std::unique_ptr<InstrConverterBase>>
277     InstrConverterBaseMap;
278 
279 /// A closure is a set of virtual register representing all of the edges in
280 /// the closure, as well as all of the instructions connected by those edges.
281 ///
282 /// A closure may encompass virtual registers in the same register bank that
283 /// have different widths. For example, it may contain 32-bit GPRs as well as
284 /// 64-bit GPRs.
285 ///
286 /// A closure that computes an address (i.e. defines a virtual register that is
287 /// used in a memory operand) excludes the instructions that contain memory
288 /// operands using the address. Such an instruction will be included in a
289 /// different closure that manipulates the loaded or stored value.
290 class Closure {
291 private:
292   /// Virtual registers in the closure.
293   DenseSet<Register> Edges;
294 
295   /// Instructions in the closure.
296   SmallVector<MachineInstr *, 8> Instrs;
297 
298   /// Domains which this closure can legally be reassigned to.
299   std::bitset<NumDomains> LegalDstDomains;
300 
301   /// An ID to uniquely identify this closure, even when it gets
302   /// moved around
303   unsigned ID;
304 
305 public:
Closure(unsigned ID,std::initializer_list<RegDomain> LegalDstDomainList)306   Closure(unsigned ID, std::initializer_list<RegDomain> LegalDstDomainList) : ID(ID) {
307     for (RegDomain D : LegalDstDomainList)
308       LegalDstDomains.set(D);
309   }
310 
311   /// Mark this closure as illegal for reassignment to all domains.
setAllIllegal()312   void setAllIllegal() { LegalDstDomains.reset(); }
313 
314   /// \returns true if this closure has domains which are legal to reassign to.
hasLegalDstDomain() const315   bool hasLegalDstDomain() const { return LegalDstDomains.any(); }
316 
317   /// \returns true if is legal to reassign this closure to domain \p RD.
isLegal(RegDomain RD) const318   bool isLegal(RegDomain RD) const { return LegalDstDomains[RD]; }
319 
320   /// Mark this closure as illegal for reassignment to domain \p RD.
setIllegal(RegDomain RD)321   void setIllegal(RegDomain RD) { LegalDstDomains[RD] = false; }
322 
empty() const323   bool empty() const { return Edges.empty(); }
324 
insertEdge(Register Reg)325   bool insertEdge(Register Reg) { return Edges.insert(Reg).second; }
326 
327   using const_edge_iterator = DenseSet<Register>::const_iterator;
edges() const328   iterator_range<const_edge_iterator> edges() const {
329     return iterator_range<const_edge_iterator>(Edges.begin(), Edges.end());
330   }
331 
addInstruction(MachineInstr * I)332   void addInstruction(MachineInstr *I) {
333     Instrs.push_back(I);
334   }
335 
instructions() const336   ArrayRef<MachineInstr *> instructions() const {
337     return Instrs;
338   }
339 
dump(const MachineRegisterInfo * MRI) const340   LLVM_DUMP_METHOD void dump(const MachineRegisterInfo *MRI) const {
341     dbgs() << "Registers: ";
342     bool First = true;
343     for (Register Reg : Edges) {
344       if (!First)
345         dbgs() << ", ";
346       First = false;
347       dbgs() << printReg(Reg, MRI->getTargetRegisterInfo(), 0, MRI);
348     }
349     dbgs() << "\n" << "Instructions:";
350     for (MachineInstr *MI : Instrs) {
351       dbgs() << "\n  ";
352       MI->print(dbgs());
353     }
354     dbgs() << "\n";
355   }
356 
getID() const357   unsigned getID() const {
358     return ID;
359   }
360 
361 };
362 
363 class X86DomainReassignment : public MachineFunctionPass {
364   const X86Subtarget *STI = nullptr;
365   MachineRegisterInfo *MRI = nullptr;
366   const X86InstrInfo *TII = nullptr;
367 
368   /// All edges that are included in some closure
369   DenseMap<Register, unsigned> EnclosedEdges;
370 
371   /// All instructions that are included in some closure.
372   DenseMap<MachineInstr *, unsigned> EnclosedInstrs;
373 
374 public:
375   static char ID;
376 
X86DomainReassignment()377   X86DomainReassignment() : MachineFunctionPass(ID) { }
378 
379   bool runOnMachineFunction(MachineFunction &MF) override;
380 
getAnalysisUsage(AnalysisUsage & AU) const381   void getAnalysisUsage(AnalysisUsage &AU) const override {
382     AU.setPreservesCFG();
383     MachineFunctionPass::getAnalysisUsage(AU);
384   }
385 
getPassName() const386   StringRef getPassName() const override {
387     return "X86 Domain Reassignment Pass";
388   }
389 
390 private:
391   /// A map of available Instruction Converters.
392   InstrConverterBaseMap Converters;
393 
394   /// Initialize Converters map.
395   void initConverters();
396 
397   /// Starting from \Reg, expand the closure as much as possible.
398   void buildClosure(Closure &, Register Reg);
399 
400   /// Enqueue \p Reg to be considered for addition to the closure.
401   /// Return false if the closure becomes invalid.
402   bool visitRegister(Closure &, Register Reg, RegDomain &Domain,
403                      SmallVectorImpl<Register> &Worklist);
404 
405   /// Reassign the closure to \p Domain.
406   void reassign(const Closure &C, RegDomain Domain) const;
407 
408   /// Add \p MI to the closure.
409   /// Return false if the closure becomes invalid.
410   bool encloseInstr(Closure &C, MachineInstr *MI);
411 
412   /// /returns true if it is profitable to reassign the closure to \p Domain.
413   bool isReassignmentProfitable(const Closure &C, RegDomain Domain) const;
414 
415   /// Calculate the total cost of reassigning the closure to \p Domain.
416   double calculateCost(const Closure &C, RegDomain Domain) const;
417 };
418 
419 char X86DomainReassignment::ID = 0;
420 
421 } // End anonymous namespace.
422 
visitRegister(Closure & C,Register Reg,RegDomain & Domain,SmallVectorImpl<Register> & Worklist)423 bool X86DomainReassignment::visitRegister(Closure &C, Register Reg,
424                                           RegDomain &Domain,
425                                           SmallVectorImpl<Register> &Worklist) {
426   if (!Reg.isVirtual())
427     return true;
428 
429   auto I = EnclosedEdges.find(Reg);
430   if (I != EnclosedEdges.end()) {
431     if (I->second != C.getID()) {
432       C.setAllIllegal();
433       return false;
434     }
435     return true;
436   }
437 
438   if (!MRI->hasOneDef(Reg))
439     return true;
440 
441   RegDomain RD = getDomain(MRI->getRegClass(Reg), MRI->getTargetRegisterInfo());
442   // First edge in closure sets the domain.
443   if (Domain == NoDomain)
444     Domain = RD;
445 
446   if (Domain != RD)
447     return true;
448 
449   Worklist.push_back(Reg);
450   return true;
451 }
452 
encloseInstr(Closure & C,MachineInstr * MI)453 bool X86DomainReassignment::encloseInstr(Closure &C, MachineInstr *MI) {
454   auto [I, Inserted] = EnclosedInstrs.try_emplace(MI, C.getID());
455   if (!Inserted) {
456     if (I->second != C.getID()) {
457       // Instruction already belongs to another closure, avoid conflicts between
458       // closure and mark this closure as illegal.
459       C.setAllIllegal();
460       return false;
461     }
462     return true;
463   }
464 
465   C.addInstruction(MI);
466 
467   // Mark closure as illegal for reassignment to domains, if there is no
468   // converter for the instruction or if the converter cannot convert the
469   // instruction.
470   for (int i = 0; i != NumDomains; ++i) {
471     if (C.isLegal((RegDomain)i)) {
472       auto I = Converters.find({i, MI->getOpcode()});
473       if (I == Converters.end() || !I->second->isLegal(MI, TII))
474         C.setIllegal((RegDomain)i);
475     }
476   }
477   return C.hasLegalDstDomain();
478 }
479 
calculateCost(const Closure & C,RegDomain DstDomain) const480 double X86DomainReassignment::calculateCost(const Closure &C,
481                                             RegDomain DstDomain) const {
482   assert(C.isLegal(DstDomain) && "Cannot calculate cost for illegal closure");
483 
484   double Cost = 0.0;
485   for (auto *MI : C.instructions())
486     Cost += Converters.find({DstDomain, MI->getOpcode()})
487                 ->second->getExtraCost(MI, MRI);
488   return Cost;
489 }
490 
isReassignmentProfitable(const Closure & C,RegDomain Domain) const491 bool X86DomainReassignment::isReassignmentProfitable(const Closure &C,
492                                                      RegDomain Domain) const {
493   return calculateCost(C, Domain) < 0.0;
494 }
495 
reassign(const Closure & C,RegDomain Domain) const496 void X86DomainReassignment::reassign(const Closure &C, RegDomain Domain) const {
497   assert(C.isLegal(Domain) && "Cannot convert illegal closure");
498 
499   // Iterate all instructions in the closure, convert each one using the
500   // appropriate converter.
501   SmallVector<MachineInstr *, 8> ToErase;
502   for (auto *MI : C.instructions())
503     if (Converters.find({Domain, MI->getOpcode()})
504             ->second->convertInstr(MI, TII, MRI))
505       ToErase.push_back(MI);
506 
507   // Iterate all registers in the closure, replace them with registers in the
508   // destination domain.
509   for (Register Reg : C.edges()) {
510     MRI->setRegClass(Reg, getDstRC(MRI->getRegClass(Reg), Domain));
511     for (auto &MO : MRI->use_operands(Reg)) {
512       if (MO.isReg())
513         // Remove all subregister references as they are not valid in the
514         // destination domain.
515         MO.setSubReg(0);
516     }
517   }
518 
519   for (auto *MI : ToErase)
520     MI->eraseFromParent();
521 }
522 
523 /// \returns true when \p Reg is used as part of an address calculation in \p
524 /// MI.
usedAsAddr(const MachineInstr & MI,Register Reg,const TargetInstrInfo * TII)525 static bool usedAsAddr(const MachineInstr &MI, Register Reg,
526                        const TargetInstrInfo *TII) {
527   if (!MI.mayLoadOrStore())
528     return false;
529 
530   const MCInstrDesc &Desc = TII->get(MI.getOpcode());
531   int MemOpStart = X86II::getMemoryOperandNo(Desc.TSFlags);
532   if (MemOpStart == -1)
533     return false;
534 
535   MemOpStart += X86II::getOperandBias(Desc);
536   for (unsigned MemOpIdx = MemOpStart,
537                 MemOpEnd = MemOpStart + X86::AddrNumOperands;
538        MemOpIdx < MemOpEnd; ++MemOpIdx) {
539     const MachineOperand &Op = MI.getOperand(MemOpIdx);
540     if (Op.isReg() && Op.getReg() == Reg)
541       return true;
542   }
543   return false;
544 }
545 
buildClosure(Closure & C,Register Reg)546 void X86DomainReassignment::buildClosure(Closure &C, Register Reg) {
547   SmallVector<Register, 4> Worklist;
548   RegDomain Domain = NoDomain;
549   visitRegister(C, Reg, Domain, Worklist);
550   while (!Worklist.empty()) {
551     Register CurReg = Worklist.pop_back_val();
552 
553     // Register already in this closure.
554     if (!C.insertEdge(CurReg))
555       continue;
556     EnclosedEdges[Reg] = C.getID();
557 
558     MachineInstr *DefMI = MRI->getVRegDef(CurReg);
559     if (!encloseInstr(C, DefMI))
560       return;
561 
562     // Add register used by the defining MI to the worklist.
563     // Do not add registers which are used in address calculation, they will be
564     // added to a different closure.
565     int OpEnd = DefMI->getNumOperands();
566     const MCInstrDesc &Desc = DefMI->getDesc();
567     int MemOp = X86II::getMemoryOperandNo(Desc.TSFlags);
568     if (MemOp != -1)
569       MemOp += X86II::getOperandBias(Desc);
570     for (int OpIdx = 0; OpIdx < OpEnd; ++OpIdx) {
571       if (OpIdx == MemOp) {
572         // skip address calculation.
573         OpIdx += (X86::AddrNumOperands - 1);
574         continue;
575       }
576       auto &Op = DefMI->getOperand(OpIdx);
577       if (!Op.isReg() || !Op.isUse())
578         continue;
579       if (!visitRegister(C, Op.getReg(), Domain, Worklist))
580         return;
581     }
582 
583     // Expand closure through register uses.
584     for (auto &UseMI : MRI->use_nodbg_instructions(CurReg)) {
585       // We would like to avoid converting closures which calculare addresses,
586       // as this should remain in GPRs.
587       if (usedAsAddr(UseMI, CurReg, TII)) {
588         C.setAllIllegal();
589         return;
590       }
591       if (!encloseInstr(C, &UseMI))
592         return;
593 
594       for (auto &DefOp : UseMI.defs()) {
595         if (!DefOp.isReg())
596           continue;
597 
598         Register DefReg = DefOp.getReg();
599         if (!DefReg.isVirtual()) {
600           C.setAllIllegal();
601           return;
602         }
603         if (!visitRegister(C, DefReg, Domain, Worklist))
604           return;
605       }
606     }
607   }
608 }
609 
initConverters()610 void X86DomainReassignment::initConverters() {
611   Converters[{MaskDomain, TargetOpcode::PHI}] =
612       std::make_unique<InstrIgnore>(TargetOpcode::PHI);
613 
614   Converters[{MaskDomain, TargetOpcode::IMPLICIT_DEF}] =
615       std::make_unique<InstrIgnore>(TargetOpcode::IMPLICIT_DEF);
616 
617   Converters[{MaskDomain, TargetOpcode::INSERT_SUBREG}] =
618       std::make_unique<InstrReplaceWithCopy>(TargetOpcode::INSERT_SUBREG, 2);
619 
620   Converters[{MaskDomain, TargetOpcode::COPY}] =
621       std::make_unique<InstrCOPYReplacer>(TargetOpcode::COPY, MaskDomain,
622                                           TargetOpcode::COPY);
623 
624   auto createReplacerDstCOPY = [&](unsigned From, unsigned To) {
625     Converters[{MaskDomain, From}] =
626         std::make_unique<InstrReplacerDstCOPY>(From, To);
627   };
628 
629 #define GET_EGPR_IF_ENABLED(OPC) STI->hasEGPR() ? OPC##_EVEX : OPC
630   createReplacerDstCOPY(X86::MOVZX32rm16, GET_EGPR_IF_ENABLED(X86::KMOVWkm));
631   createReplacerDstCOPY(X86::MOVZX64rm16, GET_EGPR_IF_ENABLED(X86::KMOVWkm));
632 
633   createReplacerDstCOPY(X86::MOVZX32rr16, GET_EGPR_IF_ENABLED(X86::KMOVWkk));
634   createReplacerDstCOPY(X86::MOVZX64rr16, GET_EGPR_IF_ENABLED(X86::KMOVWkk));
635 
636   if (STI->hasDQI()) {
637     createReplacerDstCOPY(X86::MOVZX16rm8, GET_EGPR_IF_ENABLED(X86::KMOVBkm));
638     createReplacerDstCOPY(X86::MOVZX32rm8, GET_EGPR_IF_ENABLED(X86::KMOVBkm));
639     createReplacerDstCOPY(X86::MOVZX64rm8, GET_EGPR_IF_ENABLED(X86::KMOVBkm));
640 
641     createReplacerDstCOPY(X86::MOVZX16rr8, GET_EGPR_IF_ENABLED(X86::KMOVBkk));
642     createReplacerDstCOPY(X86::MOVZX32rr8, GET_EGPR_IF_ENABLED(X86::KMOVBkk));
643     createReplacerDstCOPY(X86::MOVZX64rr8, GET_EGPR_IF_ENABLED(X86::KMOVBkk));
644   }
645 
646   auto createReplacer = [&](unsigned From, unsigned To) {
647     Converters[{MaskDomain, From}] = std::make_unique<InstrReplacer>(From, To);
648   };
649 
650   createReplacer(X86::MOV16rm, GET_EGPR_IF_ENABLED(X86::KMOVWkm));
651   createReplacer(X86::MOV16mr, GET_EGPR_IF_ENABLED(X86::KMOVWmk));
652   createReplacer(X86::MOV16rr, GET_EGPR_IF_ENABLED(X86::KMOVWkk));
653   createReplacer(X86::SHR16ri, X86::KSHIFTRWki);
654   createReplacer(X86::SHL16ri, X86::KSHIFTLWki);
655   createReplacer(X86::NOT16r, X86::KNOTWkk);
656   createReplacer(X86::OR16rr, X86::KORWkk);
657   createReplacer(X86::AND16rr, X86::KANDWkk);
658   createReplacer(X86::XOR16rr, X86::KXORWkk);
659 
660   bool HasNDD = STI->hasNDD();
661   if (HasNDD) {
662     createReplacer(X86::SHR16ri_ND, X86::KSHIFTRWki);
663     createReplacer(X86::SHL16ri_ND, X86::KSHIFTLWki);
664     createReplacer(X86::NOT16r_ND, X86::KNOTWkk);
665     createReplacer(X86::OR16rr_ND, X86::KORWkk);
666     createReplacer(X86::AND16rr_ND, X86::KANDWkk);
667     createReplacer(X86::XOR16rr_ND, X86::KXORWkk);
668   }
669 
670   if (STI->hasBWI()) {
671     createReplacer(X86::MOV32rm, GET_EGPR_IF_ENABLED(X86::KMOVDkm));
672     createReplacer(X86::MOV64rm, GET_EGPR_IF_ENABLED(X86::KMOVQkm));
673 
674     createReplacer(X86::MOV32mr, GET_EGPR_IF_ENABLED(X86::KMOVDmk));
675     createReplacer(X86::MOV64mr, GET_EGPR_IF_ENABLED(X86::KMOVQmk));
676 
677     createReplacer(X86::MOV32rr, GET_EGPR_IF_ENABLED(X86::KMOVDkk));
678     createReplacer(X86::MOV64rr, GET_EGPR_IF_ENABLED(X86::KMOVQkk));
679 
680     createReplacer(X86::SHR32ri, X86::KSHIFTRDki);
681     createReplacer(X86::SHR64ri, X86::KSHIFTRQki);
682 
683     createReplacer(X86::SHL32ri, X86::KSHIFTLDki);
684     createReplacer(X86::SHL64ri, X86::KSHIFTLQki);
685 
686     createReplacer(X86::ADD32rr, X86::KADDDkk);
687     createReplacer(X86::ADD64rr, X86::KADDQkk);
688 
689     createReplacer(X86::NOT32r, X86::KNOTDkk);
690     createReplacer(X86::NOT64r, X86::KNOTQkk);
691 
692     createReplacer(X86::OR32rr, X86::KORDkk);
693     createReplacer(X86::OR64rr, X86::KORQkk);
694 
695     createReplacer(X86::AND32rr, X86::KANDDkk);
696     createReplacer(X86::AND64rr, X86::KANDQkk);
697 
698     createReplacer(X86::ANDN32rr, X86::KANDNDkk);
699     createReplacer(X86::ANDN64rr, X86::KANDNQkk);
700 
701     createReplacer(X86::XOR32rr, X86::KXORDkk);
702     createReplacer(X86::XOR64rr, X86::KXORQkk);
703 
704     if (HasNDD) {
705       createReplacer(X86::SHR32ri_ND, X86::KSHIFTRDki);
706       createReplacer(X86::SHL32ri_ND, X86::KSHIFTLDki);
707       createReplacer(X86::ADD32rr_ND, X86::KADDDkk);
708       createReplacer(X86::NOT32r_ND, X86::KNOTDkk);
709       createReplacer(X86::OR32rr_ND, X86::KORDkk);
710       createReplacer(X86::AND32rr_ND, X86::KANDDkk);
711       createReplacer(X86::XOR32rr_ND, X86::KXORDkk);
712       createReplacer(X86::SHR64ri_ND, X86::KSHIFTRQki);
713       createReplacer(X86::SHL64ri_ND, X86::KSHIFTLQki);
714       createReplacer(X86::ADD64rr_ND, X86::KADDQkk);
715       createReplacer(X86::NOT64r_ND, X86::KNOTQkk);
716       createReplacer(X86::OR64rr_ND, X86::KORQkk);
717       createReplacer(X86::AND64rr_ND, X86::KANDQkk);
718       createReplacer(X86::XOR64rr_ND, X86::KXORQkk);
719     }
720 
721     // TODO: KTEST is not a replacement for TEST due to flag differences. Need
722     // to prove only Z flag is used.
723     // createReplacer(X86::TEST32rr, X86::KTESTDkk);
724     // createReplacer(X86::TEST64rr, X86::KTESTQkk);
725   }
726 
727   if (STI->hasDQI()) {
728     createReplacer(X86::ADD8rr, X86::KADDBkk);
729     createReplacer(X86::ADD16rr, X86::KADDWkk);
730 
731     createReplacer(X86::AND8rr, X86::KANDBkk);
732 
733     createReplacer(X86::MOV8rm, GET_EGPR_IF_ENABLED(X86::KMOVBkm));
734     createReplacer(X86::MOV8mr, GET_EGPR_IF_ENABLED(X86::KMOVBmk));
735     createReplacer(X86::MOV8rr, GET_EGPR_IF_ENABLED(X86::KMOVBkk));
736 
737     createReplacer(X86::NOT8r, X86::KNOTBkk);
738 
739     createReplacer(X86::OR8rr, X86::KORBkk);
740 
741     createReplacer(X86::SHR8ri, X86::KSHIFTRBki);
742     createReplacer(X86::SHL8ri, X86::KSHIFTLBki);
743 
744     // TODO: KTEST is not a replacement for TEST due to flag differences. Need
745     // to prove only Z flag is used.
746     // createReplacer(X86::TEST8rr, X86::KTESTBkk);
747     // createReplacer(X86::TEST16rr, X86::KTESTWkk);
748 
749     createReplacer(X86::XOR8rr, X86::KXORBkk);
750 
751     if (HasNDD) {
752       createReplacer(X86::ADD8rr_ND, X86::KADDBkk);
753       createReplacer(X86::ADD16rr_ND, X86::KADDWkk);
754       createReplacer(X86::AND8rr_ND, X86::KANDBkk);
755       createReplacer(X86::NOT8r_ND, X86::KNOTBkk);
756       createReplacer(X86::OR8rr_ND, X86::KORBkk);
757       createReplacer(X86::SHR8ri_ND, X86::KSHIFTRBki);
758       createReplacer(X86::SHL8ri_ND, X86::KSHIFTLBki);
759       createReplacer(X86::XOR8rr_ND, X86::KXORBkk);
760     }
761   }
762 #undef GET_EGPR_IF_ENABLED
763 }
764 
runOnMachineFunction(MachineFunction & MF)765 bool X86DomainReassignment::runOnMachineFunction(MachineFunction &MF) {
766   if (skipFunction(MF.getFunction()))
767     return false;
768   if (DisableX86DomainReassignment)
769     return false;
770 
771   LLVM_DEBUG(
772       dbgs() << "***** Machine Function before Domain Reassignment *****\n");
773   LLVM_DEBUG(MF.print(dbgs()));
774 
775   STI = &MF.getSubtarget<X86Subtarget>();
776   // GPR->K is the only transformation currently supported, bail out early if no
777   // AVX512.
778   // TODO: We're also bailing of AVX512BW isn't supported since we use VK32 and
779   // VK64 for GR32/GR64, but those aren't legal classes on KNL. If the register
780   // coalescer doesn't clean it up and we generate a spill we will crash.
781   if (!STI->hasAVX512() || !STI->hasBWI())
782     return false;
783 
784   MRI = &MF.getRegInfo();
785   assert(MRI->isSSA() && "Expected MIR to be in SSA form");
786 
787   TII = STI->getInstrInfo();
788   initConverters();
789   bool Changed = false;
790 
791   EnclosedEdges.clear();
792   EnclosedInstrs.clear();
793 
794   std::vector<Closure> Closures;
795 
796   // Go over all virtual registers and calculate a closure.
797   unsigned ClosureID = 0;
798   for (unsigned Idx = 0; Idx < MRI->getNumVirtRegs(); ++Idx) {
799     Register Reg = Register::index2VirtReg(Idx);
800 
801     // Skip unused VRegs.
802     if (MRI->reg_nodbg_empty(Reg))
803       continue;
804 
805     // GPR only current source domain supported.
806     if (!MRI->getTargetRegisterInfo()->isGeneralPurposeRegisterClass(
807             MRI->getRegClass(Reg)))
808       continue;
809 
810     // Register already in closure.
811     if (EnclosedEdges.contains(Reg))
812       continue;
813 
814     // Calculate closure starting with Reg.
815     Closure C(ClosureID++, {MaskDomain});
816     buildClosure(C, Reg);
817 
818     // Collect all closures that can potentially be converted.
819     if (!C.empty() && C.isLegal(MaskDomain))
820       Closures.push_back(std::move(C));
821   }
822 
823   for (Closure &C : Closures) {
824     LLVM_DEBUG(C.dump(MRI));
825     if (isReassignmentProfitable(C, MaskDomain)) {
826       reassign(C, MaskDomain);
827       ++NumClosuresConverted;
828       Changed = true;
829     }
830   }
831 
832   LLVM_DEBUG(
833       dbgs() << "***** Machine Function after Domain Reassignment *****\n");
834   LLVM_DEBUG(MF.print(dbgs()));
835 
836   return Changed;
837 }
838 
839 INITIALIZE_PASS(X86DomainReassignment, "x86-domain-reassignment",
840                 "X86 Domain Reassignment Pass", false, false)
841 
842 /// Returns an instance of the Domain Reassignment pass.
createX86DomainReassignmentPass()843 FunctionPass *llvm::createX86DomainReassignmentPass() {
844   return new X86DomainReassignment();
845 }
846