1 //===- LiveIntervalUnion.cpp - Live interval union data structure ---------===//
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
7 //===----------------------------------------------------------------------===//
9 // LiveIntervalUnion represents a coalesced set of live intervals. This may be
10 // used during coalescing to represent a congruence class, or during register
11 // allocation to model liveness of a physical register.
13 //===----------------------------------------------------------------------===//
15 #include "llvm/CodeGen/LiveIntervalUnion.h"
16 #include "llvm/ADT/STLExtras.h"
17 #include "llvm/CodeGen/LiveInterval.h"
18 #include "llvm/CodeGen/TargetRegisterInfo.h"
19 #include "llvm/Support/raw_ostream.h"
25 #define DEBUG_TYPE "regalloc"
27 // Merge a LiveInterval's segments. Guarantee no overlaps.
28 void LiveIntervalUnion::unify(const LiveInterval
&VirtReg
,
29 const LiveRange
&Range
) {
34 // Insert each of the virtual register's live segments into the map.
35 LiveRange::const_iterator RegPos
= Range
.begin();
36 LiveRange::const_iterator RegEnd
= Range
.end();
37 SegmentIter SegPos
= Segments
.find(RegPos
->start
);
39 while (SegPos
.valid()) {
40 SegPos
.insert(RegPos
->start
, RegPos
->end
, &VirtReg
);
41 if (++RegPos
== RegEnd
)
43 SegPos
.advanceTo(RegPos
->start
);
46 // We have reached the end of Segments, so it is no longer necessary to search
47 // for the insertion position.
48 // It is faster to insert the end first.
50 SegPos
.insert(RegEnd
->start
, RegEnd
->end
, &VirtReg
);
51 for (; RegPos
!= RegEnd
; ++RegPos
, ++SegPos
)
52 SegPos
.insert(RegPos
->start
, RegPos
->end
, &VirtReg
);
55 // Remove a live virtual register's segments from this union.
56 void LiveIntervalUnion::extract(const LiveInterval
&VirtReg
,
57 const LiveRange
&Range
) {
62 // Remove each of the virtual register's live segments from the map.
63 LiveRange::const_iterator RegPos
= Range
.begin();
64 LiveRange::const_iterator RegEnd
= Range
.end();
65 SegmentIter SegPos
= Segments
.find(RegPos
->start
);
68 assert(SegPos
.value() == &VirtReg
&& "Inconsistent LiveInterval");
73 // Skip all segments that may have been coalesced.
74 RegPos
= Range
.advanceTo(RegPos
, SegPos
.start());
78 SegPos
.advanceTo(RegPos
->start
);
83 LiveIntervalUnion::print(raw_ostream
&OS
, const TargetRegisterInfo
*TRI
) const {
88 for (LiveSegments::const_iterator SI
= Segments
.begin(); SI
.valid(); ++SI
) {
89 OS
<< " [" << SI
.start() << ' ' << SI
.stop()
90 << "):" << printReg(SI
.value()->reg(), TRI
);
96 // Verify the live intervals in this union and add them to the visited set.
97 void LiveIntervalUnion::verify(LiveVirtRegBitSet
& VisitedVRegs
) {
98 for (SegmentIter SI
= Segments
.begin(); SI
.valid(); ++SI
)
99 VisitedVRegs
.set(SI
.value()->reg());
103 const LiveInterval
*LiveIntervalUnion::getOneVReg() const {
106 for (LiveSegments::const_iterator SI
= Segments
.begin(); SI
.valid(); ++SI
) {
107 // return the first valid live interval
113 // Scan the vector of interfering virtual registers in this union. Assume it's
115 bool LiveIntervalUnion::Query::isSeenInterference(
116 const LiveInterval
*VirtReg
) const {
117 return is_contained(InterferingVRegs
, VirtReg
);
120 // Collect virtual registers in this union that interfere with this
121 // query's live virtual register.
123 // The query state is one of:
125 // 1. CheckedFirstInterference == false: Iterators are uninitialized.
126 // 2. SeenAllInterferences == true: InterferingVRegs complete, iterators unused.
127 // 3. Iterators left at the last seen intersection.
130 LiveIntervalUnion::Query::collectInterferingVRegs(unsigned MaxInterferingRegs
) {
131 // Fast path return if we already have the desired information.
132 if (SeenAllInterferences
|| InterferingVRegs
.size() >= MaxInterferingRegs
)
133 return InterferingVRegs
.size();
135 // Set up iterators on the first call.
136 if (!CheckedFirstInterference
) {
137 CheckedFirstInterference
= true;
139 // Quickly skip interference check for empty sets.
140 if (LR
->empty() || LiveUnion
->empty()) {
141 SeenAllInterferences
= true;
145 // In most cases, the union will start before LR.
147 LiveUnionI
.setMap(LiveUnion
->getMap());
148 LiveUnionI
.find(LRI
->start
);
151 LiveRange::const_iterator LREnd
= LR
->end();
152 const LiveInterval
*RecentReg
= nullptr;
153 while (LiveUnionI
.valid()) {
154 assert(LRI
!= LREnd
&& "Reached end of LR");
156 // Check for overlapping interference.
157 while (LRI
->start
< LiveUnionI
.stop() && LRI
->end
> LiveUnionI
.start()) {
158 // This is an overlap, record the interfering register.
159 const LiveInterval
*VReg
= LiveUnionI
.value();
160 if (VReg
!= RecentReg
&& !isSeenInterference(VReg
)) {
162 InterferingVRegs
.push_back(VReg
);
163 if (InterferingVRegs
.size() >= MaxInterferingRegs
)
164 return InterferingVRegs
.size();
166 // This LiveUnion segment is no longer interesting.
167 if (!(++LiveUnionI
).valid()) {
168 SeenAllInterferences
= true;
169 return InterferingVRegs
.size();
173 // The iterators are now not overlapping, LiveUnionI has been advanced
175 assert(LRI
->end
<= LiveUnionI
.start() && "Expected non-overlap");
177 // Advance the iterator that ends first.
178 LRI
= LR
->advanceTo(LRI
, LiveUnionI
.start());
182 // Detect overlap, handle above.
183 if (LRI
->start
< LiveUnionI
.stop())
186 // Still not overlapping. Catch up LiveUnionI.
187 LiveUnionI
.advanceTo(LRI
->start
);
189 SeenAllInterferences
= true;
190 return InterferingVRegs
.size();
193 void LiveIntervalUnion::Array::init(LiveIntervalUnion::Allocator
&Alloc
,
195 // Reuse existing allocation.
200 LIUs
= static_cast<LiveIntervalUnion
*>(
201 safe_malloc(sizeof(LiveIntervalUnion
)*NSize
));
202 for (unsigned i
= 0; i
!= Size
; ++i
)
203 new(LIUs
+ i
) LiveIntervalUnion(Alloc
);
206 void LiveIntervalUnion::Array::clear() {
209 for (unsigned i
= 0; i
!= Size
; ++i
)
210 LIUs
[i
].~LiveIntervalUnion();