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