blob: 887a4efa19867c8cabb23f8ca1bd70e1f6b53ef3 [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 Geoffray9574c4b2014-11-12 13:19:37 +0000634 M(And) \
Nicolas Geoffray57a88d42014-11-10 15:09:21 +0000635 M(CheckCast) \
Nicolas Geoffray19a19cf2014-10-22 16:07:05 +0100636 M(ClinitCheck) \
Calin Juravled0d48522014-11-04 16:40:20 +0000637 M(DivZeroCheck) \
Nicolas Geoffray57a88d42014-11-10 15:09:21 +0000638 M(InstanceOf) \
Nicolas Geoffray52839d12014-11-07 17:47:25 +0000639 M(InvokeInterface) \
Nicolas Geoffray19a19cf2014-10-22 16:07:05 +0100640 M(LoadClass) \
Nicolas Geoffrayde58ab22014-11-05 12:46:03 +0000641 M(LoadException) \
Nicolas Geoffrayb5f62b32014-10-30 10:58:41 +0000642 M(LoadString) \
Nicolas Geoffrayb7baf5c2014-11-11 16:29:44 +0000643 M(MonitorOperation) \
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000644 M(Or) \
Nicolas Geoffray19a19cf2014-10-22 16:07:05 +0100645 M(ParallelMove) \
646 M(StaticFieldGet) \
647 M(StaticFieldSet) \
Nicolas Geoffrayde58ab22014-11-05 12:46:03 +0000648 M(Throw) \
Roland Levillaindff1f282014-11-05 14:15:05 +0000649 M(TypeConversion) \
Nicolas Geoffray9574c4b2014-11-12 13:19:37 +0000650 M(Xor) \
Alexandre Rames5319def2014-10-23 10:03:10 +0100651
652#define UNIMPLEMENTED_INSTRUCTION_BREAK_CODE(name) name##UnimplementedInstructionBreakCode
653
654enum UnimplementedInstructionBreakCode {
655#define ENUM_UNIMPLEMENTED_INSTRUCTION(name) UNIMPLEMENTED_INSTRUCTION_BREAK_CODE(name),
656 FOR_EACH_UNIMPLEMENTED_INSTRUCTION(ENUM_UNIMPLEMENTED_INSTRUCTION)
657#undef ENUM_UNIMPLEMENTED_INSTRUCTION
658};
659
660#define DEFINE_UNIMPLEMENTED_INSTRUCTION_VISITORS(name) \
661 void InstructionCodeGeneratorARM64::Visit##name(H##name* instr) { \
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700662 UNUSED(instr); \
Alexandre Rames5319def2014-10-23 10:03:10 +0100663 __ Brk(UNIMPLEMENTED_INSTRUCTION_BREAK_CODE(name)); \
664 } \
665 void LocationsBuilderARM64::Visit##name(H##name* instr) { \
666 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instr); \
667 locations->SetOut(Location::Any()); \
668 }
669 FOR_EACH_UNIMPLEMENTED_INSTRUCTION(DEFINE_UNIMPLEMENTED_INSTRUCTION_VISITORS)
670#undef DEFINE_UNIMPLEMENTED_INSTRUCTION_VISITORS
671
672#undef UNIMPLEMENTED_INSTRUCTION_BREAK_CODE
673
674void LocationsBuilderARM64::HandleAddSub(HBinaryOperation* instr) {
675 DCHECK(instr->IsAdd() || instr->IsSub());
676 DCHECK_EQ(instr->InputCount(), 2U);
677 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instr);
678 Primitive::Type type = instr->GetResultType();
679 switch (type) {
680 case Primitive::kPrimInt:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000681 case Primitive::kPrimLong:
Alexandre Rames5319def2014-10-23 10:03:10 +0100682 locations->SetInAt(0, Location::RequiresRegister());
683 locations->SetInAt(1, Location::RegisterOrConstant(instr->InputAt(1)));
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000684 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100685 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000686
687 case Primitive::kPrimFloat:
688 case Primitive::kPrimDouble:
689 locations->SetInAt(0, Location::RequiresFpuRegister());
690 locations->SetInAt(1, Location::RequiresFpuRegister());
691 locations->SetOut(Location::RequiresFpuRegister());
Alexandre Rames5319def2014-10-23 10:03:10 +0100692 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000693
Alexandre Rames5319def2014-10-23 10:03:10 +0100694 default:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000695 LOG(FATAL) << "Unexpected " << instr->DebugName() << " type " << type;
Alexandre Rames5319def2014-10-23 10:03:10 +0100696 }
697}
698
699void InstructionCodeGeneratorARM64::HandleAddSub(HBinaryOperation* instr) {
700 DCHECK(instr->IsAdd() || instr->IsSub());
701
702 Primitive::Type type = instr->GetType();
Alexandre Rames5319def2014-10-23 10:03:10 +0100703
704 switch (type) {
705 case Primitive::kPrimInt:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000706 case Primitive::kPrimLong: {
707 Register dst = OutputRegister(instr);
708 Register lhs = InputRegisterAt(instr, 0);
709 Operand rhs = InputOperandAt(instr, 1);
Alexandre Rames5319def2014-10-23 10:03:10 +0100710 if (instr->IsAdd()) {
711 __ Add(dst, lhs, rhs);
712 } else {
713 __ Sub(dst, lhs, rhs);
714 }
715 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000716 }
717 case Primitive::kPrimFloat:
718 case Primitive::kPrimDouble: {
719 FPRegister dst = OutputFPRegister(instr);
720 FPRegister lhs = InputFPRegisterAt(instr, 0);
721 FPRegister rhs = InputFPRegisterAt(instr, 1);
722 if (instr->IsAdd()) {
723 __ Fadd(dst, lhs, rhs);
724 } else {
725 __ Fsub(dst, lhs, rhs);
726 }
Alexandre Rames5319def2014-10-23 10:03:10 +0100727 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000728 }
Alexandre Rames5319def2014-10-23 10:03:10 +0100729 default:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000730 LOG(FATAL) << "Unexpected add/sub type " << type;
Alexandre Rames5319def2014-10-23 10:03:10 +0100731 }
732}
733
734void LocationsBuilderARM64::VisitAdd(HAdd* instruction) {
735 HandleAddSub(instruction);
736}
737
738void InstructionCodeGeneratorARM64::VisitAdd(HAdd* instruction) {
739 HandleAddSub(instruction);
740}
741
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000742void LocationsBuilderARM64::VisitArrayGet(HArrayGet* instruction) {
743 LocationSummary* locations =
744 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
745 locations->SetInAt(0, Location::RequiresRegister());
746 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
747 locations->SetOut(Location::RequiresRegister());
748}
749
750void InstructionCodeGeneratorARM64::VisitArrayGet(HArrayGet* instruction) {
751 LocationSummary* locations = instruction->GetLocations();
752 Primitive::Type type = instruction->GetType();
753 Register obj = InputRegisterAt(instruction, 0);
754 Register out = OutputRegister(instruction);
755 Location index = locations->InAt(1);
756 size_t offset = mirror::Array::DataOffset(Primitive::ComponentSize(type)).Uint32Value();
757 MemOperand source(obj);
758 UseScratchRegisterScope temps(GetAssembler()->vixl_masm_);
759
760 if (index.IsConstant()) {
761 offset += Int64ConstantFrom(index) << Primitive::ComponentSizeShift(type);
762 source = MemOperand(obj, offset);
763 } else {
764 Register temp = temps.AcquireSameSizeAs(obj);
765 Register index_reg = RegisterFrom(index, Primitive::kPrimInt);
766 __ Add(temp, obj, Operand(index_reg, LSL, Primitive::ComponentSizeShift(type)));
767 source = MemOperand(temp, offset);
768 }
769
770 codegen_->Load(type, out, source);
771}
772
Alexandre Rames5319def2014-10-23 10:03:10 +0100773void LocationsBuilderARM64::VisitArrayLength(HArrayLength* instruction) {
774 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
775 locations->SetInAt(0, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000776 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100777}
778
779void InstructionCodeGeneratorARM64::VisitArrayLength(HArrayLength* instruction) {
780 __ Ldr(OutputRegister(instruction),
781 HeapOperand(InputRegisterAt(instruction, 0), mirror::Array::LengthOffset()));
782}
783
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000784void LocationsBuilderARM64::VisitArraySet(HArraySet* instruction) {
785 Primitive::Type value_type = instruction->GetComponentType();
786 bool is_object = value_type == Primitive::kPrimNot;
787 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(
788 instruction, is_object ? LocationSummary::kCall : LocationSummary::kNoCall);
789 if (is_object) {
790 InvokeRuntimeCallingConvention calling_convention;
791 locations->SetInAt(0, LocationFrom(calling_convention.GetRegisterAt(0)));
792 locations->SetInAt(1, LocationFrom(calling_convention.GetRegisterAt(1)));
793 locations->SetInAt(2, LocationFrom(calling_convention.GetRegisterAt(2)));
794 } else {
795 locations->SetInAt(0, Location::RequiresRegister());
796 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
797 locations->SetInAt(2, Location::RequiresRegister());
798 }
799}
800
801void InstructionCodeGeneratorARM64::VisitArraySet(HArraySet* instruction) {
802 Primitive::Type value_type = instruction->GetComponentType();
803 if (value_type == Primitive::kPrimNot) {
804 __ Ldr(lr, MemOperand(tr, QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pAputObject).Int32Value()));
805 __ Blr(lr);
806 codegen_->RecordPcInfo(instruction, instruction->GetDexPc());
807 DCHECK(!codegen_->IsLeafMethod());
808 } else {
809 LocationSummary* locations = instruction->GetLocations();
810 Register obj = InputRegisterAt(instruction, 0);
811 Register value = InputRegisterAt(instruction, 2);
812 Location index = locations->InAt(1);
813 size_t offset = mirror::Array::DataOffset(Primitive::ComponentSize(value_type)).Uint32Value();
814 MemOperand destination(obj);
815 UseScratchRegisterScope temps(GetAssembler()->vixl_masm_);
816
817 if (index.IsConstant()) {
818 offset += Int64ConstantFrom(index) << Primitive::ComponentSizeShift(value_type);
819 destination = MemOperand(obj, offset);
820 } else {
821 Register temp = temps.AcquireSameSizeAs(obj);
822 Register index_reg = InputRegisterAt(instruction, 1);
823 __ Add(temp, obj, Operand(index_reg, LSL, Primitive::ComponentSizeShift(value_type)));
824 destination = MemOperand(temp, offset);
825 }
826
827 codegen_->Store(value_type, value, destination);
828 }
829}
830
Alexandre Rames5319def2014-10-23 10:03:10 +0100831void LocationsBuilderARM64::VisitCompare(HCompare* instruction) {
832 LocationSummary* locations =
833 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
834 locations->SetInAt(0, Location::RequiresRegister());
835 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000836 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100837}
838
839void InstructionCodeGeneratorARM64::VisitCompare(HCompare* instruction) {
840 Primitive::Type in_type = instruction->InputAt(0)->GetType();
841
842 DCHECK_EQ(in_type, Primitive::kPrimLong);
843 switch (in_type) {
844 case Primitive::kPrimLong: {
845 vixl::Label done;
846 Register result = OutputRegister(instruction);
847 Register left = InputRegisterAt(instruction, 0);
848 Operand right = InputOperandAt(instruction, 1);
849 __ Subs(result, left, right);
850 __ B(eq, &done);
851 __ Mov(result, 1);
852 __ Cneg(result, result, le);
853 __ Bind(&done);
854 break;
855 }
856 default:
857 LOG(FATAL) << "Unimplemented compare type " << in_type;
858 }
859}
860
861void LocationsBuilderARM64::VisitCondition(HCondition* instruction) {
862 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
863 locations->SetInAt(0, Location::RequiresRegister());
864 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
865 if (instruction->NeedsMaterialization()) {
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000866 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100867 }
868}
869
870void InstructionCodeGeneratorARM64::VisitCondition(HCondition* instruction) {
871 if (!instruction->NeedsMaterialization()) {
872 return;
873 }
874
875 LocationSummary* locations = instruction->GetLocations();
876 Register lhs = InputRegisterAt(instruction, 0);
877 Operand rhs = InputOperandAt(instruction, 1);
878 Register res = RegisterFrom(locations->Out(), instruction->GetType());
879 Condition cond = ARM64Condition(instruction->GetCondition());
880
881 __ Cmp(lhs, rhs);
882 __ Csel(res, vixl::Assembler::AppropriateZeroRegFor(res), Operand(1), InvertCondition(cond));
883}
884
885#define FOR_EACH_CONDITION_INSTRUCTION(M) \
886 M(Equal) \
887 M(NotEqual) \
888 M(LessThan) \
889 M(LessThanOrEqual) \
890 M(GreaterThan) \
891 M(GreaterThanOrEqual)
892#define DEFINE_CONDITION_VISITORS(Name) \
893void LocationsBuilderARM64::Visit##Name(H##Name* comp) { VisitCondition(comp); } \
894void InstructionCodeGeneratorARM64::Visit##Name(H##Name* comp) { VisitCondition(comp); }
895FOR_EACH_CONDITION_INSTRUCTION(DEFINE_CONDITION_VISITORS)
896#undef FOR_EACH_CONDITION_INSTRUCTION
897
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000898void LocationsBuilderARM64::VisitDiv(HDiv* div) {
899 LocationSummary* locations =
900 new (GetGraph()->GetArena()) LocationSummary(div, LocationSummary::kNoCall);
901 switch (div->GetResultType()) {
902 case Primitive::kPrimInt:
903 case Primitive::kPrimLong:
904 locations->SetInAt(0, Location::RequiresRegister());
905 locations->SetInAt(1, Location::RequiresRegister());
906 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
907 break;
908
909 case Primitive::kPrimFloat:
910 case Primitive::kPrimDouble:
911 locations->SetInAt(0, Location::RequiresFpuRegister());
912 locations->SetInAt(1, Location::RequiresFpuRegister());
913 locations->SetOut(Location::RequiresFpuRegister(), Location::kNoOutputOverlap);
914 break;
915
916 default:
917 LOG(FATAL) << "Unexpected div type " << div->GetResultType();
918 }
919}
920
921void InstructionCodeGeneratorARM64::VisitDiv(HDiv* div) {
922 Primitive::Type type = div->GetResultType();
923 switch (type) {
924 case Primitive::kPrimInt:
925 case Primitive::kPrimLong:
926 __ Sdiv(OutputRegister(div), InputRegisterAt(div, 0), InputRegisterAt(div, 1));
927 break;
928
929 case Primitive::kPrimFloat:
930 case Primitive::kPrimDouble:
931 __ Fdiv(OutputFPRegister(div), InputFPRegisterAt(div, 0), InputFPRegisterAt(div, 1));
932 break;
933
934 default:
935 LOG(FATAL) << "Unexpected div type " << type;
936 }
937}
938
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000939void LocationsBuilderARM64::VisitDoubleConstant(HDoubleConstant* constant) {
940 LocationSummary* locations =
941 new (GetGraph()->GetArena()) LocationSummary(constant, LocationSummary::kNoCall);
942 locations->SetOut(Location::ConstantLocation(constant));
943}
944
945void InstructionCodeGeneratorARM64::VisitDoubleConstant(HDoubleConstant* constant) {
946 UNUSED(constant);
947 // Will be generated at use site.
948}
949
Alexandre Rames5319def2014-10-23 10:03:10 +0100950void LocationsBuilderARM64::VisitExit(HExit* exit) {
951 exit->SetLocations(nullptr);
952}
953
954void InstructionCodeGeneratorARM64::VisitExit(HExit* exit) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700955 UNUSED(exit);
Alexandre Rames5319def2014-10-23 10:03:10 +0100956 if (kIsDebugBuild) {
957 down_cast<Arm64Assembler*>(GetAssembler())->Comment("Unreachable");
958 __ Brk(0); // TODO: Introduce special markers for such code locations.
959 }
960}
961
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000962void LocationsBuilderARM64::VisitFloatConstant(HFloatConstant* constant) {
963 LocationSummary* locations =
964 new (GetGraph()->GetArena()) LocationSummary(constant, LocationSummary::kNoCall);
965 locations->SetOut(Location::ConstantLocation(constant));
966}
967
968void InstructionCodeGeneratorARM64::VisitFloatConstant(HFloatConstant* constant) {
969 UNUSED(constant);
970 // Will be generated at use site.
971}
972
Alexandre Rames5319def2014-10-23 10:03:10 +0100973void LocationsBuilderARM64::VisitGoto(HGoto* got) {
974 got->SetLocations(nullptr);
975}
976
977void InstructionCodeGeneratorARM64::VisitGoto(HGoto* got) {
978 HBasicBlock* successor = got->GetSuccessor();
979 // TODO: Support for suspend checks emission.
980 if (!codegen_->GoesToNextBlock(got->GetBlock(), successor)) {
981 __ B(codegen_->GetLabelOf(successor));
982 }
983}
984
985void LocationsBuilderARM64::VisitIf(HIf* if_instr) {
986 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(if_instr);
987 HInstruction* cond = if_instr->InputAt(0);
988 DCHECK(cond->IsCondition());
989 if (cond->AsCondition()->NeedsMaterialization()) {
990 locations->SetInAt(0, Location::RequiresRegister());
991 }
992}
993
994void InstructionCodeGeneratorARM64::VisitIf(HIf* if_instr) {
995 HInstruction* cond = if_instr->InputAt(0);
996 DCHECK(cond->IsCondition());
997 HCondition* condition = cond->AsCondition();
998 vixl::Label* true_target = codegen_->GetLabelOf(if_instr->IfTrueSuccessor());
999 vixl::Label* false_target = codegen_->GetLabelOf(if_instr->IfFalseSuccessor());
1000
1001 // TODO: Support constant condition input in VisitIf.
1002
1003 if (condition->NeedsMaterialization()) {
1004 // The condition instruction has been materialized, compare the output to 0.
1005 Location cond_val = if_instr->GetLocations()->InAt(0);
1006 DCHECK(cond_val.IsRegister());
1007 __ Cbnz(InputRegisterAt(if_instr, 0), true_target);
1008
1009 } else {
1010 // The condition instruction has not been materialized, use its inputs as
1011 // the comparison and its condition as the branch condition.
1012 Register lhs = InputRegisterAt(condition, 0);
1013 Operand rhs = InputOperandAt(condition, 1);
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001014 Condition arm64_cond = ARM64Condition(condition->GetCondition());
1015 if ((arm64_cond == eq || arm64_cond == ne) && rhs.IsImmediate() && (rhs.immediate() == 0)) {
1016 if (arm64_cond == eq) {
Alexandre Rames5319def2014-10-23 10:03:10 +01001017 __ Cbz(lhs, true_target);
1018 } else {
1019 __ Cbnz(lhs, true_target);
1020 }
1021 } else {
1022 __ Cmp(lhs, rhs);
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001023 __ B(arm64_cond, true_target);
Alexandre Rames5319def2014-10-23 10:03:10 +01001024 }
1025 }
1026
1027 if (!codegen_->GoesToNextBlock(if_instr->GetBlock(), if_instr->IfFalseSuccessor())) {
1028 __ B(false_target);
1029 }
1030}
1031
1032void LocationsBuilderARM64::VisitInstanceFieldGet(HInstanceFieldGet* instruction) {
1033 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1034 locations->SetInAt(0, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +00001035 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +01001036}
1037
1038void InstructionCodeGeneratorARM64::VisitInstanceFieldGet(HInstanceFieldGet* instruction) {
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001039 MemOperand field = MemOperand(InputRegisterAt(instruction, 0),
1040 instruction->GetFieldOffset().Uint32Value());
1041 codegen_->Load(instruction->GetType(), OutputRegister(instruction), field);
Alexandre Rames5319def2014-10-23 10:03:10 +01001042}
1043
1044void LocationsBuilderARM64::VisitInstanceFieldSet(HInstanceFieldSet* instruction) {
1045 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1046 locations->SetInAt(0, Location::RequiresRegister());
1047 locations->SetInAt(1, Location::RequiresRegister());
1048}
1049
1050void InstructionCodeGeneratorARM64::VisitInstanceFieldSet(HInstanceFieldSet* instruction) {
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001051 Primitive::Type field_type = instruction->GetFieldType();
Alexandre Rames5319def2014-10-23 10:03:10 +01001052 Register value = InputRegisterAt(instruction, 1);
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001053 Register obj = InputRegisterAt(instruction, 0);
1054 codegen_->Store(field_type, value, MemOperand(obj, instruction->GetFieldOffset().Uint32Value()));
1055 if (field_type == Primitive::kPrimNot) {
1056 codegen_->MarkGCCard(obj, value);
Alexandre Rames5319def2014-10-23 10:03:10 +01001057 }
1058}
1059
1060void LocationsBuilderARM64::VisitIntConstant(HIntConstant* constant) {
1061 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(constant);
1062 locations->SetOut(Location::ConstantLocation(constant));
1063}
1064
1065void InstructionCodeGeneratorARM64::VisitIntConstant(HIntConstant* constant) {
1066 // Will be generated at use site.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001067 UNUSED(constant);
Alexandre Rames5319def2014-10-23 10:03:10 +01001068}
1069
1070void LocationsBuilderARM64::VisitInvokeStatic(HInvokeStatic* invoke) {
1071 HandleInvoke(invoke);
1072}
1073
1074void LocationsBuilderARM64::VisitInvokeVirtual(HInvokeVirtual* invoke) {
1075 HandleInvoke(invoke);
1076}
1077
1078void LocationsBuilderARM64::HandleInvoke(HInvoke* invoke) {
1079 LocationSummary* locations =
1080 new (GetGraph()->GetArena()) LocationSummary(invoke, LocationSummary::kCall);
1081 locations->AddTemp(LocationFrom(x0));
1082
1083 InvokeDexCallingConventionVisitor calling_convention_visitor;
1084 for (size_t i = 0; i < invoke->InputCount(); i++) {
1085 HInstruction* input = invoke->InputAt(i);
1086 locations->SetInAt(i, calling_convention_visitor.GetNextLocation(input->GetType()));
1087 }
1088
1089 Primitive::Type return_type = invoke->GetType();
1090 if (return_type != Primitive::kPrimVoid) {
1091 locations->SetOut(calling_convention_visitor.GetReturnLocation(return_type));
1092 }
1093}
1094
1095void InstructionCodeGeneratorARM64::VisitInvokeStatic(HInvokeStatic* invoke) {
1096 Register temp = WRegisterFrom(invoke->GetLocations()->GetTemp(0));
1097 // Make sure that ArtMethod* is passed in W0 as per the calling convention
1098 DCHECK(temp.Is(w0));
1099 size_t index_in_cache = mirror::Array::DataOffset(kHeapRefSize).SizeValue() +
1100 invoke->GetIndexInDexCache() * kHeapRefSize;
1101
1102 // TODO: Implement all kinds of calls:
1103 // 1) boot -> boot
1104 // 2) app -> boot
1105 // 3) app -> app
1106 //
1107 // Currently we implement the app -> app logic, which looks up in the resolve cache.
1108
1109 // temp = method;
1110 __ Ldr(temp, MemOperand(sp, kCurrentMethodStackOffset));
1111 // temp = temp->dex_cache_resolved_methods_;
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001112 __ Ldr(temp, MemOperand(temp.X(),
1113 mirror::ArtMethod::DexCacheResolvedMethodsOffset().SizeValue()));
Alexandre Rames5319def2014-10-23 10:03:10 +01001114 // temp = temp[index_in_cache];
1115 __ Ldr(temp, MemOperand(temp.X(), index_in_cache));
1116 // lr = temp->entry_point_from_quick_compiled_code_;
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001117 __ Ldr(lr, MemOperand(temp.X(),
1118 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().SizeValue()));
Alexandre Rames5319def2014-10-23 10:03:10 +01001119 // lr();
1120 __ Blr(lr);
1121
1122 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1123 DCHECK(!codegen_->IsLeafMethod());
1124}
1125
1126void InstructionCodeGeneratorARM64::VisitInvokeVirtual(HInvokeVirtual* invoke) {
1127 LocationSummary* locations = invoke->GetLocations();
1128 Location receiver = locations->InAt(0);
1129 Register temp = XRegisterFrom(invoke->GetLocations()->GetTemp(0));
1130 size_t method_offset = mirror::Class::EmbeddedVTableOffset().SizeValue() +
1131 invoke->GetVTableIndex() * sizeof(mirror::Class::VTableEntry);
1132 Offset class_offset = mirror::Object::ClassOffset();
1133 Offset entry_point = mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset();
1134
1135 // temp = object->GetClass();
1136 if (receiver.IsStackSlot()) {
1137 __ Ldr(temp.W(), MemOperand(sp, receiver.GetStackIndex()));
1138 __ Ldr(temp.W(), MemOperand(temp, class_offset.SizeValue()));
1139 } else {
1140 DCHECK(receiver.IsRegister());
1141 __ Ldr(temp.W(), HeapOperandFrom(receiver, Primitive::kPrimNot,
1142 class_offset));
1143 }
1144 // temp = temp->GetMethodAt(method_offset);
1145 __ Ldr(temp.W(), MemOperand(temp, method_offset));
1146 // lr = temp->GetEntryPoint();
1147 __ Ldr(lr, MemOperand(temp, entry_point.SizeValue()));
1148 // lr();
1149 __ Blr(lr);
1150 DCHECK(!codegen_->IsLeafMethod());
1151 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1152}
1153
1154void LocationsBuilderARM64::VisitLoadLocal(HLoadLocal* load) {
1155 load->SetLocations(nullptr);
1156}
1157
1158void InstructionCodeGeneratorARM64::VisitLoadLocal(HLoadLocal* load) {
1159 // Nothing to do, this is driven by the code generator.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001160 UNUSED(load);
Alexandre Rames5319def2014-10-23 10:03:10 +01001161}
1162
1163void LocationsBuilderARM64::VisitLocal(HLocal* local) {
1164 local->SetLocations(nullptr);
1165}
1166
1167void InstructionCodeGeneratorARM64::VisitLocal(HLocal* local) {
1168 DCHECK_EQ(local->GetBlock(), GetGraph()->GetEntryBlock());
1169}
1170
1171void LocationsBuilderARM64::VisitLongConstant(HLongConstant* constant) {
1172 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(constant);
1173 locations->SetOut(Location::ConstantLocation(constant));
1174}
1175
1176void InstructionCodeGeneratorARM64::VisitLongConstant(HLongConstant* constant) {
1177 // Will be generated at use site.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001178 UNUSED(constant);
Alexandre Rames5319def2014-10-23 10:03:10 +01001179}
1180
Alexandre Rames42d641b2014-10-27 14:00:51 +00001181void LocationsBuilderARM64::VisitMul(HMul* mul) {
1182 LocationSummary* locations =
1183 new (GetGraph()->GetArena()) LocationSummary(mul, LocationSummary::kNoCall);
1184 switch (mul->GetResultType()) {
1185 case Primitive::kPrimInt:
1186 case Primitive::kPrimLong:
1187 locations->SetInAt(0, Location::RequiresRegister());
1188 locations->SetInAt(1, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +00001189 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames42d641b2014-10-27 14:00:51 +00001190 break;
1191
1192 case Primitive::kPrimFloat:
1193 case Primitive::kPrimDouble:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001194 locations->SetInAt(0, Location::RequiresFpuRegister());
1195 locations->SetInAt(1, Location::RequiresFpuRegister());
1196 locations->SetOut(Location::RequiresFpuRegister());
Alexandre Rames42d641b2014-10-27 14:00:51 +00001197 break;
1198
1199 default:
1200 LOG(FATAL) << "Unexpected mul type " << mul->GetResultType();
1201 }
1202}
1203
1204void InstructionCodeGeneratorARM64::VisitMul(HMul* mul) {
1205 switch (mul->GetResultType()) {
1206 case Primitive::kPrimInt:
1207 case Primitive::kPrimLong:
1208 __ Mul(OutputRegister(mul), InputRegisterAt(mul, 0), InputRegisterAt(mul, 1));
1209 break;
1210
1211 case Primitive::kPrimFloat:
1212 case Primitive::kPrimDouble:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001213 __ Fmul(OutputFPRegister(mul), InputFPRegisterAt(mul, 0), InputFPRegisterAt(mul, 1));
Alexandre Rames42d641b2014-10-27 14:00:51 +00001214 break;
1215
1216 default:
1217 LOG(FATAL) << "Unexpected mul type " << mul->GetResultType();
1218 }
1219}
1220
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001221void LocationsBuilderARM64::VisitNeg(HNeg* neg) {
1222 LocationSummary* locations =
1223 new (GetGraph()->GetArena()) LocationSummary(neg, LocationSummary::kNoCall);
1224 switch (neg->GetResultType()) {
1225 case Primitive::kPrimInt:
1226 case Primitive::kPrimLong: {
1227 locations->SetInAt(0, Location::RegisterOrConstant(neg->InputAt(0)));
1228 locations->SetOut(Location::RequiresRegister());
1229 break;
1230 }
1231
1232 case Primitive::kPrimFloat:
1233 case Primitive::kPrimDouble:
1234 LOG(FATAL) << "Not yet implemented neg type " << neg->GetResultType();
1235 break;
1236
1237 default:
1238 LOG(FATAL) << "Unexpected neg type " << neg->GetResultType();
1239 }
1240}
1241
1242void InstructionCodeGeneratorARM64::VisitNeg(HNeg* neg) {
1243 switch (neg->GetResultType()) {
1244 case Primitive::kPrimInt:
1245 case Primitive::kPrimLong:
1246 __ Neg(OutputRegister(neg), InputOperandAt(neg, 0));
1247 break;
1248
1249 case Primitive::kPrimFloat:
1250 case Primitive::kPrimDouble:
1251 LOG(FATAL) << "Not yet implemented neg type " << neg->GetResultType();
1252 break;
1253
1254 default:
1255 LOG(FATAL) << "Unexpected neg type " << neg->GetResultType();
1256 }
1257}
1258
1259void LocationsBuilderARM64::VisitNewArray(HNewArray* instruction) {
1260 LocationSummary* locations =
1261 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kCall);
1262 InvokeRuntimeCallingConvention calling_convention;
1263 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(0)));
1264 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(1)));
1265 locations->SetOut(LocationFrom(x0));
1266 locations->SetInAt(0, LocationFrom(calling_convention.GetRegisterAt(2)));
1267}
1268
1269void InstructionCodeGeneratorARM64::VisitNewArray(HNewArray* instruction) {
1270 LocationSummary* locations = instruction->GetLocations();
1271 InvokeRuntimeCallingConvention calling_convention;
1272 Register type_index = RegisterFrom(locations->GetTemp(0), Primitive::kPrimInt);
1273 DCHECK(type_index.Is(w0));
1274 Register current_method = RegisterFrom(locations->GetTemp(1), Primitive::kPrimNot);
1275 DCHECK(current_method.Is(w1));
1276 __ Ldr(current_method, MemOperand(sp, kCurrentMethodStackOffset));
1277 __ Mov(type_index, instruction->GetTypeIndex());
1278 int32_t quick_entrypoint_offset =
1279 QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pAllocArrayWithAccessCheck).Int32Value();
1280 __ Ldr(lr, MemOperand(tr, quick_entrypoint_offset));
1281 __ Blr(lr);
1282 codegen_->RecordPcInfo(instruction, instruction->GetDexPc());
1283 DCHECK(!codegen_->IsLeafMethod());
1284}
1285
Alexandre Rames5319def2014-10-23 10:03:10 +01001286void LocationsBuilderARM64::VisitNewInstance(HNewInstance* instruction) {
1287 LocationSummary* locations =
1288 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kCall);
1289 InvokeRuntimeCallingConvention calling_convention;
1290 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(0)));
1291 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(1)));
1292 locations->SetOut(calling_convention.GetReturnLocation(Primitive::kPrimNot));
1293}
1294
1295void InstructionCodeGeneratorARM64::VisitNewInstance(HNewInstance* instruction) {
1296 LocationSummary* locations = instruction->GetLocations();
1297 Register type_index = RegisterFrom(locations->GetTemp(0), Primitive::kPrimInt);
1298 DCHECK(type_index.Is(w0));
1299 Register current_method = RegisterFrom(locations->GetTemp(1), Primitive::kPrimNot);
1300 DCHECK(current_method.Is(w1));
1301 __ Ldr(current_method, MemOperand(sp, kCurrentMethodStackOffset));
1302 __ Mov(type_index, instruction->GetTypeIndex());
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001303 int32_t quick_entrypoint_offset =
1304 QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pAllocObjectWithAccessCheck).Int32Value();
1305 __ Ldr(lr, MemOperand(tr, quick_entrypoint_offset));
Alexandre Rames5319def2014-10-23 10:03:10 +01001306 __ Blr(lr);
1307 codegen_->RecordPcInfo(instruction, instruction->GetDexPc());
1308 DCHECK(!codegen_->IsLeafMethod());
1309}
1310
1311void LocationsBuilderARM64::VisitNot(HNot* instruction) {
1312 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
Alexandre Rames4e596512014-11-07 15:56:50 +00001313 locations->SetInAt(0, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +00001314 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +01001315}
1316
1317void InstructionCodeGeneratorARM64::VisitNot(HNot* instruction) {
1318 switch (instruction->InputAt(0)->GetType()) {
1319 case Primitive::kPrimBoolean:
1320 __ Eor(OutputRegister(instruction), InputRegisterAt(instruction, 0), Operand(1));
1321 break;
1322
1323 case Primitive::kPrimInt:
Alexandre Rames5319def2014-10-23 10:03:10 +01001324 case Primitive::kPrimLong:
Roland Levillain55dcfb52014-10-24 18:09:09 +01001325 __ Mvn(OutputRegister(instruction), InputOperandAt(instruction, 0));
Alexandre Rames5319def2014-10-23 10:03:10 +01001326 break;
1327
1328 default:
1329 LOG(FATAL) << "Unexpected type for not operation " << instruction->GetResultType();
1330 }
1331}
1332
1333void LocationsBuilderARM64::VisitNullCheck(HNullCheck* instruction) {
1334 LocationSummary* locations =
1335 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
1336 locations->SetInAt(0, Location::RequiresRegister());
1337 if (instruction->HasUses()) {
1338 locations->SetOut(Location::SameAsFirstInput());
1339 }
1340}
1341
1342void InstructionCodeGeneratorARM64::VisitNullCheck(HNullCheck* instruction) {
1343 SlowPathCodeARM64* slow_path = new (GetGraph()->GetArena()) NullCheckSlowPathARM64(instruction);
1344 codegen_->AddSlowPath(slow_path);
1345
1346 LocationSummary* locations = instruction->GetLocations();
1347 Location obj = locations->InAt(0);
1348 if (obj.IsRegister()) {
1349 __ Cbz(RegisterFrom(obj, instruction->InputAt(0)->GetType()), slow_path->GetEntryLabel());
1350 } else {
1351 DCHECK(obj.IsConstant()) << obj;
1352 DCHECK_EQ(obj.GetConstant()->AsIntConstant()->GetValue(), 0);
1353 __ B(slow_path->GetEntryLabel());
1354 }
1355}
1356
1357void LocationsBuilderARM64::VisitParameterValue(HParameterValue* instruction) {
1358 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1359 Location location = parameter_visitor_.GetNextLocation(instruction->GetType());
1360 if (location.IsStackSlot()) {
1361 location = Location::StackSlot(location.GetStackIndex() + codegen_->GetFrameSize());
1362 } else if (location.IsDoubleStackSlot()) {
1363 location = Location::DoubleStackSlot(location.GetStackIndex() + codegen_->GetFrameSize());
1364 }
1365 locations->SetOut(location);
1366}
1367
1368void InstructionCodeGeneratorARM64::VisitParameterValue(HParameterValue* instruction) {
1369 // Nothing to do, the parameter is already at its location.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001370 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001371}
1372
1373void LocationsBuilderARM64::VisitPhi(HPhi* instruction) {
1374 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1375 for (size_t i = 0, e = instruction->InputCount(); i < e; ++i) {
1376 locations->SetInAt(i, Location::Any());
1377 }
1378 locations->SetOut(Location::Any());
1379}
1380
1381void InstructionCodeGeneratorARM64::VisitPhi(HPhi* instruction) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001382 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001383 LOG(FATAL) << "Unreachable";
1384}
1385
1386void LocationsBuilderARM64::VisitReturn(HReturn* instruction) {
1387 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1388 Primitive::Type return_type = instruction->InputAt(0)->GetType();
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001389 locations->SetInAt(0, ARM64ReturnLocation(return_type));
Alexandre Rames5319def2014-10-23 10:03:10 +01001390}
1391
1392void InstructionCodeGeneratorARM64::VisitReturn(HReturn* instruction) {
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001393 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001394 codegen_->GenerateFrameExit();
1395 __ Br(lr);
1396}
1397
1398void LocationsBuilderARM64::VisitReturnVoid(HReturnVoid* instruction) {
1399 instruction->SetLocations(nullptr);
1400}
1401
1402void InstructionCodeGeneratorARM64::VisitReturnVoid(HReturnVoid* instruction) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001403 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001404 codegen_->GenerateFrameExit();
1405 __ Br(lr);
1406}
1407
1408void LocationsBuilderARM64::VisitStoreLocal(HStoreLocal* store) {
1409 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(store);
1410 Primitive::Type field_type = store->InputAt(1)->GetType();
1411 switch (field_type) {
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001412 case Primitive::kPrimNot:
Alexandre Rames5319def2014-10-23 10:03:10 +01001413 case Primitive::kPrimBoolean:
1414 case Primitive::kPrimByte:
1415 case Primitive::kPrimChar:
1416 case Primitive::kPrimShort:
1417 case Primitive::kPrimInt:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001418 case Primitive::kPrimFloat:
Alexandre Rames5319def2014-10-23 10:03:10 +01001419 locations->SetInAt(1, Location::StackSlot(codegen_->GetStackSlot(store->GetLocal())));
1420 break;
1421
1422 case Primitive::kPrimLong:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001423 case Primitive::kPrimDouble:
Alexandre Rames5319def2014-10-23 10:03:10 +01001424 locations->SetInAt(1, Location::DoubleStackSlot(codegen_->GetStackSlot(store->GetLocal())));
1425 break;
1426
1427 default:
1428 LOG(FATAL) << "Unimplemented local type " << field_type;
1429 }
1430}
1431
1432void InstructionCodeGeneratorARM64::VisitStoreLocal(HStoreLocal* store) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001433 UNUSED(store);
Alexandre Rames5319def2014-10-23 10:03:10 +01001434}
1435
1436void LocationsBuilderARM64::VisitSub(HSub* instruction) {
1437 HandleAddSub(instruction);
1438}
1439
1440void InstructionCodeGeneratorARM64::VisitSub(HSub* instruction) {
1441 HandleAddSub(instruction);
1442}
1443
1444void LocationsBuilderARM64::VisitBoundsCheck(HBoundsCheck* instruction) {
1445 LocationSummary* locations =
1446 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
1447 locations->SetInAt(0, Location::RequiresRegister());
1448 locations->SetInAt(1, Location::RequiresRegister());
1449 if (instruction->HasUses()) {
1450 locations->SetOut(Location::SameAsFirstInput());
1451 }
1452}
1453
1454void InstructionCodeGeneratorARM64::VisitBoundsCheck(HBoundsCheck* instruction) {
1455 LocationSummary* locations = instruction->GetLocations();
1456 BoundsCheckSlowPathARM64* slow_path = new (GetGraph()->GetArena()) BoundsCheckSlowPathARM64(
1457 instruction, locations->InAt(0), locations->InAt(1));
1458 codegen_->AddSlowPath(slow_path);
1459
1460 __ Cmp(InputRegisterAt(instruction, 0), InputOperandAt(instruction, 1));
1461 __ B(slow_path->GetEntryLabel(), hs);
1462}
1463
1464void LocationsBuilderARM64::VisitSuspendCheck(HSuspendCheck* instruction) {
1465 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kCallOnSlowPath);
1466}
1467
1468void InstructionCodeGeneratorARM64::VisitSuspendCheck(HSuspendCheck* instruction) {
1469 // TODO: Improve support for suspend checks.
1470 SuspendCheckSlowPathARM64* slow_path =
1471 new (GetGraph()->GetArena()) SuspendCheckSlowPathARM64(instruction, nullptr);
1472 codegen_->AddSlowPath(slow_path);
1473
1474 __ Subs(wSuspend, wSuspend, 1);
1475 __ B(slow_path->GetEntryLabel(), le);
1476 __ Bind(slow_path->GetReturnLabel());
1477}
1478
1479void LocationsBuilderARM64::VisitTemporary(HTemporary* temp) {
1480 temp->SetLocations(nullptr);
1481}
1482
1483void InstructionCodeGeneratorARM64::VisitTemporary(HTemporary* temp) {
1484 // Nothing to do, this is driven by the code generator.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001485 UNUSED(temp);
Alexandre Rames5319def2014-10-23 10:03:10 +01001486}
1487
1488} // namespace arm64
1489} // namespace art