blob: 9c84bc1e3785fa15ad7ad6f846880b425a94641b [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
Nicolas Geoffray96f89a22014-07-11 10:57:49 +010076ShifterOperand::ShifterOperand(uint32_t immed)
77 : type_(kImmediate), rm_(kNoRegister), rs_(kNoRegister),
78 is_rotate_(false), is_shift_(false), shift_(kNoShift), rotate_(0), immed_(immed) {
79 CHECK(immed < (1u << 12) || ArmAssembler::ModifiedImmediate(immed) != kInvalidModifiedImmediate);
80}
Carl Shapiroa2e18e12011-06-21 18:57:55 -070081
82
Dave Allison65fcc2c2014-04-28 13:45:27 -070083uint32_t ShifterOperand::encodingArm() const {
84 CHECK(is_valid());
85 switch (type_) {
86 case kImmediate:
87 if (is_rotate_) {
88 return (rotate_ << kRotateShift) | (immed_ << kImmed8Shift);
89 } else {
90 return immed_;
Ian Rogersb033c752011-07-20 12:22:35 -070091 }
Dave Allison65fcc2c2014-04-28 13:45:27 -070092 break;
93 case kRegister:
94 if (is_shift_) {
Andreas Gampe849cc5e2014-11-18 13:46:46 -080095 uint32_t shift_type;
96 switch (shift_) {
97 case arm::Shift::ROR:
98 shift_type = static_cast<uint32_t>(shift_);
99 CHECK_NE(immed_, 0U);
100 break;
101 case arm::Shift::RRX:
102 shift_type = static_cast<uint32_t>(arm::Shift::ROR); // Same encoding as ROR.
103 CHECK_EQ(immed_, 0U);
104 break;
105 default:
106 shift_type = static_cast<uint32_t>(shift_);
107 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700108 // Shifted immediate or register.
109 if (rs_ == kNoRegister) {
110 // Immediate shift.
111 return immed_ << kShiftImmShift |
Andreas Gampe849cc5e2014-11-18 13:46:46 -0800112 shift_type << kShiftShift |
Dave Allison65fcc2c2014-04-28 13:45:27 -0700113 static_cast<uint32_t>(rm_);
114 } else {
115 // Register shift.
116 return static_cast<uint32_t>(rs_) << kShiftRegisterShift |
Andreas Gampe849cc5e2014-11-18 13:46:46 -0800117 shift_type << kShiftShift | (1 << 4) |
Dave Allison65fcc2c2014-04-28 13:45:27 -0700118 static_cast<uint32_t>(rm_);
119 }
120 } else {
121 // Simple register
122 return static_cast<uint32_t>(rm_);
Ian Rogersb033c752011-07-20 12:22:35 -0700123 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700124 break;
125 default:
126 // Can't get here.
127 LOG(FATAL) << "Invalid shifter operand for ARM";
128 return 0;
Ian Rogersb033c752011-07-20 12:22:35 -0700129 }
130}
131
Dave Allison45fdb932014-06-25 12:37:10 -0700132uint32_t ShifterOperand::encodingThumb() const {
133 switch (type_) {
134 case kImmediate:
135 return immed_;
136 case kRegister:
137 if (is_shift_) {
138 // Shifted immediate or register.
139 if (rs_ == kNoRegister) {
140 // Immediate shift.
141 if (shift_ == RRX) {
142 // RRX is encoded as an ROR with imm 0.
143 return ROR << 4 | static_cast<uint32_t>(rm_);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700144 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700145 uint32_t imm3 = immed_ >> 2;
Andreas Gampec8ccf682014-09-29 20:07:43 -0700146 uint32_t imm2 = immed_ & 3U /* 0b11 */;
Dave Allison45fdb932014-06-25 12:37:10 -0700147
148 return imm3 << 12 | imm2 << 6 | shift_ << 4 |
149 static_cast<uint32_t>(rm_);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700150 }
151 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700152 LOG(FATAL) << "No register-shifted register instruction available in thumb";
153 return 0;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700154 }
Dave Allison45fdb932014-06-25 12:37:10 -0700155 } else {
156 // Simple register
157 return static_cast<uint32_t>(rm_);
158 }
159 break;
160 default:
161 // Can't get here.
162 LOG(FATAL) << "Invalid shifter operand for thumb";
163 return 0;
Ian Rogersb033c752011-07-20 12:22:35 -0700164 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700165 return 0;
166}
167
168bool ShifterOperand::CanHoldThumb(Register rd, Register rn, Opcode opcode,
169 uint32_t immediate, ShifterOperand* shifter_op) {
170 shifter_op->type_ = kImmediate;
171 shifter_op->immed_ = immediate;
172 shifter_op->is_shift_ = false;
173 shifter_op->is_rotate_ = false;
174 switch (opcode) {
175 case ADD:
176 case SUB:
177 if (rn == SP) {
178 if (rd == SP) {
179 return immediate < (1 << 9); // 9 bits allowed.
180 } else {
181 return immediate < (1 << 12); // 12 bits.
182 }
183 }
184 if (immediate < (1 << 12)) { // Less than (or equal to) 12 bits can always be done.
185 return true;
186 }
187 return ArmAssembler::ModifiedImmediate(immediate) != kInvalidModifiedImmediate;
188
189 case MOV:
Nicolas Geoffray8d486732014-07-16 16:23:40 +0100190 // TODO: Support less than or equal to 12bits.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700191 return ArmAssembler::ModifiedImmediate(immediate) != kInvalidModifiedImmediate;
192 case MVN:
193 default:
194 return ArmAssembler::ModifiedImmediate(immediate) != kInvalidModifiedImmediate;
195 }
Ian Rogersb033c752011-07-20 12:22:35 -0700196}
197
Dave Allison65fcc2c2014-04-28 13:45:27 -0700198uint32_t Address::encodingArm() const {
199 CHECK(IsAbsoluteUint(12, offset_));
200 uint32_t encoding;
Dave Allison45fdb932014-06-25 12:37:10 -0700201 if (is_immed_offset_) {
202 if (offset_ < 0) {
203 encoding = (am_ ^ (1 << kUShift)) | -offset_; // Flip U to adjust sign.
204 } else {
205 encoding = am_ | offset_;
206 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700207 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700208 uint32_t imm5 = offset_;
209 uint32_t shift = shift_;
210 if (shift == RRX) {
211 imm5 = 0;
212 shift = ROR;
213 }
214 encoding = am_ | static_cast<uint32_t>(rm_) | shift << 5 | offset_ << 7 | B25;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700215 }
216 encoding |= static_cast<uint32_t>(rn_) << kRnShift;
217 return encoding;
218}
Ian Rogersb033c752011-07-20 12:22:35 -0700219
Dave Allison65fcc2c2014-04-28 13:45:27 -0700220
Dave Allison45fdb932014-06-25 12:37:10 -0700221uint32_t Address::encodingThumb(bool is_32bit) const {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700222 uint32_t encoding = 0;
Dave Allison45fdb932014-06-25 12:37:10 -0700223 if (is_immed_offset_) {
224 encoding = static_cast<uint32_t>(rn_) << 16;
225 // Check for the T3/T4 encoding.
226 // PUW must Offset for T3
227 // Convert ARM PU0W to PUW
228 // The Mode is in ARM encoding format which is:
229 // |P|U|0|W|
230 // we need this in thumb2 mode:
231 // |P|U|W|
Dave Allison65fcc2c2014-04-28 13:45:27 -0700232
Dave Allison45fdb932014-06-25 12:37:10 -0700233 uint32_t am = am_;
234 int32_t offset = offset_;
235 if (offset < 0) {
236 am ^= 1 << kUShift;
237 offset = -offset;
238 }
239 if (offset_ < 0 || (offset >= 0 && offset < 256 &&
Dave Allison65fcc2c2014-04-28 13:45:27 -0700240 am_ != Mode::Offset)) {
Dave Allison45fdb932014-06-25 12:37:10 -0700241 // T4 encoding.
242 uint32_t PUW = am >> 21; // Move down to bottom of word.
243 PUW = (PUW >> 1) | (PUW & 1); // Bits 3, 2 and 0.
244 // If P is 0 then W must be 1 (Different from ARM).
Andreas Gampec8ccf682014-09-29 20:07:43 -0700245 if ((PUW & 4U /* 0b100 */) == 0) {
246 PUW |= 1U /* 0b1 */;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700247 }
Dave Allison45fdb932014-06-25 12:37:10 -0700248 encoding |= B11 | PUW << 8 | offset;
249 } else {
250 // T3 encoding (also sets op1 to 0b01).
251 encoding |= B23 | offset_;
252 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700253 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700254 // Register offset, possibly shifted.
255 // Need to choose between encoding T1 (16 bit) or T2.
256 // Only Offset mode is supported. Shift must be LSL and the count
257 // is only 2 bits.
258 CHECK_EQ(shift_, LSL);
259 CHECK_LE(offset_, 4);
260 CHECK_EQ(am_, Offset);
261 bool is_t2 = is_32bit;
262 if (ArmAssembler::IsHighRegister(rn_) || ArmAssembler::IsHighRegister(rm_)) {
263 is_t2 = true;
264 } else if (offset_ != 0) {
265 is_t2 = true;
266 }
267 if (is_t2) {
268 encoding = static_cast<uint32_t>(rn_) << 16 | static_cast<uint32_t>(rm_) |
269 offset_ << 4;
270 } else {
271 encoding = static_cast<uint32_t>(rn_) << 3 | static_cast<uint32_t>(rm_) << 6;
272 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700273 }
274 return encoding;
275}
276
277// This is very like the ARM encoding except the offset is 10 bits.
278uint32_t Address::encodingThumbLdrdStrd() const {
279 uint32_t encoding;
280 uint32_t am = am_;
281 // If P is 0 then W must be 1 (Different from ARM).
282 uint32_t PU1W = am_ >> 21; // Move down to bottom of word.
Andreas Gampec8ccf682014-09-29 20:07:43 -0700283 if ((PU1W & 8U /* 0b1000 */) == 0) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700284 am |= 1 << 21; // Set W bit.
285 }
286 if (offset_ < 0) {
287 int32_t off = -offset_;
288 CHECK_LT(off, 1024);
Andreas Gampec8ccf682014-09-29 20:07:43 -0700289 CHECK_EQ((off & 3 /* 0b11 */), 0); // Must be multiple of 4.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700290 encoding = (am ^ (1 << kUShift)) | off >> 2; // Flip U to adjust sign.
291 } else {
292 CHECK_LT(offset_, 1024);
Andreas Gampec8ccf682014-09-29 20:07:43 -0700293 CHECK_EQ((offset_ & 3 /* 0b11 */), 0); // Must be multiple of 4.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700294 encoding = am | offset_ >> 2;
295 }
296 encoding |= static_cast<uint32_t>(rn_) << 16;
297 return encoding;
298}
299
300// Encoding for ARM addressing mode 3.
301uint32_t Address::encoding3() const {
302 const uint32_t offset_mask = (1 << 12) - 1;
303 uint32_t encoding = encodingArm();
304 uint32_t offset = encoding & offset_mask;
305 CHECK_LT(offset, 256u);
306 return (encoding & ~offset_mask) | ((offset & 0xf0) << 4) | (offset & 0xf);
307}
308
309// Encoding for vfp load/store addressing.
310uint32_t Address::vencoding() const {
311 const uint32_t offset_mask = (1 << 12) - 1;
312 uint32_t encoding = encodingArm();
313 uint32_t offset = encoding & offset_mask;
314 CHECK(IsAbsoluteUint(10, offset)); // In the range -1020 to +1020.
315 CHECK_ALIGNED(offset, 2); // Multiple of 4.
316 CHECK((am_ == Offset) || (am_ == NegOffset));
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800317 uint32_t vencoding_value = (encoding & (0xf << kRnShift)) | (offset >> 2);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700318 if (am_ == Offset) {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800319 vencoding_value |= 1 << 23;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700320 }
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800321 return vencoding_value;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700322}
323
324
325bool Address::CanHoldLoadOffsetArm(LoadOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700326 switch (type) {
327 case kLoadSignedByte:
328 case kLoadSignedHalfword:
329 case kLoadUnsignedHalfword:
330 case kLoadWordPair:
331 return IsAbsoluteUint(8, offset); // Addressing mode 3.
332 case kLoadUnsignedByte:
333 case kLoadWord:
334 return IsAbsoluteUint(12, offset); // Addressing mode 2.
335 case kLoadSWord:
336 case kLoadDWord:
337 return IsAbsoluteUint(10, offset); // VFP addressing mode.
338 default:
339 LOG(FATAL) << "UNREACHABLE";
Ian Rogers2c4257b2014-10-24 14:20:06 -0700340 UNREACHABLE();
Ian Rogersb033c752011-07-20 12:22:35 -0700341 }
342}
343
344
Dave Allison65fcc2c2014-04-28 13:45:27 -0700345bool Address::CanHoldStoreOffsetArm(StoreOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700346 switch (type) {
347 case kStoreHalfword:
348 case kStoreWordPair:
349 return IsAbsoluteUint(8, offset); // Addressing mode 3.
350 case kStoreByte:
351 case kStoreWord:
352 return IsAbsoluteUint(12, offset); // Addressing mode 2.
353 case kStoreSWord:
354 case kStoreDWord:
355 return IsAbsoluteUint(10, offset); // VFP addressing mode.
356 default:
357 LOG(FATAL) << "UNREACHABLE";
Ian Rogers2c4257b2014-10-24 14:20:06 -0700358 UNREACHABLE();
Ian Rogersb033c752011-07-20 12:22:35 -0700359 }
360}
361
Dave Allison65fcc2c2014-04-28 13:45:27 -0700362bool Address::CanHoldLoadOffsetThumb(LoadOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700363 switch (type) {
364 case kLoadSignedByte:
Ian Rogersb033c752011-07-20 12:22:35 -0700365 case kLoadSignedHalfword:
Ian Rogersb033c752011-07-20 12:22:35 -0700366 case kLoadUnsignedHalfword:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700367 case kLoadUnsignedByte:
Ian Rogersb033c752011-07-20 12:22:35 -0700368 case kLoadWord:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700369 return IsAbsoluteUint(12, offset);
370 case kLoadSWord:
371 case kLoadDWord:
372 return IsAbsoluteUint(10, offset); // VFP addressing mode.
Ian Rogersb033c752011-07-20 12:22:35 -0700373 case kLoadWordPair:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700374 return IsAbsoluteUint(10, offset);
Ian Rogers2c4257b2014-10-24 14:20:06 -0700375 default:
Ian Rogersb033c752011-07-20 12:22:35 -0700376 LOG(FATAL) << "UNREACHABLE";
Ian Rogers2c4257b2014-10-24 14:20:06 -0700377 UNREACHABLE();
Ian Rogersb033c752011-07-20 12:22:35 -0700378 }
379}
380
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700381
Dave Allison65fcc2c2014-04-28 13:45:27 -0700382bool Address::CanHoldStoreOffsetThumb(StoreOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700383 switch (type) {
Ian Rogersb033c752011-07-20 12:22:35 -0700384 case kStoreHalfword:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700385 case kStoreByte:
Ian Rogersb033c752011-07-20 12:22:35 -0700386 case kStoreWord:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700387 return IsAbsoluteUint(12, offset);
388 case kStoreSWord:
389 case kStoreDWord:
390 return IsAbsoluteUint(10, offset); // VFP addressing mode.
Ian Rogersb033c752011-07-20 12:22:35 -0700391 case kStoreWordPair:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700392 return IsAbsoluteUint(10, offset);
Ian Rogers2c4257b2014-10-24 14:20:06 -0700393 default:
Ian Rogersb033c752011-07-20 12:22:35 -0700394 LOG(FATAL) << "UNREACHABLE";
Ian Rogers2c4257b2014-10-24 14:20:06 -0700395 UNREACHABLE();
Ian Rogersb033c752011-07-20 12:22:35 -0700396 }
397}
398
Dave Allison65fcc2c2014-04-28 13:45:27 -0700399void ArmAssembler::Pad(uint32_t bytes) {
400 AssemblerBuffer::EnsureCapacity ensured(&buffer_);
401 for (uint32_t i = 0; i < bytes; ++i) {
Ian Rogers13735952014-10-08 12:43:28 -0700402 buffer_.Emit<uint8_t>(0);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700403 }
Carl Shapiro9b9ba282011-08-14 15:30:39 -0700404}
405
Ian Rogers790a6b72014-04-01 10:36:00 -0700406constexpr size_t kFramePointerSize = 4;
407
Ian Rogers2c8f6532011-09-02 17:16:34 -0700408void ArmAssembler::BuildFrame(size_t frame_size, ManagedRegister method_reg,
Ian Rogersb5d09b22012-03-06 22:14:17 -0800409 const std::vector<ManagedRegister>& callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +0700410 const ManagedRegisterEntrySpills& entry_spills) {
Elliott Hughes06b37d92011-10-16 11:51:29 -0700411 CHECK_ALIGNED(frame_size, kStackAlignment);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700412 CHECK_EQ(R0, method_reg.AsArm().AsCoreRegister());
Ian Rogersbdb03912011-09-14 00:55:44 -0700413
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700414 // Push callee saves and link register.
Ian Rogersbdb03912011-09-14 00:55:44 -0700415 RegList push_list = 1 << LR;
416 size_t pushed_values = 1;
417 for (size_t i = 0; i < callee_save_regs.size(); i++) {
418 Register reg = callee_save_regs.at(i).AsArm().AsCoreRegister();
419 push_list |= 1 << reg;
420 pushed_values++;
Ian Rogers0d666d82011-08-14 16:03:46 -0700421 }
Ian Rogersbdb03912011-09-14 00:55:44 -0700422 PushList(push_list);
423
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700424 // Increase frame to required size.
Ian Rogers790a6b72014-04-01 10:36:00 -0700425 CHECK_GT(frame_size, pushed_values * kFramePointerSize); // Must at least have space for Method*.
426 size_t adjust = frame_size - (pushed_values * kFramePointerSize);
Ian Rogersbdb03912011-09-14 00:55:44 -0700427 IncreaseFrameSize(adjust);
428
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700429 // Write out Method*.
Ian Rogersbdb03912011-09-14 00:55:44 -0700430 StoreToOffset(kStoreWord, R0, SP, 0);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700431
432 // Write out entry spills.
Zheng Xu5667fdb2014-10-23 18:29:55 +0800433 int32_t offset = frame_size + sizeof(StackReference<mirror::ArtMethod>);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700434 for (size_t i = 0; i < entry_spills.size(); ++i) {
Zheng Xu5667fdb2014-10-23 18:29:55 +0800435 ArmManagedRegister reg = entry_spills.at(i).AsArm();
436 if (reg.IsNoRegister()) {
437 // only increment stack offset.
438 ManagedRegisterSpill spill = entry_spills.at(i);
439 offset += spill.getSize();
440 } else if (reg.IsCoreRegister()) {
441 StoreToOffset(kStoreWord, reg.AsCoreRegister(), SP, offset);
442 offset += 4;
443 } else if (reg.IsSRegister()) {
444 StoreSToOffset(reg.AsSRegister(), SP, offset);
445 offset += 4;
446 } else if (reg.IsDRegister()) {
447 StoreDToOffset(reg.AsDRegister(), SP, offset);
448 offset += 8;
449 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700450 }
Ian Rogersb033c752011-07-20 12:22:35 -0700451}
452
Ian Rogers2c8f6532011-09-02 17:16:34 -0700453void ArmAssembler::RemoveFrame(size_t frame_size,
Ian Rogersbdb03912011-09-14 00:55:44 -0700454 const std::vector<ManagedRegister>& callee_save_regs) {
Elliott Hughes06b37d92011-10-16 11:51:29 -0700455 CHECK_ALIGNED(frame_size, kStackAlignment);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700456 // Compute callee saves to pop and PC.
Ian Rogersbdb03912011-09-14 00:55:44 -0700457 RegList pop_list = 1 << PC;
458 size_t pop_values = 1;
459 for (size_t i = 0; i < callee_save_regs.size(); i++) {
460 Register reg = callee_save_regs.at(i).AsArm().AsCoreRegister();
461 pop_list |= 1 << reg;
462 pop_values++;
Ian Rogers0d666d82011-08-14 16:03:46 -0700463 }
Ian Rogersbdb03912011-09-14 00:55:44 -0700464
Dave Allison65fcc2c2014-04-28 13:45:27 -0700465 // Decrease frame to start of callee saves.
Ian Rogers790a6b72014-04-01 10:36:00 -0700466 CHECK_GT(frame_size, pop_values * kFramePointerSize);
467 size_t adjust = frame_size - (pop_values * kFramePointerSize);
Ian Rogersbdb03912011-09-14 00:55:44 -0700468 DecreaseFrameSize(adjust);
469
Dave Allison65fcc2c2014-04-28 13:45:27 -0700470 // Pop callee saves and PC.
Ian Rogersbdb03912011-09-14 00:55:44 -0700471 PopList(pop_list);
Ian Rogers0d666d82011-08-14 16:03:46 -0700472}
473
Ian Rogers2c8f6532011-09-02 17:16:34 -0700474void ArmAssembler::IncreaseFrameSize(size_t adjust) {
Ian Rogersb033c752011-07-20 12:22:35 -0700475 AddConstant(SP, -adjust);
476}
477
Ian Rogers2c8f6532011-09-02 17:16:34 -0700478void ArmAssembler::DecreaseFrameSize(size_t adjust) {
Ian Rogersb033c752011-07-20 12:22:35 -0700479 AddConstant(SP, adjust);
480}
481
Ian Rogers2c8f6532011-09-02 17:16:34 -0700482void ArmAssembler::Store(FrameOffset dest, ManagedRegister msrc, size_t size) {
483 ArmManagedRegister src = msrc.AsArm();
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700484 if (src.IsNoRegister()) {
485 CHECK_EQ(0u, size);
486 } else if (src.IsCoreRegister()) {
Ian Rogersb033c752011-07-20 12:22:35 -0700487 CHECK_EQ(4u, size);
488 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700489 } else if (src.IsRegisterPair()) {
490 CHECK_EQ(8u, size);
491 StoreToOffset(kStoreWord, src.AsRegisterPairLow(), SP, dest.Int32Value());
492 StoreToOffset(kStoreWord, src.AsRegisterPairHigh(),
493 SP, dest.Int32Value() + 4);
494 } else if (src.IsSRegister()) {
495 StoreSToOffset(src.AsSRegister(), SP, dest.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700496 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700497 CHECK(src.IsDRegister()) << src;
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700498 StoreDToOffset(src.AsDRegister(), SP, dest.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700499 }
500}
501
Ian Rogers2c8f6532011-09-02 17:16:34 -0700502void ArmAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
503 ArmManagedRegister src = msrc.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700504 CHECK(src.IsCoreRegister()) << src;
Ian Rogersb033c752011-07-20 12:22:35 -0700505 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
506}
507
Ian Rogers2c8f6532011-09-02 17:16:34 -0700508void ArmAssembler::StoreRawPtr(FrameOffset dest, ManagedRegister msrc) {
509 ArmManagedRegister src = msrc.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700510 CHECK(src.IsCoreRegister()) << src;
Ian Rogersdf20fe02011-07-20 20:34:16 -0700511 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
512}
513
Ian Rogers2c8f6532011-09-02 17:16:34 -0700514void ArmAssembler::StoreSpanning(FrameOffset dest, ManagedRegister msrc,
515 FrameOffset in_off, ManagedRegister mscratch) {
516 ArmManagedRegister src = msrc.AsArm();
517 ArmManagedRegister scratch = mscratch.AsArm();
Ian Rogers7a99c112011-09-07 12:48:27 -0700518 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
519 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, in_off.Int32Value());
520 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + 4);
521}
522
Ian Rogers2c8f6532011-09-02 17:16:34 -0700523void ArmAssembler::CopyRef(FrameOffset dest, FrameOffset src,
524 ManagedRegister mscratch) {
525 ArmManagedRegister scratch = mscratch.AsArm();
Ian Rogersb033c752011-07-20 12:22:35 -0700526 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
527 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
528}
529
Ian Rogers2c8f6532011-09-02 17:16:34 -0700530void ArmAssembler::LoadRef(ManagedRegister mdest, ManagedRegister base,
531 MemberOffset offs) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700532 ArmManagedRegister dst = mdest.AsArm();
533 CHECK(dst.IsCoreRegister() && dst.IsCoreRegister()) << dst;
534 LoadFromOffset(kLoadWord, dst.AsCoreRegister(),
Ian Rogers2c8f6532011-09-02 17:16:34 -0700535 base.AsArm().AsCoreRegister(), offs.Int32Value());
Hiroshi Yamauchie63a7452014-02-27 14:44:36 -0800536 if (kPoisonHeapReferences) {
537 rsb(dst.AsCoreRegister(), dst.AsCoreRegister(), ShifterOperand(0));
538 }
Ian Rogersb033c752011-07-20 12:22:35 -0700539}
540
Ian Rogers2c8f6532011-09-02 17:16:34 -0700541void ArmAssembler::LoadRef(ManagedRegister mdest, FrameOffset src) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700542 ArmManagedRegister dst = mdest.AsArm();
543 CHECK(dst.IsCoreRegister()) << dst;
544 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), SP, src.Int32Value());
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700545}
Ian Rogers2c8f6532011-09-02 17:16:34 -0700546
547void ArmAssembler::LoadRawPtr(ManagedRegister mdest, ManagedRegister base,
Ian Rogersa04d3972011-08-17 11:33:44 -0700548 Offset offs) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700549 ArmManagedRegister dst = mdest.AsArm();
550 CHECK(dst.IsCoreRegister() && dst.IsCoreRegister()) << dst;
551 LoadFromOffset(kLoadWord, dst.AsCoreRegister(),
Ian Rogers2c8f6532011-09-02 17:16:34 -0700552 base.AsArm().AsCoreRegister(), offs.Int32Value());
Ian Rogersa04d3972011-08-17 11:33:44 -0700553}
554
Ian Rogers2c8f6532011-09-02 17:16:34 -0700555void ArmAssembler::StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
556 ManagedRegister mscratch) {
557 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700558 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700559 LoadImmediate(scratch.AsCoreRegister(), imm);
560 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
561}
562
Ian Rogersdd7624d2014-03-14 17:43:00 -0700563void ArmAssembler::StoreImmediateToThread32(ThreadOffset<4> dest, uint32_t imm,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700564 ManagedRegister mscratch) {
565 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700566 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700567 LoadImmediate(scratch.AsCoreRegister(), imm);
568 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), TR, dest.Int32Value());
569}
570
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700571static void EmitLoad(ArmAssembler* assembler, ManagedRegister m_dst,
572 Register src_register, int32_t src_offset, size_t size) {
573 ArmManagedRegister dst = m_dst.AsArm();
574 if (dst.IsNoRegister()) {
575 CHECK_EQ(0u, size) << dst;
576 } else if (dst.IsCoreRegister()) {
577 CHECK_EQ(4u, size) << dst;
578 assembler->LoadFromOffset(kLoadWord, dst.AsCoreRegister(), src_register, src_offset);
579 } else if (dst.IsRegisterPair()) {
580 CHECK_EQ(8u, size) << dst;
581 assembler->LoadFromOffset(kLoadWord, dst.AsRegisterPairLow(), src_register, src_offset);
582 assembler->LoadFromOffset(kLoadWord, dst.AsRegisterPairHigh(), src_register, src_offset + 4);
583 } else if (dst.IsSRegister()) {
584 assembler->LoadSFromOffset(dst.AsSRegister(), src_register, src_offset);
Ian Rogersb033c752011-07-20 12:22:35 -0700585 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700586 CHECK(dst.IsDRegister()) << dst;
587 assembler->LoadDFromOffset(dst.AsDRegister(), src_register, src_offset);
Ian Rogersb033c752011-07-20 12:22:35 -0700588 }
589}
590
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700591void ArmAssembler::Load(ManagedRegister m_dst, FrameOffset src, size_t size) {
592 return EmitLoad(this, m_dst, SP, src.Int32Value(), size);
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700593}
594
Ian Rogersdd7624d2014-03-14 17:43:00 -0700595void ArmAssembler::LoadFromThread32(ManagedRegister m_dst, ThreadOffset<4> src, size_t size) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700596 return EmitLoad(this, m_dst, TR, src.Int32Value(), size);
597}
598
Ian Rogersdd7624d2014-03-14 17:43:00 -0700599void ArmAssembler::LoadRawPtrFromThread32(ManagedRegister m_dst, ThreadOffset<4> offs) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700600 ArmManagedRegister dst = m_dst.AsArm();
601 CHECK(dst.IsCoreRegister()) << dst;
602 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), TR, offs.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700603}
604
Ian Rogersdd7624d2014-03-14 17:43:00 -0700605void ArmAssembler::CopyRawPtrFromThread32(FrameOffset fr_offs,
606 ThreadOffset<4> thr_offs,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700607 ManagedRegister mscratch) {
608 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700609 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700610 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
611 TR, thr_offs.Int32Value());
612 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
613 SP, fr_offs.Int32Value());
614}
615
Ian Rogersdd7624d2014-03-14 17:43:00 -0700616void ArmAssembler::CopyRawPtrToThread32(ThreadOffset<4> thr_offs,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700617 FrameOffset fr_offs,
618 ManagedRegister mscratch) {
619 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700620 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700621 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
622 SP, fr_offs.Int32Value());
623 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
624 TR, thr_offs.Int32Value());
625}
626
Ian Rogersdd7624d2014-03-14 17:43:00 -0700627void ArmAssembler::StoreStackOffsetToThread32(ThreadOffset<4> thr_offs,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700628 FrameOffset fr_offs,
629 ManagedRegister mscratch) {
630 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700631 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700632 AddConstant(scratch.AsCoreRegister(), SP, fr_offs.Int32Value(), AL);
633 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
634 TR, thr_offs.Int32Value());
635}
636
Ian Rogersdd7624d2014-03-14 17:43:00 -0700637void ArmAssembler::StoreStackPointerToThread32(ThreadOffset<4> thr_offs) {
Ian Rogers45a76cb2011-07-21 22:00:15 -0700638 StoreToOffset(kStoreWord, SP, TR, thr_offs.Int32Value());
639}
640
jeffhao58136ca2012-05-24 13:40:11 -0700641void ArmAssembler::SignExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
642 UNIMPLEMENTED(FATAL) << "no sign extension necessary for arm";
643}
644
jeffhaocee4d0c2012-06-15 14:42:01 -0700645void ArmAssembler::ZeroExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
646 UNIMPLEMENTED(FATAL) << "no zero extension necessary for arm";
647}
648
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700649void ArmAssembler::Move(ManagedRegister m_dst, ManagedRegister m_src, size_t /*size*/) {
650 ArmManagedRegister dst = m_dst.AsArm();
651 ArmManagedRegister src = m_src.AsArm();
652 if (!dst.Equals(src)) {
653 if (dst.IsCoreRegister()) {
654 CHECK(src.IsCoreRegister()) << src;
655 mov(dst.AsCoreRegister(), ShifterOperand(src.AsCoreRegister()));
656 } else if (dst.IsDRegister()) {
657 CHECK(src.IsDRegister()) << src;
658 vmovd(dst.AsDRegister(), src.AsDRegister());
659 } else if (dst.IsSRegister()) {
660 CHECK(src.IsSRegister()) << src;
661 vmovs(dst.AsSRegister(), src.AsSRegister());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700662 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700663 CHECK(dst.IsRegisterPair()) << dst;
664 CHECK(src.IsRegisterPair()) << src;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700665 // Ensure that the first move doesn't clobber the input of the second.
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700666 if (src.AsRegisterPairHigh() != dst.AsRegisterPairLow()) {
667 mov(dst.AsRegisterPairLow(), ShifterOperand(src.AsRegisterPairLow()));
668 mov(dst.AsRegisterPairHigh(), ShifterOperand(src.AsRegisterPairHigh()));
Ian Rogers7a99c112011-09-07 12:48:27 -0700669 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700670 mov(dst.AsRegisterPairHigh(), ShifterOperand(src.AsRegisterPairHigh()));
671 mov(dst.AsRegisterPairLow(), ShifterOperand(src.AsRegisterPairLow()));
Ian Rogers7a99c112011-09-07 12:48:27 -0700672 }
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700673 }
Ian Rogersb033c752011-07-20 12:22:35 -0700674 }
675}
676
Ian Rogersdc51b792011-09-22 20:41:37 -0700677void ArmAssembler::Copy(FrameOffset dest, FrameOffset src, ManagedRegister mscratch, size_t size) {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700678 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700679 CHECK(scratch.IsCoreRegister()) << scratch;
680 CHECK(size == 4 || size == 8) << size;
Ian Rogersb033c752011-07-20 12:22:35 -0700681 if (size == 4) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700682 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
683 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Shih-wei Liao5381cf92011-07-27 00:28:04 -0700684 } else if (size == 8) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700685 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
686 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
687 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value() + 4);
688 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + 4);
Ian Rogersb033c752011-07-20 12:22:35 -0700689 }
690}
691
Ian Rogersdc51b792011-09-22 20:41:37 -0700692void ArmAssembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
693 ManagedRegister mscratch, size_t size) {
694 Register scratch = mscratch.AsArm().AsCoreRegister();
695 CHECK_EQ(size, 4u);
696 LoadFromOffset(kLoadWord, scratch, src_base.AsArm().AsCoreRegister(), src_offset.Int32Value());
697 StoreToOffset(kStoreWord, scratch, SP, dest.Int32Value());
698}
699
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700700void ArmAssembler::Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src,
701 ManagedRegister mscratch, size_t size) {
702 Register scratch = mscratch.AsArm().AsCoreRegister();
703 CHECK_EQ(size, 4u);
704 LoadFromOffset(kLoadWord, scratch, SP, src.Int32Value());
705 StoreToOffset(kStoreWord, scratch, dest_base.AsArm().AsCoreRegister(), dest_offset.Int32Value());
706}
707
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700708void ArmAssembler::Copy(FrameOffset /*dst*/, FrameOffset /*src_base*/, Offset /*src_offset*/,
709 ManagedRegister /*mscratch*/, size_t /*size*/) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700710 UNIMPLEMENTED(FATAL);
711}
712
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700713void ArmAssembler::Copy(ManagedRegister dest, Offset dest_offset,
714 ManagedRegister src, Offset src_offset,
715 ManagedRegister mscratch, size_t size) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700716 CHECK_EQ(size, 4u);
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700717 Register scratch = mscratch.AsArm().AsCoreRegister();
718 LoadFromOffset(kLoadWord, scratch, src.AsArm().AsCoreRegister(), src_offset.Int32Value());
719 StoreToOffset(kStoreWord, scratch, dest.AsArm().AsCoreRegister(), dest_offset.Int32Value());
720}
721
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700722void ArmAssembler::Copy(FrameOffset /*dst*/, Offset /*dest_offset*/, FrameOffset /*src*/, Offset /*src_offset*/,
723 ManagedRegister /*scratch*/, size_t /*size*/) {
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700724 UNIMPLEMENTED(FATAL);
Ian Rogersdc51b792011-09-22 20:41:37 -0700725}
726
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700727void ArmAssembler::CreateHandleScopeEntry(ManagedRegister mout_reg,
728 FrameOffset handle_scope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700729 ManagedRegister min_reg, bool null_allowed) {
730 ArmManagedRegister out_reg = mout_reg.AsArm();
731 ArmManagedRegister in_reg = min_reg.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700732 CHECK(in_reg.IsNoRegister() || in_reg.IsCoreRegister()) << in_reg;
733 CHECK(out_reg.IsCoreRegister()) << out_reg;
Ian Rogersb033c752011-07-20 12:22:35 -0700734 if (null_allowed) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700735 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
736 // the address in the handle scope holding the reference.
Ian Rogersb033c752011-07-20 12:22:35 -0700737 // e.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset)
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700738 if (in_reg.IsNoRegister()) {
739 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700740 SP, handle_scope_offset.Int32Value());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700741 in_reg = out_reg;
742 }
Ian Rogersb033c752011-07-20 12:22:35 -0700743 cmp(in_reg.AsCoreRegister(), ShifterOperand(0));
744 if (!out_reg.Equals(in_reg)) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700745 it(EQ, kItElse);
Ian Rogersb033c752011-07-20 12:22:35 -0700746 LoadImmediate(out_reg.AsCoreRegister(), 0, EQ);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700747 } else {
748 it(NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700749 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700750 AddConstant(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700751 } else {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700752 AddConstant(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), AL);
Ian Rogersb033c752011-07-20 12:22:35 -0700753 }
754}
755
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700756void ArmAssembler::CreateHandleScopeEntry(FrameOffset out_off,
757 FrameOffset handle_scope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700758 ManagedRegister mscratch,
759 bool null_allowed) {
760 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700761 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700762 if (null_allowed) {
763 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP,
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700764 handle_scope_offset.Int32Value());
765 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
766 // the address in the handle scope holding the reference.
767 // e.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset)
Ian Rogersb033c752011-07-20 12:22:35 -0700768 cmp(scratch.AsCoreRegister(), ShifterOperand(0));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700769 it(NE);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700770 AddConstant(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700771 } else {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700772 AddConstant(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), AL);
Ian Rogersb033c752011-07-20 12:22:35 -0700773 }
774 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, out_off.Int32Value());
775}
776
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700777void ArmAssembler::LoadReferenceFromHandleScope(ManagedRegister mout_reg,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700778 ManagedRegister min_reg) {
779 ArmManagedRegister out_reg = mout_reg.AsArm();
780 ArmManagedRegister in_reg = min_reg.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700781 CHECK(out_reg.IsCoreRegister()) << out_reg;
782 CHECK(in_reg.IsCoreRegister()) << in_reg;
Ian Rogersb033c752011-07-20 12:22:35 -0700783 Label null_arg;
784 if (!out_reg.Equals(in_reg)) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700785 LoadImmediate(out_reg.AsCoreRegister(), 0, EQ); // TODO: why EQ?
Ian Rogersb033c752011-07-20 12:22:35 -0700786 }
787 cmp(in_reg.AsCoreRegister(), ShifterOperand(0));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700788 it(NE);
Ian Rogersdf20fe02011-07-20 20:34:16 -0700789 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
790 in_reg.AsCoreRegister(), 0, NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700791}
792
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700793void ArmAssembler::VerifyObject(ManagedRegister /*src*/, bool /*could_be_null*/) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700794 // TODO: not validating references.
Ian Rogersb033c752011-07-20 12:22:35 -0700795}
796
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700797void ArmAssembler::VerifyObject(FrameOffset /*src*/, bool /*could_be_null*/) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700798 // TODO: not validating references.
Ian Rogersb033c752011-07-20 12:22:35 -0700799}
800
Ian Rogers2c8f6532011-09-02 17:16:34 -0700801void ArmAssembler::Call(ManagedRegister mbase, Offset offset,
802 ManagedRegister mscratch) {
803 ArmManagedRegister base = mbase.AsArm();
804 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700805 CHECK(base.IsCoreRegister()) << base;
806 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700807 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
808 base.AsCoreRegister(), offset.Int32Value());
809 blx(scratch.AsCoreRegister());
Dave Allison65fcc2c2014-04-28 13:45:27 -0700810 // TODO: place reference map on call.
Ian Rogersb033c752011-07-20 12:22:35 -0700811}
812
Ian Rogers2c8f6532011-09-02 17:16:34 -0700813void ArmAssembler::Call(FrameOffset base, Offset offset,
814 ManagedRegister mscratch) {
815 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700816 CHECK(scratch.IsCoreRegister()) << scratch;
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700817 // Call *(*(SP + base) + offset)
818 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
819 SP, base.Int32Value());
820 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
821 scratch.AsCoreRegister(), offset.Int32Value());
822 blx(scratch.AsCoreRegister());
823 // TODO: place reference map on call
824}
825
Ian Rogersdd7624d2014-03-14 17:43:00 -0700826void ArmAssembler::CallFromThread32(ThreadOffset<4> /*offset*/, ManagedRegister /*scratch*/) {
Ian Rogersbdb03912011-09-14 00:55:44 -0700827 UNIMPLEMENTED(FATAL);
828}
829
Ian Rogers2c8f6532011-09-02 17:16:34 -0700830void ArmAssembler::GetCurrentThread(ManagedRegister tr) {
831 mov(tr.AsArm().AsCoreRegister(), ShifterOperand(TR));
Shih-wei Liao668512a2011-09-01 14:18:34 -0700832}
833
Ian Rogers2c8f6532011-09-02 17:16:34 -0700834void ArmAssembler::GetCurrentThread(FrameOffset offset,
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700835 ManagedRegister /*scratch*/) {
Shih-wei Liao668512a2011-09-01 14:18:34 -0700836 StoreToOffset(kStoreWord, TR, SP, offset.Int32Value(), AL);
837}
838
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700839void ArmAssembler::ExceptionPoll(ManagedRegister mscratch, size_t stack_adjust) {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700840 ArmManagedRegister scratch = mscratch.AsArm();
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700841 ArmExceptionSlowPath* slow = new ArmExceptionSlowPath(scratch, stack_adjust);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700842 buffer_.EnqueueSlowPath(slow);
843 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
Ian Rogersdd7624d2014-03-14 17:43:00 -0700844 TR, Thread::ExceptionOffset<4>().Int32Value());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700845 cmp(scratch.AsCoreRegister(), ShifterOperand(0));
846 b(slow->Entry(), NE);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700847}
848
Ian Rogers2c8f6532011-09-02 17:16:34 -0700849void ArmExceptionSlowPath::Emit(Assembler* sasm) {
850 ArmAssembler* sp_asm = down_cast<ArmAssembler*>(sasm);
851#define __ sp_asm->
852 __ Bind(&entry_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700853 if (stack_adjust_ != 0) { // Fix up the frame.
854 __ DecreaseFrameSize(stack_adjust_);
855 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700856 // Pass exception object as argument.
857 // Don't care about preserving R0 as this call won't return.
Ian Rogers67375ac2011-09-14 00:55:44 -0700858 __ mov(R0, ShifterOperand(scratch_.AsCoreRegister()));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700859 // Set up call to Thread::Current()->pDeliverException.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700860 __ LoadFromOffset(kLoadWord, R12, TR, QUICK_ENTRYPOINT_OFFSET(4, pDeliverException).Int32Value());
Ian Rogers2c8f6532011-09-02 17:16:34 -0700861 __ blx(R12);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700862 // Call never returns.
Ian Rogers67375ac2011-09-14 00:55:44 -0700863 __ bkpt(0);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700864#undef __
Ian Rogers45a76cb2011-07-21 22:00:15 -0700865}
866
Dave Allison65fcc2c2014-04-28 13:45:27 -0700867
868static int LeadingZeros(uint32_t val) {
869 uint32_t alt;
870 int32_t n;
871 int32_t count;
872
873 count = 16;
874 n = 32;
875 do {
876 alt = val >> count;
877 if (alt != 0) {
878 n = n - count;
879 val = alt;
880 }
881 count >>= 1;
882 } while (count);
883 return n - val;
884}
885
886
887uint32_t ArmAssembler::ModifiedImmediate(uint32_t value) {
888 int32_t z_leading;
889 int32_t z_trailing;
890 uint32_t b0 = value & 0xff;
891
892 /* Note: case of value==0 must use 0:000:0:0000000 encoding */
893 if (value <= 0xFF)
894 return b0; // 0:000:a:bcdefgh.
895 if (value == ((b0 << 16) | b0))
896 return (0x1 << 12) | b0; /* 0:001:a:bcdefgh */
897 if (value == ((b0 << 24) | (b0 << 16) | (b0 << 8) | b0))
898 return (0x3 << 12) | b0; /* 0:011:a:bcdefgh */
899 b0 = (value >> 8) & 0xff;
900 if (value == ((b0 << 24) | (b0 << 8)))
901 return (0x2 << 12) | b0; /* 0:010:a:bcdefgh */
902 /* Can we do it with rotation? */
903 z_leading = LeadingZeros(value);
904 z_trailing = 32 - LeadingZeros(~value & (value - 1));
905 /* A run of eight or fewer active bits? */
906 if ((z_leading + z_trailing) < 24)
907 return kInvalidModifiedImmediate; /* No - bail */
908 /* left-justify the constant, discarding msb (known to be 1) */
909 value <<= z_leading + 1;
910 /* Create bcdefgh */
911 value >>= 25;
912
913 /* Put it all together */
914 uint32_t v = 8 + z_leading;
915
Andreas Gampec8ccf682014-09-29 20:07:43 -0700916 uint32_t i = (v & 16U /* 0b10000 */) >> 4;
917 uint32_t imm3 = (v >> 1) & 7U /* 0b111 */;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700918 uint32_t a = v & 1;
919 return value | i << 26 | imm3 << 12 | a << 7;
920}
921
Ian Rogers2c8f6532011-09-02 17:16:34 -0700922} // namespace arm
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700923} // namespace art