blob: 5fe82468b9a6aaf68bba84da13072bed9dbcb891 [file] [log] [blame]
Elliott Hughes2faa5f12012-01-30 14:42:07 -08001/*
2 * Copyright (C) 2011 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 */
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070016
Ian Rogers2c8f6532011-09-02 17:16:34 -070017#include "assembler_arm.h"
18
Elliott Hughes07ed66b2012-12-12 18:34:25 -080019#include "base/logging.h"
Ian Rogers166db042013-07-26 12:05:57 -070020#include "entrypoints/quick/quick_entrypoints.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070021#include "offsets.h"
Carl Shapiroe2d373e2011-07-25 15:20:06 -070022#include "thread.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070023#include "utils.h"
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070024
Carl Shapiro6b6b5f02011-06-21 15:05:09 -070025namespace art {
Ian Rogers2c8f6532011-09-02 17:16:34 -070026namespace arm {
Carl Shapiroa5d5cfd2011-06-21 12:46:59 -070027
Dave Allison65fcc2c2014-04-28 13:45:27 -070028const char* kRegisterNames[] = {
Elliott Hughes1f359b02011-07-17 14:27:17 -070029 "r0", "r1", "r2", "r3", "r4", "r5", "r6", "r7", "r8", "r9", "r10",
30 "fp", "ip", "sp", "lr", "pc"
31};
Dave Allison65fcc2c2014-04-28 13:45:27 -070032
33const char* kConditionNames[] = {
34 "EQ", "NE", "CS", "CC", "MI", "PL", "VS", "VC", "HI", "LS", "GE", "LT", "GT",
35 "LE", "AL",
36};
37
Elliott Hughes1f359b02011-07-17 14:27:17 -070038std::ostream& operator<<(std::ostream& os, const Register& rhs) {
39 if (rhs >= R0 && rhs <= PC) {
40 os << kRegisterNames[rhs];
41 } else {
Ian Rogersb033c752011-07-20 12:22:35 -070042 os << "Register[" << static_cast<int>(rhs) << "]";
Elliott Hughes1f359b02011-07-17 14:27:17 -070043 }
44 return os;
45}
46
47
48std::ostream& operator<<(std::ostream& os, const SRegister& rhs) {
49 if (rhs >= S0 && rhs < kNumberOfSRegisters) {
Ian Rogersb033c752011-07-20 12:22:35 -070050 os << "s" << static_cast<int>(rhs);
Elliott Hughes1f359b02011-07-17 14:27:17 -070051 } else {
Ian Rogersb033c752011-07-20 12:22:35 -070052 os << "SRegister[" << static_cast<int>(rhs) << "]";
Elliott Hughes1f359b02011-07-17 14:27:17 -070053 }
54 return os;
55}
56
57
58std::ostream& operator<<(std::ostream& os, const DRegister& rhs) {
59 if (rhs >= D0 && rhs < kNumberOfDRegisters) {
Ian Rogersb033c752011-07-20 12:22:35 -070060 os << "d" << static_cast<int>(rhs);
Elliott Hughes1f359b02011-07-17 14:27:17 -070061 } else {
Ian Rogersb033c752011-07-20 12:22:35 -070062 os << "DRegister[" << static_cast<int>(rhs) << "]";
Elliott Hughes1f359b02011-07-17 14:27:17 -070063 }
64 return os;
65}
66
Elliott Hughes1f359b02011-07-17 14:27:17 -070067std::ostream& operator<<(std::ostream& os, const Condition& rhs) {
68 if (rhs >= EQ && rhs <= AL) {
69 os << kConditionNames[rhs];
70 } else {
Ian Rogersb033c752011-07-20 12:22:35 -070071 os << "Condition[" << static_cast<int>(rhs) << "]";
Elliott Hughes1f359b02011-07-17 14:27:17 -070072 }
73 return os;
74}
75
Carl Shapiroa2e18e12011-06-21 18:57:55 -070076
77
Dave Allison65fcc2c2014-04-28 13:45:27 -070078uint32_t ShifterOperand::encodingArm() const {
79 CHECK(is_valid());
80 switch (type_) {
81 case kImmediate:
82 if (is_rotate_) {
83 return (rotate_ << kRotateShift) | (immed_ << kImmed8Shift);
84 } else {
85 return immed_;
Ian Rogersb033c752011-07-20 12:22:35 -070086 }
Dave Allison65fcc2c2014-04-28 13:45:27 -070087 break;
88 case kRegister:
89 if (is_shift_) {
90 // Shifted immediate or register.
91 if (rs_ == kNoRegister) {
92 // Immediate shift.
93 return immed_ << kShiftImmShift |
94 static_cast<uint32_t>(shift_) << kShiftShift |
95 static_cast<uint32_t>(rm_);
96 } else {
97 // Register shift.
98 return static_cast<uint32_t>(rs_) << kShiftRegisterShift |
99 static_cast<uint32_t>(shift_) << kShiftShift | (1 << 4) |
100 static_cast<uint32_t>(rm_);
101 }
102 } else {
103 // Simple register
104 return static_cast<uint32_t>(rm_);
Ian Rogersb033c752011-07-20 12:22:35 -0700105 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700106 break;
107 default:
108 // Can't get here.
109 LOG(FATAL) << "Invalid shifter operand for ARM";
110 return 0;
Ian Rogersb033c752011-07-20 12:22:35 -0700111 }
112}
113
Dave Allison45fdb932014-06-25 12:37:10 -0700114uint32_t ShifterOperand::encodingThumb() const {
115 switch (type_) {
116 case kImmediate:
117 return immed_;
118 case kRegister:
119 if (is_shift_) {
120 // Shifted immediate or register.
121 if (rs_ == kNoRegister) {
122 // Immediate shift.
123 if (shift_ == RRX) {
124 // RRX is encoded as an ROR with imm 0.
125 return ROR << 4 | static_cast<uint32_t>(rm_);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700126 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700127 uint32_t imm3 = immed_ >> 2;
128 uint32_t imm2 = immed_ & 0b11;
129
130 return imm3 << 12 | imm2 << 6 | shift_ << 4 |
131 static_cast<uint32_t>(rm_);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700132 }
133 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700134 LOG(FATAL) << "No register-shifted register instruction available in thumb";
135 return 0;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700136 }
Dave Allison45fdb932014-06-25 12:37:10 -0700137 } else {
138 // Simple register
139 return static_cast<uint32_t>(rm_);
140 }
141 break;
142 default:
143 // Can't get here.
144 LOG(FATAL) << "Invalid shifter operand for thumb";
145 return 0;
Ian Rogersb033c752011-07-20 12:22:35 -0700146 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700147 return 0;
148}
149
150bool ShifterOperand::CanHoldThumb(Register rd, Register rn, Opcode opcode,
151 uint32_t immediate, ShifterOperand* shifter_op) {
152 shifter_op->type_ = kImmediate;
153 shifter_op->immed_ = immediate;
154 shifter_op->is_shift_ = false;
155 shifter_op->is_rotate_ = false;
156 switch (opcode) {
157 case ADD:
158 case SUB:
159 if (rn == SP) {
160 if (rd == SP) {
161 return immediate < (1 << 9); // 9 bits allowed.
162 } else {
163 return immediate < (1 << 12); // 12 bits.
164 }
165 }
166 if (immediate < (1 << 12)) { // Less than (or equal to) 12 bits can always be done.
167 return true;
168 }
169 return ArmAssembler::ModifiedImmediate(immediate) != kInvalidModifiedImmediate;
170
171 case MOV:
Nicolas Geoffray8d486732014-07-16 16:23:40 +0100172 // TODO: Support less than or equal to 12bits.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700173 return ArmAssembler::ModifiedImmediate(immediate) != kInvalidModifiedImmediate;
174 case MVN:
175 default:
176 return ArmAssembler::ModifiedImmediate(immediate) != kInvalidModifiedImmediate;
177 }
Ian Rogersb033c752011-07-20 12:22:35 -0700178}
179
Dave Allison65fcc2c2014-04-28 13:45:27 -0700180uint32_t Address::encodingArm() const {
181 CHECK(IsAbsoluteUint(12, offset_));
182 uint32_t encoding;
Dave Allison45fdb932014-06-25 12:37:10 -0700183 if (is_immed_offset_) {
184 if (offset_ < 0) {
185 encoding = (am_ ^ (1 << kUShift)) | -offset_; // Flip U to adjust sign.
186 } else {
187 encoding = am_ | offset_;
188 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700189 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700190 uint32_t imm5 = offset_;
191 uint32_t shift = shift_;
192 if (shift == RRX) {
193 imm5 = 0;
194 shift = ROR;
195 }
196 encoding = am_ | static_cast<uint32_t>(rm_) | shift << 5 | offset_ << 7 | B25;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700197 }
198 encoding |= static_cast<uint32_t>(rn_) << kRnShift;
199 return encoding;
200}
Ian Rogersb033c752011-07-20 12:22:35 -0700201
Dave Allison65fcc2c2014-04-28 13:45:27 -0700202
Dave Allison45fdb932014-06-25 12:37:10 -0700203uint32_t Address::encodingThumb(bool is_32bit) const {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700204 uint32_t encoding = 0;
Dave Allison45fdb932014-06-25 12:37:10 -0700205 if (is_immed_offset_) {
206 encoding = static_cast<uint32_t>(rn_) << 16;
207 // Check for the T3/T4 encoding.
208 // PUW must Offset for T3
209 // Convert ARM PU0W to PUW
210 // The Mode is in ARM encoding format which is:
211 // |P|U|0|W|
212 // we need this in thumb2 mode:
213 // |P|U|W|
Dave Allison65fcc2c2014-04-28 13:45:27 -0700214
Dave Allison45fdb932014-06-25 12:37:10 -0700215 uint32_t am = am_;
216 int32_t offset = offset_;
217 if (offset < 0) {
218 am ^= 1 << kUShift;
219 offset = -offset;
220 }
221 if (offset_ < 0 || (offset >= 0 && offset < 256 &&
Dave Allison65fcc2c2014-04-28 13:45:27 -0700222 am_ != Mode::Offset)) {
Dave Allison45fdb932014-06-25 12:37:10 -0700223 // T4 encoding.
224 uint32_t PUW = am >> 21; // Move down to bottom of word.
225 PUW = (PUW >> 1) | (PUW & 1); // Bits 3, 2 and 0.
226 // If P is 0 then W must be 1 (Different from ARM).
227 if ((PUW & 0b100) == 0) {
228 PUW |= 0b1;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700229 }
Dave Allison45fdb932014-06-25 12:37:10 -0700230 encoding |= B11 | PUW << 8 | offset;
231 } else {
232 // T3 encoding (also sets op1 to 0b01).
233 encoding |= B23 | offset_;
234 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700235 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700236 // Register offset, possibly shifted.
237 // Need to choose between encoding T1 (16 bit) or T2.
238 // Only Offset mode is supported. Shift must be LSL and the count
239 // is only 2 bits.
240 CHECK_EQ(shift_, LSL);
241 CHECK_LE(offset_, 4);
242 CHECK_EQ(am_, Offset);
243 bool is_t2 = is_32bit;
244 if (ArmAssembler::IsHighRegister(rn_) || ArmAssembler::IsHighRegister(rm_)) {
245 is_t2 = true;
246 } else if (offset_ != 0) {
247 is_t2 = true;
248 }
249 if (is_t2) {
250 encoding = static_cast<uint32_t>(rn_) << 16 | static_cast<uint32_t>(rm_) |
251 offset_ << 4;
252 } else {
253 encoding = static_cast<uint32_t>(rn_) << 3 | static_cast<uint32_t>(rm_) << 6;
254 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700255 }
256 return encoding;
257}
258
259// This is very like the ARM encoding except the offset is 10 bits.
260uint32_t Address::encodingThumbLdrdStrd() const {
261 uint32_t encoding;
262 uint32_t am = am_;
263 // If P is 0 then W must be 1 (Different from ARM).
264 uint32_t PU1W = am_ >> 21; // Move down to bottom of word.
265 if ((PU1W & 0b1000) == 0) {
266 am |= 1 << 21; // Set W bit.
267 }
268 if (offset_ < 0) {
269 int32_t off = -offset_;
270 CHECK_LT(off, 1024);
271 CHECK_EQ((off & 0b11), 0); // Must be multiple of 4.
272 encoding = (am ^ (1 << kUShift)) | off >> 2; // Flip U to adjust sign.
273 } else {
274 CHECK_LT(offset_, 1024);
275 CHECK_EQ((offset_ & 0b11), 0); // Must be multiple of 4.
276 encoding = am | offset_ >> 2;
277 }
278 encoding |= static_cast<uint32_t>(rn_) << 16;
279 return encoding;
280}
281
282// Encoding for ARM addressing mode 3.
283uint32_t Address::encoding3() const {
284 const uint32_t offset_mask = (1 << 12) - 1;
285 uint32_t encoding = encodingArm();
286 uint32_t offset = encoding & offset_mask;
287 CHECK_LT(offset, 256u);
288 return (encoding & ~offset_mask) | ((offset & 0xf0) << 4) | (offset & 0xf);
289}
290
291// Encoding for vfp load/store addressing.
292uint32_t Address::vencoding() const {
293 const uint32_t offset_mask = (1 << 12) - 1;
294 uint32_t encoding = encodingArm();
295 uint32_t offset = encoding & offset_mask;
296 CHECK(IsAbsoluteUint(10, offset)); // In the range -1020 to +1020.
297 CHECK_ALIGNED(offset, 2); // Multiple of 4.
298 CHECK((am_ == Offset) || (am_ == NegOffset));
299 uint32_t vencoding = (encoding & (0xf << kRnShift)) | (offset >> 2);
300 if (am_ == Offset) {
301 vencoding |= 1 << 23;
302 }
303 return vencoding;
304}
305
306
307bool Address::CanHoldLoadOffsetArm(LoadOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700308 switch (type) {
309 case kLoadSignedByte:
310 case kLoadSignedHalfword:
311 case kLoadUnsignedHalfword:
312 case kLoadWordPair:
313 return IsAbsoluteUint(8, offset); // Addressing mode 3.
314 case kLoadUnsignedByte:
315 case kLoadWord:
316 return IsAbsoluteUint(12, offset); // Addressing mode 2.
317 case kLoadSWord:
318 case kLoadDWord:
319 return IsAbsoluteUint(10, offset); // VFP addressing mode.
320 default:
321 LOG(FATAL) << "UNREACHABLE";
322 return false;
323 }
324}
325
326
Dave Allison65fcc2c2014-04-28 13:45:27 -0700327bool Address::CanHoldStoreOffsetArm(StoreOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700328 switch (type) {
329 case kStoreHalfword:
330 case kStoreWordPair:
331 return IsAbsoluteUint(8, offset); // Addressing mode 3.
332 case kStoreByte:
333 case kStoreWord:
334 return IsAbsoluteUint(12, offset); // Addressing mode 2.
335 case kStoreSWord:
336 case kStoreDWord:
337 return IsAbsoluteUint(10, offset); // VFP addressing mode.
338 default:
339 LOG(FATAL) << "UNREACHABLE";
340 return false;
341 }
342}
343
Dave Allison65fcc2c2014-04-28 13:45:27 -0700344bool Address::CanHoldLoadOffsetThumb(LoadOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700345 switch (type) {
346 case kLoadSignedByte:
Ian Rogersb033c752011-07-20 12:22:35 -0700347 case kLoadSignedHalfword:
Ian Rogersb033c752011-07-20 12:22:35 -0700348 case kLoadUnsignedHalfword:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700349 case kLoadUnsignedByte:
Ian Rogersb033c752011-07-20 12:22:35 -0700350 case kLoadWord:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700351 return IsAbsoluteUint(12, offset);
352 case kLoadSWord:
353 case kLoadDWord:
354 return IsAbsoluteUint(10, offset); // VFP addressing mode.
Ian Rogersb033c752011-07-20 12:22:35 -0700355 case kLoadWordPair:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700356 return IsAbsoluteUint(10, offset);
357 default:
Ian Rogersb033c752011-07-20 12:22:35 -0700358 LOG(FATAL) << "UNREACHABLE";
Dave Allison65fcc2c2014-04-28 13:45:27 -0700359 return false;
Ian Rogersb033c752011-07-20 12:22:35 -0700360 }
361}
362
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700363
Dave Allison65fcc2c2014-04-28 13:45:27 -0700364bool Address::CanHoldStoreOffsetThumb(StoreOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700365 switch (type) {
Ian Rogersb033c752011-07-20 12:22:35 -0700366 case kStoreHalfword:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700367 case kStoreByte:
Ian Rogersb033c752011-07-20 12:22:35 -0700368 case kStoreWord:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700369 return IsAbsoluteUint(12, offset);
370 case kStoreSWord:
371 case kStoreDWord:
372 return IsAbsoluteUint(10, offset); // VFP addressing mode.
Ian Rogersb033c752011-07-20 12:22:35 -0700373 case kStoreWordPair:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700374 return IsAbsoluteUint(10, offset);
375 default:
Ian Rogersb033c752011-07-20 12:22:35 -0700376 LOG(FATAL) << "UNREACHABLE";
Dave Allison65fcc2c2014-04-28 13:45:27 -0700377 return false;
Ian Rogersb033c752011-07-20 12:22:35 -0700378 }
379}
380
Dave Allison65fcc2c2014-04-28 13:45:27 -0700381void ArmAssembler::Pad(uint32_t bytes) {
382 AssemblerBuffer::EnsureCapacity ensured(&buffer_);
383 for (uint32_t i = 0; i < bytes; ++i) {
384 buffer_.Emit<byte>(0);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700385 }
Carl Shapiro9b9ba282011-08-14 15:30:39 -0700386}
387
Ian Rogers790a6b72014-04-01 10:36:00 -0700388constexpr size_t kFramePointerSize = 4;
389
Ian Rogers2c8f6532011-09-02 17:16:34 -0700390void ArmAssembler::BuildFrame(size_t frame_size, ManagedRegister method_reg,
Ian Rogersb5d09b22012-03-06 22:14:17 -0800391 const std::vector<ManagedRegister>& callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +0700392 const ManagedRegisterEntrySpills& entry_spills) {
Elliott Hughes06b37d92011-10-16 11:51:29 -0700393 CHECK_ALIGNED(frame_size, kStackAlignment);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700394 CHECK_EQ(R0, method_reg.AsArm().AsCoreRegister());
Ian Rogersbdb03912011-09-14 00:55:44 -0700395
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700396 // Push callee saves and link register.
Ian Rogersbdb03912011-09-14 00:55:44 -0700397 RegList push_list = 1 << LR;
398 size_t pushed_values = 1;
399 for (size_t i = 0; i < callee_save_regs.size(); i++) {
400 Register reg = callee_save_regs.at(i).AsArm().AsCoreRegister();
401 push_list |= 1 << reg;
402 pushed_values++;
Ian Rogers0d666d82011-08-14 16:03:46 -0700403 }
Ian Rogersbdb03912011-09-14 00:55:44 -0700404 PushList(push_list);
405
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700406 // Increase frame to required size.
Ian Rogers790a6b72014-04-01 10:36:00 -0700407 CHECK_GT(frame_size, pushed_values * kFramePointerSize); // Must at least have space for Method*.
408 size_t adjust = frame_size - (pushed_values * kFramePointerSize);
Ian Rogersbdb03912011-09-14 00:55:44 -0700409 IncreaseFrameSize(adjust);
410
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700411 // Write out Method*.
Ian Rogersbdb03912011-09-14 00:55:44 -0700412 StoreToOffset(kStoreWord, R0, SP, 0);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700413
414 // Write out entry spills.
415 for (size_t i = 0; i < entry_spills.size(); ++i) {
416 Register reg = entry_spills.at(i).AsArm().AsCoreRegister();
Ian Rogers790a6b72014-04-01 10:36:00 -0700417 StoreToOffset(kStoreWord, reg, SP, frame_size + kFramePointerSize + (i * kFramePointerSize));
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700418 }
Ian Rogersb033c752011-07-20 12:22:35 -0700419}
420
Ian Rogers2c8f6532011-09-02 17:16:34 -0700421void ArmAssembler::RemoveFrame(size_t frame_size,
Ian Rogersbdb03912011-09-14 00:55:44 -0700422 const std::vector<ManagedRegister>& callee_save_regs) {
Elliott Hughes06b37d92011-10-16 11:51:29 -0700423 CHECK_ALIGNED(frame_size, kStackAlignment);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700424 // Compute callee saves to pop and PC.
Ian Rogersbdb03912011-09-14 00:55:44 -0700425 RegList pop_list = 1 << PC;
426 size_t pop_values = 1;
427 for (size_t i = 0; i < callee_save_regs.size(); i++) {
428 Register reg = callee_save_regs.at(i).AsArm().AsCoreRegister();
429 pop_list |= 1 << reg;
430 pop_values++;
Ian Rogers0d666d82011-08-14 16:03:46 -0700431 }
Ian Rogersbdb03912011-09-14 00:55:44 -0700432
Dave Allison65fcc2c2014-04-28 13:45:27 -0700433 // Decrease frame to start of callee saves.
Ian Rogers790a6b72014-04-01 10:36:00 -0700434 CHECK_GT(frame_size, pop_values * kFramePointerSize);
435 size_t adjust = frame_size - (pop_values * kFramePointerSize);
Ian Rogersbdb03912011-09-14 00:55:44 -0700436 DecreaseFrameSize(adjust);
437
Dave Allison65fcc2c2014-04-28 13:45:27 -0700438 // Pop callee saves and PC.
Ian Rogersbdb03912011-09-14 00:55:44 -0700439 PopList(pop_list);
Ian Rogers0d666d82011-08-14 16:03:46 -0700440}
441
Ian Rogers2c8f6532011-09-02 17:16:34 -0700442void ArmAssembler::IncreaseFrameSize(size_t adjust) {
Ian Rogersb033c752011-07-20 12:22:35 -0700443 AddConstant(SP, -adjust);
444}
445
Ian Rogers2c8f6532011-09-02 17:16:34 -0700446void ArmAssembler::DecreaseFrameSize(size_t adjust) {
Ian Rogersb033c752011-07-20 12:22:35 -0700447 AddConstant(SP, adjust);
448}
449
Ian Rogers2c8f6532011-09-02 17:16:34 -0700450void ArmAssembler::Store(FrameOffset dest, ManagedRegister msrc, size_t size) {
451 ArmManagedRegister src = msrc.AsArm();
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700452 if (src.IsNoRegister()) {
453 CHECK_EQ(0u, size);
454 } else if (src.IsCoreRegister()) {
Ian Rogersb033c752011-07-20 12:22:35 -0700455 CHECK_EQ(4u, size);
456 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700457 } else if (src.IsRegisterPair()) {
458 CHECK_EQ(8u, size);
459 StoreToOffset(kStoreWord, src.AsRegisterPairLow(), SP, dest.Int32Value());
460 StoreToOffset(kStoreWord, src.AsRegisterPairHigh(),
461 SP, dest.Int32Value() + 4);
462 } else if (src.IsSRegister()) {
463 StoreSToOffset(src.AsSRegister(), SP, dest.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700464 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700465 CHECK(src.IsDRegister()) << src;
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700466 StoreDToOffset(src.AsDRegister(), SP, dest.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700467 }
468}
469
Ian Rogers2c8f6532011-09-02 17:16:34 -0700470void ArmAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
471 ArmManagedRegister src = msrc.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700472 CHECK(src.IsCoreRegister()) << src;
Ian Rogersb033c752011-07-20 12:22:35 -0700473 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
474}
475
Ian Rogers2c8f6532011-09-02 17:16:34 -0700476void ArmAssembler::StoreRawPtr(FrameOffset dest, ManagedRegister msrc) {
477 ArmManagedRegister src = msrc.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700478 CHECK(src.IsCoreRegister()) << src;
Ian Rogersdf20fe02011-07-20 20:34:16 -0700479 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
480}
481
Ian Rogers2c8f6532011-09-02 17:16:34 -0700482void ArmAssembler::StoreSpanning(FrameOffset dest, ManagedRegister msrc,
483 FrameOffset in_off, ManagedRegister mscratch) {
484 ArmManagedRegister src = msrc.AsArm();
485 ArmManagedRegister scratch = mscratch.AsArm();
Ian Rogers7a99c112011-09-07 12:48:27 -0700486 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
487 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, in_off.Int32Value());
488 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + 4);
489}
490
Ian Rogers2c8f6532011-09-02 17:16:34 -0700491void ArmAssembler::CopyRef(FrameOffset dest, FrameOffset src,
492 ManagedRegister mscratch) {
493 ArmManagedRegister scratch = mscratch.AsArm();
Ian Rogersb033c752011-07-20 12:22:35 -0700494 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
495 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
496}
497
Ian Rogers2c8f6532011-09-02 17:16:34 -0700498void ArmAssembler::LoadRef(ManagedRegister mdest, ManagedRegister base,
499 MemberOffset offs) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700500 ArmManagedRegister dst = mdest.AsArm();
501 CHECK(dst.IsCoreRegister() && dst.IsCoreRegister()) << dst;
502 LoadFromOffset(kLoadWord, dst.AsCoreRegister(),
Ian Rogers2c8f6532011-09-02 17:16:34 -0700503 base.AsArm().AsCoreRegister(), offs.Int32Value());
Hiroshi Yamauchie63a7452014-02-27 14:44:36 -0800504 if (kPoisonHeapReferences) {
505 rsb(dst.AsCoreRegister(), dst.AsCoreRegister(), ShifterOperand(0));
506 }
Ian Rogersb033c752011-07-20 12:22:35 -0700507}
508
Ian Rogers2c8f6532011-09-02 17:16:34 -0700509void ArmAssembler::LoadRef(ManagedRegister mdest, FrameOffset src) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700510 ArmManagedRegister dst = mdest.AsArm();
511 CHECK(dst.IsCoreRegister()) << dst;
512 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), SP, src.Int32Value());
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700513}
Ian Rogers2c8f6532011-09-02 17:16:34 -0700514
515void ArmAssembler::LoadRawPtr(ManagedRegister mdest, ManagedRegister base,
Ian Rogersa04d3972011-08-17 11:33:44 -0700516 Offset offs) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700517 ArmManagedRegister dst = mdest.AsArm();
518 CHECK(dst.IsCoreRegister() && dst.IsCoreRegister()) << dst;
519 LoadFromOffset(kLoadWord, dst.AsCoreRegister(),
Ian Rogers2c8f6532011-09-02 17:16:34 -0700520 base.AsArm().AsCoreRegister(), offs.Int32Value());
Ian Rogersa04d3972011-08-17 11:33:44 -0700521}
522
Ian Rogers2c8f6532011-09-02 17:16:34 -0700523void ArmAssembler::StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
524 ManagedRegister mscratch) {
525 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700526 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700527 LoadImmediate(scratch.AsCoreRegister(), imm);
528 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
529}
530
Ian Rogersdd7624d2014-03-14 17:43:00 -0700531void ArmAssembler::StoreImmediateToThread32(ThreadOffset<4> dest, uint32_t imm,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700532 ManagedRegister mscratch) {
533 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700534 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700535 LoadImmediate(scratch.AsCoreRegister(), imm);
536 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), TR, dest.Int32Value());
537}
538
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700539static void EmitLoad(ArmAssembler* assembler, ManagedRegister m_dst,
540 Register src_register, int32_t src_offset, size_t size) {
541 ArmManagedRegister dst = m_dst.AsArm();
542 if (dst.IsNoRegister()) {
543 CHECK_EQ(0u, size) << dst;
544 } else if (dst.IsCoreRegister()) {
545 CHECK_EQ(4u, size) << dst;
546 assembler->LoadFromOffset(kLoadWord, dst.AsCoreRegister(), src_register, src_offset);
547 } else if (dst.IsRegisterPair()) {
548 CHECK_EQ(8u, size) << dst;
549 assembler->LoadFromOffset(kLoadWord, dst.AsRegisterPairLow(), src_register, src_offset);
550 assembler->LoadFromOffset(kLoadWord, dst.AsRegisterPairHigh(), src_register, src_offset + 4);
551 } else if (dst.IsSRegister()) {
552 assembler->LoadSFromOffset(dst.AsSRegister(), src_register, src_offset);
Ian Rogersb033c752011-07-20 12:22:35 -0700553 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700554 CHECK(dst.IsDRegister()) << dst;
555 assembler->LoadDFromOffset(dst.AsDRegister(), src_register, src_offset);
Ian Rogersb033c752011-07-20 12:22:35 -0700556 }
557}
558
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700559void ArmAssembler::Load(ManagedRegister m_dst, FrameOffset src, size_t size) {
560 return EmitLoad(this, m_dst, SP, src.Int32Value(), size);
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700561}
562
Ian Rogersdd7624d2014-03-14 17:43:00 -0700563void ArmAssembler::LoadFromThread32(ManagedRegister m_dst, ThreadOffset<4> src, size_t size) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700564 return EmitLoad(this, m_dst, TR, src.Int32Value(), size);
565}
566
Ian Rogersdd7624d2014-03-14 17:43:00 -0700567void ArmAssembler::LoadRawPtrFromThread32(ManagedRegister m_dst, ThreadOffset<4> offs) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700568 ArmManagedRegister dst = m_dst.AsArm();
569 CHECK(dst.IsCoreRegister()) << dst;
570 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), TR, offs.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700571}
572
Ian Rogersdd7624d2014-03-14 17:43:00 -0700573void ArmAssembler::CopyRawPtrFromThread32(FrameOffset fr_offs,
574 ThreadOffset<4> thr_offs,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700575 ManagedRegister mscratch) {
576 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700577 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700578 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
579 TR, thr_offs.Int32Value());
580 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
581 SP, fr_offs.Int32Value());
582}
583
Ian Rogersdd7624d2014-03-14 17:43:00 -0700584void ArmAssembler::CopyRawPtrToThread32(ThreadOffset<4> thr_offs,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700585 FrameOffset fr_offs,
586 ManagedRegister mscratch) {
587 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700588 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700589 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
590 SP, fr_offs.Int32Value());
591 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
592 TR, thr_offs.Int32Value());
593}
594
Ian Rogersdd7624d2014-03-14 17:43:00 -0700595void ArmAssembler::StoreStackOffsetToThread32(ThreadOffset<4> thr_offs,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700596 FrameOffset fr_offs,
597 ManagedRegister mscratch) {
598 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700599 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700600 AddConstant(scratch.AsCoreRegister(), SP, fr_offs.Int32Value(), AL);
601 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
602 TR, thr_offs.Int32Value());
603}
604
Ian Rogersdd7624d2014-03-14 17:43:00 -0700605void ArmAssembler::StoreStackPointerToThread32(ThreadOffset<4> thr_offs) {
Ian Rogers45a76cb2011-07-21 22:00:15 -0700606 StoreToOffset(kStoreWord, SP, TR, thr_offs.Int32Value());
607}
608
jeffhao58136ca2012-05-24 13:40:11 -0700609void ArmAssembler::SignExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
610 UNIMPLEMENTED(FATAL) << "no sign extension necessary for arm";
611}
612
jeffhaocee4d0c2012-06-15 14:42:01 -0700613void ArmAssembler::ZeroExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
614 UNIMPLEMENTED(FATAL) << "no zero extension necessary for arm";
615}
616
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700617void ArmAssembler::Move(ManagedRegister m_dst, ManagedRegister m_src, size_t /*size*/) {
618 ArmManagedRegister dst = m_dst.AsArm();
619 ArmManagedRegister src = m_src.AsArm();
620 if (!dst.Equals(src)) {
621 if (dst.IsCoreRegister()) {
622 CHECK(src.IsCoreRegister()) << src;
623 mov(dst.AsCoreRegister(), ShifterOperand(src.AsCoreRegister()));
624 } else if (dst.IsDRegister()) {
625 CHECK(src.IsDRegister()) << src;
626 vmovd(dst.AsDRegister(), src.AsDRegister());
627 } else if (dst.IsSRegister()) {
628 CHECK(src.IsSRegister()) << src;
629 vmovs(dst.AsSRegister(), src.AsSRegister());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700630 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700631 CHECK(dst.IsRegisterPair()) << dst;
632 CHECK(src.IsRegisterPair()) << src;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700633 // Ensure that the first move doesn't clobber the input of the second.
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700634 if (src.AsRegisterPairHigh() != dst.AsRegisterPairLow()) {
635 mov(dst.AsRegisterPairLow(), ShifterOperand(src.AsRegisterPairLow()));
636 mov(dst.AsRegisterPairHigh(), ShifterOperand(src.AsRegisterPairHigh()));
Ian Rogers7a99c112011-09-07 12:48:27 -0700637 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700638 mov(dst.AsRegisterPairHigh(), ShifterOperand(src.AsRegisterPairHigh()));
639 mov(dst.AsRegisterPairLow(), ShifterOperand(src.AsRegisterPairLow()));
Ian Rogers7a99c112011-09-07 12:48:27 -0700640 }
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700641 }
Ian Rogersb033c752011-07-20 12:22:35 -0700642 }
643}
644
Ian Rogersdc51b792011-09-22 20:41:37 -0700645void ArmAssembler::Copy(FrameOffset dest, FrameOffset src, ManagedRegister mscratch, size_t size) {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700646 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700647 CHECK(scratch.IsCoreRegister()) << scratch;
648 CHECK(size == 4 || size == 8) << size;
Ian Rogersb033c752011-07-20 12:22:35 -0700649 if (size == 4) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700650 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
651 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Shih-wei Liao5381cf92011-07-27 00:28:04 -0700652 } else if (size == 8) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700653 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
654 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
655 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value() + 4);
656 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + 4);
Ian Rogersb033c752011-07-20 12:22:35 -0700657 }
658}
659
Ian Rogersdc51b792011-09-22 20:41:37 -0700660void ArmAssembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
661 ManagedRegister mscratch, size_t size) {
662 Register scratch = mscratch.AsArm().AsCoreRegister();
663 CHECK_EQ(size, 4u);
664 LoadFromOffset(kLoadWord, scratch, src_base.AsArm().AsCoreRegister(), src_offset.Int32Value());
665 StoreToOffset(kStoreWord, scratch, SP, dest.Int32Value());
666}
667
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700668void ArmAssembler::Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src,
669 ManagedRegister mscratch, size_t size) {
670 Register scratch = mscratch.AsArm().AsCoreRegister();
671 CHECK_EQ(size, 4u);
672 LoadFromOffset(kLoadWord, scratch, SP, src.Int32Value());
673 StoreToOffset(kStoreWord, scratch, dest_base.AsArm().AsCoreRegister(), dest_offset.Int32Value());
674}
675
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700676void ArmAssembler::Copy(FrameOffset /*dst*/, FrameOffset /*src_base*/, Offset /*src_offset*/,
677 ManagedRegister /*mscratch*/, size_t /*size*/) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700678 UNIMPLEMENTED(FATAL);
679}
680
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700681void ArmAssembler::Copy(ManagedRegister dest, Offset dest_offset,
682 ManagedRegister src, Offset src_offset,
683 ManagedRegister mscratch, size_t size) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700684 CHECK_EQ(size, 4u);
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700685 Register scratch = mscratch.AsArm().AsCoreRegister();
686 LoadFromOffset(kLoadWord, scratch, src.AsArm().AsCoreRegister(), src_offset.Int32Value());
687 StoreToOffset(kStoreWord, scratch, dest.AsArm().AsCoreRegister(), dest_offset.Int32Value());
688}
689
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700690void ArmAssembler::Copy(FrameOffset /*dst*/, Offset /*dest_offset*/, FrameOffset /*src*/, Offset /*src_offset*/,
691 ManagedRegister /*scratch*/, size_t /*size*/) {
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700692 UNIMPLEMENTED(FATAL);
Ian Rogersdc51b792011-09-22 20:41:37 -0700693}
694
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700695void ArmAssembler::CreateHandleScopeEntry(ManagedRegister mout_reg,
696 FrameOffset handle_scope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700697 ManagedRegister min_reg, bool null_allowed) {
698 ArmManagedRegister out_reg = mout_reg.AsArm();
699 ArmManagedRegister in_reg = min_reg.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700700 CHECK(in_reg.IsNoRegister() || in_reg.IsCoreRegister()) << in_reg;
701 CHECK(out_reg.IsCoreRegister()) << out_reg;
Ian Rogersb033c752011-07-20 12:22:35 -0700702 if (null_allowed) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700703 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
704 // the address in the handle scope holding the reference.
Ian Rogersb033c752011-07-20 12:22:35 -0700705 // e.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset)
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700706 if (in_reg.IsNoRegister()) {
707 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700708 SP, handle_scope_offset.Int32Value());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700709 in_reg = out_reg;
710 }
Ian Rogersb033c752011-07-20 12:22:35 -0700711 cmp(in_reg.AsCoreRegister(), ShifterOperand(0));
712 if (!out_reg.Equals(in_reg)) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700713 it(EQ, kItElse);
Ian Rogersb033c752011-07-20 12:22:35 -0700714 LoadImmediate(out_reg.AsCoreRegister(), 0, EQ);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700715 } else {
716 it(NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700717 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700718 AddConstant(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700719 } else {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700720 AddConstant(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), AL);
Ian Rogersb033c752011-07-20 12:22:35 -0700721 }
722}
723
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700724void ArmAssembler::CreateHandleScopeEntry(FrameOffset out_off,
725 FrameOffset handle_scope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700726 ManagedRegister mscratch,
727 bool null_allowed) {
728 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700729 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700730 if (null_allowed) {
731 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP,
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700732 handle_scope_offset.Int32Value());
733 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
734 // the address in the handle scope holding the reference.
735 // e.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset)
Ian Rogersb033c752011-07-20 12:22:35 -0700736 cmp(scratch.AsCoreRegister(), ShifterOperand(0));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700737 it(NE);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700738 AddConstant(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700739 } else {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700740 AddConstant(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), AL);
Ian Rogersb033c752011-07-20 12:22:35 -0700741 }
742 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, out_off.Int32Value());
743}
744
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700745void ArmAssembler::LoadReferenceFromHandleScope(ManagedRegister mout_reg,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700746 ManagedRegister min_reg) {
747 ArmManagedRegister out_reg = mout_reg.AsArm();
748 ArmManagedRegister in_reg = min_reg.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700749 CHECK(out_reg.IsCoreRegister()) << out_reg;
750 CHECK(in_reg.IsCoreRegister()) << in_reg;
Ian Rogersb033c752011-07-20 12:22:35 -0700751 Label null_arg;
752 if (!out_reg.Equals(in_reg)) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700753 LoadImmediate(out_reg.AsCoreRegister(), 0, EQ); // TODO: why EQ?
Ian Rogersb033c752011-07-20 12:22:35 -0700754 }
755 cmp(in_reg.AsCoreRegister(), ShifterOperand(0));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700756 it(NE);
Ian Rogersdf20fe02011-07-20 20:34:16 -0700757 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
758 in_reg.AsCoreRegister(), 0, NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700759}
760
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700761void ArmAssembler::VerifyObject(ManagedRegister /*src*/, bool /*could_be_null*/) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700762 // TODO: not validating references.
Ian Rogersb033c752011-07-20 12:22:35 -0700763}
764
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700765void ArmAssembler::VerifyObject(FrameOffset /*src*/, bool /*could_be_null*/) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700766 // TODO: not validating references.
Ian Rogersb033c752011-07-20 12:22:35 -0700767}
768
Ian Rogers2c8f6532011-09-02 17:16:34 -0700769void ArmAssembler::Call(ManagedRegister mbase, Offset offset,
770 ManagedRegister mscratch) {
771 ArmManagedRegister base = mbase.AsArm();
772 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700773 CHECK(base.IsCoreRegister()) << base;
774 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700775 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
776 base.AsCoreRegister(), offset.Int32Value());
777 blx(scratch.AsCoreRegister());
Dave Allison65fcc2c2014-04-28 13:45:27 -0700778 // TODO: place reference map on call.
Ian Rogersb033c752011-07-20 12:22:35 -0700779}
780
Ian Rogers2c8f6532011-09-02 17:16:34 -0700781void ArmAssembler::Call(FrameOffset base, Offset offset,
782 ManagedRegister mscratch) {
783 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700784 CHECK(scratch.IsCoreRegister()) << scratch;
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700785 // Call *(*(SP + base) + offset)
786 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
787 SP, base.Int32Value());
788 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
789 scratch.AsCoreRegister(), offset.Int32Value());
790 blx(scratch.AsCoreRegister());
791 // TODO: place reference map on call
792}
793
Ian Rogersdd7624d2014-03-14 17:43:00 -0700794void ArmAssembler::CallFromThread32(ThreadOffset<4> /*offset*/, ManagedRegister /*scratch*/) {
Ian Rogersbdb03912011-09-14 00:55:44 -0700795 UNIMPLEMENTED(FATAL);
796}
797
Ian Rogers2c8f6532011-09-02 17:16:34 -0700798void ArmAssembler::GetCurrentThread(ManagedRegister tr) {
799 mov(tr.AsArm().AsCoreRegister(), ShifterOperand(TR));
Shih-wei Liao668512a2011-09-01 14:18:34 -0700800}
801
Ian Rogers2c8f6532011-09-02 17:16:34 -0700802void ArmAssembler::GetCurrentThread(FrameOffset offset,
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700803 ManagedRegister /*scratch*/) {
Shih-wei Liao668512a2011-09-01 14:18:34 -0700804 StoreToOffset(kStoreWord, TR, SP, offset.Int32Value(), AL);
805}
806
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700807void ArmAssembler::ExceptionPoll(ManagedRegister mscratch, size_t stack_adjust) {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700808 ArmManagedRegister scratch = mscratch.AsArm();
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700809 ArmExceptionSlowPath* slow = new ArmExceptionSlowPath(scratch, stack_adjust);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700810 buffer_.EnqueueSlowPath(slow);
811 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
Ian Rogersdd7624d2014-03-14 17:43:00 -0700812 TR, Thread::ExceptionOffset<4>().Int32Value());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700813 cmp(scratch.AsCoreRegister(), ShifterOperand(0));
814 b(slow->Entry(), NE);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700815}
816
Ian Rogers2c8f6532011-09-02 17:16:34 -0700817void ArmExceptionSlowPath::Emit(Assembler* sasm) {
818 ArmAssembler* sp_asm = down_cast<ArmAssembler*>(sasm);
819#define __ sp_asm->
820 __ Bind(&entry_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700821 if (stack_adjust_ != 0) { // Fix up the frame.
822 __ DecreaseFrameSize(stack_adjust_);
823 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700824 // Pass exception object as argument.
825 // Don't care about preserving R0 as this call won't return.
Ian Rogers67375ac2011-09-14 00:55:44 -0700826 __ mov(R0, ShifterOperand(scratch_.AsCoreRegister()));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700827 // Set up call to Thread::Current()->pDeliverException.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700828 __ LoadFromOffset(kLoadWord, R12, TR, QUICK_ENTRYPOINT_OFFSET(4, pDeliverException).Int32Value());
Ian Rogers2c8f6532011-09-02 17:16:34 -0700829 __ blx(R12);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700830 // Call never returns.
Ian Rogers67375ac2011-09-14 00:55:44 -0700831 __ bkpt(0);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700832#undef __
Ian Rogers45a76cb2011-07-21 22:00:15 -0700833}
834
Dave Allison65fcc2c2014-04-28 13:45:27 -0700835
836static int LeadingZeros(uint32_t val) {
837 uint32_t alt;
838 int32_t n;
839 int32_t count;
840
841 count = 16;
842 n = 32;
843 do {
844 alt = val >> count;
845 if (alt != 0) {
846 n = n - count;
847 val = alt;
848 }
849 count >>= 1;
850 } while (count);
851 return n - val;
852}
853
854
855uint32_t ArmAssembler::ModifiedImmediate(uint32_t value) {
856 int32_t z_leading;
857 int32_t z_trailing;
858 uint32_t b0 = value & 0xff;
859
860 /* Note: case of value==0 must use 0:000:0:0000000 encoding */
861 if (value <= 0xFF)
862 return b0; // 0:000:a:bcdefgh.
863 if (value == ((b0 << 16) | b0))
864 return (0x1 << 12) | b0; /* 0:001:a:bcdefgh */
865 if (value == ((b0 << 24) | (b0 << 16) | (b0 << 8) | b0))
866 return (0x3 << 12) | b0; /* 0:011:a:bcdefgh */
867 b0 = (value >> 8) & 0xff;
868 if (value == ((b0 << 24) | (b0 << 8)))
869 return (0x2 << 12) | b0; /* 0:010:a:bcdefgh */
870 /* Can we do it with rotation? */
871 z_leading = LeadingZeros(value);
872 z_trailing = 32 - LeadingZeros(~value & (value - 1));
873 /* A run of eight or fewer active bits? */
874 if ((z_leading + z_trailing) < 24)
875 return kInvalidModifiedImmediate; /* No - bail */
876 /* left-justify the constant, discarding msb (known to be 1) */
877 value <<= z_leading + 1;
878 /* Create bcdefgh */
879 value >>= 25;
880
881 /* Put it all together */
882 uint32_t v = 8 + z_leading;
883
884 uint32_t i = (v & 0b10000) >> 4;
885 uint32_t imm3 = (v >> 1) & 0b111;
886 uint32_t a = v & 1;
887 return value | i << 26 | imm3 << 12 | a << 7;
888}
889
Ian Rogers2c8f6532011-09-02 17:16:34 -0700890} // namespace arm
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700891} // namespace art