blob: 09d22703fe06c2a1bebc39ebb803bd4c69fec511 [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
Vladimir Marko80afd022015-05-19 18:08:00 +010019#include "base/bit_utils.h"
Elliott Hughes07ed66b2012-12-12 18:34:25 -080020#include "base/logging.h"
Ian Rogers166db042013-07-26 12:05:57 -070021#include "entrypoints/quick/quick_entrypoints.h"
Brian Carlstrom578bbdc2011-07-21 14:07:47 -070022#include "offsets.h"
Carl Shapiroe2d373e2011-07-25 15:20:06 -070023#include "thread.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 case kRegister:
93 if (is_shift_) {
Andreas Gampe849cc5e2014-11-18 13:46:46 -080094 uint32_t shift_type;
95 switch (shift_) {
96 case arm::Shift::ROR:
97 shift_type = static_cast<uint32_t>(shift_);
98 CHECK_NE(immed_, 0U);
99 break;
100 case arm::Shift::RRX:
101 shift_type = static_cast<uint32_t>(arm::Shift::ROR); // Same encoding as ROR.
102 CHECK_EQ(immed_, 0U);
103 break;
104 default:
105 shift_type = static_cast<uint32_t>(shift_);
106 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700107 // Shifted immediate or register.
108 if (rs_ == kNoRegister) {
109 // Immediate shift.
110 return immed_ << kShiftImmShift |
Andreas Gampe849cc5e2014-11-18 13:46:46 -0800111 shift_type << kShiftShift |
Dave Allison65fcc2c2014-04-28 13:45:27 -0700112 static_cast<uint32_t>(rm_);
113 } else {
114 // Register shift.
115 return static_cast<uint32_t>(rs_) << kShiftRegisterShift |
Andreas Gampe849cc5e2014-11-18 13:46:46 -0800116 shift_type << kShiftShift | (1 << 4) |
Dave Allison65fcc2c2014-04-28 13:45:27 -0700117 static_cast<uint32_t>(rm_);
118 }
119 } else {
120 // Simple register
121 return static_cast<uint32_t>(rm_);
Ian Rogersb033c752011-07-20 12:22:35 -0700122 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700123 default:
124 // Can't get here.
125 LOG(FATAL) << "Invalid shifter operand for ARM";
126 return 0;
Ian Rogersb033c752011-07-20 12:22:35 -0700127 }
128}
129
Dave Allison45fdb932014-06-25 12:37:10 -0700130uint32_t ShifterOperand::encodingThumb() const {
131 switch (type_) {
132 case kImmediate:
133 return immed_;
134 case kRegister:
135 if (is_shift_) {
136 // Shifted immediate or register.
137 if (rs_ == kNoRegister) {
138 // Immediate shift.
139 if (shift_ == RRX) {
140 // RRX is encoded as an ROR with imm 0.
141 return ROR << 4 | static_cast<uint32_t>(rm_);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700142 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700143 uint32_t imm3 = immed_ >> 2;
Andreas Gampec8ccf682014-09-29 20:07:43 -0700144 uint32_t imm2 = immed_ & 3U /* 0b11 */;
Dave Allison45fdb932014-06-25 12:37:10 -0700145
146 return imm3 << 12 | imm2 << 6 | shift_ << 4 |
147 static_cast<uint32_t>(rm_);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700148 }
149 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700150 LOG(FATAL) << "No register-shifted register instruction available in thumb";
151 return 0;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700152 }
Dave Allison45fdb932014-06-25 12:37:10 -0700153 } else {
154 // Simple register
155 return static_cast<uint32_t>(rm_);
156 }
Dave Allison45fdb932014-06-25 12:37:10 -0700157 default:
158 // Can't get here.
159 LOG(FATAL) << "Invalid shifter operand for thumb";
Andreas Gampe65b798e2015-04-06 09:35:22 -0700160 UNREACHABLE();
Ian Rogersb033c752011-07-20 12:22:35 -0700161 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700162}
163
Dave Allison65fcc2c2014-04-28 13:45:27 -0700164uint32_t Address::encodingArm() const {
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800165 CHECK(IsAbsoluteUint<12>(offset_));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700166 uint32_t encoding;
Dave Allison45fdb932014-06-25 12:37:10 -0700167 if (is_immed_offset_) {
168 if (offset_ < 0) {
169 encoding = (am_ ^ (1 << kUShift)) | -offset_; // Flip U to adjust sign.
170 } else {
171 encoding = am_ | offset_;
172 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700173 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700174 uint32_t shift = shift_;
175 if (shift == RRX) {
Andreas Gampe9f612ff2014-11-24 13:42:22 -0800176 CHECK_EQ(offset_, 0);
Dave Allison45fdb932014-06-25 12:37:10 -0700177 shift = ROR;
178 }
179 encoding = am_ | static_cast<uint32_t>(rm_) | shift << 5 | offset_ << 7 | B25;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700180 }
181 encoding |= static_cast<uint32_t>(rn_) << kRnShift;
182 return encoding;
183}
Ian Rogersb033c752011-07-20 12:22:35 -0700184
Dave Allison65fcc2c2014-04-28 13:45:27 -0700185
Dave Allison45fdb932014-06-25 12:37:10 -0700186uint32_t Address::encodingThumb(bool is_32bit) const {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700187 uint32_t encoding = 0;
Dave Allison45fdb932014-06-25 12:37:10 -0700188 if (is_immed_offset_) {
189 encoding = static_cast<uint32_t>(rn_) << 16;
190 // Check for the T3/T4 encoding.
191 // PUW must Offset for T3
192 // Convert ARM PU0W to PUW
193 // The Mode is in ARM encoding format which is:
194 // |P|U|0|W|
195 // we need this in thumb2 mode:
196 // |P|U|W|
Dave Allison65fcc2c2014-04-28 13:45:27 -0700197
Dave Allison45fdb932014-06-25 12:37:10 -0700198 uint32_t am = am_;
199 int32_t offset = offset_;
200 if (offset < 0) {
201 am ^= 1 << kUShift;
202 offset = -offset;
203 }
204 if (offset_ < 0 || (offset >= 0 && offset < 256 &&
Dave Allison65fcc2c2014-04-28 13:45:27 -0700205 am_ != Mode::Offset)) {
Dave Allison45fdb932014-06-25 12:37:10 -0700206 // T4 encoding.
207 uint32_t PUW = am >> 21; // Move down to bottom of word.
208 PUW = (PUW >> 1) | (PUW & 1); // Bits 3, 2 and 0.
209 // If P is 0 then W must be 1 (Different from ARM).
Andreas Gampec8ccf682014-09-29 20:07:43 -0700210 if ((PUW & 4U /* 0b100 */) == 0) {
211 PUW |= 1U /* 0b1 */;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700212 }
Dave Allison45fdb932014-06-25 12:37:10 -0700213 encoding |= B11 | PUW << 8 | offset;
214 } else {
215 // T3 encoding (also sets op1 to 0b01).
216 encoding |= B23 | offset_;
217 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700218 } else {
Dave Allison45fdb932014-06-25 12:37:10 -0700219 // Register offset, possibly shifted.
220 // Need to choose between encoding T1 (16 bit) or T2.
221 // Only Offset mode is supported. Shift must be LSL and the count
222 // is only 2 bits.
223 CHECK_EQ(shift_, LSL);
224 CHECK_LE(offset_, 4);
225 CHECK_EQ(am_, Offset);
226 bool is_t2 = is_32bit;
227 if (ArmAssembler::IsHighRegister(rn_) || ArmAssembler::IsHighRegister(rm_)) {
228 is_t2 = true;
229 } else if (offset_ != 0) {
230 is_t2 = true;
231 }
232 if (is_t2) {
233 encoding = static_cast<uint32_t>(rn_) << 16 | static_cast<uint32_t>(rm_) |
234 offset_ << 4;
235 } else {
236 encoding = static_cast<uint32_t>(rn_) << 3 | static_cast<uint32_t>(rm_) << 6;
237 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700238 }
239 return encoding;
240}
241
242// This is very like the ARM encoding except the offset is 10 bits.
243uint32_t Address::encodingThumbLdrdStrd() const {
Andreas Gampe2bcf9bf2015-01-29 09:56:07 -0800244 DCHECK(IsImmediate());
Dave Allison65fcc2c2014-04-28 13:45:27 -0700245 uint32_t encoding;
246 uint32_t am = am_;
247 // If P is 0 then W must be 1 (Different from ARM).
248 uint32_t PU1W = am_ >> 21; // Move down to bottom of word.
Andreas Gampec8ccf682014-09-29 20:07:43 -0700249 if ((PU1W & 8U /* 0b1000 */) == 0) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700250 am |= 1 << 21; // Set W bit.
251 }
252 if (offset_ < 0) {
253 int32_t off = -offset_;
254 CHECK_LT(off, 1024);
Andreas Gampec8ccf682014-09-29 20:07:43 -0700255 CHECK_EQ((off & 3 /* 0b11 */), 0); // Must be multiple of 4.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700256 encoding = (am ^ (1 << kUShift)) | off >> 2; // Flip U to adjust sign.
257 } else {
258 CHECK_LT(offset_, 1024);
Andreas Gampec8ccf682014-09-29 20:07:43 -0700259 CHECK_EQ((offset_ & 3 /* 0b11 */), 0); // Must be multiple of 4.
Dave Allison65fcc2c2014-04-28 13:45:27 -0700260 encoding = am | offset_ >> 2;
261 }
262 encoding |= static_cast<uint32_t>(rn_) << 16;
263 return encoding;
264}
265
266// Encoding for ARM addressing mode 3.
267uint32_t Address::encoding3() const {
268 const uint32_t offset_mask = (1 << 12) - 1;
269 uint32_t encoding = encodingArm();
270 uint32_t offset = encoding & offset_mask;
271 CHECK_LT(offset, 256u);
272 return (encoding & ~offset_mask) | ((offset & 0xf0) << 4) | (offset & 0xf);
273}
274
275// Encoding for vfp load/store addressing.
276uint32_t Address::vencoding() const {
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800277 CHECK(IsAbsoluteUint<10>(offset_)); // In the range -1020 to +1020.
278 CHECK_ALIGNED(offset_, 2); // Multiple of 4.
279
Dave Allison65fcc2c2014-04-28 13:45:27 -0700280 const uint32_t offset_mask = (1 << 12) - 1;
281 uint32_t encoding = encodingArm();
282 uint32_t offset = encoding & offset_mask;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700283 CHECK((am_ == Offset) || (am_ == NegOffset));
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800284 uint32_t vencoding_value = (encoding & (0xf << kRnShift)) | (offset >> 2);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700285 if (am_ == Offset) {
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800286 vencoding_value |= 1 << 23;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700287 }
Andreas Gampe277ccbd2014-11-03 21:36:10 -0800288 return vencoding_value;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700289}
290
291
292bool Address::CanHoldLoadOffsetArm(LoadOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700293 switch (type) {
294 case kLoadSignedByte:
295 case kLoadSignedHalfword:
296 case kLoadUnsignedHalfword:
297 case kLoadWordPair:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800298 return IsAbsoluteUint<8>(offset); // Addressing mode 3.
Ian Rogersb033c752011-07-20 12:22:35 -0700299 case kLoadUnsignedByte:
300 case kLoadWord:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800301 return IsAbsoluteUint<12>(offset); // Addressing mode 2.
Ian Rogersb033c752011-07-20 12:22:35 -0700302 case kLoadSWord:
303 case kLoadDWord:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800304 return IsAbsoluteUint<10>(offset); // VFP addressing mode.
Ian Rogersb033c752011-07-20 12:22:35 -0700305 default:
306 LOG(FATAL) << "UNREACHABLE";
Ian Rogers2c4257b2014-10-24 14:20:06 -0700307 UNREACHABLE();
Ian Rogersb033c752011-07-20 12:22:35 -0700308 }
309}
310
311
Dave Allison65fcc2c2014-04-28 13:45:27 -0700312bool Address::CanHoldStoreOffsetArm(StoreOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700313 switch (type) {
314 case kStoreHalfword:
315 case kStoreWordPair:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800316 return IsAbsoluteUint<8>(offset); // Addressing mode 3.
Ian Rogersb033c752011-07-20 12:22:35 -0700317 case kStoreByte:
318 case kStoreWord:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800319 return IsAbsoluteUint<12>(offset); // Addressing mode 2.
Ian Rogersb033c752011-07-20 12:22:35 -0700320 case kStoreSWord:
321 case kStoreDWord:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800322 return IsAbsoluteUint<10>(offset); // VFP addressing mode.
Ian Rogersb033c752011-07-20 12:22:35 -0700323 default:
324 LOG(FATAL) << "UNREACHABLE";
Ian Rogers2c4257b2014-10-24 14:20:06 -0700325 UNREACHABLE();
Ian Rogersb033c752011-07-20 12:22:35 -0700326 }
327}
328
Dave Allison65fcc2c2014-04-28 13:45:27 -0700329bool Address::CanHoldLoadOffsetThumb(LoadOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700330 switch (type) {
331 case kLoadSignedByte:
Ian Rogersb033c752011-07-20 12:22:35 -0700332 case kLoadSignedHalfword:
Ian Rogersb033c752011-07-20 12:22:35 -0700333 case kLoadUnsignedHalfword:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700334 case kLoadUnsignedByte:
Ian Rogersb033c752011-07-20 12:22:35 -0700335 case kLoadWord:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800336 return IsAbsoluteUint<12>(offset);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700337 case kLoadSWord:
338 case kLoadDWord:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800339 return IsAbsoluteUint<10>(offset); // VFP addressing mode.
Ian Rogersb033c752011-07-20 12:22:35 -0700340 case kLoadWordPair:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800341 return IsAbsoluteUint<10>(offset);
Ian Rogers2c4257b2014-10-24 14:20:06 -0700342 default:
Ian Rogersb033c752011-07-20 12:22:35 -0700343 LOG(FATAL) << "UNREACHABLE";
Ian Rogers2c4257b2014-10-24 14:20:06 -0700344 UNREACHABLE();
Ian Rogersb033c752011-07-20 12:22:35 -0700345 }
346}
347
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700348
Dave Allison65fcc2c2014-04-28 13:45:27 -0700349bool Address::CanHoldStoreOffsetThumb(StoreOperandType type, int offset) {
Ian Rogersb033c752011-07-20 12:22:35 -0700350 switch (type) {
Ian Rogersb033c752011-07-20 12:22:35 -0700351 case kStoreHalfword:
Dave Allison65fcc2c2014-04-28 13:45:27 -0700352 case kStoreByte:
Ian Rogersb033c752011-07-20 12:22:35 -0700353 case kStoreWord:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800354 return IsAbsoluteUint<12>(offset);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700355 case kStoreSWord:
356 case kStoreDWord:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800357 return IsAbsoluteUint<10>(offset); // VFP addressing mode.
Ian Rogersb033c752011-07-20 12:22:35 -0700358 case kStoreWordPair:
Andreas Gampeab1eb0d2015-02-13 19:23:55 -0800359 return IsAbsoluteUint<10>(offset);
Ian Rogers2c4257b2014-10-24 14:20:06 -0700360 default:
Ian Rogersb033c752011-07-20 12:22:35 -0700361 LOG(FATAL) << "UNREACHABLE";
Ian Rogers2c4257b2014-10-24 14:20:06 -0700362 UNREACHABLE();
Ian Rogersb033c752011-07-20 12:22:35 -0700363 }
364}
365
Dave Allison65fcc2c2014-04-28 13:45:27 -0700366void ArmAssembler::Pad(uint32_t bytes) {
367 AssemblerBuffer::EnsureCapacity ensured(&buffer_);
368 for (uint32_t i = 0; i < bytes; ++i) {
Ian Rogers13735952014-10-08 12:43:28 -0700369 buffer_.Emit<uint8_t>(0);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700370 }
Carl Shapiro9b9ba282011-08-14 15:30:39 -0700371}
372
David Srbeckydd973932015-04-07 20:29:48 +0100373static dwarf::Reg DWARFReg(Register reg) {
374 return dwarf::Reg::ArmCore(static_cast<int>(reg));
375}
376
377static dwarf::Reg DWARFReg(SRegister reg) {
378 return dwarf::Reg::ArmFp(static_cast<int>(reg));
379}
380
Mathieu Chartiere401d142015-04-22 13:56:20 -0700381constexpr size_t kFramePointerSize = kArmPointerSize;
Ian Rogers790a6b72014-04-01 10:36:00 -0700382
Ian Rogers2c8f6532011-09-02 17:16:34 -0700383void ArmAssembler::BuildFrame(size_t frame_size, ManagedRegister method_reg,
Ian Rogersb5d09b22012-03-06 22:14:17 -0800384 const std::vector<ManagedRegister>& callee_save_regs,
Dmitry Petrochenkofca82202014-03-21 11:21:37 +0700385 const ManagedRegisterEntrySpills& entry_spills) {
David Srbeckydd973932015-04-07 20:29:48 +0100386 CHECK_EQ(buffer_.Size(), 0U); // Nothing emitted yet
Elliott Hughes06b37d92011-10-16 11:51:29 -0700387 CHECK_ALIGNED(frame_size, kStackAlignment);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700388 CHECK_EQ(R0, method_reg.AsArm().AsCoreRegister());
Ian Rogersbdb03912011-09-14 00:55:44 -0700389
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700390 // Push callee saves and link register.
David Srbeckydd973932015-04-07 20:29:48 +0100391 RegList core_spill_mask = 1 << LR;
392 uint32_t fp_spill_mask = 0;
393 for (const ManagedRegister& reg : callee_save_regs) {
394 if (reg.AsArm().IsCoreRegister()) {
395 core_spill_mask |= 1 << reg.AsArm().AsCoreRegister();
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100396 } else {
David Srbeckydd973932015-04-07 20:29:48 +0100397 fp_spill_mask |= 1 << reg.AsArm().AsSRegister();
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100398 }
Ian Rogers0d666d82011-08-14 16:03:46 -0700399 }
David Srbeckydd973932015-04-07 20:29:48 +0100400 PushList(core_spill_mask);
401 cfi_.AdjustCFAOffset(POPCOUNT(core_spill_mask) * kFramePointerSize);
402 cfi_.RelOffsetForMany(DWARFReg(Register(0)), 0, core_spill_mask, kFramePointerSize);
403 if (fp_spill_mask != 0) {
404 vpushs(SRegister(CTZ(fp_spill_mask)), POPCOUNT(fp_spill_mask));
405 cfi_.AdjustCFAOffset(POPCOUNT(fp_spill_mask) * kFramePointerSize);
406 cfi_.RelOffsetForMany(DWARFReg(SRegister(0)), 0, fp_spill_mask, kFramePointerSize);
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100407 }
Ian Rogersbdb03912011-09-14 00:55:44 -0700408
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700409 // Increase frame to required size.
David Srbeckydd973932015-04-07 20:29:48 +0100410 int pushed_values = POPCOUNT(core_spill_mask) + POPCOUNT(fp_spill_mask);
Ian Rogers790a6b72014-04-01 10:36:00 -0700411 CHECK_GT(frame_size, pushed_values * kFramePointerSize); // Must at least have space for Method*.
David Srbeckydd973932015-04-07 20:29:48 +0100412 IncreaseFrameSize(frame_size - pushed_values * kFramePointerSize); // handles CFI as well.
Ian Rogersbdb03912011-09-14 00:55:44 -0700413
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700414 // Write out Method*.
Ian Rogersbdb03912011-09-14 00:55:44 -0700415 StoreToOffset(kStoreWord, R0, SP, 0);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700416
417 // Write out entry spills.
Mathieu Chartiere401d142015-04-22 13:56:20 -0700418 int32_t offset = frame_size + kFramePointerSize;
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700419 for (size_t i = 0; i < entry_spills.size(); ++i) {
Zheng Xu5667fdb2014-10-23 18:29:55 +0800420 ArmManagedRegister reg = entry_spills.at(i).AsArm();
421 if (reg.IsNoRegister()) {
422 // only increment stack offset.
423 ManagedRegisterSpill spill = entry_spills.at(i);
424 offset += spill.getSize();
425 } else if (reg.IsCoreRegister()) {
426 StoreToOffset(kStoreWord, reg.AsCoreRegister(), SP, offset);
427 offset += 4;
428 } else if (reg.IsSRegister()) {
429 StoreSToOffset(reg.AsSRegister(), SP, offset);
430 offset += 4;
431 } else if (reg.IsDRegister()) {
432 StoreDToOffset(reg.AsDRegister(), SP, offset);
433 offset += 8;
434 }
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700435 }
Ian Rogersb033c752011-07-20 12:22:35 -0700436}
437
Ian Rogers2c8f6532011-09-02 17:16:34 -0700438void ArmAssembler::RemoveFrame(size_t frame_size,
Ian Rogersbdb03912011-09-14 00:55:44 -0700439 const std::vector<ManagedRegister>& callee_save_regs) {
Elliott Hughes06b37d92011-10-16 11:51:29 -0700440 CHECK_ALIGNED(frame_size, kStackAlignment);
David Srbeckydd973932015-04-07 20:29:48 +0100441 cfi_.RememberState();
442
Dave Allison65fcc2c2014-04-28 13:45:27 -0700443 // Compute callee saves to pop and PC.
David Srbeckydd973932015-04-07 20:29:48 +0100444 RegList core_spill_mask = 1 << PC;
445 uint32_t fp_spill_mask = 0;
446 for (const ManagedRegister& reg : callee_save_regs) {
447 if (reg.AsArm().IsCoreRegister()) {
448 core_spill_mask |= 1 << reg.AsArm().AsCoreRegister();
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100449 } else {
David Srbeckydd973932015-04-07 20:29:48 +0100450 fp_spill_mask |= 1 << reg.AsArm().AsSRegister();
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100451 }
452 }
453
Dave Allison65fcc2c2014-04-28 13:45:27 -0700454 // Decrease frame to start of callee saves.
David Srbeckydd973932015-04-07 20:29:48 +0100455 int pop_values = POPCOUNT(core_spill_mask) + POPCOUNT(fp_spill_mask);
Ian Rogers790a6b72014-04-01 10:36:00 -0700456 CHECK_GT(frame_size, pop_values * kFramePointerSize);
David Srbeckydd973932015-04-07 20:29:48 +0100457 DecreaseFrameSize(frame_size - (pop_values * kFramePointerSize)); // handles CFI as well.
Ian Rogersbdb03912011-09-14 00:55:44 -0700458
David Srbeckydd973932015-04-07 20:29:48 +0100459 if (fp_spill_mask != 0) {
460 vpops(SRegister(CTZ(fp_spill_mask)), POPCOUNT(fp_spill_mask));
461 cfi_.AdjustCFAOffset(-kFramePointerSize * POPCOUNT(fp_spill_mask));
462 cfi_.RestoreMany(DWARFReg(SRegister(0)), fp_spill_mask);
Sebastien Hertz7cde48c2015-01-20 16:06:43 +0100463 }
464
Dave Allison65fcc2c2014-04-28 13:45:27 -0700465 // Pop callee saves and PC.
David Srbeckydd973932015-04-07 20:29:48 +0100466 PopList(core_spill_mask);
467
468 // The CFI should be restored for any code that follows the exit block.
469 cfi_.RestoreState();
470 cfi_.DefCFAOffset(frame_size);
Ian Rogers0d666d82011-08-14 16:03:46 -0700471}
472
Ian Rogers2c8f6532011-09-02 17:16:34 -0700473void ArmAssembler::IncreaseFrameSize(size_t adjust) {
Ian Rogersb033c752011-07-20 12:22:35 -0700474 AddConstant(SP, -adjust);
David Srbeckydd973932015-04-07 20:29:48 +0100475 cfi_.AdjustCFAOffset(adjust);
Ian Rogersb033c752011-07-20 12:22:35 -0700476}
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);
David Srbeckydd973932015-04-07 20:29:48 +0100480 cfi_.AdjustCFAOffset(-adjust);
Ian Rogersb033c752011-07-20 12:22:35 -0700481}
482
Ian Rogers2c8f6532011-09-02 17:16:34 -0700483void ArmAssembler::Store(FrameOffset dest, ManagedRegister msrc, size_t size) {
484 ArmManagedRegister src = msrc.AsArm();
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700485 if (src.IsNoRegister()) {
486 CHECK_EQ(0u, size);
487 } else if (src.IsCoreRegister()) {
Ian Rogersb033c752011-07-20 12:22:35 -0700488 CHECK_EQ(4u, size);
489 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700490 } else if (src.IsRegisterPair()) {
491 CHECK_EQ(8u, size);
492 StoreToOffset(kStoreWord, src.AsRegisterPairLow(), SP, dest.Int32Value());
493 StoreToOffset(kStoreWord, src.AsRegisterPairHigh(),
494 SP, dest.Int32Value() + 4);
495 } else if (src.IsSRegister()) {
496 StoreSToOffset(src.AsSRegister(), SP, dest.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700497 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700498 CHECK(src.IsDRegister()) << src;
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700499 StoreDToOffset(src.AsDRegister(), SP, dest.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700500 }
501}
502
Ian Rogers2c8f6532011-09-02 17:16:34 -0700503void ArmAssembler::StoreRef(FrameOffset dest, ManagedRegister msrc) {
504 ArmManagedRegister src = msrc.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700505 CHECK(src.IsCoreRegister()) << src;
Ian Rogersb033c752011-07-20 12:22:35 -0700506 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
507}
508
Ian Rogers2c8f6532011-09-02 17:16:34 -0700509void ArmAssembler::StoreRawPtr(FrameOffset dest, ManagedRegister msrc) {
510 ArmManagedRegister src = msrc.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700511 CHECK(src.IsCoreRegister()) << src;
Ian Rogersdf20fe02011-07-20 20:34:16 -0700512 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
513}
514
Ian Rogers2c8f6532011-09-02 17:16:34 -0700515void ArmAssembler::StoreSpanning(FrameOffset dest, ManagedRegister msrc,
516 FrameOffset in_off, ManagedRegister mscratch) {
517 ArmManagedRegister src = msrc.AsArm();
518 ArmManagedRegister scratch = mscratch.AsArm();
Ian Rogers7a99c112011-09-07 12:48:27 -0700519 StoreToOffset(kStoreWord, src.AsCoreRegister(), SP, dest.Int32Value());
520 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, in_off.Int32Value());
521 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + 4);
522}
523
Ian Rogers2c8f6532011-09-02 17:16:34 -0700524void ArmAssembler::CopyRef(FrameOffset dest, FrameOffset src,
525 ManagedRegister mscratch) {
526 ArmManagedRegister scratch = mscratch.AsArm();
Ian Rogersb033c752011-07-20 12:22:35 -0700527 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
528 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
529}
530
Mathieu Chartiere401d142015-04-22 13:56:20 -0700531void ArmAssembler::LoadRef(ManagedRegister mdest, ManagedRegister base, MemberOffset offs,
Roland Levillain4d027112015-07-01 15:41:14 +0100532 bool unpoison_reference) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700533 ArmManagedRegister dst = mdest.AsArm();
534 CHECK(dst.IsCoreRegister() && dst.IsCoreRegister()) << dst;
535 LoadFromOffset(kLoadWord, dst.AsCoreRegister(),
Ian Rogers2c8f6532011-09-02 17:16:34 -0700536 base.AsArm().AsCoreRegister(), offs.Int32Value());
Roland Levillain4d027112015-07-01 15:41:14 +0100537 if (unpoison_reference) {
538 MaybeUnpoisonHeapReference(dst.AsCoreRegister());
Hiroshi Yamauchie63a7452014-02-27 14:44:36 -0800539 }
Ian Rogersb033c752011-07-20 12:22:35 -0700540}
541
Ian Rogers2c8f6532011-09-02 17:16:34 -0700542void ArmAssembler::LoadRef(ManagedRegister mdest, FrameOffset src) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700543 ArmManagedRegister dst = mdest.AsArm();
544 CHECK(dst.IsCoreRegister()) << dst;
545 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), SP, src.Int32Value());
Elliott Hughes362f9bc2011-10-17 18:56:41 -0700546}
Ian Rogers2c8f6532011-09-02 17:16:34 -0700547
548void ArmAssembler::LoadRawPtr(ManagedRegister mdest, ManagedRegister base,
Ian Rogersa04d3972011-08-17 11:33:44 -0700549 Offset offs) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700550 ArmManagedRegister dst = mdest.AsArm();
551 CHECK(dst.IsCoreRegister() && dst.IsCoreRegister()) << dst;
552 LoadFromOffset(kLoadWord, dst.AsCoreRegister(),
Ian Rogers2c8f6532011-09-02 17:16:34 -0700553 base.AsArm().AsCoreRegister(), offs.Int32Value());
Ian Rogersa04d3972011-08-17 11:33:44 -0700554}
555
Ian Rogers2c8f6532011-09-02 17:16:34 -0700556void ArmAssembler::StoreImmediateToFrame(FrameOffset dest, uint32_t imm,
557 ManagedRegister mscratch) {
558 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700559 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700560 LoadImmediate(scratch.AsCoreRegister(), imm);
561 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
562}
563
Ian Rogersdd7624d2014-03-14 17:43:00 -0700564void ArmAssembler::StoreImmediateToThread32(ThreadOffset<4> dest, uint32_t imm,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700565 ManagedRegister mscratch) {
566 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700567 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700568 LoadImmediate(scratch.AsCoreRegister(), imm);
569 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), TR, dest.Int32Value());
570}
571
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700572static void EmitLoad(ArmAssembler* assembler, ManagedRegister m_dst,
573 Register src_register, int32_t src_offset, size_t size) {
574 ArmManagedRegister dst = m_dst.AsArm();
575 if (dst.IsNoRegister()) {
576 CHECK_EQ(0u, size) << dst;
577 } else if (dst.IsCoreRegister()) {
578 CHECK_EQ(4u, size) << dst;
579 assembler->LoadFromOffset(kLoadWord, dst.AsCoreRegister(), src_register, src_offset);
580 } else if (dst.IsRegisterPair()) {
581 CHECK_EQ(8u, size) << dst;
582 assembler->LoadFromOffset(kLoadWord, dst.AsRegisterPairLow(), src_register, src_offset);
583 assembler->LoadFromOffset(kLoadWord, dst.AsRegisterPairHigh(), src_register, src_offset + 4);
584 } else if (dst.IsSRegister()) {
585 assembler->LoadSFromOffset(dst.AsSRegister(), src_register, src_offset);
Ian Rogersb033c752011-07-20 12:22:35 -0700586 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700587 CHECK(dst.IsDRegister()) << dst;
588 assembler->LoadDFromOffset(dst.AsDRegister(), src_register, src_offset);
Ian Rogersb033c752011-07-20 12:22:35 -0700589 }
590}
591
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700592void ArmAssembler::Load(ManagedRegister m_dst, FrameOffset src, size_t size) {
593 return EmitLoad(this, m_dst, SP, src.Int32Value(), size);
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700594}
595
Ian Rogersdd7624d2014-03-14 17:43:00 -0700596void ArmAssembler::LoadFromThread32(ManagedRegister m_dst, ThreadOffset<4> src, size_t size) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700597 return EmitLoad(this, m_dst, TR, src.Int32Value(), size);
598}
599
Ian Rogersdd7624d2014-03-14 17:43:00 -0700600void ArmAssembler::LoadRawPtrFromThread32(ManagedRegister m_dst, ThreadOffset<4> offs) {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700601 ArmManagedRegister dst = m_dst.AsArm();
602 CHECK(dst.IsCoreRegister()) << dst;
603 LoadFromOffset(kLoadWord, dst.AsCoreRegister(), TR, offs.Int32Value());
Ian Rogersb033c752011-07-20 12:22:35 -0700604}
605
Ian Rogersdd7624d2014-03-14 17:43:00 -0700606void ArmAssembler::CopyRawPtrFromThread32(FrameOffset fr_offs,
607 ThreadOffset<4> thr_offs,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700608 ManagedRegister mscratch) {
609 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700610 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700611 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
612 TR, thr_offs.Int32Value());
613 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
614 SP, fr_offs.Int32Value());
615}
616
Ian Rogersdd7624d2014-03-14 17:43:00 -0700617void ArmAssembler::CopyRawPtrToThread32(ThreadOffset<4> thr_offs,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700618 FrameOffset fr_offs,
619 ManagedRegister mscratch) {
620 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700621 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700622 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
623 SP, fr_offs.Int32Value());
624 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
625 TR, thr_offs.Int32Value());
626}
627
Ian Rogersdd7624d2014-03-14 17:43:00 -0700628void ArmAssembler::StoreStackOffsetToThread32(ThreadOffset<4> thr_offs,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700629 FrameOffset fr_offs,
630 ManagedRegister mscratch) {
631 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700632 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700633 AddConstant(scratch.AsCoreRegister(), SP, fr_offs.Int32Value(), AL);
634 StoreToOffset(kStoreWord, scratch.AsCoreRegister(),
635 TR, thr_offs.Int32Value());
636}
637
Ian Rogersdd7624d2014-03-14 17:43:00 -0700638void ArmAssembler::StoreStackPointerToThread32(ThreadOffset<4> thr_offs) {
Ian Rogers45a76cb2011-07-21 22:00:15 -0700639 StoreToOffset(kStoreWord, SP, TR, thr_offs.Int32Value());
640}
641
jeffhao58136ca2012-05-24 13:40:11 -0700642void ArmAssembler::SignExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
643 UNIMPLEMENTED(FATAL) << "no sign extension necessary for arm";
644}
645
jeffhaocee4d0c2012-06-15 14:42:01 -0700646void ArmAssembler::ZeroExtend(ManagedRegister /*mreg*/, size_t /*size*/) {
647 UNIMPLEMENTED(FATAL) << "no zero extension necessary for arm";
648}
649
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700650void ArmAssembler::Move(ManagedRegister m_dst, ManagedRegister m_src, size_t /*size*/) {
651 ArmManagedRegister dst = m_dst.AsArm();
652 ArmManagedRegister src = m_src.AsArm();
653 if (!dst.Equals(src)) {
654 if (dst.IsCoreRegister()) {
655 CHECK(src.IsCoreRegister()) << src;
656 mov(dst.AsCoreRegister(), ShifterOperand(src.AsCoreRegister()));
657 } else if (dst.IsDRegister()) {
658 CHECK(src.IsDRegister()) << src;
659 vmovd(dst.AsDRegister(), src.AsDRegister());
660 } else if (dst.IsSRegister()) {
661 CHECK(src.IsSRegister()) << src;
662 vmovs(dst.AsSRegister(), src.AsSRegister());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700663 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700664 CHECK(dst.IsRegisterPair()) << dst;
665 CHECK(src.IsRegisterPair()) << src;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700666 // Ensure that the first move doesn't clobber the input of the second.
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700667 if (src.AsRegisterPairHigh() != dst.AsRegisterPairLow()) {
668 mov(dst.AsRegisterPairLow(), ShifterOperand(src.AsRegisterPairLow()));
669 mov(dst.AsRegisterPairHigh(), ShifterOperand(src.AsRegisterPairHigh()));
Ian Rogers7a99c112011-09-07 12:48:27 -0700670 } else {
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700671 mov(dst.AsRegisterPairHigh(), ShifterOperand(src.AsRegisterPairHigh()));
672 mov(dst.AsRegisterPairLow(), ShifterOperand(src.AsRegisterPairLow()));
Ian Rogers7a99c112011-09-07 12:48:27 -0700673 }
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700674 }
Ian Rogersb033c752011-07-20 12:22:35 -0700675 }
676}
677
Ian Rogersdc51b792011-09-22 20:41:37 -0700678void ArmAssembler::Copy(FrameOffset dest, FrameOffset src, ManagedRegister mscratch, size_t size) {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700679 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700680 CHECK(scratch.IsCoreRegister()) << scratch;
681 CHECK(size == 4 || size == 8) << size;
Ian Rogersb033c752011-07-20 12:22:35 -0700682 if (size == 4) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700683 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
684 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
Shih-wei Liao5381cf92011-07-27 00:28:04 -0700685 } else if (size == 8) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700686 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value());
687 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value());
688 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP, src.Int32Value() + 4);
689 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, dest.Int32Value() + 4);
Ian Rogersb033c752011-07-20 12:22:35 -0700690 }
691}
692
Ian Rogersdc51b792011-09-22 20:41:37 -0700693void ArmAssembler::Copy(FrameOffset dest, ManagedRegister src_base, Offset src_offset,
694 ManagedRegister mscratch, size_t size) {
695 Register scratch = mscratch.AsArm().AsCoreRegister();
696 CHECK_EQ(size, 4u);
697 LoadFromOffset(kLoadWord, scratch, src_base.AsArm().AsCoreRegister(), src_offset.Int32Value());
698 StoreToOffset(kStoreWord, scratch, SP, dest.Int32Value());
699}
700
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700701void ArmAssembler::Copy(ManagedRegister dest_base, Offset dest_offset, FrameOffset src,
702 ManagedRegister mscratch, size_t size) {
703 Register scratch = mscratch.AsArm().AsCoreRegister();
704 CHECK_EQ(size, 4u);
705 LoadFromOffset(kLoadWord, scratch, SP, src.Int32Value());
706 StoreToOffset(kStoreWord, scratch, dest_base.AsArm().AsCoreRegister(), dest_offset.Int32Value());
707}
708
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700709void ArmAssembler::Copy(FrameOffset /*dst*/, FrameOffset /*src_base*/, Offset /*src_offset*/,
710 ManagedRegister /*mscratch*/, size_t /*size*/) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700711 UNIMPLEMENTED(FATAL);
712}
713
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700714void ArmAssembler::Copy(ManagedRegister dest, Offset dest_offset,
715 ManagedRegister src, Offset src_offset,
716 ManagedRegister mscratch, size_t size) {
Ian Rogersdc51b792011-09-22 20:41:37 -0700717 CHECK_EQ(size, 4u);
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700718 Register scratch = mscratch.AsArm().AsCoreRegister();
719 LoadFromOffset(kLoadWord, scratch, src.AsArm().AsCoreRegister(), src_offset.Int32Value());
720 StoreToOffset(kStoreWord, scratch, dest.AsArm().AsCoreRegister(), dest_offset.Int32Value());
721}
722
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700723void ArmAssembler::Copy(FrameOffset /*dst*/, Offset /*dest_offset*/, FrameOffset /*src*/, Offset /*src_offset*/,
724 ManagedRegister /*scratch*/, size_t /*size*/) {
Ian Rogers5a7a74a2011-09-26 16:32:29 -0700725 UNIMPLEMENTED(FATAL);
Ian Rogersdc51b792011-09-22 20:41:37 -0700726}
727
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700728void ArmAssembler::CreateHandleScopeEntry(ManagedRegister mout_reg,
729 FrameOffset handle_scope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700730 ManagedRegister min_reg, bool null_allowed) {
731 ArmManagedRegister out_reg = mout_reg.AsArm();
732 ArmManagedRegister in_reg = min_reg.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700733 CHECK(in_reg.IsNoRegister() || in_reg.IsCoreRegister()) << in_reg;
734 CHECK(out_reg.IsCoreRegister()) << out_reg;
Ian Rogersb033c752011-07-20 12:22:35 -0700735 if (null_allowed) {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700736 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
737 // the address in the handle scope holding the reference.
Ian Rogersb033c752011-07-20 12:22:35 -0700738 // e.g. out_reg = (handle == 0) ? 0 : (SP+handle_offset)
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700739 if (in_reg.IsNoRegister()) {
740 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700741 SP, handle_scope_offset.Int32Value());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700742 in_reg = out_reg;
743 }
Ian Rogersb033c752011-07-20 12:22:35 -0700744 cmp(in_reg.AsCoreRegister(), ShifterOperand(0));
745 if (!out_reg.Equals(in_reg)) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700746 it(EQ, kItElse);
Ian Rogersb033c752011-07-20 12:22:35 -0700747 LoadImmediate(out_reg.AsCoreRegister(), 0, EQ);
Dave Allison65fcc2c2014-04-28 13:45:27 -0700748 } else {
749 it(NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700750 }
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700751 AddConstant(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700752 } else {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700753 AddConstant(out_reg.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), AL);
Ian Rogersb033c752011-07-20 12:22:35 -0700754 }
755}
756
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700757void ArmAssembler::CreateHandleScopeEntry(FrameOffset out_off,
758 FrameOffset handle_scope_offset,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700759 ManagedRegister mscratch,
760 bool null_allowed) {
761 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700762 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700763 if (null_allowed) {
764 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(), SP,
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700765 handle_scope_offset.Int32Value());
766 // Null values get a handle scope entry value of 0. Otherwise, the handle scope entry is
767 // the address in the handle scope holding the reference.
768 // e.g. scratch = (scratch == 0) ? 0 : (SP+handle_scope_offset)
Ian Rogersb033c752011-07-20 12:22:35 -0700769 cmp(scratch.AsCoreRegister(), ShifterOperand(0));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700770 it(NE);
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700771 AddConstant(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700772 } else {
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700773 AddConstant(scratch.AsCoreRegister(), SP, handle_scope_offset.Int32Value(), AL);
Ian Rogersb033c752011-07-20 12:22:35 -0700774 }
775 StoreToOffset(kStoreWord, scratch.AsCoreRegister(), SP, out_off.Int32Value());
776}
777
Mathieu Chartiereb8167a2014-05-07 15:43:14 -0700778void ArmAssembler::LoadReferenceFromHandleScope(ManagedRegister mout_reg,
Ian Rogers2c8f6532011-09-02 17:16:34 -0700779 ManagedRegister min_reg) {
780 ArmManagedRegister out_reg = mout_reg.AsArm();
781 ArmManagedRegister in_reg = min_reg.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700782 CHECK(out_reg.IsCoreRegister()) << out_reg;
783 CHECK(in_reg.IsCoreRegister()) << in_reg;
Ian Rogersb033c752011-07-20 12:22:35 -0700784 Label null_arg;
785 if (!out_reg.Equals(in_reg)) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700786 LoadImmediate(out_reg.AsCoreRegister(), 0, EQ); // TODO: why EQ?
Ian Rogersb033c752011-07-20 12:22:35 -0700787 }
788 cmp(in_reg.AsCoreRegister(), ShifterOperand(0));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700789 it(NE);
Ian Rogersdf20fe02011-07-20 20:34:16 -0700790 LoadFromOffset(kLoadWord, out_reg.AsCoreRegister(),
791 in_reg.AsCoreRegister(), 0, NE);
Ian Rogersb033c752011-07-20 12:22:35 -0700792}
793
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700794void ArmAssembler::VerifyObject(ManagedRegister /*src*/, bool /*could_be_null*/) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700795 // TODO: not validating references.
Ian Rogersb033c752011-07-20 12:22:35 -0700796}
797
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700798void ArmAssembler::VerifyObject(FrameOffset /*src*/, bool /*could_be_null*/) {
Dave Allison65fcc2c2014-04-28 13:45:27 -0700799 // TODO: not validating references.
Ian Rogersb033c752011-07-20 12:22:35 -0700800}
801
Ian Rogers2c8f6532011-09-02 17:16:34 -0700802void ArmAssembler::Call(ManagedRegister mbase, Offset offset,
803 ManagedRegister mscratch) {
804 ArmManagedRegister base = mbase.AsArm();
805 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700806 CHECK(base.IsCoreRegister()) << base;
807 CHECK(scratch.IsCoreRegister()) << scratch;
Ian Rogersb033c752011-07-20 12:22:35 -0700808 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
809 base.AsCoreRegister(), offset.Int32Value());
810 blx(scratch.AsCoreRegister());
Dave Allison65fcc2c2014-04-28 13:45:27 -0700811 // TODO: place reference map on call.
Ian Rogersb033c752011-07-20 12:22:35 -0700812}
813
Ian Rogers2c8f6532011-09-02 17:16:34 -0700814void ArmAssembler::Call(FrameOffset base, Offset offset,
815 ManagedRegister mscratch) {
816 ArmManagedRegister scratch = mscratch.AsArm();
Elliott Hughesbf2739d2012-05-21 14:30:16 -0700817 CHECK(scratch.IsCoreRegister()) << scratch;
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700818 // Call *(*(SP + base) + offset)
819 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
820 SP, base.Int32Value());
821 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
822 scratch.AsCoreRegister(), offset.Int32Value());
823 blx(scratch.AsCoreRegister());
824 // TODO: place reference map on call
825}
826
Ian Rogersdd7624d2014-03-14 17:43:00 -0700827void ArmAssembler::CallFromThread32(ThreadOffset<4> /*offset*/, ManagedRegister /*scratch*/) {
Ian Rogersbdb03912011-09-14 00:55:44 -0700828 UNIMPLEMENTED(FATAL);
829}
830
Ian Rogers2c8f6532011-09-02 17:16:34 -0700831void ArmAssembler::GetCurrentThread(ManagedRegister tr) {
832 mov(tr.AsArm().AsCoreRegister(), ShifterOperand(TR));
Shih-wei Liao668512a2011-09-01 14:18:34 -0700833}
834
Ian Rogers2c8f6532011-09-02 17:16:34 -0700835void ArmAssembler::GetCurrentThread(FrameOffset offset,
Elliott Hughes1bac54f2012-03-16 12:48:31 -0700836 ManagedRegister /*scratch*/) {
Shih-wei Liao668512a2011-09-01 14:18:34 -0700837 StoreToOffset(kStoreWord, TR, SP, offset.Int32Value(), AL);
838}
839
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700840void ArmAssembler::ExceptionPoll(ManagedRegister mscratch, size_t stack_adjust) {
Ian Rogers2c8f6532011-09-02 17:16:34 -0700841 ArmManagedRegister scratch = mscratch.AsArm();
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700842 ArmExceptionSlowPath* slow = new ArmExceptionSlowPath(scratch, stack_adjust);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700843 buffer_.EnqueueSlowPath(slow);
844 LoadFromOffset(kLoadWord, scratch.AsCoreRegister(),
Ian Rogersdd7624d2014-03-14 17:43:00 -0700845 TR, Thread::ExceptionOffset<4>().Int32Value());
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700846 cmp(scratch.AsCoreRegister(), ShifterOperand(0));
847 b(slow->Entry(), NE);
Carl Shapiroe2d373e2011-07-25 15:20:06 -0700848}
849
Ian Rogers2c8f6532011-09-02 17:16:34 -0700850void ArmExceptionSlowPath::Emit(Assembler* sasm) {
851 ArmAssembler* sp_asm = down_cast<ArmAssembler*>(sasm);
852#define __ sp_asm->
853 __ Bind(&entry_);
Ian Rogers00f7d0e2012-07-19 15:28:27 -0700854 if (stack_adjust_ != 0) { // Fix up the frame.
855 __ DecreaseFrameSize(stack_adjust_);
856 }
Dave Allison65fcc2c2014-04-28 13:45:27 -0700857 // Pass exception object as argument.
858 // Don't care about preserving R0 as this call won't return.
Ian Rogers67375ac2011-09-14 00:55:44 -0700859 __ mov(R0, ShifterOperand(scratch_.AsCoreRegister()));
Dave Allison65fcc2c2014-04-28 13:45:27 -0700860 // Set up call to Thread::Current()->pDeliverException.
Ian Rogersdd7624d2014-03-14 17:43:00 -0700861 __ LoadFromOffset(kLoadWord, R12, TR, QUICK_ENTRYPOINT_OFFSET(4, pDeliverException).Int32Value());
Ian Rogers2c8f6532011-09-02 17:16:34 -0700862 __ blx(R12);
Ian Rogers2c8f6532011-09-02 17:16:34 -0700863#undef __
Ian Rogers45a76cb2011-07-21 22:00:15 -0700864}
865
Dave Allison65fcc2c2014-04-28 13:45:27 -0700866
867static int LeadingZeros(uint32_t val) {
868 uint32_t alt;
869 int32_t n;
870 int32_t count;
871
872 count = 16;
873 n = 32;
874 do {
875 alt = val >> count;
876 if (alt != 0) {
877 n = n - count;
878 val = alt;
879 }
880 count >>= 1;
881 } while (count);
882 return n - val;
883}
884
885
886uint32_t ArmAssembler::ModifiedImmediate(uint32_t value) {
887 int32_t z_leading;
888 int32_t z_trailing;
889 uint32_t b0 = value & 0xff;
890
891 /* Note: case of value==0 must use 0:000:0:0000000 encoding */
892 if (value <= 0xFF)
893 return b0; // 0:000:a:bcdefgh.
894 if (value == ((b0 << 16) | b0))
895 return (0x1 << 12) | b0; /* 0:001:a:bcdefgh */
896 if (value == ((b0 << 24) | (b0 << 16) | (b0 << 8) | b0))
897 return (0x3 << 12) | b0; /* 0:011:a:bcdefgh */
898 b0 = (value >> 8) & 0xff;
899 if (value == ((b0 << 24) | (b0 << 8)))
900 return (0x2 << 12) | b0; /* 0:010:a:bcdefgh */
901 /* Can we do it with rotation? */
902 z_leading = LeadingZeros(value);
903 z_trailing = 32 - LeadingZeros(~value & (value - 1));
904 /* A run of eight or fewer active bits? */
905 if ((z_leading + z_trailing) < 24)
906 return kInvalidModifiedImmediate; /* No - bail */
907 /* left-justify the constant, discarding msb (known to be 1) */
908 value <<= z_leading + 1;
909 /* Create bcdefgh */
910 value >>= 25;
911
912 /* Put it all together */
913 uint32_t v = 8 + z_leading;
914
Andreas Gampec8ccf682014-09-29 20:07:43 -0700915 uint32_t i = (v & 16U /* 0b10000 */) >> 4;
916 uint32_t imm3 = (v >> 1) & 7U /* 0b111 */;
Dave Allison65fcc2c2014-04-28 13:45:27 -0700917 uint32_t a = v & 1;
918 return value | i << 26 | imm3 << 12 | a << 7;
919}
920
Ian Rogers2c8f6532011-09-02 17:16:34 -0700921} // namespace arm
Carl Shapiro6b6b5f02011-06-21 15:05:09 -0700922} // namespace art