blob: 926b75e35f0a79e620a05c314d2773b099a27669 [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
2 * Copyright (C) 2012 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
Andreas Gampe0b9203e2015-01-22 20:39:27 -080017#include "codegen_x86.h"
18
Maxim Kazantsev6dccdc22014-08-18 18:43:55 +070019#include <cstdarg>
Nicolas Geoffrayf3e2cc42014-02-18 18:37:26 +000020#include <inttypes.h>
Maxim Kazantsev6dccdc22014-08-18 18:43:55 +070021#include <string>
Nicolas Geoffrayf3e2cc42014-02-18 18:37:26 +000022
Elliott Hughes8366ca02014-11-17 12:02:05 -080023#include "arch/instruction_set_features.h"
Andreas Gampe53c913b2014-08-12 23:19:23 -070024#include "backend_x86.h"
Andreas Gampe0b9203e2015-01-22 20:39:27 -080025#include "base/logging.h"
26#include "dex/compiler_ir.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070027#include "dex/quick/mir_to_lir-inl.h"
buzbeeb5860fb2014-06-21 15:31:01 -070028#include "dex/reg_storage_eq.h"
Andreas Gampe0b9203e2015-01-22 20:39:27 -080029#include "driver/compiler_driver.h"
Ian Rogers7e70b002014-10-08 11:47:24 -070030#include "mirror/array-inl.h"
Vladimir Markof4da6752014-08-01 19:04:18 +010031#include "mirror/art_method.h"
Mark Mendelle19c91f2014-02-25 08:19:08 -080032#include "mirror/string.h"
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -070033#include "oat.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070034#include "x86_lir.h"
35
Brian Carlstrom7940e442013-07-12 13:46:57 -070036namespace art {
37
Vladimir Marko089142c2014-06-05 10:57:05 +010038static constexpr RegStorage core_regs_arr_32[] = {
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +070039 rs_rAX, rs_rCX, rs_rDX, rs_rBX, rs_rX86_SP_32, rs_rBP, rs_rSI, rs_rDI,
40};
Vladimir Marko089142c2014-06-05 10:57:05 +010041static constexpr RegStorage core_regs_arr_64[] = {
Dmitry Petrochenko76af0d32014-06-05 21:15:08 +070042 rs_rAX, rs_rCX, rs_rDX, rs_rBX, rs_rX86_SP_32, rs_rBP, rs_rSI, rs_rDI,
buzbee091cc402014-03-31 10:14:40 -070043 rs_r8, rs_r9, rs_r10, rs_r11, rs_r12, rs_r13, rs_r14, rs_r15
Brian Carlstrom7940e442013-07-12 13:46:57 -070044};
Vladimir Marko089142c2014-06-05 10:57:05 +010045static constexpr RegStorage core_regs_arr_64q[] = {
Dmitry Petrochenko0999a6f2014-05-22 12:26:50 +070046 rs_r0q, rs_r1q, rs_r2q, rs_r3q, rs_rX86_SP_64, rs_r5q, rs_r6q, rs_r7q,
Dmitry Petrochenkoa20468c2014-04-30 13:40:19 +070047 rs_r8q, rs_r9q, rs_r10q, rs_r11q, rs_r12q, rs_r13q, rs_r14q, rs_r15q
Dmitry Petrochenko0999a6f2014-05-22 12:26:50 +070048};
Vladimir Marko089142c2014-06-05 10:57:05 +010049static constexpr RegStorage sp_regs_arr_32[] = {
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +070050 rs_fr0, rs_fr1, rs_fr2, rs_fr3, rs_fr4, rs_fr5, rs_fr6, rs_fr7,
51};
Vladimir Marko089142c2014-06-05 10:57:05 +010052static constexpr RegStorage sp_regs_arr_64[] = {
buzbee091cc402014-03-31 10:14:40 -070053 rs_fr0, rs_fr1, rs_fr2, rs_fr3, rs_fr4, rs_fr5, rs_fr6, rs_fr7,
buzbee091cc402014-03-31 10:14:40 -070054 rs_fr8, rs_fr9, rs_fr10, rs_fr11, rs_fr12, rs_fr13, rs_fr14, rs_fr15
Brian Carlstrom7940e442013-07-12 13:46:57 -070055};
Vladimir Marko089142c2014-06-05 10:57:05 +010056static constexpr RegStorage dp_regs_arr_32[] = {
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +070057 rs_dr0, rs_dr1, rs_dr2, rs_dr3, rs_dr4, rs_dr5, rs_dr6, rs_dr7,
58};
Vladimir Marko089142c2014-06-05 10:57:05 +010059static constexpr RegStorage dp_regs_arr_64[] = {
buzbee091cc402014-03-31 10:14:40 -070060 rs_dr0, rs_dr1, rs_dr2, rs_dr3, rs_dr4, rs_dr5, rs_dr6, rs_dr7,
buzbee091cc402014-03-31 10:14:40 -070061 rs_dr8, rs_dr9, rs_dr10, rs_dr11, rs_dr12, rs_dr13, rs_dr14, rs_dr15
Brian Carlstrom7940e442013-07-12 13:46:57 -070062};
Serguei Katkovc3801912014-07-08 17:21:53 +070063static constexpr RegStorage xp_regs_arr_32[] = {
64 rs_xr0, rs_xr1, rs_xr2, rs_xr3, rs_xr4, rs_xr5, rs_xr6, rs_xr7,
65};
66static constexpr RegStorage xp_regs_arr_64[] = {
67 rs_xr0, rs_xr1, rs_xr2, rs_xr3, rs_xr4, rs_xr5, rs_xr6, rs_xr7,
68 rs_xr8, rs_xr9, rs_xr10, rs_xr11, rs_xr12, rs_xr13, rs_xr14, rs_xr15
69};
Vladimir Marko089142c2014-06-05 10:57:05 +010070static constexpr RegStorage reserved_regs_arr_32[] = {rs_rX86_SP_32};
Dmitry Petrochenko76af0d32014-06-05 21:15:08 +070071static constexpr RegStorage reserved_regs_arr_64[] = {rs_rX86_SP_32};
Vladimir Marko089142c2014-06-05 10:57:05 +010072static constexpr RegStorage reserved_regs_arr_64q[] = {rs_rX86_SP_64};
73static constexpr RegStorage core_temps_arr_32[] = {rs_rAX, rs_rCX, rs_rDX, rs_rBX};
74static constexpr RegStorage core_temps_arr_64[] = {
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +070075 rs_rAX, rs_rCX, rs_rDX, rs_rSI, rs_rDI,
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +070076 rs_r8, rs_r9, rs_r10, rs_r11
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +070077};
Serguei Katkovc3801912014-07-08 17:21:53 +070078
79// How to add register to be available for promotion:
80// 1) Remove register from array defining temp
81// 2) Update ClobberCallerSave
82// 3) Update JNI compiler ABI:
83// 3.1) add reg in JniCallingConvention method
84// 3.2) update CoreSpillMask/FpSpillMask
85// 4) Update entrypoints
86// 4.1) Update constants in asm_support_x86_64.h for new frame size
87// 4.2) Remove entry in SmashCallerSaves
88// 4.3) Update jni_entrypoints to spill/unspill new callee save reg
89// 4.4) Update quick_entrypoints to spill/unspill new callee save reg
90// 5) Update runtime ABI
91// 5.1) Update quick_method_frame_info with new required spills
92// 5.2) Update QuickArgumentVisitor with new offsets to gprs and xmms
93// Note that you cannot use register corresponding to incoming args
94// according to ABI and QCG needs one additional XMM temp for
95// bulk copy in preparation to call.
Vladimir Marko089142c2014-06-05 10:57:05 +010096static constexpr RegStorage core_temps_arr_64q[] = {
Dmitry Petrochenko0999a6f2014-05-22 12:26:50 +070097 rs_r0q, rs_r1q, rs_r2q, rs_r6q, rs_r7q,
Dmitry Petrochenko0999a6f2014-05-22 12:26:50 +070098 rs_r8q, rs_r9q, rs_r10q, rs_r11q
Dmitry Petrochenko0999a6f2014-05-22 12:26:50 +070099};
Vladimir Marko089142c2014-06-05 10:57:05 +0100100static constexpr RegStorage sp_temps_arr_32[] = {
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +0700101 rs_fr0, rs_fr1, rs_fr2, rs_fr3, rs_fr4, rs_fr5, rs_fr6, rs_fr7,
102};
Vladimir Marko089142c2014-06-05 10:57:05 +0100103static constexpr RegStorage sp_temps_arr_64[] = {
buzbee091cc402014-03-31 10:14:40 -0700104 rs_fr0, rs_fr1, rs_fr2, rs_fr3, rs_fr4, rs_fr5, rs_fr6, rs_fr7,
Serguei Katkovc3801912014-07-08 17:21:53 +0700105 rs_fr8, rs_fr9, rs_fr10, rs_fr11
buzbee091cc402014-03-31 10:14:40 -0700106};
Vladimir Marko089142c2014-06-05 10:57:05 +0100107static constexpr RegStorage dp_temps_arr_32[] = {
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +0700108 rs_dr0, rs_dr1, rs_dr2, rs_dr3, rs_dr4, rs_dr5, rs_dr6, rs_dr7,
109};
Vladimir Marko089142c2014-06-05 10:57:05 +0100110static constexpr RegStorage dp_temps_arr_64[] = {
buzbee091cc402014-03-31 10:14:40 -0700111 rs_dr0, rs_dr1, rs_dr2, rs_dr3, rs_dr4, rs_dr5, rs_dr6, rs_dr7,
Serguei Katkovc3801912014-07-08 17:21:53 +0700112 rs_dr8, rs_dr9, rs_dr10, rs_dr11
buzbee091cc402014-03-31 10:14:40 -0700113};
114
Vladimir Marko089142c2014-06-05 10:57:05 +0100115static constexpr RegStorage xp_temps_arr_32[] = {
Mark Mendellfe945782014-05-22 09:52:36 -0400116 rs_xr0, rs_xr1, rs_xr2, rs_xr3, rs_xr4, rs_xr5, rs_xr6, rs_xr7,
117};
Vladimir Marko089142c2014-06-05 10:57:05 +0100118static constexpr RegStorage xp_temps_arr_64[] = {
Mark Mendellfe945782014-05-22 09:52:36 -0400119 rs_xr0, rs_xr1, rs_xr2, rs_xr3, rs_xr4, rs_xr5, rs_xr6, rs_xr7,
Serguei Katkovc3801912014-07-08 17:21:53 +0700120 rs_xr8, rs_xr9, rs_xr10, rs_xr11
Mark Mendellfe945782014-05-22 09:52:36 -0400121};
122
Vladimir Marko089142c2014-06-05 10:57:05 +0100123static constexpr ArrayRef<const RegStorage> empty_pool;
124static constexpr ArrayRef<const RegStorage> core_regs_32(core_regs_arr_32);
125static constexpr ArrayRef<const RegStorage> core_regs_64(core_regs_arr_64);
126static constexpr ArrayRef<const RegStorage> core_regs_64q(core_regs_arr_64q);
127static constexpr ArrayRef<const RegStorage> sp_regs_32(sp_regs_arr_32);
128static constexpr ArrayRef<const RegStorage> sp_regs_64(sp_regs_arr_64);
129static constexpr ArrayRef<const RegStorage> dp_regs_32(dp_regs_arr_32);
130static constexpr ArrayRef<const RegStorage> dp_regs_64(dp_regs_arr_64);
Serguei Katkovc3801912014-07-08 17:21:53 +0700131static constexpr ArrayRef<const RegStorage> xp_regs_32(xp_regs_arr_32);
132static constexpr ArrayRef<const RegStorage> xp_regs_64(xp_regs_arr_64);
Vladimir Marko089142c2014-06-05 10:57:05 +0100133static constexpr ArrayRef<const RegStorage> reserved_regs_32(reserved_regs_arr_32);
134static constexpr ArrayRef<const RegStorage> reserved_regs_64(reserved_regs_arr_64);
135static constexpr ArrayRef<const RegStorage> reserved_regs_64q(reserved_regs_arr_64q);
136static constexpr ArrayRef<const RegStorage> core_temps_32(core_temps_arr_32);
137static constexpr ArrayRef<const RegStorage> core_temps_64(core_temps_arr_64);
138static constexpr ArrayRef<const RegStorage> core_temps_64q(core_temps_arr_64q);
139static constexpr ArrayRef<const RegStorage> sp_temps_32(sp_temps_arr_32);
140static constexpr ArrayRef<const RegStorage> sp_temps_64(sp_temps_arr_64);
141static constexpr ArrayRef<const RegStorage> dp_temps_32(dp_temps_arr_32);
142static constexpr ArrayRef<const RegStorage> dp_temps_64(dp_temps_arr_64);
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +0700143
Vladimir Marko089142c2014-06-05 10:57:05 +0100144static constexpr ArrayRef<const RegStorage> xp_temps_32(xp_temps_arr_32);
145static constexpr ArrayRef<const RegStorage> xp_temps_64(xp_temps_arr_64);
Mark Mendellfe945782014-05-22 09:52:36 -0400146
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700147RegLocation X86Mir2Lir::LocCReturn() {
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000148 return x86_loc_c_return;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700149}
150
buzbeea0cd2d72014-06-01 09:33:49 -0700151RegLocation X86Mir2Lir::LocCReturnRef() {
Chao-ying Fua77ee512014-07-01 17:43:41 -0700152 return cu_->target64 ? x86_64_loc_c_return_ref : x86_loc_c_return_ref;
buzbeea0cd2d72014-06-01 09:33:49 -0700153}
154
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700155RegLocation X86Mir2Lir::LocCReturnWide() {
Elena Sayapinadd644502014-07-01 18:39:52 +0700156 return cu_->target64 ? x86_64_loc_c_return_wide : x86_loc_c_return_wide;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700157}
158
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700159RegLocation X86Mir2Lir::LocCReturnFloat() {
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000160 return x86_loc_c_return_float;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700161}
162
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700163RegLocation X86Mir2Lir::LocCReturnDouble() {
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000164 return x86_loc_c_return_double;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700165}
166
Ian Rogersb28c1c02014-11-08 11:21:21 -0800167// 32-bit reg storage locations for 32-bit targets.
168static const RegStorage RegStorage32FromSpecialTargetRegister_Target32[] {
169 RegStorage::InvalidReg(), // kSelf - Thread pointer.
170 RegStorage::InvalidReg(), // kSuspend - Used to reduce suspend checks for some targets.
171 RegStorage::InvalidReg(), // kLr - no register as the return address is pushed on entry.
172 RegStorage::InvalidReg(), // kPc - not exposed on X86 see kX86StartOfMethod.
173 rs_rX86_SP_32, // kSp
174 rs_rAX, // kArg0
175 rs_rCX, // kArg1
176 rs_rDX, // kArg2
177 rs_rBX, // kArg3
178 RegStorage::InvalidReg(), // kArg4
179 RegStorage::InvalidReg(), // kArg5
180 RegStorage::InvalidReg(), // kArg6
181 RegStorage::InvalidReg(), // kArg7
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000182 rs_fr0, // kFArg0
183 rs_fr1, // kFArg1
184 rs_fr2, // kFArg2
185 rs_fr3, // kFArg3
Ian Rogersb28c1c02014-11-08 11:21:21 -0800186 RegStorage::InvalidReg(), // kFArg4
187 RegStorage::InvalidReg(), // kFArg5
188 RegStorage::InvalidReg(), // kFArg6
189 RegStorage::InvalidReg(), // kFArg7
190 RegStorage::InvalidReg(), // kFArg8
191 RegStorage::InvalidReg(), // kFArg9
192 RegStorage::InvalidReg(), // kFArg10
193 RegStorage::InvalidReg(), // kFArg11
194 RegStorage::InvalidReg(), // kFArg12
195 RegStorage::InvalidReg(), // kFArg13
196 RegStorage::InvalidReg(), // kFArg14
197 RegStorage::InvalidReg(), // kFArg15
198 rs_rAX, // kRet0
199 rs_rDX, // kRet1
200 rs_rAX, // kInvokeTgt
201 rs_rAX, // kHiddenArg - used to hold the method index before copying to fr0.
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000202 rs_fr7, // kHiddenFpArg
Ian Rogersb28c1c02014-11-08 11:21:21 -0800203 rs_rCX, // kCount
204};
205
206// 32-bit reg storage locations for 64-bit targets.
207static const RegStorage RegStorage32FromSpecialTargetRegister_Target64[] {
208 RegStorage::InvalidReg(), // kSelf - Thread pointer.
209 RegStorage::InvalidReg(), // kSuspend - Used to reduce suspend checks for some targets.
210 RegStorage::InvalidReg(), // kLr - no register as the return address is pushed on entry.
Mark Mendell27dee8b2014-12-01 19:06:12 -0500211 RegStorage(kRIPReg), // kPc
Ian Rogersb28c1c02014-11-08 11:21:21 -0800212 rs_rX86_SP_32, // kSp
213 rs_rDI, // kArg0
214 rs_rSI, // kArg1
215 rs_rDX, // kArg2
216 rs_rCX, // kArg3
217 rs_r8, // kArg4
218 rs_r9, // kArg5
219 RegStorage::InvalidReg(), // kArg6
220 RegStorage::InvalidReg(), // kArg7
221 rs_fr0, // kFArg0
222 rs_fr1, // kFArg1
223 rs_fr2, // kFArg2
224 rs_fr3, // kFArg3
225 rs_fr4, // kFArg4
226 rs_fr5, // kFArg5
227 rs_fr6, // kFArg6
228 rs_fr7, // kFArg7
229 RegStorage::InvalidReg(), // kFArg8
230 RegStorage::InvalidReg(), // kFArg9
231 RegStorage::InvalidReg(), // kFArg10
232 RegStorage::InvalidReg(), // kFArg11
233 RegStorage::InvalidReg(), // kFArg12
234 RegStorage::InvalidReg(), // kFArg13
235 RegStorage::InvalidReg(), // kFArg14
236 RegStorage::InvalidReg(), // kFArg15
237 rs_rAX, // kRet0
238 rs_rDX, // kRet1
239 rs_rAX, // kInvokeTgt
240 rs_rAX, // kHiddenArg
241 RegStorage::InvalidReg(), // kHiddenFpArg
242 rs_rCX, // kCount
243};
244static_assert(arraysize(RegStorage32FromSpecialTargetRegister_Target32) ==
245 arraysize(RegStorage32FromSpecialTargetRegister_Target64),
246 "Mismatch in RegStorage array sizes");
247
Chao-ying Fua77ee512014-07-01 17:43:41 -0700248// Return a target-dependent special register for 32-bit.
Ian Rogersb28c1c02014-11-08 11:21:21 -0800249RegStorage X86Mir2Lir::TargetReg32(SpecialTargetRegister reg) const {
250 DCHECK_EQ(RegStorage32FromSpecialTargetRegister_Target32[kCount], rs_rCX);
251 DCHECK_EQ(RegStorage32FromSpecialTargetRegister_Target64[kCount], rs_rCX);
252 DCHECK_LT(reg, arraysize(RegStorage32FromSpecialTargetRegister_Target32));
253 return cu_->target64 ? RegStorage32FromSpecialTargetRegister_Target64[reg]
254 : RegStorage32FromSpecialTargetRegister_Target32[reg];
Brian Carlstrom7940e442013-07-12 13:46:57 -0700255}
256
Chao-ying Fua77ee512014-07-01 17:43:41 -0700257RegStorage X86Mir2Lir::TargetReg(SpecialTargetRegister reg) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700258 UNUSED(reg);
Chao-ying Fua77ee512014-07-01 17:43:41 -0700259 LOG(FATAL) << "Do not use this function!!!";
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700260 UNREACHABLE();
Chao-ying Fua77ee512014-07-01 17:43:41 -0700261}
262
Brian Carlstrom7940e442013-07-12 13:46:57 -0700263/*
264 * Decode the register id.
265 */
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100266ResourceMask X86Mir2Lir::GetRegMaskCommon(const RegStorage& reg) const {
267 /* Double registers in x86 are just a single FP register. This is always just a single bit. */
268 return ResourceMask::Bit(
269 /* FP register starts at bit position 16 */
270 ((reg.IsFloat() || reg.StorageSize() > 8) ? kX86FPReg0 : 0) + reg.GetRegNum());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700271}
272
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100273ResourceMask X86Mir2Lir::GetPCUseDefEncoding() const {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100274 return kEncodeNone;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700275}
276
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100277void X86Mir2Lir::SetupTargetResourceMasks(LIR* lir, uint64_t flags,
278 ResourceMask* use_mask, ResourceMask* def_mask) {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700279 DCHECK(cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64);
buzbeeb48819d2013-09-14 16:15:25 -0700280 DCHECK(!lir->flags.use_def_invalid);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700281
282 // X86-specific resource map setup here.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700283 if (flags & REG_USE_SP) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100284 use_mask->SetBit(kX86RegSP);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700285 }
286
287 if (flags & REG_DEF_SP) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100288 def_mask->SetBit(kX86RegSP);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700289 }
290
291 if (flags & REG_DEFA) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100292 SetupRegMask(def_mask, rs_rAX.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700293 }
294
295 if (flags & REG_DEFD) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100296 SetupRegMask(def_mask, rs_rDX.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700297 }
298 if (flags & REG_USEA) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100299 SetupRegMask(use_mask, rs_rAX.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700300 }
301
302 if (flags & REG_USEC) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100303 SetupRegMask(use_mask, rs_rCX.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700304 }
305
306 if (flags & REG_USED) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100307 SetupRegMask(use_mask, rs_rDX.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700308 }
Vladimir Marko70b797d2013-12-03 15:25:24 +0000309
310 if (flags & REG_USEB) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100311 SetupRegMask(use_mask, rs_rBX.GetReg());
Vladimir Marko70b797d2013-12-03 15:25:24 +0000312 }
Mark Mendell4028a6c2014-02-19 20:06:20 -0800313
314 // Fixup hard to describe instruction: Uses rAX, rCX, rDI; sets rDI.
315 if (lir->opcode == kX86RepneScasw) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100316 SetupRegMask(use_mask, rs_rAX.GetReg());
317 SetupRegMask(use_mask, rs_rCX.GetReg());
318 SetupRegMask(use_mask, rs_rDI.GetReg());
319 SetupRegMask(def_mask, rs_rDI.GetReg());
Mark Mendell4028a6c2014-02-19 20:06:20 -0800320 }
Serguei Katkove90501d2014-03-12 15:56:54 +0700321
322 if (flags & USE_FP_STACK) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100323 use_mask->SetBit(kX86FPStack);
324 def_mask->SetBit(kX86FPStack);
Serguei Katkove90501d2014-03-12 15:56:54 +0700325 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700326}
327
328/* For dumping instructions */
329static const char* x86RegName[] = {
330 "rax", "rcx", "rdx", "rbx", "rsp", "rbp", "rsi", "rdi",
331 "r8", "r9", "r10", "r11", "r12", "r13", "r14", "r15"
332};
333
334static const char* x86CondName[] = {
335 "O",
336 "NO",
337 "B/NAE/C",
338 "NB/AE/NC",
339 "Z/EQ",
340 "NZ/NE",
341 "BE/NA",
342 "NBE/A",
343 "S",
344 "NS",
345 "P/PE",
346 "NP/PO",
347 "L/NGE",
348 "NL/GE",
349 "LE/NG",
350 "NLE/G"
351};
352
353/*
354 * Interpret a format string and build a string no longer than size
355 * See format key in Assemble.cc.
356 */
357std::string X86Mir2Lir::BuildInsnString(const char *fmt, LIR *lir, unsigned char* base_addr) {
358 std::string buf;
359 size_t i = 0;
360 size_t fmt_len = strlen(fmt);
361 while (i < fmt_len) {
362 if (fmt[i] != '!') {
363 buf += fmt[i];
364 i++;
365 } else {
366 i++;
367 DCHECK_LT(i, fmt_len);
368 char operand_number_ch = fmt[i];
369 i++;
370 if (operand_number_ch == '!') {
371 buf += "!";
372 } else {
373 int operand_number = operand_number_ch - '0';
374 DCHECK_LT(operand_number, 6); // Expect upto 6 LIR operands.
375 DCHECK_LT(i, fmt_len);
376 int operand = lir->operands[operand_number];
377 switch (fmt[i]) {
378 case 'c':
379 DCHECK_LT(static_cast<size_t>(operand), sizeof(x86CondName));
380 buf += x86CondName[operand];
381 break;
382 case 'd':
383 buf += StringPrintf("%d", operand);
384 break;
Yixin Shou5192cbb2014-07-01 13:48:17 -0400385 case 'q': {
386 int64_t value = static_cast<int64_t>(static_cast<int64_t>(operand) << 32 |
387 static_cast<uint32_t>(lir->operands[operand_number+1]));
388 buf +=StringPrintf("%" PRId64, value);
Haitao Fenge70f1792014-08-09 08:31:02 +0800389 break;
Yixin Shou5192cbb2014-07-01 13:48:17 -0400390 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700391 case 'p': {
Vladimir Markof6737f72015-03-23 17:05:14 +0000392 const EmbeddedData* tab_rec = UnwrapPointer<EmbeddedData>(operand);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700393 buf += StringPrintf("0x%08x", tab_rec->offset);
394 break;
395 }
396 case 'r':
buzbee091cc402014-03-31 10:14:40 -0700397 if (RegStorage::IsFloat(operand)) {
398 int fp_reg = RegStorage::RegNum(operand);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700399 buf += StringPrintf("xmm%d", fp_reg);
400 } else {
buzbee091cc402014-03-31 10:14:40 -0700401 int reg_num = RegStorage::RegNum(operand);
402 DCHECK_LT(static_cast<size_t>(reg_num), sizeof(x86RegName));
403 buf += x86RegName[reg_num];
Brian Carlstrom7940e442013-07-12 13:46:57 -0700404 }
405 break;
406 case 't':
Ian Rogers107c31e2014-01-23 20:55:29 -0800407 buf += StringPrintf("0x%08" PRIxPTR " (L%p)",
408 reinterpret_cast<uintptr_t>(base_addr) + lir->offset + operand,
409 lir->target);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700410 break;
411 default:
412 buf += StringPrintf("DecodeError '%c'", fmt[i]);
413 break;
414 }
415 i++;
416 }
417 }
418 }
419 return buf;
420}
421
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100422void X86Mir2Lir::DumpResourceMask(LIR *x86LIR, const ResourceMask& mask, const char *prefix) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700423 char buf[256];
424 buf[0] = 0;
425
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100426 if (mask.Equals(kEncodeAll)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700427 strcpy(buf, "all");
428 } else {
429 char num[8];
430 int i;
431
432 for (i = 0; i < kX86RegEnd; i++) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100433 if (mask.HasBit(i)) {
Ian Rogers988e6ea2014-01-08 11:30:50 -0800434 snprintf(num, arraysize(num), "%d ", i);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700435 strcat(buf, num);
436 }
437 }
438
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100439 if (mask.HasBit(ResourceMask::kCCode)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700440 strcat(buf, "cc ");
441 }
442 /* Memory bits */
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100443 if (x86LIR && (mask.HasBit(ResourceMask::kDalvikReg))) {
Ian Rogers988e6ea2014-01-08 11:30:50 -0800444 snprintf(buf + strlen(buf), arraysize(buf) - strlen(buf), "dr%d%s",
445 DECODE_ALIAS_INFO_REG(x86LIR->flags.alias_info),
446 (DECODE_ALIAS_INFO_WIDE(x86LIR->flags.alias_info)) ? "(+1)" : "");
Brian Carlstrom7940e442013-07-12 13:46:57 -0700447 }
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100448 if (mask.HasBit(ResourceMask::kLiteral)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700449 strcat(buf, "lit ");
450 }
451
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100452 if (mask.HasBit(ResourceMask::kHeapRef)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700453 strcat(buf, "heap ");
454 }
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100455 if (mask.HasBit(ResourceMask::kMustNotAlias)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700456 strcat(buf, "noalias ");
457 }
458 }
459 if (buf[0]) {
460 LOG(INFO) << prefix << ": " << buf;
461 }
462}
463
464void X86Mir2Lir::AdjustSpillMask() {
465 // Adjustment for LR spilling, x86 has no LR so nothing to do here
buzbee091cc402014-03-31 10:14:40 -0700466 core_spill_mask_ |= (1 << rs_rRET.GetRegNum());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700467 num_core_spills_++;
468}
469
Mark Mendelle87f9b52014-04-30 14:13:18 -0400470RegStorage X86Mir2Lir::AllocateByteRegister() {
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700471 RegStorage reg = AllocTypedTemp(false, kCoreReg);
Elena Sayapinadd644502014-07-01 18:39:52 +0700472 if (!cu_->target64) {
Ian Rogersb28c1c02014-11-08 11:21:21 -0800473 DCHECK_LT(reg.GetRegNum(), rs_rX86_SP_32.GetRegNum());
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700474 }
475 return reg;
476}
477
Udayan Banerji60bfe7b2014-07-08 19:59:43 -0700478RegStorage X86Mir2Lir::Get128BitRegister(RegStorage reg) {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -0700479 return GetRegInfo(reg)->Master()->GetReg();
Udayan Banerji60bfe7b2014-07-08 19:59:43 -0700480}
481
Ian Rogersb28c1c02014-11-08 11:21:21 -0800482bool X86Mir2Lir::IsByteRegister(RegStorage reg) const {
483 return cu_->target64 || reg.GetRegNum() < rs_rX86_SP_32.GetRegNum();
Mark Mendelle87f9b52014-04-30 14:13:18 -0400484}
485
Brian Carlstrom7940e442013-07-12 13:46:57 -0700486/* Clobber all regs that might be used by an external C call */
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000487void X86Mir2Lir::ClobberCallerSave() {
Elena Sayapinadd644502014-07-01 18:39:52 +0700488 if (cu_->target64) {
Serguei Katkovc3801912014-07-08 17:21:53 +0700489 Clobber(rs_rAX);
490 Clobber(rs_rCX);
491 Clobber(rs_rDX);
492 Clobber(rs_rSI);
493 Clobber(rs_rDI);
494
Chao-ying Fu35ec2b52014-06-16 16:40:31 -0700495 Clobber(rs_r8);
496 Clobber(rs_r9);
497 Clobber(rs_r10);
498 Clobber(rs_r11);
499
500 Clobber(rs_fr8);
501 Clobber(rs_fr9);
502 Clobber(rs_fr10);
503 Clobber(rs_fr11);
Serguei Katkovc3801912014-07-08 17:21:53 +0700504 } else {
505 Clobber(rs_rAX);
506 Clobber(rs_rCX);
507 Clobber(rs_rDX);
508 Clobber(rs_rBX);
Chao-ying Fu35ec2b52014-06-16 16:40:31 -0700509 }
Serguei Katkovc3801912014-07-08 17:21:53 +0700510
511 Clobber(rs_fr0);
512 Clobber(rs_fr1);
513 Clobber(rs_fr2);
514 Clobber(rs_fr3);
515 Clobber(rs_fr4);
516 Clobber(rs_fr5);
517 Clobber(rs_fr6);
518 Clobber(rs_fr7);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700519}
520
521RegLocation X86Mir2Lir::GetReturnWideAlt() {
522 RegLocation res = LocCReturnWide();
Ian Rogersb28c1c02014-11-08 11:21:21 -0800523 DCHECK_EQ(res.reg.GetLowReg(), rs_rAX.GetReg());
524 DCHECK_EQ(res.reg.GetHighReg(), rs_rDX.GetReg());
buzbee091cc402014-03-31 10:14:40 -0700525 Clobber(rs_rAX);
526 Clobber(rs_rDX);
527 MarkInUse(rs_rAX);
528 MarkInUse(rs_rDX);
529 MarkWide(res.reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700530 return res;
531}
532
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700533RegLocation X86Mir2Lir::GetReturnAlt() {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700534 RegLocation res = LocCReturn();
buzbee091cc402014-03-31 10:14:40 -0700535 res.reg.SetReg(rs_rDX.GetReg());
536 Clobber(rs_rDX);
537 MarkInUse(rs_rDX);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700538 return res;
539}
540
Brian Carlstrom7940e442013-07-12 13:46:57 -0700541/* To be used when explicitly managing register use */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700542void X86Mir2Lir::LockCallTemps() {
Ian Rogersb28c1c02014-11-08 11:21:21 -0800543 LockTemp(TargetReg32(kArg0));
544 LockTemp(TargetReg32(kArg1));
545 LockTemp(TargetReg32(kArg2));
546 LockTemp(TargetReg32(kArg3));
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000547 LockTemp(TargetReg32(kFArg0));
548 LockTemp(TargetReg32(kFArg1));
549 LockTemp(TargetReg32(kFArg2));
550 LockTemp(TargetReg32(kFArg3));
Elena Sayapinadd644502014-07-01 18:39:52 +0700551 if (cu_->target64) {
Ian Rogersb28c1c02014-11-08 11:21:21 -0800552 LockTemp(TargetReg32(kArg4));
553 LockTemp(TargetReg32(kArg5));
Ian Rogersb28c1c02014-11-08 11:21:21 -0800554 LockTemp(TargetReg32(kFArg4));
555 LockTemp(TargetReg32(kFArg5));
556 LockTemp(TargetReg32(kFArg6));
557 LockTemp(TargetReg32(kFArg7));
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700558 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700559}
560
561/* To be used when explicitly managing register use */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700562void X86Mir2Lir::FreeCallTemps() {
Ian Rogersb28c1c02014-11-08 11:21:21 -0800563 FreeTemp(TargetReg32(kArg0));
564 FreeTemp(TargetReg32(kArg1));
565 FreeTemp(TargetReg32(kArg2));
566 FreeTemp(TargetReg32(kArg3));
Vladimir Markobfe400b2014-12-19 19:27:26 +0000567 FreeTemp(TargetReg32(kHiddenArg));
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000568 FreeTemp(TargetReg32(kFArg0));
569 FreeTemp(TargetReg32(kFArg1));
570 FreeTemp(TargetReg32(kFArg2));
571 FreeTemp(TargetReg32(kFArg3));
Elena Sayapinadd644502014-07-01 18:39:52 +0700572 if (cu_->target64) {
Ian Rogersb28c1c02014-11-08 11:21:21 -0800573 FreeTemp(TargetReg32(kArg4));
574 FreeTemp(TargetReg32(kArg5));
Ian Rogersb28c1c02014-11-08 11:21:21 -0800575 FreeTemp(TargetReg32(kFArg4));
576 FreeTemp(TargetReg32(kFArg5));
577 FreeTemp(TargetReg32(kFArg6));
578 FreeTemp(TargetReg32(kFArg7));
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700579 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700580}
581
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800582bool X86Mir2Lir::ProvidesFullMemoryBarrier(X86OpCode opcode) {
583 switch (opcode) {
584 case kX86LockCmpxchgMR:
585 case kX86LockCmpxchgAR:
Ian Rogers0f9b9c52014-06-09 01:32:12 -0700586 case kX86LockCmpxchg64M:
587 case kX86LockCmpxchg64A:
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800588 case kX86XchgMR:
589 case kX86Mfence:
590 // Atomic memory instructions provide full barrier.
591 return true;
592 default:
593 break;
594 }
595
596 // Conservative if cannot prove it provides full barrier.
597 return false;
598}
599
Andreas Gampeb14329f2014-05-15 11:16:06 -0700600bool X86Mir2Lir::GenMemBarrier(MemBarrierKind barrier_kind) {
Andreas Gampe0b9203e2015-01-22 20:39:27 -0800601 if (!cu_->compiler_driver->GetInstructionSetFeatures()->IsSmp()) {
Elliott Hughes8366ca02014-11-17 12:02:05 -0800602 return false;
603 }
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800604 // Start off with using the last LIR as the barrier. If it is not enough, then we will update it.
605 LIR* mem_barrier = last_lir_insn_;
606
Andreas Gampeb14329f2014-05-15 11:16:06 -0700607 bool ret = false;
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800608 /*
Hans Boehm48f5c472014-06-27 14:50:10 -0700609 * According to the JSR-133 Cookbook, for x86 only StoreLoad/AnyAny barriers need memory fence.
610 * All other barriers (LoadAny, AnyStore, StoreStore) are nops due to the x86 memory model.
611 * For those cases, all we need to ensure is that there is a scheduling barrier in place.
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800612 */
Hans Boehm48f5c472014-06-27 14:50:10 -0700613 if (barrier_kind == kAnyAny) {
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800614 // If no LIR exists already that can be used a barrier, then generate an mfence.
615 if (mem_barrier == nullptr) {
616 mem_barrier = NewLIR0(kX86Mfence);
Andreas Gampeb14329f2014-05-15 11:16:06 -0700617 ret = true;
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800618 }
619
620 // If last instruction does not provide full barrier, then insert an mfence.
621 if (ProvidesFullMemoryBarrier(static_cast<X86OpCode>(mem_barrier->opcode)) == false) {
622 mem_barrier = NewLIR0(kX86Mfence);
Andreas Gampeb14329f2014-05-15 11:16:06 -0700623 ret = true;
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800624 }
Jean Christophe Beylerb5bce7c2014-07-25 12:32:18 -0700625 } else if (barrier_kind == kNTStoreStore) {
626 mem_barrier = NewLIR0(kX86Sfence);
627 ret = true;
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800628 }
629
630 // Now ensure that a scheduling barrier is in place.
631 if (mem_barrier == nullptr) {
632 GenBarrier();
633 } else {
634 // Mark as a scheduling barrier.
635 DCHECK(!mem_barrier->flags.use_def_invalid);
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100636 mem_barrier->u.m.def_mask = &kEncodeAll;
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -0800637 }
Andreas Gampeb14329f2014-05-15 11:16:06 -0700638 return ret;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700639}
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000640
Brian Carlstrom7940e442013-07-12 13:46:57 -0700641void X86Mir2Lir::CompilerInitializeRegAlloc() {
Elena Sayapinadd644502014-07-01 18:39:52 +0700642 if (cu_->target64) {
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100643 reg_pool_.reset(new (arena_) RegisterPool(this, arena_, core_regs_64, core_regs_64q, sp_regs_64,
644 dp_regs_64, reserved_regs_64, reserved_regs_64q,
645 core_temps_64, core_temps_64q,
646 sp_temps_64, dp_temps_64));
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +0700647 } else {
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100648 reg_pool_.reset(new (arena_) RegisterPool(this, arena_, core_regs_32, empty_pool, sp_regs_32,
649 dp_regs_32, reserved_regs_32, empty_pool,
650 core_temps_32, empty_pool,
651 sp_temps_32, dp_temps_32));
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +0700652 }
buzbee091cc402014-03-31 10:14:40 -0700653
654 // Target-specific adjustments.
655
Mark Mendellfe945782014-05-22 09:52:36 -0400656 // Add in XMM registers.
Serguei Katkovc3801912014-07-08 17:21:53 +0700657 const ArrayRef<const RegStorage> *xp_regs = cu_->target64 ? &xp_regs_64 : &xp_regs_32;
658 for (RegStorage reg : *xp_regs) {
Mark Mendellfe945782014-05-22 09:52:36 -0400659 RegisterInfo* info = new (arena_) RegisterInfo(reg, GetRegMaskCommon(reg));
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100660 reginfo_map_[reg.GetReg()] = info;
Serguei Katkovc3801912014-07-08 17:21:53 +0700661 }
662 const ArrayRef<const RegStorage> *xp_temps = cu_->target64 ? &xp_temps_64 : &xp_temps_32;
663 for (RegStorage reg : *xp_temps) {
664 RegisterInfo* xp_reg_info = GetRegInfo(reg);
665 xp_reg_info->SetIsTemp(true);
Mark Mendellfe945782014-05-22 09:52:36 -0400666 }
667
Mark Mendell27dee8b2014-12-01 19:06:12 -0500668 // Special Handling for x86_64 RIP addressing.
669 if (cu_->target64) {
670 RegisterInfo* info = new (arena_) RegisterInfo(RegStorage(kRIPReg), kEncodeNone);
671 reginfo_map_[kRIPReg] = info;
672 }
673
buzbee091cc402014-03-31 10:14:40 -0700674 // Alias single precision xmm to double xmms.
675 // TODO: as needed, add larger vector sizes - alias all to the largest.
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100676 for (RegisterInfo* info : reg_pool_->sp_regs_) {
buzbee091cc402014-03-31 10:14:40 -0700677 int sp_reg_num = info->GetReg().GetRegNum();
Mark Mendellfe945782014-05-22 09:52:36 -0400678 RegStorage xp_reg = RegStorage::Solo128(sp_reg_num);
679 RegisterInfo* xp_reg_info = GetRegInfo(xp_reg);
680 // 128-bit xmm vector register's master storage should refer to itself.
681 DCHECK_EQ(xp_reg_info, xp_reg_info->Master());
682
683 // Redirect 32-bit vector's master storage to 128-bit vector.
684 info->SetMaster(xp_reg_info);
685
Dmitry Petrochenko76af0d32014-06-05 21:15:08 +0700686 RegStorage dp_reg = RegStorage::FloatSolo64(sp_reg_num);
buzbee091cc402014-03-31 10:14:40 -0700687 RegisterInfo* dp_reg_info = GetRegInfo(dp_reg);
Mark Mendellfe945782014-05-22 09:52:36 -0400688 // Redirect 64-bit vector's master storage to 128-bit vector.
689 dp_reg_info->SetMaster(xp_reg_info);
Dmitry Petrochenko76af0d32014-06-05 21:15:08 +0700690 // Singles should show a single 32-bit mask bit, at first referring to the low half.
691 DCHECK_EQ(info->StorageMask(), 0x1U);
692 }
693
Elena Sayapinadd644502014-07-01 18:39:52 +0700694 if (cu_->target64) {
Dmitry Petrochenko76af0d32014-06-05 21:15:08 +0700695 // Alias 32bit W registers to corresponding 64bit X registers.
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100696 for (RegisterInfo* info : reg_pool_->core_regs_) {
Dmitry Petrochenko76af0d32014-06-05 21:15:08 +0700697 int x_reg_num = info->GetReg().GetRegNum();
698 RegStorage x_reg = RegStorage::Solo64(x_reg_num);
699 RegisterInfo* x_reg_info = GetRegInfo(x_reg);
700 // 64bit X register's master storage should refer to itself.
701 DCHECK_EQ(x_reg_info, x_reg_info->Master());
702 // Redirect 32bit W master storage to 64bit X.
703 info->SetMaster(x_reg_info);
704 // 32bit W should show a single 32-bit mask bit, at first referring to the low half.
705 DCHECK_EQ(info->StorageMask(), 0x1U);
706 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700707 }
buzbee091cc402014-03-31 10:14:40 -0700708
709 // Don't start allocating temps at r0/s0/d0 or you may clobber return regs in early-exit methods.
710 // TODO: adjust for x86/hard float calling convention.
711 reg_pool_->next_core_reg_ = 2;
712 reg_pool_->next_sp_reg_ = 2;
713 reg_pool_->next_dp_reg_ = 1;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700714}
715
Udayan Banerji60bfe7b2014-07-08 19:59:43 -0700716int X86Mir2Lir::VectorRegisterSize() {
717 return 128;
718}
719
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -0700720int X86Mir2Lir::NumReservableVectorRegisters(bool long_or_fp) {
721 int num_vector_temps = cu_->target64 ? xp_temps_64.size() : xp_temps_32.size();
722
723 // Leave a few temps for use by backend as scratch.
724 return long_or_fp ? num_vector_temps - 2 : num_vector_temps - 1;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -0700725}
726
David Srbecky1109fb32015-04-07 20:21:06 +0100727static dwarf::Reg DwarfCoreReg(bool is_x86_64, int num) {
728 return is_x86_64 ? dwarf::Reg::X86_64Core(num) : dwarf::Reg::X86Core(num);
729}
730
731static dwarf::Reg DwarfFpReg(bool is_x86_64, int num) {
732 return is_x86_64 ? dwarf::Reg::X86_64Fp(num) : dwarf::Reg::X86Fp(num);
733}
734
Brian Carlstrom7940e442013-07-12 13:46:57 -0700735void X86Mir2Lir::SpillCoreRegs() {
736 if (num_core_spills_ == 0) {
737 return;
738 }
739 // Spill mask not including fake return address register
buzbee091cc402014-03-31 10:14:40 -0700740 uint32_t mask = core_spill_mask_ & ~(1 << rs_rRET.GetRegNum());
Ian Rogersb28c1c02014-11-08 11:21:21 -0800741 int offset =
742 frame_size_ - (GetInstructionSetPointerSize(cu_->instruction_set) * num_core_spills_);
Serguei Katkovc3801912014-07-08 17:21:53 +0700743 OpSize size = cu_->target64 ? k64 : k32;
Ian Rogersb28c1c02014-11-08 11:21:21 -0800744 const RegStorage rs_rSP = cu_->target64 ? rs_rX86_SP_64 : rs_rX86_SP_32;
David Srbecky1109fb32015-04-07 20:21:06 +0100745 for (int reg = 0; mask != 0u; mask >>= 1, reg++) {
746 if ((mask & 0x1) != 0u) {
747 RegStorage r_src = cu_->target64 ? RegStorage::Solo64(reg) : RegStorage::Solo32(reg);
748 StoreBaseDisp(rs_rSP, offset, r_src, size, kNotVolatile);
749 cfi_.RelOffset(DwarfCoreReg(cu_->target64, reg), offset);
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +0700750 offset += GetInstructionSetPointerSize(cu_->instruction_set);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700751 }
752 }
753}
754
755void X86Mir2Lir::UnSpillCoreRegs() {
756 if (num_core_spills_ == 0) {
757 return;
758 }
759 // Spill mask not including fake return address register
buzbee091cc402014-03-31 10:14:40 -0700760 uint32_t mask = core_spill_mask_ & ~(1 << rs_rRET.GetRegNum());
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +0700761 int offset = frame_size_ - (GetInstructionSetPointerSize(cu_->instruction_set) * num_core_spills_);
Serguei Katkovc3801912014-07-08 17:21:53 +0700762 OpSize size = cu_->target64 ? k64 : k32;
Ian Rogersb28c1c02014-11-08 11:21:21 -0800763 const RegStorage rs_rSP = cu_->target64 ? rs_rX86_SP_64 : rs_rX86_SP_32;
David Srbecky1109fb32015-04-07 20:21:06 +0100764 for (int reg = 0; mask != 0u; mask >>= 1, reg++) {
765 if ((mask & 0x1) != 0u) {
766 RegStorage r_dest = cu_->target64 ? RegStorage::Solo64(reg) : RegStorage::Solo32(reg);
767 LoadBaseDisp(rs_rSP, offset, r_dest, size, kNotVolatile);
768 cfi_.Restore(DwarfCoreReg(cu_->target64, reg));
Dmitry Petrochenko9ee801f2014-05-12 11:31:37 +0700769 offset += GetInstructionSetPointerSize(cu_->instruction_set);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700770 }
771 }
772}
773
Serguei Katkovc3801912014-07-08 17:21:53 +0700774void X86Mir2Lir::SpillFPRegs() {
775 if (num_fp_spills_ == 0) {
776 return;
777 }
778 uint32_t mask = fp_spill_mask_;
Ian Rogersb28c1c02014-11-08 11:21:21 -0800779 int offset = frame_size_ -
780 (GetInstructionSetPointerSize(cu_->instruction_set) * (num_fp_spills_ + num_core_spills_));
781 const RegStorage rs_rSP = cu_->target64 ? rs_rX86_SP_64 : rs_rX86_SP_32;
David Srbecky1109fb32015-04-07 20:21:06 +0100782 for (int reg = 0; mask != 0u; mask >>= 1, reg++) {
783 if ((mask & 0x1) != 0u) {
Ian Rogersb28c1c02014-11-08 11:21:21 -0800784 StoreBaseDisp(rs_rSP, offset, RegStorage::FloatSolo64(reg), k64, kNotVolatile);
David Srbecky1109fb32015-04-07 20:21:06 +0100785 cfi_.RelOffset(DwarfFpReg(cu_->target64, reg), offset);
Serguei Katkovc3801912014-07-08 17:21:53 +0700786 offset += sizeof(double);
787 }
788 }
789}
790void X86Mir2Lir::UnSpillFPRegs() {
791 if (num_fp_spills_ == 0) {
792 return;
793 }
794 uint32_t mask = fp_spill_mask_;
Ian Rogersb28c1c02014-11-08 11:21:21 -0800795 int offset = frame_size_ -
796 (GetInstructionSetPointerSize(cu_->instruction_set) * (num_fp_spills_ + num_core_spills_));
797 const RegStorage rs_rSP = cu_->target64 ? rs_rX86_SP_64 : rs_rX86_SP_32;
David Srbecky1109fb32015-04-07 20:21:06 +0100798 for (int reg = 0; mask != 0u; mask >>= 1, reg++) {
799 if ((mask & 0x1) != 0u) {
Ian Rogersb28c1c02014-11-08 11:21:21 -0800800 LoadBaseDisp(rs_rSP, offset, RegStorage::FloatSolo64(reg),
Serguei Katkovc3801912014-07-08 17:21:53 +0700801 k64, kNotVolatile);
David Srbecky1109fb32015-04-07 20:21:06 +0100802 cfi_.Restore(DwarfFpReg(cu_->target64, reg));
Serguei Katkovc3801912014-07-08 17:21:53 +0700803 offset += sizeof(double);
804 }
805 }
806}
807
808
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700809bool X86Mir2Lir::IsUnconditionalBranch(LIR* lir) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700810 return (lir->opcode == kX86Jmp8 || lir->opcode == kX86Jmp32);
811}
812
Vladimir Marko674744e2014-04-24 15:18:26 +0100813RegisterClass X86Mir2Lir::RegClassForFieldLoadStore(OpSize size, bool is_volatile) {
Mark Mendellca541342014-10-15 16:59:49 -0400814 // Prefer XMM registers. Fixes a problem with iget/iput to a FP when cached temporary
815 // with same VR is a Core register.
816 if (size == kSingle || size == kDouble) {
817 return kFPReg;
818 }
819
Chao-ying Fue0ccdc02014-06-06 17:32:37 -0700820 // X86_64 can handle any size.
Elena Sayapinadd644502014-07-01 18:39:52 +0700821 if (cu_->target64) {
Chao-ying Fu06839f82014-08-14 15:59:17 -0700822 return RegClassBySize(size);
Chao-ying Fue0ccdc02014-06-06 17:32:37 -0700823 }
824
Vladimir Marko674744e2014-04-24 15:18:26 +0100825 if (UNLIKELY(is_volatile)) {
826 // On x86, atomic 64-bit load/store requires an fp register.
827 // Smaller aligned load/store is atomic for both core and fp registers.
828 if (size == k64 || size == kDouble) {
829 return kFPReg;
830 }
831 }
832 return RegClassBySize(size);
833}
834
Elena Sayapinadd644502014-07-01 18:39:52 +0700835X86Mir2Lir::X86Mir2Lir(CompilationUnit* cu, MIRGraph* mir_graph, ArenaAllocator* arena)
Mark Mendell55d0eac2014-02-06 11:02:52 -0800836 : Mir2Lir(cu, mir_graph, arena),
Serguei Katkov717a3e42014-11-13 17:19:42 +0600837 in_to_reg_storage_x86_64_mapper_(this), in_to_reg_storage_x86_mapper_(this),
Ian Rogersdd7624d2014-03-14 17:43:00 -0700838 base_of_code_(nullptr), store_method_addr_(false), store_method_addr_used_(false),
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100839 method_address_insns_(arena->Adapter()),
840 class_type_address_insns_(arena->Adapter()),
841 call_method_insns_(arena->Adapter()),
Vladimir Markodc56cc52015-03-27 18:18:36 +0000842 dex_cache_access_insns_(arena->Adapter()),
Mark Mendelld65c51a2014-04-29 16:55:20 -0400843 const_vectors_(nullptr) {
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100844 method_address_insns_.reserve(100);
845 class_type_address_insns_.reserve(100);
846 call_method_insns_.reserve(100);
Mark Mendelld65c51a2014-04-29 16:55:20 -0400847 store_method_addr_used_ = false;
Ian Rogersdd7624d2014-03-14 17:43:00 -0700848 for (int i = 0; i < kX86Last; i++) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700849 DCHECK_EQ(X86Mir2Lir::EncodingMap[i].opcode, i)
850 << "Encoding order for " << X86Mir2Lir::EncodingMap[i].name
851 << " is wrong: expecting " << i << ", seeing "
852 << static_cast<int>(X86Mir2Lir::EncodingMap[i].opcode);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700853 }
854}
855
856Mir2Lir* X86CodeGenerator(CompilationUnit* const cu, MIRGraph* const mir_graph,
857 ArenaAllocator* const arena) {
Elena Sayapinadd644502014-07-01 18:39:52 +0700858 return new X86Mir2Lir(cu, mir_graph, arena);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700859}
860
Andreas Gampe98430592014-07-27 19:44:50 -0700861// Not used in x86(-64)
862RegStorage X86Mir2Lir::LoadHelper(QuickEntrypointEnum trampoline) {
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700863 UNUSED(trampoline);
Andreas Gampe2f244e92014-05-08 03:35:25 -0700864 LOG(FATAL) << "Unexpected use of LoadHelper in x86";
Ian Rogers6a3c1fc2014-10-31 00:33:20 -0700865 UNREACHABLE();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700866}
867
Dave Allisonb373e092014-02-20 16:06:36 -0800868LIR* X86Mir2Lir::CheckSuspendUsingLoad() {
Dave Allison69dfe512014-07-11 17:11:58 +0000869 // First load the pointer in fs:[suspend-trigger] into eax
870 // Then use a test instruction to indirect via that address.
Dave Allisondfd3b472014-07-16 16:04:32 -0700871 if (cu_->target64) {
872 NewLIR2(kX86Mov64RT, rs_rAX.GetReg(),
873 Thread::ThreadSuspendTriggerOffset<8>().Int32Value());
874 } else {
875 NewLIR2(kX86Mov32RT, rs_rAX.GetReg(),
876 Thread::ThreadSuspendTriggerOffset<4>().Int32Value());
877 }
Dave Allison69dfe512014-07-11 17:11:58 +0000878 return NewLIR3(kX86Test32RM, rs_rAX.GetReg(), rs_rAX.GetReg(), 0);
Dave Allisonb373e092014-02-20 16:06:36 -0800879}
880
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700881uint64_t X86Mir2Lir::GetTargetInstFlags(int opcode) {
buzbee409fe942013-10-11 10:49:56 -0700882 DCHECK(!IsPseudoLirOp(opcode));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700883 return X86Mir2Lir::EncodingMap[opcode].flags;
884}
885
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700886const char* X86Mir2Lir::GetTargetInstName(int opcode) {
buzbee409fe942013-10-11 10:49:56 -0700887 DCHECK(!IsPseudoLirOp(opcode));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700888 return X86Mir2Lir::EncodingMap[opcode].name;
889}
890
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700891const char* X86Mir2Lir::GetTargetInstFmt(int opcode) {
buzbee409fe942013-10-11 10:49:56 -0700892 DCHECK(!IsPseudoLirOp(opcode));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700893 return X86Mir2Lir::EncodingMap[opcode].fmt;
894}
895
Bill Buzbeed61ba4b2014-01-13 21:44:01 +0000896void X86Mir2Lir::GenConstWide(RegLocation rl_dest, int64_t value) {
897 // Can we do this directly to memory?
898 rl_dest = UpdateLocWide(rl_dest);
899 if ((rl_dest.location == kLocDalvikFrame) ||
900 (rl_dest.location == kLocCompilerTemp)) {
901 int32_t val_lo = Low32Bits(value);
902 int32_t val_hi = High32Bits(value);
Ian Rogersb28c1c02014-11-08 11:21:21 -0800903 int r_base = rs_rX86_SP_32.GetReg();
Bill Buzbeed61ba4b2014-01-13 21:44:01 +0000904 int displacement = SRegOffset(rl_dest.s_reg_low);
905
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100906 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
buzbee2700f7e2014-03-07 09:46:20 -0800907 LIR * store = NewLIR3(kX86Mov32MI, r_base, displacement + LOWORD_OFFSET, val_lo);
Bill Buzbeed61ba4b2014-01-13 21:44:01 +0000908 AnnotateDalvikRegAccess(store, (displacement + LOWORD_OFFSET) >> 2,
909 false /* is_load */, true /* is64bit */);
buzbee2700f7e2014-03-07 09:46:20 -0800910 store = NewLIR3(kX86Mov32MI, r_base, displacement + HIWORD_OFFSET, val_hi);
Bill Buzbeed61ba4b2014-01-13 21:44:01 +0000911 AnnotateDalvikRegAccess(store, (displacement + HIWORD_OFFSET) >> 2,
912 false /* is_load */, true /* is64bit */);
913 return;
914 }
915
916 // Just use the standard code to do the generation.
917 Mir2Lir::GenConstWide(rl_dest, value);
918}
Mark Mendelle02d48f2014-01-15 11:19:23 -0800919
920// TODO: Merge with existing RegLocation dumper in vreg_analysis.cc
921void X86Mir2Lir::DumpRegLocation(RegLocation loc) {
922 LOG(INFO) << "location: " << loc.location << ','
923 << (loc.wide ? " w" : " ")
924 << (loc.defined ? " D" : " ")
925 << (loc.is_const ? " c" : " ")
926 << (loc.fp ? " F" : " ")
927 << (loc.core ? " C" : " ")
928 << (loc.ref ? " r" : " ")
929 << (loc.high_word ? " h" : " ")
930 << (loc.home ? " H" : " ")
buzbee2700f7e2014-03-07 09:46:20 -0800931 << ", low: " << static_cast<int>(loc.reg.GetLowReg())
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000932 << ", high: " << static_cast<int>(loc.reg.GetHighReg())
Mark Mendelle02d48f2014-01-15 11:19:23 -0800933 << ", s_reg: " << loc.s_reg_low
934 << ", orig: " << loc.orig_sreg;
935}
936
Mark Mendell67c39c42014-01-31 17:28:00 -0800937void X86Mir2Lir::Materialize() {
938 // A good place to put the analysis before starting.
939 AnalyzeMIR();
940
941 // Now continue with regular code generation.
942 Mir2Lir::Materialize();
943}
944
Jeff Hao49161ce2014-03-12 11:05:25 -0700945void X86Mir2Lir::LoadMethodAddress(const MethodReference& target_method, InvokeType type,
Mark Mendell55d0eac2014-02-06 11:02:52 -0800946 SpecialTargetRegister symbolic_reg) {
947 /*
948 * For x86, just generate a 32 bit move immediate instruction, that will be filled
949 * in at 'link time'. For now, put a unique value based on target to ensure that
950 * code deduplication works.
951 */
Jeff Hao49161ce2014-03-12 11:05:25 -0700952 int target_method_idx = target_method.dex_method_index;
953 const DexFile* target_dex_file = target_method.dex_file;
954 const DexFile::MethodId& target_method_id = target_dex_file->GetMethodId(target_method_idx);
955 uintptr_t target_method_id_ptr = reinterpret_cast<uintptr_t>(&target_method_id);
Mark Mendell55d0eac2014-02-06 11:02:52 -0800956
Jeff Hao49161ce2014-03-12 11:05:25 -0700957 // Generate the move instruction with the unique pointer and save index, dex_file, and type.
Andreas Gampeccc60262014-07-04 18:02:38 -0700958 LIR *move = RawLIR(current_dalvik_offset_, kX86Mov32RI,
959 TargetReg(symbolic_reg, kNotWide).GetReg(),
Jeff Hao49161ce2014-03-12 11:05:25 -0700960 static_cast<int>(target_method_id_ptr), target_method_idx,
961 WrapPointer(const_cast<DexFile*>(target_dex_file)), type);
Mark Mendell55d0eac2014-02-06 11:02:52 -0800962 AppendLIR(move);
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100963 method_address_insns_.push_back(move);
Mark Mendell55d0eac2014-02-06 11:02:52 -0800964}
965
Fred Shihe7f82e22014-08-06 10:46:37 -0700966void X86Mir2Lir::LoadClassType(const DexFile& dex_file, uint32_t type_idx,
967 SpecialTargetRegister symbolic_reg) {
Mark Mendell55d0eac2014-02-06 11:02:52 -0800968 /*
969 * For x86, just generate a 32 bit move immediate instruction, that will be filled
970 * in at 'link time'. For now, put a unique value based on target to ensure that
971 * code deduplication works.
972 */
Fred Shihe7f82e22014-08-06 10:46:37 -0700973 const DexFile::TypeId& id = dex_file.GetTypeId(type_idx);
Mark Mendell55d0eac2014-02-06 11:02:52 -0800974 uintptr_t ptr = reinterpret_cast<uintptr_t>(&id);
975
976 // Generate the move instruction with the unique pointer and save index and type.
Andreas Gampeccc60262014-07-04 18:02:38 -0700977 LIR *move = RawLIR(current_dalvik_offset_, kX86Mov32RI,
978 TargetReg(symbolic_reg, kNotWide).GetReg(),
Fred Shihe7f82e22014-08-06 10:46:37 -0700979 static_cast<int>(ptr), type_idx,
980 WrapPointer(const_cast<DexFile*>(&dex_file)));
Mark Mendell55d0eac2014-02-06 11:02:52 -0800981 AppendLIR(move);
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100982 class_type_address_insns_.push_back(move);
Mark Mendell55d0eac2014-02-06 11:02:52 -0800983}
984
Vladimir Markof4da6752014-08-01 19:04:18 +0100985LIR* X86Mir2Lir::CallWithLinkerFixup(const MethodReference& target_method, InvokeType type) {
Mark Mendell55d0eac2014-02-06 11:02:52 -0800986 /*
987 * For x86, just generate a 32 bit call relative instruction, that will be filled
Vladimir Markof4da6752014-08-01 19:04:18 +0100988 * in at 'link time'.
Mark Mendell55d0eac2014-02-06 11:02:52 -0800989 */
Jeff Hao49161ce2014-03-12 11:05:25 -0700990 int target_method_idx = target_method.dex_method_index;
991 const DexFile* target_dex_file = target_method.dex_file;
Mark Mendell55d0eac2014-02-06 11:02:52 -0800992
Jeff Hao49161ce2014-03-12 11:05:25 -0700993 // Generate the call instruction with the unique pointer and save index, dex_file, and type.
Vladimir Markof4da6752014-08-01 19:04:18 +0100994 // NOTE: Method deduplication takes linker patches into account, so we can just pass 0
995 // as a placeholder for the offset.
996 LIR* call = RawLIR(current_dalvik_offset_, kX86CallI, 0,
Jeff Hao49161ce2014-03-12 11:05:25 -0700997 target_method_idx, WrapPointer(const_cast<DexFile*>(target_dex_file)), type);
Mark Mendell55d0eac2014-02-06 11:02:52 -0800998 AppendLIR(call);
Vladimir Markoe39c54e2014-09-22 14:50:02 +0100999 call_method_insns_.push_back(call);
Mark Mendell55d0eac2014-02-06 11:02:52 -08001000 return call;
1001}
1002
Vladimir Markof4da6752014-08-01 19:04:18 +01001003static LIR* GenInvokeNoInlineCall(Mir2Lir* mir_to_lir, InvokeType type) {
1004 QuickEntrypointEnum trampoline;
1005 switch (type) {
1006 case kInterface:
1007 trampoline = kQuickInvokeInterfaceTrampolineWithAccessCheck;
1008 break;
1009 case kDirect:
1010 trampoline = kQuickInvokeDirectTrampolineWithAccessCheck;
1011 break;
1012 case kStatic:
1013 trampoline = kQuickInvokeStaticTrampolineWithAccessCheck;
1014 break;
1015 case kSuper:
1016 trampoline = kQuickInvokeSuperTrampolineWithAccessCheck;
1017 break;
1018 case kVirtual:
1019 trampoline = kQuickInvokeVirtualTrampolineWithAccessCheck;
1020 break;
1021 default:
1022 LOG(FATAL) << "Unexpected invoke type";
1023 trampoline = kQuickInvokeInterfaceTrampolineWithAccessCheck;
1024 }
1025 return mir_to_lir->InvokeTrampoline(kOpBlx, RegStorage::InvalidReg(), trampoline);
1026}
1027
1028LIR* X86Mir2Lir::GenCallInsn(const MirMethodLoweringInfo& method_info) {
1029 LIR* call_insn;
1030 if (method_info.FastPath()) {
1031 if (method_info.DirectCode() == static_cast<uintptr_t>(-1)) {
1032 // We can have the linker fixup a call relative.
1033 call_insn = CallWithLinkerFixup(method_info.GetTargetMethod(), method_info.GetSharpType());
1034 } else {
1035 call_insn = OpMem(kOpBlx, TargetReg(kArg0, kRef),
Mathieu Chartier2d721012014-11-10 11:08:06 -08001036 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset(
1037 cu_->target64 ? 8 : 4).Int32Value());
Vladimir Markof4da6752014-08-01 19:04:18 +01001038 }
1039 } else {
1040 call_insn = GenInvokeNoInlineCall(this, method_info.GetSharpType());
1041 }
1042 return call_insn;
1043}
1044
Mark Mendell55d0eac2014-02-06 11:02:52 -08001045void X86Mir2Lir::InstallLiteralPools() {
1046 // These are handled differently for x86.
1047 DCHECK(code_literal_list_ == nullptr);
1048 DCHECK(method_literal_list_ == nullptr);
1049 DCHECK(class_literal_list_ == nullptr);
1050
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001051
Mark Mendelld65c51a2014-04-29 16:55:20 -04001052 if (const_vectors_ != nullptr) {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001053 // Vector literals must be 16-byte aligned. The header that is placed
1054 // in the code section causes misalignment so we take it into account.
1055 // Otherwise, we are sure that for x86 method is aligned to 16.
1056 DCHECK_EQ(GetInstructionSetAlignment(cu_->instruction_set), 16u);
1057 uint32_t bytes_to_fill = (0x10 - ((code_buffer_.size() + sizeof(OatQuickMethodHeader)) & 0xF)) & 0xF;
1058 while (bytes_to_fill > 0) {
1059 code_buffer_.push_back(0);
1060 bytes_to_fill--;
Mark Mendelld65c51a2014-04-29 16:55:20 -04001061 }
1062
Mark Mendelld65c51a2014-04-29 16:55:20 -04001063 for (LIR *p = const_vectors_; p != nullptr; p = p->next) {
Vladimir Marko80b96d12015-02-19 15:50:28 +00001064 Push32(&code_buffer_, p->operands[0]);
1065 Push32(&code_buffer_, p->operands[1]);
1066 Push32(&code_buffer_, p->operands[2]);
1067 Push32(&code_buffer_, p->operands[3]);
Mark Mendelld65c51a2014-04-29 16:55:20 -04001068 }
1069 }
1070
Vladimir Markodc56cc52015-03-27 18:18:36 +00001071 patches_.reserve(method_address_insns_.size() + class_type_address_insns_.size() +
1072 call_method_insns_.size() + dex_cache_access_insns_.size());
1073
Mark Mendell55d0eac2014-02-06 11:02:52 -08001074 // Handle the fixups for methods.
Vladimir Markoe39c54e2014-09-22 14:50:02 +01001075 for (LIR* p : method_address_insns_) {
Mark Mendell55d0eac2014-02-06 11:02:52 -08001076 DCHECK_EQ(p->opcode, kX86Mov32RI);
Jeff Hao49161ce2014-03-12 11:05:25 -07001077 uint32_t target_method_idx = p->operands[2];
Vladimir Markof6737f72015-03-23 17:05:14 +00001078 const DexFile* target_dex_file = UnwrapPointer<DexFile>(p->operands[3]);
Mark Mendell55d0eac2014-02-06 11:02:52 -08001079
1080 // The offset to patch is the last 4 bytes of the instruction.
1081 int patch_offset = p->offset + p->flags.size - 4;
Vladimir Markof4da6752014-08-01 19:04:18 +01001082 patches_.push_back(LinkerPatch::MethodPatch(patch_offset,
1083 target_dex_file, target_method_idx));
Mark Mendell55d0eac2014-02-06 11:02:52 -08001084 }
1085
1086 // Handle the fixups for class types.
Vladimir Markoe39c54e2014-09-22 14:50:02 +01001087 for (LIR* p : class_type_address_insns_) {
Mark Mendell55d0eac2014-02-06 11:02:52 -08001088 DCHECK_EQ(p->opcode, kX86Mov32RI);
Fred Shihe7f82e22014-08-06 10:46:37 -07001089
Vladimir Markof6737f72015-03-23 17:05:14 +00001090 const DexFile* class_dex_file = UnwrapPointer<DexFile>(p->operands[3]);
Vladimir Markof4da6752014-08-01 19:04:18 +01001091 uint32_t target_type_idx = p->operands[2];
Mark Mendell55d0eac2014-02-06 11:02:52 -08001092
1093 // The offset to patch is the last 4 bytes of the instruction.
1094 int patch_offset = p->offset + p->flags.size - 4;
Vladimir Markof4da6752014-08-01 19:04:18 +01001095 patches_.push_back(LinkerPatch::TypePatch(patch_offset,
1096 class_dex_file, target_type_idx));
Mark Mendell55d0eac2014-02-06 11:02:52 -08001097 }
1098
1099 // And now the PC-relative calls to methods.
Vladimir Markoe39c54e2014-09-22 14:50:02 +01001100 for (LIR* p : call_method_insns_) {
Mark Mendell55d0eac2014-02-06 11:02:52 -08001101 DCHECK_EQ(p->opcode, kX86CallI);
Jeff Hao49161ce2014-03-12 11:05:25 -07001102 uint32_t target_method_idx = p->operands[1];
Vladimir Markof6737f72015-03-23 17:05:14 +00001103 const DexFile* target_dex_file = UnwrapPointer<DexFile>(p->operands[2]);
Mark Mendell55d0eac2014-02-06 11:02:52 -08001104
1105 // The offset to patch is the last 4 bytes of the instruction.
1106 int patch_offset = p->offset + p->flags.size - 4;
Vladimir Markof4da6752014-08-01 19:04:18 +01001107 patches_.push_back(LinkerPatch::RelativeCodePatch(patch_offset,
1108 target_dex_file, target_method_idx));
Mark Mendell55d0eac2014-02-06 11:02:52 -08001109 }
1110
Vladimir Markodc56cc52015-03-27 18:18:36 +00001111 // PC-relative references to dex cache arrays.
1112 for (LIR* p : dex_cache_access_insns_) {
1113 DCHECK(p->opcode == kX86Mov32RM);
1114 const DexFile* dex_file = UnwrapPointer<DexFile>(p->operands[3]);
1115 uint32_t offset = p->operands[4];
1116 // The offset to patch is the last 4 bytes of the instruction.
1117 int patch_offset = p->offset + p->flags.size - 4;
1118 DCHECK(!p->flags.is_nop);
1119 patches_.push_back(LinkerPatch::DexCacheArrayPatch(patch_offset, dex_file, p->offset, offset));
1120 }
1121
Mark Mendell55d0eac2014-02-06 11:02:52 -08001122 // And do the normal processing.
1123 Mir2Lir::InstallLiteralPools();
1124}
1125
DaniilSokolov70c4f062014-06-24 17:34:00 -07001126bool X86Mir2Lir::GenInlinedArrayCopyCharArray(CallInfo* info) {
DaniilSokolov70c4f062014-06-24 17:34:00 -07001127 RegLocation rl_src = info->args[0];
1128 RegLocation rl_srcPos = info->args[1];
1129 RegLocation rl_dst = info->args[2];
1130 RegLocation rl_dstPos = info->args[3];
1131 RegLocation rl_length = info->args[4];
1132 if (rl_srcPos.is_const && (mir_graph_->ConstantValue(rl_srcPos) < 0)) {
1133 return false;
1134 }
1135 if (rl_dstPos.is_const && (mir_graph_->ConstantValue(rl_dstPos) < 0)) {
1136 return false;
1137 }
1138 ClobberCallerSave();
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001139 LockCallTemps(); // Using fixed registers.
1140 RegStorage tmp_reg = cu_->target64 ? rs_r11 : rs_rBX;
1141 LoadValueDirectFixed(rl_src, rs_rAX);
1142 LoadValueDirectFixed(rl_dst, rs_rCX);
1143 LIR* src_dst_same = OpCmpBranch(kCondEq, rs_rAX, rs_rCX, nullptr);
1144 LIR* src_null_branch = OpCmpImmBranch(kCondEq, rs_rAX, 0, nullptr);
1145 LIR* dst_null_branch = OpCmpImmBranch(kCondEq, rs_rCX, 0, nullptr);
1146 LoadValueDirectFixed(rl_length, rs_rDX);
1147 // If the length of the copy is > 128 characters (256 bytes) or negative then go slow path.
1148 LIR* len_too_big = OpCmpImmBranch(kCondHi, rs_rDX, 128, nullptr);
1149 LoadValueDirectFixed(rl_src, rs_rAX);
1150 LoadWordDisp(rs_rAX, mirror::Array::LengthOffset().Int32Value(), rs_rAX);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001151 LIR* src_bad_len = nullptr;
avignatef9f0ed42014-09-17 22:35:07 +07001152 LIR* src_bad_off = nullptr;
DaniilSokolov70c4f062014-06-24 17:34:00 -07001153 LIR* srcPos_negative = nullptr;
1154 if (!rl_srcPos.is_const) {
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001155 LoadValueDirectFixed(rl_srcPos, tmp_reg);
1156 srcPos_negative = OpCmpImmBranch(kCondLt, tmp_reg, 0, nullptr);
avignatef9f0ed42014-09-17 22:35:07 +07001157 // src_pos < src_len
1158 src_bad_off = OpCmpBranch(kCondLt, rs_rAX, tmp_reg, nullptr);
1159 // src_len - src_pos < copy_len
1160 OpRegRegReg(kOpSub, tmp_reg, rs_rAX, tmp_reg);
1161 src_bad_len = OpCmpBranch(kCondLt, tmp_reg, rs_rDX, nullptr);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001162 } else {
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001163 int32_t pos_val = mir_graph_->ConstantValue(rl_srcPos.orig_sreg);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001164 if (pos_val == 0) {
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001165 src_bad_len = OpCmpBranch(kCondLt, rs_rAX, rs_rDX, nullptr);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001166 } else {
avignatef9f0ed42014-09-17 22:35:07 +07001167 // src_pos < src_len
1168 src_bad_off = OpCmpImmBranch(kCondLt, rs_rAX, pos_val, nullptr);
1169 // src_len - src_pos < copy_len
1170 OpRegRegImm(kOpSub, tmp_reg, rs_rAX, pos_val);
1171 src_bad_len = OpCmpBranch(kCondLt, tmp_reg, rs_rDX, nullptr);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001172 }
1173 }
1174 LIR* dstPos_negative = nullptr;
1175 LIR* dst_bad_len = nullptr;
avignatef9f0ed42014-09-17 22:35:07 +07001176 LIR* dst_bad_off = nullptr;
DaniilSokolov70c4f062014-06-24 17:34:00 -07001177 LoadValueDirectFixed(rl_dst, rs_rAX);
1178 LoadWordDisp(rs_rAX, mirror::Array::LengthOffset().Int32Value(), rs_rAX);
1179 if (!rl_dstPos.is_const) {
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001180 LoadValueDirectFixed(rl_dstPos, tmp_reg);
1181 dstPos_negative = OpCmpImmBranch(kCondLt, tmp_reg, 0, nullptr);
avignatef9f0ed42014-09-17 22:35:07 +07001182 // dst_pos < dst_len
1183 dst_bad_off = OpCmpBranch(kCondLt, rs_rAX, tmp_reg, nullptr);
1184 // dst_len - dst_pos < copy_len
1185 OpRegRegReg(kOpSub, tmp_reg, rs_rAX, tmp_reg);
1186 dst_bad_len = OpCmpBranch(kCondLt, tmp_reg, rs_rDX, nullptr);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001187 } else {
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001188 int32_t pos_val = mir_graph_->ConstantValue(rl_dstPos.orig_sreg);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001189 if (pos_val == 0) {
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001190 dst_bad_len = OpCmpBranch(kCondLt, rs_rAX, rs_rDX, nullptr);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001191 } else {
avignatef9f0ed42014-09-17 22:35:07 +07001192 // dst_pos < dst_len
1193 dst_bad_off = OpCmpImmBranch(kCondLt, rs_rAX, pos_val, nullptr);
1194 // dst_len - dst_pos < copy_len
1195 OpRegRegImm(kOpSub, tmp_reg, rs_rAX, pos_val);
1196 dst_bad_len = OpCmpBranch(kCondLt, tmp_reg, rs_rDX, nullptr);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001197 }
1198 }
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001199 // Everything is checked now.
1200 LoadValueDirectFixed(rl_src, rs_rAX);
1201 LoadValueDirectFixed(rl_dst, tmp_reg);
1202 LoadValueDirectFixed(rl_srcPos, rs_rCX);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001203 NewLIR5(kX86Lea32RA, rs_rAX.GetReg(), rs_rAX.GetReg(),
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001204 rs_rCX.GetReg(), 1, mirror::Array::DataOffset(2).Int32Value());
1205 // RAX now holds the address of the first src element to be copied.
DaniilSokolov70c4f062014-06-24 17:34:00 -07001206
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001207 LoadValueDirectFixed(rl_dstPos, rs_rCX);
1208 NewLIR5(kX86Lea32RA, tmp_reg.GetReg(), tmp_reg.GetReg(),
1209 rs_rCX.GetReg(), 1, mirror::Array::DataOffset(2).Int32Value() );
1210 // RBX now holds the address of the first dst element to be copied.
DaniilSokolov70c4f062014-06-24 17:34:00 -07001211
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001212 // Check if the number of elements to be copied is odd or even. If odd
DaniilSokolov70c4f062014-06-24 17:34:00 -07001213 // then copy the first element (so that the remaining number of elements
1214 // is even).
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001215 LoadValueDirectFixed(rl_length, rs_rCX);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001216 OpRegImm(kOpAnd, rs_rCX, 1);
1217 LIR* jmp_to_begin_loop = OpCmpImmBranch(kCondEq, rs_rCX, 0, nullptr);
1218 OpRegImm(kOpSub, rs_rDX, 1);
1219 LoadBaseIndexedDisp(rs_rAX, rs_rDX, 1, 0, rs_rCX, kSignedHalf);
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001220 StoreBaseIndexedDisp(tmp_reg, rs_rDX, 1, 0, rs_rCX, kSignedHalf);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001221
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001222 // Since the remaining number of elements is even, we will copy by
DaniilSokolov70c4f062014-06-24 17:34:00 -07001223 // two elements at a time.
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001224 LIR* beginLoop = NewLIR0(kPseudoTargetLabel);
1225 LIR* jmp_to_ret = OpCmpImmBranch(kCondEq, rs_rDX, 0, nullptr);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001226 OpRegImm(kOpSub, rs_rDX, 2);
1227 LoadBaseIndexedDisp(rs_rAX, rs_rDX, 1, 0, rs_rCX, kSingle);
DaniilSokolov5a5e8562014-07-17 18:58:15 -07001228 StoreBaseIndexedDisp(tmp_reg, rs_rDX, 1, 0, rs_rCX, kSingle);
DaniilSokolov70c4f062014-06-24 17:34:00 -07001229 OpUnconditionalBranch(beginLoop);
1230 LIR *check_failed = NewLIR0(kPseudoTargetLabel);
1231 LIR* launchpad_branch = OpUnconditionalBranch(nullptr);
1232 LIR *return_point = NewLIR0(kPseudoTargetLabel);
1233 jmp_to_ret->target = return_point;
1234 jmp_to_begin_loop->target = beginLoop;
1235 src_dst_same->target = check_failed;
DaniilSokolov70c4f062014-06-24 17:34:00 -07001236 len_too_big->target = check_failed;
1237 src_null_branch->target = check_failed;
1238 if (srcPos_negative != nullptr)
1239 srcPos_negative ->target = check_failed;
avignatef9f0ed42014-09-17 22:35:07 +07001240 if (src_bad_off != nullptr)
1241 src_bad_off->target = check_failed;
DaniilSokolov70c4f062014-06-24 17:34:00 -07001242 if (src_bad_len != nullptr)
1243 src_bad_len->target = check_failed;
1244 dst_null_branch->target = check_failed;
1245 if (dstPos_negative != nullptr)
1246 dstPos_negative->target = check_failed;
avignatef9f0ed42014-09-17 22:35:07 +07001247 if (dst_bad_off != nullptr)
1248 dst_bad_off->target = check_failed;
DaniilSokolov70c4f062014-06-24 17:34:00 -07001249 if (dst_bad_len != nullptr)
1250 dst_bad_len->target = check_failed;
1251 AddIntrinsicSlowPath(info, launchpad_branch, return_point);
Serguei Katkov9863daf2014-09-04 15:21:32 +07001252 ClobberCallerSave(); // We must clobber everything because slow path will return here
DaniilSokolov70c4f062014-06-24 17:34:00 -07001253 return true;
1254}
1255
1256
Mark Mendell4028a6c2014-02-19 20:06:20 -08001257/*
1258 * Fast string.index_of(I) & (II). Inline check for simple case of char <= 0xffff,
1259 * otherwise bails to standard library code.
1260 */
1261bool X86Mir2Lir::GenInlinedIndexOf(CallInfo* info, bool zero_based) {
Mark Mendell4028a6c2014-02-19 20:06:20 -08001262 RegLocation rl_obj = info->args[0];
1263 RegLocation rl_char = info->args[1];
buzbeea44d4f52014-03-05 11:26:39 -08001264 RegLocation rl_start; // Note: only present in III flavor or IndexOf.
nikolay serdjuk8bd698f2014-08-01 09:24:06 +07001265 // RBX is promotable in 64-bit mode.
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001266 RegStorage rs_tmp = cu_->target64 ? rs_r11 : rs_rBX;
1267 int start_value = -1;
Mark Mendell4028a6c2014-02-19 20:06:20 -08001268
1269 uint32_t char_value =
1270 rl_char.is_const ? mir_graph_->ConstantValue(rl_char.orig_sreg) : 0;
1271
1272 if (char_value > 0xFFFF) {
1273 // We have to punt to the real String.indexOf.
1274 return false;
1275 }
1276
1277 // Okay, we are commited to inlining this.
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001278 // EAX: 16 bit character being searched.
1279 // ECX: count: number of words to be searched.
1280 // EDI: String being searched.
1281 // EDX: temporary during execution.
1282 // EBX or R11: temporary during execution (depending on mode).
1283 // REP SCASW: search instruction.
1284
nikolay serdjuk8bd698f2014-08-01 09:24:06 +07001285 FlushAllRegs();
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001286
buzbeea0cd2d72014-06-01 09:33:49 -07001287 RegLocation rl_return = GetReturn(kCoreReg);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001288 RegLocation rl_dest = InlineTarget(info);
1289
1290 // Is the string non-NULL?
buzbee2700f7e2014-03-07 09:46:20 -08001291 LoadValueDirectFixed(rl_obj, rs_rDX);
1292 GenNullCheck(rs_rDX, info->opt_flags);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001293 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've null checked.
Mark Mendell4028a6c2014-02-19 20:06:20 -08001294
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001295 LIR *slowpath_branch = nullptr, *length_compare = nullptr;
1296
1297 // We need the value in EAX.
Mark Mendell4028a6c2014-02-19 20:06:20 -08001298 if (rl_char.is_const) {
buzbee2700f7e2014-03-07 09:46:20 -08001299 LoadConstantNoClobber(rs_rAX, char_value);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001300 } else {
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001301 // Does the character fit in 16 bits? Compare it at runtime.
buzbee2700f7e2014-03-07 09:46:20 -08001302 LoadValueDirectFixed(rl_char, rs_rAX);
Mingyao Yang3a74d152014-04-21 15:39:44 -07001303 slowpath_branch = OpCmpImmBranch(kCondGt, rs_rAX, 0xFFFF, nullptr);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001304 }
1305
1306 // From here down, we know that we are looking for a char that fits in 16 bits.
Mark Mendelle19c91f2014-02-25 08:19:08 -08001307 // Location of reference to data array within the String object.
1308 int value_offset = mirror::String::ValueOffset().Int32Value();
1309 // Location of count within the String object.
1310 int count_offset = mirror::String::CountOffset().Int32Value();
1311 // Starting offset within data array.
1312 int offset_offset = mirror::String::OffsetOffset().Int32Value();
1313 // Start of char data with array_.
1314 int data_offset = mirror::Array::DataOffset(sizeof(uint16_t)).Int32Value();
Mark Mendell4028a6c2014-02-19 20:06:20 -08001315
Dave Allison69dfe512014-07-11 17:11:58 +00001316 // Compute the number of words to search in to rCX.
1317 Load32Disp(rs_rDX, count_offset, rs_rCX);
1318
Dave Allisondfd3b472014-07-16 16:04:32 -07001319 // Possible signal here due to null pointer dereference.
1320 // Note that the signal handler will expect the top word of
1321 // the stack to be the ArtMethod*. If the PUSH edi instruction
1322 // below is ahead of the load above then this will not be true
1323 // and the signal handler will not work.
1324 MarkPossibleNullPointerException(0);
Dave Allison69dfe512014-07-11 17:11:58 +00001325
Dave Allisondfd3b472014-07-16 16:04:32 -07001326 if (!cu_->target64) {
nikolay serdjuk8bd698f2014-08-01 09:24:06 +07001327 // EDI is promotable in 32-bit mode.
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001328 NewLIR1(kX86Push32R, rs_rDI.GetReg());
David Srbecky1109fb32015-04-07 20:21:06 +01001329 cfi_.AdjustCFAOffset(4);
1330 // Record cfi only if it is not already spilled.
1331 if (!CoreSpillMaskContains(rs_rDI.GetReg())) {
1332 cfi_.RelOffset(DwarfCoreReg(cu_->target64, rs_rDI.GetReg()), 0);
1333 }
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001334 }
Mark Mendell4028a6c2014-02-19 20:06:20 -08001335
Mark Mendell4028a6c2014-02-19 20:06:20 -08001336 if (zero_based) {
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001337 // Start index is not present.
Mark Mendell4028a6c2014-02-19 20:06:20 -08001338 // We have to handle an empty string. Use special instruction JECXZ.
1339 length_compare = NewLIR0(kX86Jecxz8);
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001340
1341 // Copy the number of words to search in a temporary register.
1342 // We will use the register at the end to calculate result.
1343 OpRegReg(kOpMov, rs_tmp, rs_rCX);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001344 } else {
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001345 // Start index is present.
buzbeea44d4f52014-03-05 11:26:39 -08001346 rl_start = info->args[2];
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001347
Mark Mendell4028a6c2014-02-19 20:06:20 -08001348 // We have to offset by the start index.
1349 if (rl_start.is_const) {
1350 start_value = mir_graph_->ConstantValue(rl_start.orig_sreg);
1351 start_value = std::max(start_value, 0);
1352
1353 // Is the start > count?
buzbee2700f7e2014-03-07 09:46:20 -08001354 length_compare = OpCmpImmBranch(kCondLe, rs_rCX, start_value, nullptr);
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001355 OpRegImm(kOpMov, rs_rDI, start_value);
1356
1357 // Copy the number of words to search in a temporary register.
1358 // We will use the register at the end to calculate result.
1359 OpRegReg(kOpMov, rs_tmp, rs_rCX);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001360
1361 if (start_value != 0) {
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001362 // Decrease the number of words to search by the start index.
buzbee2700f7e2014-03-07 09:46:20 -08001363 OpRegImm(kOpSub, rs_rCX, start_value);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001364 }
1365 } else {
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001366 // Handle "start index < 0" case.
1367 if (!cu_->target64 && rl_start.location != kLocPhysReg) {
Alexei Zavjalova1758d82014-04-17 01:55:43 +07001368 // Load the start index from stack, remembering that we pushed EDI.
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001369 int displacement = SRegOffset(rl_start.s_reg_low) + sizeof(uint32_t);
Vladimir Marko74de63b2014-08-19 15:00:34 +01001370 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
Ian Rogersb28c1c02014-11-08 11:21:21 -08001371 Load32Disp(rs_rX86_SP_32, displacement, rs_rDI);
Vladimir Marko74de63b2014-08-19 15:00:34 +01001372 // Dalvik register annotation in LoadBaseIndexedDisp() used wrong offset. Fix it.
1373 DCHECK(!DECODE_ALIAS_INFO_WIDE(last_lir_insn_->flags.alias_info));
1374 int reg_id = DECODE_ALIAS_INFO_REG(last_lir_insn_->flags.alias_info) - 1;
1375 AnnotateDalvikRegAccess(last_lir_insn_, reg_id, true, false);
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001376 } else {
1377 LoadValueDirectFixed(rl_start, rs_rDI);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001378 }
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001379 OpRegReg(kOpXor, rs_tmp, rs_tmp);
1380 OpRegReg(kOpCmp, rs_rDI, rs_tmp);
1381 OpCondRegReg(kOpCmov, kCondLt, rs_rDI, rs_tmp);
1382
1383 // The length of the string should be greater than the start index.
1384 length_compare = OpCmpBranch(kCondLe, rs_rCX, rs_rDI, nullptr);
1385
1386 // Copy the number of words to search in a temporary register.
1387 // We will use the register at the end to calculate result.
1388 OpRegReg(kOpMov, rs_tmp, rs_rCX);
1389
1390 // Decrease the number of words to search by the start index.
1391 OpRegReg(kOpSub, rs_rCX, rs_rDI);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001392 }
1393 }
Mark Mendell4028a6c2014-02-19 20:06:20 -08001394
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001395 // Load the address of the string into EDI.
1396 // In case of start index we have to add the address to existing value in EDI.
Mark Mendelle19c91f2014-02-25 08:19:08 -08001397 // The string starts at VALUE(String) + 2 * OFFSET(String) + DATA_OFFSET.
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001398 if (zero_based || (!zero_based && rl_start.is_const && start_value == 0)) {
1399 Load32Disp(rs_rDX, offset_offset, rs_rDI);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001400 } else {
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001401 OpRegMem(kOpAdd, rs_rDI, rs_rDX, offset_offset);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001402 }
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001403 OpRegImm(kOpLsl, rs_rDI, 1);
1404 OpRegMem(kOpAdd, rs_rDI, rs_rDX, value_offset);
1405 OpRegImm(kOpAdd, rs_rDI, data_offset);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001406
1407 // EDI now contains the start of the string to be searched.
1408 // We are all prepared to do the search for the character.
1409 NewLIR0(kX86RepneScasw);
1410
1411 // Did we find a match?
1412 LIR* failed_branch = OpCondBranch(kCondNe, nullptr);
1413
1414 // yes, we matched. Compute the index of the result.
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001415 OpRegReg(kOpSub, rs_tmp, rs_rCX);
1416 NewLIR3(kX86Lea32RM, rl_return.reg.GetReg(), rs_tmp.GetReg(), -1);
1417
Mark Mendell4028a6c2014-02-19 20:06:20 -08001418 LIR *all_done = NewLIR1(kX86Jmp8, 0);
1419
1420 // Failed to match; return -1.
1421 LIR *not_found = NewLIR0(kPseudoTargetLabel);
1422 length_compare->target = not_found;
1423 failed_branch->target = not_found;
buzbee2700f7e2014-03-07 09:46:20 -08001424 LoadConstantNoClobber(rl_return.reg, -1);
Mark Mendell4028a6c2014-02-19 20:06:20 -08001425
1426 // And join up at the end.
1427 all_done->target = NewLIR0(kPseudoTargetLabel);
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001428
David Srbecky1109fb32015-04-07 20:21:06 +01001429 if (!cu_->target64) {
nikolay serdjukc3561ae2014-07-18 12:35:46 +07001430 NewLIR1(kX86Pop32R, rs_rDI.GetReg());
David Srbecky1109fb32015-04-07 20:21:06 +01001431 cfi_.AdjustCFAOffset(-4);
1432 if (!CoreSpillMaskContains(rs_rDI.GetReg())) {
1433 cfi_.Restore(DwarfCoreReg(cu_->target64, rs_rDI.GetReg()));
1434 }
1435 }
Mark Mendell4028a6c2014-02-19 20:06:20 -08001436
1437 // Out of line code returns here.
Mingyao Yang3a74d152014-04-21 15:39:44 -07001438 if (slowpath_branch != nullptr) {
Mark Mendell4028a6c2014-02-19 20:06:20 -08001439 LIR *return_point = NewLIR0(kPseudoTargetLabel);
Mingyao Yang3a74d152014-04-21 15:39:44 -07001440 AddIntrinsicSlowPath(info, slowpath_branch, return_point);
Serguei Katkov9863daf2014-09-04 15:21:32 +07001441 ClobberCallerSave(); // We must clobber everything because slow path will return here
Mark Mendell4028a6c2014-02-19 20:06:20 -08001442 }
1443
1444 StoreValue(rl_dest, rl_return);
1445 return true;
1446}
1447
Mark Mendelld65c51a2014-04-29 16:55:20 -04001448void X86Mir2Lir::GenMachineSpecificExtendedMethodMIR(BasicBlock* bb, MIR* mir) {
1449 switch (static_cast<ExtendedMIROpcode>(mir->dalvikInsn.opcode)) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001450 case kMirOpReserveVectorRegisters:
1451 ReserveVectorRegisters(mir);
1452 break;
1453 case kMirOpReturnVectorRegisters:
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001454 ReturnVectorRegisters(mir);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001455 break;
Mark Mendelld65c51a2014-04-29 16:55:20 -04001456 case kMirOpConstVector:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001457 GenConst128(mir);
Mark Mendelld65c51a2014-04-29 16:55:20 -04001458 break;
Mark Mendellfe945782014-05-22 09:52:36 -04001459 case kMirOpMoveVector:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001460 GenMoveVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001461 break;
1462 case kMirOpPackedMultiply:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001463 GenMultiplyVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001464 break;
1465 case kMirOpPackedAddition:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001466 GenAddVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001467 break;
1468 case kMirOpPackedSubtract:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001469 GenSubtractVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001470 break;
1471 case kMirOpPackedShiftLeft:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001472 GenShiftLeftVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001473 break;
1474 case kMirOpPackedSignedShiftRight:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001475 GenSignedShiftRightVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001476 break;
1477 case kMirOpPackedUnsignedShiftRight:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001478 GenUnsignedShiftRightVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001479 break;
1480 case kMirOpPackedAnd:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001481 GenAndVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001482 break;
1483 case kMirOpPackedOr:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001484 GenOrVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001485 break;
1486 case kMirOpPackedXor:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001487 GenXorVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001488 break;
1489 case kMirOpPackedAddReduce:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001490 GenAddReduceVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001491 break;
1492 case kMirOpPackedReduce:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001493 GenReduceVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001494 break;
1495 case kMirOpPackedSet:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001496 GenSetVector(mir);
Mark Mendellfe945782014-05-22 09:52:36 -04001497 break;
Jean Christophe Beylerb5bce7c2014-07-25 12:32:18 -07001498 case kMirOpMemBarrier:
1499 GenMemBarrier(static_cast<MemBarrierKind>(mir->dalvikInsn.vA));
1500 break;
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001501 case kMirOpPackedArrayGet:
1502 GenPackedArrayGet(bb, mir);
1503 break;
1504 case kMirOpPackedArrayPut:
1505 GenPackedArrayPut(bb, mir);
1506 break;
Mark Mendelld65c51a2014-04-29 16:55:20 -04001507 default:
1508 break;
1509 }
1510}
1511
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001512void X86Mir2Lir::ReserveVectorRegisters(MIR* mir) {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001513 for (uint32_t i = mir->dalvikInsn.vA; i <= mir->dalvikInsn.vB; i++) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001514 RegStorage xp_reg = RegStorage::Solo128(i);
1515 RegisterInfo *xp_reg_info = GetRegInfo(xp_reg);
1516 Clobber(xp_reg);
1517
1518 for (RegisterInfo *info = xp_reg_info->GetAliasChain();
1519 info != nullptr;
1520 info = info->GetAliasChain()) {
Vladimir Markoe39c54e2014-09-22 14:50:02 +01001521 ArenaVector<RegisterInfo*>* regs =
1522 info->GetReg().IsSingle() ? &reg_pool_->sp_regs_ : &reg_pool_->dp_regs_;
1523 auto it = std::find(regs->begin(), regs->end(), info);
1524 DCHECK(it != regs->end());
1525 regs->erase(it);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001526 }
1527 }
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001528}
1529
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001530void X86Mir2Lir::ReturnVectorRegisters(MIR* mir) {
1531 for (uint32_t i = mir->dalvikInsn.vA; i <= mir->dalvikInsn.vB; i++) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001532 RegStorage xp_reg = RegStorage::Solo128(i);
1533 RegisterInfo *xp_reg_info = GetRegInfo(xp_reg);
1534
1535 for (RegisterInfo *info = xp_reg_info->GetAliasChain();
1536 info != nullptr;
1537 info = info->GetAliasChain()) {
1538 if (info->GetReg().IsSingle()) {
Vladimir Markoe39c54e2014-09-22 14:50:02 +01001539 reg_pool_->sp_regs_.push_back(info);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001540 } else {
Vladimir Markoe39c54e2014-09-22 14:50:02 +01001541 reg_pool_->dp_regs_.push_back(info);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001542 }
1543 }
1544 }
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001545}
1546
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001547void X86Mir2Lir::GenConst128(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001548 RegStorage rs_dest = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001549 Clobber(rs_dest);
1550
Mark Mendelld65c51a2014-04-29 16:55:20 -04001551 uint32_t *args = mir->dalvikInsn.arg;
Mark Mendellfe945782014-05-22 09:52:36 -04001552 int reg = rs_dest.GetReg();
Mark Mendelld65c51a2014-04-29 16:55:20 -04001553 // Check for all 0 case.
1554 if (args[0] == 0 && args[1] == 0 && args[2] == 0 && args[3] == 0) {
1555 NewLIR2(kX86XorpsRR, reg, reg);
1556 return;
1557 }
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001558
1559 // Append the mov const vector to reg opcode.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001560 AppendOpcodeWithConst(kX86MovdqaRM, reg, mir);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001561}
1562
1563void X86Mir2Lir::AppendOpcodeWithConst(X86OpCode opcode, int reg, MIR* mir) {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001564 // To deal with correct memory ordering, reverse order of constants.
1565 int32_t constants[4];
1566 constants[3] = mir->dalvikInsn.arg[0];
1567 constants[2] = mir->dalvikInsn.arg[1];
1568 constants[1] = mir->dalvikInsn.arg[2];
1569 constants[0] = mir->dalvikInsn.arg[3];
1570
1571 // Search if there is already a constant in pool with this value.
1572 LIR *data_target = ScanVectorLiteral(constants);
Mark Mendelld65c51a2014-04-29 16:55:20 -04001573 if (data_target == nullptr) {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001574 data_target = AddVectorLiteral(constants);
Mark Mendelld65c51a2014-04-29 16:55:20 -04001575 }
1576
Mark Mendelld65c51a2014-04-29 16:55:20 -04001577 // Load the proper value from the literal area.
1578 // We don't know the proper offset for the value, so pick one that will force
Mark Mendell27dee8b2014-12-01 19:06:12 -05001579 // 4 byte offset. We will fix this up in the assembler later to have the
1580 // right value.
1581 LIR* load;
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001582 ScopedMemRefType mem_ref_type(this, ResourceMask::kLiteral);
Mark Mendell27dee8b2014-12-01 19:06:12 -05001583 if (cu_->target64) {
1584 load = NewLIR3(opcode, reg, kRIPReg, 256 /* bogus */);
1585 } else {
1586 // Address the start of the method.
1587 RegLocation rl_method = mir_graph_->GetRegLocation(base_of_code_->s_reg_low);
1588 if (rl_method.wide) {
1589 rl_method = LoadValueWide(rl_method, kCoreReg);
1590 } else {
1591 rl_method = LoadValue(rl_method, kCoreReg);
1592 }
1593
1594 load = NewLIR3(opcode, reg, rl_method.reg.GetReg(), 256 /* bogus */);
1595
1596 // The literal pool needs position independent logic.
1597 store_method_addr_used_ = true;
1598 }
Mark Mendelld65c51a2014-04-29 16:55:20 -04001599 load->flags.fixup = kFixupLoad;
1600 load->target = data_target;
Mark Mendelld65c51a2014-04-29 16:55:20 -04001601}
1602
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001603void X86Mir2Lir::GenMoveVector(MIR* mir) {
Mark Mendellfe945782014-05-22 09:52:36 -04001604 // We only support 128 bit registers.
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001605 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1606 RegStorage rs_dest = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001607 Clobber(rs_dest);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001608 RegStorage rs_src = RegStorage::Solo128(mir->dalvikInsn.vB);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001609 NewLIR2(kX86MovdqaRR, rs_dest.GetReg(), rs_src.GetReg());
Mark Mendellfe945782014-05-22 09:52:36 -04001610}
1611
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001612void X86Mir2Lir::GenMultiplyVectorSignedByte(RegStorage rs_dest_src1, RegStorage rs_src2) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001613 /*
1614 * Emulate the behavior of a kSignedByte by separating out the 16 values in the two XMM
1615 * and multiplying 8 at a time before recombining back into one XMM register.
1616 *
1617 * let xmm1, xmm2 be real srcs (keep low bits of 16bit lanes)
1618 * xmm3 is tmp (operate on high bits of 16bit lanes)
1619 *
1620 * xmm3 = xmm1
1621 * xmm1 = xmm1 .* xmm2
1622 * xmm1 = xmm1 & 0x00ff00ff00ff00ff00ff00ff00ff00ff // xmm1 now has low bits
1623 * xmm3 = xmm3 .>> 8
1624 * xmm2 = xmm2 & 0xff00ff00ff00ff00ff00ff00ff00ff00
1625 * xmm2 = xmm2 .* xmm3 // xmm2 now has high bits
1626 * xmm1 = xmm1 | xmm2 // combine results
1627 */
1628
1629 // Copy xmm1.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001630 RegStorage rs_src1_high_tmp = Get128BitRegister(AllocTempDouble());
1631 RegStorage rs_dest_high_tmp = Get128BitRegister(AllocTempDouble());
1632 NewLIR2(kX86MovdqaRR, rs_src1_high_tmp.GetReg(), rs_src2.GetReg());
1633 NewLIR2(kX86MovdqaRR, rs_dest_high_tmp.GetReg(), rs_dest_src1.GetReg());
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001634
1635 // Multiply low bits.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001636 // x7 *= x3
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001637 NewLIR2(kX86PmullwRR, rs_dest_src1.GetReg(), rs_src2.GetReg());
1638
1639 // xmm1 now has low bits.
1640 AndMaskVectorRegister(rs_dest_src1, 0x00FF00FF, 0x00FF00FF, 0x00FF00FF, 0x00FF00FF);
1641
1642 // Prepare high bits for multiplication.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001643 NewLIR2(kX86PsrlwRI, rs_src1_high_tmp.GetReg(), 0x8);
1644 AndMaskVectorRegister(rs_dest_high_tmp, 0xFF00FF00, 0xFF00FF00, 0xFF00FF00, 0xFF00FF00);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001645
1646 // Multiply high bits and xmm2 now has high bits.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001647 NewLIR2(kX86PmullwRR, rs_src1_high_tmp.GetReg(), rs_dest_high_tmp.GetReg());
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001648
1649 // Combine back into dest XMM register.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001650 NewLIR2(kX86PorRR, rs_dest_src1.GetReg(), rs_src1_high_tmp.GetReg());
1651}
1652
1653void X86Mir2Lir::GenMultiplyVectorLong(RegStorage rs_dest_src1, RegStorage rs_src2) {
1654 /*
1655 * We need to emulate the packed long multiply.
1656 * For kMirOpPackedMultiply xmm1, xmm0:
1657 * - xmm1 is src/dest
1658 * - xmm0 is src
1659 * - Get xmm2 and xmm3 as temp
1660 * - Idea is to multiply the lower 32 of each operand with the higher 32 of the other.
1661 * - Then add the two results.
1662 * - Move it to the upper 32 of the destination
1663 * - Then multiply the lower 32-bits of the operands and add the result to the destination.
1664 *
1665 * (op dest src )
1666 * movdqa %xmm2, %xmm1
1667 * movdqa %xmm3, %xmm0
1668 * psrlq %xmm3, $0x20
1669 * pmuludq %xmm3, %xmm2
1670 * psrlq %xmm1, $0x20
1671 * pmuludq %xmm1, %xmm0
1672 * paddq %xmm1, %xmm3
1673 * psllq %xmm1, $0x20
1674 * pmuludq %xmm2, %xmm0
1675 * paddq %xmm1, %xmm2
1676 *
1677 * When both the operands are the same, then we need to calculate the lower-32 * higher-32
1678 * calculation only once. Thus we don't need the xmm3 temp above. That sequence becomes:
1679 *
1680 * (op dest src )
1681 * movdqa %xmm2, %xmm1
1682 * psrlq %xmm1, $0x20
1683 * pmuludq %xmm1, %xmm0
1684 * paddq %xmm1, %xmm1
1685 * psllq %xmm1, $0x20
1686 * pmuludq %xmm2, %xmm0
1687 * paddq %xmm1, %xmm2
1688 *
1689 */
1690
1691 bool both_operands_same = (rs_dest_src1.GetReg() == rs_src2.GetReg());
1692
1693 RegStorage rs_tmp_vector_1;
1694 RegStorage rs_tmp_vector_2;
1695 rs_tmp_vector_1 = Get128BitRegister(AllocTempDouble());
1696 NewLIR2(kX86MovdqaRR, rs_tmp_vector_1.GetReg(), rs_dest_src1.GetReg());
1697
1698 if (both_operands_same == false) {
1699 rs_tmp_vector_2 = Get128BitRegister(AllocTempDouble());
1700 NewLIR2(kX86MovdqaRR, rs_tmp_vector_2.GetReg(), rs_src2.GetReg());
1701 NewLIR2(kX86PsrlqRI, rs_tmp_vector_2.GetReg(), 0x20);
1702 NewLIR2(kX86PmuludqRR, rs_tmp_vector_2.GetReg(), rs_tmp_vector_1.GetReg());
1703 }
1704
1705 NewLIR2(kX86PsrlqRI, rs_dest_src1.GetReg(), 0x20);
1706 NewLIR2(kX86PmuludqRR, rs_dest_src1.GetReg(), rs_src2.GetReg());
1707
1708 if (both_operands_same == false) {
1709 NewLIR2(kX86PaddqRR, rs_dest_src1.GetReg(), rs_tmp_vector_2.GetReg());
1710 } else {
1711 NewLIR2(kX86PaddqRR, rs_dest_src1.GetReg(), rs_dest_src1.GetReg());
1712 }
1713
1714 NewLIR2(kX86PsllqRI, rs_dest_src1.GetReg(), 0x20);
1715 NewLIR2(kX86PmuludqRR, rs_tmp_vector_1.GetReg(), rs_src2.GetReg());
1716 NewLIR2(kX86PaddqRR, rs_dest_src1.GetReg(), rs_tmp_vector_1.GetReg());
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001717}
1718
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001719void X86Mir2Lir::GenMultiplyVector(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001720 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1721 OpSize opsize = static_cast<OpSize>(mir->dalvikInsn.vC >> 16);
1722 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001723 Clobber(rs_dest_src1);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001724 RegStorage rs_src2 = RegStorage::Solo128(mir->dalvikInsn.vB);
Mark Mendellfe945782014-05-22 09:52:36 -04001725 int opcode = 0;
1726 switch (opsize) {
1727 case k32:
1728 opcode = kX86PmulldRR;
1729 break;
1730 case kSignedHalf:
1731 opcode = kX86PmullwRR;
1732 break;
1733 case kSingle:
1734 opcode = kX86MulpsRR;
1735 break;
1736 case kDouble:
1737 opcode = kX86MulpdRR;
1738 break;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001739 case kSignedByte:
1740 // HW doesn't support 16x16 byte multiplication so emulate it.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001741 GenMultiplyVectorSignedByte(rs_dest_src1, rs_src2);
1742 return;
1743 case k64:
1744 GenMultiplyVectorLong(rs_dest_src1, rs_src2);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001745 return;
Mark Mendellfe945782014-05-22 09:52:36 -04001746 default:
1747 LOG(FATAL) << "Unsupported vector multiply " << opsize;
1748 break;
1749 }
1750 NewLIR2(opcode, rs_dest_src1.GetReg(), rs_src2.GetReg());
1751}
1752
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001753void X86Mir2Lir::GenAddVector(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001754 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1755 OpSize opsize = static_cast<OpSize>(mir->dalvikInsn.vC >> 16);
1756 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001757 Clobber(rs_dest_src1);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001758 RegStorage rs_src2 = RegStorage::Solo128(mir->dalvikInsn.vB);
Mark Mendellfe945782014-05-22 09:52:36 -04001759 int opcode = 0;
1760 switch (opsize) {
1761 case k32:
1762 opcode = kX86PadddRR;
1763 break;
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001764 case k64:
1765 opcode = kX86PaddqRR;
1766 break;
Mark Mendellfe945782014-05-22 09:52:36 -04001767 case kSignedHalf:
1768 case kUnsignedHalf:
1769 opcode = kX86PaddwRR;
1770 break;
1771 case kUnsignedByte:
1772 case kSignedByte:
1773 opcode = kX86PaddbRR;
1774 break;
1775 case kSingle:
1776 opcode = kX86AddpsRR;
1777 break;
1778 case kDouble:
1779 opcode = kX86AddpdRR;
1780 break;
1781 default:
1782 LOG(FATAL) << "Unsupported vector addition " << opsize;
1783 break;
1784 }
1785 NewLIR2(opcode, rs_dest_src1.GetReg(), rs_src2.GetReg());
1786}
1787
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001788void X86Mir2Lir::GenSubtractVector(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001789 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1790 OpSize opsize = static_cast<OpSize>(mir->dalvikInsn.vC >> 16);
1791 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001792 Clobber(rs_dest_src1);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001793 RegStorage rs_src2 = RegStorage::Solo128(mir->dalvikInsn.vB);
Mark Mendellfe945782014-05-22 09:52:36 -04001794 int opcode = 0;
1795 switch (opsize) {
1796 case k32:
1797 opcode = kX86PsubdRR;
1798 break;
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001799 case k64:
1800 opcode = kX86PsubqRR;
1801 break;
Mark Mendellfe945782014-05-22 09:52:36 -04001802 case kSignedHalf:
1803 case kUnsignedHalf:
1804 opcode = kX86PsubwRR;
1805 break;
1806 case kUnsignedByte:
1807 case kSignedByte:
1808 opcode = kX86PsubbRR;
1809 break;
1810 case kSingle:
1811 opcode = kX86SubpsRR;
1812 break;
1813 case kDouble:
1814 opcode = kX86SubpdRR;
1815 break;
1816 default:
1817 LOG(FATAL) << "Unsupported vector subtraction " << opsize;
1818 break;
1819 }
1820 NewLIR2(opcode, rs_dest_src1.GetReg(), rs_src2.GetReg());
1821}
1822
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001823void X86Mir2Lir::GenShiftByteVector(MIR* mir) {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001824 // Destination does not need clobbered because it has already been as part
1825 // of the general packed shift handler (caller of this method).
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001826 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001827
1828 int opcode = 0;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001829 switch (static_cast<ExtendedMIROpcode>(mir->dalvikInsn.opcode)) {
1830 case kMirOpPackedShiftLeft:
1831 opcode = kX86PsllwRI;
1832 break;
1833 case kMirOpPackedSignedShiftRight:
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001834 case kMirOpPackedUnsignedShiftRight:
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001835 // TODO Add support for emulated byte shifts.
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001836 default:
1837 LOG(FATAL) << "Unsupported shift operation on byte vector " << opcode;
1838 break;
1839 }
1840
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001841 // Clear xmm register and return if shift more than byte length.
1842 int imm = mir->dalvikInsn.vB;
1843 if (imm >= 8) {
1844 NewLIR2(kX86PxorRR, rs_dest_src1.GetReg(), rs_dest_src1.GetReg());
1845 return;
1846 }
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001847
1848 // Shift lower values.
1849 NewLIR2(opcode, rs_dest_src1.GetReg(), imm);
1850
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001851 /*
1852 * The above shift will shift the whole word, but that means
1853 * both the bytes will shift as well. To emulate a byte level
1854 * shift, we can just throw away the lower (8 - N) bits of the
1855 * upper byte, and we are done.
1856 */
1857 uint8_t byte_mask = 0xFF << imm;
1858 uint32_t int_mask = byte_mask;
1859 int_mask = int_mask << 8 | byte_mask;
1860 int_mask = int_mask << 8 | byte_mask;
1861 int_mask = int_mask << 8 | byte_mask;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001862
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001863 // And the destination with the mask
1864 AndMaskVectorRegister(rs_dest_src1, int_mask, int_mask, int_mask, int_mask);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001865}
1866
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001867void X86Mir2Lir::GenShiftLeftVector(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001868 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1869 OpSize opsize = static_cast<OpSize>(mir->dalvikInsn.vC >> 16);
1870 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001871 Clobber(rs_dest_src1);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001872 int imm = mir->dalvikInsn.vB;
Mark Mendellfe945782014-05-22 09:52:36 -04001873 int opcode = 0;
1874 switch (opsize) {
1875 case k32:
1876 opcode = kX86PslldRI;
1877 break;
1878 case k64:
1879 opcode = kX86PsllqRI;
1880 break;
1881 case kSignedHalf:
1882 case kUnsignedHalf:
1883 opcode = kX86PsllwRI;
1884 break;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001885 case kSignedByte:
1886 case kUnsignedByte:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001887 GenShiftByteVector(mir);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001888 return;
Mark Mendellfe945782014-05-22 09:52:36 -04001889 default:
1890 LOG(FATAL) << "Unsupported vector shift left " << opsize;
1891 break;
1892 }
1893 NewLIR2(opcode, rs_dest_src1.GetReg(), imm);
1894}
1895
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001896void X86Mir2Lir::GenSignedShiftRightVector(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001897 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1898 OpSize opsize = static_cast<OpSize>(mir->dalvikInsn.vC >> 16);
1899 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001900 Clobber(rs_dest_src1);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001901 int imm = mir->dalvikInsn.vB;
Mark Mendellfe945782014-05-22 09:52:36 -04001902 int opcode = 0;
1903 switch (opsize) {
1904 case k32:
1905 opcode = kX86PsradRI;
1906 break;
1907 case kSignedHalf:
1908 case kUnsignedHalf:
1909 opcode = kX86PsrawRI;
1910 break;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001911 case kSignedByte:
1912 case kUnsignedByte:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001913 GenShiftByteVector(mir);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001914 return;
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001915 case k64:
1916 // TODO Implement emulated shift algorithm.
Mark Mendellfe945782014-05-22 09:52:36 -04001917 default:
1918 LOG(FATAL) << "Unsupported vector signed shift right " << opsize;
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001919 UNREACHABLE();
Mark Mendellfe945782014-05-22 09:52:36 -04001920 }
1921 NewLIR2(opcode, rs_dest_src1.GetReg(), imm);
1922}
1923
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001924void X86Mir2Lir::GenUnsignedShiftRightVector(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001925 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1926 OpSize opsize = static_cast<OpSize>(mir->dalvikInsn.vC >> 16);
1927 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001928 Clobber(rs_dest_src1);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001929 int imm = mir->dalvikInsn.vB;
Mark Mendellfe945782014-05-22 09:52:36 -04001930 int opcode = 0;
1931 switch (opsize) {
1932 case k32:
1933 opcode = kX86PsrldRI;
1934 break;
1935 case k64:
1936 opcode = kX86PsrlqRI;
1937 break;
1938 case kSignedHalf:
1939 case kUnsignedHalf:
1940 opcode = kX86PsrlwRI;
1941 break;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001942 case kSignedByte:
1943 case kUnsignedByte:
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001944 GenShiftByteVector(mir);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001945 return;
Mark Mendellfe945782014-05-22 09:52:36 -04001946 default:
1947 LOG(FATAL) << "Unsupported vector unsigned shift right " << opsize;
1948 break;
1949 }
1950 NewLIR2(opcode, rs_dest_src1.GetReg(), imm);
1951}
1952
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001953void X86Mir2Lir::GenAndVector(MIR* mir) {
Mark Mendellfe945782014-05-22 09:52:36 -04001954 // We only support 128 bit registers.
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001955 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1956 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001957 Clobber(rs_dest_src1);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001958 RegStorage rs_src2 = RegStorage::Solo128(mir->dalvikInsn.vB);
Mark Mendellfe945782014-05-22 09:52:36 -04001959 NewLIR2(kX86PandRR, rs_dest_src1.GetReg(), rs_src2.GetReg());
1960}
1961
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001962void X86Mir2Lir::GenOrVector(MIR* mir) {
Mark Mendellfe945782014-05-22 09:52:36 -04001963 // We only support 128 bit registers.
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001964 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1965 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001966 Clobber(rs_dest_src1);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001967 RegStorage rs_src2 = RegStorage::Solo128(mir->dalvikInsn.vB);
Mark Mendellfe945782014-05-22 09:52:36 -04001968 NewLIR2(kX86PorRR, rs_dest_src1.GetReg(), rs_src2.GetReg());
1969}
1970
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001971void X86Mir2Lir::GenXorVector(MIR* mir) {
Mark Mendellfe945782014-05-22 09:52:36 -04001972 // We only support 128 bit registers.
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001973 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
1974 RegStorage rs_dest_src1 = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07001975 Clobber(rs_dest_src1);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001976 RegStorage rs_src2 = RegStorage::Solo128(mir->dalvikInsn.vB);
Mark Mendellfe945782014-05-22 09:52:36 -04001977 NewLIR2(kX86PxorRR, rs_dest_src1.GetReg(), rs_src2.GetReg());
1978}
1979
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001980void X86Mir2Lir::AndMaskVectorRegister(RegStorage rs_src1, uint32_t m1, uint32_t m2, uint32_t m3, uint32_t m4) {
1981 MaskVectorRegister(kX86PandRM, rs_src1, m1, m2, m3, m4);
1982}
1983
1984void X86Mir2Lir::MaskVectorRegister(X86OpCode opcode, RegStorage rs_src1, uint32_t m0, uint32_t m1, uint32_t m2, uint32_t m3) {
1985 // Create temporary MIR as container for 128-bit binary mask.
1986 MIR const_mir;
1987 MIR* const_mirp = &const_mir;
1988 const_mirp->dalvikInsn.opcode = static_cast<Instruction::Code>(kMirOpConstVector);
1989 const_mirp->dalvikInsn.arg[0] = m0;
1990 const_mirp->dalvikInsn.arg[1] = m1;
1991 const_mirp->dalvikInsn.arg[2] = m2;
1992 const_mirp->dalvikInsn.arg[3] = m3;
1993
1994 // Mask vector with const from literal pool.
1995 AppendOpcodeWithConst(opcode, rs_src1.GetReg(), const_mirp);
1996}
1997
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07001998void X86Mir2Lir::GenAddReduceVector(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07001999 OpSize opsize = static_cast<OpSize>(mir->dalvikInsn.vC >> 16);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002000 RegStorage vector_src = RegStorage::Solo128(mir->dalvikInsn.vB);
2001 bool is_wide = opsize == k64 || opsize == kDouble;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002002
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002003 // Get the location of the virtual register. Since this bytecode is overloaded
2004 // for different types (and sizes), we need different logic for each path.
2005 // The design of bytecode uses same VR for source and destination.
2006 RegLocation rl_src, rl_dest, rl_result;
2007 if (is_wide) {
2008 rl_src = mir_graph_->GetSrcWide(mir, 0);
2009 rl_dest = mir_graph_->GetDestWide(mir);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002010 } else {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002011 rl_src = mir_graph_->GetSrc(mir, 0);
2012 rl_dest = mir_graph_->GetDest(mir);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002013 }
2014
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002015 // We need a temp for byte and short values
2016 RegStorage temp;
2017
2018 // There is a different path depending on type and size.
2019 if (opsize == kSingle) {
2020 // Handle float case.
2021 // TODO Add support for fast math (not value safe) and do horizontal add in that case.
2022
2023 rl_src = LoadValue(rl_src, kFPReg);
2024 rl_result = EvalLoc(rl_dest, kFPReg, true);
2025
2026 // Since we are doing an add-reduce, we move the reg holding the VR
2027 // into the result so we include it in result.
2028 OpRegCopy(rl_result.reg, rl_src.reg);
2029 NewLIR2(kX86AddssRR, rl_result.reg.GetReg(), vector_src.GetReg());
2030
2031 // Since FP must keep order of operation for value safety, we shift to low
2032 // 32-bits and add to result.
2033 for (int i = 0; i < 3; i++) {
2034 NewLIR3(kX86ShufpsRRI, vector_src.GetReg(), vector_src.GetReg(), 0x39);
2035 NewLIR2(kX86AddssRR, rl_result.reg.GetReg(), vector_src.GetReg());
2036 }
2037
2038 StoreValue(rl_dest, rl_result);
2039 } else if (opsize == kDouble) {
2040 // Handle double case.
2041 rl_src = LoadValueWide(rl_src, kFPReg);
2042 rl_result = EvalLocWide(rl_dest, kFPReg, true);
2043 LOG(FATAL) << "Unsupported vector add reduce for double.";
2044 } else if (opsize == k64) {
2045 /*
2046 * Handle long case:
2047 * 1) Reduce the vector register to lower half (with addition).
2048 * 1-1) Get an xmm temp and fill it with vector register.
2049 * 1-2) Shift the xmm temp by 8-bytes.
2050 * 1-3) Add the xmm temp to vector register that is being reduced.
2051 * 2) Allocate temp GP / GP pair.
2052 * 2-1) In 64-bit case, use movq to move result to a 64-bit GP.
2053 * 2-2) In 32-bit case, use movd twice to move to 32-bit GP pair.
2054 * 3) Finish the add reduction by doing what add-long/2addr does,
2055 * but instead of having a VR as one of the sources, we have our temp GP.
2056 */
2057 RegStorage rs_tmp_vector = Get128BitRegister(AllocTempDouble());
2058 NewLIR2(kX86MovdqaRR, rs_tmp_vector.GetReg(), vector_src.GetReg());
2059 NewLIR2(kX86PsrldqRI, rs_tmp_vector.GetReg(), 8);
2060 NewLIR2(kX86PaddqRR, vector_src.GetReg(), rs_tmp_vector.GetReg());
2061 FreeTemp(rs_tmp_vector);
2062
2063 // We would like to be able to reuse the add-long implementation, so set up a fake
2064 // register location to pass it.
2065 RegLocation temp_loc = mir_graph_->GetBadLoc();
2066 temp_loc.core = 1;
2067 temp_loc.wide = 1;
2068 temp_loc.location = kLocPhysReg;
2069 temp_loc.reg = AllocTempWide();
2070
2071 if (cu_->target64) {
2072 DCHECK(!temp_loc.reg.IsPair());
2073 NewLIR2(kX86MovqrxRR, temp_loc.reg.GetReg(), vector_src.GetReg());
2074 } else {
2075 NewLIR2(kX86MovdrxRR, temp_loc.reg.GetLowReg(), vector_src.GetReg());
2076 NewLIR2(kX86PsrlqRI, vector_src.GetReg(), 0x20);
2077 NewLIR2(kX86MovdrxRR, temp_loc.reg.GetHighReg(), vector_src.GetReg());
2078 }
2079
Razvan A Lupusoru5c5676b2014-09-29 16:42:11 -07002080 GenArithOpLong(Instruction::ADD_LONG_2ADDR, rl_dest, temp_loc, temp_loc, mir->optimization_flags);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002081 } else if (opsize == kSignedByte || opsize == kUnsignedByte) {
2082 RegStorage rs_tmp = Get128BitRegister(AllocTempDouble());
2083 NewLIR2(kX86PxorRR, rs_tmp.GetReg(), rs_tmp.GetReg());
2084 NewLIR2(kX86PsadbwRR, vector_src.GetReg(), rs_tmp.GetReg());
2085 NewLIR3(kX86PshufdRRI, rs_tmp.GetReg(), vector_src.GetReg(), 0x4e);
2086 NewLIR2(kX86PaddbRR, vector_src.GetReg(), rs_tmp.GetReg());
2087 // Move to a GPR
2088 temp = AllocTemp();
2089 NewLIR2(kX86MovdrxRR, temp.GetReg(), vector_src.GetReg());
2090 } else {
2091 // Handle and the int and short cases together
2092
2093 // Initialize as if we were handling int case. Below we update
2094 // the opcode if handling byte or short.
2095 int vec_bytes = (mir->dalvikInsn.vC & 0xFFFF) / 8;
2096 int vec_unit_size;
2097 int horizontal_add_opcode;
2098 int extract_opcode;
2099
2100 if (opsize == kSignedHalf || opsize == kUnsignedHalf) {
2101 extract_opcode = kX86PextrwRRI;
2102 horizontal_add_opcode = kX86PhaddwRR;
2103 vec_unit_size = 2;
2104 } else if (opsize == k32) {
2105 vec_unit_size = 4;
2106 horizontal_add_opcode = kX86PhadddRR;
2107 extract_opcode = kX86PextrdRRI;
2108 } else {
2109 LOG(FATAL) << "Unsupported vector add reduce " << opsize;
2110 return;
2111 }
2112
2113 int elems = vec_bytes / vec_unit_size;
2114
2115 while (elems > 1) {
2116 NewLIR2(horizontal_add_opcode, vector_src.GetReg(), vector_src.GetReg());
2117 elems >>= 1;
2118 }
2119
2120 // Handle this as arithmetic unary case.
2121 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
2122
2123 // Extract to a GP register because this is integral typed.
2124 temp = AllocTemp();
2125 NewLIR3(extract_opcode, temp.GetReg(), vector_src.GetReg(), 0);
2126 }
2127
2128 if (opsize != k64 && opsize != kSingle && opsize != kDouble) {
2129 // The logic below looks very similar to the handling of ADD_INT_2ADDR
2130 // except the rhs is not a VR but a physical register allocated above.
2131 // No load of source VR is done because it assumes that rl_result will
2132 // share physical register / memory location.
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07002133 rl_result = UpdateLocTyped(rl_dest);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002134 if (rl_result.location == kLocPhysReg) {
2135 // Ensure res is in a core reg.
2136 rl_result = EvalLoc(rl_dest, kCoreReg, true);
2137 OpRegReg(kOpAdd, rl_result.reg, temp);
2138 StoreFinalValue(rl_dest, rl_result);
2139 } else {
2140 // Do the addition directly to memory.
Maxim Kazantsev085b7332015-02-24 15:07:55 +06002141 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002142 OpMemReg(kOpAdd, rl_result, temp.GetReg());
2143 }
2144 }
Mark Mendellfe945782014-05-22 09:52:36 -04002145}
2146
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07002147void X86Mir2Lir::GenReduceVector(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002148 OpSize opsize = static_cast<OpSize>(mir->dalvikInsn.vC >> 16);
2149 RegLocation rl_dest = mir_graph_->GetDest(mir);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002150 RegStorage vector_src = RegStorage::Solo128(mir->dalvikInsn.vB);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002151 RegLocation rl_result;
2152 bool is_wide = false;
2153
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002154 // There is a different path depending on type and size.
2155 if (opsize == kSingle) {
2156 // Handle float case.
2157 // TODO Add support for fast math (not value safe) and do horizontal add in that case.
Mark Mendellfe945782014-05-22 09:52:36 -04002158
Maxim Kazantsev6f5f5d02014-12-08 12:39:16 +06002159 int extract_index = mir->dalvikInsn.arg[0];
2160
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002161 rl_result = EvalLoc(rl_dest, kFPReg, true);
2162 NewLIR2(kX86PxorRR, rl_result.reg.GetReg(), rl_result.reg.GetReg());
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002163
Maxim Kazantsev6f5f5d02014-12-08 12:39:16 +06002164 if (LIKELY(extract_index != 0)) {
2165 // We know the index of element which we want to extract. We want to extract it and
2166 // keep values in vector register correct for future use. So the way we act is:
2167 // 1. Generate shuffle mask that allows to swap zeroth and required elements;
2168 // 2. Shuffle vector register with this mask;
2169 // 3. Extract zeroth element where required value lies;
2170 // 4. Shuffle with same mask again to restore original values in vector register.
2171 // The mask is generated from equivalence mask 0b11100100 swapping 0th and extracted
2172 // element indices.
2173 int shuffle[4] = {0b00, 0b01, 0b10, 0b11};
2174 shuffle[0] = extract_index;
2175 shuffle[extract_index] = 0;
2176 int mask = 0;
2177 for (int i = 0; i < 4; i++) {
2178 mask |= (shuffle[i] << (2 * i));
2179 }
2180 NewLIR3(kX86ShufpsRRI, vector_src.GetReg(), vector_src.GetReg(), mask);
2181 NewLIR2(kX86AddssRR, rl_result.reg.GetReg(), vector_src.GetReg());
2182 NewLIR3(kX86ShufpsRRI, vector_src.GetReg(), vector_src.GetReg(), mask);
2183 } else {
2184 // We need to extract zeroth element and don't need any complex stuff to do it.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002185 NewLIR2(kX86AddssRR, rl_result.reg.GetReg(), vector_src.GetReg());
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002186 }
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002187
Maxim Kazantsev6f5f5d02014-12-08 12:39:16 +06002188 StoreFinalValue(rl_dest, rl_result);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002189 } else if (opsize == kDouble) {
2190 // TODO Handle double case.
2191 LOG(FATAL) << "Unsupported add reduce for double.";
2192 } else if (opsize == k64) {
2193 /*
2194 * Handle long case:
2195 * 1) Reduce the vector register to lower half (with addition).
2196 * 1-1) Get an xmm temp and fill it with vector register.
2197 * 1-2) Shift the xmm temp by 8-bytes.
2198 * 1-3) Add the xmm temp to vector register that is being reduced.
2199 * 2) Evaluate destination to a GP / GP pair.
2200 * 2-1) In 64-bit case, use movq to move result to a 64-bit GP.
2201 * 2-2) In 32-bit case, use movd twice to move to 32-bit GP pair.
2202 * 3) Store the result to the final destination.
2203 */
Udayan Banerji53cec002014-09-26 10:41:47 -07002204 NewLIR2(kX86PsrldqRI, vector_src.GetReg(), 8);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002205 rl_result = EvalLocWide(rl_dest, kCoreReg, true);
2206 if (cu_->target64) {
2207 DCHECK(!rl_result.reg.IsPair());
2208 NewLIR2(kX86MovqrxRR, rl_result.reg.GetReg(), vector_src.GetReg());
2209 } else {
2210 NewLIR2(kX86MovdrxRR, rl_result.reg.GetLowReg(), vector_src.GetReg());
2211 NewLIR2(kX86PsrlqRI, vector_src.GetReg(), 0x20);
2212 NewLIR2(kX86MovdrxRR, rl_result.reg.GetHighReg(), vector_src.GetReg());
2213 }
2214
2215 StoreValueWide(rl_dest, rl_result);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002216 } else {
Udayan Banerji53cec002014-09-26 10:41:47 -07002217 int extract_index = mir->dalvikInsn.arg[0];
2218 int extr_opcode = 0;
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07002219 rl_result = UpdateLocTyped(rl_dest);
Udayan Banerji53cec002014-09-26 10:41:47 -07002220
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002221 // Handle the rest of integral types now.
2222 switch (opsize) {
2223 case k32:
Udayan Banerji53cec002014-09-26 10:41:47 -07002224 extr_opcode = (rl_result.location == kLocPhysReg) ? kX86PextrdRRI : kX86PextrdMRI;
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002225 break;
2226 case kSignedHalf:
2227 case kUnsignedHalf:
Udayan Banerji53cec002014-09-26 10:41:47 -07002228 extr_opcode = (rl_result.location == kLocPhysReg) ? kX86PextrwRRI : kX86PextrwMRI;
2229 break;
2230 case kSignedByte:
2231 extr_opcode = (rl_result.location == kLocPhysReg) ? kX86PextrbRRI : kX86PextrbMRI;
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002232 break;
2233 default:
2234 LOG(FATAL) << "Unsupported vector reduce " << opsize;
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07002235 UNREACHABLE();
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002236 }
2237
2238 if (rl_result.location == kLocPhysReg) {
2239 NewLIR3(extr_opcode, rl_result.reg.GetReg(), vector_src.GetReg(), extract_index);
Udayan Banerji53cec002014-09-26 10:41:47 -07002240 StoreFinalValue(rl_dest, rl_result);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002241 } else {
2242 int displacement = SRegOffset(rl_result.s_reg_low);
Mark Mendellb3cdf932015-01-27 09:51:26 -05002243 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
Razvan A Lupusorub72c7232014-10-28 19:29:52 -07002244 LIR *l = NewLIR4(extr_opcode, rs_rX86_SP_32.GetReg(), displacement, vector_src.GetReg(),
2245 extract_index);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002246 AnnotateDalvikRegAccess(l, displacement >> 2, false /* is_load */, is_wide /* is_64bit */);
2247 }
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002248 }
Mark Mendellfe945782014-05-22 09:52:36 -04002249}
2250
Mark Mendell0a1174e2014-09-11 14:51:02 -04002251void X86Mir2Lir::LoadVectorRegister(RegStorage rs_dest, RegStorage rs_src,
2252 OpSize opsize, int op_mov) {
2253 if (!cu_->target64 && opsize == k64) {
2254 // Logic assumes that longs are loaded in GP register pairs.
2255 NewLIR2(kX86MovdxrRR, rs_dest.GetReg(), rs_src.GetLowReg());
2256 RegStorage r_tmp = AllocTempDouble();
2257 NewLIR2(kX86MovdxrRR, r_tmp.GetReg(), rs_src.GetHighReg());
2258 NewLIR2(kX86PunpckldqRR, rs_dest.GetReg(), r_tmp.GetReg());
2259 FreeTemp(r_tmp);
2260 } else {
2261 NewLIR2(op_mov, rs_dest.GetReg(), rs_src.GetReg());
2262 }
2263}
2264
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07002265void X86Mir2Lir::GenSetVector(MIR* mir) {
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002266 DCHECK_EQ(mir->dalvikInsn.vC & 0xFFFF, 128U);
2267 OpSize opsize = static_cast<OpSize>(mir->dalvikInsn.vC >> 16);
2268 RegStorage rs_dest = RegStorage::Solo128(mir->dalvikInsn.vA);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002269 Clobber(rs_dest);
2270 int op_shuffle = 0, op_shuffle_high = 0, op_mov = kX86MovdxrRR;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002271 RegisterClass reg_type = kCoreReg;
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002272 bool is_wide = false;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002273
Mark Mendellfe945782014-05-22 09:52:36 -04002274 switch (opsize) {
2275 case k32:
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002276 op_shuffle = kX86PshufdRRI;
Mark Mendellfe945782014-05-22 09:52:36 -04002277 break;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002278 case kSingle:
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002279 op_shuffle = kX86PshufdRRI;
2280 op_mov = kX86MovdqaRR;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002281 reg_type = kFPReg;
2282 break;
2283 case k64:
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002284 op_shuffle = kX86PunpcklqdqRR;
Udayan Banerji53cec002014-09-26 10:41:47 -07002285 op_mov = kX86MovqxrRR;
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002286 is_wide = true;
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002287 break;
2288 case kSignedByte:
2289 case kUnsignedByte:
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002290 // We will have the source loaded up in a
2291 // double-word before we use this shuffle
2292 op_shuffle = kX86PshufdRRI;
2293 break;
Mark Mendellfe945782014-05-22 09:52:36 -04002294 case kSignedHalf:
2295 case kUnsignedHalf:
2296 // Handles low quadword.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002297 op_shuffle = kX86PshuflwRRI;
Mark Mendellfe945782014-05-22 09:52:36 -04002298 // Handles upper quadword.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002299 op_shuffle_high = kX86PshufdRRI;
Mark Mendellfe945782014-05-22 09:52:36 -04002300 break;
2301 default:
2302 LOG(FATAL) << "Unsupported vector set " << opsize;
2303 break;
2304 }
2305
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002306 // Load the value from the VR into a physical register.
2307 RegLocation rl_src;
2308 if (!is_wide) {
2309 rl_src = mir_graph_->GetSrc(mir, 0);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002310 rl_src = LoadValue(rl_src, reg_type);
2311 } else {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002312 rl_src = mir_graph_->GetSrcWide(mir, 0);
Udayan Banerji60bfe7b2014-07-08 19:59:43 -07002313 rl_src = LoadValueWide(rl_src, reg_type);
2314 }
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002315 RegStorage reg_to_shuffle = rl_src.reg;
Mark Mendellfe945782014-05-22 09:52:36 -04002316
2317 // Load the value into the XMM register.
Mark Mendell0a1174e2014-09-11 14:51:02 -04002318 LoadVectorRegister(rs_dest, reg_to_shuffle, opsize, op_mov);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002319
2320 if (opsize == kSignedByte || opsize == kUnsignedByte) {
2321 // In the byte case, first duplicate it to be a word
2322 // Then duplicate it to be a double-word
2323 NewLIR2(kX86PunpcklbwRR, rs_dest.GetReg(), rs_dest.GetReg());
2324 NewLIR2(kX86PunpcklwdRR, rs_dest.GetReg(), rs_dest.GetReg());
2325 }
Mark Mendellfe945782014-05-22 09:52:36 -04002326
2327 // Now shuffle the value across the destination.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002328 if (op_shuffle == kX86PunpcklqdqRR) {
2329 NewLIR2(op_shuffle, rs_dest.GetReg(), rs_dest.GetReg());
2330 } else {
2331 NewLIR3(op_shuffle, rs_dest.GetReg(), rs_dest.GetReg(), 0);
2332 }
Mark Mendellfe945782014-05-22 09:52:36 -04002333
2334 // And then repeat as needed.
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002335 if (op_shuffle_high != 0) {
2336 NewLIR3(op_shuffle_high, rs_dest.GetReg(), rs_dest.GetReg(), 0);
Mark Mendellfe945782014-05-22 09:52:36 -04002337 }
2338}
2339
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07002340void X86Mir2Lir::GenPackedArrayGet(BasicBlock* bb, MIR* mir) {
2341 UNUSED(bb, mir);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002342 UNIMPLEMENTED(FATAL) << "Extended opcode kMirOpPackedArrayGet not supported.";
2343}
2344
Ian Rogers6a3c1fc2014-10-31 00:33:20 -07002345void X86Mir2Lir::GenPackedArrayPut(BasicBlock* bb, MIR* mir) {
2346 UNUSED(bb, mir);
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002347 UNIMPLEMENTED(FATAL) << "Extended opcode kMirOpPackedArrayPut not supported.";
2348}
2349
2350LIR* X86Mir2Lir::ScanVectorLiteral(int32_t* constants) {
Mark Mendelld65c51a2014-04-29 16:55:20 -04002351 for (LIR *p = const_vectors_; p != nullptr; p = p->next) {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002352 if (constants[0] == p->operands[0] && constants[1] == p->operands[1] &&
2353 constants[2] == p->operands[2] && constants[3] == p->operands[3]) {
Mark Mendelld65c51a2014-04-29 16:55:20 -04002354 return p;
2355 }
2356 }
2357 return nullptr;
2358}
2359
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002360LIR* X86Mir2Lir::AddVectorLiteral(int32_t* constants) {
Mark Mendelld65c51a2014-04-29 16:55:20 -04002361 LIR* new_value = static_cast<LIR*>(arena_->Alloc(sizeof(LIR), kArenaAllocData));
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002362 new_value->operands[0] = constants[0];
2363 new_value->operands[1] = constants[1];
2364 new_value->operands[2] = constants[2];
2365 new_value->operands[3] = constants[3];
Mark Mendelld65c51a2014-04-29 16:55:20 -04002366 new_value->next = const_vectors_;
2367 if (const_vectors_ == nullptr) {
Lupusoru, Razvan Ab3a84e22014-07-28 14:11:01 -07002368 estimated_native_code_size_ += 12; // Maximum needed to align to 16 byte boundary.
Mark Mendelld65c51a2014-04-29 16:55:20 -04002369 }
2370 estimated_native_code_size_ += 16; // Space for one vector.
2371 const_vectors_ = new_value;
2372 return new_value;
2373}
2374
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +07002375// ------------ ABI support: mapping of args to physical registers -------------
Serguei Katkov717a3e42014-11-13 17:19:42 +06002376RegStorage X86Mir2Lir::InToRegStorageX86_64Mapper::GetNextReg(ShortyArg arg) {
Chao-ying Fua77ee512014-07-01 17:43:41 -07002377 const SpecialTargetRegister coreArgMappingToPhysicalReg[] = {kArg1, kArg2, kArg3, kArg4, kArg5};
Serguei Katkov717a3e42014-11-13 17:19:42 +06002378 const size_t coreArgMappingToPhysicalRegSize = arraysize(coreArgMappingToPhysicalReg);
Chao-ying Fua77ee512014-07-01 17:43:41 -07002379 const SpecialTargetRegister fpArgMappingToPhysicalReg[] = {kFArg0, kFArg1, kFArg2, kFArg3,
Andreas Gampeccc60262014-07-04 18:02:38 -07002380 kFArg4, kFArg5, kFArg6, kFArg7};
Serguei Katkov717a3e42014-11-13 17:19:42 +06002381 const size_t fpArgMappingToPhysicalRegSize = arraysize(fpArgMappingToPhysicalReg);
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +07002382
Serguei Katkov717a3e42014-11-13 17:19:42 +06002383 if (arg.IsFP()) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +07002384 if (cur_fp_reg_ < fpArgMappingToPhysicalRegSize) {
Serguei Katkov717a3e42014-11-13 17:19:42 +06002385 return m2l_->TargetReg(fpArgMappingToPhysicalReg[cur_fp_reg_++],
2386 arg.IsWide() ? kWide : kNotWide);
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +07002387 }
2388 } else {
2389 if (cur_core_reg_ < coreArgMappingToPhysicalRegSize) {
Serguei Katkov717a3e42014-11-13 17:19:42 +06002390 return m2l_->TargetReg(coreArgMappingToPhysicalReg[cur_core_reg_++],
2391 arg.IsRef() ? kRef : (arg.IsWide() ? kWide : kNotWide));
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +07002392 }
2393 }
Chao-ying Fua77ee512014-07-01 17:43:41 -07002394 return RegStorage::InvalidReg();
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +07002395}
2396
Serguei Katkov717a3e42014-11-13 17:19:42 +06002397RegStorage X86Mir2Lir::InToRegStorageX86Mapper::GetNextReg(ShortyArg arg) {
2398 const SpecialTargetRegister coreArgMappingToPhysicalReg[] = {kArg1, kArg2, kArg3};
2399 const size_t coreArgMappingToPhysicalRegSize = arraysize(coreArgMappingToPhysicalReg);
Mark P Mendell966c3ae2015-01-27 15:45:27 +00002400 const SpecialTargetRegister fpArgMappingToPhysicalReg[] = {kFArg0, kFArg1, kFArg2, kFArg3};
2401 const size_t fpArgMappingToPhysicalRegSize = arraysize(fpArgMappingToPhysicalReg);
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +07002402
Serguei Katkov717a3e42014-11-13 17:19:42 +06002403 RegStorage result = RegStorage::InvalidReg();
Mark P Mendell966c3ae2015-01-27 15:45:27 +00002404 if (arg.IsFP()) {
2405 if (cur_fp_reg_ < fpArgMappingToPhysicalRegSize) {
2406 return m2l_->TargetReg(fpArgMappingToPhysicalReg[cur_fp_reg_++],
2407 arg.IsWide() ? kWide : kNotWide);
2408 }
Mark Mendell3e6a3bf2015-01-19 14:09:22 -05002409 } else if (cur_core_reg_ < coreArgMappingToPhysicalRegSize) {
2410 result = m2l_->TargetReg(coreArgMappingToPhysicalReg[cur_core_reg_++],
2411 arg.IsRef() ? kRef : kNotWide);
2412 if (arg.IsWide()) {
2413 // This must be a long, as double is handled above.
2414 // Ensure that we don't split a long across the last register and the stack.
2415 if (cur_core_reg_ == coreArgMappingToPhysicalRegSize) {
2416 // Leave the last core register unused and force the whole long to the stack.
2417 cur_core_reg_++;
2418 result = RegStorage::InvalidReg();
2419 } else if (cur_core_reg_ < coreArgMappingToPhysicalRegSize) {
Mark P Mendell966c3ae2015-01-27 15:45:27 +00002420 result = RegStorage::MakeRegPair(
2421 result, m2l_->TargetReg(coreArgMappingToPhysicalReg[cur_core_reg_++], kNotWide));
2422 }
Serguei Katkov717a3e42014-11-13 17:19:42 +06002423 }
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +07002424 }
Serguei Katkov717a3e42014-11-13 17:19:42 +06002425 return result;
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +07002426}
2427
2428// ---------End of ABI support: mapping of args to physical registers -------------
2429
Andreas Gampe98430592014-07-27 19:44:50 -07002430bool X86Mir2Lir::GenInlinedCharAt(CallInfo* info) {
2431 // Location of reference to data array
2432 int value_offset = mirror::String::ValueOffset().Int32Value();
2433 // Location of count
2434 int count_offset = mirror::String::CountOffset().Int32Value();
2435 // Starting offset within data array
2436 int offset_offset = mirror::String::OffsetOffset().Int32Value();
2437 // Start of char data with array_
2438 int data_offset = mirror::Array::DataOffset(sizeof(uint16_t)).Int32Value();
2439
2440 RegLocation rl_obj = info->args[0];
2441 RegLocation rl_idx = info->args[1];
2442 rl_obj = LoadValue(rl_obj, kRefReg);
2443 // X86 wants to avoid putting a constant index into a register.
2444 if (!rl_idx.is_const) {
2445 rl_idx = LoadValue(rl_idx, kCoreReg);
2446 }
2447 RegStorage reg_max;
2448 GenNullCheck(rl_obj.reg, info->opt_flags);
2449 bool range_check = (!(info->opt_flags & MIR_IGNORE_RANGE_CHECK));
2450 LIR* range_check_branch = nullptr;
2451 RegStorage reg_off;
2452 RegStorage reg_ptr;
2453 if (range_check) {
2454 // On x86, we can compare to memory directly
2455 // Set up a launch pad to allow retry in case of bounds violation */
2456 if (rl_idx.is_const) {
2457 LIR* comparison;
2458 range_check_branch = OpCmpMemImmBranch(
Vladimir Marko00ca8472015-01-26 14:06:46 +00002459 kCondLs, RegStorage::InvalidReg(), rl_obj.reg, count_offset,
Andreas Gampe98430592014-07-27 19:44:50 -07002460 mir_graph_->ConstantValue(rl_idx.orig_sreg), nullptr, &comparison);
2461 MarkPossibleNullPointerExceptionAfter(0, comparison);
2462 } else {
2463 OpRegMem(kOpCmp, rl_idx.reg, rl_obj.reg, count_offset);
2464 MarkPossibleNullPointerException(0);
2465 range_check_branch = OpCondBranch(kCondUge, nullptr);
2466 }
2467 }
2468 reg_off = AllocTemp();
2469 reg_ptr = AllocTempRef();
2470 Load32Disp(rl_obj.reg, offset_offset, reg_off);
2471 LoadRefDisp(rl_obj.reg, value_offset, reg_ptr, kNotVolatile);
2472 if (rl_idx.is_const) {
2473 OpRegImm(kOpAdd, reg_off, mir_graph_->ConstantValue(rl_idx.orig_sreg));
2474 } else {
2475 OpRegReg(kOpAdd, reg_off, rl_idx.reg);
2476 }
2477 FreeTemp(rl_obj.reg);
2478 if (rl_idx.location == kLocPhysReg) {
2479 FreeTemp(rl_idx.reg);
2480 }
2481 RegLocation rl_dest = InlineTarget(info);
2482 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
2483 LoadBaseIndexedDisp(reg_ptr, reg_off, 1, data_offset, rl_result.reg, kUnsignedHalf);
2484 FreeTemp(reg_off);
2485 FreeTemp(reg_ptr);
2486 StoreValue(rl_dest, rl_result);
2487 if (range_check) {
2488 DCHECK(range_check_branch != nullptr);
2489 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've already null checked.
2490 AddIntrinsicSlowPath(info, range_check_branch);
2491 }
2492 return true;
2493}
2494
Alexei Zavjalov6bbf0962014-07-15 02:19:41 +07002495bool X86Mir2Lir::GenInlinedCurrentThread(CallInfo* info) {
2496 RegLocation rl_dest = InlineTarget(info);
2497
2498 // Early exit if the result is unused.
2499 if (rl_dest.orig_sreg < 0) {
2500 return true;
2501 }
2502
2503 RegLocation rl_result = EvalLoc(rl_dest, kRefReg, true);
2504
2505 if (cu_->target64) {
2506 OpRegThreadMem(kOpMov, rl_result.reg, Thread::PeerOffset<8>());
2507 } else {
2508 OpRegThreadMem(kOpMov, rl_result.reg, Thread::PeerOffset<4>());
2509 }
2510
2511 StoreValue(rl_dest, rl_result);
2512 return true;
2513}
2514
Maxim Kazantsev6dccdc22014-08-18 18:43:55 +07002515/**
2516 * Lock temp registers for explicit usage. Registers will be freed in destructor.
2517 */
2518X86Mir2Lir::ExplicitTempRegisterLock::ExplicitTempRegisterLock(X86Mir2Lir* mir_to_lir,
2519 int n_regs, ...) :
2520 temp_regs_(n_regs),
2521 mir_to_lir_(mir_to_lir) {
2522 va_list regs;
2523 va_start(regs, n_regs);
2524 for (int i = 0; i < n_regs; i++) {
2525 RegStorage reg = *(va_arg(regs, RegStorage*));
2526 RegisterInfo* info = mir_to_lir_->GetRegInfo(reg);
2527
2528 // Make sure we don't have promoted register here.
2529 DCHECK(info->IsTemp());
2530
2531 temp_regs_.push_back(reg);
2532 mir_to_lir_->FlushReg(reg);
2533
2534 if (reg.IsPair()) {
2535 RegStorage partner = info->Partner();
2536 temp_regs_.push_back(partner);
2537 mir_to_lir_->FlushReg(partner);
2538 }
2539
2540 mir_to_lir_->Clobber(reg);
2541 mir_to_lir_->LockTemp(reg);
2542 }
2543
2544 va_end(regs);
2545}
2546
2547/*
2548 * Free all locked registers.
2549 */
2550X86Mir2Lir::ExplicitTempRegisterLock::~ExplicitTempRegisterLock() {
2551 // Free all locked temps.
2552 for (auto it : temp_regs_) {
2553 mir_to_lir_->FreeTemp(it);
2554 }
2555}
2556
Serguei Katkov717a3e42014-11-13 17:19:42 +06002557int X86Mir2Lir::GenDalvikArgsBulkCopy(CallInfo* info, int first, int count) {
2558 if (count < 4) {
2559 // It does not make sense to use this utility if we have no chance to use
2560 // 128-bit move.
2561 return count;
2562 }
2563 GenDalvikArgsFlushPromoted(info, first);
2564
2565 // The rest can be copied together
2566 int current_src_offset = SRegOffset(info->args[first].s_reg_low);
2567 int current_dest_offset = StackVisitor::GetOutVROffset(first, cu_->instruction_set);
2568
2569 // Only davik regs are accessed in this loop; no next_call_insn() calls.
2570 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
2571 while (count > 0) {
2572 // This is based on the knowledge that the stack itself is 16-byte aligned.
2573 bool src_is_16b_aligned = (current_src_offset & 0xF) == 0;
2574 bool dest_is_16b_aligned = (current_dest_offset & 0xF) == 0;
2575 size_t bytes_to_move;
2576
2577 /*
2578 * The amount to move defaults to 32-bit. If there are 4 registers left to move, then do a
2579 * a 128-bit move because we won't get the chance to try to aligned. If there are more than
2580 * 4 registers left to move, consider doing a 128-bit only if either src or dest are aligned.
2581 * We do this because we could potentially do a smaller move to align.
2582 */
2583 if (count == 4 || (count > 4 && (src_is_16b_aligned || dest_is_16b_aligned))) {
2584 // Moving 128-bits via xmm register.
2585 bytes_to_move = sizeof(uint32_t) * 4;
2586
2587 // Allocate a free xmm temp. Since we are working through the calling sequence,
2588 // we expect to have an xmm temporary available. AllocTempDouble will abort if
2589 // there are no free registers.
2590 RegStorage temp = AllocTempDouble();
2591
2592 LIR* ld1 = nullptr;
2593 LIR* ld2 = nullptr;
2594 LIR* st1 = nullptr;
2595 LIR* st2 = nullptr;
2596
2597 /*
2598 * The logic is similar for both loads and stores. If we have 16-byte alignment,
2599 * do an aligned move. If we have 8-byte alignment, then do the move in two
2600 * parts. This approach prevents possible cache line splits. Finally, fall back
2601 * to doing an unaligned move. In most cases we likely won't split the cache
2602 * line but we cannot prove it and thus take a conservative approach.
2603 */
2604 bool src_is_8b_aligned = (current_src_offset & 0x7) == 0;
2605 bool dest_is_8b_aligned = (current_dest_offset & 0x7) == 0;
2606
2607 if (src_is_16b_aligned) {
2608 ld1 = OpMovRegMem(temp, TargetPtrReg(kSp), current_src_offset, kMovA128FP);
2609 } else if (src_is_8b_aligned) {
2610 ld1 = OpMovRegMem(temp, TargetPtrReg(kSp), current_src_offset, kMovLo128FP);
2611 ld2 = OpMovRegMem(temp, TargetPtrReg(kSp), current_src_offset + (bytes_to_move >> 1),
2612 kMovHi128FP);
2613 } else {
2614 ld1 = OpMovRegMem(temp, TargetPtrReg(kSp), current_src_offset, kMovU128FP);
2615 }
2616
2617 if (dest_is_16b_aligned) {
2618 st1 = OpMovMemReg(TargetPtrReg(kSp), current_dest_offset, temp, kMovA128FP);
2619 } else if (dest_is_8b_aligned) {
2620 st1 = OpMovMemReg(TargetPtrReg(kSp), current_dest_offset, temp, kMovLo128FP);
2621 st2 = OpMovMemReg(TargetPtrReg(kSp), current_dest_offset + (bytes_to_move >> 1),
2622 temp, kMovHi128FP);
2623 } else {
2624 st1 = OpMovMemReg(TargetPtrReg(kSp), current_dest_offset, temp, kMovU128FP);
2625 }
2626
2627 // TODO If we could keep track of aliasing information for memory accesses that are wider
2628 // than 64-bit, we wouldn't need to set up a barrier.
2629 if (ld1 != nullptr) {
2630 if (ld2 != nullptr) {
2631 // For 64-bit load we can actually set up the aliasing information.
2632 AnnotateDalvikRegAccess(ld1, current_src_offset >> 2, true, true);
2633 AnnotateDalvikRegAccess(ld2, (current_src_offset + (bytes_to_move >> 1)) >> 2, true,
2634 true);
2635 } else {
2636 // Set barrier for 128-bit load.
2637 ld1->u.m.def_mask = &kEncodeAll;
2638 }
2639 }
2640 if (st1 != nullptr) {
2641 if (st2 != nullptr) {
2642 // For 64-bit store we can actually set up the aliasing information.
2643 AnnotateDalvikRegAccess(st1, current_dest_offset >> 2, false, true);
2644 AnnotateDalvikRegAccess(st2, (current_dest_offset + (bytes_to_move >> 1)) >> 2, false,
2645 true);
2646 } else {
2647 // Set barrier for 128-bit store.
2648 st1->u.m.def_mask = &kEncodeAll;
2649 }
2650 }
2651
2652 // Free the temporary used for the data movement.
2653 FreeTemp(temp);
2654 } else {
2655 // Moving 32-bits via general purpose register.
2656 bytes_to_move = sizeof(uint32_t);
2657
2658 // Instead of allocating a new temp, simply reuse one of the registers being used
2659 // for argument passing.
2660 RegStorage temp = TargetReg(kArg3, kNotWide);
2661
2662 // Now load the argument VR and store to the outs.
2663 Load32Disp(TargetPtrReg(kSp), current_src_offset, temp);
2664 Store32Disp(TargetPtrReg(kSp), current_dest_offset, temp);
2665 }
2666
2667 current_src_offset += bytes_to_move;
2668 current_dest_offset += bytes_to_move;
2669 count -= (bytes_to_move >> 2);
2670 }
2671 DCHECK_EQ(count, 0);
2672 return count;
2673}
2674
Brian Carlstrom7934ac22013-07-26 10:54:15 -07002675} // namespace art