blob: 21014c8bba5a827e28183a6965653dd41b710db1 [file] [log] [blame]
Serban Constantinescued8dd492014-02-11 14:15:10 +00001/*
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 "assembler_arm64.h"
18#include "base/logging.h"
19#include "entrypoints/quick/quick_entrypoints.h"
20#include "offsets.h"
21#include "thread.h"
22#include "utils.h"
23
Alexandre Ramesba9388c2014-08-22 14:08:36 +010024using namespace vixl; // NOLINT(build/namespaces)
25
Serban Constantinescued8dd492014-02-11 14:15:10 +000026namespace art {
27namespace arm64 {
28
29#ifdef ___
30#error "ARM64 Assembler macro already defined."
31#else
32#define ___ vixl_masm_->
33#endif
34
35void Arm64Assembler::EmitSlowPaths() {
36 if (!exception_blocks_.empty()) {
37 for (size_t i = 0; i < exception_blocks_.size(); i++) {
38 EmitExceptionPoll(exception_blocks_.at(i));
39 }
40 }
41 ___ FinalizeCode();
42}
43
44size_t Arm64Assembler::CodeSize() const {
Alexandre Ramescee75242014-10-08 18:41:21 +010045 return vixl_masm_->BufferCapacity() - vixl_masm_->RemainingBufferSpace();
Serban Constantinescued8dd492014-02-11 14:15:10 +000046}
47
48void Arm64Assembler::FinalizeInstructions(const MemoryRegion& region) {
49 // Copy the instructions from the buffer.
Alexandre Ramescee75242014-10-08 18:41:21 +010050 MemoryRegion from(vixl_masm_->GetStartAddress<void*>(), CodeSize());
Serban Constantinescued8dd492014-02-11 14:15:10 +000051 region.CopyFrom(0, from);
52}
53
54void Arm64Assembler::GetCurrentThread(ManagedRegister tr) {
Alexandre Rames37c92df2014-10-17 14:35:27 +010055 ___ Mov(reg_x(tr.AsArm64().AsXRegister()), reg_x(ETR));
Serban Constantinescued8dd492014-02-11 14:15:10 +000056}
57
58void Arm64Assembler::GetCurrentThread(FrameOffset offset, ManagedRegister /* scratch */) {
Serban Constantinescu63206f32014-05-07 18:40:49 +010059 StoreToOffset(ETR, SP, offset.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +000060}
61
62// See Arm64 PCS Section 5.2.2.1.
63void Arm64Assembler::IncreaseFrameSize(size_t adjust) {
64 CHECK_ALIGNED(adjust, kStackAlignment);
65 AddConstant(SP, -adjust);
66}
67
68// See Arm64 PCS Section 5.2.2.1.
69void Arm64Assembler::DecreaseFrameSize(size_t adjust) {
70 CHECK_ALIGNED(adjust, kStackAlignment);
71 AddConstant(SP, adjust);
72}
73
Alexandre Rames37c92df2014-10-17 14:35:27 +010074void Arm64Assembler::AddConstant(XRegister rd, int32_t value, Condition cond) {
Serban Constantinescued8dd492014-02-11 14:15:10 +000075 AddConstant(rd, rd, value, cond);
76}
77
Alexandre Rames37c92df2014-10-17 14:35:27 +010078void Arm64Assembler::AddConstant(XRegister rd, XRegister rn, int32_t value,
Serban Constantinescued8dd492014-02-11 14:15:10 +000079 Condition cond) {
Alexandre Ramesba9388c2014-08-22 14:08:36 +010080 if ((cond == al) || (cond == nv)) {
Serban Constantinescued8dd492014-02-11 14:15:10 +000081 // VIXL macro-assembler handles all variants.
82 ___ Add(reg_x(rd), reg_x(rn), value);
83 } else {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +010084 // temp = rd + value
85 // rd = cond ? temp : rn
86 vixl::UseScratchRegisterScope temps(vixl_masm_);
87 temps.Exclude(reg_x(rd), reg_x(rn));
88 vixl::Register temp = temps.AcquireX();
89 ___ Add(temp, reg_x(rn), value);
Alexandre Ramesba9388c2014-08-22 14:08:36 +010090 ___ Csel(reg_x(rd), temp, reg_x(rd), cond);
Serban Constantinescued8dd492014-02-11 14:15:10 +000091 }
92}
93
94void Arm64Assembler::StoreWToOffset(StoreOperandType type, WRegister source,
Alexandre Rames37c92df2014-10-17 14:35:27 +010095 XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +000096 switch (type) {
97 case kStoreByte:
98 ___ Strb(reg_w(source), MEM_OP(reg_x(base), offset));
99 break;
100 case kStoreHalfword:
101 ___ Strh(reg_w(source), MEM_OP(reg_x(base), offset));
102 break;
103 case kStoreWord:
104 ___ Str(reg_w(source), MEM_OP(reg_x(base), offset));
105 break;
106 default:
107 LOG(FATAL) << "UNREACHABLE";
108 }
109}
110
Alexandre Rames37c92df2014-10-17 14:35:27 +0100111void Arm64Assembler::StoreToOffset(XRegister source, XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000112 CHECK_NE(source, SP);
113 ___ Str(reg_x(source), MEM_OP(reg_x(base), offset));
114}
115
Alexandre Rames37c92df2014-10-17 14:35:27 +0100116void Arm64Assembler::StoreSToOffset(SRegister source, XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000117 ___ Str(reg_s(source), MEM_OP(reg_x(base), offset));
118}
119
Alexandre Rames37c92df2014-10-17 14:35:27 +0100120void Arm64Assembler::StoreDToOffset(DRegister source, XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000121 ___ Str(reg_d(source), MEM_OP(reg_x(base), offset));
122}
123
124void Arm64Assembler::Store(FrameOffset offs, ManagedRegister m_src, size_t size) {
125 Arm64ManagedRegister src = m_src.AsArm64();
126 if (src.IsNoRegister()) {
127 CHECK_EQ(0u, size);
128 } else if (src.IsWRegister()) {
129 CHECK_EQ(4u, size);
130 StoreWToOffset(kStoreWord, src.AsWRegister(), SP, offs.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100131 } else if (src.IsXRegister()) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000132 CHECK_EQ(8u, size);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100133 StoreToOffset(src.AsXRegister(), SP, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000134 } else if (src.IsSRegister()) {
135 StoreSToOffset(src.AsSRegister(), SP, offs.Int32Value());
136 } else {
137 CHECK(src.IsDRegister()) << src;
138 StoreDToOffset(src.AsDRegister(), SP, offs.Int32Value());
139 }
140}
141
142void Arm64Assembler::StoreRef(FrameOffset offs, ManagedRegister m_src) {
143 Arm64ManagedRegister src = m_src.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100144 CHECK(src.IsXRegister()) << src;
145 StoreWToOffset(kStoreWord, src.AsOverlappingWRegister(), SP,
Serban Constantinescu75b91132014-04-09 18:39:10 +0100146 offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000147}
148
149void Arm64Assembler::StoreRawPtr(FrameOffset offs, ManagedRegister m_src) {
150 Arm64ManagedRegister src = m_src.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100151 CHECK(src.IsXRegister()) << src;
152 StoreToOffset(src.AsXRegister(), SP, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000153}
154
155void Arm64Assembler::StoreImmediateToFrame(FrameOffset offs, uint32_t imm,
156 ManagedRegister m_scratch) {
157 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100158 CHECK(scratch.IsXRegister()) << scratch;
159 LoadImmediate(scratch.AsXRegister(), imm);
160 StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), SP,
Serban Constantinescu75b91132014-04-09 18:39:10 +0100161 offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000162}
163
Serban Constantinescu75b91132014-04-09 18:39:10 +0100164void Arm64Assembler::StoreImmediateToThread64(ThreadOffset<8> offs, uint32_t imm,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000165 ManagedRegister m_scratch) {
166 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100167 CHECK(scratch.IsXRegister()) << scratch;
168 LoadImmediate(scratch.AsXRegister(), imm);
169 StoreToOffset(scratch.AsXRegister(), ETR, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000170}
171
Serban Constantinescu75b91132014-04-09 18:39:10 +0100172void Arm64Assembler::StoreStackOffsetToThread64(ThreadOffset<8> tr_offs,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000173 FrameOffset fr_offs,
174 ManagedRegister m_scratch) {
175 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100176 CHECK(scratch.IsXRegister()) << scratch;
177 AddConstant(scratch.AsXRegister(), SP, fr_offs.Int32Value());
178 StoreToOffset(scratch.AsXRegister(), ETR, tr_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000179}
180
Serban Constantinescu75b91132014-04-09 18:39:10 +0100181void Arm64Assembler::StoreStackPointerToThread64(ThreadOffset<8> tr_offs) {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100182 vixl::UseScratchRegisterScope temps(vixl_masm_);
183 vixl::Register temp = temps.AcquireX();
184 ___ Mov(temp, reg_x(SP));
185 ___ Str(temp, MEM_OP(reg_x(ETR), tr_offs.Int32Value()));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000186}
187
188void Arm64Assembler::StoreSpanning(FrameOffset dest_off, ManagedRegister m_source,
189 FrameOffset in_off, ManagedRegister m_scratch) {
190 Arm64ManagedRegister source = m_source.AsArm64();
191 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100192 StoreToOffset(source.AsXRegister(), SP, dest_off.Int32Value());
193 LoadFromOffset(scratch.AsXRegister(), SP, in_off.Int32Value());
194 StoreToOffset(scratch.AsXRegister(), SP, dest_off.Int32Value() + 8);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000195}
196
197// Load routines.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100198void Arm64Assembler::LoadImmediate(XRegister dest, int32_t value,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000199 Condition cond) {
Alexandre Ramesba9388c2014-08-22 14:08:36 +0100200 if ((cond == al) || (cond == nv)) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000201 ___ Mov(reg_x(dest), value);
202 } else {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100203 // temp = value
204 // rd = cond ? temp : rd
Serban Constantinescued8dd492014-02-11 14:15:10 +0000205 if (value != 0) {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100206 vixl::UseScratchRegisterScope temps(vixl_masm_);
207 temps.Exclude(reg_x(dest));
208 vixl::Register temp = temps.AcquireX();
209 ___ Mov(temp, value);
Alexandre Ramesba9388c2014-08-22 14:08:36 +0100210 ___ Csel(reg_x(dest), temp, reg_x(dest), cond);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000211 } else {
Alexandre Ramesba9388c2014-08-22 14:08:36 +0100212 ___ Csel(reg_x(dest), reg_x(XZR), reg_x(dest), cond);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000213 }
214 }
215}
216
217void Arm64Assembler::LoadWFromOffset(LoadOperandType type, WRegister dest,
Alexandre Rames37c92df2014-10-17 14:35:27 +0100218 XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000219 switch (type) {
220 case kLoadSignedByte:
221 ___ Ldrsb(reg_w(dest), MEM_OP(reg_x(base), offset));
222 break;
223 case kLoadSignedHalfword:
224 ___ Ldrsh(reg_w(dest), MEM_OP(reg_x(base), offset));
225 break;
226 case kLoadUnsignedByte:
227 ___ Ldrb(reg_w(dest), MEM_OP(reg_x(base), offset));
228 break;
229 case kLoadUnsignedHalfword:
230 ___ Ldrh(reg_w(dest), MEM_OP(reg_x(base), offset));
231 break;
232 case kLoadWord:
233 ___ Ldr(reg_w(dest), MEM_OP(reg_x(base), offset));
234 break;
235 default:
236 LOG(FATAL) << "UNREACHABLE";
237 }
238}
239
240// Note: We can extend this member by adding load type info - see
241// sign extended A64 load variants.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100242void Arm64Assembler::LoadFromOffset(XRegister dest, XRegister base,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000243 int32_t offset) {
244 CHECK_NE(dest, SP);
245 ___ Ldr(reg_x(dest), MEM_OP(reg_x(base), offset));
246}
247
Alexandre Rames37c92df2014-10-17 14:35:27 +0100248void Arm64Assembler::LoadSFromOffset(SRegister dest, XRegister base,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000249 int32_t offset) {
250 ___ Ldr(reg_s(dest), MEM_OP(reg_x(base), offset));
251}
252
Alexandre Rames37c92df2014-10-17 14:35:27 +0100253void Arm64Assembler::LoadDFromOffset(DRegister dest, XRegister base,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000254 int32_t offset) {
255 ___ Ldr(reg_d(dest), MEM_OP(reg_x(base), offset));
256}
257
Alexandre Rames37c92df2014-10-17 14:35:27 +0100258void Arm64Assembler::Load(Arm64ManagedRegister dest, XRegister base,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000259 int32_t offset, size_t size) {
260 if (dest.IsNoRegister()) {
261 CHECK_EQ(0u, size) << dest;
262 } else if (dest.IsWRegister()) {
263 CHECK_EQ(4u, size) << dest;
264 ___ Ldr(reg_w(dest.AsWRegister()), MEM_OP(reg_x(base), offset));
Alexandre Rames37c92df2014-10-17 14:35:27 +0100265 } else if (dest.IsXRegister()) {
266 CHECK_NE(dest.AsXRegister(), SP) << dest;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100267 if (size == 4u) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100268 ___ Ldr(reg_w(dest.AsOverlappingWRegister()), MEM_OP(reg_x(base), offset));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100269 } else {
270 CHECK_EQ(8u, size) << dest;
Alexandre Rames37c92df2014-10-17 14:35:27 +0100271 ___ Ldr(reg_x(dest.AsXRegister()), MEM_OP(reg_x(base), offset));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100272 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000273 } else if (dest.IsSRegister()) {
274 ___ Ldr(reg_s(dest.AsSRegister()), MEM_OP(reg_x(base), offset));
275 } else {
276 CHECK(dest.IsDRegister()) << dest;
277 ___ Ldr(reg_d(dest.AsDRegister()), MEM_OP(reg_x(base), offset));
278 }
279}
280
281void Arm64Assembler::Load(ManagedRegister m_dst, FrameOffset src, size_t size) {
282 return Load(m_dst.AsArm64(), SP, src.Int32Value(), size);
283}
284
Serban Constantinescu75b91132014-04-09 18:39:10 +0100285void Arm64Assembler::LoadFromThread64(ManagedRegister m_dst, ThreadOffset<8> src, size_t size) {
Serban Constantinescu63206f32014-05-07 18:40:49 +0100286 return Load(m_dst.AsArm64(), ETR, src.Int32Value(), size);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000287}
288
289void Arm64Assembler::LoadRef(ManagedRegister m_dst, FrameOffset offs) {
290 Arm64ManagedRegister dst = m_dst.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100291 CHECK(dst.IsXRegister()) << dst;
292 LoadWFromOffset(kLoadWord, dst.AsOverlappingWRegister(), SP, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000293}
294
295void Arm64Assembler::LoadRef(ManagedRegister m_dst, ManagedRegister m_base,
296 MemberOffset offs) {
297 Arm64ManagedRegister dst = m_dst.AsArm64();
298 Arm64ManagedRegister base = m_base.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100299 CHECK(dst.IsXRegister() && base.IsXRegister());
300 LoadWFromOffset(kLoadWord, dst.AsOverlappingWRegister(), base.AsXRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100301 offs.Int32Value());
Hiroshi Yamauchib88f0b12014-09-26 14:55:38 -0700302 if (kPoisonHeapReferences) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100303 WRegister ref_reg = dst.AsOverlappingWRegister();
Hiroshi Yamauchib88f0b12014-09-26 14:55:38 -0700304 ___ Neg(reg_w(ref_reg), vixl::Operand(reg_w(ref_reg)));
305 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000306}
307
308void Arm64Assembler::LoadRawPtr(ManagedRegister m_dst, ManagedRegister m_base, Offset offs) {
309 Arm64ManagedRegister dst = m_dst.AsArm64();
310 Arm64ManagedRegister base = m_base.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100311 CHECK(dst.IsXRegister() && base.IsXRegister());
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100312 // Remove dst and base form the temp list - higher level API uses IP1, IP0.
313 vixl::UseScratchRegisterScope temps(vixl_masm_);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100314 temps.Exclude(reg_x(dst.AsXRegister()), reg_x(base.AsXRegister()));
315 ___ Ldr(reg_x(dst.AsXRegister()), MEM_OP(reg_x(base.AsXRegister()), offs.Int32Value()));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000316}
317
Serban Constantinescu75b91132014-04-09 18:39:10 +0100318void Arm64Assembler::LoadRawPtrFromThread64(ManagedRegister m_dst, ThreadOffset<8> offs) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000319 Arm64ManagedRegister dst = m_dst.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100320 CHECK(dst.IsXRegister()) << dst;
321 LoadFromOffset(dst.AsXRegister(), ETR, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000322}
323
324// Copying routines.
325void Arm64Assembler::Move(ManagedRegister m_dst, ManagedRegister m_src, size_t size) {
326 Arm64ManagedRegister dst = m_dst.AsArm64();
327 Arm64ManagedRegister src = m_src.AsArm64();
328 if (!dst.Equals(src)) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100329 if (dst.IsXRegister()) {
Serban Constantinescu75b91132014-04-09 18:39:10 +0100330 if (size == 4) {
331 CHECK(src.IsWRegister());
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000332 ___ Mov(reg_w(dst.AsOverlappingWRegister()), reg_w(src.AsWRegister()));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100333 } else {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100334 if (src.IsXRegister()) {
335 ___ Mov(reg_x(dst.AsXRegister()), reg_x(src.AsXRegister()));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100336 } else {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000337 ___ Mov(reg_x(dst.AsXRegister()), reg_x(src.AsOverlappingXRegister()));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100338 }
339 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000340 } else if (dst.IsWRegister()) {
341 CHECK(src.IsWRegister()) << src;
342 ___ Mov(reg_w(dst.AsWRegister()), reg_w(src.AsWRegister()));
343 } else if (dst.IsSRegister()) {
344 CHECK(src.IsSRegister()) << src;
345 ___ Fmov(reg_s(dst.AsSRegister()), reg_s(src.AsSRegister()));
346 } else {
347 CHECK(dst.IsDRegister()) << dst;
348 CHECK(src.IsDRegister()) << src;
349 ___ Fmov(reg_d(dst.AsDRegister()), reg_d(src.AsDRegister()));
350 }
351 }
352}
353
Serban Constantinescu75b91132014-04-09 18:39:10 +0100354void Arm64Assembler::CopyRawPtrFromThread64(FrameOffset fr_offs,
355 ThreadOffset<8> tr_offs,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000356 ManagedRegister m_scratch) {
357 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100358 CHECK(scratch.IsXRegister()) << scratch;
359 LoadFromOffset(scratch.AsXRegister(), ETR, tr_offs.Int32Value());
360 StoreToOffset(scratch.AsXRegister(), SP, fr_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000361}
362
Serban Constantinescu75b91132014-04-09 18:39:10 +0100363void Arm64Assembler::CopyRawPtrToThread64(ThreadOffset<8> tr_offs,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000364 FrameOffset fr_offs,
365 ManagedRegister m_scratch) {
366 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100367 CHECK(scratch.IsXRegister()) << scratch;
368 LoadFromOffset(scratch.AsXRegister(), SP, fr_offs.Int32Value());
369 StoreToOffset(scratch.AsXRegister(), ETR, tr_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000370}
371
372void Arm64Assembler::CopyRef(FrameOffset dest, FrameOffset src,
373 ManagedRegister m_scratch) {
374 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100375 CHECK(scratch.IsXRegister()) << scratch;
376 LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100377 SP, src.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100378 StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100379 SP, dest.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000380}
381
382void Arm64Assembler::Copy(FrameOffset dest, FrameOffset src,
383 ManagedRegister m_scratch, size_t size) {
384 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100385 CHECK(scratch.IsXRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000386 CHECK(size == 4 || size == 8) << size;
387 if (size == 4) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100388 LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), SP, src.Int32Value());
389 StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), SP, dest.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000390 } else if (size == 8) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100391 LoadFromOffset(scratch.AsXRegister(), SP, src.Int32Value());
392 StoreToOffset(scratch.AsXRegister(), SP, dest.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000393 } else {
394 UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8";
395 }
396}
397
398void Arm64Assembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
399 ManagedRegister m_scratch, size_t size) {
400 Arm64ManagedRegister scratch = m_scratch.AsArm64();
401 Arm64ManagedRegister base = src_base.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100402 CHECK(base.IsXRegister()) << base;
403 CHECK(scratch.IsXRegister() || scratch.IsWRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000404 CHECK(size == 4 || size == 8) << size;
405 if (size == 4) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100406 LoadWFromOffset(kLoadWord, scratch.AsWRegister(), base.AsXRegister(),
Serban Constantinescued8dd492014-02-11 14:15:10 +0000407 src_offset.Int32Value());
408 StoreWToOffset(kStoreWord, scratch.AsWRegister(), SP, dest.Int32Value());
409 } else if (size == 8) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100410 LoadFromOffset(scratch.AsXRegister(), base.AsXRegister(), src_offset.Int32Value());
411 StoreToOffset(scratch.AsXRegister(), SP, dest.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000412 } else {
413 UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8";
414 }
415}
416
417void Arm64Assembler::Copy(ManagedRegister m_dest_base, Offset dest_offs, FrameOffset src,
418 ManagedRegister m_scratch, size_t size) {
419 Arm64ManagedRegister scratch = m_scratch.AsArm64();
420 Arm64ManagedRegister base = m_dest_base.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100421 CHECK(base.IsXRegister()) << base;
422 CHECK(scratch.IsXRegister() || scratch.IsWRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000423 CHECK(size == 4 || size == 8) << size;
424 if (size == 4) {
425 LoadWFromOffset(kLoadWord, scratch.AsWRegister(), SP, src.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100426 StoreWToOffset(kStoreWord, scratch.AsWRegister(), base.AsXRegister(),
Serban Constantinescued8dd492014-02-11 14:15:10 +0000427 dest_offs.Int32Value());
428 } else if (size == 8) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100429 LoadFromOffset(scratch.AsXRegister(), SP, src.Int32Value());
430 StoreToOffset(scratch.AsXRegister(), base.AsXRegister(), dest_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000431 } else {
432 UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8";
433 }
434}
435
436void Arm64Assembler::Copy(FrameOffset /*dst*/, FrameOffset /*src_base*/, Offset /*src_offset*/,
437 ManagedRegister /*mscratch*/, size_t /*size*/) {
438 UNIMPLEMENTED(FATAL) << "Unimplemented Copy() variant";
439}
440
441void Arm64Assembler::Copy(ManagedRegister m_dest, Offset dest_offset,
442 ManagedRegister m_src, Offset src_offset,
443 ManagedRegister m_scratch, size_t size) {
444 Arm64ManagedRegister scratch = m_scratch.AsArm64();
445 Arm64ManagedRegister src = m_src.AsArm64();
446 Arm64ManagedRegister dest = m_dest.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100447 CHECK(dest.IsXRegister()) << dest;
448 CHECK(src.IsXRegister()) << src;
449 CHECK(scratch.IsXRegister() || scratch.IsWRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000450 CHECK(size == 4 || size == 8) << size;
451 if (size == 4) {
Serban Constantinescu75b91132014-04-09 18:39:10 +0100452 if (scratch.IsWRegister()) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100453 LoadWFromOffset(kLoadWord, scratch.AsWRegister(), src.AsXRegister(),
Serban Constantinescued8dd492014-02-11 14:15:10 +0000454 src_offset.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100455 StoreWToOffset(kStoreWord, scratch.AsWRegister(), dest.AsXRegister(),
Serban Constantinescued8dd492014-02-11 14:15:10 +0000456 dest_offset.Int32Value());
Serban Constantinescu75b91132014-04-09 18:39:10 +0100457 } else {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100458 LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), src.AsXRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100459 src_offset.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100460 StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), dest.AsXRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100461 dest_offset.Int32Value());
462 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000463 } else if (size == 8) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100464 LoadFromOffset(scratch.AsXRegister(), src.AsXRegister(), src_offset.Int32Value());
465 StoreToOffset(scratch.AsXRegister(), dest.AsXRegister(), dest_offset.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000466 } else {
467 UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8";
468 }
469}
470
471void Arm64Assembler::Copy(FrameOffset /*dst*/, Offset /*dest_offset*/,
472 FrameOffset /*src*/, Offset /*src_offset*/,
473 ManagedRegister /*scratch*/, size_t /*size*/) {
474 UNIMPLEMENTED(FATAL) << "Unimplemented Copy() variant";
475}
476
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700477void Arm64Assembler::MemoryBarrier(ManagedRegister m_scratch ATTRIBUTE_UNUSED) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000478 // TODO: Should we check that m_scratch is IP? - see arm.
Serban Constantinescued8dd492014-02-11 14:15:10 +0000479 ___ Dmb(vixl::InnerShareable, vixl::BarrierAll);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000480}
481
Andreas Gamped1104322014-05-01 14:38:56 -0700482void Arm64Assembler::SignExtend(ManagedRegister mreg, size_t size) {
483 Arm64ManagedRegister reg = mreg.AsArm64();
484 CHECK(size == 1 || size == 2) << size;
485 CHECK(reg.IsWRegister()) << reg;
486 if (size == 1) {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000487 ___ Sxtb(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister()));
Andreas Gamped1104322014-05-01 14:38:56 -0700488 } else {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000489 ___ Sxth(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister()));
Andreas Gamped1104322014-05-01 14:38:56 -0700490 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000491}
492
Andreas Gamped1104322014-05-01 14:38:56 -0700493void Arm64Assembler::ZeroExtend(ManagedRegister mreg, size_t size) {
494 Arm64ManagedRegister reg = mreg.AsArm64();
495 CHECK(size == 1 || size == 2) << size;
496 CHECK(reg.IsWRegister()) << reg;
497 if (size == 1) {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000498 ___ Uxtb(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister()));
Andreas Gamped1104322014-05-01 14:38:56 -0700499 } else {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000500 ___ Uxth(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister()));
Andreas Gamped1104322014-05-01 14:38:56 -0700501 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000502}
503
504void Arm64Assembler::VerifyObject(ManagedRegister /*src*/, bool /*could_be_null*/) {
505 // TODO: not validating references.
506}
507
508void Arm64Assembler::VerifyObject(FrameOffset /*src*/, bool /*could_be_null*/) {
509 // TODO: not validating references.
510}
511
512void Arm64Assembler::Call(ManagedRegister m_base, Offset offs, ManagedRegister m_scratch) {
513 Arm64ManagedRegister base = m_base.AsArm64();
514 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100515 CHECK(base.IsXRegister()) << base;
516 CHECK(scratch.IsXRegister()) << scratch;
517 LoadFromOffset(scratch.AsXRegister(), base.AsXRegister(), offs.Int32Value());
518 ___ Blr(reg_x(scratch.AsXRegister()));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000519}
520
Andreas Gampec6ee54e2014-03-24 16:45:44 -0700521void Arm64Assembler::JumpTo(ManagedRegister m_base, Offset offs, ManagedRegister m_scratch) {
522 Arm64ManagedRegister base = m_base.AsArm64();
523 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100524 CHECK(base.IsXRegister()) << base;
525 CHECK(scratch.IsXRegister()) << scratch;
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100526 // Remove base and scratch form the temp list - higher level API uses IP1, IP0.
527 vixl::UseScratchRegisterScope temps(vixl_masm_);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100528 temps.Exclude(reg_x(base.AsXRegister()), reg_x(scratch.AsXRegister()));
529 ___ Ldr(reg_x(scratch.AsXRegister()), MEM_OP(reg_x(base.AsXRegister()), offs.Int32Value()));
530 ___ Br(reg_x(scratch.AsXRegister()));
Andreas Gampec6ee54e2014-03-24 16:45:44 -0700531}
532
Serban Constantinescued8dd492014-02-11 14:15:10 +0000533void Arm64Assembler::Call(FrameOffset base, Offset offs, ManagedRegister m_scratch) {
534 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100535 CHECK(scratch.IsXRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000536 // Call *(*(SP + base) + offset)
Alexandre Rames37c92df2014-10-17 14:35:27 +0100537 LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), SP, base.Int32Value());
538 LoadFromOffset(scratch.AsXRegister(), scratch.AsXRegister(), offs.Int32Value());
539 ___ Blr(reg_x(scratch.AsXRegister()));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000540}
541
Serban Constantinescu75b91132014-04-09 18:39:10 +0100542void Arm64Assembler::CallFromThread64(ThreadOffset<8> /*offset*/, ManagedRegister /*scratch*/) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000543 UNIMPLEMENTED(FATAL) << "Unimplemented Call() variant";
544}
545
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700546void Arm64Assembler::CreateHandleScopeEntry(ManagedRegister m_out_reg, FrameOffset handle_scope_offs,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000547 ManagedRegister m_in_reg, bool null_allowed) {
548 Arm64ManagedRegister out_reg = m_out_reg.AsArm64();
549 Arm64ManagedRegister in_reg = m_in_reg.AsArm64();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700550 // For now we only hold stale handle scope entries in x registers.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100551 CHECK(in_reg.IsNoRegister() || in_reg.IsXRegister()) << in_reg;
552 CHECK(out_reg.IsXRegister()) << out_reg;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000553 if (null_allowed) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700554 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
555 // the address in the handle scope holding the reference.
Serban Constantinescued8dd492014-02-11 14:15:10 +0000556 // e.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset)
557 if (in_reg.IsNoRegister()) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100558 LoadWFromOffset(kLoadWord, out_reg.AsOverlappingWRegister(), SP,
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700559 handle_scope_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000560 in_reg = out_reg;
561 }
Alexandre Rames37c92df2014-10-17 14:35:27 +0100562 ___ Cmp(reg_w(in_reg.AsOverlappingWRegister()), 0);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000563 if (!out_reg.Equals(in_reg)) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100564 LoadImmediate(out_reg.AsXRegister(), 0, eq);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000565 }
Alexandre Rames37c92df2014-10-17 14:35:27 +0100566 AddConstant(out_reg.AsXRegister(), SP, handle_scope_offs.Int32Value(), ne);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000567 } else {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100568 AddConstant(out_reg.AsXRegister(), SP, handle_scope_offs.Int32Value(), al);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000569 }
570}
571
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700572void Arm64Assembler::CreateHandleScopeEntry(FrameOffset out_off, FrameOffset handle_scope_offset,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000573 ManagedRegister m_scratch, bool null_allowed) {
574 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100575 CHECK(scratch.IsXRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000576 if (null_allowed) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100577 LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), SP,
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700578 handle_scope_offset.Int32Value());
579 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
580 // the address in the handle scope holding the reference.
581 // e.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset)
Alexandre Rames37c92df2014-10-17 14:35:27 +0100582 ___ Cmp(reg_w(scratch.AsOverlappingWRegister()), 0);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000583 // Move this logic in add constants with flags.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100584 AddConstant(scratch.AsXRegister(), SP, handle_scope_offset.Int32Value(), ne);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000585 } else {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100586 AddConstant(scratch.AsXRegister(), SP, handle_scope_offset.Int32Value(), al);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000587 }
Alexandre Rames37c92df2014-10-17 14:35:27 +0100588 StoreToOffset(scratch.AsXRegister(), SP, out_off.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000589}
590
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700591void Arm64Assembler::LoadReferenceFromHandleScope(ManagedRegister m_out_reg,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000592 ManagedRegister m_in_reg) {
593 Arm64ManagedRegister out_reg = m_out_reg.AsArm64();
594 Arm64ManagedRegister in_reg = m_in_reg.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100595 CHECK(out_reg.IsXRegister()) << out_reg;
596 CHECK(in_reg.IsXRegister()) << in_reg;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000597 vixl::Label exit;
598 if (!out_reg.Equals(in_reg)) {
599 // FIXME: Who sets the flags here?
Alexandre Rames37c92df2014-10-17 14:35:27 +0100600 LoadImmediate(out_reg.AsXRegister(), 0, eq);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000601 }
Alexandre Rames37c92df2014-10-17 14:35:27 +0100602 ___ Cbz(reg_x(in_reg.AsXRegister()), &exit);
603 LoadFromOffset(out_reg.AsXRegister(), in_reg.AsXRegister(), 0);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000604 ___ Bind(&exit);
605}
606
607void Arm64Assembler::ExceptionPoll(ManagedRegister m_scratch, size_t stack_adjust) {
608 CHECK_ALIGNED(stack_adjust, kStackAlignment);
609 Arm64ManagedRegister scratch = m_scratch.AsArm64();
610 Arm64Exception *current_exception = new Arm64Exception(scratch, stack_adjust);
611 exception_blocks_.push_back(current_exception);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100612 LoadFromOffset(scratch.AsXRegister(), ETR, Thread::ExceptionOffset<8>().Int32Value());
613 ___ Cbnz(reg_x(scratch.AsXRegister()), current_exception->Entry());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000614}
615
616void Arm64Assembler::EmitExceptionPoll(Arm64Exception *exception) {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100617 vixl::UseScratchRegisterScope temps(vixl_masm_);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100618 temps.Exclude(reg_x(exception->scratch_.AsXRegister()));
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100619 vixl::Register temp = temps.AcquireX();
620
621 // Bind exception poll entry.
Serban Constantinescued8dd492014-02-11 14:15:10 +0000622 ___ Bind(exception->Entry());
623 if (exception->stack_adjust_ != 0) { // Fix up the frame.
624 DecreaseFrameSize(exception->stack_adjust_);
625 }
626 // Pass exception object as argument.
627 // Don't care about preserving X0 as this won't return.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100628 ___ Mov(reg_x(X0), reg_x(exception->scratch_.AsXRegister()));
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100629 ___ Ldr(temp, MEM_OP(reg_x(ETR), QUICK_ENTRYPOINT_OFFSET(8, pDeliverException).Int32Value()));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100630
Serban Constantinescu63206f32014-05-07 18:40:49 +0100631 // Move ETR(Callee saved) back to TR(Caller saved) reg. We use ETR on calls
632 // to external functions that might trash TR. We do not need the original
Zheng Xub551fdc2014-07-25 11:49:42 +0800633 // ETR(X21) saved in BuildFrame().
Serban Constantinescu63206f32014-05-07 18:40:49 +0100634 ___ Mov(reg_x(TR), reg_x(ETR));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100635
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100636 ___ Blr(temp);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000637 // Call should never return.
638 ___ Brk();
639}
640
Ian Rogers790a6b72014-04-01 10:36:00 -0700641constexpr size_t kFramePointerSize = 8;
642
Serban Constantinescued8dd492014-02-11 14:15:10 +0000643void Arm64Assembler::BuildFrame(size_t frame_size, ManagedRegister method_reg,
644 const std::vector<ManagedRegister>& callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +0700645 const ManagedRegisterEntrySpills& entry_spills) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000646 CHECK_ALIGNED(frame_size, kStackAlignment);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100647 CHECK(X0 == method_reg.AsArm64().AsXRegister());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000648
649 // TODO: *create APCS FP - end of FP chain;
650 // *add support for saving a different set of callee regs.
Zheng Xub551fdc2014-07-25 11:49:42 +0800651 // For now we check that the size of callee regs vector is 11.
652 CHECK_EQ(callee_save_regs.size(), kJniRefSpillRegsSize);
Andreas Gampecf4035a2014-05-28 22:43:01 -0700653 // Increase frame to required size - must be at least space to push StackReference<Method>.
Zheng Xub551fdc2014-07-25 11:49:42 +0800654 CHECK_GT(frame_size, kJniRefSpillRegsSize * kFramePointerSize);
655 IncreaseFrameSize(frame_size);
656
657 // TODO: Ugly hard code...
658 // Should generate these according to the spill mask automatically.
659 // TUNING: Use stp.
660 // Note: Must match Arm64JniCallingConvention::CoreSpillMask().
661 size_t reg_offset = frame_size;
662 reg_offset -= 8;
663 StoreToOffset(LR, SP, reg_offset);
664 reg_offset -= 8;
665 StoreToOffset(X29, SP, reg_offset);
666 reg_offset -= 8;
667 StoreToOffset(X28, SP, reg_offset);
668 reg_offset -= 8;
669 StoreToOffset(X27, SP, reg_offset);
670 reg_offset -= 8;
671 StoreToOffset(X26, SP, reg_offset);
672 reg_offset -= 8;
673 StoreToOffset(X25, SP, reg_offset);
674 reg_offset -= 8;
675 StoreToOffset(X24, SP, reg_offset);
676 reg_offset -= 8;
677 StoreToOffset(X23, SP, reg_offset);
678 reg_offset -= 8;
679 StoreToOffset(X22, SP, reg_offset);
680 reg_offset -= 8;
681 StoreToOffset(X21, SP, reg_offset);
682 reg_offset -= 8;
683 StoreToOffset(X20, SP, reg_offset);
684
685 // Move TR(Caller saved) to ETR(Callee saved). The original (ETR)X21 has been saved on stack.
686 // This way we make sure that TR is not trashed by native code.
687 ___ Mov(reg_x(ETR), reg_x(TR));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000688
Andreas Gampecf4035a2014-05-28 22:43:01 -0700689 // Write StackReference<Method>.
690 DCHECK_EQ(4U, sizeof(StackReference<mirror::ArtMethod>));
691 StoreWToOffset(StoreOperandType::kStoreWord, W0, SP, 0);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000692
Serban Constantinescu75b91132014-04-09 18:39:10 +0100693 // Write out entry spills
Andreas Gampecf4035a2014-05-28 22:43:01 -0700694 int32_t offset = frame_size + sizeof(StackReference<mirror::ArtMethod>);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000695 for (size_t i = 0; i < entry_spills.size(); ++i) {
Serban Constantinescu75b91132014-04-09 18:39:10 +0100696 Arm64ManagedRegister reg = entry_spills.at(i).AsArm64();
697 if (reg.IsNoRegister()) {
698 // only increment stack offset.
699 ManagedRegisterSpill spill = entry_spills.at(i);
700 offset += spill.getSize();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100701 } else if (reg.IsXRegister()) {
702 StoreToOffset(reg.AsXRegister(), SP, offset);
Serban Constantinescu75b91132014-04-09 18:39:10 +0100703 offset += 8;
704 } else if (reg.IsWRegister()) {
705 StoreWToOffset(kStoreWord, reg.AsWRegister(), SP, offset);
706 offset += 4;
707 } else if (reg.IsDRegister()) {
708 StoreDToOffset(reg.AsDRegister(), SP, offset);
709 offset += 8;
710 } else if (reg.IsSRegister()) {
711 StoreSToOffset(reg.AsSRegister(), SP, offset);
712 offset += 4;
713 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000714 }
715}
716
717void Arm64Assembler::RemoveFrame(size_t frame_size, const std::vector<ManagedRegister>& callee_save_regs) {
718 CHECK_ALIGNED(frame_size, kStackAlignment);
719
Zheng Xub551fdc2014-07-25 11:49:42 +0800720 // For now we only check that the size of the frame is greater than the spill size.
721 CHECK_EQ(callee_save_regs.size(), kJniRefSpillRegsSize);
722 CHECK_GT(frame_size, kJniRefSpillRegsSize * kFramePointerSize);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000723
Zheng Xub551fdc2014-07-25 11:49:42 +0800724 // We move ETR(aapcs64 callee saved) back to TR(aapcs64 caller saved) which might have
725 // been trashed in the native call. The original ETR(X21) is restored from stack.
Serban Constantinescu63206f32014-05-07 18:40:49 +0100726 ___ Mov(reg_x(TR), reg_x(ETR));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100727
Zheng Xub551fdc2014-07-25 11:49:42 +0800728 // TODO: Ugly hard code...
729 // Should generate these according to the spill mask automatically.
730 // TUNING: Use ldp.
731 // Note: Must match Arm64JniCallingConvention::CoreSpillMask().
732 size_t reg_offset = frame_size;
733 reg_offset -= 8;
734 LoadFromOffset(LR, SP, reg_offset);
735 reg_offset -= 8;
736 LoadFromOffset(X29, SP, reg_offset);
737 reg_offset -= 8;
738 LoadFromOffset(X28, SP, reg_offset);
739 reg_offset -= 8;
740 LoadFromOffset(X27, SP, reg_offset);
741 reg_offset -= 8;
742 LoadFromOffset(X26, SP, reg_offset);
743 reg_offset -= 8;
744 LoadFromOffset(X25, SP, reg_offset);
745 reg_offset -= 8;
746 LoadFromOffset(X24, SP, reg_offset);
747 reg_offset -= 8;
748 LoadFromOffset(X23, SP, reg_offset);
749 reg_offset -= 8;
750 LoadFromOffset(X22, SP, reg_offset);
751 reg_offset -= 8;
752 LoadFromOffset(X21, SP, reg_offset);
753 reg_offset -= 8;
754 LoadFromOffset(X20, SP, reg_offset);
755
756 // Decrease frame size to start of callee saved regs.
757 DecreaseFrameSize(frame_size);
758
Serban Constantinescued8dd492014-02-11 14:15:10 +0000759 // Pop callee saved and return to LR.
Serban Constantinescued8dd492014-02-11 14:15:10 +0000760 ___ Ret();
761}
762
763} // namespace arm64
764} // namespace art