blob: eb8de0620b6b1a405f7a4de8d2997c9b6a3a9abb [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"
Serban Constantinescued8dd492014-02-11 14:15:10 +000022
Alexandre Ramesba9388c2014-08-22 14:08:36 +010023using namespace vixl; // NOLINT(build/namespaces)
24
Serban Constantinescued8dd492014-02-11 14:15:10 +000025namespace art {
26namespace arm64 {
27
28#ifdef ___
29#error "ARM64 Assembler macro already defined."
30#else
31#define ___ vixl_masm_->
32#endif
33
Vladimir Markocf93a5c2015-06-16 11:33:24 +000034void Arm64Assembler::FinalizeCode() {
Serban Constantinescued8dd492014-02-11 14:15:10 +000035 if (!exception_blocks_.empty()) {
36 for (size_t i = 0; i < exception_blocks_.size(); i++) {
37 EmitExceptionPoll(exception_blocks_.at(i));
38 }
39 }
40 ___ FinalizeCode();
41}
42
43size_t Arm64Assembler::CodeSize() const {
Alexandre Ramescee75242014-10-08 18:41:21 +010044 return vixl_masm_->BufferCapacity() - vixl_masm_->RemainingBufferSpace();
Serban Constantinescued8dd492014-02-11 14:15:10 +000045}
46
47void Arm64Assembler::FinalizeInstructions(const MemoryRegion& region) {
48 // Copy the instructions from the buffer.
Alexandre Ramescee75242014-10-08 18:41:21 +010049 MemoryRegion from(vixl_masm_->GetStartAddress<void*>(), CodeSize());
Serban Constantinescued8dd492014-02-11 14:15:10 +000050 region.CopyFrom(0, from);
51}
52
53void Arm64Assembler::GetCurrentThread(ManagedRegister tr) {
Serban Constantinescu9bd88b02015-04-22 16:24:46 +010054 ___ Mov(reg_x(tr.AsArm64().AsXRegister()), reg_x(TR));
Serban Constantinescued8dd492014-02-11 14:15:10 +000055}
56
57void Arm64Assembler::GetCurrentThread(FrameOffset offset, ManagedRegister /* scratch */) {
Serban Constantinescu9bd88b02015-04-22 16:24:46 +010058 StoreToOffset(TR, SP, offset.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +000059}
60
61// See Arm64 PCS Section 5.2.2.1.
62void Arm64Assembler::IncreaseFrameSize(size_t adjust) {
63 CHECK_ALIGNED(adjust, kStackAlignment);
64 AddConstant(SP, -adjust);
David Srbeckydd973932015-04-07 20:29:48 +010065 cfi().AdjustCFAOffset(adjust);
Serban Constantinescued8dd492014-02-11 14:15:10 +000066}
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);
David Srbeckydd973932015-04-07 20:29:48 +010072 cfi().AdjustCFAOffset(-adjust);
Serban Constantinescued8dd492014-02-11 14:15:10 +000073}
74
Alexandre Rames37c92df2014-10-17 14:35:27 +010075void Arm64Assembler::AddConstant(XRegister rd, int32_t value, Condition cond) {
Serban Constantinescued8dd492014-02-11 14:15:10 +000076 AddConstant(rd, rd, value, cond);
77}
78
Alexandre Rames37c92df2014-10-17 14:35:27 +010079void Arm64Assembler::AddConstant(XRegister rd, XRegister rn, int32_t value,
Serban Constantinescued8dd492014-02-11 14:15:10 +000080 Condition cond) {
Alexandre Ramesba9388c2014-08-22 14:08:36 +010081 if ((cond == al) || (cond == nv)) {
Serban Constantinescued8dd492014-02-11 14:15:10 +000082 // VIXL macro-assembler handles all variants.
83 ___ Add(reg_x(rd), reg_x(rn), value);
84 } else {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +010085 // temp = rd + value
86 // rd = cond ? temp : rn
87 vixl::UseScratchRegisterScope temps(vixl_masm_);
88 temps.Exclude(reg_x(rd), reg_x(rn));
89 vixl::Register temp = temps.AcquireX();
90 ___ Add(temp, reg_x(rn), value);
Alexandre Ramesba9388c2014-08-22 14:08:36 +010091 ___ Csel(reg_x(rd), temp, reg_x(rd), cond);
Serban Constantinescued8dd492014-02-11 14:15:10 +000092 }
93}
94
95void Arm64Assembler::StoreWToOffset(StoreOperandType type, WRegister source,
Alexandre Rames37c92df2014-10-17 14:35:27 +010096 XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +000097 switch (type) {
98 case kStoreByte:
99 ___ Strb(reg_w(source), MEM_OP(reg_x(base), offset));
100 break;
101 case kStoreHalfword:
102 ___ Strh(reg_w(source), MEM_OP(reg_x(base), offset));
103 break;
104 case kStoreWord:
105 ___ Str(reg_w(source), MEM_OP(reg_x(base), offset));
106 break;
107 default:
108 LOG(FATAL) << "UNREACHABLE";
109 }
110}
111
Alexandre Rames37c92df2014-10-17 14:35:27 +0100112void Arm64Assembler::StoreToOffset(XRegister source, XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000113 CHECK_NE(source, SP);
114 ___ Str(reg_x(source), MEM_OP(reg_x(base), offset));
115}
116
Alexandre Rames37c92df2014-10-17 14:35:27 +0100117void Arm64Assembler::StoreSToOffset(SRegister source, XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000118 ___ Str(reg_s(source), MEM_OP(reg_x(base), offset));
119}
120
Alexandre Rames37c92df2014-10-17 14:35:27 +0100121void Arm64Assembler::StoreDToOffset(DRegister source, XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000122 ___ Str(reg_d(source), MEM_OP(reg_x(base), offset));
123}
124
125void Arm64Assembler::Store(FrameOffset offs, ManagedRegister m_src, size_t size) {
126 Arm64ManagedRegister src = m_src.AsArm64();
127 if (src.IsNoRegister()) {
128 CHECK_EQ(0u, size);
129 } else if (src.IsWRegister()) {
130 CHECK_EQ(4u, size);
131 StoreWToOffset(kStoreWord, src.AsWRegister(), SP, offs.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100132 } else if (src.IsXRegister()) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000133 CHECK_EQ(8u, size);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100134 StoreToOffset(src.AsXRegister(), SP, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000135 } else if (src.IsSRegister()) {
136 StoreSToOffset(src.AsSRegister(), SP, offs.Int32Value());
137 } else {
138 CHECK(src.IsDRegister()) << src;
139 StoreDToOffset(src.AsDRegister(), SP, offs.Int32Value());
140 }
141}
142
143void Arm64Assembler::StoreRef(FrameOffset offs, ManagedRegister m_src) {
144 Arm64ManagedRegister src = m_src.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100145 CHECK(src.IsXRegister()) << src;
146 StoreWToOffset(kStoreWord, src.AsOverlappingWRegister(), SP,
Serban Constantinescu75b91132014-04-09 18:39:10 +0100147 offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000148}
149
150void Arm64Assembler::StoreRawPtr(FrameOffset offs, ManagedRegister m_src) {
151 Arm64ManagedRegister src = m_src.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100152 CHECK(src.IsXRegister()) << src;
153 StoreToOffset(src.AsXRegister(), SP, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000154}
155
156void Arm64Assembler::StoreImmediateToFrame(FrameOffset offs, uint32_t imm,
157 ManagedRegister m_scratch) {
158 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100159 CHECK(scratch.IsXRegister()) << scratch;
160 LoadImmediate(scratch.AsXRegister(), imm);
161 StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), SP,
Serban Constantinescu75b91132014-04-09 18:39:10 +0100162 offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000163}
164
Serban Constantinescu75b91132014-04-09 18:39:10 +0100165void Arm64Assembler::StoreImmediateToThread64(ThreadOffset<8> offs, uint32_t imm,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000166 ManagedRegister m_scratch) {
167 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100168 CHECK(scratch.IsXRegister()) << scratch;
169 LoadImmediate(scratch.AsXRegister(), imm);
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100170 StoreToOffset(scratch.AsXRegister(), TR, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000171}
172
Serban Constantinescu75b91132014-04-09 18:39:10 +0100173void Arm64Assembler::StoreStackOffsetToThread64(ThreadOffset<8> tr_offs,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000174 FrameOffset fr_offs,
175 ManagedRegister m_scratch) {
176 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100177 CHECK(scratch.IsXRegister()) << scratch;
178 AddConstant(scratch.AsXRegister(), SP, fr_offs.Int32Value());
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100179 StoreToOffset(scratch.AsXRegister(), TR, tr_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000180}
181
Serban Constantinescu75b91132014-04-09 18:39:10 +0100182void Arm64Assembler::StoreStackPointerToThread64(ThreadOffset<8> tr_offs) {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100183 vixl::UseScratchRegisterScope temps(vixl_masm_);
184 vixl::Register temp = temps.AcquireX();
185 ___ Mov(temp, reg_x(SP));
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100186 ___ Str(temp, MEM_OP(reg_x(TR), tr_offs.Int32Value()));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000187}
188
189void Arm64Assembler::StoreSpanning(FrameOffset dest_off, ManagedRegister m_source,
190 FrameOffset in_off, ManagedRegister m_scratch) {
191 Arm64ManagedRegister source = m_source.AsArm64();
192 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100193 StoreToOffset(source.AsXRegister(), SP, dest_off.Int32Value());
194 LoadFromOffset(scratch.AsXRegister(), SP, in_off.Int32Value());
195 StoreToOffset(scratch.AsXRegister(), SP, dest_off.Int32Value() + 8);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000196}
197
198// Load routines.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100199void Arm64Assembler::LoadImmediate(XRegister dest, int32_t value,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000200 Condition cond) {
Alexandre Ramesba9388c2014-08-22 14:08:36 +0100201 if ((cond == al) || (cond == nv)) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000202 ___ Mov(reg_x(dest), value);
203 } else {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100204 // temp = value
205 // rd = cond ? temp : rd
Serban Constantinescued8dd492014-02-11 14:15:10 +0000206 if (value != 0) {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100207 vixl::UseScratchRegisterScope temps(vixl_masm_);
208 temps.Exclude(reg_x(dest));
209 vixl::Register temp = temps.AcquireX();
210 ___ Mov(temp, value);
Alexandre Ramesba9388c2014-08-22 14:08:36 +0100211 ___ Csel(reg_x(dest), temp, reg_x(dest), cond);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000212 } else {
Alexandre Ramesba9388c2014-08-22 14:08:36 +0100213 ___ Csel(reg_x(dest), reg_x(XZR), reg_x(dest), cond);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000214 }
215 }
216}
217
218void Arm64Assembler::LoadWFromOffset(LoadOperandType type, WRegister dest,
Alexandre Rames37c92df2014-10-17 14:35:27 +0100219 XRegister base, int32_t offset) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000220 switch (type) {
221 case kLoadSignedByte:
222 ___ Ldrsb(reg_w(dest), MEM_OP(reg_x(base), offset));
223 break;
224 case kLoadSignedHalfword:
225 ___ Ldrsh(reg_w(dest), MEM_OP(reg_x(base), offset));
226 break;
227 case kLoadUnsignedByte:
228 ___ Ldrb(reg_w(dest), MEM_OP(reg_x(base), offset));
229 break;
230 case kLoadUnsignedHalfword:
231 ___ Ldrh(reg_w(dest), MEM_OP(reg_x(base), offset));
232 break;
233 case kLoadWord:
234 ___ Ldr(reg_w(dest), MEM_OP(reg_x(base), offset));
235 break;
236 default:
237 LOG(FATAL) << "UNREACHABLE";
238 }
239}
240
241// Note: We can extend this member by adding load type info - see
242// sign extended A64 load variants.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100243void Arm64Assembler::LoadFromOffset(XRegister dest, XRegister base,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000244 int32_t offset) {
245 CHECK_NE(dest, SP);
246 ___ Ldr(reg_x(dest), MEM_OP(reg_x(base), offset));
247}
248
Alexandre Rames37c92df2014-10-17 14:35:27 +0100249void Arm64Assembler::LoadSFromOffset(SRegister dest, XRegister base,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000250 int32_t offset) {
251 ___ Ldr(reg_s(dest), MEM_OP(reg_x(base), offset));
252}
253
Alexandre Rames37c92df2014-10-17 14:35:27 +0100254void Arm64Assembler::LoadDFromOffset(DRegister dest, XRegister base,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000255 int32_t offset) {
256 ___ Ldr(reg_d(dest), MEM_OP(reg_x(base), offset));
257}
258
Alexandre Rames37c92df2014-10-17 14:35:27 +0100259void Arm64Assembler::Load(Arm64ManagedRegister dest, XRegister base,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000260 int32_t offset, size_t size) {
261 if (dest.IsNoRegister()) {
262 CHECK_EQ(0u, size) << dest;
263 } else if (dest.IsWRegister()) {
264 CHECK_EQ(4u, size) << dest;
265 ___ Ldr(reg_w(dest.AsWRegister()), MEM_OP(reg_x(base), offset));
Alexandre Rames37c92df2014-10-17 14:35:27 +0100266 } else if (dest.IsXRegister()) {
267 CHECK_NE(dest.AsXRegister(), SP) << dest;
Serban Constantinescu75b91132014-04-09 18:39:10 +0100268 if (size == 4u) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100269 ___ Ldr(reg_w(dest.AsOverlappingWRegister()), MEM_OP(reg_x(base), offset));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100270 } else {
271 CHECK_EQ(8u, size) << dest;
Alexandre Rames37c92df2014-10-17 14:35:27 +0100272 ___ Ldr(reg_x(dest.AsXRegister()), MEM_OP(reg_x(base), offset));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100273 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000274 } else if (dest.IsSRegister()) {
275 ___ Ldr(reg_s(dest.AsSRegister()), MEM_OP(reg_x(base), offset));
276 } else {
277 CHECK(dest.IsDRegister()) << dest;
278 ___ Ldr(reg_d(dest.AsDRegister()), MEM_OP(reg_x(base), offset));
279 }
280}
281
282void Arm64Assembler::Load(ManagedRegister m_dst, FrameOffset src, size_t size) {
283 return Load(m_dst.AsArm64(), SP, src.Int32Value(), size);
284}
285
Serban Constantinescu75b91132014-04-09 18:39:10 +0100286void Arm64Assembler::LoadFromThread64(ManagedRegister m_dst, ThreadOffset<8> src, size_t size) {
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100287 return Load(m_dst.AsArm64(), TR, src.Int32Value(), size);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000288}
289
290void Arm64Assembler::LoadRef(ManagedRegister m_dst, FrameOffset offs) {
291 Arm64ManagedRegister dst = m_dst.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100292 CHECK(dst.IsXRegister()) << dst;
293 LoadWFromOffset(kLoadWord, dst.AsOverlappingWRegister(), SP, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000294}
295
Mathieu Chartiere401d142015-04-22 13:56:20 -0700296void Arm64Assembler::LoadRef(ManagedRegister m_dst, ManagedRegister m_base, MemberOffset offs,
297 bool poison_reference) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000298 Arm64ManagedRegister dst = m_dst.AsArm64();
299 Arm64ManagedRegister base = m_base.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100300 CHECK(dst.IsXRegister() && base.IsXRegister());
301 LoadWFromOffset(kLoadWord, dst.AsOverlappingWRegister(), base.AsXRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100302 offs.Int32Value());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700303 if (kPoisonHeapReferences && poison_reference) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100304 WRegister ref_reg = dst.AsOverlappingWRegister();
Hiroshi Yamauchib88f0b12014-09-26 14:55:38 -0700305 ___ Neg(reg_w(ref_reg), vixl::Operand(reg_w(ref_reg)));
306 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000307}
308
309void Arm64Assembler::LoadRawPtr(ManagedRegister m_dst, ManagedRegister m_base, Offset offs) {
310 Arm64ManagedRegister dst = m_dst.AsArm64();
311 Arm64ManagedRegister base = m_base.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100312 CHECK(dst.IsXRegister() && base.IsXRegister());
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100313 // Remove dst and base form the temp list - higher level API uses IP1, IP0.
314 vixl::UseScratchRegisterScope temps(vixl_masm_);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100315 temps.Exclude(reg_x(dst.AsXRegister()), reg_x(base.AsXRegister()));
316 ___ Ldr(reg_x(dst.AsXRegister()), MEM_OP(reg_x(base.AsXRegister()), offs.Int32Value()));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000317}
318
Serban Constantinescu75b91132014-04-09 18:39:10 +0100319void Arm64Assembler::LoadRawPtrFromThread64(ManagedRegister m_dst, ThreadOffset<8> offs) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000320 Arm64ManagedRegister dst = m_dst.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100321 CHECK(dst.IsXRegister()) << dst;
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100322 LoadFromOffset(dst.AsXRegister(), TR, offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000323}
324
325// Copying routines.
326void Arm64Assembler::Move(ManagedRegister m_dst, ManagedRegister m_src, size_t size) {
327 Arm64ManagedRegister dst = m_dst.AsArm64();
328 Arm64ManagedRegister src = m_src.AsArm64();
329 if (!dst.Equals(src)) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100330 if (dst.IsXRegister()) {
Serban Constantinescu75b91132014-04-09 18:39:10 +0100331 if (size == 4) {
332 CHECK(src.IsWRegister());
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000333 ___ Mov(reg_w(dst.AsOverlappingWRegister()), reg_w(src.AsWRegister()));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100334 } else {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100335 if (src.IsXRegister()) {
336 ___ Mov(reg_x(dst.AsXRegister()), reg_x(src.AsXRegister()));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100337 } else {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000338 ___ Mov(reg_x(dst.AsXRegister()), reg_x(src.AsOverlappingXRegister()));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100339 }
340 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000341 } else if (dst.IsWRegister()) {
342 CHECK(src.IsWRegister()) << src;
343 ___ Mov(reg_w(dst.AsWRegister()), reg_w(src.AsWRegister()));
344 } else if (dst.IsSRegister()) {
345 CHECK(src.IsSRegister()) << src;
346 ___ Fmov(reg_s(dst.AsSRegister()), reg_s(src.AsSRegister()));
347 } else {
348 CHECK(dst.IsDRegister()) << dst;
349 CHECK(src.IsDRegister()) << src;
350 ___ Fmov(reg_d(dst.AsDRegister()), reg_d(src.AsDRegister()));
351 }
352 }
353}
354
Serban Constantinescu75b91132014-04-09 18:39:10 +0100355void Arm64Assembler::CopyRawPtrFromThread64(FrameOffset fr_offs,
356 ThreadOffset<8> tr_offs,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000357 ManagedRegister m_scratch) {
358 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100359 CHECK(scratch.IsXRegister()) << scratch;
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100360 LoadFromOffset(scratch.AsXRegister(), TR, tr_offs.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100361 StoreToOffset(scratch.AsXRegister(), SP, fr_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000362}
363
Serban Constantinescu75b91132014-04-09 18:39:10 +0100364void Arm64Assembler::CopyRawPtrToThread64(ThreadOffset<8> tr_offs,
Serban Constantinescued8dd492014-02-11 14:15:10 +0000365 FrameOffset fr_offs,
366 ManagedRegister m_scratch) {
367 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100368 CHECK(scratch.IsXRegister()) << scratch;
369 LoadFromOffset(scratch.AsXRegister(), SP, fr_offs.Int32Value());
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100370 StoreToOffset(scratch.AsXRegister(), TR, tr_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000371}
372
373void Arm64Assembler::CopyRef(FrameOffset dest, FrameOffset src,
374 ManagedRegister m_scratch) {
375 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100376 CHECK(scratch.IsXRegister()) << scratch;
377 LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100378 SP, src.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100379 StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100380 SP, dest.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000381}
382
383void Arm64Assembler::Copy(FrameOffset dest, FrameOffset src,
384 ManagedRegister m_scratch, size_t size) {
385 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100386 CHECK(scratch.IsXRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000387 CHECK(size == 4 || size == 8) << size;
388 if (size == 4) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100389 LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), SP, src.Int32Value());
390 StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), SP, dest.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000391 } else if (size == 8) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100392 LoadFromOffset(scratch.AsXRegister(), SP, src.Int32Value());
393 StoreToOffset(scratch.AsXRegister(), SP, dest.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000394 } else {
395 UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8";
396 }
397}
398
399void Arm64Assembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
400 ManagedRegister m_scratch, size_t size) {
401 Arm64ManagedRegister scratch = m_scratch.AsArm64();
402 Arm64ManagedRegister base = src_base.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100403 CHECK(base.IsXRegister()) << base;
404 CHECK(scratch.IsXRegister() || scratch.IsWRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000405 CHECK(size == 4 || size == 8) << size;
406 if (size == 4) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100407 LoadWFromOffset(kLoadWord, scratch.AsWRegister(), base.AsXRegister(),
Serban Constantinescued8dd492014-02-11 14:15:10 +0000408 src_offset.Int32Value());
409 StoreWToOffset(kStoreWord, scratch.AsWRegister(), SP, dest.Int32Value());
410 } else if (size == 8) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100411 LoadFromOffset(scratch.AsXRegister(), base.AsXRegister(), src_offset.Int32Value());
412 StoreToOffset(scratch.AsXRegister(), SP, dest.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000413 } else {
414 UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8";
415 }
416}
417
418void Arm64Assembler::Copy(ManagedRegister m_dest_base, Offset dest_offs, FrameOffset src,
419 ManagedRegister m_scratch, size_t size) {
420 Arm64ManagedRegister scratch = m_scratch.AsArm64();
421 Arm64ManagedRegister base = m_dest_base.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100422 CHECK(base.IsXRegister()) << base;
423 CHECK(scratch.IsXRegister() || scratch.IsWRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000424 CHECK(size == 4 || size == 8) << size;
425 if (size == 4) {
426 LoadWFromOffset(kLoadWord, scratch.AsWRegister(), SP, src.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100427 StoreWToOffset(kStoreWord, scratch.AsWRegister(), base.AsXRegister(),
Serban Constantinescued8dd492014-02-11 14:15:10 +0000428 dest_offs.Int32Value());
429 } else if (size == 8) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100430 LoadFromOffset(scratch.AsXRegister(), SP, src.Int32Value());
431 StoreToOffset(scratch.AsXRegister(), base.AsXRegister(), dest_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000432 } else {
433 UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8";
434 }
435}
436
437void Arm64Assembler::Copy(FrameOffset /*dst*/, FrameOffset /*src_base*/, Offset /*src_offset*/,
438 ManagedRegister /*mscratch*/, size_t /*size*/) {
439 UNIMPLEMENTED(FATAL) << "Unimplemented Copy() variant";
440}
441
442void Arm64Assembler::Copy(ManagedRegister m_dest, Offset dest_offset,
443 ManagedRegister m_src, Offset src_offset,
444 ManagedRegister m_scratch, size_t size) {
445 Arm64ManagedRegister scratch = m_scratch.AsArm64();
446 Arm64ManagedRegister src = m_src.AsArm64();
447 Arm64ManagedRegister dest = m_dest.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100448 CHECK(dest.IsXRegister()) << dest;
449 CHECK(src.IsXRegister()) << src;
450 CHECK(scratch.IsXRegister() || scratch.IsWRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000451 CHECK(size == 4 || size == 8) << size;
452 if (size == 4) {
Serban Constantinescu75b91132014-04-09 18:39:10 +0100453 if (scratch.IsWRegister()) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100454 LoadWFromOffset(kLoadWord, scratch.AsWRegister(), src.AsXRegister(),
Serban Constantinescued8dd492014-02-11 14:15:10 +0000455 src_offset.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100456 StoreWToOffset(kStoreWord, scratch.AsWRegister(), dest.AsXRegister(),
Serban Constantinescued8dd492014-02-11 14:15:10 +0000457 dest_offset.Int32Value());
Serban Constantinescu75b91132014-04-09 18:39:10 +0100458 } else {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100459 LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), src.AsXRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100460 src_offset.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100461 StoreWToOffset(kStoreWord, scratch.AsOverlappingWRegister(), dest.AsXRegister(),
Serban Constantinescu75b91132014-04-09 18:39:10 +0100462 dest_offset.Int32Value());
463 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000464 } else if (size == 8) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100465 LoadFromOffset(scratch.AsXRegister(), src.AsXRegister(), src_offset.Int32Value());
466 StoreToOffset(scratch.AsXRegister(), dest.AsXRegister(), dest_offset.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000467 } else {
468 UNIMPLEMENTED(FATAL) << "We only support Copy() of size 4 and 8";
469 }
470}
471
472void Arm64Assembler::Copy(FrameOffset /*dst*/, Offset /*dest_offset*/,
473 FrameOffset /*src*/, Offset /*src_offset*/,
474 ManagedRegister /*scratch*/, size_t /*size*/) {
475 UNIMPLEMENTED(FATAL) << "Unimplemented Copy() variant";
476}
477
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700478void Arm64Assembler::MemoryBarrier(ManagedRegister m_scratch ATTRIBUTE_UNUSED) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000479 // TODO: Should we check that m_scratch is IP? - see arm.
Serban Constantinescued8dd492014-02-11 14:15:10 +0000480 ___ Dmb(vixl::InnerShareable, vixl::BarrierAll);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000481}
482
Andreas Gamped1104322014-05-01 14:38:56 -0700483void Arm64Assembler::SignExtend(ManagedRegister mreg, size_t size) {
484 Arm64ManagedRegister reg = mreg.AsArm64();
485 CHECK(size == 1 || size == 2) << size;
486 CHECK(reg.IsWRegister()) << reg;
487 if (size == 1) {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000488 ___ Sxtb(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister()));
Andreas Gamped1104322014-05-01 14:38:56 -0700489 } else {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000490 ___ Sxth(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister()));
Andreas Gamped1104322014-05-01 14:38:56 -0700491 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000492}
493
Andreas Gamped1104322014-05-01 14:38:56 -0700494void Arm64Assembler::ZeroExtend(ManagedRegister mreg, size_t size) {
495 Arm64ManagedRegister reg = mreg.AsArm64();
496 CHECK(size == 1 || size == 2) << size;
497 CHECK(reg.IsWRegister()) << reg;
498 if (size == 1) {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000499 ___ Uxtb(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister()));
Andreas Gamped1104322014-05-01 14:38:56 -0700500 } else {
Serban Constantinescu32f5b4d2014-11-25 20:05:46 +0000501 ___ Uxth(reg_w(reg.AsWRegister()), reg_w(reg.AsWRegister()));
Andreas Gamped1104322014-05-01 14:38:56 -0700502 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000503}
504
505void Arm64Assembler::VerifyObject(ManagedRegister /*src*/, bool /*could_be_null*/) {
506 // TODO: not validating references.
507}
508
509void Arm64Assembler::VerifyObject(FrameOffset /*src*/, bool /*could_be_null*/) {
510 // TODO: not validating references.
511}
512
513void Arm64Assembler::Call(ManagedRegister m_base, Offset offs, ManagedRegister m_scratch) {
514 Arm64ManagedRegister base = m_base.AsArm64();
515 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100516 CHECK(base.IsXRegister()) << base;
517 CHECK(scratch.IsXRegister()) << scratch;
518 LoadFromOffset(scratch.AsXRegister(), base.AsXRegister(), offs.Int32Value());
519 ___ Blr(reg_x(scratch.AsXRegister()));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000520}
521
Andreas Gampec6ee54e2014-03-24 16:45:44 -0700522void Arm64Assembler::JumpTo(ManagedRegister m_base, Offset offs, ManagedRegister m_scratch) {
523 Arm64ManagedRegister base = m_base.AsArm64();
524 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100525 CHECK(base.IsXRegister()) << base;
526 CHECK(scratch.IsXRegister()) << scratch;
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100527 // Remove base and scratch form the temp list - higher level API uses IP1, IP0.
528 vixl::UseScratchRegisterScope temps(vixl_masm_);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100529 temps.Exclude(reg_x(base.AsXRegister()), reg_x(scratch.AsXRegister()));
530 ___ Ldr(reg_x(scratch.AsXRegister()), MEM_OP(reg_x(base.AsXRegister()), offs.Int32Value()));
531 ___ Br(reg_x(scratch.AsXRegister()));
Andreas Gampec6ee54e2014-03-24 16:45:44 -0700532}
533
Serban Constantinescued8dd492014-02-11 14:15:10 +0000534void Arm64Assembler::Call(FrameOffset base, Offset offs, ManagedRegister m_scratch) {
535 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100536 CHECK(scratch.IsXRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000537 // Call *(*(SP + base) + offset)
Mathieu Chartiere401d142015-04-22 13:56:20 -0700538 LoadFromOffset(scratch.AsXRegister(), SP, base.Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100539 LoadFromOffset(scratch.AsXRegister(), scratch.AsXRegister(), offs.Int32Value());
540 ___ Blr(reg_x(scratch.AsXRegister()));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000541}
542
Serban Constantinescu75b91132014-04-09 18:39:10 +0100543void Arm64Assembler::CallFromThread64(ThreadOffset<8> /*offset*/, ManagedRegister /*scratch*/) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000544 UNIMPLEMENTED(FATAL) << "Unimplemented Call() variant";
545}
546
Mathieu Chartiere401d142015-04-22 13:56:20 -0700547void Arm64Assembler::CreateHandleScopeEntry(
548 ManagedRegister m_out_reg, FrameOffset handle_scope_offs, ManagedRegister m_in_reg,
549 bool null_allowed) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000550 Arm64ManagedRegister out_reg = m_out_reg.AsArm64();
551 Arm64ManagedRegister in_reg = m_in_reg.AsArm64();
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700552 // For now we only hold stale handle scope entries in x registers.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100553 CHECK(in_reg.IsNoRegister() || in_reg.IsXRegister()) << in_reg;
554 CHECK(out_reg.IsXRegister()) << out_reg;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000555 if (null_allowed) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700556 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
557 // the address in the handle scope holding the reference.
Serban Constantinescued8dd492014-02-11 14:15:10 +0000558 // e.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset)
559 if (in_reg.IsNoRegister()) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100560 LoadWFromOffset(kLoadWord, out_reg.AsOverlappingWRegister(), SP,
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700561 handle_scope_offs.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000562 in_reg = out_reg;
563 }
Alexandre Rames37c92df2014-10-17 14:35:27 +0100564 ___ Cmp(reg_w(in_reg.AsOverlappingWRegister()), 0);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000565 if (!out_reg.Equals(in_reg)) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100566 LoadImmediate(out_reg.AsXRegister(), 0, eq);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000567 }
Alexandre Rames37c92df2014-10-17 14:35:27 +0100568 AddConstant(out_reg.AsXRegister(), SP, handle_scope_offs.Int32Value(), ne);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000569 } else {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100570 AddConstant(out_reg.AsXRegister(), SP, handle_scope_offs.Int32Value(), al);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000571 }
572}
573
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700574void Arm64Assembler::CreateHandleScopeEntry(FrameOffset out_off, FrameOffset handle_scope_offset,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700575 ManagedRegister m_scratch, bool null_allowed) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000576 Arm64ManagedRegister scratch = m_scratch.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100577 CHECK(scratch.IsXRegister()) << scratch;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000578 if (null_allowed) {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100579 LoadWFromOffset(kLoadWord, scratch.AsOverlappingWRegister(), SP,
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700580 handle_scope_offset.Int32Value());
581 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
582 // the address in the handle scope holding the reference.
583 // e.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset)
Alexandre Rames37c92df2014-10-17 14:35:27 +0100584 ___ Cmp(reg_w(scratch.AsOverlappingWRegister()), 0);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000585 // Move this logic in add constants with flags.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100586 AddConstant(scratch.AsXRegister(), SP, handle_scope_offset.Int32Value(), ne);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000587 } else {
Alexandre Rames37c92df2014-10-17 14:35:27 +0100588 AddConstant(scratch.AsXRegister(), SP, handle_scope_offset.Int32Value(), al);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000589 }
Alexandre Rames37c92df2014-10-17 14:35:27 +0100590 StoreToOffset(scratch.AsXRegister(), SP, out_off.Int32Value());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000591}
592
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700593void Arm64Assembler::LoadReferenceFromHandleScope(ManagedRegister m_out_reg,
Mathieu Chartiere401d142015-04-22 13:56:20 -0700594 ManagedRegister m_in_reg) {
Serban Constantinescued8dd492014-02-11 14:15:10 +0000595 Arm64ManagedRegister out_reg = m_out_reg.AsArm64();
596 Arm64ManagedRegister in_reg = m_in_reg.AsArm64();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100597 CHECK(out_reg.IsXRegister()) << out_reg;
598 CHECK(in_reg.IsXRegister()) << in_reg;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000599 vixl::Label exit;
600 if (!out_reg.Equals(in_reg)) {
601 // FIXME: Who sets the flags here?
Alexandre Rames37c92df2014-10-17 14:35:27 +0100602 LoadImmediate(out_reg.AsXRegister(), 0, eq);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000603 }
Alexandre Rames37c92df2014-10-17 14:35:27 +0100604 ___ Cbz(reg_x(in_reg.AsXRegister()), &exit);
605 LoadFromOffset(out_reg.AsXRegister(), in_reg.AsXRegister(), 0);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000606 ___ Bind(&exit);
607}
608
609void Arm64Assembler::ExceptionPoll(ManagedRegister m_scratch, size_t stack_adjust) {
610 CHECK_ALIGNED(stack_adjust, kStackAlignment);
611 Arm64ManagedRegister scratch = m_scratch.AsArm64();
612 Arm64Exception *current_exception = new Arm64Exception(scratch, stack_adjust);
613 exception_blocks_.push_back(current_exception);
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100614 LoadFromOffset(scratch.AsXRegister(), TR, Thread::ExceptionOffset<8>().Int32Value());
Alexandre Rames37c92df2014-10-17 14:35:27 +0100615 ___ Cbnz(reg_x(scratch.AsXRegister()), current_exception->Entry());
Serban Constantinescued8dd492014-02-11 14:15:10 +0000616}
617
618void Arm64Assembler::EmitExceptionPoll(Arm64Exception *exception) {
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100619 vixl::UseScratchRegisterScope temps(vixl_masm_);
Alexandre Rames37c92df2014-10-17 14:35:27 +0100620 temps.Exclude(reg_x(exception->scratch_.AsXRegister()));
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100621 vixl::Register temp = temps.AcquireX();
622
623 // Bind exception poll entry.
Serban Constantinescued8dd492014-02-11 14:15:10 +0000624 ___ Bind(exception->Entry());
625 if (exception->stack_adjust_ != 0) { // Fix up the frame.
626 DecreaseFrameSize(exception->stack_adjust_);
627 }
628 // Pass exception object as argument.
629 // Don't care about preserving X0 as this won't return.
Alexandre Rames37c92df2014-10-17 14:35:27 +0100630 ___ Mov(reg_x(X0), reg_x(exception->scratch_.AsXRegister()));
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100631 ___ Ldr(temp, MEM_OP(reg_x(TR), QUICK_ENTRYPOINT_OFFSET(8, pDeliverException).Int32Value()));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100632
Serban Constantinescu0f89dac2014-05-08 13:52:53 +0100633 ___ Blr(temp);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000634 // Call should never return.
635 ___ Brk();
636}
637
Zheng Xu69a50302015-04-14 20:04:41 +0800638static inline dwarf::Reg DWARFReg(CPURegister reg) {
639 if (reg.IsFPRegister()) {
640 return dwarf::Reg::Arm64Fp(reg.code());
641 } else {
642 DCHECK_LT(reg.code(), 31u); // X0 - X30.
643 return dwarf::Reg::Arm64Core(reg.code());
644 }
David Srbeckydd973932015-04-07 20:29:48 +0100645}
646
Zheng Xu69a50302015-04-14 20:04:41 +0800647void Arm64Assembler::SpillRegisters(vixl::CPURegList registers, int offset) {
648 int size = registers.RegisterSizeInBytes();
649 const Register sp = vixl_masm_->StackPointer();
650 while (registers.Count() >= 2) {
651 const CPURegister& dst0 = registers.PopLowestIndex();
652 const CPURegister& dst1 = registers.PopLowestIndex();
653 ___ Stp(dst0, dst1, MemOperand(sp, offset));
654 cfi_.RelOffset(DWARFReg(dst0), offset);
655 cfi_.RelOffset(DWARFReg(dst1), offset + size);
656 offset += 2 * size;
657 }
658 if (!registers.IsEmpty()) {
659 const CPURegister& dst0 = registers.PopLowestIndex();
660 ___ Str(dst0, MemOperand(sp, offset));
661 cfi_.RelOffset(DWARFReg(dst0), offset);
662 }
663 DCHECK(registers.IsEmpty());
David Srbeckydd973932015-04-07 20:29:48 +0100664}
665
Zheng Xu69a50302015-04-14 20:04:41 +0800666void Arm64Assembler::UnspillRegisters(vixl::CPURegList registers, int offset) {
667 int size = registers.RegisterSizeInBytes();
668 const Register sp = vixl_masm_->StackPointer();
669 while (registers.Count() >= 2) {
670 const CPURegister& dst0 = registers.PopLowestIndex();
671 const CPURegister& dst1 = registers.PopLowestIndex();
672 ___ Ldp(dst0, dst1, MemOperand(sp, offset));
673 cfi_.Restore(DWARFReg(dst0));
674 cfi_.Restore(DWARFReg(dst1));
675 offset += 2 * size;
676 }
677 if (!registers.IsEmpty()) {
678 const CPURegister& dst0 = registers.PopLowestIndex();
679 ___ Ldr(dst0, MemOperand(sp, offset));
680 cfi_.Restore(DWARFReg(dst0));
681 }
682 DCHECK(registers.IsEmpty());
683}
Ian Rogers790a6b72014-04-01 10:36:00 -0700684
Serban Constantinescued8dd492014-02-11 14:15:10 +0000685void Arm64Assembler::BuildFrame(size_t frame_size, ManagedRegister method_reg,
Zheng Xu69a50302015-04-14 20:04:41 +0800686 const std::vector<ManagedRegister>& callee_save_regs,
687 const ManagedRegisterEntrySpills& entry_spills) {
688 // Setup VIXL CPURegList for callee-saves.
689 CPURegList core_reg_list(CPURegister::kRegister, kXRegSize, 0);
690 CPURegList fp_reg_list(CPURegister::kFPRegister, kDRegSize, 0);
691 for (auto r : callee_save_regs) {
692 Arm64ManagedRegister reg = r.AsArm64();
693 if (reg.IsXRegister()) {
694 core_reg_list.Combine(reg_x(reg.AsXRegister()).code());
695 } else {
696 DCHECK(reg.IsDRegister());
697 fp_reg_list.Combine(reg_d(reg.AsDRegister()).code());
698 }
699 }
700 size_t core_reg_size = core_reg_list.TotalSizeInBytes();
701 size_t fp_reg_size = fp_reg_list.TotalSizeInBytes();
Serban Constantinescued8dd492014-02-11 14:15:10 +0000702
Zheng Xu69a50302015-04-14 20:04:41 +0800703 // Increase frame to required size.
704 DCHECK_ALIGNED(frame_size, kStackAlignment);
Mathieu Chartiere401d142015-04-22 13:56:20 -0700705 DCHECK_GE(frame_size, core_reg_size + fp_reg_size + kArm64PointerSize);
Zheng Xub551fdc2014-07-25 11:49:42 +0800706 IncreaseFrameSize(frame_size);
707
Zheng Xu69a50302015-04-14 20:04:41 +0800708 // Save callee-saves.
709 SpillRegisters(core_reg_list, frame_size - core_reg_size);
710 SpillRegisters(fp_reg_list, frame_size - core_reg_size - fp_reg_size);
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100711
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100712 DCHECK(core_reg_list.IncludesAliasOf(reg_x(TR)));
Serban Constantinescued8dd492014-02-11 14:15:10 +0000713
Mathieu Chartiere401d142015-04-22 13:56:20 -0700714 // Write ArtMethod*
Zheng Xu69a50302015-04-14 20:04:41 +0800715 DCHECK(X0 == method_reg.AsArm64().AsXRegister());
Mathieu Chartiere401d142015-04-22 13:56:20 -0700716 StoreToOffset(X0, SP, 0);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000717
Serban Constantinescu75b91132014-04-09 18:39:10 +0100718 // Write out entry spills
Mathieu Chartiere401d142015-04-22 13:56:20 -0700719 int32_t offset = frame_size + kArm64PointerSize;
Serban Constantinescued8dd492014-02-11 14:15:10 +0000720 for (size_t i = 0; i < entry_spills.size(); ++i) {
Serban Constantinescu75b91132014-04-09 18:39:10 +0100721 Arm64ManagedRegister reg = entry_spills.at(i).AsArm64();
722 if (reg.IsNoRegister()) {
723 // only increment stack offset.
724 ManagedRegisterSpill spill = entry_spills.at(i);
725 offset += spill.getSize();
Alexandre Rames37c92df2014-10-17 14:35:27 +0100726 } else if (reg.IsXRegister()) {
727 StoreToOffset(reg.AsXRegister(), SP, offset);
Serban Constantinescu75b91132014-04-09 18:39:10 +0100728 offset += 8;
729 } else if (reg.IsWRegister()) {
730 StoreWToOffset(kStoreWord, reg.AsWRegister(), SP, offset);
731 offset += 4;
732 } else if (reg.IsDRegister()) {
733 StoreDToOffset(reg.AsDRegister(), SP, offset);
734 offset += 8;
735 } else if (reg.IsSRegister()) {
736 StoreSToOffset(reg.AsSRegister(), SP, offset);
737 offset += 4;
738 }
Serban Constantinescued8dd492014-02-11 14:15:10 +0000739 }
740}
741
Zheng Xu69a50302015-04-14 20:04:41 +0800742void Arm64Assembler::RemoveFrame(size_t frame_size,
743 const std::vector<ManagedRegister>& callee_save_regs) {
744 // Setup VIXL CPURegList for callee-saves.
745 CPURegList core_reg_list(CPURegister::kRegister, kXRegSize, 0);
746 CPURegList fp_reg_list(CPURegister::kFPRegister, kDRegSize, 0);
747 for (auto r : callee_save_regs) {
748 Arm64ManagedRegister reg = r.AsArm64();
749 if (reg.IsXRegister()) {
750 core_reg_list.Combine(reg_x(reg.AsXRegister()).code());
751 } else {
752 DCHECK(reg.IsDRegister());
753 fp_reg_list.Combine(reg_d(reg.AsDRegister()).code());
754 }
755 }
756 size_t core_reg_size = core_reg_list.TotalSizeInBytes();
757 size_t fp_reg_size = fp_reg_list.TotalSizeInBytes();
Serban Constantinescued8dd492014-02-11 14:15:10 +0000758
Zheng Xu69a50302015-04-14 20:04:41 +0800759 // For now we only check that the size of the frame is large enough to hold spills and method
760 // reference.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700761 DCHECK_GE(frame_size, core_reg_size + fp_reg_size + kArm64PointerSize);
Zheng Xu69a50302015-04-14 20:04:41 +0800762 DCHECK_ALIGNED(frame_size, kStackAlignment);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000763
Serban Constantinescu9bd88b02015-04-22 16:24:46 +0100764 DCHECK(core_reg_list.IncludesAliasOf(reg_x(TR)));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100765
Zheng Xu69a50302015-04-14 20:04:41 +0800766 cfi_.RememberState();
767
768 // Restore callee-saves.
769 UnspillRegisters(core_reg_list, frame_size - core_reg_size);
770 UnspillRegisters(fp_reg_list, frame_size - core_reg_size - fp_reg_size);
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100771
Zheng Xub551fdc2014-07-25 11:49:42 +0800772 // Decrease frame size to start of callee saved regs.
773 DecreaseFrameSize(frame_size);
774
Serban Constantinescued8dd492014-02-11 14:15:10 +0000775 // Pop callee saved and return to LR.
Serban Constantinescued8dd492014-02-11 14:15:10 +0000776 ___ Ret();
David Srbeckydd973932015-04-07 20:29:48 +0100777
778 // The CFI should be restored for any code that follows the exit block.
779 cfi_.RestoreState();
780 cfi_.DefCFAOffset(frame_size);
Serban Constantinescued8dd492014-02-11 14:15:10 +0000781}
782
783} // namespace arm64
784} // namespace art