xref: /freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/ExecutionDomainFix.h (revision 0b57cec536236d46e3dba9bd041533462f33dbb7)
1*0b57cec5SDimitry Andric //==-- llvm/CodeGen/ExecutionDomainFix.h - Execution Domain Fix -*- C++ -*--==//
2*0b57cec5SDimitry Andric //
3*0b57cec5SDimitry Andric // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4*0b57cec5SDimitry Andric // See https://llvm.org/LICENSE.txt for license information.
5*0b57cec5SDimitry Andric // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6*0b57cec5SDimitry Andric //
7*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
8*0b57cec5SDimitry Andric //
9*0b57cec5SDimitry Andric /// \file Execution Domain Fix pass.
10*0b57cec5SDimitry Andric ///
11*0b57cec5SDimitry Andric /// Some X86 SSE instructions like mov, and, or, xor are available in different
12*0b57cec5SDimitry Andric /// variants for different operand types. These variant instructions are
13*0b57cec5SDimitry Andric /// equivalent, but on Nehalem and newer cpus there is extra latency
14*0b57cec5SDimitry Andric /// transferring data between integer and floating point domains.  ARM cores
15*0b57cec5SDimitry Andric /// have similar issues when they are configured with both VFP and NEON
16*0b57cec5SDimitry Andric /// pipelines.
17*0b57cec5SDimitry Andric ///
18*0b57cec5SDimitry Andric /// This pass changes the variant instructions to minimize domain crossings.
19*0b57cec5SDimitry Andric //
20*0b57cec5SDimitry Andric //===----------------------------------------------------------------------===//
21*0b57cec5SDimitry Andric 
22*0b57cec5SDimitry Andric #ifndef LLVM_CODEGEN_EXECUTIONDOMAINFIX_H
23*0b57cec5SDimitry Andric #define LLVM_CODEGEN_EXECUTIONDOMAINFIX_H
24*0b57cec5SDimitry Andric 
25*0b57cec5SDimitry Andric #include "llvm/ADT/SmallVector.h"
26*0b57cec5SDimitry Andric #include "llvm/CodeGen/LoopTraversal.h"
27*0b57cec5SDimitry Andric #include "llvm/CodeGen/MachineFunctionPass.h"
28*0b57cec5SDimitry Andric #include "llvm/CodeGen/ReachingDefAnalysis.h"
29*0b57cec5SDimitry Andric #include "llvm/CodeGen/TargetRegisterInfo.h"
30*0b57cec5SDimitry Andric 
31*0b57cec5SDimitry Andric namespace llvm {
32*0b57cec5SDimitry Andric 
33*0b57cec5SDimitry Andric class MachineBasicBlock;
34*0b57cec5SDimitry Andric class MachineInstr;
35*0b57cec5SDimitry Andric class TargetInstrInfo;
36*0b57cec5SDimitry Andric 
37*0b57cec5SDimitry Andric /// A DomainValue is a bit like LiveIntervals' ValNo, but it also keeps track
38*0b57cec5SDimitry Andric /// of execution domains.
39*0b57cec5SDimitry Andric ///
40*0b57cec5SDimitry Andric /// An open DomainValue represents a set of instructions that can still switch
41*0b57cec5SDimitry Andric /// execution domain. Multiple registers may refer to the same open
42*0b57cec5SDimitry Andric /// DomainValue - they will eventually be collapsed to the same execution
43*0b57cec5SDimitry Andric /// domain.
44*0b57cec5SDimitry Andric ///
45*0b57cec5SDimitry Andric /// A collapsed DomainValue represents a single register that has been forced
46*0b57cec5SDimitry Andric /// into one of more execution domains. There is a separate collapsed
47*0b57cec5SDimitry Andric /// DomainValue for each register, but it may contain multiple execution
48*0b57cec5SDimitry Andric /// domains. A register value is initially created in a single execution
49*0b57cec5SDimitry Andric /// domain, but if we were forced to pay the penalty of a domain crossing, we
50*0b57cec5SDimitry Andric /// keep track of the fact that the register is now available in multiple
51*0b57cec5SDimitry Andric /// domains.
52*0b57cec5SDimitry Andric struct DomainValue {
53*0b57cec5SDimitry Andric   /// Basic reference counting.
54*0b57cec5SDimitry Andric   unsigned Refs = 0;
55*0b57cec5SDimitry Andric 
56*0b57cec5SDimitry Andric   /// Bitmask of available domains. For an open DomainValue, it is the still
57*0b57cec5SDimitry Andric   /// possible domains for collapsing. For a collapsed DomainValue it is the
58*0b57cec5SDimitry Andric   /// domains where the register is available for free.
59*0b57cec5SDimitry Andric   unsigned AvailableDomains;
60*0b57cec5SDimitry Andric 
61*0b57cec5SDimitry Andric   /// Pointer to the next DomainValue in a chain.  When two DomainValues are
62*0b57cec5SDimitry Andric   /// merged, Victim.Next is set to point to Victor, so old DomainValue
63*0b57cec5SDimitry Andric   /// references can be updated by following the chain.
64*0b57cec5SDimitry Andric   DomainValue *Next;
65*0b57cec5SDimitry Andric 
66*0b57cec5SDimitry Andric   /// Twiddleable instructions using or defining these registers.
67*0b57cec5SDimitry Andric   SmallVector<MachineInstr *, 8> Instrs;
68*0b57cec5SDimitry Andric 
69*0b57cec5SDimitry Andric   DomainValue() { clear(); }
70*0b57cec5SDimitry Andric 
71*0b57cec5SDimitry Andric   /// A collapsed DomainValue has no instructions to twiddle - it simply keeps
72*0b57cec5SDimitry Andric   /// track of the domains where the registers are already available.
73*0b57cec5SDimitry Andric   bool isCollapsed() const { return Instrs.empty(); }
74*0b57cec5SDimitry Andric 
75*0b57cec5SDimitry Andric   /// Is domain available?
76*0b57cec5SDimitry Andric   bool hasDomain(unsigned domain) const {
77*0b57cec5SDimitry Andric     assert(domain <
78*0b57cec5SDimitry Andric                static_cast<unsigned>(std::numeric_limits<unsigned>::digits) &&
79*0b57cec5SDimitry Andric            "undefined behavior");
80*0b57cec5SDimitry Andric     return AvailableDomains & (1u << domain);
81*0b57cec5SDimitry Andric   }
82*0b57cec5SDimitry Andric 
83*0b57cec5SDimitry Andric   /// Mark domain as available.
84*0b57cec5SDimitry Andric   void addDomain(unsigned domain) { AvailableDomains |= 1u << domain; }
85*0b57cec5SDimitry Andric 
86*0b57cec5SDimitry Andric   // Restrict to a single domain available.
87*0b57cec5SDimitry Andric   void setSingleDomain(unsigned domain) { AvailableDomains = 1u << domain; }
88*0b57cec5SDimitry Andric 
89*0b57cec5SDimitry Andric   /// Return bitmask of domains that are available and in mask.
90*0b57cec5SDimitry Andric   unsigned getCommonDomains(unsigned mask) const {
91*0b57cec5SDimitry Andric     return AvailableDomains & mask;
92*0b57cec5SDimitry Andric   }
93*0b57cec5SDimitry Andric 
94*0b57cec5SDimitry Andric   /// First domain available.
95*0b57cec5SDimitry Andric   unsigned getFirstDomain() const {
96*0b57cec5SDimitry Andric     return countTrailingZeros(AvailableDomains);
97*0b57cec5SDimitry Andric   }
98*0b57cec5SDimitry Andric 
99*0b57cec5SDimitry Andric   /// Clear this DomainValue and point to next which has all its data.
100*0b57cec5SDimitry Andric   void clear() {
101*0b57cec5SDimitry Andric     AvailableDomains = 0;
102*0b57cec5SDimitry Andric     Next = nullptr;
103*0b57cec5SDimitry Andric     Instrs.clear();
104*0b57cec5SDimitry Andric   }
105*0b57cec5SDimitry Andric };
106*0b57cec5SDimitry Andric 
107*0b57cec5SDimitry Andric class ExecutionDomainFix : public MachineFunctionPass {
108*0b57cec5SDimitry Andric   SpecificBumpPtrAllocator<DomainValue> Allocator;
109*0b57cec5SDimitry Andric   SmallVector<DomainValue *, 16> Avail;
110*0b57cec5SDimitry Andric 
111*0b57cec5SDimitry Andric   const TargetRegisterClass *const RC;
112*0b57cec5SDimitry Andric   MachineFunction *MF;
113*0b57cec5SDimitry Andric   const TargetInstrInfo *TII;
114*0b57cec5SDimitry Andric   const TargetRegisterInfo *TRI;
115*0b57cec5SDimitry Andric   std::vector<SmallVector<int, 1>> AliasMap;
116*0b57cec5SDimitry Andric   const unsigned NumRegs;
117*0b57cec5SDimitry Andric   /// Value currently in each register, or NULL when no value is being tracked.
118*0b57cec5SDimitry Andric   /// This counts as a DomainValue reference.
119*0b57cec5SDimitry Andric   using LiveRegsDVInfo = std::vector<DomainValue *>;
120*0b57cec5SDimitry Andric   LiveRegsDVInfo LiveRegs;
121*0b57cec5SDimitry Andric   /// Keeps domain information for all registers. Note that this
122*0b57cec5SDimitry Andric   /// is different from the usual definition notion of liveness. The CPU
123*0b57cec5SDimitry Andric   /// doesn't care whether or not we consider a register killed.
124*0b57cec5SDimitry Andric   using OutRegsInfoMap = SmallVector<LiveRegsDVInfo, 4>;
125*0b57cec5SDimitry Andric   OutRegsInfoMap MBBOutRegsInfos;
126*0b57cec5SDimitry Andric 
127*0b57cec5SDimitry Andric   ReachingDefAnalysis *RDA;
128*0b57cec5SDimitry Andric 
129*0b57cec5SDimitry Andric public:
130*0b57cec5SDimitry Andric   ExecutionDomainFix(char &PassID, const TargetRegisterClass &RC)
131*0b57cec5SDimitry Andric       : MachineFunctionPass(PassID), RC(&RC), NumRegs(RC.getNumRegs()) {}
132*0b57cec5SDimitry Andric 
133*0b57cec5SDimitry Andric   void getAnalysisUsage(AnalysisUsage &AU) const override {
134*0b57cec5SDimitry Andric     AU.setPreservesAll();
135*0b57cec5SDimitry Andric     AU.addRequired<ReachingDefAnalysis>();
136*0b57cec5SDimitry Andric     MachineFunctionPass::getAnalysisUsage(AU);
137*0b57cec5SDimitry Andric   }
138*0b57cec5SDimitry Andric 
139*0b57cec5SDimitry Andric   bool runOnMachineFunction(MachineFunction &MF) override;
140*0b57cec5SDimitry Andric 
141*0b57cec5SDimitry Andric   MachineFunctionProperties getRequiredProperties() const override {
142*0b57cec5SDimitry Andric     return MachineFunctionProperties().set(
143*0b57cec5SDimitry Andric         MachineFunctionProperties::Property::NoVRegs);
144*0b57cec5SDimitry Andric   }
145*0b57cec5SDimitry Andric 
146*0b57cec5SDimitry Andric private:
147*0b57cec5SDimitry Andric   /// Translate TRI register number to a list of indices into our smaller tables
148*0b57cec5SDimitry Andric   /// of interesting registers.
149*0b57cec5SDimitry Andric   iterator_range<SmallVectorImpl<int>::const_iterator>
150*0b57cec5SDimitry Andric   regIndices(unsigned Reg) const;
151*0b57cec5SDimitry Andric 
152*0b57cec5SDimitry Andric   /// DomainValue allocation.
153*0b57cec5SDimitry Andric   DomainValue *alloc(int domain = -1);
154*0b57cec5SDimitry Andric 
155*0b57cec5SDimitry Andric   /// Add reference to DV.
156*0b57cec5SDimitry Andric   DomainValue *retain(DomainValue *DV) {
157*0b57cec5SDimitry Andric     if (DV)
158*0b57cec5SDimitry Andric       ++DV->Refs;
159*0b57cec5SDimitry Andric     return DV;
160*0b57cec5SDimitry Andric   }
161*0b57cec5SDimitry Andric 
162*0b57cec5SDimitry Andric   /// Release a reference to DV.  When the last reference is released,
163*0b57cec5SDimitry Andric   /// collapse if needed.
164*0b57cec5SDimitry Andric   void release(DomainValue *);
165*0b57cec5SDimitry Andric 
166*0b57cec5SDimitry Andric   /// Follow the chain of dead DomainValues until a live DomainValue is reached.
167*0b57cec5SDimitry Andric   /// Update the referenced pointer when necessary.
168*0b57cec5SDimitry Andric   DomainValue *resolve(DomainValue *&);
169*0b57cec5SDimitry Andric 
170*0b57cec5SDimitry Andric   /// Set LiveRegs[rx] = dv, updating reference counts.
171*0b57cec5SDimitry Andric   void setLiveReg(int rx, DomainValue *DV);
172*0b57cec5SDimitry Andric 
173*0b57cec5SDimitry Andric   /// Kill register rx, recycle or collapse any DomainValue.
174*0b57cec5SDimitry Andric   void kill(int rx);
175*0b57cec5SDimitry Andric 
176*0b57cec5SDimitry Andric   /// Force register rx into domain.
177*0b57cec5SDimitry Andric   void force(int rx, unsigned domain);
178*0b57cec5SDimitry Andric 
179*0b57cec5SDimitry Andric   /// Collapse open DomainValue into given domain. If there are multiple
180*0b57cec5SDimitry Andric   /// registers using dv, they each get a unique collapsed DomainValue.
181*0b57cec5SDimitry Andric   void collapse(DomainValue *dv, unsigned domain);
182*0b57cec5SDimitry Andric 
183*0b57cec5SDimitry Andric   /// All instructions and registers in B are moved to A, and B is released.
184*0b57cec5SDimitry Andric   bool merge(DomainValue *A, DomainValue *B);
185*0b57cec5SDimitry Andric 
186*0b57cec5SDimitry Andric   /// Set up LiveRegs by merging predecessor live-out values.
187*0b57cec5SDimitry Andric   void enterBasicBlock(const LoopTraversal::TraversedMBBInfo &TraversedMBB);
188*0b57cec5SDimitry Andric 
189*0b57cec5SDimitry Andric   /// Update live-out values.
190*0b57cec5SDimitry Andric   void leaveBasicBlock(const LoopTraversal::TraversedMBBInfo &TraversedMBB);
191*0b57cec5SDimitry Andric 
192*0b57cec5SDimitry Andric   /// Process he given basic block.
193*0b57cec5SDimitry Andric   void processBasicBlock(const LoopTraversal::TraversedMBBInfo &TraversedMBB);
194*0b57cec5SDimitry Andric 
195*0b57cec5SDimitry Andric   /// Visit given insturcion.
196*0b57cec5SDimitry Andric   bool visitInstr(MachineInstr *);
197*0b57cec5SDimitry Andric 
198*0b57cec5SDimitry Andric   /// Update def-ages for registers defined by MI.
199*0b57cec5SDimitry Andric   /// If Kill is set, also kill off DomainValues clobbered by the defs.
200*0b57cec5SDimitry Andric   void processDefs(MachineInstr *, bool Kill);
201*0b57cec5SDimitry Andric 
202*0b57cec5SDimitry Andric   /// A soft instruction can be changed to work in other domains given by mask.
203*0b57cec5SDimitry Andric   void visitSoftInstr(MachineInstr *, unsigned mask);
204*0b57cec5SDimitry Andric 
205*0b57cec5SDimitry Andric   /// A hard instruction only works in one domain. All input registers will be
206*0b57cec5SDimitry Andric   /// forced into that domain.
207*0b57cec5SDimitry Andric   void visitHardInstr(MachineInstr *, unsigned domain);
208*0b57cec5SDimitry Andric };
209*0b57cec5SDimitry Andric 
210*0b57cec5SDimitry Andric } // namespace llvm
211*0b57cec5SDimitry Andric 
212*0b57cec5SDimitry Andric #endif // LLVM_CODEGEN_EXECUTIONDOMAINFIX_H
213