blob: ac65c1d03d798b39a3f83dd453575c3c90204142 [file] [log] [blame]
Alexandre Rames5319def2014-10-23 10:03:10 +01001/*
2 * Copyright (C) 2014 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "code_generator_arm64.h"
18
19#include "entrypoints/quick/quick_entrypoints.h"
20#include "gc/accounting/card_table.h"
21#include "mirror/array-inl.h"
22#include "mirror/art_method.h"
23#include "mirror/class.h"
24#include "thread.h"
25#include "utils/arm64/assembler_arm64.h"
26#include "utils/assembler.h"
27#include "utils/stack_checks.h"
28
29
30using namespace vixl; // NOLINT(build/namespaces)
31
32#ifdef __
33#error "ARM64 Codegen VIXL macro-assembler macro already defined."
34#endif
35
36
37namespace art {
38
39namespace arm64 {
40
Alexandre Rames5319def2014-10-23 10:03:10 +010041// TODO: clean-up some of the constant definitions.
42static constexpr size_t kHeapRefSize = sizeof(mirror::HeapReference<mirror::Object>);
43static constexpr int kCurrentMethodStackOffset = 0;
44
45namespace {
Alexandre Ramesa89086e2014-11-07 17:13:25 +000046
47bool IsFPType(Primitive::Type type) {
48 return type == Primitive::kPrimFloat || type == Primitive::kPrimDouble;
49}
50
51bool Is64BitType(Primitive::Type type) {
52 return type == Primitive::kPrimLong || type == Primitive::kPrimDouble;
53}
54
Alexandre Rames5319def2014-10-23 10:03:10 +010055// Convenience helpers to ease conversion to and from VIXL operands.
56
57int VIXLRegCodeFromART(int code) {
58 // TODO: static check?
59 DCHECK_EQ(SP, 31);
60 DCHECK_EQ(WSP, 31);
61 DCHECK_EQ(XZR, 32);
62 DCHECK_EQ(WZR, 32);
63 if (code == SP) {
64 return vixl::kSPRegInternalCode;
65 }
66 if (code == XZR) {
67 return vixl::kZeroRegCode;
68 }
69 return code;
70}
71
72int ARTRegCodeFromVIXL(int code) {
73 // TODO: static check?
74 DCHECK_EQ(SP, 31);
75 DCHECK_EQ(WSP, 31);
76 DCHECK_EQ(XZR, 32);
77 DCHECK_EQ(WZR, 32);
78 if (code == vixl::kSPRegInternalCode) {
79 return SP;
80 }
81 if (code == vixl::kZeroRegCode) {
82 return XZR;
83 }
84 return code;
85}
86
87Register XRegisterFrom(Location location) {
88 return Register::XRegFromCode(VIXLRegCodeFromART(location.reg()));
89}
90
91Register WRegisterFrom(Location location) {
92 return Register::WRegFromCode(VIXLRegCodeFromART(location.reg()));
93}
94
95Register RegisterFrom(Location location, Primitive::Type type) {
96 DCHECK(type != Primitive::kPrimVoid && !IsFPType(type));
97 return type == Primitive::kPrimLong ? XRegisterFrom(location) : WRegisterFrom(location);
98}
99
100Register OutputRegister(HInstruction* instr) {
101 return RegisterFrom(instr->GetLocations()->Out(), instr->GetType());
102}
103
104Register InputRegisterAt(HInstruction* instr, int input_index) {
105 return RegisterFrom(instr->GetLocations()->InAt(input_index),
106 instr->InputAt(input_index)->GetType());
107}
108
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000109FPRegister DRegisterFrom(Location location) {
110 return FPRegister::DRegFromCode(location.reg());
111}
112
113FPRegister SRegisterFrom(Location location) {
114 return FPRegister::SRegFromCode(location.reg());
115}
116
117FPRegister FPRegisterFrom(Location location, Primitive::Type type) {
118 DCHECK(IsFPType(type));
119 return type == Primitive::kPrimDouble ? DRegisterFrom(location) : SRegisterFrom(location);
120}
121
122FPRegister OutputFPRegister(HInstruction* instr) {
123 return FPRegisterFrom(instr->GetLocations()->Out(), instr->GetType());
124}
125
126FPRegister InputFPRegisterAt(HInstruction* instr, int input_index) {
127 return FPRegisterFrom(instr->GetLocations()->InAt(input_index),
128 instr->InputAt(input_index)->GetType());
129}
130
Alexandre Rames5319def2014-10-23 10:03:10 +0100131int64_t Int64ConstantFrom(Location location) {
132 HConstant* instr = location.GetConstant();
133 return instr->IsIntConstant() ? instr->AsIntConstant()->GetValue()
134 : instr->AsLongConstant()->GetValue();
135}
136
137Operand OperandFrom(Location location, Primitive::Type type) {
138 if (location.IsRegister()) {
139 return Operand(RegisterFrom(location, type));
140 } else {
141 return Operand(Int64ConstantFrom(location));
142 }
143}
144
145Operand InputOperandAt(HInstruction* instr, int input_index) {
146 return OperandFrom(instr->GetLocations()->InAt(input_index),
147 instr->InputAt(input_index)->GetType());
148}
149
150MemOperand StackOperandFrom(Location location) {
151 return MemOperand(sp, location.GetStackIndex());
152}
153
154MemOperand HeapOperand(const Register& base, Offset offset) {
155 // A heap reference must be 32bit, so fit in a W register.
156 DCHECK(base.IsW());
157 return MemOperand(base.X(), offset.SizeValue());
158}
159
160MemOperand HeapOperandFrom(Location location, Primitive::Type type, Offset offset) {
161 return HeapOperand(RegisterFrom(location, type), offset);
162}
163
164Location LocationFrom(const Register& reg) {
165 return Location::RegisterLocation(ARTRegCodeFromVIXL(reg.code()));
166}
167
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000168Location LocationFrom(const FPRegister& fpreg) {
169 return Location::FpuRegisterLocation(fpreg.code());
170}
171
Alexandre Rames5319def2014-10-23 10:03:10 +0100172} // namespace
173
174inline Condition ARM64Condition(IfCondition cond) {
175 switch (cond) {
176 case kCondEQ: return eq;
177 case kCondNE: return ne;
178 case kCondLT: return lt;
179 case kCondLE: return le;
180 case kCondGT: return gt;
181 case kCondGE: return ge;
182 default:
183 LOG(FATAL) << "Unknown if condition";
184 }
185 return nv; // Unreachable.
186}
187
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000188Location ARM64ReturnLocation(Primitive::Type return_type) {
189 DCHECK_NE(return_type, Primitive::kPrimVoid);
190 // Note that in practice, `LocationFrom(x0)` and `LocationFrom(w0)` create the
191 // same Location object, and so do `LocationFrom(d0)` and `LocationFrom(s0)`,
192 // but we use the exact registers for clarity.
193 if (return_type == Primitive::kPrimFloat) {
194 return LocationFrom(s0);
195 } else if (return_type == Primitive::kPrimDouble) {
196 return LocationFrom(d0);
197 } else if (return_type == Primitive::kPrimLong) {
198 return LocationFrom(x0);
199 } else {
200 return LocationFrom(w0);
201 }
202}
203
Alexandre Rames5319def2014-10-23 10:03:10 +0100204static const Register kRuntimeParameterCoreRegisters[] = { x0, x1, x2, x3, x4, x5, x6, x7 };
205static constexpr size_t kRuntimeParameterCoreRegistersLength =
206 arraysize(kRuntimeParameterCoreRegisters);
207static const FPRegister kRuntimeParameterFpuRegisters[] = { };
208static constexpr size_t kRuntimeParameterFpuRegistersLength = 0;
209
210class InvokeRuntimeCallingConvention : public CallingConvention<Register, FPRegister> {
211 public:
212 static constexpr size_t kParameterCoreRegistersLength = arraysize(kParameterCoreRegisters);
213
214 InvokeRuntimeCallingConvention()
215 : CallingConvention(kRuntimeParameterCoreRegisters,
216 kRuntimeParameterCoreRegistersLength,
217 kRuntimeParameterFpuRegisters,
218 kRuntimeParameterFpuRegistersLength) {}
219
220 Location GetReturnLocation(Primitive::Type return_type);
221
222 private:
223 DISALLOW_COPY_AND_ASSIGN(InvokeRuntimeCallingConvention);
224};
225
226Location InvokeRuntimeCallingConvention::GetReturnLocation(Primitive::Type return_type) {
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000227 return ARM64ReturnLocation(return_type);
Alexandre Rames5319def2014-10-23 10:03:10 +0100228}
229
230#define __ reinterpret_cast<Arm64Assembler*>(codegen->GetAssembler())->vixl_masm_->
231
232class SlowPathCodeARM64 : public SlowPathCode {
233 public:
234 SlowPathCodeARM64() : entry_label_(), exit_label_() {}
235
236 vixl::Label* GetEntryLabel() { return &entry_label_; }
237 vixl::Label* GetExitLabel() { return &exit_label_; }
238
239 private:
240 vixl::Label entry_label_;
241 vixl::Label exit_label_;
242
243 DISALLOW_COPY_AND_ASSIGN(SlowPathCodeARM64);
244};
245
246class BoundsCheckSlowPathARM64 : public SlowPathCodeARM64 {
247 public:
248 explicit BoundsCheckSlowPathARM64(HBoundsCheck* instruction,
249 Location index_location,
250 Location length_location)
251 : instruction_(instruction),
252 index_location_(index_location),
253 length_location_(length_location) {}
254
255 virtual void EmitNativeCode(CodeGenerator* codegen) OVERRIDE {
256 CodeGeneratorARM64* arm64_codegen = reinterpret_cast<CodeGeneratorARM64*>(codegen);
257 __ Bind(GetEntryLabel());
258 InvokeRuntimeCallingConvention calling_convention;
259 arm64_codegen->MoveHelper(LocationFrom(calling_convention.GetRegisterAt(0)),
260 index_location_, Primitive::kPrimInt);
261 arm64_codegen->MoveHelper(LocationFrom(calling_convention.GetRegisterAt(1)),
262 length_location_, Primitive::kPrimInt);
263 size_t offset = QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pThrowArrayBounds).SizeValue();
264 __ Ldr(lr, MemOperand(tr, offset));
265 __ Blr(lr);
266 codegen->RecordPcInfo(instruction_, instruction_->GetDexPc());
267 }
268
269 private:
270 HBoundsCheck* const instruction_;
271 const Location index_location_;
272 const Location length_location_;
273
274 DISALLOW_COPY_AND_ASSIGN(BoundsCheckSlowPathARM64);
275};
276
277class NullCheckSlowPathARM64 : public SlowPathCodeARM64 {
278 public:
279 explicit NullCheckSlowPathARM64(HNullCheck* instr) : instruction_(instr) {}
280
281 virtual void EmitNativeCode(CodeGenerator* codegen) OVERRIDE {
282 __ Bind(GetEntryLabel());
283 int32_t offset = QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pThrowNullPointer).Int32Value();
284 __ Ldr(lr, MemOperand(tr, offset));
285 __ Blr(lr);
286 codegen->RecordPcInfo(instruction_, instruction_->GetDexPc());
287 }
288
289 private:
290 HNullCheck* const instruction_;
291
292 DISALLOW_COPY_AND_ASSIGN(NullCheckSlowPathARM64);
293};
294
295class SuspendCheckSlowPathARM64 : public SlowPathCodeARM64 {
296 public:
297 explicit SuspendCheckSlowPathARM64(HSuspendCheck* instruction,
298 HBasicBlock* successor)
299 : instruction_(instruction), successor_(successor) {}
300
301 virtual void EmitNativeCode(CodeGenerator* codegen) OVERRIDE {
302 size_t offset = QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pTestSuspend).SizeValue();
303 __ Bind(GetEntryLabel());
304 __ Ldr(lr, MemOperand(tr, offset));
305 __ Blr(lr);
306 codegen->RecordPcInfo(instruction_, instruction_->GetDexPc());
307 __ B(GetReturnLabel());
308 }
309
310 vixl::Label* GetReturnLabel() {
311 DCHECK(successor_ == nullptr);
312 return &return_label_;
313 }
314
315
316 private:
317 HSuspendCheck* const instruction_;
318 // If not null, the block to branch to after the suspend check.
319 HBasicBlock* const successor_;
320
321 // If `successor_` is null, the label to branch to after the suspend check.
322 vixl::Label return_label_;
323
324 DISALLOW_COPY_AND_ASSIGN(SuspendCheckSlowPathARM64);
325};
326
327#undef __
328
329Location InvokeDexCallingConventionVisitor::GetNextLocation(Primitive::Type type) {
330 Location next_location;
331 if (type == Primitive::kPrimVoid) {
332 LOG(FATAL) << "Unreachable type " << type;
333 }
334
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000335 if (IsFPType(type) && (fp_index_ < calling_convention.GetNumberOfFpuRegisters())) {
336 next_location = LocationFrom(calling_convention.GetFpuRegisterAt(fp_index_++));
337 } else if (!IsFPType(type) && (gp_index_ < calling_convention.GetNumberOfRegisters())) {
338 next_location = LocationFrom(calling_convention.GetRegisterAt(gp_index_++));
339 } else {
340 size_t stack_offset = calling_convention.GetStackOffsetOf(stack_index_);
341 next_location = Is64BitType(type) ? Location::DoubleStackSlot(stack_offset)
342 : Location::StackSlot(stack_offset);
Alexandre Rames5319def2014-10-23 10:03:10 +0100343 }
344
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000345 // Space on the stack is reserved for all arguments.
346 stack_index_ += Is64BitType(type) ? 2 : 1;
Alexandre Rames5319def2014-10-23 10:03:10 +0100347 return next_location;
348}
349
350CodeGeneratorARM64::CodeGeneratorARM64(HGraph* graph)
351 : CodeGenerator(graph,
352 kNumberOfAllocatableRegisters,
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000353 kNumberOfAllocatableFPRegisters,
Alexandre Rames5319def2014-10-23 10:03:10 +0100354 kNumberOfAllocatableRegisterPairs),
355 block_labels_(nullptr),
356 location_builder_(graph, this),
357 instruction_visitor_(graph, this) {}
358
359#define __ reinterpret_cast<Arm64Assembler*>(GetAssembler())->vixl_masm_->
360
361void CodeGeneratorARM64::GenerateFrameEntry() {
362 // TODO: Add proper support for the stack overflow check.
363 UseScratchRegisterScope temps(assembler_.vixl_masm_);
364 Register temp = temps.AcquireX();
365 __ Add(temp, sp, -static_cast<int32_t>(GetStackOverflowReservedBytes(kArm64)));
366 __ Ldr(temp, MemOperand(temp, 0));
367 RecordPcInfo(nullptr, 0);
368
369 CPURegList preserved_regs = GetFramePreservedRegisters();
370 int frame_size = GetFrameSize();
371 core_spill_mask_ |= preserved_regs.list();
372
373 __ Str(w0, MemOperand(sp, -frame_size, PreIndex));
374 __ PokeCPURegList(preserved_regs, frame_size - preserved_regs.TotalSizeInBytes());
375
376 // Stack layout:
377 // sp[frame_size - 8] : lr.
378 // ... : other preserved registers.
379 // sp[frame_size - regs_size]: first preserved register.
380 // ... : reserved frame space.
381 // sp[0] : context pointer.
382}
383
384void CodeGeneratorARM64::GenerateFrameExit() {
385 int frame_size = GetFrameSize();
386 CPURegList preserved_regs = GetFramePreservedRegisters();
387 __ PeekCPURegList(preserved_regs, frame_size - preserved_regs.TotalSizeInBytes());
388 __ Drop(frame_size);
389}
390
391void CodeGeneratorARM64::Bind(HBasicBlock* block) {
392 __ Bind(GetLabelOf(block));
393}
394
Alexandre Rames5319def2014-10-23 10:03:10 +0100395void CodeGeneratorARM64::Move(HInstruction* instruction,
396 Location location,
397 HInstruction* move_for) {
398 LocationSummary* locations = instruction->GetLocations();
399 if (locations != nullptr && locations->Out().Equals(location)) {
400 return;
401 }
402
403 Primitive::Type type = instruction->GetType();
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000404 DCHECK_NE(type, Primitive::kPrimVoid);
Alexandre Rames5319def2014-10-23 10:03:10 +0100405
406 if (instruction->IsIntConstant() || instruction->IsLongConstant()) {
407 int64_t value = instruction->IsIntConstant() ? instruction->AsIntConstant()->GetValue()
408 : instruction->AsLongConstant()->GetValue();
409 if (location.IsRegister()) {
410 Register dst = RegisterFrom(location, type);
411 DCHECK((instruction->IsIntConstant() && dst.Is32Bits()) ||
412 (instruction->IsLongConstant() && dst.Is64Bits()));
413 __ Mov(dst, value);
414 } else {
415 DCHECK(location.IsStackSlot() || location.IsDoubleStackSlot());
416 UseScratchRegisterScope temps(assembler_.vixl_masm_);
417 Register temp = instruction->IsIntConstant() ? temps.AcquireW() : temps.AcquireX();
418 __ Mov(temp, value);
419 __ Str(temp, StackOperandFrom(location));
420 }
Nicolas Geoffrayf43083d2014-11-07 10:48:10 +0000421 } else if (instruction->IsTemporary()) {
422 Location temp_location = GetTemporaryLocation(instruction->AsTemporary());
423 MoveHelper(location, temp_location, type);
Alexandre Rames5319def2014-10-23 10:03:10 +0100424 } else if (instruction->IsLoadLocal()) {
425 uint32_t stack_slot = GetStackSlot(instruction->AsLoadLocal()->GetLocal());
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000426 if (Is64BitType(type)) {
427 MoveHelper(location, Location::DoubleStackSlot(stack_slot), type);
428 } else {
429 MoveHelper(location, Location::StackSlot(stack_slot), type);
Alexandre Rames5319def2014-10-23 10:03:10 +0100430 }
431
432 } else {
433 DCHECK((instruction->GetNext() == move_for) || instruction->GetNext()->IsTemporary());
434 MoveHelper(location, locations->Out(), type);
435 }
436}
437
438size_t CodeGeneratorARM64::FrameEntrySpillSize() const {
439 return GetFramePreservedRegistersSize();
440}
441
442Location CodeGeneratorARM64::GetStackLocation(HLoadLocal* load) const {
443 Primitive::Type type = load->GetType();
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000444
Alexandre Rames5319def2014-10-23 10:03:10 +0100445 switch (type) {
446 case Primitive::kPrimNot:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000447 case Primitive::kPrimInt:
448 case Primitive::kPrimFloat:
449 return Location::StackSlot(GetStackSlot(load->GetLocal()));
450
451 case Primitive::kPrimLong:
452 case Primitive::kPrimDouble:
453 return Location::DoubleStackSlot(GetStackSlot(load->GetLocal()));
454
Alexandre Rames5319def2014-10-23 10:03:10 +0100455 case Primitive::kPrimBoolean:
456 case Primitive::kPrimByte:
457 case Primitive::kPrimChar:
458 case Primitive::kPrimShort:
Alexandre Rames5319def2014-10-23 10:03:10 +0100459 case Primitive::kPrimVoid:
Alexandre Rames5319def2014-10-23 10:03:10 +0100460 LOG(FATAL) << "Unexpected type " << type;
461 }
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000462
Alexandre Rames5319def2014-10-23 10:03:10 +0100463 LOG(FATAL) << "Unreachable";
464 return Location::NoLocation();
465}
466
467void CodeGeneratorARM64::MarkGCCard(Register object, Register value) {
468 UseScratchRegisterScope temps(assembler_.vixl_masm_);
469 Register card = temps.AcquireX();
470 Register temp = temps.AcquireX();
471 vixl::Label done;
472 __ Cbz(value, &done);
473 __ Ldr(card, MemOperand(tr, Thread::CardTableOffset<kArm64WordSize>().Int32Value()));
474 __ Lsr(temp, object, gc::accounting::CardTable::kCardShift);
475 __ Strb(card, MemOperand(card, temp));
476 __ Bind(&done);
477}
478
479void CodeGeneratorARM64::SetupBlockedRegisters() const {
480 // Block reserved registers:
481 // ip0 (VIXL temporary)
482 // ip1 (VIXL temporary)
483 // xSuspend (Suspend counter)
484 // lr
485 // sp is not part of the allocatable registers, so we don't need to block it.
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000486 // TODO: Avoid blocking callee-saved registers, and instead preserve them
487 // where necessary.
Alexandre Rames5319def2014-10-23 10:03:10 +0100488 CPURegList reserved_core_registers = vixl_reserved_core_registers;
489 reserved_core_registers.Combine(runtime_reserved_core_registers);
Alexandre Rames5319def2014-10-23 10:03:10 +0100490 reserved_core_registers.Combine(quick_callee_saved_registers);
491 while (!reserved_core_registers.IsEmpty()) {
492 blocked_core_registers_[reserved_core_registers.PopLowestIndex().code()] = true;
493 }
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000494 CPURegList reserved_fp_registers = vixl_reserved_fp_registers;
495 reserved_fp_registers.Combine(CPURegList::GetCalleeSavedFP());
496 while (!reserved_core_registers.IsEmpty()) {
497 blocked_fpu_registers_[reserved_fp_registers.PopLowestIndex().code()] = true;
498 }
Alexandre Rames5319def2014-10-23 10:03:10 +0100499}
500
501Location CodeGeneratorARM64::AllocateFreeRegister(Primitive::Type type) const {
502 if (type == Primitive::kPrimVoid) {
503 LOG(FATAL) << "Unreachable type " << type;
504 }
505
Alexandre Rames5319def2014-10-23 10:03:10 +0100506 if (IsFPType(type)) {
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000507 ssize_t reg = FindFreeEntry(blocked_fpu_registers_, kNumberOfAllocatableFPRegisters);
508 DCHECK_NE(reg, -1);
Alexandre Rames5319def2014-10-23 10:03:10 +0100509 return Location::FpuRegisterLocation(reg);
510 } else {
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000511 ssize_t reg = FindFreeEntry(blocked_core_registers_, kNumberOfAllocatableRegisters);
512 DCHECK_NE(reg, -1);
Alexandre Rames5319def2014-10-23 10:03:10 +0100513 return Location::RegisterLocation(reg);
514 }
515}
516
517void CodeGeneratorARM64::DumpCoreRegister(std::ostream& stream, int reg) const {
518 stream << Arm64ManagedRegister::FromXRegister(XRegister(reg));
519}
520
521void CodeGeneratorARM64::DumpFloatingPointRegister(std::ostream& stream, int reg) const {
522 stream << Arm64ManagedRegister::FromDRegister(DRegister(reg));
523}
524
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000525void CodeGeneratorARM64::MoveHelper(Location destination,
526 Location source,
527 Primitive::Type type) {
528 if (source.Equals(destination)) {
529 return;
530 }
531 if (destination.IsRegister()) {
532 Register dst = RegisterFrom(destination, type);
533 if (source.IsStackSlot() || source.IsDoubleStackSlot()) {
534 DCHECK(dst.Is64Bits() == source.IsDoubleStackSlot());
535 __ Ldr(dst, StackOperandFrom(source));
536 } else {
537 __ Mov(dst, OperandFrom(source, type));
538 }
539 } else if (destination.IsFpuRegister()) {
540 FPRegister dst = FPRegisterFrom(destination, type);
541 if (source.IsStackSlot() || source.IsDoubleStackSlot()) {
542 DCHECK(dst.Is64Bits() == source.IsDoubleStackSlot());
543 __ Ldr(dst, StackOperandFrom(source));
544 } else if (source.IsFpuRegister()) {
545 __ Fmov(dst, FPRegisterFrom(source, type));
546 } else {
547 HConstant* cst = source.GetConstant();
548 if (cst->IsFloatConstant()) {
549 __ Fmov(dst, cst->AsFloatConstant()->GetValue());
550 } else {
551 DCHECK(cst->IsDoubleConstant());
552 __ Fmov(dst, cst->AsDoubleConstant()->GetValue());
553 }
554 }
555 } else {
556 DCHECK(destination.IsStackSlot() || destination.IsDoubleStackSlot());
557 if (source.IsRegister()) {
558 __ Str(RegisterFrom(source, type), StackOperandFrom(destination));
559 } else if (source.IsFpuRegister()) {
560 __ Str(FPRegisterFrom(source, type), StackOperandFrom(destination));
561 } else {
562 UseScratchRegisterScope temps(assembler_.vixl_masm_);
563 Register temp = destination.IsDoubleStackSlot() ? temps.AcquireX() : temps.AcquireW();
564 __ Ldr(temp, StackOperandFrom(source));
565 __ Str(temp, StackOperandFrom(destination));
566 }
567 }
568}
569
570void CodeGeneratorARM64::Load(Primitive::Type type,
571 vixl::Register dst,
572 const vixl::MemOperand& src) {
573 switch (type) {
574 case Primitive::kPrimBoolean:
575 __ Ldrb(dst, src);
576 break;
577 case Primitive::kPrimByte:
578 __ Ldrsb(dst, src);
579 break;
580 case Primitive::kPrimShort:
581 __ Ldrsh(dst, src);
582 break;
583 case Primitive::kPrimChar:
584 __ Ldrh(dst, src);
585 break;
586 case Primitive::kPrimInt:
587 case Primitive::kPrimNot:
588 case Primitive::kPrimLong:
589 DCHECK(dst.Is64Bits() == (type == Primitive::kPrimLong));
590 __ Ldr(dst, src);
591 break;
592 case Primitive::kPrimFloat:
593 case Primitive::kPrimDouble:
594 case Primitive::kPrimVoid:
595 LOG(FATAL) << "Unreachable type " << type;
596 }
597}
598
599void CodeGeneratorARM64::Store(Primitive::Type type,
600 vixl::Register rt,
601 const vixl::MemOperand& dst) {
602 switch (type) {
603 case Primitive::kPrimBoolean:
604 case Primitive::kPrimByte:
605 __ Strb(rt, dst);
606 break;
607 case Primitive::kPrimChar:
608 case Primitive::kPrimShort:
609 __ Strh(rt, dst);
610 break;
611 case Primitive::kPrimInt:
612 case Primitive::kPrimNot:
613 case Primitive::kPrimLong:
614 DCHECK(rt.Is64Bits() == (type == Primitive::kPrimLong));
615 __ Str(rt, dst);
616 break;
617 case Primitive::kPrimFloat:
618 case Primitive::kPrimDouble:
619 case Primitive::kPrimVoid:
620 LOG(FATAL) << "Unreachable type " << type;
621 }
622}
623
Alexandre Rames5319def2014-10-23 10:03:10 +0100624#undef __
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000625#define __ GetAssembler()->vixl_masm_->
Alexandre Rames5319def2014-10-23 10:03:10 +0100626
627InstructionCodeGeneratorARM64::InstructionCodeGeneratorARM64(HGraph* graph,
628 CodeGeneratorARM64* codegen)
629 : HGraphVisitor(graph),
630 assembler_(codegen->GetAssembler()),
631 codegen_(codegen) {}
632
633#define FOR_EACH_UNIMPLEMENTED_INSTRUCTION(M) \
Nicolas Geoffray57a88d42014-11-10 15:09:21 +0000634 M(CheckCast) \
Nicolas Geoffray19a19cf2014-10-22 16:07:05 +0100635 M(ClinitCheck) \
Calin Juravled0d48522014-11-04 16:40:20 +0000636 M(DivZeroCheck) \
Nicolas Geoffray57a88d42014-11-10 15:09:21 +0000637 M(InstanceOf) \
Nicolas Geoffray52839d12014-11-07 17:47:25 +0000638 M(InvokeInterface) \
Nicolas Geoffray19a19cf2014-10-22 16:07:05 +0100639 M(LoadClass) \
Nicolas Geoffrayde58ab22014-11-05 12:46:03 +0000640 M(LoadException) \
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000641 M(LoadString) \
Nicolas Geoffray19a19cf2014-10-22 16:07:05 +0100642 M(ParallelMove) \
643 M(StaticFieldGet) \
644 M(StaticFieldSet) \
Nicolas Geoffrayde58ab22014-11-05 12:46:03 +0000645 M(Throw) \
Roland Levillaindff1f282014-11-05 14:15:05 +0000646 M(TypeConversion) \
Alexandre Rames5319def2014-10-23 10:03:10 +0100647
648#define UNIMPLEMENTED_INSTRUCTION_BREAK_CODE(name) name##UnimplementedInstructionBreakCode
649
650enum UnimplementedInstructionBreakCode {
651#define ENUM_UNIMPLEMENTED_INSTRUCTION(name) UNIMPLEMENTED_INSTRUCTION_BREAK_CODE(name),
652 FOR_EACH_UNIMPLEMENTED_INSTRUCTION(ENUM_UNIMPLEMENTED_INSTRUCTION)
653#undef ENUM_UNIMPLEMENTED_INSTRUCTION
654};
655
656#define DEFINE_UNIMPLEMENTED_INSTRUCTION_VISITORS(name) \
657 void InstructionCodeGeneratorARM64::Visit##name(H##name* instr) { \
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700658 UNUSED(instr); \
Alexandre Rames5319def2014-10-23 10:03:10 +0100659 __ Brk(UNIMPLEMENTED_INSTRUCTION_BREAK_CODE(name)); \
660 } \
661 void LocationsBuilderARM64::Visit##name(H##name* instr) { \
662 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instr); \
663 locations->SetOut(Location::Any()); \
664 }
665 FOR_EACH_UNIMPLEMENTED_INSTRUCTION(DEFINE_UNIMPLEMENTED_INSTRUCTION_VISITORS)
666#undef DEFINE_UNIMPLEMENTED_INSTRUCTION_VISITORS
667
668#undef UNIMPLEMENTED_INSTRUCTION_BREAK_CODE
669
670void LocationsBuilderARM64::HandleAddSub(HBinaryOperation* instr) {
671 DCHECK(instr->IsAdd() || instr->IsSub());
672 DCHECK_EQ(instr->InputCount(), 2U);
673 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instr);
674 Primitive::Type type = instr->GetResultType();
675 switch (type) {
676 case Primitive::kPrimInt:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000677 case Primitive::kPrimLong:
Alexandre Rames5319def2014-10-23 10:03:10 +0100678 locations->SetInAt(0, Location::RequiresRegister());
679 locations->SetInAt(1, Location::RegisterOrConstant(instr->InputAt(1)));
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000680 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100681 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000682
683 case Primitive::kPrimFloat:
684 case Primitive::kPrimDouble:
685 locations->SetInAt(0, Location::RequiresFpuRegister());
686 locations->SetInAt(1, Location::RequiresFpuRegister());
687 locations->SetOut(Location::RequiresFpuRegister());
Alexandre Rames5319def2014-10-23 10:03:10 +0100688 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000689
Alexandre Rames5319def2014-10-23 10:03:10 +0100690 default:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000691 LOG(FATAL) << "Unexpected " << instr->DebugName() << " type " << type;
Alexandre Rames5319def2014-10-23 10:03:10 +0100692 }
693}
694
695void InstructionCodeGeneratorARM64::HandleAddSub(HBinaryOperation* instr) {
696 DCHECK(instr->IsAdd() || instr->IsSub());
697
698 Primitive::Type type = instr->GetType();
Alexandre Rames5319def2014-10-23 10:03:10 +0100699
700 switch (type) {
701 case Primitive::kPrimInt:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000702 case Primitive::kPrimLong: {
703 Register dst = OutputRegister(instr);
704 Register lhs = InputRegisterAt(instr, 0);
705 Operand rhs = InputOperandAt(instr, 1);
Alexandre Rames5319def2014-10-23 10:03:10 +0100706 if (instr->IsAdd()) {
707 __ Add(dst, lhs, rhs);
708 } else {
709 __ Sub(dst, lhs, rhs);
710 }
711 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000712 }
713 case Primitive::kPrimFloat:
714 case Primitive::kPrimDouble: {
715 FPRegister dst = OutputFPRegister(instr);
716 FPRegister lhs = InputFPRegisterAt(instr, 0);
717 FPRegister rhs = InputFPRegisterAt(instr, 1);
718 if (instr->IsAdd()) {
719 __ Fadd(dst, lhs, rhs);
720 } else {
721 __ Fsub(dst, lhs, rhs);
722 }
Alexandre Rames5319def2014-10-23 10:03:10 +0100723 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000724 }
Alexandre Rames5319def2014-10-23 10:03:10 +0100725 default:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000726 LOG(FATAL) << "Unexpected add/sub type " << type;
Alexandre Rames5319def2014-10-23 10:03:10 +0100727 }
728}
729
730void LocationsBuilderARM64::VisitAdd(HAdd* instruction) {
731 HandleAddSub(instruction);
732}
733
734void InstructionCodeGeneratorARM64::VisitAdd(HAdd* instruction) {
735 HandleAddSub(instruction);
736}
737
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000738void LocationsBuilderARM64::VisitArrayGet(HArrayGet* instruction) {
739 LocationSummary* locations =
740 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
741 locations->SetInAt(0, Location::RequiresRegister());
742 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
743 locations->SetOut(Location::RequiresRegister());
744}
745
746void InstructionCodeGeneratorARM64::VisitArrayGet(HArrayGet* instruction) {
747 LocationSummary* locations = instruction->GetLocations();
748 Primitive::Type type = instruction->GetType();
749 Register obj = InputRegisterAt(instruction, 0);
750 Register out = OutputRegister(instruction);
751 Location index = locations->InAt(1);
752 size_t offset = mirror::Array::DataOffset(Primitive::ComponentSize(type)).Uint32Value();
753 MemOperand source(obj);
754 UseScratchRegisterScope temps(GetAssembler()->vixl_masm_);
755
756 if (index.IsConstant()) {
757 offset += Int64ConstantFrom(index) << Primitive::ComponentSizeShift(type);
758 source = MemOperand(obj, offset);
759 } else {
760 Register temp = temps.AcquireSameSizeAs(obj);
761 Register index_reg = RegisterFrom(index, Primitive::kPrimInt);
762 __ Add(temp, obj, Operand(index_reg, LSL, Primitive::ComponentSizeShift(type)));
763 source = MemOperand(temp, offset);
764 }
765
766 codegen_->Load(type, out, source);
767}
768
Alexandre Rames5319def2014-10-23 10:03:10 +0100769void LocationsBuilderARM64::VisitArrayLength(HArrayLength* instruction) {
770 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
771 locations->SetInAt(0, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000772 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100773}
774
775void InstructionCodeGeneratorARM64::VisitArrayLength(HArrayLength* instruction) {
776 __ Ldr(OutputRegister(instruction),
777 HeapOperand(InputRegisterAt(instruction, 0), mirror::Array::LengthOffset()));
778}
779
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000780void LocationsBuilderARM64::VisitArraySet(HArraySet* instruction) {
781 Primitive::Type value_type = instruction->GetComponentType();
782 bool is_object = value_type == Primitive::kPrimNot;
783 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(
784 instruction, is_object ? LocationSummary::kCall : LocationSummary::kNoCall);
785 if (is_object) {
786 InvokeRuntimeCallingConvention calling_convention;
787 locations->SetInAt(0, LocationFrom(calling_convention.GetRegisterAt(0)));
788 locations->SetInAt(1, LocationFrom(calling_convention.GetRegisterAt(1)));
789 locations->SetInAt(2, LocationFrom(calling_convention.GetRegisterAt(2)));
790 } else {
791 locations->SetInAt(0, Location::RequiresRegister());
792 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
793 locations->SetInAt(2, Location::RequiresRegister());
794 }
795}
796
797void InstructionCodeGeneratorARM64::VisitArraySet(HArraySet* instruction) {
798 Primitive::Type value_type = instruction->GetComponentType();
799 if (value_type == Primitive::kPrimNot) {
800 __ Ldr(lr, MemOperand(tr, QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pAputObject).Int32Value()));
801 __ Blr(lr);
802 codegen_->RecordPcInfo(instruction, instruction->GetDexPc());
803 DCHECK(!codegen_->IsLeafMethod());
804 } else {
805 LocationSummary* locations = instruction->GetLocations();
806 Register obj = InputRegisterAt(instruction, 0);
807 Register value = InputRegisterAt(instruction, 2);
808 Location index = locations->InAt(1);
809 size_t offset = mirror::Array::DataOffset(Primitive::ComponentSize(value_type)).Uint32Value();
810 MemOperand destination(obj);
811 UseScratchRegisterScope temps(GetAssembler()->vixl_masm_);
812
813 if (index.IsConstant()) {
814 offset += Int64ConstantFrom(index) << Primitive::ComponentSizeShift(value_type);
815 destination = MemOperand(obj, offset);
816 } else {
817 Register temp = temps.AcquireSameSizeAs(obj);
818 Register index_reg = InputRegisterAt(instruction, 1);
819 __ Add(temp, obj, Operand(index_reg, LSL, Primitive::ComponentSizeShift(value_type)));
820 destination = MemOperand(temp, offset);
821 }
822
823 codegen_->Store(value_type, value, destination);
824 }
825}
826
Alexandre Rames5319def2014-10-23 10:03:10 +0100827void LocationsBuilderARM64::VisitCompare(HCompare* instruction) {
828 LocationSummary* locations =
829 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
830 locations->SetInAt(0, Location::RequiresRegister());
831 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000832 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100833}
834
835void InstructionCodeGeneratorARM64::VisitCompare(HCompare* instruction) {
836 Primitive::Type in_type = instruction->InputAt(0)->GetType();
837
838 DCHECK_EQ(in_type, Primitive::kPrimLong);
839 switch (in_type) {
840 case Primitive::kPrimLong: {
841 vixl::Label done;
842 Register result = OutputRegister(instruction);
843 Register left = InputRegisterAt(instruction, 0);
844 Operand right = InputOperandAt(instruction, 1);
845 __ Subs(result, left, right);
846 __ B(eq, &done);
847 __ Mov(result, 1);
848 __ Cneg(result, result, le);
849 __ Bind(&done);
850 break;
851 }
852 default:
853 LOG(FATAL) << "Unimplemented compare type " << in_type;
854 }
855}
856
857void LocationsBuilderARM64::VisitCondition(HCondition* instruction) {
858 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
859 locations->SetInAt(0, Location::RequiresRegister());
860 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
861 if (instruction->NeedsMaterialization()) {
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000862 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100863 }
864}
865
866void InstructionCodeGeneratorARM64::VisitCondition(HCondition* instruction) {
867 if (!instruction->NeedsMaterialization()) {
868 return;
869 }
870
871 LocationSummary* locations = instruction->GetLocations();
872 Register lhs = InputRegisterAt(instruction, 0);
873 Operand rhs = InputOperandAt(instruction, 1);
874 Register res = RegisterFrom(locations->Out(), instruction->GetType());
875 Condition cond = ARM64Condition(instruction->GetCondition());
876
877 __ Cmp(lhs, rhs);
878 __ Csel(res, vixl::Assembler::AppropriateZeroRegFor(res), Operand(1), InvertCondition(cond));
879}
880
881#define FOR_EACH_CONDITION_INSTRUCTION(M) \
882 M(Equal) \
883 M(NotEqual) \
884 M(LessThan) \
885 M(LessThanOrEqual) \
886 M(GreaterThan) \
887 M(GreaterThanOrEqual)
888#define DEFINE_CONDITION_VISITORS(Name) \
889void LocationsBuilderARM64::Visit##Name(H##Name* comp) { VisitCondition(comp); } \
890void InstructionCodeGeneratorARM64::Visit##Name(H##Name* comp) { VisitCondition(comp); }
891FOR_EACH_CONDITION_INSTRUCTION(DEFINE_CONDITION_VISITORS)
892#undef FOR_EACH_CONDITION_INSTRUCTION
893
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000894void LocationsBuilderARM64::VisitDiv(HDiv* div) {
895 LocationSummary* locations =
896 new (GetGraph()->GetArena()) LocationSummary(div, LocationSummary::kNoCall);
897 switch (div->GetResultType()) {
898 case Primitive::kPrimInt:
899 case Primitive::kPrimLong:
900 locations->SetInAt(0, Location::RequiresRegister());
901 locations->SetInAt(1, Location::RequiresRegister());
902 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
903 break;
904
905 case Primitive::kPrimFloat:
906 case Primitive::kPrimDouble:
907 locations->SetInAt(0, Location::RequiresFpuRegister());
908 locations->SetInAt(1, Location::RequiresFpuRegister());
909 locations->SetOut(Location::RequiresFpuRegister(), Location::kNoOutputOverlap);
910 break;
911
912 default:
913 LOG(FATAL) << "Unexpected div type " << div->GetResultType();
914 }
915}
916
917void InstructionCodeGeneratorARM64::VisitDiv(HDiv* div) {
918 Primitive::Type type = div->GetResultType();
919 switch (type) {
920 case Primitive::kPrimInt:
921 case Primitive::kPrimLong:
922 __ Sdiv(OutputRegister(div), InputRegisterAt(div, 0), InputRegisterAt(div, 1));
923 break;
924
925 case Primitive::kPrimFloat:
926 case Primitive::kPrimDouble:
927 __ Fdiv(OutputFPRegister(div), InputFPRegisterAt(div, 0), InputFPRegisterAt(div, 1));
928 break;
929
930 default:
931 LOG(FATAL) << "Unexpected div type " << type;
932 }
933}
934
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000935void LocationsBuilderARM64::VisitDoubleConstant(HDoubleConstant* constant) {
936 LocationSummary* locations =
937 new (GetGraph()->GetArena()) LocationSummary(constant, LocationSummary::kNoCall);
938 locations->SetOut(Location::ConstantLocation(constant));
939}
940
941void InstructionCodeGeneratorARM64::VisitDoubleConstant(HDoubleConstant* constant) {
942 UNUSED(constant);
943 // Will be generated at use site.
944}
945
Alexandre Rames5319def2014-10-23 10:03:10 +0100946void LocationsBuilderARM64::VisitExit(HExit* exit) {
947 exit->SetLocations(nullptr);
948}
949
950void InstructionCodeGeneratorARM64::VisitExit(HExit* exit) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700951 UNUSED(exit);
Alexandre Rames5319def2014-10-23 10:03:10 +0100952 if (kIsDebugBuild) {
953 down_cast<Arm64Assembler*>(GetAssembler())->Comment("Unreachable");
954 __ Brk(0); // TODO: Introduce special markers for such code locations.
955 }
956}
957
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000958void LocationsBuilderARM64::VisitFloatConstant(HFloatConstant* constant) {
959 LocationSummary* locations =
960 new (GetGraph()->GetArena()) LocationSummary(constant, LocationSummary::kNoCall);
961 locations->SetOut(Location::ConstantLocation(constant));
962}
963
964void InstructionCodeGeneratorARM64::VisitFloatConstant(HFloatConstant* constant) {
965 UNUSED(constant);
966 // Will be generated at use site.
967}
968
Alexandre Rames5319def2014-10-23 10:03:10 +0100969void LocationsBuilderARM64::VisitGoto(HGoto* got) {
970 got->SetLocations(nullptr);
971}
972
973void InstructionCodeGeneratorARM64::VisitGoto(HGoto* got) {
974 HBasicBlock* successor = got->GetSuccessor();
975 // TODO: Support for suspend checks emission.
976 if (!codegen_->GoesToNextBlock(got->GetBlock(), successor)) {
977 __ B(codegen_->GetLabelOf(successor));
978 }
979}
980
981void LocationsBuilderARM64::VisitIf(HIf* if_instr) {
982 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(if_instr);
983 HInstruction* cond = if_instr->InputAt(0);
984 DCHECK(cond->IsCondition());
985 if (cond->AsCondition()->NeedsMaterialization()) {
986 locations->SetInAt(0, Location::RequiresRegister());
987 }
988}
989
990void InstructionCodeGeneratorARM64::VisitIf(HIf* if_instr) {
991 HInstruction* cond = if_instr->InputAt(0);
992 DCHECK(cond->IsCondition());
993 HCondition* condition = cond->AsCondition();
994 vixl::Label* true_target = codegen_->GetLabelOf(if_instr->IfTrueSuccessor());
995 vixl::Label* false_target = codegen_->GetLabelOf(if_instr->IfFalseSuccessor());
996
997 // TODO: Support constant condition input in VisitIf.
998
999 if (condition->NeedsMaterialization()) {
1000 // The condition instruction has been materialized, compare the output to 0.
1001 Location cond_val = if_instr->GetLocations()->InAt(0);
1002 DCHECK(cond_val.IsRegister());
1003 __ Cbnz(InputRegisterAt(if_instr, 0), true_target);
1004
1005 } else {
1006 // The condition instruction has not been materialized, use its inputs as
1007 // the comparison and its condition as the branch condition.
1008 Register lhs = InputRegisterAt(condition, 0);
1009 Operand rhs = InputOperandAt(condition, 1);
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001010 Condition arm64_cond = ARM64Condition(condition->GetCondition());
1011 if ((arm64_cond == eq || arm64_cond == ne) && rhs.IsImmediate() && (rhs.immediate() == 0)) {
1012 if (arm64_cond == eq) {
Alexandre Rames5319def2014-10-23 10:03:10 +01001013 __ Cbz(lhs, true_target);
1014 } else {
1015 __ Cbnz(lhs, true_target);
1016 }
1017 } else {
1018 __ Cmp(lhs, rhs);
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001019 __ B(arm64_cond, true_target);
Alexandre Rames5319def2014-10-23 10:03:10 +01001020 }
1021 }
1022
1023 if (!codegen_->GoesToNextBlock(if_instr->GetBlock(), if_instr->IfFalseSuccessor())) {
1024 __ B(false_target);
1025 }
1026}
1027
1028void LocationsBuilderARM64::VisitInstanceFieldGet(HInstanceFieldGet* instruction) {
1029 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1030 locations->SetInAt(0, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +00001031 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +01001032}
1033
1034void InstructionCodeGeneratorARM64::VisitInstanceFieldGet(HInstanceFieldGet* instruction) {
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001035 MemOperand field = MemOperand(InputRegisterAt(instruction, 0),
1036 instruction->GetFieldOffset().Uint32Value());
1037 codegen_->Load(instruction->GetType(), OutputRegister(instruction), field);
Alexandre Rames5319def2014-10-23 10:03:10 +01001038}
1039
1040void LocationsBuilderARM64::VisitInstanceFieldSet(HInstanceFieldSet* instruction) {
1041 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1042 locations->SetInAt(0, Location::RequiresRegister());
1043 locations->SetInAt(1, Location::RequiresRegister());
1044}
1045
1046void InstructionCodeGeneratorARM64::VisitInstanceFieldSet(HInstanceFieldSet* instruction) {
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001047 Primitive::Type field_type = instruction->GetFieldType();
Alexandre Rames5319def2014-10-23 10:03:10 +01001048 Register value = InputRegisterAt(instruction, 1);
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001049 Register obj = InputRegisterAt(instruction, 0);
1050 codegen_->Store(field_type, value, MemOperand(obj, instruction->GetFieldOffset().Uint32Value()));
1051 if (field_type == Primitive::kPrimNot) {
1052 codegen_->MarkGCCard(obj, value);
Alexandre Rames5319def2014-10-23 10:03:10 +01001053 }
1054}
1055
1056void LocationsBuilderARM64::VisitIntConstant(HIntConstant* constant) {
1057 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(constant);
1058 locations->SetOut(Location::ConstantLocation(constant));
1059}
1060
1061void InstructionCodeGeneratorARM64::VisitIntConstant(HIntConstant* constant) {
1062 // Will be generated at use site.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001063 UNUSED(constant);
Alexandre Rames5319def2014-10-23 10:03:10 +01001064}
1065
1066void LocationsBuilderARM64::VisitInvokeStatic(HInvokeStatic* invoke) {
1067 HandleInvoke(invoke);
1068}
1069
1070void LocationsBuilderARM64::VisitInvokeVirtual(HInvokeVirtual* invoke) {
1071 HandleInvoke(invoke);
1072}
1073
1074void LocationsBuilderARM64::HandleInvoke(HInvoke* invoke) {
1075 LocationSummary* locations =
1076 new (GetGraph()->GetArena()) LocationSummary(invoke, LocationSummary::kCall);
1077 locations->AddTemp(LocationFrom(x0));
1078
1079 InvokeDexCallingConventionVisitor calling_convention_visitor;
1080 for (size_t i = 0; i < invoke->InputCount(); i++) {
1081 HInstruction* input = invoke->InputAt(i);
1082 locations->SetInAt(i, calling_convention_visitor.GetNextLocation(input->GetType()));
1083 }
1084
1085 Primitive::Type return_type = invoke->GetType();
1086 if (return_type != Primitive::kPrimVoid) {
1087 locations->SetOut(calling_convention_visitor.GetReturnLocation(return_type));
1088 }
1089}
1090
1091void InstructionCodeGeneratorARM64::VisitInvokeStatic(HInvokeStatic* invoke) {
1092 Register temp = WRegisterFrom(invoke->GetLocations()->GetTemp(0));
1093 // Make sure that ArtMethod* is passed in W0 as per the calling convention
1094 DCHECK(temp.Is(w0));
1095 size_t index_in_cache = mirror::Array::DataOffset(kHeapRefSize).SizeValue() +
1096 invoke->GetIndexInDexCache() * kHeapRefSize;
1097
1098 // TODO: Implement all kinds of calls:
1099 // 1) boot -> boot
1100 // 2) app -> boot
1101 // 3) app -> app
1102 //
1103 // Currently we implement the app -> app logic, which looks up in the resolve cache.
1104
1105 // temp = method;
1106 __ Ldr(temp, MemOperand(sp, kCurrentMethodStackOffset));
1107 // temp = temp->dex_cache_resolved_methods_;
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001108 __ Ldr(temp, MemOperand(temp.X(),
1109 mirror::ArtMethod::DexCacheResolvedMethodsOffset().SizeValue()));
Alexandre Rames5319def2014-10-23 10:03:10 +01001110 // temp = temp[index_in_cache];
1111 __ Ldr(temp, MemOperand(temp.X(), index_in_cache));
1112 // lr = temp->entry_point_from_quick_compiled_code_;
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001113 __ Ldr(lr, MemOperand(temp.X(),
1114 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().SizeValue()));
Alexandre Rames5319def2014-10-23 10:03:10 +01001115 // lr();
1116 __ Blr(lr);
1117
1118 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1119 DCHECK(!codegen_->IsLeafMethod());
1120}
1121
1122void InstructionCodeGeneratorARM64::VisitInvokeVirtual(HInvokeVirtual* invoke) {
1123 LocationSummary* locations = invoke->GetLocations();
1124 Location receiver = locations->InAt(0);
1125 Register temp = XRegisterFrom(invoke->GetLocations()->GetTemp(0));
1126 size_t method_offset = mirror::Class::EmbeddedVTableOffset().SizeValue() +
1127 invoke->GetVTableIndex() * sizeof(mirror::Class::VTableEntry);
1128 Offset class_offset = mirror::Object::ClassOffset();
1129 Offset entry_point = mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset();
1130
1131 // temp = object->GetClass();
1132 if (receiver.IsStackSlot()) {
1133 __ Ldr(temp.W(), MemOperand(sp, receiver.GetStackIndex()));
1134 __ Ldr(temp.W(), MemOperand(temp, class_offset.SizeValue()));
1135 } else {
1136 DCHECK(receiver.IsRegister());
1137 __ Ldr(temp.W(), HeapOperandFrom(receiver, Primitive::kPrimNot,
1138 class_offset));
1139 }
1140 // temp = temp->GetMethodAt(method_offset);
1141 __ Ldr(temp.W(), MemOperand(temp, method_offset));
1142 // lr = temp->GetEntryPoint();
1143 __ Ldr(lr, MemOperand(temp, entry_point.SizeValue()));
1144 // lr();
1145 __ Blr(lr);
1146 DCHECK(!codegen_->IsLeafMethod());
1147 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1148}
1149
1150void LocationsBuilderARM64::VisitLoadLocal(HLoadLocal* load) {
1151 load->SetLocations(nullptr);
1152}
1153
1154void InstructionCodeGeneratorARM64::VisitLoadLocal(HLoadLocal* load) {
1155 // Nothing to do, this is driven by the code generator.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001156 UNUSED(load);
Alexandre Rames5319def2014-10-23 10:03:10 +01001157}
1158
1159void LocationsBuilderARM64::VisitLocal(HLocal* local) {
1160 local->SetLocations(nullptr);
1161}
1162
1163void InstructionCodeGeneratorARM64::VisitLocal(HLocal* local) {
1164 DCHECK_EQ(local->GetBlock(), GetGraph()->GetEntryBlock());
1165}
1166
1167void LocationsBuilderARM64::VisitLongConstant(HLongConstant* constant) {
1168 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(constant);
1169 locations->SetOut(Location::ConstantLocation(constant));
1170}
1171
1172void InstructionCodeGeneratorARM64::VisitLongConstant(HLongConstant* constant) {
1173 // Will be generated at use site.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001174 UNUSED(constant);
Alexandre Rames5319def2014-10-23 10:03:10 +01001175}
1176
Alexandre Rames42d641b2014-10-27 14:00:51 +00001177void LocationsBuilderARM64::VisitMul(HMul* mul) {
1178 LocationSummary* locations =
1179 new (GetGraph()->GetArena()) LocationSummary(mul, LocationSummary::kNoCall);
1180 switch (mul->GetResultType()) {
1181 case Primitive::kPrimInt:
1182 case Primitive::kPrimLong:
1183 locations->SetInAt(0, Location::RequiresRegister());
1184 locations->SetInAt(1, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +00001185 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames42d641b2014-10-27 14:00:51 +00001186 break;
1187
1188 case Primitive::kPrimFloat:
1189 case Primitive::kPrimDouble:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001190 locations->SetInAt(0, Location::RequiresFpuRegister());
1191 locations->SetInAt(1, Location::RequiresFpuRegister());
1192 locations->SetOut(Location::RequiresFpuRegister());
Alexandre Rames42d641b2014-10-27 14:00:51 +00001193 break;
1194
1195 default:
1196 LOG(FATAL) << "Unexpected mul type " << mul->GetResultType();
1197 }
1198}
1199
1200void InstructionCodeGeneratorARM64::VisitMul(HMul* mul) {
1201 switch (mul->GetResultType()) {
1202 case Primitive::kPrimInt:
1203 case Primitive::kPrimLong:
1204 __ Mul(OutputRegister(mul), InputRegisterAt(mul, 0), InputRegisterAt(mul, 1));
1205 break;
1206
1207 case Primitive::kPrimFloat:
1208 case Primitive::kPrimDouble:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001209 __ Fmul(OutputFPRegister(mul), InputFPRegisterAt(mul, 0), InputFPRegisterAt(mul, 1));
Alexandre Rames42d641b2014-10-27 14:00:51 +00001210 break;
1211
1212 default:
1213 LOG(FATAL) << "Unexpected mul type " << mul->GetResultType();
1214 }
1215}
1216
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001217void LocationsBuilderARM64::VisitNeg(HNeg* neg) {
1218 LocationSummary* locations =
1219 new (GetGraph()->GetArena()) LocationSummary(neg, LocationSummary::kNoCall);
1220 switch (neg->GetResultType()) {
1221 case Primitive::kPrimInt:
1222 case Primitive::kPrimLong: {
1223 locations->SetInAt(0, Location::RegisterOrConstant(neg->InputAt(0)));
1224 locations->SetOut(Location::RequiresRegister());
1225 break;
1226 }
1227
1228 case Primitive::kPrimFloat:
1229 case Primitive::kPrimDouble:
1230 LOG(FATAL) << "Not yet implemented neg type " << neg->GetResultType();
1231 break;
1232
1233 default:
1234 LOG(FATAL) << "Unexpected neg type " << neg->GetResultType();
1235 }
1236}
1237
1238void InstructionCodeGeneratorARM64::VisitNeg(HNeg* neg) {
1239 switch (neg->GetResultType()) {
1240 case Primitive::kPrimInt:
1241 case Primitive::kPrimLong:
1242 __ Neg(OutputRegister(neg), InputOperandAt(neg, 0));
1243 break;
1244
1245 case Primitive::kPrimFloat:
1246 case Primitive::kPrimDouble:
1247 LOG(FATAL) << "Not yet implemented neg type " << neg->GetResultType();
1248 break;
1249
1250 default:
1251 LOG(FATAL) << "Unexpected neg type " << neg->GetResultType();
1252 }
1253}
1254
1255void LocationsBuilderARM64::VisitNewArray(HNewArray* instruction) {
1256 LocationSummary* locations =
1257 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kCall);
1258 InvokeRuntimeCallingConvention calling_convention;
1259 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(0)));
1260 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(1)));
1261 locations->SetOut(LocationFrom(x0));
1262 locations->SetInAt(0, LocationFrom(calling_convention.GetRegisterAt(2)));
1263}
1264
1265void InstructionCodeGeneratorARM64::VisitNewArray(HNewArray* instruction) {
1266 LocationSummary* locations = instruction->GetLocations();
1267 InvokeRuntimeCallingConvention calling_convention;
1268 Register type_index = RegisterFrom(locations->GetTemp(0), Primitive::kPrimInt);
1269 DCHECK(type_index.Is(w0));
1270 Register current_method = RegisterFrom(locations->GetTemp(1), Primitive::kPrimNot);
1271 DCHECK(current_method.Is(w1));
1272 __ Ldr(current_method, MemOperand(sp, kCurrentMethodStackOffset));
1273 __ Mov(type_index, instruction->GetTypeIndex());
1274 int32_t quick_entrypoint_offset =
1275 QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pAllocArrayWithAccessCheck).Int32Value();
1276 __ Ldr(lr, MemOperand(tr, quick_entrypoint_offset));
1277 __ Blr(lr);
1278 codegen_->RecordPcInfo(instruction, instruction->GetDexPc());
1279 DCHECK(!codegen_->IsLeafMethod());
1280}
1281
Alexandre Rames5319def2014-10-23 10:03:10 +01001282void LocationsBuilderARM64::VisitNewInstance(HNewInstance* instruction) {
1283 LocationSummary* locations =
1284 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kCall);
1285 InvokeRuntimeCallingConvention calling_convention;
1286 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(0)));
1287 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(1)));
1288 locations->SetOut(calling_convention.GetReturnLocation(Primitive::kPrimNot));
1289}
1290
1291void InstructionCodeGeneratorARM64::VisitNewInstance(HNewInstance* instruction) {
1292 LocationSummary* locations = instruction->GetLocations();
1293 Register type_index = RegisterFrom(locations->GetTemp(0), Primitive::kPrimInt);
1294 DCHECK(type_index.Is(w0));
1295 Register current_method = RegisterFrom(locations->GetTemp(1), Primitive::kPrimNot);
1296 DCHECK(current_method.Is(w1));
1297 __ Ldr(current_method, MemOperand(sp, kCurrentMethodStackOffset));
1298 __ Mov(type_index, instruction->GetTypeIndex());
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001299 int32_t quick_entrypoint_offset =
1300 QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pAllocObjectWithAccessCheck).Int32Value();
1301 __ Ldr(lr, MemOperand(tr, quick_entrypoint_offset));
Alexandre Rames5319def2014-10-23 10:03:10 +01001302 __ Blr(lr);
1303 codegen_->RecordPcInfo(instruction, instruction->GetDexPc());
1304 DCHECK(!codegen_->IsLeafMethod());
1305}
1306
1307void LocationsBuilderARM64::VisitNot(HNot* instruction) {
1308 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
Alexandre Rames4e596512014-11-07 15:56:50 +00001309 locations->SetInAt(0, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +00001310 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +01001311}
1312
1313void InstructionCodeGeneratorARM64::VisitNot(HNot* instruction) {
1314 switch (instruction->InputAt(0)->GetType()) {
1315 case Primitive::kPrimBoolean:
1316 __ Eor(OutputRegister(instruction), InputRegisterAt(instruction, 0), Operand(1));
1317 break;
1318
1319 case Primitive::kPrimInt:
Alexandre Rames5319def2014-10-23 10:03:10 +01001320 case Primitive::kPrimLong:
Roland Levillain55dcfb52014-10-24 18:09:09 +01001321 __ Mvn(OutputRegister(instruction), InputOperandAt(instruction, 0));
Alexandre Rames5319def2014-10-23 10:03:10 +01001322 break;
1323
1324 default:
1325 LOG(FATAL) << "Unexpected type for not operation " << instruction->GetResultType();
1326 }
1327}
1328
1329void LocationsBuilderARM64::VisitNullCheck(HNullCheck* instruction) {
1330 LocationSummary* locations =
1331 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
1332 locations->SetInAt(0, Location::RequiresRegister());
1333 if (instruction->HasUses()) {
1334 locations->SetOut(Location::SameAsFirstInput());
1335 }
1336}
1337
1338void InstructionCodeGeneratorARM64::VisitNullCheck(HNullCheck* instruction) {
1339 SlowPathCodeARM64* slow_path = new (GetGraph()->GetArena()) NullCheckSlowPathARM64(instruction);
1340 codegen_->AddSlowPath(slow_path);
1341
1342 LocationSummary* locations = instruction->GetLocations();
1343 Location obj = locations->InAt(0);
1344 if (obj.IsRegister()) {
1345 __ Cbz(RegisterFrom(obj, instruction->InputAt(0)->GetType()), slow_path->GetEntryLabel());
1346 } else {
1347 DCHECK(obj.IsConstant()) << obj;
1348 DCHECK_EQ(obj.GetConstant()->AsIntConstant()->GetValue(), 0);
1349 __ B(slow_path->GetEntryLabel());
1350 }
1351}
1352
1353void LocationsBuilderARM64::VisitParameterValue(HParameterValue* instruction) {
1354 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1355 Location location = parameter_visitor_.GetNextLocation(instruction->GetType());
1356 if (location.IsStackSlot()) {
1357 location = Location::StackSlot(location.GetStackIndex() + codegen_->GetFrameSize());
1358 } else if (location.IsDoubleStackSlot()) {
1359 location = Location::DoubleStackSlot(location.GetStackIndex() + codegen_->GetFrameSize());
1360 }
1361 locations->SetOut(location);
1362}
1363
1364void InstructionCodeGeneratorARM64::VisitParameterValue(HParameterValue* instruction) {
1365 // Nothing to do, the parameter is already at its location.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001366 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001367}
1368
1369void LocationsBuilderARM64::VisitPhi(HPhi* instruction) {
1370 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1371 for (size_t i = 0, e = instruction->InputCount(); i < e; ++i) {
1372 locations->SetInAt(i, Location::Any());
1373 }
1374 locations->SetOut(Location::Any());
1375}
1376
1377void InstructionCodeGeneratorARM64::VisitPhi(HPhi* instruction) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001378 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001379 LOG(FATAL) << "Unreachable";
1380}
1381
1382void LocationsBuilderARM64::VisitReturn(HReturn* instruction) {
1383 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1384 Primitive::Type return_type = instruction->InputAt(0)->GetType();
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001385 locations->SetInAt(0, ARM64ReturnLocation(return_type));
Alexandre Rames5319def2014-10-23 10:03:10 +01001386}
1387
1388void InstructionCodeGeneratorARM64::VisitReturn(HReturn* instruction) {
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001389 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001390 codegen_->GenerateFrameExit();
1391 __ Br(lr);
1392}
1393
1394void LocationsBuilderARM64::VisitReturnVoid(HReturnVoid* instruction) {
1395 instruction->SetLocations(nullptr);
1396}
1397
1398void InstructionCodeGeneratorARM64::VisitReturnVoid(HReturnVoid* instruction) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001399 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001400 codegen_->GenerateFrameExit();
1401 __ Br(lr);
1402}
1403
1404void LocationsBuilderARM64::VisitStoreLocal(HStoreLocal* store) {
1405 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(store);
1406 Primitive::Type field_type = store->InputAt(1)->GetType();
1407 switch (field_type) {
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001408 case Primitive::kPrimNot:
Alexandre Rames5319def2014-10-23 10:03:10 +01001409 case Primitive::kPrimBoolean:
1410 case Primitive::kPrimByte:
1411 case Primitive::kPrimChar:
1412 case Primitive::kPrimShort:
1413 case Primitive::kPrimInt:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001414 case Primitive::kPrimFloat:
Alexandre Rames5319def2014-10-23 10:03:10 +01001415 locations->SetInAt(1, Location::StackSlot(codegen_->GetStackSlot(store->GetLocal())));
1416 break;
1417
1418 case Primitive::kPrimLong:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001419 case Primitive::kPrimDouble:
Alexandre Rames5319def2014-10-23 10:03:10 +01001420 locations->SetInAt(1, Location::DoubleStackSlot(codegen_->GetStackSlot(store->GetLocal())));
1421 break;
1422
1423 default:
1424 LOG(FATAL) << "Unimplemented local type " << field_type;
1425 }
1426}
1427
1428void InstructionCodeGeneratorARM64::VisitStoreLocal(HStoreLocal* store) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001429 UNUSED(store);
Alexandre Rames5319def2014-10-23 10:03:10 +01001430}
1431
1432void LocationsBuilderARM64::VisitSub(HSub* instruction) {
1433 HandleAddSub(instruction);
1434}
1435
1436void InstructionCodeGeneratorARM64::VisitSub(HSub* instruction) {
1437 HandleAddSub(instruction);
1438}
1439
1440void LocationsBuilderARM64::VisitBoundsCheck(HBoundsCheck* instruction) {
1441 LocationSummary* locations =
1442 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
1443 locations->SetInAt(0, Location::RequiresRegister());
1444 locations->SetInAt(1, Location::RequiresRegister());
1445 if (instruction->HasUses()) {
1446 locations->SetOut(Location::SameAsFirstInput());
1447 }
1448}
1449
1450void InstructionCodeGeneratorARM64::VisitBoundsCheck(HBoundsCheck* instruction) {
1451 LocationSummary* locations = instruction->GetLocations();
1452 BoundsCheckSlowPathARM64* slow_path = new (GetGraph()->GetArena()) BoundsCheckSlowPathARM64(
1453 instruction, locations->InAt(0), locations->InAt(1));
1454 codegen_->AddSlowPath(slow_path);
1455
1456 __ Cmp(InputRegisterAt(instruction, 0), InputOperandAt(instruction, 1));
1457 __ B(slow_path->GetEntryLabel(), hs);
1458}
1459
1460void LocationsBuilderARM64::VisitSuspendCheck(HSuspendCheck* instruction) {
1461 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kCallOnSlowPath);
1462}
1463
1464void InstructionCodeGeneratorARM64::VisitSuspendCheck(HSuspendCheck* instruction) {
1465 // TODO: Improve support for suspend checks.
1466 SuspendCheckSlowPathARM64* slow_path =
1467 new (GetGraph()->GetArena()) SuspendCheckSlowPathARM64(instruction, nullptr);
1468 codegen_->AddSlowPath(slow_path);
1469
1470 __ Subs(wSuspend, wSuspend, 1);
1471 __ B(slow_path->GetEntryLabel(), le);
1472 __ Bind(slow_path->GetReturnLabel());
1473}
1474
1475void LocationsBuilderARM64::VisitTemporary(HTemporary* temp) {
1476 temp->SetLocations(nullptr);
1477}
1478
1479void InstructionCodeGeneratorARM64::VisitTemporary(HTemporary* temp) {
1480 // Nothing to do, this is driven by the code generator.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001481 UNUSED(temp);
Alexandre Rames5319def2014-10-23 10:03:10 +01001482}
1483
1484} // namespace arm64
1485} // namespace art