1*795d594fSAndroid Build Coastguard Worker /*
2*795d594fSAndroid Build Coastguard Worker * Copyright (C) 2016 The Android Open Source Project
3*795d594fSAndroid Build Coastguard Worker *
4*795d594fSAndroid Build Coastguard Worker * Licensed under the Apache License, Version 2.0 (the "License");
5*795d594fSAndroid Build Coastguard Worker * you may not use this file except in compliance with the License.
6*795d594fSAndroid Build Coastguard Worker * You may obtain a copy of the License at
7*795d594fSAndroid Build Coastguard Worker *
8*795d594fSAndroid Build Coastguard Worker * http://www.apache.org/licenses/LICENSE-2.0
9*795d594fSAndroid Build Coastguard Worker *
10*795d594fSAndroid Build Coastguard Worker * Unless required by applicable law or agreed to in writing, software
11*795d594fSAndroid Build Coastguard Worker * distributed under the License is distributed on an "AS IS" BASIS,
12*795d594fSAndroid Build Coastguard Worker * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13*795d594fSAndroid Build Coastguard Worker * See the License for the specific language governing permissions and
14*795d594fSAndroid Build Coastguard Worker * limitations under the License.
15*795d594fSAndroid Build Coastguard Worker */
16*795d594fSAndroid Build Coastguard Worker
17*795d594fSAndroid Build Coastguard Worker #include "register_allocator.h"
18*795d594fSAndroid Build Coastguard Worker
19*795d594fSAndroid Build Coastguard Worker #include <iostream>
20*795d594fSAndroid Build Coastguard Worker #include <sstream>
21*795d594fSAndroid Build Coastguard Worker
22*795d594fSAndroid Build Coastguard Worker #include "base/scoped_arena_allocator.h"
23*795d594fSAndroid Build Coastguard Worker #include "base/scoped_arena_containers.h"
24*795d594fSAndroid Build Coastguard Worker #include "base/bit_utils_iterator.h"
25*795d594fSAndroid Build Coastguard Worker #include "base/bit_vector-inl.h"
26*795d594fSAndroid Build Coastguard Worker #include "code_generator.h"
27*795d594fSAndroid Build Coastguard Worker #include "register_allocator_linear_scan.h"
28*795d594fSAndroid Build Coastguard Worker #include "ssa_liveness_analysis.h"
29*795d594fSAndroid Build Coastguard Worker
30*795d594fSAndroid Build Coastguard Worker namespace art HIDDEN {
31*795d594fSAndroid Build Coastguard Worker
32*795d594fSAndroid Build Coastguard Worker template <typename IsCalleeSave>
GetBlockedRegistersForCall(size_t num_registers,IsCalleeSave && is_callee_save)33*795d594fSAndroid Build Coastguard Worker static uint32_t GetBlockedRegistersForCall(size_t num_registers, IsCalleeSave&& is_callee_save) {
34*795d594fSAndroid Build Coastguard Worker DCHECK_LE(num_registers, BitSizeOf<uint32_t>());
35*795d594fSAndroid Build Coastguard Worker uint32_t mask = 0u;
36*795d594fSAndroid Build Coastguard Worker for (size_t reg = 0; reg != num_registers; ++reg) {
37*795d594fSAndroid Build Coastguard Worker if (!is_callee_save(reg)) {
38*795d594fSAndroid Build Coastguard Worker mask |= 1u << reg;
39*795d594fSAndroid Build Coastguard Worker }
40*795d594fSAndroid Build Coastguard Worker }
41*795d594fSAndroid Build Coastguard Worker return mask;
42*795d594fSAndroid Build Coastguard Worker }
43*795d594fSAndroid Build Coastguard Worker
GetBlockedCoreRegistersForCall(size_t num_registers,const CodeGenerator * codegen)44*795d594fSAndroid Build Coastguard Worker static uint32_t GetBlockedCoreRegistersForCall(size_t num_registers, const CodeGenerator* codegen) {
45*795d594fSAndroid Build Coastguard Worker return GetBlockedRegistersForCall(
46*795d594fSAndroid Build Coastguard Worker num_registers, [&](size_t reg) { return codegen->IsCoreCalleeSaveRegister(reg); });
47*795d594fSAndroid Build Coastguard Worker }
48*795d594fSAndroid Build Coastguard Worker
GetBlockedFpRegistersForCall(size_t num_registers,const CodeGenerator * codegen)49*795d594fSAndroid Build Coastguard Worker static uint32_t GetBlockedFpRegistersForCall(size_t num_registers, const CodeGenerator* codegen) {
50*795d594fSAndroid Build Coastguard Worker return GetBlockedRegistersForCall(
51*795d594fSAndroid Build Coastguard Worker num_registers, [&](size_t reg) { return codegen->IsFloatingPointCalleeSaveRegister(reg); });
52*795d594fSAndroid Build Coastguard Worker }
53*795d594fSAndroid Build Coastguard Worker
RegisterAllocator(ScopedArenaAllocator * allocator,CodeGenerator * codegen,const SsaLivenessAnalysis & liveness)54*795d594fSAndroid Build Coastguard Worker RegisterAllocator::RegisterAllocator(ScopedArenaAllocator* allocator,
55*795d594fSAndroid Build Coastguard Worker CodeGenerator* codegen,
56*795d594fSAndroid Build Coastguard Worker const SsaLivenessAnalysis& liveness)
57*795d594fSAndroid Build Coastguard Worker : allocator_(allocator),
58*795d594fSAndroid Build Coastguard Worker codegen_(codegen),
59*795d594fSAndroid Build Coastguard Worker liveness_(liveness),
60*795d594fSAndroid Build Coastguard Worker num_core_registers_(codegen_->GetNumberOfCoreRegisters()),
61*795d594fSAndroid Build Coastguard Worker num_fp_registers_(codegen_->GetNumberOfFloatingPointRegisters()),
62*795d594fSAndroid Build Coastguard Worker core_registers_blocked_for_call_(
63*795d594fSAndroid Build Coastguard Worker GetBlockedCoreRegistersForCall(num_core_registers_, codegen)),
64*795d594fSAndroid Build Coastguard Worker fp_registers_blocked_for_call_(GetBlockedFpRegistersForCall(num_fp_registers_, codegen)) {}
65*795d594fSAndroid Build Coastguard Worker
Create(ScopedArenaAllocator * allocator,CodeGenerator * codegen,const SsaLivenessAnalysis & analysis)66*795d594fSAndroid Build Coastguard Worker std::unique_ptr<RegisterAllocator> RegisterAllocator::Create(ScopedArenaAllocator* allocator,
67*795d594fSAndroid Build Coastguard Worker CodeGenerator* codegen,
68*795d594fSAndroid Build Coastguard Worker const SsaLivenessAnalysis& analysis) {
69*795d594fSAndroid Build Coastguard Worker return std::unique_ptr<RegisterAllocator>(
70*795d594fSAndroid Build Coastguard Worker new (allocator) RegisterAllocatorLinearScan(allocator, codegen, analysis));
71*795d594fSAndroid Build Coastguard Worker }
72*795d594fSAndroid Build Coastguard Worker
~RegisterAllocator()73*795d594fSAndroid Build Coastguard Worker RegisterAllocator::~RegisterAllocator() {
74*795d594fSAndroid Build Coastguard Worker if (kIsDebugBuild) {
75*795d594fSAndroid Build Coastguard Worker // Poison live interval pointers with "Error: BAD 71ve1nt3rval."
76*795d594fSAndroid Build Coastguard Worker LiveInterval* bad_live_interval = reinterpret_cast<LiveInterval*>(0xebad7113u);
77*795d594fSAndroid Build Coastguard Worker for (HBasicBlock* block : codegen_->GetGraph()->GetLinearOrder()) {
78*795d594fSAndroid Build Coastguard Worker for (HInstructionIterator it(block->GetPhis()); !it.Done(); it.Advance()) {
79*795d594fSAndroid Build Coastguard Worker it.Current()->SetLiveInterval(bad_live_interval);
80*795d594fSAndroid Build Coastguard Worker }
81*795d594fSAndroid Build Coastguard Worker for (HInstructionIterator it(block->GetInstructions()); !it.Done(); it.Advance()) {
82*795d594fSAndroid Build Coastguard Worker it.Current()->SetLiveInterval(bad_live_interval);
83*795d594fSAndroid Build Coastguard Worker }
84*795d594fSAndroid Build Coastguard Worker }
85*795d594fSAndroid Build Coastguard Worker }
86*795d594fSAndroid Build Coastguard Worker }
87*795d594fSAndroid Build Coastguard Worker
88*795d594fSAndroid Build Coastguard Worker class AllRangesIterator : public ValueObject {
89*795d594fSAndroid Build Coastguard Worker public:
AllRangesIterator(LiveInterval * interval)90*795d594fSAndroid Build Coastguard Worker explicit AllRangesIterator(LiveInterval* interval)
91*795d594fSAndroid Build Coastguard Worker : current_interval_(interval),
92*795d594fSAndroid Build Coastguard Worker current_range_(interval->GetFirstRange()) {}
93*795d594fSAndroid Build Coastguard Worker
Done() const94*795d594fSAndroid Build Coastguard Worker bool Done() const { return current_interval_ == nullptr; }
CurrentRange() const95*795d594fSAndroid Build Coastguard Worker LiveRange* CurrentRange() const { return current_range_; }
CurrentInterval() const96*795d594fSAndroid Build Coastguard Worker LiveInterval* CurrentInterval() const { return current_interval_; }
97*795d594fSAndroid Build Coastguard Worker
Advance()98*795d594fSAndroid Build Coastguard Worker void Advance() {
99*795d594fSAndroid Build Coastguard Worker current_range_ = current_range_->GetNext();
100*795d594fSAndroid Build Coastguard Worker if (current_range_ == nullptr) {
101*795d594fSAndroid Build Coastguard Worker current_interval_ = current_interval_->GetNextSibling();
102*795d594fSAndroid Build Coastguard Worker if (current_interval_ != nullptr) {
103*795d594fSAndroid Build Coastguard Worker current_range_ = current_interval_->GetFirstRange();
104*795d594fSAndroid Build Coastguard Worker }
105*795d594fSAndroid Build Coastguard Worker }
106*795d594fSAndroid Build Coastguard Worker }
107*795d594fSAndroid Build Coastguard Worker
108*795d594fSAndroid Build Coastguard Worker private:
109*795d594fSAndroid Build Coastguard Worker LiveInterval* current_interval_;
110*795d594fSAndroid Build Coastguard Worker LiveRange* current_range_;
111*795d594fSAndroid Build Coastguard Worker
112*795d594fSAndroid Build Coastguard Worker DISALLOW_COPY_AND_ASSIGN(AllRangesIterator);
113*795d594fSAndroid Build Coastguard Worker };
114*795d594fSAndroid Build Coastguard Worker
DumpRegister(std::ostream & stream,int reg,RegisterType register_type,const CodeGenerator * codegen)115*795d594fSAndroid Build Coastguard Worker void RegisterAllocator::DumpRegister(std::ostream& stream,
116*795d594fSAndroid Build Coastguard Worker int reg,
117*795d594fSAndroid Build Coastguard Worker RegisterType register_type,
118*795d594fSAndroid Build Coastguard Worker const CodeGenerator* codegen) {
119*795d594fSAndroid Build Coastguard Worker switch (register_type) {
120*795d594fSAndroid Build Coastguard Worker case RegisterType::kCoreRegister:
121*795d594fSAndroid Build Coastguard Worker codegen->DumpCoreRegister(stream, reg);
122*795d594fSAndroid Build Coastguard Worker break;
123*795d594fSAndroid Build Coastguard Worker case RegisterType::kFpRegister:
124*795d594fSAndroid Build Coastguard Worker codegen->DumpFloatingPointRegister(stream, reg);
125*795d594fSAndroid Build Coastguard Worker break;
126*795d594fSAndroid Build Coastguard Worker }
127*795d594fSAndroid Build Coastguard Worker }
128*795d594fSAndroid Build Coastguard Worker
GetRegisterMask(LiveInterval * interval,RegisterType register_type) const129*795d594fSAndroid Build Coastguard Worker uint32_t RegisterAllocator::GetRegisterMask(LiveInterval* interval,
130*795d594fSAndroid Build Coastguard Worker RegisterType register_type) const {
131*795d594fSAndroid Build Coastguard Worker if (interval->HasRegister()) {
132*795d594fSAndroid Build Coastguard Worker DCHECK_EQ(register_type == RegisterType::kFpRegister,
133*795d594fSAndroid Build Coastguard Worker DataType::IsFloatingPointType(interval->GetType()));
134*795d594fSAndroid Build Coastguard Worker DCHECK_LE(static_cast<size_t>(interval->GetRegister()), BitSizeOf<uint32_t>());
135*795d594fSAndroid Build Coastguard Worker return 1u << interval->GetRegister();
136*795d594fSAndroid Build Coastguard Worker } else if (interval->IsFixed()) {
137*795d594fSAndroid Build Coastguard Worker DCHECK_EQ(interval->GetType(), DataType::Type::kVoid);
138*795d594fSAndroid Build Coastguard Worker DCHECK(interval->GetFirstRange() != nullptr);
139*795d594fSAndroid Build Coastguard Worker size_t start = interval->GetFirstRange()->GetStart();
140*795d594fSAndroid Build Coastguard Worker bool blocked_for_call = liveness_.GetInstructionFromPosition(start / 2u) != nullptr;
141*795d594fSAndroid Build Coastguard Worker switch (register_type) {
142*795d594fSAndroid Build Coastguard Worker case RegisterType::kCoreRegister:
143*795d594fSAndroid Build Coastguard Worker return blocked_for_call ? core_registers_blocked_for_call_
144*795d594fSAndroid Build Coastguard Worker : MaxInt<uint32_t>(num_core_registers_);
145*795d594fSAndroid Build Coastguard Worker case RegisterType::kFpRegister:
146*795d594fSAndroid Build Coastguard Worker return blocked_for_call ? fp_registers_blocked_for_call_
147*795d594fSAndroid Build Coastguard Worker : MaxInt<uint32_t>(num_fp_registers_);
148*795d594fSAndroid Build Coastguard Worker }
149*795d594fSAndroid Build Coastguard Worker } else {
150*795d594fSAndroid Build Coastguard Worker return 0u;
151*795d594fSAndroid Build Coastguard Worker }
152*795d594fSAndroid Build Coastguard Worker }
153*795d594fSAndroid Build Coastguard Worker
ValidateIntervals(ArrayRef<LiveInterval * const> intervals,size_t number_of_spill_slots,size_t number_of_out_slots,const CodeGenerator & codegen,const SsaLivenessAnalysis * liveness,RegisterType register_type,bool log_fatal_on_failure)154*795d594fSAndroid Build Coastguard Worker bool RegisterAllocator::ValidateIntervals(ArrayRef<LiveInterval* const> intervals,
155*795d594fSAndroid Build Coastguard Worker size_t number_of_spill_slots,
156*795d594fSAndroid Build Coastguard Worker size_t number_of_out_slots,
157*795d594fSAndroid Build Coastguard Worker const CodeGenerator& codegen,
158*795d594fSAndroid Build Coastguard Worker const SsaLivenessAnalysis* liveness,
159*795d594fSAndroid Build Coastguard Worker RegisterType register_type,
160*795d594fSAndroid Build Coastguard Worker bool log_fatal_on_failure) {
161*795d594fSAndroid Build Coastguard Worker size_t number_of_registers = (register_type == RegisterType::kCoreRegister)
162*795d594fSAndroid Build Coastguard Worker ? codegen.GetNumberOfCoreRegisters()
163*795d594fSAndroid Build Coastguard Worker : codegen.GetNumberOfFloatingPointRegisters();
164*795d594fSAndroid Build Coastguard Worker uint32_t registers_blocked_for_call = (register_type == RegisterType::kCoreRegister)
165*795d594fSAndroid Build Coastguard Worker ? GetBlockedCoreRegistersForCall(number_of_registers, &codegen)
166*795d594fSAndroid Build Coastguard Worker : GetBlockedFpRegistersForCall(number_of_registers, &codegen);
167*795d594fSAndroid Build Coastguard Worker
168*795d594fSAndroid Build Coastguard Worker // A copy of `GetRegisterMask()` using local `number_of_registers` and
169*795d594fSAndroid Build Coastguard Worker // `registers_blocked_for_call` instead of the cached per-type members
170*795d594fSAndroid Build Coastguard Worker // that we cannot use in this static member function.
171*795d594fSAndroid Build Coastguard Worker auto get_register_mask = [&](LiveInterval* interval) {
172*795d594fSAndroid Build Coastguard Worker if (interval->HasRegister()) {
173*795d594fSAndroid Build Coastguard Worker DCHECK_EQ(register_type == RegisterType::kFpRegister,
174*795d594fSAndroid Build Coastguard Worker DataType::IsFloatingPointType(interval->GetType()));
175*795d594fSAndroid Build Coastguard Worker DCHECK_LE(static_cast<size_t>(interval->GetRegister()), BitSizeOf<uint32_t>());
176*795d594fSAndroid Build Coastguard Worker return 1u << interval->GetRegister();
177*795d594fSAndroid Build Coastguard Worker } else if (interval->IsFixed()) {
178*795d594fSAndroid Build Coastguard Worker DCHECK_EQ(interval->GetType(), DataType::Type::kVoid);
179*795d594fSAndroid Build Coastguard Worker DCHECK(interval->GetFirstRange() != nullptr);
180*795d594fSAndroid Build Coastguard Worker size_t start = interval->GetFirstRange()->GetStart();
181*795d594fSAndroid Build Coastguard Worker CHECK(liveness != nullptr);
182*795d594fSAndroid Build Coastguard Worker bool blocked_for_call = liveness->GetInstructionFromPosition(start / 2u) != nullptr;
183*795d594fSAndroid Build Coastguard Worker return blocked_for_call ? registers_blocked_for_call
184*795d594fSAndroid Build Coastguard Worker : MaxInt<uint32_t>(number_of_registers);
185*795d594fSAndroid Build Coastguard Worker } else {
186*795d594fSAndroid Build Coastguard Worker return 0u;
187*795d594fSAndroid Build Coastguard Worker }
188*795d594fSAndroid Build Coastguard Worker };
189*795d594fSAndroid Build Coastguard Worker
190*795d594fSAndroid Build Coastguard Worker ScopedArenaAllocator allocator(codegen.GetGraph()->GetArenaStack());
191*795d594fSAndroid Build Coastguard Worker ScopedArenaVector<ArenaBitVector*> liveness_of_values(
192*795d594fSAndroid Build Coastguard Worker allocator.Adapter(kArenaAllocRegisterAllocatorValidate));
193*795d594fSAndroid Build Coastguard Worker liveness_of_values.reserve(number_of_registers + number_of_spill_slots);
194*795d594fSAndroid Build Coastguard Worker
195*795d594fSAndroid Build Coastguard Worker size_t max_end = 0u;
196*795d594fSAndroid Build Coastguard Worker for (LiveInterval* start_interval : intervals) {
197*795d594fSAndroid Build Coastguard Worker for (AllRangesIterator it(start_interval); !it.Done(); it.Advance()) {
198*795d594fSAndroid Build Coastguard Worker max_end = std::max(max_end, it.CurrentRange()->GetEnd());
199*795d594fSAndroid Build Coastguard Worker }
200*795d594fSAndroid Build Coastguard Worker }
201*795d594fSAndroid Build Coastguard Worker
202*795d594fSAndroid Build Coastguard Worker // Allocate a bit vector per register. A live interval that has a register
203*795d594fSAndroid Build Coastguard Worker // allocated will populate the associated bit vector based on its live ranges.
204*795d594fSAndroid Build Coastguard Worker for (size_t i = 0; i < number_of_registers + number_of_spill_slots; ++i) {
205*795d594fSAndroid Build Coastguard Worker liveness_of_values.push_back(
206*795d594fSAndroid Build Coastguard Worker ArenaBitVector::Create(&allocator, max_end, false, kArenaAllocRegisterAllocatorValidate));
207*795d594fSAndroid Build Coastguard Worker }
208*795d594fSAndroid Build Coastguard Worker
209*795d594fSAndroid Build Coastguard Worker for (LiveInterval* start_interval : intervals) {
210*795d594fSAndroid Build Coastguard Worker for (AllRangesIterator it(start_interval); !it.Done(); it.Advance()) {
211*795d594fSAndroid Build Coastguard Worker LiveInterval* current = it.CurrentInterval();
212*795d594fSAndroid Build Coastguard Worker HInstruction* defined_by = current->GetParent()->GetDefinedBy();
213*795d594fSAndroid Build Coastguard Worker if (current->GetParent()->HasSpillSlot()
214*795d594fSAndroid Build Coastguard Worker // Parameters and current method have their own stack slot.
215*795d594fSAndroid Build Coastguard Worker && !(defined_by != nullptr && (defined_by->IsParameterValue()
216*795d594fSAndroid Build Coastguard Worker || defined_by->IsCurrentMethod()))) {
217*795d594fSAndroid Build Coastguard Worker BitVector* liveness_of_spill_slot = liveness_of_values[number_of_registers
218*795d594fSAndroid Build Coastguard Worker + current->GetParent()->GetSpillSlot() / kVRegSize
219*795d594fSAndroid Build Coastguard Worker - number_of_out_slots];
220*795d594fSAndroid Build Coastguard Worker for (size_t j = it.CurrentRange()->GetStart(); j < it.CurrentRange()->GetEnd(); ++j) {
221*795d594fSAndroid Build Coastguard Worker if (liveness_of_spill_slot->IsBitSet(j)) {
222*795d594fSAndroid Build Coastguard Worker if (log_fatal_on_failure) {
223*795d594fSAndroid Build Coastguard Worker std::ostringstream message;
224*795d594fSAndroid Build Coastguard Worker message << "Spill slot conflict at " << j;
225*795d594fSAndroid Build Coastguard Worker LOG(FATAL) << message.str();
226*795d594fSAndroid Build Coastguard Worker } else {
227*795d594fSAndroid Build Coastguard Worker return false;
228*795d594fSAndroid Build Coastguard Worker }
229*795d594fSAndroid Build Coastguard Worker } else {
230*795d594fSAndroid Build Coastguard Worker liveness_of_spill_slot->SetBit(j);
231*795d594fSAndroid Build Coastguard Worker }
232*795d594fSAndroid Build Coastguard Worker }
233*795d594fSAndroid Build Coastguard Worker }
234*795d594fSAndroid Build Coastguard Worker
235*795d594fSAndroid Build Coastguard Worker for (uint32_t reg : LowToHighBits(get_register_mask(current))) {
236*795d594fSAndroid Build Coastguard Worker if (kIsDebugBuild && log_fatal_on_failure && !current->IsFixed()) {
237*795d594fSAndroid Build Coastguard Worker // Only check when an error is fatal. Only tests code ask for non-fatal failures
238*795d594fSAndroid Build Coastguard Worker // and test code may not properly fill the right information to the code generator.
239*795d594fSAndroid Build Coastguard Worker CHECK(codegen.HasAllocatedRegister(register_type == RegisterType::kCoreRegister, reg));
240*795d594fSAndroid Build Coastguard Worker }
241*795d594fSAndroid Build Coastguard Worker BitVector* liveness_of_register = liveness_of_values[reg];
242*795d594fSAndroid Build Coastguard Worker for (size_t j = it.CurrentRange()->GetStart(); j < it.CurrentRange()->GetEnd(); ++j) {
243*795d594fSAndroid Build Coastguard Worker if (liveness_of_register->IsBitSet(j)) {
244*795d594fSAndroid Build Coastguard Worker if (current->IsUsingInputRegister() && current->CanUseInputRegister()) {
245*795d594fSAndroid Build Coastguard Worker continue;
246*795d594fSAndroid Build Coastguard Worker }
247*795d594fSAndroid Build Coastguard Worker if (log_fatal_on_failure) {
248*795d594fSAndroid Build Coastguard Worker std::ostringstream message;
249*795d594fSAndroid Build Coastguard Worker message << "Register conflict at " << j << " ";
250*795d594fSAndroid Build Coastguard Worker if (defined_by != nullptr) {
251*795d594fSAndroid Build Coastguard Worker message << "(" << defined_by->DebugName() << ")";
252*795d594fSAndroid Build Coastguard Worker }
253*795d594fSAndroid Build Coastguard Worker message << "for ";
254*795d594fSAndroid Build Coastguard Worker DumpRegister(message, reg, register_type, &codegen);
255*795d594fSAndroid Build Coastguard Worker for (LiveInterval* interval : intervals) {
256*795d594fSAndroid Build Coastguard Worker if ((get_register_mask(interval) & (1u << reg)) != 0u && interval->CoversSlow(j)) {
257*795d594fSAndroid Build Coastguard Worker message << std::endl;
258*795d594fSAndroid Build Coastguard Worker if (interval->GetDefinedBy() != nullptr) {
259*795d594fSAndroid Build Coastguard Worker message << interval->GetDefinedBy()->GetKind() << " ";
260*795d594fSAndroid Build Coastguard Worker } else {
261*795d594fSAndroid Build Coastguard Worker message << "physical ";
262*795d594fSAndroid Build Coastguard Worker }
263*795d594fSAndroid Build Coastguard Worker interval->Dump(message);
264*795d594fSAndroid Build Coastguard Worker }
265*795d594fSAndroid Build Coastguard Worker }
266*795d594fSAndroid Build Coastguard Worker LOG(FATAL) << message.str();
267*795d594fSAndroid Build Coastguard Worker } else {
268*795d594fSAndroid Build Coastguard Worker return false;
269*795d594fSAndroid Build Coastguard Worker }
270*795d594fSAndroid Build Coastguard Worker } else {
271*795d594fSAndroid Build Coastguard Worker liveness_of_register->SetBit(j);
272*795d594fSAndroid Build Coastguard Worker }
273*795d594fSAndroid Build Coastguard Worker }
274*795d594fSAndroid Build Coastguard Worker }
275*795d594fSAndroid Build Coastguard Worker }
276*795d594fSAndroid Build Coastguard Worker }
277*795d594fSAndroid Build Coastguard Worker return true;
278*795d594fSAndroid Build Coastguard Worker }
279*795d594fSAndroid Build Coastguard Worker
Split(LiveInterval * interval,size_t position)280*795d594fSAndroid Build Coastguard Worker LiveInterval* RegisterAllocator::Split(LiveInterval* interval, size_t position) {
281*795d594fSAndroid Build Coastguard Worker DCHECK_GE(position, interval->GetStart());
282*795d594fSAndroid Build Coastguard Worker DCHECK(!interval->IsDeadAt(position));
283*795d594fSAndroid Build Coastguard Worker if (position == interval->GetStart()) {
284*795d594fSAndroid Build Coastguard Worker // Spill slot will be allocated when handling `interval` again.
285*795d594fSAndroid Build Coastguard Worker interval->ClearRegister();
286*795d594fSAndroid Build Coastguard Worker if (interval->HasHighInterval()) {
287*795d594fSAndroid Build Coastguard Worker interval->GetHighInterval()->ClearRegister();
288*795d594fSAndroid Build Coastguard Worker } else if (interval->HasLowInterval()) {
289*795d594fSAndroid Build Coastguard Worker interval->GetLowInterval()->ClearRegister();
290*795d594fSAndroid Build Coastguard Worker }
291*795d594fSAndroid Build Coastguard Worker return interval;
292*795d594fSAndroid Build Coastguard Worker } else {
293*795d594fSAndroid Build Coastguard Worker LiveInterval* new_interval = interval->SplitAt(position);
294*795d594fSAndroid Build Coastguard Worker if (interval->HasHighInterval()) {
295*795d594fSAndroid Build Coastguard Worker LiveInterval* high = interval->GetHighInterval()->SplitAt(position);
296*795d594fSAndroid Build Coastguard Worker new_interval->SetHighInterval(high);
297*795d594fSAndroid Build Coastguard Worker high->SetLowInterval(new_interval);
298*795d594fSAndroid Build Coastguard Worker } else if (interval->HasLowInterval()) {
299*795d594fSAndroid Build Coastguard Worker LiveInterval* low = interval->GetLowInterval()->SplitAt(position);
300*795d594fSAndroid Build Coastguard Worker new_interval->SetLowInterval(low);
301*795d594fSAndroid Build Coastguard Worker low->SetHighInterval(new_interval);
302*795d594fSAndroid Build Coastguard Worker }
303*795d594fSAndroid Build Coastguard Worker return new_interval;
304*795d594fSAndroid Build Coastguard Worker }
305*795d594fSAndroid Build Coastguard Worker }
306*795d594fSAndroid Build Coastguard Worker
SplitBetween(LiveInterval * interval,size_t from,size_t to)307*795d594fSAndroid Build Coastguard Worker LiveInterval* RegisterAllocator::SplitBetween(LiveInterval* interval, size_t from, size_t to) {
308*795d594fSAndroid Build Coastguard Worker HBasicBlock* block_from = liveness_.GetBlockFromPosition(from / 2);
309*795d594fSAndroid Build Coastguard Worker HBasicBlock* block_to = liveness_.GetBlockFromPosition(to / 2);
310*795d594fSAndroid Build Coastguard Worker DCHECK(block_from != nullptr);
311*795d594fSAndroid Build Coastguard Worker DCHECK(block_to != nullptr);
312*795d594fSAndroid Build Coastguard Worker
313*795d594fSAndroid Build Coastguard Worker // Both locations are in the same block. We split at the given location.
314*795d594fSAndroid Build Coastguard Worker if (block_from == block_to) {
315*795d594fSAndroid Build Coastguard Worker return Split(interval, to);
316*795d594fSAndroid Build Coastguard Worker }
317*795d594fSAndroid Build Coastguard Worker
318*795d594fSAndroid Build Coastguard Worker /*
319*795d594fSAndroid Build Coastguard Worker * Non-linear control flow will force moves at every branch instruction to the new location.
320*795d594fSAndroid Build Coastguard Worker * To avoid having all branches doing the moves, we find the next non-linear position and
321*795d594fSAndroid Build Coastguard Worker * split the interval at this position. Take the following example (block number is the linear
322*795d594fSAndroid Build Coastguard Worker * order position):
323*795d594fSAndroid Build Coastguard Worker *
324*795d594fSAndroid Build Coastguard Worker * B1
325*795d594fSAndroid Build Coastguard Worker * / \
326*795d594fSAndroid Build Coastguard Worker * B2 B3
327*795d594fSAndroid Build Coastguard Worker * \ /
328*795d594fSAndroid Build Coastguard Worker * B4
329*795d594fSAndroid Build Coastguard Worker *
330*795d594fSAndroid Build Coastguard Worker * B2 needs to split an interval, whose next use is in B4. If we were to split at the
331*795d594fSAndroid Build Coastguard Worker * beginning of B4, B3 would need to do a move between B3 and B4 to ensure the interval
332*795d594fSAndroid Build Coastguard Worker * is now in the correct location. It makes performance worst if the interval is spilled
333*795d594fSAndroid Build Coastguard Worker * and both B2 and B3 need to reload it before entering B4.
334*795d594fSAndroid Build Coastguard Worker *
335*795d594fSAndroid Build Coastguard Worker * By splitting at B3, we give a chance to the register allocator to allocate the
336*795d594fSAndroid Build Coastguard Worker * interval to the same register as in B1, and therefore avoid doing any
337*795d594fSAndroid Build Coastguard Worker * moves in B3.
338*795d594fSAndroid Build Coastguard Worker */
339*795d594fSAndroid Build Coastguard Worker if (block_from->GetDominator() != nullptr) {
340*795d594fSAndroid Build Coastguard Worker for (HBasicBlock* dominated : block_from->GetDominator()->GetDominatedBlocks()) {
341*795d594fSAndroid Build Coastguard Worker size_t position = dominated->GetLifetimeStart();
342*795d594fSAndroid Build Coastguard Worker if ((position > from) && (block_to->GetLifetimeStart() > position)) {
343*795d594fSAndroid Build Coastguard Worker // Even if we found a better block, we continue iterating in case
344*795d594fSAndroid Build Coastguard Worker // a dominated block is closer.
345*795d594fSAndroid Build Coastguard Worker // Note that dominated blocks are not sorted in liveness order.
346*795d594fSAndroid Build Coastguard Worker block_to = dominated;
347*795d594fSAndroid Build Coastguard Worker DCHECK_NE(block_to, block_from);
348*795d594fSAndroid Build Coastguard Worker }
349*795d594fSAndroid Build Coastguard Worker }
350*795d594fSAndroid Build Coastguard Worker }
351*795d594fSAndroid Build Coastguard Worker
352*795d594fSAndroid Build Coastguard Worker // If `to` is in a loop, find the outermost loop header which does not contain `from`.
353*795d594fSAndroid Build Coastguard Worker for (HLoopInformationOutwardIterator it(*block_to); !it.Done(); it.Advance()) {
354*795d594fSAndroid Build Coastguard Worker HBasicBlock* header = it.Current()->GetHeader();
355*795d594fSAndroid Build Coastguard Worker if (block_from->GetLifetimeStart() >= header->GetLifetimeStart()) {
356*795d594fSAndroid Build Coastguard Worker break;
357*795d594fSAndroid Build Coastguard Worker }
358*795d594fSAndroid Build Coastguard Worker block_to = header;
359*795d594fSAndroid Build Coastguard Worker }
360*795d594fSAndroid Build Coastguard Worker
361*795d594fSAndroid Build Coastguard Worker // Split at the start of the found block, to piggy back on existing moves
362*795d594fSAndroid Build Coastguard Worker // due to resolution if non-linear control flow (see `ConnectSplitSiblings`).
363*795d594fSAndroid Build Coastguard Worker return Split(interval, block_to->GetLifetimeStart());
364*795d594fSAndroid Build Coastguard Worker }
365*795d594fSAndroid Build Coastguard Worker
366*795d594fSAndroid Build Coastguard Worker } // namespace art
367