blob: 95c2fe7fa61199d3ebcd77afdbf864cffa59b92a [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 Geoffrayb7baf5c2014-11-11 16:29:44 +0000642 M(MonitorOperation) \
Nicolas Geoffray19a19cf2014-10-22 16:07:05 +0100643 M(ParallelMove) \
644 M(StaticFieldGet) \
645 M(StaticFieldSet) \
Nicolas Geoffrayde58ab22014-11-05 12:46:03 +0000646 M(Throw) \
Roland Levillaindff1f282014-11-05 14:15:05 +0000647 M(TypeConversion) \
Alexandre Rames5319def2014-10-23 10:03:10 +0100648
649#define UNIMPLEMENTED_INSTRUCTION_BREAK_CODE(name) name##UnimplementedInstructionBreakCode
650
651enum UnimplementedInstructionBreakCode {
652#define ENUM_UNIMPLEMENTED_INSTRUCTION(name) UNIMPLEMENTED_INSTRUCTION_BREAK_CODE(name),
653 FOR_EACH_UNIMPLEMENTED_INSTRUCTION(ENUM_UNIMPLEMENTED_INSTRUCTION)
654#undef ENUM_UNIMPLEMENTED_INSTRUCTION
655};
656
657#define DEFINE_UNIMPLEMENTED_INSTRUCTION_VISITORS(name) \
658 void InstructionCodeGeneratorARM64::Visit##name(H##name* instr) { \
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700659 UNUSED(instr); \
Alexandre Rames5319def2014-10-23 10:03:10 +0100660 __ Brk(UNIMPLEMENTED_INSTRUCTION_BREAK_CODE(name)); \
661 } \
662 void LocationsBuilderARM64::Visit##name(H##name* instr) { \
663 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instr); \
664 locations->SetOut(Location::Any()); \
665 }
666 FOR_EACH_UNIMPLEMENTED_INSTRUCTION(DEFINE_UNIMPLEMENTED_INSTRUCTION_VISITORS)
667#undef DEFINE_UNIMPLEMENTED_INSTRUCTION_VISITORS
668
669#undef UNIMPLEMENTED_INSTRUCTION_BREAK_CODE
670
671void LocationsBuilderARM64::HandleAddSub(HBinaryOperation* instr) {
672 DCHECK(instr->IsAdd() || instr->IsSub());
673 DCHECK_EQ(instr->InputCount(), 2U);
674 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instr);
675 Primitive::Type type = instr->GetResultType();
676 switch (type) {
677 case Primitive::kPrimInt:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000678 case Primitive::kPrimLong:
Alexandre Rames5319def2014-10-23 10:03:10 +0100679 locations->SetInAt(0, Location::RequiresRegister());
680 locations->SetInAt(1, Location::RegisterOrConstant(instr->InputAt(1)));
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000681 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100682 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000683
684 case Primitive::kPrimFloat:
685 case Primitive::kPrimDouble:
686 locations->SetInAt(0, Location::RequiresFpuRegister());
687 locations->SetInAt(1, Location::RequiresFpuRegister());
688 locations->SetOut(Location::RequiresFpuRegister());
Alexandre Rames5319def2014-10-23 10:03:10 +0100689 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000690
Alexandre Rames5319def2014-10-23 10:03:10 +0100691 default:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000692 LOG(FATAL) << "Unexpected " << instr->DebugName() << " type " << type;
Alexandre Rames5319def2014-10-23 10:03:10 +0100693 }
694}
695
696void InstructionCodeGeneratorARM64::HandleAddSub(HBinaryOperation* instr) {
697 DCHECK(instr->IsAdd() || instr->IsSub());
698
699 Primitive::Type type = instr->GetType();
Alexandre Rames5319def2014-10-23 10:03:10 +0100700
701 switch (type) {
702 case Primitive::kPrimInt:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000703 case Primitive::kPrimLong: {
704 Register dst = OutputRegister(instr);
705 Register lhs = InputRegisterAt(instr, 0);
706 Operand rhs = InputOperandAt(instr, 1);
Alexandre Rames5319def2014-10-23 10:03:10 +0100707 if (instr->IsAdd()) {
708 __ Add(dst, lhs, rhs);
709 } else {
710 __ Sub(dst, lhs, rhs);
711 }
712 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000713 }
714 case Primitive::kPrimFloat:
715 case Primitive::kPrimDouble: {
716 FPRegister dst = OutputFPRegister(instr);
717 FPRegister lhs = InputFPRegisterAt(instr, 0);
718 FPRegister rhs = InputFPRegisterAt(instr, 1);
719 if (instr->IsAdd()) {
720 __ Fadd(dst, lhs, rhs);
721 } else {
722 __ Fsub(dst, lhs, rhs);
723 }
Alexandre Rames5319def2014-10-23 10:03:10 +0100724 break;
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000725 }
Alexandre Rames5319def2014-10-23 10:03:10 +0100726 default:
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000727 LOG(FATAL) << "Unexpected add/sub type " << type;
Alexandre Rames5319def2014-10-23 10:03:10 +0100728 }
729}
730
731void LocationsBuilderARM64::VisitAdd(HAdd* instruction) {
732 HandleAddSub(instruction);
733}
734
735void InstructionCodeGeneratorARM64::VisitAdd(HAdd* instruction) {
736 HandleAddSub(instruction);
737}
738
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000739void LocationsBuilderARM64::VisitArrayGet(HArrayGet* instruction) {
740 LocationSummary* locations =
741 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
742 locations->SetInAt(0, Location::RequiresRegister());
743 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
744 locations->SetOut(Location::RequiresRegister());
745}
746
747void InstructionCodeGeneratorARM64::VisitArrayGet(HArrayGet* instruction) {
748 LocationSummary* locations = instruction->GetLocations();
749 Primitive::Type type = instruction->GetType();
750 Register obj = InputRegisterAt(instruction, 0);
751 Register out = OutputRegister(instruction);
752 Location index = locations->InAt(1);
753 size_t offset = mirror::Array::DataOffset(Primitive::ComponentSize(type)).Uint32Value();
754 MemOperand source(obj);
755 UseScratchRegisterScope temps(GetAssembler()->vixl_masm_);
756
757 if (index.IsConstant()) {
758 offset += Int64ConstantFrom(index) << Primitive::ComponentSizeShift(type);
759 source = MemOperand(obj, offset);
760 } else {
761 Register temp = temps.AcquireSameSizeAs(obj);
762 Register index_reg = RegisterFrom(index, Primitive::kPrimInt);
763 __ Add(temp, obj, Operand(index_reg, LSL, Primitive::ComponentSizeShift(type)));
764 source = MemOperand(temp, offset);
765 }
766
767 codegen_->Load(type, out, source);
768}
769
Alexandre Rames5319def2014-10-23 10:03:10 +0100770void LocationsBuilderARM64::VisitArrayLength(HArrayLength* instruction) {
771 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
772 locations->SetInAt(0, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000773 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100774}
775
776void InstructionCodeGeneratorARM64::VisitArrayLength(HArrayLength* instruction) {
777 __ Ldr(OutputRegister(instruction),
778 HeapOperand(InputRegisterAt(instruction, 0), mirror::Array::LengthOffset()));
779}
780
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000781void LocationsBuilderARM64::VisitArraySet(HArraySet* instruction) {
782 Primitive::Type value_type = instruction->GetComponentType();
783 bool is_object = value_type == Primitive::kPrimNot;
784 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(
785 instruction, is_object ? LocationSummary::kCall : LocationSummary::kNoCall);
786 if (is_object) {
787 InvokeRuntimeCallingConvention calling_convention;
788 locations->SetInAt(0, LocationFrom(calling_convention.GetRegisterAt(0)));
789 locations->SetInAt(1, LocationFrom(calling_convention.GetRegisterAt(1)));
790 locations->SetInAt(2, LocationFrom(calling_convention.GetRegisterAt(2)));
791 } else {
792 locations->SetInAt(0, Location::RequiresRegister());
793 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
794 locations->SetInAt(2, Location::RequiresRegister());
795 }
796}
797
798void InstructionCodeGeneratorARM64::VisitArraySet(HArraySet* instruction) {
799 Primitive::Type value_type = instruction->GetComponentType();
800 if (value_type == Primitive::kPrimNot) {
801 __ Ldr(lr, MemOperand(tr, QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pAputObject).Int32Value()));
802 __ Blr(lr);
803 codegen_->RecordPcInfo(instruction, instruction->GetDexPc());
804 DCHECK(!codegen_->IsLeafMethod());
805 } else {
806 LocationSummary* locations = instruction->GetLocations();
807 Register obj = InputRegisterAt(instruction, 0);
808 Register value = InputRegisterAt(instruction, 2);
809 Location index = locations->InAt(1);
810 size_t offset = mirror::Array::DataOffset(Primitive::ComponentSize(value_type)).Uint32Value();
811 MemOperand destination(obj);
812 UseScratchRegisterScope temps(GetAssembler()->vixl_masm_);
813
814 if (index.IsConstant()) {
815 offset += Int64ConstantFrom(index) << Primitive::ComponentSizeShift(value_type);
816 destination = MemOperand(obj, offset);
817 } else {
818 Register temp = temps.AcquireSameSizeAs(obj);
819 Register index_reg = InputRegisterAt(instruction, 1);
820 __ Add(temp, obj, Operand(index_reg, LSL, Primitive::ComponentSizeShift(value_type)));
821 destination = MemOperand(temp, offset);
822 }
823
824 codegen_->Store(value_type, value, destination);
825 }
826}
827
Alexandre Rames5319def2014-10-23 10:03:10 +0100828void LocationsBuilderARM64::VisitCompare(HCompare* instruction) {
829 LocationSummary* locations =
830 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
831 locations->SetInAt(0, Location::RequiresRegister());
832 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000833 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100834}
835
836void InstructionCodeGeneratorARM64::VisitCompare(HCompare* instruction) {
837 Primitive::Type in_type = instruction->InputAt(0)->GetType();
838
839 DCHECK_EQ(in_type, Primitive::kPrimLong);
840 switch (in_type) {
841 case Primitive::kPrimLong: {
842 vixl::Label done;
843 Register result = OutputRegister(instruction);
844 Register left = InputRegisterAt(instruction, 0);
845 Operand right = InputOperandAt(instruction, 1);
846 __ Subs(result, left, right);
847 __ B(eq, &done);
848 __ Mov(result, 1);
849 __ Cneg(result, result, le);
850 __ Bind(&done);
851 break;
852 }
853 default:
854 LOG(FATAL) << "Unimplemented compare type " << in_type;
855 }
856}
857
858void LocationsBuilderARM64::VisitCondition(HCondition* instruction) {
859 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
860 locations->SetInAt(0, Location::RequiresRegister());
861 locations->SetInAt(1, Location::RegisterOrConstant(instruction->InputAt(1)));
862 if (instruction->NeedsMaterialization()) {
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +0000863 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +0100864 }
865}
866
867void InstructionCodeGeneratorARM64::VisitCondition(HCondition* instruction) {
868 if (!instruction->NeedsMaterialization()) {
869 return;
870 }
871
872 LocationSummary* locations = instruction->GetLocations();
873 Register lhs = InputRegisterAt(instruction, 0);
874 Operand rhs = InputOperandAt(instruction, 1);
875 Register res = RegisterFrom(locations->Out(), instruction->GetType());
876 Condition cond = ARM64Condition(instruction->GetCondition());
877
878 __ Cmp(lhs, rhs);
879 __ Csel(res, vixl::Assembler::AppropriateZeroRegFor(res), Operand(1), InvertCondition(cond));
880}
881
882#define FOR_EACH_CONDITION_INSTRUCTION(M) \
883 M(Equal) \
884 M(NotEqual) \
885 M(LessThan) \
886 M(LessThanOrEqual) \
887 M(GreaterThan) \
888 M(GreaterThanOrEqual)
889#define DEFINE_CONDITION_VISITORS(Name) \
890void LocationsBuilderARM64::Visit##Name(H##Name* comp) { VisitCondition(comp); } \
891void InstructionCodeGeneratorARM64::Visit##Name(H##Name* comp) { VisitCondition(comp); }
892FOR_EACH_CONDITION_INSTRUCTION(DEFINE_CONDITION_VISITORS)
893#undef FOR_EACH_CONDITION_INSTRUCTION
894
Alexandre Ramesfc19de82014-11-07 17:13:31 +0000895void LocationsBuilderARM64::VisitDiv(HDiv* div) {
896 LocationSummary* locations =
897 new (GetGraph()->GetArena()) LocationSummary(div, LocationSummary::kNoCall);
898 switch (div->GetResultType()) {
899 case Primitive::kPrimInt:
900 case Primitive::kPrimLong:
901 locations->SetInAt(0, Location::RequiresRegister());
902 locations->SetInAt(1, Location::RequiresRegister());
903 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
904 break;
905
906 case Primitive::kPrimFloat:
907 case Primitive::kPrimDouble:
908 locations->SetInAt(0, Location::RequiresFpuRegister());
909 locations->SetInAt(1, Location::RequiresFpuRegister());
910 locations->SetOut(Location::RequiresFpuRegister(), Location::kNoOutputOverlap);
911 break;
912
913 default:
914 LOG(FATAL) << "Unexpected div type " << div->GetResultType();
915 }
916}
917
918void InstructionCodeGeneratorARM64::VisitDiv(HDiv* div) {
919 Primitive::Type type = div->GetResultType();
920 switch (type) {
921 case Primitive::kPrimInt:
922 case Primitive::kPrimLong:
923 __ Sdiv(OutputRegister(div), InputRegisterAt(div, 0), InputRegisterAt(div, 1));
924 break;
925
926 case Primitive::kPrimFloat:
927 case Primitive::kPrimDouble:
928 __ Fdiv(OutputFPRegister(div), InputFPRegisterAt(div, 0), InputFPRegisterAt(div, 1));
929 break;
930
931 default:
932 LOG(FATAL) << "Unexpected div type " << type;
933 }
934}
935
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000936void LocationsBuilderARM64::VisitDoubleConstant(HDoubleConstant* constant) {
937 LocationSummary* locations =
938 new (GetGraph()->GetArena()) LocationSummary(constant, LocationSummary::kNoCall);
939 locations->SetOut(Location::ConstantLocation(constant));
940}
941
942void InstructionCodeGeneratorARM64::VisitDoubleConstant(HDoubleConstant* constant) {
943 UNUSED(constant);
944 // Will be generated at use site.
945}
946
Alexandre Rames5319def2014-10-23 10:03:10 +0100947void LocationsBuilderARM64::VisitExit(HExit* exit) {
948 exit->SetLocations(nullptr);
949}
950
951void InstructionCodeGeneratorARM64::VisitExit(HExit* exit) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700952 UNUSED(exit);
Alexandre Rames5319def2014-10-23 10:03:10 +0100953 if (kIsDebugBuild) {
954 down_cast<Arm64Assembler*>(GetAssembler())->Comment("Unreachable");
955 __ Brk(0); // TODO: Introduce special markers for such code locations.
956 }
957}
958
Alexandre Ramesa89086e2014-11-07 17:13:25 +0000959void LocationsBuilderARM64::VisitFloatConstant(HFloatConstant* constant) {
960 LocationSummary* locations =
961 new (GetGraph()->GetArena()) LocationSummary(constant, LocationSummary::kNoCall);
962 locations->SetOut(Location::ConstantLocation(constant));
963}
964
965void InstructionCodeGeneratorARM64::VisitFloatConstant(HFloatConstant* constant) {
966 UNUSED(constant);
967 // Will be generated at use site.
968}
969
Alexandre Rames5319def2014-10-23 10:03:10 +0100970void LocationsBuilderARM64::VisitGoto(HGoto* got) {
971 got->SetLocations(nullptr);
972}
973
974void InstructionCodeGeneratorARM64::VisitGoto(HGoto* got) {
975 HBasicBlock* successor = got->GetSuccessor();
976 // TODO: Support for suspend checks emission.
977 if (!codegen_->GoesToNextBlock(got->GetBlock(), successor)) {
978 __ B(codegen_->GetLabelOf(successor));
979 }
980}
981
982void LocationsBuilderARM64::VisitIf(HIf* if_instr) {
983 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(if_instr);
984 HInstruction* cond = if_instr->InputAt(0);
985 DCHECK(cond->IsCondition());
986 if (cond->AsCondition()->NeedsMaterialization()) {
987 locations->SetInAt(0, Location::RequiresRegister());
988 }
989}
990
991void InstructionCodeGeneratorARM64::VisitIf(HIf* if_instr) {
992 HInstruction* cond = if_instr->InputAt(0);
993 DCHECK(cond->IsCondition());
994 HCondition* condition = cond->AsCondition();
995 vixl::Label* true_target = codegen_->GetLabelOf(if_instr->IfTrueSuccessor());
996 vixl::Label* false_target = codegen_->GetLabelOf(if_instr->IfFalseSuccessor());
997
998 // TODO: Support constant condition input in VisitIf.
999
1000 if (condition->NeedsMaterialization()) {
1001 // The condition instruction has been materialized, compare the output to 0.
1002 Location cond_val = if_instr->GetLocations()->InAt(0);
1003 DCHECK(cond_val.IsRegister());
1004 __ Cbnz(InputRegisterAt(if_instr, 0), true_target);
1005
1006 } else {
1007 // The condition instruction has not been materialized, use its inputs as
1008 // the comparison and its condition as the branch condition.
1009 Register lhs = InputRegisterAt(condition, 0);
1010 Operand rhs = InputOperandAt(condition, 1);
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001011 Condition arm64_cond = ARM64Condition(condition->GetCondition());
1012 if ((arm64_cond == eq || arm64_cond == ne) && rhs.IsImmediate() && (rhs.immediate() == 0)) {
1013 if (arm64_cond == eq) {
Alexandre Rames5319def2014-10-23 10:03:10 +01001014 __ Cbz(lhs, true_target);
1015 } else {
1016 __ Cbnz(lhs, true_target);
1017 }
1018 } else {
1019 __ Cmp(lhs, rhs);
Andreas Gampe277ccbd2014-11-03 21:36:10 -08001020 __ B(arm64_cond, true_target);
Alexandre Rames5319def2014-10-23 10:03:10 +01001021 }
1022 }
1023
1024 if (!codegen_->GoesToNextBlock(if_instr->GetBlock(), if_instr->IfFalseSuccessor())) {
1025 __ B(false_target);
1026 }
1027}
1028
1029void LocationsBuilderARM64::VisitInstanceFieldGet(HInstanceFieldGet* instruction) {
1030 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1031 locations->SetInAt(0, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +00001032 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +01001033}
1034
1035void InstructionCodeGeneratorARM64::VisitInstanceFieldGet(HInstanceFieldGet* instruction) {
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001036 MemOperand field = MemOperand(InputRegisterAt(instruction, 0),
1037 instruction->GetFieldOffset().Uint32Value());
1038 codegen_->Load(instruction->GetType(), OutputRegister(instruction), field);
Alexandre Rames5319def2014-10-23 10:03:10 +01001039}
1040
1041void LocationsBuilderARM64::VisitInstanceFieldSet(HInstanceFieldSet* instruction) {
1042 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1043 locations->SetInAt(0, Location::RequiresRegister());
1044 locations->SetInAt(1, Location::RequiresRegister());
1045}
1046
1047void InstructionCodeGeneratorARM64::VisitInstanceFieldSet(HInstanceFieldSet* instruction) {
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001048 Primitive::Type field_type = instruction->GetFieldType();
Alexandre Rames5319def2014-10-23 10:03:10 +01001049 Register value = InputRegisterAt(instruction, 1);
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001050 Register obj = InputRegisterAt(instruction, 0);
1051 codegen_->Store(field_type, value, MemOperand(obj, instruction->GetFieldOffset().Uint32Value()));
1052 if (field_type == Primitive::kPrimNot) {
1053 codegen_->MarkGCCard(obj, value);
Alexandre Rames5319def2014-10-23 10:03:10 +01001054 }
1055}
1056
1057void LocationsBuilderARM64::VisitIntConstant(HIntConstant* constant) {
1058 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(constant);
1059 locations->SetOut(Location::ConstantLocation(constant));
1060}
1061
1062void InstructionCodeGeneratorARM64::VisitIntConstant(HIntConstant* constant) {
1063 // Will be generated at use site.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001064 UNUSED(constant);
Alexandre Rames5319def2014-10-23 10:03:10 +01001065}
1066
1067void LocationsBuilderARM64::VisitInvokeStatic(HInvokeStatic* invoke) {
1068 HandleInvoke(invoke);
1069}
1070
1071void LocationsBuilderARM64::VisitInvokeVirtual(HInvokeVirtual* invoke) {
1072 HandleInvoke(invoke);
1073}
1074
1075void LocationsBuilderARM64::HandleInvoke(HInvoke* invoke) {
1076 LocationSummary* locations =
1077 new (GetGraph()->GetArena()) LocationSummary(invoke, LocationSummary::kCall);
1078 locations->AddTemp(LocationFrom(x0));
1079
1080 InvokeDexCallingConventionVisitor calling_convention_visitor;
1081 for (size_t i = 0; i < invoke->InputCount(); i++) {
1082 HInstruction* input = invoke->InputAt(i);
1083 locations->SetInAt(i, calling_convention_visitor.GetNextLocation(input->GetType()));
1084 }
1085
1086 Primitive::Type return_type = invoke->GetType();
1087 if (return_type != Primitive::kPrimVoid) {
1088 locations->SetOut(calling_convention_visitor.GetReturnLocation(return_type));
1089 }
1090}
1091
1092void InstructionCodeGeneratorARM64::VisitInvokeStatic(HInvokeStatic* invoke) {
1093 Register temp = WRegisterFrom(invoke->GetLocations()->GetTemp(0));
1094 // Make sure that ArtMethod* is passed in W0 as per the calling convention
1095 DCHECK(temp.Is(w0));
1096 size_t index_in_cache = mirror::Array::DataOffset(kHeapRefSize).SizeValue() +
1097 invoke->GetIndexInDexCache() * kHeapRefSize;
1098
1099 // TODO: Implement all kinds of calls:
1100 // 1) boot -> boot
1101 // 2) app -> boot
1102 // 3) app -> app
1103 //
1104 // Currently we implement the app -> app logic, which looks up in the resolve cache.
1105
1106 // temp = method;
1107 __ Ldr(temp, MemOperand(sp, kCurrentMethodStackOffset));
1108 // temp = temp->dex_cache_resolved_methods_;
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001109 __ Ldr(temp, MemOperand(temp.X(),
1110 mirror::ArtMethod::DexCacheResolvedMethodsOffset().SizeValue()));
Alexandre Rames5319def2014-10-23 10:03:10 +01001111 // temp = temp[index_in_cache];
1112 __ Ldr(temp, MemOperand(temp.X(), index_in_cache));
1113 // lr = temp->entry_point_from_quick_compiled_code_;
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001114 __ Ldr(lr, MemOperand(temp.X(),
1115 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().SizeValue()));
Alexandre Rames5319def2014-10-23 10:03:10 +01001116 // lr();
1117 __ Blr(lr);
1118
1119 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1120 DCHECK(!codegen_->IsLeafMethod());
1121}
1122
1123void InstructionCodeGeneratorARM64::VisitInvokeVirtual(HInvokeVirtual* invoke) {
1124 LocationSummary* locations = invoke->GetLocations();
1125 Location receiver = locations->InAt(0);
1126 Register temp = XRegisterFrom(invoke->GetLocations()->GetTemp(0));
1127 size_t method_offset = mirror::Class::EmbeddedVTableOffset().SizeValue() +
1128 invoke->GetVTableIndex() * sizeof(mirror::Class::VTableEntry);
1129 Offset class_offset = mirror::Object::ClassOffset();
1130 Offset entry_point = mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset();
1131
1132 // temp = object->GetClass();
1133 if (receiver.IsStackSlot()) {
1134 __ Ldr(temp.W(), MemOperand(sp, receiver.GetStackIndex()));
1135 __ Ldr(temp.W(), MemOperand(temp, class_offset.SizeValue()));
1136 } else {
1137 DCHECK(receiver.IsRegister());
1138 __ Ldr(temp.W(), HeapOperandFrom(receiver, Primitive::kPrimNot,
1139 class_offset));
1140 }
1141 // temp = temp->GetMethodAt(method_offset);
1142 __ Ldr(temp.W(), MemOperand(temp, method_offset));
1143 // lr = temp->GetEntryPoint();
1144 __ Ldr(lr, MemOperand(temp, entry_point.SizeValue()));
1145 // lr();
1146 __ Blr(lr);
1147 DCHECK(!codegen_->IsLeafMethod());
1148 codegen_->RecordPcInfo(invoke, invoke->GetDexPc());
1149}
1150
1151void LocationsBuilderARM64::VisitLoadLocal(HLoadLocal* load) {
1152 load->SetLocations(nullptr);
1153}
1154
1155void InstructionCodeGeneratorARM64::VisitLoadLocal(HLoadLocal* load) {
1156 // Nothing to do, this is driven by the code generator.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001157 UNUSED(load);
Alexandre Rames5319def2014-10-23 10:03:10 +01001158}
1159
1160void LocationsBuilderARM64::VisitLocal(HLocal* local) {
1161 local->SetLocations(nullptr);
1162}
1163
1164void InstructionCodeGeneratorARM64::VisitLocal(HLocal* local) {
1165 DCHECK_EQ(local->GetBlock(), GetGraph()->GetEntryBlock());
1166}
1167
1168void LocationsBuilderARM64::VisitLongConstant(HLongConstant* constant) {
1169 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(constant);
1170 locations->SetOut(Location::ConstantLocation(constant));
1171}
1172
1173void InstructionCodeGeneratorARM64::VisitLongConstant(HLongConstant* constant) {
1174 // Will be generated at use site.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001175 UNUSED(constant);
Alexandre Rames5319def2014-10-23 10:03:10 +01001176}
1177
Alexandre Rames42d641b2014-10-27 14:00:51 +00001178void LocationsBuilderARM64::VisitMul(HMul* mul) {
1179 LocationSummary* locations =
1180 new (GetGraph()->GetArena()) LocationSummary(mul, LocationSummary::kNoCall);
1181 switch (mul->GetResultType()) {
1182 case Primitive::kPrimInt:
1183 case Primitive::kPrimLong:
1184 locations->SetInAt(0, Location::RequiresRegister());
1185 locations->SetInAt(1, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +00001186 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames42d641b2014-10-27 14:00:51 +00001187 break;
1188
1189 case Primitive::kPrimFloat:
1190 case Primitive::kPrimDouble:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001191 locations->SetInAt(0, Location::RequiresFpuRegister());
1192 locations->SetInAt(1, Location::RequiresFpuRegister());
1193 locations->SetOut(Location::RequiresFpuRegister());
Alexandre Rames42d641b2014-10-27 14:00:51 +00001194 break;
1195
1196 default:
1197 LOG(FATAL) << "Unexpected mul type " << mul->GetResultType();
1198 }
1199}
1200
1201void InstructionCodeGeneratorARM64::VisitMul(HMul* mul) {
1202 switch (mul->GetResultType()) {
1203 case Primitive::kPrimInt:
1204 case Primitive::kPrimLong:
1205 __ Mul(OutputRegister(mul), InputRegisterAt(mul, 0), InputRegisterAt(mul, 1));
1206 break;
1207
1208 case Primitive::kPrimFloat:
1209 case Primitive::kPrimDouble:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001210 __ Fmul(OutputFPRegister(mul), InputFPRegisterAt(mul, 0), InputFPRegisterAt(mul, 1));
Alexandre Rames42d641b2014-10-27 14:00:51 +00001211 break;
1212
1213 default:
1214 LOG(FATAL) << "Unexpected mul type " << mul->GetResultType();
1215 }
1216}
1217
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001218void LocationsBuilderARM64::VisitNeg(HNeg* neg) {
1219 LocationSummary* locations =
1220 new (GetGraph()->GetArena()) LocationSummary(neg, LocationSummary::kNoCall);
1221 switch (neg->GetResultType()) {
1222 case Primitive::kPrimInt:
1223 case Primitive::kPrimLong: {
1224 locations->SetInAt(0, Location::RegisterOrConstant(neg->InputAt(0)));
1225 locations->SetOut(Location::RequiresRegister());
1226 break;
1227 }
1228
1229 case Primitive::kPrimFloat:
1230 case Primitive::kPrimDouble:
1231 LOG(FATAL) << "Not yet implemented neg type " << neg->GetResultType();
1232 break;
1233
1234 default:
1235 LOG(FATAL) << "Unexpected neg type " << neg->GetResultType();
1236 }
1237}
1238
1239void InstructionCodeGeneratorARM64::VisitNeg(HNeg* neg) {
1240 switch (neg->GetResultType()) {
1241 case Primitive::kPrimInt:
1242 case Primitive::kPrimLong:
1243 __ Neg(OutputRegister(neg), InputOperandAt(neg, 0));
1244 break;
1245
1246 case Primitive::kPrimFloat:
1247 case Primitive::kPrimDouble:
1248 LOG(FATAL) << "Not yet implemented neg type " << neg->GetResultType();
1249 break;
1250
1251 default:
1252 LOG(FATAL) << "Unexpected neg type " << neg->GetResultType();
1253 }
1254}
1255
1256void LocationsBuilderARM64::VisitNewArray(HNewArray* instruction) {
1257 LocationSummary* locations =
1258 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kCall);
1259 InvokeRuntimeCallingConvention calling_convention;
1260 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(0)));
1261 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(1)));
1262 locations->SetOut(LocationFrom(x0));
1263 locations->SetInAt(0, LocationFrom(calling_convention.GetRegisterAt(2)));
1264}
1265
1266void InstructionCodeGeneratorARM64::VisitNewArray(HNewArray* instruction) {
1267 LocationSummary* locations = instruction->GetLocations();
1268 InvokeRuntimeCallingConvention calling_convention;
1269 Register type_index = RegisterFrom(locations->GetTemp(0), Primitive::kPrimInt);
1270 DCHECK(type_index.Is(w0));
1271 Register current_method = RegisterFrom(locations->GetTemp(1), Primitive::kPrimNot);
1272 DCHECK(current_method.Is(w1));
1273 __ Ldr(current_method, MemOperand(sp, kCurrentMethodStackOffset));
1274 __ Mov(type_index, instruction->GetTypeIndex());
1275 int32_t quick_entrypoint_offset =
1276 QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pAllocArrayWithAccessCheck).Int32Value();
1277 __ Ldr(lr, MemOperand(tr, quick_entrypoint_offset));
1278 __ Blr(lr);
1279 codegen_->RecordPcInfo(instruction, instruction->GetDexPc());
1280 DCHECK(!codegen_->IsLeafMethod());
1281}
1282
Alexandre Rames5319def2014-10-23 10:03:10 +01001283void LocationsBuilderARM64::VisitNewInstance(HNewInstance* instruction) {
1284 LocationSummary* locations =
1285 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kCall);
1286 InvokeRuntimeCallingConvention calling_convention;
1287 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(0)));
1288 locations->AddTemp(LocationFrom(calling_convention.GetRegisterAt(1)));
1289 locations->SetOut(calling_convention.GetReturnLocation(Primitive::kPrimNot));
1290}
1291
1292void InstructionCodeGeneratorARM64::VisitNewInstance(HNewInstance* instruction) {
1293 LocationSummary* locations = instruction->GetLocations();
1294 Register type_index = RegisterFrom(locations->GetTemp(0), Primitive::kPrimInt);
1295 DCHECK(type_index.Is(w0));
1296 Register current_method = RegisterFrom(locations->GetTemp(1), Primitive::kPrimNot);
1297 DCHECK(current_method.Is(w1));
1298 __ Ldr(current_method, MemOperand(sp, kCurrentMethodStackOffset));
1299 __ Mov(type_index, instruction->GetTypeIndex());
Alexandre Ramesfc19de82014-11-07 17:13:31 +00001300 int32_t quick_entrypoint_offset =
1301 QUICK_ENTRYPOINT_OFFSET(kArm64WordSize, pAllocObjectWithAccessCheck).Int32Value();
1302 __ Ldr(lr, MemOperand(tr, quick_entrypoint_offset));
Alexandre Rames5319def2014-10-23 10:03:10 +01001303 __ Blr(lr);
1304 codegen_->RecordPcInfo(instruction, instruction->GetDexPc());
1305 DCHECK(!codegen_->IsLeafMethod());
1306}
1307
1308void LocationsBuilderARM64::VisitNot(HNot* instruction) {
1309 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
Alexandre Rames4e596512014-11-07 15:56:50 +00001310 locations->SetInAt(0, Location::RequiresRegister());
Alexandre Ramesfb4e5fa2014-11-06 12:41:16 +00001311 locations->SetOut(Location::RequiresRegister(), Location::kNoOutputOverlap);
Alexandre Rames5319def2014-10-23 10:03:10 +01001312}
1313
1314void InstructionCodeGeneratorARM64::VisitNot(HNot* instruction) {
1315 switch (instruction->InputAt(0)->GetType()) {
1316 case Primitive::kPrimBoolean:
1317 __ Eor(OutputRegister(instruction), InputRegisterAt(instruction, 0), Operand(1));
1318 break;
1319
1320 case Primitive::kPrimInt:
Alexandre Rames5319def2014-10-23 10:03:10 +01001321 case Primitive::kPrimLong:
Roland Levillain55dcfb52014-10-24 18:09:09 +01001322 __ Mvn(OutputRegister(instruction), InputOperandAt(instruction, 0));
Alexandre Rames5319def2014-10-23 10:03:10 +01001323 break;
1324
1325 default:
1326 LOG(FATAL) << "Unexpected type for not operation " << instruction->GetResultType();
1327 }
1328}
1329
1330void LocationsBuilderARM64::VisitNullCheck(HNullCheck* instruction) {
1331 LocationSummary* locations =
1332 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
1333 locations->SetInAt(0, Location::RequiresRegister());
1334 if (instruction->HasUses()) {
1335 locations->SetOut(Location::SameAsFirstInput());
1336 }
1337}
1338
1339void InstructionCodeGeneratorARM64::VisitNullCheck(HNullCheck* instruction) {
1340 SlowPathCodeARM64* slow_path = new (GetGraph()->GetArena()) NullCheckSlowPathARM64(instruction);
1341 codegen_->AddSlowPath(slow_path);
1342
1343 LocationSummary* locations = instruction->GetLocations();
1344 Location obj = locations->InAt(0);
1345 if (obj.IsRegister()) {
1346 __ Cbz(RegisterFrom(obj, instruction->InputAt(0)->GetType()), slow_path->GetEntryLabel());
1347 } else {
1348 DCHECK(obj.IsConstant()) << obj;
1349 DCHECK_EQ(obj.GetConstant()->AsIntConstant()->GetValue(), 0);
1350 __ B(slow_path->GetEntryLabel());
1351 }
1352}
1353
1354void LocationsBuilderARM64::VisitParameterValue(HParameterValue* instruction) {
1355 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1356 Location location = parameter_visitor_.GetNextLocation(instruction->GetType());
1357 if (location.IsStackSlot()) {
1358 location = Location::StackSlot(location.GetStackIndex() + codegen_->GetFrameSize());
1359 } else if (location.IsDoubleStackSlot()) {
1360 location = Location::DoubleStackSlot(location.GetStackIndex() + codegen_->GetFrameSize());
1361 }
1362 locations->SetOut(location);
1363}
1364
1365void InstructionCodeGeneratorARM64::VisitParameterValue(HParameterValue* instruction) {
1366 // Nothing to do, the parameter is already at its location.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001367 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001368}
1369
1370void LocationsBuilderARM64::VisitPhi(HPhi* instruction) {
1371 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1372 for (size_t i = 0, e = instruction->InputCount(); i < e; ++i) {
1373 locations->SetInAt(i, Location::Any());
1374 }
1375 locations->SetOut(Location::Any());
1376}
1377
1378void InstructionCodeGeneratorARM64::VisitPhi(HPhi* instruction) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001379 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001380 LOG(FATAL) << "Unreachable";
1381}
1382
1383void LocationsBuilderARM64::VisitReturn(HReturn* instruction) {
1384 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(instruction);
1385 Primitive::Type return_type = instruction->InputAt(0)->GetType();
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001386 locations->SetInAt(0, ARM64ReturnLocation(return_type));
Alexandre Rames5319def2014-10-23 10:03:10 +01001387}
1388
1389void InstructionCodeGeneratorARM64::VisitReturn(HReturn* instruction) {
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001390 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001391 codegen_->GenerateFrameExit();
1392 __ Br(lr);
1393}
1394
1395void LocationsBuilderARM64::VisitReturnVoid(HReturnVoid* instruction) {
1396 instruction->SetLocations(nullptr);
1397}
1398
1399void InstructionCodeGeneratorARM64::VisitReturnVoid(HReturnVoid* instruction) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001400 UNUSED(instruction);
Alexandre Rames5319def2014-10-23 10:03:10 +01001401 codegen_->GenerateFrameExit();
1402 __ Br(lr);
1403}
1404
1405void LocationsBuilderARM64::VisitStoreLocal(HStoreLocal* store) {
1406 LocationSummary* locations = new (GetGraph()->GetArena()) LocationSummary(store);
1407 Primitive::Type field_type = store->InputAt(1)->GetType();
1408 switch (field_type) {
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001409 case Primitive::kPrimNot:
Alexandre Rames5319def2014-10-23 10:03:10 +01001410 case Primitive::kPrimBoolean:
1411 case Primitive::kPrimByte:
1412 case Primitive::kPrimChar:
1413 case Primitive::kPrimShort:
1414 case Primitive::kPrimInt:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001415 case Primitive::kPrimFloat:
Alexandre Rames5319def2014-10-23 10:03:10 +01001416 locations->SetInAt(1, Location::StackSlot(codegen_->GetStackSlot(store->GetLocal())));
1417 break;
1418
1419 case Primitive::kPrimLong:
Alexandre Ramesa89086e2014-11-07 17:13:25 +00001420 case Primitive::kPrimDouble:
Alexandre Rames5319def2014-10-23 10:03:10 +01001421 locations->SetInAt(1, Location::DoubleStackSlot(codegen_->GetStackSlot(store->GetLocal())));
1422 break;
1423
1424 default:
1425 LOG(FATAL) << "Unimplemented local type " << field_type;
1426 }
1427}
1428
1429void InstructionCodeGeneratorARM64::VisitStoreLocal(HStoreLocal* store) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001430 UNUSED(store);
Alexandre Rames5319def2014-10-23 10:03:10 +01001431}
1432
1433void LocationsBuilderARM64::VisitSub(HSub* instruction) {
1434 HandleAddSub(instruction);
1435}
1436
1437void InstructionCodeGeneratorARM64::VisitSub(HSub* instruction) {
1438 HandleAddSub(instruction);
1439}
1440
1441void LocationsBuilderARM64::VisitBoundsCheck(HBoundsCheck* instruction) {
1442 LocationSummary* locations =
1443 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kNoCall);
1444 locations->SetInAt(0, Location::RequiresRegister());
1445 locations->SetInAt(1, Location::RequiresRegister());
1446 if (instruction->HasUses()) {
1447 locations->SetOut(Location::SameAsFirstInput());
1448 }
1449}
1450
1451void InstructionCodeGeneratorARM64::VisitBoundsCheck(HBoundsCheck* instruction) {
1452 LocationSummary* locations = instruction->GetLocations();
1453 BoundsCheckSlowPathARM64* slow_path = new (GetGraph()->GetArena()) BoundsCheckSlowPathARM64(
1454 instruction, locations->InAt(0), locations->InAt(1));
1455 codegen_->AddSlowPath(slow_path);
1456
1457 __ Cmp(InputRegisterAt(instruction, 0), InputOperandAt(instruction, 1));
1458 __ B(slow_path->GetEntryLabel(), hs);
1459}
1460
1461void LocationsBuilderARM64::VisitSuspendCheck(HSuspendCheck* instruction) {
1462 new (GetGraph()->GetArena()) LocationSummary(instruction, LocationSummary::kCallOnSlowPath);
1463}
1464
1465void InstructionCodeGeneratorARM64::VisitSuspendCheck(HSuspendCheck* instruction) {
1466 // TODO: Improve support for suspend checks.
1467 SuspendCheckSlowPathARM64* slow_path =
1468 new (GetGraph()->GetArena()) SuspendCheckSlowPathARM64(instruction, nullptr);
1469 codegen_->AddSlowPath(slow_path);
1470
1471 __ Subs(wSuspend, wSuspend, 1);
1472 __ B(slow_path->GetEntryLabel(), le);
1473 __ Bind(slow_path->GetReturnLabel());
1474}
1475
1476void LocationsBuilderARM64::VisitTemporary(HTemporary* temp) {
1477 temp->SetLocations(nullptr);
1478}
1479
1480void InstructionCodeGeneratorARM64::VisitTemporary(HTemporary* temp) {
1481 // Nothing to do, this is driven by the code generator.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001482 UNUSED(temp);
Alexandre Rames5319def2014-10-23 10:03:10 +01001483}
1484
1485} // namespace arm64
1486} // namespace art