xref: /freebsd/contrib/llvm-project/llvm/lib/CodeGen/InterferenceCache.h (revision dc318a4ffabcbfa23bb56a33403aad36e6de30af)
1 //===- InterferenceCache.h - Caching per-block interference ----*- C++ -*--===//
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 // InterferenceCache remembers per-block interference from LiveIntervalUnions,
10 // fixed RegUnit interference, and register masks.
11 //
12 //===----------------------------------------------------------------------===//
13 
14 #ifndef LLVM_LIB_CODEGEN_INTERFERENCECACHE_H
15 #define LLVM_LIB_CODEGEN_INTERFERENCECACHE_H
16 
17 #include "llvm/ADT/SmallVector.h"
18 #include "llvm/CodeGen/LiveInterval.h"
19 #include "llvm/CodeGen/LiveIntervalUnion.h"
20 #include "llvm/CodeGen/SlotIndexes.h"
21 #include "llvm/Support/Compiler.h"
22 #include <cassert>
23 #include <cstddef>
24 #include <cstdlib>
25 
26 namespace llvm {
27 
28 class LiveIntervals;
29 class MachineFunction;
30 class TargetRegisterInfo;
31 
32 class LLVM_LIBRARY_VISIBILITY InterferenceCache {
33   /// BlockInterference - information about the interference in a single basic
34   /// block.
35   struct BlockInterference {
36     unsigned Tag = 0;
37     SlotIndex First;
38     SlotIndex Last;
39 
40     BlockInterference() {}
41   };
42 
43   /// Entry - A cache entry containing interference information for all aliases
44   /// of PhysReg in all basic blocks.
45   class Entry {
46     /// PhysReg - The register currently represented.
47     unsigned PhysReg = 0;
48 
49     /// Tag - Cache tag is changed when any of the underlying LiveIntervalUnions
50     /// change.
51     unsigned Tag = 0;
52 
53     /// RefCount - The total number of Cursor instances referring to this Entry.
54     unsigned RefCount = 0;
55 
56     /// MF - The current function.
57     MachineFunction *MF;
58 
59     /// Indexes - Mapping block numbers to SlotIndex ranges.
60     SlotIndexes *Indexes = nullptr;
61 
62     /// LIS - Used for accessing register mask interference maps.
63     LiveIntervals *LIS = nullptr;
64 
65     /// PrevPos - The previous position the iterators were moved to.
66     SlotIndex PrevPos;
67 
68     /// RegUnitInfo - Information tracked about each RegUnit in PhysReg.
69     /// When PrevPos is set, the iterators are valid as if advanceTo(PrevPos)
70     /// had just been called.
71     struct RegUnitInfo {
72       /// Iterator pointing into the LiveIntervalUnion containing virtual
73       /// register interference.
74       LiveIntervalUnion::SegmentIter VirtI;
75 
76       /// Tag of the LIU last time we looked.
77       unsigned VirtTag;
78 
79       /// Fixed interference in RegUnit.
80       LiveRange *Fixed = nullptr;
81 
82       /// Iterator pointing into the fixed RegUnit interference.
83       LiveInterval::iterator FixedI;
84 
85       RegUnitInfo(LiveIntervalUnion &LIU) : VirtTag(LIU.getTag()) {
86         VirtI.setMap(LIU.getMap());
87       }
88     };
89 
90     /// Info for each RegUnit in PhysReg. It is very rare ofr a PHysReg to have
91     /// more than 4 RegUnits.
92     SmallVector<RegUnitInfo, 4> RegUnits;
93 
94     /// Blocks - Interference for each block in the function.
95     SmallVector<BlockInterference, 8> Blocks;
96 
97     /// update - Recompute Blocks[MBBNum]
98     void update(unsigned MBBNum);
99 
100   public:
101     Entry() = default;
102 
103     void clear(MachineFunction *mf, SlotIndexes *indexes, LiveIntervals *lis) {
104       assert(!hasRefs() && "Cannot clear cache entry with references");
105       PhysReg = 0;
106       MF = mf;
107       Indexes = indexes;
108       LIS = lis;
109     }
110 
111     unsigned getPhysReg() const { return PhysReg; }
112 
113     void addRef(int Delta) { RefCount += Delta; }
114 
115     bool hasRefs() const { return RefCount > 0; }
116 
117     void revalidate(LiveIntervalUnion *LIUArray, const TargetRegisterInfo *TRI);
118 
119     /// valid - Return true if this is a valid entry for physReg.
120     bool valid(LiveIntervalUnion *LIUArray, const TargetRegisterInfo *TRI);
121 
122     /// reset - Initialize entry to represent physReg's aliases.
123     void reset(unsigned physReg,
124                LiveIntervalUnion *LIUArray,
125                const TargetRegisterInfo *TRI,
126                const MachineFunction *MF);
127 
128     /// get - Return an up to date BlockInterference.
129     BlockInterference *get(unsigned MBBNum) {
130       if (Blocks[MBBNum].Tag != Tag)
131         update(MBBNum);
132       return &Blocks[MBBNum];
133     }
134   };
135 
136   // We don't keep a cache entry for every physical register, that would use too
137   // much memory. Instead, a fixed number of cache entries are used in a round-
138   // robin manner.
139   enum { CacheEntries = 32 };
140 
141   const TargetRegisterInfo *TRI = nullptr;
142   LiveIntervalUnion *LIUArray = nullptr;
143   MachineFunction *MF = nullptr;
144 
145   // Point to an entry for each physreg. The entry pointed to may not be up to
146   // date, and it may have been reused for a different physreg.
147   unsigned char* PhysRegEntries = nullptr;
148   size_t PhysRegEntriesCount = 0;
149 
150   // Next round-robin entry to be picked.
151   unsigned RoundRobin = 0;
152 
153   // The actual cache entries.
154   Entry Entries[CacheEntries];
155 
156   // get - Get a valid entry for PhysReg.
157   Entry *get(unsigned PhysReg);
158 
159 public:
160   InterferenceCache() = default;
161 
162   ~InterferenceCache() {
163     free(PhysRegEntries);
164   }
165 
166   void reinitPhysRegEntries();
167 
168   /// init - Prepare cache for a new function.
169   void init(MachineFunction *mf, LiveIntervalUnion *liuarray,
170             SlotIndexes *indexes, LiveIntervals *lis,
171             const TargetRegisterInfo *tri);
172 
173   /// getMaxCursors - Return the maximum number of concurrent cursors that can
174   /// be supported.
175   unsigned getMaxCursors() const { return CacheEntries; }
176 
177   /// Cursor - The primary query interface for the block interference cache.
178   class Cursor {
179     Entry *CacheEntry = nullptr;
180     const BlockInterference *Current = nullptr;
181     static const BlockInterference NoInterference;
182 
183     void setEntry(Entry *E) {
184       Current = nullptr;
185       // Update reference counts. Nothing happens when RefCount reaches 0, so
186       // we don't have to check for E == CacheEntry etc.
187       if (CacheEntry)
188         CacheEntry->addRef(-1);
189       CacheEntry = E;
190       if (CacheEntry)
191         CacheEntry->addRef(+1);
192     }
193 
194   public:
195     /// Cursor - Create a dangling cursor.
196     Cursor() = default;
197 
198     Cursor(const Cursor &O) {
199       setEntry(O.CacheEntry);
200     }
201 
202     Cursor &operator=(const Cursor &O) {
203       setEntry(O.CacheEntry);
204       return *this;
205     }
206 
207     ~Cursor() { setEntry(nullptr); }
208 
209     /// setPhysReg - Point this cursor to PhysReg's interference.
210     void setPhysReg(InterferenceCache &Cache, unsigned PhysReg) {
211       // Release reference before getting a new one. That guarantees we can
212       // actually have CacheEntries live cursors.
213       setEntry(nullptr);
214       if (PhysReg)
215         setEntry(Cache.get(PhysReg));
216     }
217 
218     /// moveTo - Move cursor to basic block MBBNum.
219     void moveToBlock(unsigned MBBNum) {
220       Current = CacheEntry ? CacheEntry->get(MBBNum) : &NoInterference;
221     }
222 
223     /// hasInterference - Return true if the current block has any interference.
224     bool hasInterference() {
225       return Current->First.isValid();
226     }
227 
228     /// first - Return the starting index of the first interfering range in the
229     /// current block.
230     SlotIndex first() {
231       return Current->First;
232     }
233 
234     /// last - Return the ending index of the last interfering range in the
235     /// current block.
236     SlotIndex last() {
237       return Current->Last;
238     }
239   };
240 };
241 
242 } // end namespace llvm
243 
244 #endif // LLVM_LIB_CODEGEN_INTERFERENCECACHE_H
245