blob: 22a4ec4d49391cacfd0c034409ddb3ef5a5a1ea8 [file] [log] [blame]
Matteo Franchin43ec8732014-03-31 15:00:14 +01001/*
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 */
16
17#include "arm64_lir.h"
18#include "codegen_arm64.h"
19#include "dex/quick/mir_to_lir-inl.h"
buzbeeb5860fb2014-06-21 15:31:01 -070020#include "dex/reg_storage_eq.h"
Matteo Franchin43ec8732014-03-31 15:00:14 +010021
22namespace art {
23
Matteo Franchine45fb9e2014-05-06 10:10:30 +010024/* This file contains codegen for the A64 ISA. */
Matteo Franchin43ec8732014-03-31 15:00:14 +010025
Matteo Franchine45fb9e2014-05-06 10:10:30 +010026static int32_t EncodeImmSingle(uint32_t bits) {
27 /*
28 * Valid values will have the form:
29 *
30 * aBbb.bbbc.defg.h000.0000.0000.0000.0000
31 *
32 * where B = not(b). In other words, if b == 1, then B == 0 and viceversa.
33 */
34
35 // bits[19..0] are cleared.
36 if ((bits & 0x0007ffff) != 0)
Matteo Franchin43ec8732014-03-31 15:00:14 +010037 return -1;
Matteo Franchine45fb9e2014-05-06 10:10:30 +010038
39 // bits[29..25] are all set or all cleared.
40 uint32_t b_pattern = (bits >> 16) & 0x3e00;
41 if (b_pattern != 0 && b_pattern != 0x3e00)
42 return -1;
43
44 // bit[30] and bit[29] are opposite.
45 if (((bits ^ (bits << 1)) & 0x40000000) == 0)
46 return -1;
47
48 // bits: aBbb.bbbc.defg.h000.0000.0000.0000.0000
49 // bit7: a000.0000
50 uint32_t bit7 = ((bits >> 31) & 0x1) << 7;
51 // bit6: 0b00.0000
52 uint32_t bit6 = ((bits >> 29) & 0x1) << 6;
53 // bit5_to_0: 00cd.efgh
54 uint32_t bit5_to_0 = (bits >> 19) & 0x3f;
55 return (bit7 | bit6 | bit5_to_0);
Matteo Franchin43ec8732014-03-31 15:00:14 +010056}
57
Matteo Franchine45fb9e2014-05-06 10:10:30 +010058static int32_t EncodeImmDouble(uint64_t bits) {
59 /*
60 * Valid values will have the form:
61 *
62 * aBbb.bbbb.bbcd.efgh.0000.0000.0000.0000
63 * 0000.0000.0000.0000.0000.0000.0000.0000
64 *
65 * where B = not(b).
66 */
67
68 // bits[47..0] are cleared.
69 if ((bits & UINT64_C(0xffffffffffff)) != 0)
Matteo Franchin43ec8732014-03-31 15:00:14 +010070 return -1;
Matteo Franchine45fb9e2014-05-06 10:10:30 +010071
72 // bits[61..54] are all set or all cleared.
73 uint32_t b_pattern = (bits >> 48) & 0x3fc0;
74 if (b_pattern != 0 && b_pattern != 0x3fc0)
75 return -1;
76
77 // bit[62] and bit[61] are opposite.
78 if (((bits ^ (bits << 1)) & UINT64_C(0x4000000000000000)) == 0)
79 return -1;
80
81 // bit7: a000.0000
82 uint32_t bit7 = ((bits >> 63) & 0x1) << 7;
83 // bit6: 0b00.0000
84 uint32_t bit6 = ((bits >> 61) & 0x1) << 6;
85 // bit5_to_0: 00cd.efgh
86 uint32_t bit5_to_0 = (bits >> 48) & 0x3f;
87 return (bit7 | bit6 | bit5_to_0);
Matteo Franchin43ec8732014-03-31 15:00:14 +010088}
89
Matteo Franchinc41e6dc2014-06-13 19:16:28 +010090LIR* Arm64Mir2Lir::LoadFPConstantValue(RegStorage r_dest, int32_t value) {
91 DCHECK(r_dest.IsSingle());
Matteo Franchin43ec8732014-03-31 15:00:14 +010092 if (value == 0) {
Matteo Franchinc41e6dc2014-06-13 19:16:28 +010093 return NewLIR2(kA64Fmov2sw, r_dest.GetReg(), rwzr);
Matteo Franchin43ec8732014-03-31 15:00:14 +010094 } else {
Matteo Franchine45fb9e2014-05-06 10:10:30 +010095 int32_t encoded_imm = EncodeImmSingle((uint32_t)value);
Matteo Franchin43ec8732014-03-31 15:00:14 +010096 if (encoded_imm >= 0) {
Matteo Franchinc41e6dc2014-06-13 19:16:28 +010097 return NewLIR2(kA64Fmov2fI, r_dest.GetReg(), encoded_imm);
Matteo Franchin43ec8732014-03-31 15:00:14 +010098 }
99 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100100
Matteo Franchin43ec8732014-03-31 15:00:14 +0100101 LIR* data_target = ScanLiteralPool(literal_list_, value, 0);
102 if (data_target == NULL) {
Andreas Gampef9879272014-06-18 23:19:07 -0700103 // Wide, as we need 8B alignment.
104 data_target = AddWideData(&literal_list_, value, 0);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100105 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100106
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100107 ScopedMemRefType mem_ref_type(this, ResourceMask::kLiteral);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100108 LIR* load_pc_rel = RawLIR(current_dalvik_offset_, kA64Ldr2fp,
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100109 r_dest.GetReg(), 0, 0, 0, 0, data_target);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100110 AppendLIR(load_pc_rel);
111 return load_pc_rel;
112}
113
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100114LIR* Arm64Mir2Lir::LoadFPConstantValueWide(RegStorage r_dest, int64_t value) {
115 DCHECK(r_dest.IsDouble());
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100116 if (value == 0) {
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100117 return NewLIR2(kA64Fmov2Sx, r_dest.GetReg(), rxzr);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100118 } else {
119 int32_t encoded_imm = EncodeImmDouble(value);
120 if (encoded_imm >= 0) {
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100121 return NewLIR2(FWIDE(kA64Fmov2fI), r_dest.GetReg(), encoded_imm);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100122 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100123 }
124
125 // No short form - load from the literal pool.
126 int32_t val_lo = Low32Bits(value);
127 int32_t val_hi = High32Bits(value);
128 LIR* data_target = ScanLiteralPoolWide(literal_list_, val_lo, val_hi);
129 if (data_target == NULL) {
130 data_target = AddWideData(&literal_list_, val_lo, val_hi);
131 }
132
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100133 ScopedMemRefType mem_ref_type(this, ResourceMask::kLiteral);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100134 LIR* load_pc_rel = RawLIR(current_dalvik_offset_, FWIDE(kA64Ldr2fp),
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100135 r_dest.GetReg(), 0, 0, 0, 0, data_target);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100136 AppendLIR(load_pc_rel);
137 return load_pc_rel;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100138}
139
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100140static int CountLeadingZeros(bool is_wide, uint64_t value) {
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100141 return (is_wide) ? __builtin_clzll(value) : __builtin_clz((uint32_t)value);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100142}
Matteo Franchin43ec8732014-03-31 15:00:14 +0100143
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100144static int CountTrailingZeros(bool is_wide, uint64_t value) {
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100145 return (is_wide) ? __builtin_ctzll(value) : __builtin_ctz((uint32_t)value);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100146}
147
148static int CountSetBits(bool is_wide, uint64_t value) {
149 return ((is_wide) ?
Zheng Xue2eb29e2014-06-12 10:22:33 +0800150 __builtin_popcountll(value) : __builtin_popcount((uint32_t)value));
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100151}
152
153/**
154 * @brief Try encoding an immediate in the form required by logical instructions.
155 *
156 * @param is_wide Whether @p value is a 64-bit (as opposed to 32-bit) value.
157 * @param value An integer to be encoded. This is interpreted as 64-bit if @p is_wide is true and as
158 * 32-bit if @p is_wide is false.
159 * @return A non-negative integer containing the encoded immediate or -1 if the encoding failed.
160 * @note This is the inverse of Arm64Mir2Lir::DecodeLogicalImmediate().
161 */
162int Arm64Mir2Lir::EncodeLogicalImmediate(bool is_wide, uint64_t value) {
163 unsigned n, imm_s, imm_r;
164
165 // Logical immediates are encoded using parameters n, imm_s and imm_r using
166 // the following table:
167 //
168 // N imms immr size S R
169 // 1 ssssss rrrrrr 64 UInt(ssssss) UInt(rrrrrr)
170 // 0 0sssss xrrrrr 32 UInt(sssss) UInt(rrrrr)
171 // 0 10ssss xxrrrr 16 UInt(ssss) UInt(rrrr)
172 // 0 110sss xxxrrr 8 UInt(sss) UInt(rrr)
173 // 0 1110ss xxxxrr 4 UInt(ss) UInt(rr)
174 // 0 11110s xxxxxr 2 UInt(s) UInt(r)
175 // (s bits must not be all set)
176 //
177 // A pattern is constructed of size bits, where the least significant S+1
178 // bits are set. The pattern is rotated right by R, and repeated across a
179 // 32 or 64-bit value, depending on destination register width.
180 //
181 // To test if an arbitary immediate can be encoded using this scheme, an
182 // iterative algorithm is used.
183 //
184
185 // 1. If the value has all set or all clear bits, it can't be encoded.
186 if (value == 0 || value == ~UINT64_C(0) ||
187 (!is_wide && (uint32_t)value == ~UINT32_C(0))) {
188 return -1;
189 }
190
191 unsigned lead_zero = CountLeadingZeros(is_wide, value);
192 unsigned lead_one = CountLeadingZeros(is_wide, ~value);
193 unsigned trail_zero = CountTrailingZeros(is_wide, value);
194 unsigned trail_one = CountTrailingZeros(is_wide, ~value);
195 unsigned set_bits = CountSetBits(is_wide, value);
196
197 // The fixed bits in the immediate s field.
198 // If width == 64 (X reg), start at 0xFFFFFF80.
199 // If width == 32 (W reg), start at 0xFFFFFFC0, as the iteration for 64-bit
200 // widths won't be executed.
201 unsigned width = (is_wide) ? 64 : 32;
202 int imm_s_fixed = (is_wide) ? -128 : -64;
203 int imm_s_mask = 0x3f;
204
205 for (;;) {
206 // 2. If the value is two bits wide, it can be encoded.
207 if (width == 2) {
208 n = 0;
209 imm_s = 0x3C;
210 imm_r = (value & 3) - 1;
211 break;
212 }
213
214 n = (width == 64) ? 1 : 0;
215 imm_s = ((imm_s_fixed | (set_bits - 1)) & imm_s_mask);
216 if ((lead_zero + set_bits) == width) {
217 imm_r = 0;
218 } else {
219 imm_r = (lead_zero > 0) ? (width - trail_zero) : lead_one;
220 }
221
222 // 3. If the sum of leading zeros, trailing zeros and set bits is
223 // equal to the bit width of the value, it can be encoded.
224 if (lead_zero + trail_zero + set_bits == width) {
225 break;
226 }
227
228 // 4. If the sum of leading ones, trailing ones and unset bits in the
229 // value is equal to the bit width of the value, it can be encoded.
230 if (lead_one + trail_one + (width - set_bits) == width) {
231 break;
232 }
233
234 // 5. If the most-significant half of the bitwise value is equal to
235 // the least-significant half, return to step 2 using the
236 // least-significant half of the value.
237 uint64_t mask = (UINT64_C(1) << (width >> 1)) - 1;
238 if ((value & mask) == ((value >> (width >> 1)) & mask)) {
239 width >>= 1;
240 set_bits >>= 1;
241 imm_s_fixed >>= 1;
242 continue;
243 }
244
245 // 6. Otherwise, the value can't be encoded.
246 return -1;
247 }
248
249 return (n << 12 | imm_r << 6 | imm_s);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100250}
251
252bool Arm64Mir2Lir::InexpensiveConstantInt(int32_t value) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100253 return false; // (ModifiedImmediate(value) >= 0) || (ModifiedImmediate(~value) >= 0);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100254}
255
256bool Arm64Mir2Lir::InexpensiveConstantFloat(int32_t value) {
257 return EncodeImmSingle(value) >= 0;
258}
259
260bool Arm64Mir2Lir::InexpensiveConstantLong(int64_t value) {
261 return InexpensiveConstantInt(High32Bits(value)) && InexpensiveConstantInt(Low32Bits(value));
262}
263
264bool Arm64Mir2Lir::InexpensiveConstantDouble(int64_t value) {
265 return EncodeImmDouble(value) >= 0;
266}
267
268/*
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100269 * Load a immediate using one single instruction when possible; otherwise
270 * use a pair of movz and movk instructions.
Matteo Franchin43ec8732014-03-31 15:00:14 +0100271 *
272 * No additional register clobbering operation performed. Use this version when
273 * 1) r_dest is freshly returned from AllocTemp or
274 * 2) The codegen is under fixed register usage
275 */
276LIR* Arm64Mir2Lir::LoadConstantNoClobber(RegStorage r_dest, int value) {
277 LIR* res;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100278
279 if (r_dest.IsFloat()) {
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100280 return LoadFPConstantValue(r_dest, value);
281 }
282
283 if (r_dest.Is64Bit()) {
284 return LoadConstantWide(r_dest, value);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100285 }
286
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100287 // Loading SP/ZR with an immediate is not supported.
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100288 DCHECK(!A64_REG_IS_SP(r_dest.GetReg()));
289 DCHECK(!A64_REG_IS_ZR(r_dest.GetReg()));
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100290
291 // Compute how many movk, movz instructions are needed to load the value.
292 uint16_t high_bits = High16Bits(value);
293 uint16_t low_bits = Low16Bits(value);
294
295 bool low_fast = ((uint16_t)(low_bits + 1) <= 1);
296 bool high_fast = ((uint16_t)(high_bits + 1) <= 1);
297
298 if (LIKELY(low_fast || high_fast)) {
299 // 1 instruction is enough to load the immediate.
300 if (LIKELY(low_bits == high_bits)) {
301 // Value is either 0 or -1: we can just use wzr.
302 ArmOpcode opcode = LIKELY(low_bits == 0) ? kA64Mov2rr : kA64Mvn2rr;
303 res = NewLIR2(opcode, r_dest.GetReg(), rwzr);
304 } else {
305 uint16_t uniform_bits, useful_bits;
306 int shift;
307
308 if (LIKELY(high_fast)) {
309 shift = 0;
310 uniform_bits = high_bits;
311 useful_bits = low_bits;
312 } else {
313 shift = 1;
314 uniform_bits = low_bits;
315 useful_bits = high_bits;
316 }
317
318 if (UNLIKELY(uniform_bits != 0)) {
319 res = NewLIR3(kA64Movn3rdM, r_dest.GetReg(), ~useful_bits, shift);
320 } else {
321 res = NewLIR3(kA64Movz3rdM, r_dest.GetReg(), useful_bits, shift);
322 }
323 }
324 } else {
325 // movk, movz require 2 instructions. Try detecting logical immediates.
326 int log_imm = EncodeLogicalImmediate(/*is_wide=*/false, value);
327 if (log_imm >= 0) {
328 res = NewLIR3(kA64Orr3Rrl, r_dest.GetReg(), rwzr, log_imm);
329 } else {
330 // Use 2 instructions.
331 res = NewLIR3(kA64Movz3rdM, r_dest.GetReg(), low_bits, 0);
332 NewLIR3(kA64Movk3rdM, r_dest.GetReg(), high_bits, 1);
333 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100334 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100335
Matteo Franchin43ec8732014-03-31 15:00:14 +0100336 return res;
337}
338
Matteo Franchinc41e6dc2014-06-13 19:16:28 +0100339// TODO: clean up the names. LoadConstantWide() should really be LoadConstantNoClobberWide().
340LIR* Arm64Mir2Lir::LoadConstantWide(RegStorage r_dest, int64_t value) {
341 // Maximum number of instructions to use for encoding the immediate.
342 const int max_num_ops = 2;
343
344 if (r_dest.IsFloat()) {
345 return LoadFPConstantValueWide(r_dest, value);
346 }
347
348 DCHECK(r_dest.Is64Bit());
349
350 // Loading SP/ZR with an immediate is not supported.
351 DCHECK(!A64_REG_IS_SP(r_dest.GetReg()));
352 DCHECK(!A64_REG_IS_ZR(r_dest.GetReg()));
353
354 if (LIKELY(value == INT64_C(0) || value == INT64_C(-1))) {
355 // value is either 0 or -1: we can just use xzr.
356 ArmOpcode opcode = LIKELY(value == 0) ? WIDE(kA64Mov2rr) : WIDE(kA64Mvn2rr);
357 return NewLIR2(opcode, r_dest.GetReg(), rxzr);
358 }
359
360 // At least one in value's halfwords is not 0x0, nor 0xffff: find out how many.
361 int num_0000_halfwords = 0;
362 int num_ffff_halfwords = 0;
363 uint64_t uvalue = static_cast<uint64_t>(value);
364 for (int shift = 0; shift < 64; shift += 16) {
365 uint16_t halfword = static_cast<uint16_t>(uvalue >> shift);
366 if (halfword == 0)
367 num_0000_halfwords++;
368 else if (halfword == UINT16_C(0xffff))
369 num_ffff_halfwords++;
370 }
371 int num_fast_halfwords = std::max(num_0000_halfwords, num_ffff_halfwords);
372
373 if (num_fast_halfwords < 3) {
374 // A single movz/movn is not enough. Try the logical immediate route.
375 int log_imm = EncodeLogicalImmediate(/*is_wide=*/true, value);
376 if (log_imm >= 0) {
377 return NewLIR3(WIDE(kA64Orr3Rrl), r_dest.GetReg(), rxzr, log_imm);
378 }
379 }
380
381 if (num_fast_halfwords >= 4 - max_num_ops) {
382 // We can encode the number using a movz/movn followed by one or more movk.
383 ArmOpcode op;
384 uint16_t background;
385 LIR* res = nullptr;
386
387 // Decide whether to use a movz or a movn.
388 if (num_0000_halfwords >= num_ffff_halfwords) {
389 op = WIDE(kA64Movz3rdM);
390 background = 0;
391 } else {
392 op = WIDE(kA64Movn3rdM);
393 background = 0xffff;
394 }
395
396 // Emit the first instruction (movz, movn).
397 int shift;
398 for (shift = 0; shift < 4; shift++) {
399 uint16_t halfword = static_cast<uint16_t>(uvalue >> (shift << 4));
400 if (halfword != background) {
401 res = NewLIR3(op, r_dest.GetReg(), halfword ^ background, shift);
402 break;
403 }
404 }
405
406 // Emit the movk instructions.
407 for (shift++; shift < 4; shift++) {
408 uint16_t halfword = static_cast<uint16_t>(uvalue >> (shift << 4));
409 if (halfword != background) {
410 NewLIR3(WIDE(kA64Movk3rdM), r_dest.GetReg(), halfword, shift);
411 }
412 }
413 return res;
414 }
415
416 // Use the literal pool.
417 int32_t val_lo = Low32Bits(value);
418 int32_t val_hi = High32Bits(value);
419 LIR* data_target = ScanLiteralPoolWide(literal_list_, val_lo, val_hi);
420 if (data_target == NULL) {
421 data_target = AddWideData(&literal_list_, val_lo, val_hi);
422 }
423
424 ScopedMemRefType mem_ref_type(this, ResourceMask::kLiteral);
425 LIR *res = RawLIR(current_dalvik_offset_, WIDE(kA64Ldr2rp),
426 r_dest.GetReg(), 0, 0, 0, 0, data_target);
427 AppendLIR(res);
428 return res;
429}
430
Matteo Franchin43ec8732014-03-31 15:00:14 +0100431LIR* Arm64Mir2Lir::OpUnconditionalBranch(LIR* target) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100432 LIR* res = NewLIR1(kA64B1t, 0 /* offset to be patched during assembly */);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100433 res->target = target;
434 return res;
435}
436
437LIR* Arm64Mir2Lir::OpCondBranch(ConditionCode cc, LIR* target) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100438 LIR* branch = NewLIR2(kA64B2ct, ArmConditionEncoding(cc),
439 0 /* offset to be patched */);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100440 branch->target = target;
441 return branch;
442}
443
444LIR* Arm64Mir2Lir::OpReg(OpKind op, RegStorage r_dest_src) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100445 ArmOpcode opcode = kA64Brk1d;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100446 switch (op) {
447 case kOpBlx:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100448 opcode = kA64Blr1x;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100449 break;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100450 // TODO(Arm64): port kThumbBx.
451 // case kOpBx:
452 // opcode = kThumbBx;
453 // break;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100454 default:
455 LOG(FATAL) << "Bad opcode " << op;
456 }
457 return NewLIR1(opcode, r_dest_src.GetReg());
458}
459
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100460LIR* Arm64Mir2Lir::OpRegRegShift(OpKind op, RegStorage r_dest_src1, RegStorage r_src2, int shift) {
461 ArmOpcode wide = (r_dest_src1.Is64Bit()) ? WIDE(0) : UNWIDE(0);
462 CHECK_EQ(r_dest_src1.Is64Bit(), r_src2.Is64Bit());
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100463 ArmOpcode opcode = kA64Brk1d;
464
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100465 switch (op) {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100466 case kOpCmn:
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100467 opcode = kA64Cmn3rro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100468 break;
469 case kOpCmp:
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100470 opcode = kA64Cmp3rro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100471 break;
472 case kOpMov:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100473 opcode = kA64Mov2rr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100474 break;
475 case kOpMvn:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100476 opcode = kA64Mvn2rr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100477 break;
478 case kOpNeg:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100479 opcode = kA64Neg3rro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100480 break;
481 case kOpTst:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100482 opcode = kA64Tst3rro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100483 break;
484 case kOpRev:
485 DCHECK_EQ(shift, 0);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100486 // Binary, but rm is encoded twice.
Serban Constantinescu169489b2014-06-11 16:43:35 +0100487 return NewLIR2(kA64Rev2rr | wide, r_dest_src1.GetReg(), r_src2.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100488 break;
489 case kOpRevsh:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100490 // Binary, but rm is encoded twice.
Serban Constantinescu169489b2014-06-11 16:43:35 +0100491 return NewLIR2(kA64Rev162rr | wide, r_dest_src1.GetReg(), r_src2.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100492 break;
493 case kOp2Byte:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100494 DCHECK_EQ(shift, ENCODE_NO_SHIFT);
495 // "sbfx r1, r2, #imm1, #imm2" is "sbfm r1, r2, #imm1, #(imm1 + imm2 - 1)".
496 // For now we use sbfm directly.
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100497 return NewLIR4(kA64Sbfm4rrdd | wide, r_dest_src1.GetReg(), r_src2.GetReg(), 0, 7);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100498 case kOp2Short:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100499 DCHECK_EQ(shift, ENCODE_NO_SHIFT);
500 // For now we use sbfm rather than its alias, sbfx.
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100501 return NewLIR4(kA64Sbfm4rrdd | wide, r_dest_src1.GetReg(), r_src2.GetReg(), 0, 15);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100502 case kOp2Char:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100503 // "ubfx r1, r2, #imm1, #imm2" is "ubfm r1, r2, #imm1, #(imm1 + imm2 - 1)".
504 // For now we use ubfm directly.
505 DCHECK_EQ(shift, ENCODE_NO_SHIFT);
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100506 return NewLIR4(kA64Ubfm4rrdd | wide, r_dest_src1.GetReg(), r_src2.GetReg(), 0, 15);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100507 default:
Serban Constantinescued65c5e2014-05-22 15:10:18 +0100508 return OpRegRegRegShift(op, r_dest_src1, r_dest_src1, r_src2, shift);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100509 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100510
Matteo Franchin43ec8732014-03-31 15:00:14 +0100511 DCHECK(!IsPseudoLirOp(opcode));
512 if (EncodingMap[opcode].flags & IS_BINARY_OP) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100513 DCHECK_EQ(shift, ENCODE_NO_SHIFT);
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100514 return NewLIR2(opcode | wide, r_dest_src1.GetReg(), r_src2.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100515 } else if (EncodingMap[opcode].flags & IS_TERTIARY_OP) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100516 ArmEncodingKind kind = EncodingMap[opcode].field_loc[2].kind;
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100517 if (kind == kFmtShift) {
518 return NewLIR3(opcode | wide, r_dest_src1.GetReg(), r_src2.GetReg(), shift);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100519 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100520 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100521
522 LOG(FATAL) << "Unexpected encoding operand count";
523 return NULL;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100524}
525
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100526LIR* Arm64Mir2Lir::OpRegRegExtend(OpKind op, RegStorage r_dest_src1, RegStorage r_src2, int extend) {
527 ArmOpcode wide = (r_dest_src1.Is64Bit()) ? WIDE(0) : UNWIDE(0);
528 ArmOpcode opcode = kA64Brk1d;
529
530 switch (op) {
531 case kOpCmn:
532 opcode = kA64Cmn3Rre;
533 break;
534 case kOpCmp:
535 opcode = kA64Cmp3Rre;
536 break;
537 default:
538 LOG(FATAL) << "Bad Opcode: " << opcode;
539 break;
540 }
541
542 DCHECK(!IsPseudoLirOp(opcode));
543 if (EncodingMap[opcode].flags & IS_TERTIARY_OP) {
544 ArmEncodingKind kind = EncodingMap[opcode].field_loc[2].kind;
545 if (kind == kFmtExtend) {
546 return NewLIR3(opcode | wide, r_dest_src1.GetReg(), r_src2.GetReg(), extend);
547 }
548 }
549
550 LOG(FATAL) << "Unexpected encoding operand count";
551 return NULL;
552}
553
Matteo Franchin43ec8732014-03-31 15:00:14 +0100554LIR* Arm64Mir2Lir::OpRegReg(OpKind op, RegStorage r_dest_src1, RegStorage r_src2) {
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100555 /* RegReg operations with SP in first parameter need extended register instruction form.
556 * Only CMN and CMP instructions are implemented.
557 */
Zheng Xubaa7c882014-06-30 14:26:50 +0800558 if (r_dest_src1 == rs_sp) {
Stuart Monteithf8ec48e2014-06-06 17:05:08 +0100559 return OpRegRegExtend(op, r_dest_src1, r_src2, ENCODE_NO_EXTEND);
560 } else {
561 return OpRegRegShift(op, r_dest_src1, r_src2, ENCODE_NO_SHIFT);
562 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100563}
564
565LIR* Arm64Mir2Lir::OpMovRegMem(RegStorage r_dest, RegStorage r_base, int offset, MoveType move_type) {
566 UNIMPLEMENTED(FATAL);
567 return nullptr;
568}
569
570LIR* Arm64Mir2Lir::OpMovMemReg(RegStorage r_base, int offset, RegStorage r_src, MoveType move_type) {
571 UNIMPLEMENTED(FATAL);
572 return nullptr;
573}
574
575LIR* Arm64Mir2Lir::OpCondRegReg(OpKind op, ConditionCode cc, RegStorage r_dest, RegStorage r_src) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100576 LOG(FATAL) << "Unexpected use of OpCondRegReg for Arm64";
Matteo Franchin43ec8732014-03-31 15:00:14 +0100577 return NULL;
578}
579
Serban Constantinescued65c5e2014-05-22 15:10:18 +0100580LIR* Arm64Mir2Lir::OpRegRegRegShift(OpKind op, RegStorage r_dest, RegStorage r_src1,
581 RegStorage r_src2, int shift) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100582 ArmOpcode opcode = kA64Brk1d;
583
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100584 switch (op) {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100585 case kOpAdd:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100586 opcode = kA64Add4rrro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100587 break;
588 case kOpSub:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100589 opcode = kA64Sub4rrro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100590 break;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100591 // case kOpRsub:
592 // opcode = kA64RsubWWW;
593 // break;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100594 case kOpAdc:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100595 opcode = kA64Adc3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100596 break;
597 case kOpAnd:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100598 opcode = kA64And4rrro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100599 break;
600 case kOpXor:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100601 opcode = kA64Eor4rrro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100602 break;
603 case kOpMul:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100604 opcode = kA64Mul3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100605 break;
606 case kOpDiv:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100607 opcode = kA64Sdiv3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100608 break;
609 case kOpOr:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100610 opcode = kA64Orr4rrro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100611 break;
612 case kOpSbc:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100613 opcode = kA64Sbc3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100614 break;
615 case kOpLsl:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100616 opcode = kA64Lsl3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100617 break;
618 case kOpLsr:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100619 opcode = kA64Lsr3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100620 break;
621 case kOpAsr:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100622 opcode = kA64Asr3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100623 break;
624 case kOpRor:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100625 opcode = kA64Ror3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100626 break;
627 default:
628 LOG(FATAL) << "Bad opcode: " << op;
629 break;
630 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100631
632 // The instructions above belong to two kinds:
633 // - 4-operands instructions, where the last operand is a shift/extend immediate,
634 // - 3-operands instructions with no shift/extend.
Serban Constantinescued65c5e2014-05-22 15:10:18 +0100635 ArmOpcode widened_opcode = r_dest.Is64Bit() ? WIDE(opcode) : opcode;
636 CHECK_EQ(r_dest.Is64Bit(), r_src1.Is64Bit());
637 CHECK_EQ(r_dest.Is64Bit(), r_src2.Is64Bit());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100638 if (EncodingMap[opcode].flags & IS_QUAD_OP) {
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100639 DCHECK(!IsExtendEncoding(shift));
Serban Constantinescued65c5e2014-05-22 15:10:18 +0100640 return NewLIR4(widened_opcode, r_dest.GetReg(), r_src1.GetReg(), r_src2.GetReg(), shift);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100641 } else {
642 DCHECK(EncodingMap[opcode].flags & IS_TERTIARY_OP);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100643 DCHECK_EQ(shift, ENCODE_NO_SHIFT);
Serban Constantinescued65c5e2014-05-22 15:10:18 +0100644 return NewLIR3(widened_opcode, r_dest.GetReg(), r_src1.GetReg(), r_src2.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100645 }
646}
647
Andreas Gampe47b31aa2014-06-19 01:10:07 -0700648LIR* Arm64Mir2Lir::OpRegRegRegExtend(OpKind op, RegStorage r_dest, RegStorage r_src1,
649 RegStorage r_src2, A64RegExtEncodings ext, uint8_t amount) {
650 ArmOpcode opcode = kA64Brk1d;
651
652 switch (op) {
653 case kOpAdd:
654 opcode = kA64Add4RRre;
655 break;
656 case kOpSub:
657 opcode = kA64Sub4RRre;
658 break;
659 default:
660 LOG(FATAL) << "Unimplemented opcode: " << op;
661 break;
662 }
663 ArmOpcode widened_opcode = r_dest.Is64Bit() ? WIDE(opcode) : opcode;
664
665 if (r_dest.Is64Bit()) {
666 CHECK(r_src1.Is64Bit());
667
668 // dest determines whether the op is wide or not. Up-convert src2 when necessary.
669 // Note: this is not according to aarch64 specifications, but our encoding.
670 if (!r_src2.Is64Bit()) {
671 r_src2 = As64BitReg(r_src2);
672 }
673 } else {
674 CHECK(!r_src1.Is64Bit());
675 CHECK(!r_src2.Is64Bit());
676 }
677
678 // Sanity checks.
679 // 1) Amount is in the range 0..4
680 CHECK_LE(amount, 4);
681
682 return NewLIR4(widened_opcode, r_dest.GetReg(), r_src1.GetReg(), r_src2.GetReg(),
683 EncodeExtend(ext, amount));
684}
685
Matteo Franchin43ec8732014-03-31 15:00:14 +0100686LIR* Arm64Mir2Lir::OpRegRegReg(OpKind op, RegStorage r_dest, RegStorage r_src1, RegStorage r_src2) {
Serban Constantinescued65c5e2014-05-22 15:10:18 +0100687 return OpRegRegRegShift(op, r_dest, r_src1, r_src2, ENCODE_NO_SHIFT);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100688}
689
690LIR* Arm64Mir2Lir::OpRegRegImm(OpKind op, RegStorage r_dest, RegStorage r_src1, int value) {
Zheng Xue2eb29e2014-06-12 10:22:33 +0800691 return OpRegRegImm64(op, r_dest, r_src1, static_cast<int64_t>(value));
692}
693
694LIR* Arm64Mir2Lir::OpRegRegImm64(OpKind op, RegStorage r_dest, RegStorage r_src1, int64_t value) {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100695 LIR* res;
696 bool neg = (value < 0);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100697 int64_t abs_value = (neg) ? -value : value;
698 ArmOpcode opcode = kA64Brk1d;
699 ArmOpcode alt_opcode = kA64Brk1d;
700 int32_t log_imm = -1;
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100701 bool is_wide = r_dest.Is64Bit();
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100702 ArmOpcode wide = (is_wide) ? WIDE(0) : UNWIDE(0);
Andreas Gampe9f975bf2014-06-18 17:45:32 -0700703 int info = 0;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100704
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100705 switch (op) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100706 case kOpLsl: {
707 // "lsl w1, w2, #imm" is an alias of "ubfm w1, w2, #(-imm MOD 32), #(31-imm)"
Zheng Xu2d41a652014-06-09 11:05:31 +0800708 // and "lsl x1, x2, #imm" of "ubfm x1, x2, #(-imm MOD 64), #(63-imm)".
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100709 // For now, we just use ubfm directly.
Zheng Xu2d41a652014-06-09 11:05:31 +0800710 int max_value = (is_wide) ? 63 : 31;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100711 return NewLIR4(kA64Ubfm4rrdd | wide, r_dest.GetReg(), r_src1.GetReg(),
Zheng Xu2d41a652014-06-09 11:05:31 +0800712 (-value) & max_value, max_value - value);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100713 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100714 case kOpLsr:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100715 return NewLIR3(kA64Lsr3rrd | wide, r_dest.GetReg(), r_src1.GetReg(), value);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100716 case kOpAsr:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100717 return NewLIR3(kA64Asr3rrd | wide, r_dest.GetReg(), r_src1.GetReg(), value);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100718 case kOpRor:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100719 // "ror r1, r2, #imm" is an alias of "extr r1, r2, r2, #imm".
720 // For now, we just use extr directly.
721 return NewLIR4(kA64Extr4rrrd | wide, r_dest.GetReg(), r_src1.GetReg(), r_src1.GetReg(),
722 value);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100723 case kOpAdd:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100724 neg = !neg;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100725 // Note: intentional fallthrough
726 case kOpSub:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100727 // Add and sub below read/write sp rather than xzr.
728 if (abs_value < 0x1000) {
729 opcode = (neg) ? kA64Add4RRdT : kA64Sub4RRdT;
730 return NewLIR4(opcode | wide, r_dest.GetReg(), r_src1.GetReg(), abs_value, 0);
731 } else if ((abs_value & UINT64_C(0xfff)) == 0 && ((abs_value >> 12) < 0x1000)) {
732 opcode = (neg) ? kA64Add4RRdT : kA64Sub4RRdT;
733 return NewLIR4(opcode | wide, r_dest.GetReg(), r_src1.GetReg(), abs_value >> 12, 1);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100734 } else {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100735 log_imm = -1;
Vladimir Marko903989d2014-07-01 17:21:18 +0100736 alt_opcode = (op == kOpAdd) ? kA64Add4RRre : kA64Sub4RRre;
Andreas Gampe47b31aa2014-06-19 01:10:07 -0700737 info = EncodeExtend(is_wide ? kA64Uxtx : kA64Uxtw, 0);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100738 }
739 break;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100740 // case kOpRsub:
741 // opcode = kThumb2RsubRRI8M;
742 // alt_opcode = kThumb2RsubRRR;
743 // break;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100744 case kOpAdc:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100745 log_imm = -1;
746 alt_opcode = kA64Adc3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100747 break;
748 case kOpSbc:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100749 log_imm = -1;
750 alt_opcode = kA64Sbc3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100751 break;
752 case kOpOr:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100753 log_imm = EncodeLogicalImmediate(is_wide, value);
754 opcode = kA64Orr3Rrl;
755 alt_opcode = kA64Orr4rrro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100756 break;
757 case kOpAnd:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100758 log_imm = EncodeLogicalImmediate(is_wide, value);
759 opcode = kA64And3Rrl;
760 alt_opcode = kA64And4rrro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100761 break;
762 case kOpXor:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100763 log_imm = EncodeLogicalImmediate(is_wide, value);
764 opcode = kA64Eor3Rrl;
765 alt_opcode = kA64Eor4rrro;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100766 break;
767 case kOpMul:
768 // TUNING: power of 2, shift & add
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100769 log_imm = -1;
770 alt_opcode = kA64Mul3rrr;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100771 break;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100772 default:
773 LOG(FATAL) << "Bad opcode: " << op;
774 }
775
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100776 if (log_imm >= 0) {
777 return NewLIR3(opcode | wide, r_dest.GetReg(), r_src1.GetReg(), log_imm);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100778 } else {
Andreas Gampe9f975bf2014-06-18 17:45:32 -0700779 RegStorage r_scratch;
Andreas Gampe47b31aa2014-06-19 01:10:07 -0700780 if (is_wide) {
Zheng Xue2eb29e2014-06-12 10:22:33 +0800781 r_scratch = AllocTempWide();
782 LoadConstantWide(r_scratch, value);
783 } else {
784 r_scratch = AllocTemp();
785 LoadConstant(r_scratch, value);
786 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100787 if (EncodingMap[alt_opcode].flags & IS_QUAD_OP)
Andreas Gampe9f975bf2014-06-18 17:45:32 -0700788 res = NewLIR4(alt_opcode | wide, r_dest.GetReg(), r_src1.GetReg(), r_scratch.GetReg(), info);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100789 else
Zheng Xue2eb29e2014-06-12 10:22:33 +0800790 res = NewLIR3(alt_opcode | wide, r_dest.GetReg(), r_src1.GetReg(), r_scratch.GetReg());
Matteo Franchin43ec8732014-03-31 15:00:14 +0100791 FreeTemp(r_scratch);
792 return res;
793 }
794}
795
Matteo Franchin43ec8732014-03-31 15:00:14 +0100796LIR* Arm64Mir2Lir::OpRegImm(OpKind op, RegStorage r_dest_src1, int value) {
Serban Constantinescued65c5e2014-05-22 15:10:18 +0100797 return OpRegImm64(op, r_dest_src1, static_cast<int64_t>(value));
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100798}
799
Serban Constantinescued65c5e2014-05-22 15:10:18 +0100800LIR* Arm64Mir2Lir::OpRegImm64(OpKind op, RegStorage r_dest_src1, int64_t value) {
801 ArmOpcode wide = (r_dest_src1.Is64Bit()) ? WIDE(0) : UNWIDE(0);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100802 ArmOpcode opcode = kA64Brk1d;
803 ArmOpcode neg_opcode = kA64Brk1d;
804 bool shift;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100805 bool neg = (value < 0);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100806 uint64_t abs_value = (neg) ? -value : value;
807
808 if (LIKELY(abs_value < 0x1000)) {
809 // abs_value is a 12-bit immediate.
810 shift = false;
811 } else if ((abs_value & UINT64_C(0xfff)) == 0 && ((abs_value >> 12) < 0x1000)) {
812 // abs_value is a shifted 12-bit immediate.
813 shift = true;
814 abs_value >>= 12;
Zheng Xue2eb29e2014-06-12 10:22:33 +0800815 } else if (LIKELY(abs_value < 0x1000000 && (op == kOpAdd || op == kOpSub))) {
816 // Note: It is better to use two ADD/SUB instead of loading a number to a temp register.
817 // This works for both normal registers and SP.
818 // For a frame size == 0x2468, it will be encoded as:
819 // sub sp, #0x2000
820 // sub sp, #0x468
821 if (neg) {
822 op = (op == kOpAdd) ? kOpSub : kOpAdd;
823 }
824 OpRegImm64(op, r_dest_src1, abs_value & (~INT64_C(0xfff)));
825 return OpRegImm64(op, r_dest_src1, abs_value & 0xfff);
826 } else if (LIKELY(A64_REG_IS_SP(r_dest_src1.GetReg()) && (op == kOpAdd || op == kOpSub))) {
827 // Note: "sub sp, sp, Xm" is not correct on arm64.
828 // We need special instructions for SP.
829 // Also operation on 32-bit SP should be avoided.
830 DCHECK(IS_WIDE(wide));
831 RegStorage r_tmp = AllocTempWide();
832 OpRegRegImm(kOpAdd, r_tmp, r_dest_src1, 0);
833 OpRegImm64(op, r_tmp, value);
834 return OpRegRegImm(kOpAdd, r_dest_src1, r_tmp, 0);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100835 } else {
Zheng Xue2eb29e2014-06-12 10:22:33 +0800836 RegStorage r_tmp;
837 LIR* res;
838 if (IS_WIDE(wide)) {
839 r_tmp = AllocTempWide();
840 res = LoadConstantWide(r_tmp, value);
841 } else {
842 r_tmp = AllocTemp();
843 res = LoadConstant(r_tmp, value);
844 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100845 OpRegReg(op, r_dest_src1, r_tmp);
846 FreeTemp(r_tmp);
847 return res;
848 }
849
Matteo Franchinbc6d1972014-05-13 12:33:28 +0100850 switch (op) {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100851 case kOpAdd:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100852 neg_opcode = kA64Sub4RRdT;
853 opcode = kA64Add4RRdT;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100854 break;
855 case kOpSub:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100856 neg_opcode = kA64Add4RRdT;
857 opcode = kA64Sub4RRdT;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100858 break;
859 case kOpCmp:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100860 neg_opcode = kA64Cmn3RdT;
861 opcode = kA64Cmp3RdT;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100862 break;
863 default:
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100864 LOG(FATAL) << "Bad op-kind in OpRegImm: " << op;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100865 break;
866 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100867
868 if (UNLIKELY(neg))
869 opcode = neg_opcode;
870
871 if (EncodingMap[opcode].flags & IS_QUAD_OP)
872 return NewLIR4(opcode | wide, r_dest_src1.GetReg(), r_dest_src1.GetReg(), abs_value,
873 (shift) ? 1 : 0);
874 else
875 return NewLIR3(opcode | wide, r_dest_src1.GetReg(), abs_value, (shift) ? 1 : 0);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100876}
877
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100878int Arm64Mir2Lir::EncodeShift(int shift_type, int amount) {
Matteo Franchinc61b3c92014-06-18 11:52:47 +0100879 return ((shift_type & 0x3) << 7) | (amount & 0x3f);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100880}
881
882int Arm64Mir2Lir::EncodeExtend(int extend_type, int amount) {
883 return (1 << 6) | ((extend_type & 0x7) << 3) | (amount & 0x7);
884}
885
886bool Arm64Mir2Lir::IsExtendEncoding(int encoded_value) {
887 return ((1 << 6) & encoded_value) != 0;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100888}
889
890LIR* Arm64Mir2Lir::LoadBaseIndexed(RegStorage r_base, RegStorage r_index, RegStorage r_dest,
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100891 int scale, OpSize size) {
Matteo Franchin43ec8732014-03-31 15:00:14 +0100892 LIR* load;
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100893 int expected_scale = 0;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100894 ArmOpcode opcode = kA64Brk1d;
Andreas Gampe4b537a82014-06-30 22:24:53 -0700895 r_base = Check64BitReg(r_base);
Serban Constantinescu63fe93d2014-06-30 17:10:28 +0100896
897 // TODO(Arm64): The sign extension of r_index should be carried out by using an extended
898 // register offset load (rather than doing the sign extension in a separate instruction).
899 if (r_index.Is32Bit()) {
900 // Assemble: ``sxtw xN, wN''.
901 r_index = As64BitReg(r_index);
902 NewLIR4(WIDE(kA64Sbfm4rrdd), r_index.GetReg(), r_index.GetReg(), 0, 31);
903 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100904
905 if (r_dest.IsFloat()) {
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100906 if (r_dest.IsDouble()) {
907 DCHECK(size == k64 || size == kDouble);
908 expected_scale = 3;
909 opcode = FWIDE(kA64Ldr4fXxG);
910 } else {
911 DCHECK(r_dest.IsSingle());
912 DCHECK(size == k32 || size == kSingle);
913 expected_scale = 2;
914 opcode = kA64Ldr4fXxG;
915 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100916
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100917 DCHECK(scale == 0 || scale == expected_scale);
918 return NewLIR4(opcode, r_dest.GetReg(), r_base.GetReg(), r_index.GetReg(),
919 (scale != 0) ? 1 : 0);
Matteo Franchin43ec8732014-03-31 15:00:14 +0100920 }
921
922 switch (size) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100923 case kDouble:
924 case kWord:
925 case k64:
Andreas Gampe3c12c512014-06-24 18:46:29 +0000926 r_dest = Check64BitReg(r_dest);
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100927 opcode = WIDE(kA64Ldr4rXxG);
928 expected_scale = 3;
929 break;
Matteo Franchin255e0142014-07-04 13:50:41 +0100930 case kSingle: // Intentional fall-through.
931 case k32: // Intentional fall-through.
Serban Constantinescu63fe93d2014-06-30 17:10:28 +0100932 case kReference:
Andreas Gampe3c12c512014-06-24 18:46:29 +0000933 r_dest = Check32BitReg(r_dest);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100934 opcode = kA64Ldr4rXxG;
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100935 expected_scale = 2;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100936 break;
937 case kUnsignedHalf:
Andreas Gampe4b537a82014-06-30 22:24:53 -0700938 r_dest = Check32BitReg(r_dest);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100939 opcode = kA64Ldrh4wXxd;
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100940 expected_scale = 1;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100941 break;
942 case kSignedHalf:
Andreas Gampe4b537a82014-06-30 22:24:53 -0700943 r_dest = Check32BitReg(r_dest);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100944 opcode = kA64Ldrsh4rXxd;
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100945 expected_scale = 1;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100946 break;
947 case kUnsignedByte:
Andreas Gampe4b537a82014-06-30 22:24:53 -0700948 r_dest = Check32BitReg(r_dest);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100949 opcode = kA64Ldrb3wXx;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100950 break;
951 case kSignedByte:
Andreas Gampe4b537a82014-06-30 22:24:53 -0700952 r_dest = Check32BitReg(r_dest);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100953 opcode = kA64Ldrsb3rXx;
Matteo Franchin43ec8732014-03-31 15:00:14 +0100954 break;
955 default:
956 LOG(FATAL) << "Bad size: " << size;
957 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100958
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100959 if (UNLIKELY(expected_scale == 0)) {
960 // This is a tertiary op (e.g. ldrb, ldrsb), it does not not support scale.
961 DCHECK_NE(EncodingMap[UNWIDE(opcode)].flags & IS_TERTIARY_OP, 0U);
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100962 DCHECK_EQ(scale, 0);
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100963 load = NewLIR3(opcode, r_dest.GetReg(), r_base.GetReg(), r_index.GetReg());
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100964 } else {
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100965 DCHECK(scale == 0 || scale == expected_scale);
966 load = NewLIR4(opcode, r_dest.GetReg(), r_base.GetReg(), r_index.GetReg(),
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100967 (scale != 0) ? 1 : 0);
968 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100969
970 return load;
971}
972
Matteo Franchin255e0142014-07-04 13:50:41 +0100973LIR* Arm64Mir2Lir::LoadRefIndexed(RegStorage r_base, RegStorage r_index, RegStorage r_dest,
974 int scale) {
975 return LoadBaseIndexed(r_base, r_index, As32BitReg(r_dest), scale, kReference);
Andreas Gampe3c12c512014-06-24 18:46:29 +0000976}
977
Matteo Franchin43ec8732014-03-31 15:00:14 +0100978LIR* Arm64Mir2Lir::StoreBaseIndexed(RegStorage r_base, RegStorage r_index, RegStorage r_src,
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100979 int scale, OpSize size) {
980 LIR* store;
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100981 int expected_scale = 0;
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100982 ArmOpcode opcode = kA64Brk1d;
Andreas Gampe4b537a82014-06-30 22:24:53 -0700983 r_base = Check64BitReg(r_base);
Serban Constantinescu63fe93d2014-06-30 17:10:28 +0100984
985 // TODO(Arm64): The sign extension of r_index should be carried out by using an extended
986 // register offset store (rather than doing the sign extension in a separate instruction).
987 if (r_index.Is32Bit()) {
988 // Assemble: ``sxtw xN, wN''.
989 r_index = As64BitReg(r_index);
990 NewLIR4(WIDE(kA64Sbfm4rrdd), r_index.GetReg(), r_index.GetReg(), 0, 31);
991 }
Matteo Franchin43ec8732014-03-31 15:00:14 +0100992
993 if (r_src.IsFloat()) {
Matteo Franchin0955f7e2014-05-23 17:32:52 +0100994 if (r_src.IsDouble()) {
995 DCHECK(size == k64 || size == kDouble);
996 expected_scale = 3;
997 opcode = FWIDE(kA64Str4fXxG);
998 } else {
999 DCHECK(r_src.IsSingle());
1000 DCHECK(size == k32 || size == kSingle);
1001 expected_scale = 2;
1002 opcode = kA64Str4fXxG;
1003 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001004
Matteo Franchin0955f7e2014-05-23 17:32:52 +01001005 DCHECK(scale == 0 || scale == expected_scale);
1006 return NewLIR4(opcode, r_src.GetReg(), r_base.GetReg(), r_index.GetReg(),
1007 (scale != 0) ? 1 : 0);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001008 }
1009
1010 switch (size) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001011 case kDouble: // Intentional fall-trough.
1012 case kWord: // Intentional fall-trough.
1013 case k64:
Andreas Gampe3c12c512014-06-24 18:46:29 +00001014 r_src = Check64BitReg(r_src);
Matteo Franchin0955f7e2014-05-23 17:32:52 +01001015 opcode = WIDE(kA64Str4rXxG);
1016 expected_scale = 3;
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001017 break;
1018 case kSingle: // Intentional fall-trough.
1019 case k32: // Intentional fall-trough.
Matteo Franchin255e0142014-07-04 13:50:41 +01001020 case kReference:
Andreas Gampe3c12c512014-06-24 18:46:29 +00001021 r_src = Check32BitReg(r_src);
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001022 opcode = kA64Str4rXxG;
Matteo Franchin0955f7e2014-05-23 17:32:52 +01001023 expected_scale = 2;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001024 break;
1025 case kUnsignedHalf:
Matteo Franchin43ec8732014-03-31 15:00:14 +01001026 case kSignedHalf:
Andreas Gampe4b537a82014-06-30 22:24:53 -07001027 r_src = Check32BitReg(r_src);
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001028 opcode = kA64Strh4wXxd;
Matteo Franchin0955f7e2014-05-23 17:32:52 +01001029 expected_scale = 1;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001030 break;
1031 case kUnsignedByte:
Matteo Franchin43ec8732014-03-31 15:00:14 +01001032 case kSignedByte:
Andreas Gampe4b537a82014-06-30 22:24:53 -07001033 r_src = Check32BitReg(r_src);
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001034 opcode = kA64Strb3wXx;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001035 break;
1036 default:
1037 LOG(FATAL) << "Bad size: " << size;
1038 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001039
Matteo Franchin0955f7e2014-05-23 17:32:52 +01001040 if (UNLIKELY(expected_scale == 0)) {
1041 // This is a tertiary op (e.g. strb), it does not not support scale.
1042 DCHECK_NE(EncodingMap[UNWIDE(opcode)].flags & IS_TERTIARY_OP, 0U);
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001043 DCHECK_EQ(scale, 0);
Matteo Franchin0955f7e2014-05-23 17:32:52 +01001044 store = NewLIR3(opcode, r_src.GetReg(), r_base.GetReg(), r_index.GetReg());
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001045 } else {
Matteo Franchin0955f7e2014-05-23 17:32:52 +01001046 store = NewLIR4(opcode, r_src.GetReg(), r_base.GetReg(), r_index.GetReg(),
1047 (scale != 0) ? 1 : 0);
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001048 }
Matteo Franchin43ec8732014-03-31 15:00:14 +01001049
1050 return store;
1051}
1052
Matteo Franchin255e0142014-07-04 13:50:41 +01001053LIR* Arm64Mir2Lir::StoreRefIndexed(RegStorage r_base, RegStorage r_index, RegStorage r_src,
1054 int scale) {
1055 return StoreBaseIndexed(r_base, r_index, As32BitReg(r_src), scale, kReference);
Andreas Gampe3c12c512014-06-24 18:46:29 +00001056}
1057
Matteo Franchin43ec8732014-03-31 15:00:14 +01001058/*
1059 * Load value from base + displacement. Optionally perform null check
1060 * on base (which must have an associated s_reg and MIR). If not
1061 * performing null check, incoming MIR can be null.
1062 */
1063LIR* Arm64Mir2Lir::LoadBaseDispBody(RegStorage r_base, int displacement, RegStorage r_dest,
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001064 OpSize size) {
Matteo Franchin43ec8732014-03-31 15:00:14 +01001065 LIR* load = NULL;
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001066 ArmOpcode opcode = kA64Brk1d;
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001067 ArmOpcode alt_opcode = kA64Brk1d;
1068 int scale = 0;
1069
Matteo Franchin43ec8732014-03-31 15:00:14 +01001070 switch (size) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001071 case kDouble: // Intentional fall-through.
1072 case kWord: // Intentional fall-through.
Matteo Franchin43ec8732014-03-31 15:00:14 +01001073 case k64:
Andreas Gampe3c12c512014-06-24 18:46:29 +00001074 r_dest = Check64BitReg(r_dest);
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001075 scale = 3;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001076 if (r_dest.IsFloat()) {
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001077 DCHECK(r_dest.IsDouble());
1078 opcode = FWIDE(kA64Ldr3fXD);
1079 alt_opcode = FWIDE(kA64Ldur3fXd);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001080 } else {
Matteo Franchin0955f7e2014-05-23 17:32:52 +01001081 opcode = WIDE(kA64Ldr3rXD);
1082 alt_opcode = WIDE(kA64Ldur3rXd);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001083 }
1084 break;
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001085 case kSingle: // Intentional fall-through.
1086 case k32: // Intentional fall-trough.
Matteo Franchin255e0142014-07-04 13:50:41 +01001087 case kReference:
Andreas Gampe3c12c512014-06-24 18:46:29 +00001088 r_dest = Check32BitReg(r_dest);
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001089 scale = 2;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001090 if (r_dest.IsFloat()) {
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001091 DCHECK(r_dest.IsSingle());
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001092 opcode = kA64Ldr3fXD;
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001093 } else {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001094 opcode = kA64Ldr3rXD;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001095 }
1096 break;
1097 case kUnsignedHalf:
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001098 scale = 1;
1099 opcode = kA64Ldrh3wXF;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001100 break;
1101 case kSignedHalf:
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001102 scale = 1;
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001103 opcode = kA64Ldrsh3rXF;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001104 break;
1105 case kUnsignedByte:
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001106 opcode = kA64Ldrb3wXd;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001107 break;
1108 case kSignedByte:
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001109 opcode = kA64Ldrsb3rXd;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001110 break;
1111 default:
1112 LOG(FATAL) << "Bad size: " << size;
1113 }
1114
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001115 bool displacement_is_aligned = (displacement & ((1 << scale) - 1)) == 0;
1116 int scaled_disp = displacement >> scale;
1117 if (displacement_is_aligned && scaled_disp >= 0 && scaled_disp < 4096) {
1118 // Can use scaled load.
1119 load = NewLIR3(opcode, r_dest.GetReg(), r_base.GetReg(), scaled_disp);
1120 } else if (alt_opcode != kA64Brk1d && IS_SIGNED_IMM9(displacement)) {
1121 // Can use unscaled load.
1122 load = NewLIR3(alt_opcode, r_dest.GetReg(), r_base.GetReg(), displacement);
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001123 } else {
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001124 // Use long sequence.
buzbee33ae5582014-06-12 14:56:32 -07001125 // TODO: cleaner support for index/displacement registers? Not a reference, but must match width.
1126 RegStorage r_scratch = AllocTempWide();
1127 LoadConstantWide(r_scratch, displacement);
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001128 load = LoadBaseIndexed(r_base, r_scratch, r_dest, 0, size);
1129 FreeTemp(r_scratch);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001130 }
1131
1132 // TODO: in future may need to differentiate Dalvik accesses w/ spills
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001133 if (mem_ref_type_ == ResourceMask::kDalvikReg) {
Zheng Xubaa7c882014-06-30 14:26:50 +08001134 DCHECK(r_base == rs_sp);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001135 AnnotateDalvikRegAccess(load, displacement >> 2, true /* is_load */, r_dest.Is64Bit());
Matteo Franchin43ec8732014-03-31 15:00:14 +01001136 }
1137 return load;
1138}
1139
Andreas Gampe3c12c512014-06-24 18:46:29 +00001140LIR* Arm64Mir2Lir::LoadBaseDisp(RegStorage r_base, int displacement, RegStorage r_dest,
1141 OpSize size, VolatileKind is_volatile) {
Vladimir Marko674744e2014-04-24 15:18:26 +01001142 // LoadBaseDisp() will emit correct insn for atomic load on arm64
1143 // assuming r_dest is correctly prepared using RegClassForFieldLoadStore().
Andreas Gampe3c12c512014-06-24 18:46:29 +00001144
1145 LIR* load = LoadBaseDispBody(r_base, displacement, r_dest, size);
1146
1147 if (UNLIKELY(is_volatile == kVolatile)) {
1148 // Without context sensitive analysis, we must issue the most conservative barriers.
1149 // In this case, either a load or store may follow so we issue both barriers.
1150 GenMemBarrier(kLoadLoad);
1151 GenMemBarrier(kLoadStore);
1152 }
1153
1154 return load;
Vladimir Marko674744e2014-04-24 15:18:26 +01001155}
1156
Andreas Gampe3c12c512014-06-24 18:46:29 +00001157LIR* Arm64Mir2Lir::LoadRefDisp(RegStorage r_base, int displacement, RegStorage r_dest,
1158 VolatileKind is_volatile) {
1159 return LoadBaseDisp(r_base, displacement, As32BitReg(r_dest), kReference, is_volatile);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001160}
1161
Matteo Franchin43ec8732014-03-31 15:00:14 +01001162LIR* Arm64Mir2Lir::StoreBaseDispBody(RegStorage r_base, int displacement, RegStorage r_src,
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001163 OpSize size) {
Matteo Franchin43ec8732014-03-31 15:00:14 +01001164 LIR* store = NULL;
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001165 ArmOpcode opcode = kA64Brk1d;
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001166 ArmOpcode alt_opcode = kA64Brk1d;
1167 int scale = 0;
1168
Matteo Franchin43ec8732014-03-31 15:00:14 +01001169 switch (size) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001170 case kDouble: // Intentional fall-through.
1171 case kWord: // Intentional fall-through.
Matteo Franchin43ec8732014-03-31 15:00:14 +01001172 case k64:
Andreas Gampe3c12c512014-06-24 18:46:29 +00001173 r_src = Check64BitReg(r_src);
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001174 scale = 3;
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001175 if (r_src.IsFloat()) {
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001176 DCHECK(r_src.IsDouble());
1177 opcode = FWIDE(kA64Str3fXD);
1178 alt_opcode = FWIDE(kA64Stur3fXd);
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001179 } else {
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001180 opcode = FWIDE(kA64Str3rXD);
1181 alt_opcode = FWIDE(kA64Stur3rXd);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001182 }
1183 break;
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001184 case kSingle: // Intentional fall-through.
1185 case k32: // Intentional fall-trough.
Matteo Franchin255e0142014-07-04 13:50:41 +01001186 case kReference:
Andreas Gampe3c12c512014-06-24 18:46:29 +00001187 r_src = Check32BitReg(r_src);
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001188 scale = 2;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001189 if (r_src.IsFloat()) {
1190 DCHECK(r_src.IsSingle());
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001191 opcode = kA64Str3fXD;
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001192 } else {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001193 opcode = kA64Str3rXD;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001194 }
1195 break;
1196 case kUnsignedHalf:
1197 case kSignedHalf:
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001198 scale = 1;
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001199 opcode = kA64Strh3wXF;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001200 break;
1201 case kUnsignedByte:
1202 case kSignedByte:
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001203 opcode = kA64Strb3wXd;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001204 break;
1205 default:
1206 LOG(FATAL) << "Bad size: " << size;
1207 }
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001208
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001209 bool displacement_is_aligned = (displacement & ((1 << scale) - 1)) == 0;
1210 int scaled_disp = displacement >> scale;
1211 if (displacement_is_aligned && scaled_disp >= 0 && scaled_disp < 4096) {
1212 // Can use scaled store.
1213 store = NewLIR3(opcode, r_src.GetReg(), r_base.GetReg(), scaled_disp);
1214 } else if (alt_opcode != kA64Brk1d && IS_SIGNED_IMM9(displacement)) {
1215 // Can use unscaled store.
1216 store = NewLIR3(alt_opcode, r_src.GetReg(), r_base.GetReg(), displacement);
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001217 } else {
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001218 // Use long sequence.
buzbee33ae5582014-06-12 14:56:32 -07001219 RegStorage r_scratch = AllocTempWide();
1220 LoadConstantWide(r_scratch, displacement);
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001221 store = StoreBaseIndexed(r_base, r_scratch, r_src, 0, size);
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001222 FreeTemp(r_scratch);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001223 }
1224
Matteo Franchinbc6d1972014-05-13 12:33:28 +01001225 // TODO: In future, may need to differentiate Dalvik & spill accesses.
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001226 if (mem_ref_type_ == ResourceMask::kDalvikReg) {
Zheng Xubaa7c882014-06-30 14:26:50 +08001227 DCHECK(r_base == rs_sp);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001228 AnnotateDalvikRegAccess(store, displacement >> 2, false /* is_load */, r_src.Is64Bit());
Matteo Franchin43ec8732014-03-31 15:00:14 +01001229 }
1230 return store;
1231}
1232
Andreas Gampe3c12c512014-06-24 18:46:29 +00001233LIR* Arm64Mir2Lir::StoreBaseDisp(RegStorage r_base, int displacement, RegStorage r_src,
1234 OpSize size, VolatileKind is_volatile) {
1235 if (UNLIKELY(is_volatile == kVolatile)) {
1236 // There might have been a store before this volatile one so insert StoreStore barrier.
1237 GenMemBarrier(kStoreStore);
1238 }
1239
Vladimir Marko674744e2014-04-24 15:18:26 +01001240 // StoreBaseDisp() will emit correct insn for atomic store on arm64
1241 // assuming r_dest is correctly prepared using RegClassForFieldLoadStore().
Andreas Gampe3c12c512014-06-24 18:46:29 +00001242
1243 LIR* store = StoreBaseDispBody(r_base, displacement, r_src, size);
1244
1245 if (UNLIKELY(is_volatile == kVolatile)) {
1246 // A load might follow the volatile store so insert a StoreLoad barrier.
1247 GenMemBarrier(kStoreLoad);
1248 }
1249
1250 return store;
Vladimir Marko674744e2014-04-24 15:18:26 +01001251}
1252
Andreas Gampe3c12c512014-06-24 18:46:29 +00001253LIR* Arm64Mir2Lir::StoreRefDisp(RegStorage r_base, int displacement, RegStorage r_src,
1254 VolatileKind is_volatile) {
1255 return StoreBaseDisp(r_base, displacement, As32BitReg(r_src), kReference, is_volatile);
Matteo Franchin43ec8732014-03-31 15:00:14 +01001256}
1257
Matteo Franchin43ec8732014-03-31 15:00:14 +01001258LIR* Arm64Mir2Lir::OpFpRegCopy(RegStorage r_dest, RegStorage r_src) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001259 LOG(FATAL) << "Unexpected use of OpFpRegCopy for Arm64";
1260 return NULL;
Matteo Franchin43ec8732014-03-31 15:00:14 +01001261}
1262
Andreas Gampe2f244e92014-05-08 03:35:25 -07001263LIR* Arm64Mir2Lir::OpThreadMem(OpKind op, ThreadOffset<4> thread_offset) {
1264 UNIMPLEMENTED(FATAL) << "Should not be used.";
1265 return nullptr;
1266}
1267
1268LIR* Arm64Mir2Lir::OpThreadMem(OpKind op, ThreadOffset<8> thread_offset) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001269 LOG(FATAL) << "Unexpected use of OpThreadMem for Arm64";
Matteo Franchin43ec8732014-03-31 15:00:14 +01001270 return NULL;
1271}
1272
1273LIR* Arm64Mir2Lir::OpMem(OpKind op, RegStorage r_base, int disp) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001274 LOG(FATAL) << "Unexpected use of OpMem for Arm64";
Matteo Franchin43ec8732014-03-31 15:00:14 +01001275 return NULL;
1276}
1277
1278LIR* Arm64Mir2Lir::StoreBaseIndexedDisp(RegStorage r_base, RegStorage r_index, int scale,
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001279 int displacement, RegStorage r_src, OpSize size) {
1280 LOG(FATAL) << "Unexpected use of StoreBaseIndexedDisp for Arm64";
Matteo Franchin43ec8732014-03-31 15:00:14 +01001281 return NULL;
1282}
1283
1284LIR* Arm64Mir2Lir::OpRegMem(OpKind op, RegStorage r_dest, RegStorage r_base, int offset) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001285 LOG(FATAL) << "Unexpected use of OpRegMem for Arm64";
Matteo Franchin43ec8732014-03-31 15:00:14 +01001286 return NULL;
1287}
1288
1289LIR* Arm64Mir2Lir::LoadBaseIndexedDisp(RegStorage r_base, RegStorage r_index, int scale,
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001290 int displacement, RegStorage r_dest, OpSize size) {
Matteo Franchine45fb9e2014-05-06 10:10:30 +01001291 LOG(FATAL) << "Unexpected use of LoadBaseIndexedDisp for Arm64";
Matteo Franchin43ec8732014-03-31 15:00:14 +01001292 return NULL;
1293}
1294
1295} // namespace art