xref: /aosp_15_r20/art/compiler/optimizing/register_allocator.cc (revision 795d594fd825385562da6b089ea9b2033f3abf5a)
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