blob: 1907012679d3df9e925d0829f2a44fd0838b907c [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
17#include "dex/compiler_ir.h"
Vladimir Marko5c96e6b2013-11-14 15:34:17 +000018#include "dex/frontend.h"
19#include "dex/quick/dex_file_method_inliner.h"
20#include "dex/quick/dex_file_to_method_inliner_map.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070021#include "dex_file-inl.h"
Ian Rogers166db042013-07-26 12:05:57 -070022#include "entrypoints/quick/quick_entrypoints.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070023#include "invoke_type.h"
24#include "mirror/array.h"
25#include "mirror/string.h"
26#include "mir_to_lir-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070027#include "x86/codegen_x86.h"
28
29namespace art {
30
31/*
32 * This source files contains "gen" codegen routines that should
33 * be applicable to most targets. Only mid-level support utilities
34 * and "op" calls may be used here.
35 */
36
37/*
38 * To save scheduling time, helper calls are broken into two parts: generation of
39 * the helper target address, and the actuall call to the helper. Because x86
40 * has a memory call operation, part 1 is a NOP for x86. For other targets,
41 * load arguments between the two parts.
42 */
Ian Rogers848871b2013-08-05 10:56:33 -070043int Mir2Lir::CallHelperSetup(ThreadOffset helper_offset) {
Brian Carlstrom7940e442013-07-12 13:46:57 -070044 return (cu_->instruction_set == kX86) ? 0 : LoadHelper(helper_offset);
45}
46
47/* NOTE: if r_tgt is a temp, it will be freed following use */
Ian Rogers848871b2013-08-05 10:56:33 -070048LIR* Mir2Lir::CallHelper(int r_tgt, ThreadOffset helper_offset, bool safepoint_pc) {
Brian Carlstrom7940e442013-07-12 13:46:57 -070049 LIR* call_inst;
50 if (cu_->instruction_set == kX86) {
51 call_inst = OpThreadMem(kOpBlx, helper_offset);
52 } else {
53 call_inst = OpReg(kOpBlx, r_tgt);
54 FreeTemp(r_tgt);
55 }
56 if (safepoint_pc) {
57 MarkSafepointPC(call_inst);
58 }
59 return call_inst;
60}
61
Ian Rogers848871b2013-08-05 10:56:33 -070062void Mir2Lir::CallRuntimeHelperImm(ThreadOffset helper_offset, int arg0, bool safepoint_pc) {
Brian Carlstrom7940e442013-07-12 13:46:57 -070063 int r_tgt = CallHelperSetup(helper_offset);
64 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +000065 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -070066 CallHelper(r_tgt, helper_offset, safepoint_pc);
67}
68
Ian Rogers848871b2013-08-05 10:56:33 -070069void Mir2Lir::CallRuntimeHelperReg(ThreadOffset helper_offset, int arg0, bool safepoint_pc) {
Brian Carlstrom7940e442013-07-12 13:46:57 -070070 int r_tgt = CallHelperSetup(helper_offset);
71 OpRegCopy(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +000072 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -070073 CallHelper(r_tgt, helper_offset, safepoint_pc);
74}
75
Ian Rogers848871b2013-08-05 10:56:33 -070076void Mir2Lir::CallRuntimeHelperRegLocation(ThreadOffset helper_offset, RegLocation arg0,
77 bool safepoint_pc) {
Brian Carlstrom7940e442013-07-12 13:46:57 -070078 int r_tgt = CallHelperSetup(helper_offset);
79 if (arg0.wide == 0) {
80 LoadValueDirectFixed(arg0, TargetReg(kArg0));
81 } else {
82 LoadValueDirectWideFixed(arg0, TargetReg(kArg0), TargetReg(kArg1));
83 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +000084 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -070085 CallHelper(r_tgt, helper_offset, safepoint_pc);
86}
87
Ian Rogers848871b2013-08-05 10:56:33 -070088void Mir2Lir::CallRuntimeHelperImmImm(ThreadOffset helper_offset, int arg0, int arg1,
Brian Carlstrom7940e442013-07-12 13:46:57 -070089 bool safepoint_pc) {
90 int r_tgt = CallHelperSetup(helper_offset);
91 LoadConstant(TargetReg(kArg0), arg0);
92 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +000093 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -070094 CallHelper(r_tgt, helper_offset, safepoint_pc);
95}
96
Ian Rogers848871b2013-08-05 10:56:33 -070097void Mir2Lir::CallRuntimeHelperImmRegLocation(ThreadOffset helper_offset, int arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -070098 RegLocation arg1, bool safepoint_pc) {
99 int r_tgt = CallHelperSetup(helper_offset);
100 if (arg1.wide == 0) {
101 LoadValueDirectFixed(arg1, TargetReg(kArg1));
102 } else {
103 LoadValueDirectWideFixed(arg1, TargetReg(kArg1), TargetReg(kArg2));
104 }
105 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000106 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700107 CallHelper(r_tgt, helper_offset, safepoint_pc);
108}
109
Ian Rogers848871b2013-08-05 10:56:33 -0700110void Mir2Lir::CallRuntimeHelperRegLocationImm(ThreadOffset helper_offset, RegLocation arg0, int arg1,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700111 bool safepoint_pc) {
112 int r_tgt = CallHelperSetup(helper_offset);
113 LoadValueDirectFixed(arg0, TargetReg(kArg0));
114 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000115 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700116 CallHelper(r_tgt, helper_offset, safepoint_pc);
117}
118
Ian Rogers848871b2013-08-05 10:56:33 -0700119void Mir2Lir::CallRuntimeHelperImmReg(ThreadOffset helper_offset, int arg0, int arg1,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700120 bool safepoint_pc) {
121 int r_tgt = CallHelperSetup(helper_offset);
122 OpRegCopy(TargetReg(kArg1), arg1);
123 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000124 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700125 CallHelper(r_tgt, helper_offset, safepoint_pc);
126}
127
Ian Rogers848871b2013-08-05 10:56:33 -0700128void Mir2Lir::CallRuntimeHelperRegImm(ThreadOffset helper_offset, int arg0, int arg1,
129 bool safepoint_pc) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700130 int r_tgt = CallHelperSetup(helper_offset);
131 OpRegCopy(TargetReg(kArg0), arg0);
132 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000133 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700134 CallHelper(r_tgt, helper_offset, safepoint_pc);
135}
136
Ian Rogers848871b2013-08-05 10:56:33 -0700137void Mir2Lir::CallRuntimeHelperImmMethod(ThreadOffset helper_offset, int arg0, bool safepoint_pc) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700138 int r_tgt = CallHelperSetup(helper_offset);
139 LoadCurrMethodDirect(TargetReg(kArg1));
140 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000141 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700142 CallHelper(r_tgt, helper_offset, safepoint_pc);
143}
144
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800145void Mir2Lir::CallRuntimeHelperRegMethod(ThreadOffset helper_offset, int arg0, bool safepoint_pc) {
146 int r_tgt = CallHelperSetup(helper_offset);
147 DCHECK_NE(TargetReg(kArg1), arg0);
148 if (TargetReg(kArg0) != arg0) {
149 OpRegCopy(TargetReg(kArg0), arg0);
150 }
151 LoadCurrMethodDirect(TargetReg(kArg1));
152 ClobberCallerSave();
153 CallHelper(r_tgt, helper_offset, safepoint_pc);
154}
155
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800156void Mir2Lir::CallRuntimeHelperRegMethodRegLocation(ThreadOffset helper_offset, int arg0,
157 RegLocation arg2, bool safepoint_pc) {
158 int r_tgt = CallHelperSetup(helper_offset);
159 DCHECK_NE(TargetReg(kArg1), arg0);
160 if (TargetReg(kArg0) != arg0) {
161 OpRegCopy(TargetReg(kArg0), arg0);
162 }
163 LoadCurrMethodDirect(TargetReg(kArg1));
164 LoadValueDirectFixed(arg2, TargetReg(kArg2));
165 ClobberCallerSave();
166 CallHelper(r_tgt, helper_offset, safepoint_pc);
167}
168
Ian Rogers848871b2013-08-05 10:56:33 -0700169void Mir2Lir::CallRuntimeHelperRegLocationRegLocation(ThreadOffset helper_offset, RegLocation arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700170 RegLocation arg1, bool safepoint_pc) {
171 int r_tgt = CallHelperSetup(helper_offset);
172 if (arg0.wide == 0) {
173 LoadValueDirectFixed(arg0, arg0.fp ? TargetReg(kFArg0) : TargetReg(kArg0));
174 if (arg1.wide == 0) {
175 if (cu_->instruction_set == kMips) {
176 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg1));
177 } else {
178 LoadValueDirectFixed(arg1, TargetReg(kArg1));
179 }
180 } else {
181 if (cu_->instruction_set == kMips) {
182 LoadValueDirectWideFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg1), arg1.fp ? TargetReg(kFArg3) : TargetReg(kArg2));
183 } else {
184 LoadValueDirectWideFixed(arg1, TargetReg(kArg1), TargetReg(kArg2));
185 }
186 }
187 } else {
188 LoadValueDirectWideFixed(arg0, arg0.fp ? TargetReg(kFArg0) : TargetReg(kArg0), arg0.fp ? TargetReg(kFArg1) : TargetReg(kArg1));
189 if (arg1.wide == 0) {
190 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg2));
191 } else {
192 LoadValueDirectWideFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg2), arg1.fp ? TargetReg(kFArg3) : TargetReg(kArg3));
193 }
194 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000195 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700196 CallHelper(r_tgt, helper_offset, safepoint_pc);
197}
198
Ian Rogers848871b2013-08-05 10:56:33 -0700199void Mir2Lir::CallRuntimeHelperRegReg(ThreadOffset helper_offset, int arg0, int arg1,
200 bool safepoint_pc) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700201 int r_tgt = CallHelperSetup(helper_offset);
202 DCHECK_NE(TargetReg(kArg0), arg1); // check copy into arg0 won't clobber arg1
203 OpRegCopy(TargetReg(kArg0), arg0);
204 OpRegCopy(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000205 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700206 CallHelper(r_tgt, helper_offset, safepoint_pc);
207}
208
Ian Rogers848871b2013-08-05 10:56:33 -0700209void Mir2Lir::CallRuntimeHelperRegRegImm(ThreadOffset helper_offset, int arg0, int arg1,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700210 int arg2, bool safepoint_pc) {
211 int r_tgt = CallHelperSetup(helper_offset);
212 DCHECK_NE(TargetReg(kArg0), arg1); // check copy into arg0 won't clobber arg1
213 OpRegCopy(TargetReg(kArg0), arg0);
214 OpRegCopy(TargetReg(kArg1), arg1);
215 LoadConstant(TargetReg(kArg2), arg2);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000216 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700217 CallHelper(r_tgt, helper_offset, safepoint_pc);
218}
219
Ian Rogers848871b2013-08-05 10:56:33 -0700220void Mir2Lir::CallRuntimeHelperImmMethodRegLocation(ThreadOffset helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700221 int arg0, RegLocation arg2, bool safepoint_pc) {
222 int r_tgt = CallHelperSetup(helper_offset);
223 LoadValueDirectFixed(arg2, TargetReg(kArg2));
224 LoadCurrMethodDirect(TargetReg(kArg1));
225 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000226 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700227 CallHelper(r_tgt, helper_offset, safepoint_pc);
228}
229
Ian Rogers848871b2013-08-05 10:56:33 -0700230void Mir2Lir::CallRuntimeHelperImmMethodImm(ThreadOffset helper_offset, int arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700231 int arg2, bool safepoint_pc) {
232 int r_tgt = CallHelperSetup(helper_offset);
233 LoadCurrMethodDirect(TargetReg(kArg1));
234 LoadConstant(TargetReg(kArg2), arg2);
235 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000236 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700237 CallHelper(r_tgt, helper_offset, safepoint_pc);
238}
239
Ian Rogers848871b2013-08-05 10:56:33 -0700240void Mir2Lir::CallRuntimeHelperImmRegLocationRegLocation(ThreadOffset helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700241 int arg0, RegLocation arg1,
242 RegLocation arg2, bool safepoint_pc) {
243 int r_tgt = CallHelperSetup(helper_offset);
Ian Rogersa9a82542013-10-04 11:17:26 -0700244 DCHECK_EQ(arg1.wide, 0U);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700245 LoadValueDirectFixed(arg1, TargetReg(kArg1));
246 if (arg2.wide == 0) {
247 LoadValueDirectFixed(arg2, TargetReg(kArg2));
248 } else {
249 LoadValueDirectWideFixed(arg2, TargetReg(kArg2), TargetReg(kArg3));
250 }
251 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000252 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700253 CallHelper(r_tgt, helper_offset, safepoint_pc);
254}
255
Ian Rogersa9a82542013-10-04 11:17:26 -0700256void Mir2Lir::CallRuntimeHelperRegLocationRegLocationRegLocation(ThreadOffset helper_offset,
257 RegLocation arg0, RegLocation arg1,
258 RegLocation arg2,
259 bool safepoint_pc) {
260 int r_tgt = CallHelperSetup(helper_offset);
261 DCHECK_EQ(arg0.wide, 0U);
262 LoadValueDirectFixed(arg0, TargetReg(kArg0));
263 DCHECK_EQ(arg1.wide, 0U);
264 LoadValueDirectFixed(arg1, TargetReg(kArg1));
265 DCHECK_EQ(arg1.wide, 0U);
266 LoadValueDirectFixed(arg2, TargetReg(kArg2));
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000267 ClobberCallerSave();
Ian Rogersa9a82542013-10-04 11:17:26 -0700268 CallHelper(r_tgt, helper_offset, safepoint_pc);
269}
270
Brian Carlstrom7940e442013-07-12 13:46:57 -0700271/*
272 * If there are any ins passed in registers that have not been promoted
273 * to a callee-save register, flush them to the frame. Perform intial
274 * assignment of promoted arguments.
275 *
276 * ArgLocs is an array of location records describing the incoming arguments
277 * with one location record per word of argument.
278 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700279void Mir2Lir::FlushIns(RegLocation* ArgLocs, RegLocation rl_method) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700280 /*
281 * Dummy up a RegLocation for the incoming Method*
282 * It will attempt to keep kArg0 live (or copy it to home location
283 * if promoted).
284 */
285 RegLocation rl_src = rl_method;
286 rl_src.location = kLocPhysReg;
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000287 rl_src.reg = RegStorage(RegStorage::k32BitSolo, TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700288 rl_src.home = false;
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000289 MarkLive(rl_src.reg.GetReg(), rl_src.s_reg_low);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700290 StoreValue(rl_method, rl_src);
291 // If Method* has been promoted, explicitly flush
292 if (rl_method.location == kLocPhysReg) {
293 StoreWordDisp(TargetReg(kSp), 0, TargetReg(kArg0));
294 }
295
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800296 if (cu_->num_ins == 0) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700297 return;
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800298 }
299
Brian Carlstrom7940e442013-07-12 13:46:57 -0700300 int start_vreg = cu_->num_dalvik_registers - cu_->num_ins;
301 /*
302 * Copy incoming arguments to their proper home locations.
303 * NOTE: an older version of dx had an issue in which
304 * it would reuse static method argument registers.
305 * This could result in the same Dalvik virtual register
306 * being promoted to both core and fp regs. To account for this,
307 * we only copy to the corresponding promoted physical register
308 * if it matches the type of the SSA name for the incoming
309 * argument. It is also possible that long and double arguments
310 * end up half-promoted. In those cases, we must flush the promoted
311 * half to memory as well.
312 */
313 for (int i = 0; i < cu_->num_ins; i++) {
314 PromotionMap* v_map = &promotion_map_[start_vreg + i];
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800315 int reg = GetArgMappingToPhysicalReg(i);
316
317 if (reg != INVALID_REG) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700318 // If arriving in register
319 bool need_flush = true;
320 RegLocation* t_loc = &ArgLocs[i];
321 if ((v_map->core_location == kLocPhysReg) && !t_loc->fp) {
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800322 OpRegCopy(v_map->core_reg, reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700323 need_flush = false;
324 } else if ((v_map->fp_location == kLocPhysReg) && t_loc->fp) {
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800325 OpRegCopy(v_map->FpReg, reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700326 need_flush = false;
327 } else {
328 need_flush = true;
329 }
330
buzbeed0a03b82013-09-14 08:21:05 -0700331 // For wide args, force flush if not fully promoted
Brian Carlstrom7940e442013-07-12 13:46:57 -0700332 if (t_loc->wide) {
333 PromotionMap* p_map = v_map + (t_loc->high_word ? -1 : +1);
buzbeed0a03b82013-09-14 08:21:05 -0700334 // Is only half promoted?
Brian Carlstrom7940e442013-07-12 13:46:57 -0700335 need_flush |= (p_map->core_location != v_map->core_location) ||
336 (p_map->fp_location != v_map->fp_location);
buzbeed0a03b82013-09-14 08:21:05 -0700337 if ((cu_->instruction_set == kThumb2) && t_loc->fp && !need_flush) {
338 /*
339 * In Arm, a double is represented as a pair of consecutive single float
340 * registers starting at an even number. It's possible that both Dalvik vRegs
341 * representing the incoming double were independently promoted as singles - but
342 * not in a form usable as a double. If so, we need to flush - even though the
343 * incoming arg appears fully in register. At this point in the code, both
344 * halves of the double are promoted. Make sure they are in a usable form.
345 */
346 int lowreg_index = start_vreg + i + (t_loc->high_word ? -1 : 0);
347 int low_reg = promotion_map_[lowreg_index].FpReg;
348 int high_reg = promotion_map_[lowreg_index + 1].FpReg;
349 if (((low_reg & 0x1) != 0) || (high_reg != (low_reg + 1))) {
350 need_flush = true;
351 }
352 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700353 }
354 if (need_flush) {
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800355 StoreBaseDisp(TargetReg(kSp), SRegOffset(start_vreg + i), reg, kWord);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700356 }
357 } else {
358 // If arriving in frame & promoted
359 if (v_map->core_location == kLocPhysReg) {
360 LoadWordDisp(TargetReg(kSp), SRegOffset(start_vreg + i),
361 v_map->core_reg);
362 }
363 if (v_map->fp_location == kLocPhysReg) {
364 LoadWordDisp(TargetReg(kSp), SRegOffset(start_vreg + i),
365 v_map->FpReg);
366 }
367 }
368 }
369}
370
371/*
372 * Bit of a hack here - in the absence of a real scheduling pass,
373 * emit the next instruction in static & direct invoke sequences.
374 */
375static int NextSDCallInsn(CompilationUnit* cu, CallInfo* info,
376 int state, const MethodReference& target_method,
377 uint32_t unused,
378 uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700379 InvokeType type) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700380 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700381 if (direct_code != 0 && direct_method != 0) {
382 switch (state) {
383 case 0: // Get the current Method* [sets kArg0]
384 if (direct_code != static_cast<unsigned int>(-1)) {
Ian Rogers83883d72013-10-21 21:07:24 -0700385 if (cu->instruction_set != kX86) {
386 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
387 }
Mark Mendell55d0eac2014-02-06 11:02:52 -0800388 } else if (cu->instruction_set != kX86) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700389 CHECK_EQ(cu->dex_file, target_method.dex_file);
Mark Mendell55d0eac2014-02-06 11:02:52 -0800390 cg->LoadCodeAddress(target_method.dex_method_index, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700391 }
392 if (direct_method != static_cast<unsigned int>(-1)) {
393 cg->LoadConstant(cg->TargetReg(kArg0), direct_method);
394 } else {
395 CHECK_EQ(cu->dex_file, target_method.dex_file);
Mark Mendell55d0eac2014-02-06 11:02:52 -0800396 cg->LoadMethodAddress(target_method.dex_method_index, type, kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700397 }
398 break;
399 default:
400 return -1;
401 }
402 } else {
403 switch (state) {
404 case 0: // Get the current Method* [sets kArg0]
405 // TUNING: we can save a reg copy if Method* has been promoted.
406 cg->LoadCurrMethodDirect(cg->TargetReg(kArg0));
407 break;
408 case 1: // Get method->dex_cache_resolved_methods_
409 cg->LoadWordDisp(cg->TargetReg(kArg0),
Brian Carlstromea46f952013-07-30 01:26:50 -0700410 mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(), cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700411 // Set up direct code if known.
412 if (direct_code != 0) {
413 if (direct_code != static_cast<unsigned int>(-1)) {
414 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
Mark Mendell55d0eac2014-02-06 11:02:52 -0800415 } else if (cu->instruction_set != kX86) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700416 CHECK_EQ(cu->dex_file, target_method.dex_file);
Ian Rogers83883d72013-10-21 21:07:24 -0700417 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
Mark Mendell55d0eac2014-02-06 11:02:52 -0800418 cg->LoadCodeAddress(target_method.dex_method_index, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700419 }
420 }
421 break;
422 case 2: // Grab target method*
423 CHECK_EQ(cu->dex_file, target_method.dex_file);
424 cg->LoadWordDisp(cg->TargetReg(kArg0),
425 mirror::Array::DataOffset(sizeof(mirror::Object*)).Int32Value() +
426 (target_method.dex_method_index * 4),
427 cg-> TargetReg(kArg0));
428 break;
429 case 3: // Grab the code from the method*
430 if (cu->instruction_set != kX86) {
431 if (direct_code == 0) {
432 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800433 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700434 cg->TargetReg(kInvokeTgt));
435 }
436 break;
437 }
438 // Intentional fallthrough for x86
439 default:
440 return -1;
441 }
442 }
443 return state + 1;
444}
445
446/*
447 * Bit of a hack here - in the absence of a real scheduling pass,
448 * emit the next instruction in a virtual invoke sequence.
449 * We can use kLr as a temp prior to target address loading
450 * Note also that we'll load the first argument ("this") into
451 * kArg1 here rather than the standard LoadArgRegs.
452 */
453static int NextVCallInsn(CompilationUnit* cu, CallInfo* info,
454 int state, const MethodReference& target_method,
455 uint32_t method_idx, uintptr_t unused, uintptr_t unused2,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700456 InvokeType unused3) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700457 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
458 /*
459 * This is the fast path in which the target virtual method is
460 * fully resolved at compile time.
461 */
462 switch (state) {
463 case 0: { // Get "this" [set kArg1]
464 RegLocation rl_arg = info->args[0];
465 cg->LoadValueDirectFixed(rl_arg, cg->TargetReg(kArg1));
466 break;
467 }
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700468 case 1: // Is "this" null? [use kArg1]
Brian Carlstrom7940e442013-07-12 13:46:57 -0700469 cg->GenNullCheck(info->args[0].s_reg_low, cg->TargetReg(kArg1), info->opt_flags);
470 // get this->klass_ [use kArg1, set kInvokeTgt]
471 cg->LoadWordDisp(cg->TargetReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
472 cg->TargetReg(kInvokeTgt));
473 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700474 case 2: // Get this->klass_->vtable [usr kInvokeTgt, set kInvokeTgt]
Brian Carlstrom7940e442013-07-12 13:46:57 -0700475 cg->LoadWordDisp(cg->TargetReg(kInvokeTgt), mirror::Class::VTableOffset().Int32Value(),
476 cg->TargetReg(kInvokeTgt));
477 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700478 case 3: // Get target method [use kInvokeTgt, set kArg0]
Brian Carlstrom7940e442013-07-12 13:46:57 -0700479 cg->LoadWordDisp(cg->TargetReg(kInvokeTgt), (method_idx * 4) +
480 mirror::Array::DataOffset(sizeof(mirror::Object*)).Int32Value(),
481 cg->TargetReg(kArg0));
482 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700483 case 4: // Get the compiled code address [uses kArg0, sets kInvokeTgt]
Brian Carlstrom7940e442013-07-12 13:46:57 -0700484 if (cu->instruction_set != kX86) {
485 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800486 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700487 cg->TargetReg(kInvokeTgt));
488 break;
489 }
490 // Intentional fallthrough for X86
491 default:
492 return -1;
493 }
494 return state + 1;
495}
496
497/*
Jeff Hao88474b42013-10-23 16:24:40 -0700498 * Emit the next instruction in an invoke interface sequence. This will do a lookup in the
499 * class's IMT, calling either the actual method or art_quick_imt_conflict_trampoline if
500 * more than one interface method map to the same index. Note also that we'll load the first
501 * argument ("this") into kArg1 here rather than the standard LoadArgRegs.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700502 */
503static int NextInterfaceCallInsn(CompilationUnit* cu, CallInfo* info, int state,
504 const MethodReference& target_method,
Jeff Hao88474b42013-10-23 16:24:40 -0700505 uint32_t method_idx, uintptr_t unused,
506 uintptr_t direct_method, InvokeType unused2) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700507 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700508
Jeff Hao88474b42013-10-23 16:24:40 -0700509 switch (state) {
510 case 0: // Set target method index in case of conflict [set kHiddenArg, kHiddenFpArg (x86)]
Brian Carlstrom7940e442013-07-12 13:46:57 -0700511 CHECK_EQ(cu->dex_file, target_method.dex_file);
Jeff Hao88474b42013-10-23 16:24:40 -0700512 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
513 cg->LoadConstant(cg->TargetReg(kHiddenArg), target_method.dex_method_index);
514 if (cu->instruction_set == kX86) {
515 cg->OpRegCopy(cg->TargetReg(kHiddenFpArg), cg->TargetReg(kHiddenArg));
516 }
517 break;
518 case 1: { // Get "this" [set kArg1]
519 RegLocation rl_arg = info->args[0];
520 cg->LoadValueDirectFixed(rl_arg, cg->TargetReg(kArg1));
521 break;
522 }
523 case 2: // Is "this" null? [use kArg1]
524 cg->GenNullCheck(info->args[0].s_reg_low, cg->TargetReg(kArg1), info->opt_flags);
525 // Get this->klass_ [use kArg1, set kInvokeTgt]
526 cg->LoadWordDisp(cg->TargetReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
527 cg->TargetReg(kInvokeTgt));
528 break;
529 case 3: // Get this->klass_->imtable [use kInvokeTgt, set kInvokeTgt]
530 cg->LoadWordDisp(cg->TargetReg(kInvokeTgt), mirror::Class::ImTableOffset().Int32Value(),
531 cg->TargetReg(kInvokeTgt));
532 break;
533 case 4: // Get target method [use kInvokeTgt, set kArg0]
534 cg->LoadWordDisp(cg->TargetReg(kInvokeTgt), ((method_idx % ClassLinker::kImtSize) * 4) +
535 mirror::Array::DataOffset(sizeof(mirror::Object*)).Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700536 cg->TargetReg(kArg0));
537 break;
Jeff Hao88474b42013-10-23 16:24:40 -0700538 case 5: // Get the compiled code address [use kArg0, set kInvokeTgt]
539 if (cu->instruction_set != kX86) {
540 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800541 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Jeff Hao88474b42013-10-23 16:24:40 -0700542 cg->TargetReg(kInvokeTgt));
543 break;
544 }
545 // Intentional fallthrough for X86
Brian Carlstrom7940e442013-07-12 13:46:57 -0700546 default:
547 return -1;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700548 }
549 return state + 1;
550}
551
Ian Rogers848871b2013-08-05 10:56:33 -0700552static int NextInvokeInsnSP(CompilationUnit* cu, CallInfo* info, ThreadOffset trampoline,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700553 int state, const MethodReference& target_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700554 uint32_t method_idx) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700555 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
556 /*
557 * This handles the case in which the base method is not fully
558 * resolved at compile time, we bail to a runtime helper.
559 */
560 if (state == 0) {
561 if (cu->instruction_set != kX86) {
562 // Load trampoline target
Ian Rogers848871b2013-08-05 10:56:33 -0700563 cg->LoadWordDisp(cg->TargetReg(kSelf), trampoline.Int32Value(), cg->TargetReg(kInvokeTgt));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700564 }
565 // Load kArg0 with method index
566 CHECK_EQ(cu->dex_file, target_method.dex_file);
567 cg->LoadConstant(cg->TargetReg(kArg0), target_method.dex_method_index);
568 return 1;
569 }
570 return -1;
571}
572
573static int NextStaticCallInsnSP(CompilationUnit* cu, CallInfo* info,
574 int state,
575 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000576 uint32_t unused, uintptr_t unused2,
577 uintptr_t unused3, InvokeType unused4) {
Ian Rogers848871b2013-08-05 10:56:33 -0700578 ThreadOffset trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeStaticTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700579 return NextInvokeInsnSP(cu, info, trampoline, state, target_method, 0);
580}
581
582static int NextDirectCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
583 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000584 uint32_t unused, uintptr_t unused2,
585 uintptr_t unused3, InvokeType unused4) {
Ian Rogers848871b2013-08-05 10:56:33 -0700586 ThreadOffset trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeDirectTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700587 return NextInvokeInsnSP(cu, info, trampoline, state, target_method, 0);
588}
589
590static int NextSuperCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
591 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000592 uint32_t unused, uintptr_t unused2,
593 uintptr_t unused3, InvokeType unused4) {
Ian Rogers848871b2013-08-05 10:56:33 -0700594 ThreadOffset trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeSuperTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700595 return NextInvokeInsnSP(cu, info, trampoline, state, target_method, 0);
596}
597
598static int NextVCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
599 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000600 uint32_t unused, uintptr_t unused2,
601 uintptr_t unused3, InvokeType unused4) {
Ian Rogers848871b2013-08-05 10:56:33 -0700602 ThreadOffset trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeVirtualTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700603 return NextInvokeInsnSP(cu, info, trampoline, state, target_method, 0);
604}
605
606static int NextInterfaceCallInsnWithAccessCheck(CompilationUnit* cu,
607 CallInfo* info, int state,
608 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000609 uint32_t unused, uintptr_t unused2,
610 uintptr_t unused3, InvokeType unused4) {
Ian Rogers848871b2013-08-05 10:56:33 -0700611 ThreadOffset trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeInterfaceTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700612 return NextInvokeInsnSP(cu, info, trampoline, state, target_method, 0);
613}
614
615int Mir2Lir::LoadArgRegs(CallInfo* info, int call_state,
616 NextCallInsn next_call_insn,
617 const MethodReference& target_method,
618 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700619 uintptr_t direct_method, InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700620 int last_arg_reg = TargetReg(kArg3);
621 int next_reg = TargetReg(kArg1);
622 int next_arg = 0;
623 if (skip_this) {
624 next_reg++;
625 next_arg++;
626 }
627 for (; (next_reg <= last_arg_reg) && (next_arg < info->num_arg_words); next_reg++) {
628 RegLocation rl_arg = info->args[next_arg++];
629 rl_arg = UpdateRawLoc(rl_arg);
630 if (rl_arg.wide && (next_reg <= TargetReg(kArg2))) {
631 LoadValueDirectWideFixed(rl_arg, next_reg, next_reg + 1);
632 next_reg++;
633 next_arg++;
634 } else {
635 if (rl_arg.wide) {
636 rl_arg.wide = false;
637 rl_arg.is_const = false;
638 }
639 LoadValueDirectFixed(rl_arg, next_reg);
640 }
641 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
642 direct_code, direct_method, type);
643 }
644 return call_state;
645}
646
647/*
648 * Load up to 5 arguments, the first three of which will be in
649 * kArg1 .. kArg3. On entry kArg0 contains the current method pointer,
650 * and as part of the load sequence, it must be replaced with
651 * the target method pointer. Note, this may also be called
652 * for "range" variants if the number of arguments is 5 or fewer.
653 */
654int Mir2Lir::GenDalvikArgsNoRange(CallInfo* info,
655 int call_state, LIR** pcrLabel, NextCallInsn next_call_insn,
656 const MethodReference& target_method,
657 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700658 uintptr_t direct_method, InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700659 RegLocation rl_arg;
660
661 /* If no arguments, just return */
662 if (info->num_arg_words == 0)
663 return call_state;
664
665 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
666 direct_code, direct_method, type);
667
668 DCHECK_LE(info->num_arg_words, 5);
669 if (info->num_arg_words > 3) {
670 int32_t next_use = 3;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700671 // Detect special case of wide arg spanning arg3/arg4
Brian Carlstrom7940e442013-07-12 13:46:57 -0700672 RegLocation rl_use0 = info->args[0];
673 RegLocation rl_use1 = info->args[1];
674 RegLocation rl_use2 = info->args[2];
675 if (((!rl_use0.wide && !rl_use1.wide) || rl_use0.wide) &&
676 rl_use2.wide) {
677 int reg = -1;
678 // Wide spans, we need the 2nd half of uses[2].
679 rl_arg = UpdateLocWide(rl_use2);
680 if (rl_arg.location == kLocPhysReg) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000681 reg = rl_arg.reg.GetHighReg();
Brian Carlstrom7940e442013-07-12 13:46:57 -0700682 } else {
683 // kArg2 & rArg3 can safely be used here
684 reg = TargetReg(kArg3);
685 LoadWordDisp(TargetReg(kSp), SRegOffset(rl_arg.s_reg_low) + 4, reg);
686 call_state = next_call_insn(cu_, info, call_state, target_method,
687 vtable_idx, direct_code, direct_method, type);
688 }
689 StoreBaseDisp(TargetReg(kSp), (next_use + 1) * 4, reg, kWord);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700690 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
691 direct_code, direct_method, type);
692 next_use++;
693 }
694 // Loop through the rest
695 while (next_use < info->num_arg_words) {
696 int low_reg;
697 int high_reg = -1;
698 rl_arg = info->args[next_use];
699 rl_arg = UpdateRawLoc(rl_arg);
700 if (rl_arg.location == kLocPhysReg) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000701 low_reg = rl_arg.reg.GetReg();
702 if (rl_arg.wide) {
703 high_reg = rl_arg.reg.GetHighReg();
704 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700705 } else {
706 low_reg = TargetReg(kArg2);
707 if (rl_arg.wide) {
708 high_reg = TargetReg(kArg3);
709 LoadValueDirectWideFixed(rl_arg, low_reg, high_reg);
710 } else {
711 LoadValueDirectFixed(rl_arg, low_reg);
712 }
713 call_state = next_call_insn(cu_, info, call_state, target_method,
714 vtable_idx, direct_code, direct_method, type);
715 }
716 int outs_offset = (next_use + 1) * 4;
717 if (rl_arg.wide) {
718 StoreBaseDispWide(TargetReg(kSp), outs_offset, low_reg, high_reg);
719 next_use += 2;
720 } else {
721 StoreWordDisp(TargetReg(kSp), outs_offset, low_reg);
722 next_use++;
723 }
724 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
725 direct_code, direct_method, type);
726 }
727 }
728
729 call_state = LoadArgRegs(info, call_state, next_call_insn,
730 target_method, vtable_idx, direct_code, direct_method,
731 type, skip_this);
732
733 if (pcrLabel) {
734 *pcrLabel = GenNullCheck(info->args[0].s_reg_low, TargetReg(kArg1), info->opt_flags);
735 }
736 return call_state;
737}
738
739/*
740 * May have 0+ arguments (also used for jumbo). Note that
741 * source virtual registers may be in physical registers, so may
742 * need to be flushed to home location before copying. This
743 * applies to arg3 and above (see below).
744 *
745 * Two general strategies:
746 * If < 20 arguments
747 * Pass args 3-18 using vldm/vstm block copy
748 * Pass arg0, arg1 & arg2 in kArg1-kArg3
749 * If 20+ arguments
750 * Pass args arg19+ using memcpy block copy
751 * Pass arg0, arg1 & arg2 in kArg1-kArg3
752 *
753 */
754int Mir2Lir::GenDalvikArgsRange(CallInfo* info, int call_state,
755 LIR** pcrLabel, NextCallInsn next_call_insn,
756 const MethodReference& target_method,
757 uint32_t vtable_idx, uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700758 InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700759 // If we can treat it as non-range (Jumbo ops will use range form)
760 if (info->num_arg_words <= 5)
761 return GenDalvikArgsNoRange(info, call_state, pcrLabel,
762 next_call_insn, target_method, vtable_idx,
763 direct_code, direct_method, type, skip_this);
764 /*
765 * First load the non-register arguments. Both forms expect all
766 * of the source arguments to be in their home frame location, so
767 * scan the s_reg names and flush any that have been promoted to
768 * frame backing storage.
769 */
770 // Scan the rest of the args - if in phys_reg flush to memory
771 for (int next_arg = 0; next_arg < info->num_arg_words;) {
772 RegLocation loc = info->args[next_arg];
773 if (loc.wide) {
774 loc = UpdateLocWide(loc);
775 if ((next_arg >= 2) && (loc.location == kLocPhysReg)) {
776 StoreBaseDispWide(TargetReg(kSp), SRegOffset(loc.s_reg_low),
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000777 loc.reg.GetReg(), loc.reg.GetHighReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700778 }
779 next_arg += 2;
780 } else {
781 loc = UpdateLoc(loc);
782 if ((next_arg >= 3) && (loc.location == kLocPhysReg)) {
783 StoreBaseDisp(TargetReg(kSp), SRegOffset(loc.s_reg_low),
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000784 loc.reg.GetReg(), kWord);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700785 }
786 next_arg++;
787 }
788 }
789
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -0800790 // Logic below assumes that Method pointer is at offset zero from SP.
791 DCHECK_EQ(VRegOffset(static_cast<int>(kVRegMethodPtrBaseReg)), 0);
792
793 // The first 3 arguments are passed via registers.
794 // TODO: For 64-bit, instead of hardcoding 4 for Method* size, we should either
795 // get size of uintptr_t or size of object reference according to model being used.
796 int outs_offset = 4 /* Method* */ + (3 * sizeof(uint32_t));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700797 int start_offset = SRegOffset(info->args[3].s_reg_low);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -0800798 int regs_left_to_pass_via_stack = info->num_arg_words - 3;
799 DCHECK_GT(regs_left_to_pass_via_stack, 0);
800
801 if (cu_->instruction_set == kThumb2 && regs_left_to_pass_via_stack <= 16) {
802 // Use vldm/vstm pair using kArg3 as a temp
803 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
804 direct_code, direct_method, type);
805 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), start_offset);
806 LIR* ld = OpVldm(TargetReg(kArg3), regs_left_to_pass_via_stack);
807 // TUNING: loosen barrier
808 ld->u.m.def_mask = ENCODE_ALL;
809 SetMemRefType(ld, true /* is_load */, kDalvikReg);
810 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
811 direct_code, direct_method, type);
812 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), 4 /* Method* */ + (3 * 4));
813 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
814 direct_code, direct_method, type);
815 LIR* st = OpVstm(TargetReg(kArg3), regs_left_to_pass_via_stack);
816 SetMemRefType(st, false /* is_load */, kDalvikReg);
817 st->u.m.def_mask = ENCODE_ALL;
818 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
819 direct_code, direct_method, type);
820 } else if (cu_->instruction_set == kX86) {
821 int current_src_offset = start_offset;
822 int current_dest_offset = outs_offset;
823
824 while (regs_left_to_pass_via_stack > 0) {
825 // This is based on the knowledge that the stack itself is 16-byte aligned.
826 bool src_is_16b_aligned = (current_src_offset & 0xF) == 0;
827 bool dest_is_16b_aligned = (current_dest_offset & 0xF) == 0;
828 size_t bytes_to_move;
829
830 /*
831 * The amount to move defaults to 32-bit. If there are 4 registers left to move, then do a
832 * a 128-bit move because we won't get the chance to try to aligned. If there are more than
833 * 4 registers left to move, consider doing a 128-bit only if either src or dest are aligned.
834 * We do this because we could potentially do a smaller move to align.
835 */
836 if (regs_left_to_pass_via_stack == 4 ||
837 (regs_left_to_pass_via_stack > 4 && (src_is_16b_aligned || dest_is_16b_aligned))) {
838 // Moving 128-bits via xmm register.
839 bytes_to_move = sizeof(uint32_t) * 4;
840
841 // Allocate a free xmm temp. Since we are working through the calling sequence,
842 // we expect to have an xmm temporary available.
843 int temp = AllocTempDouble();
844 CHECK_GT(temp, 0);
845
846 LIR* ld1 = nullptr;
847 LIR* ld2 = nullptr;
848 LIR* st1 = nullptr;
849 LIR* st2 = nullptr;
850
851 /*
852 * The logic is similar for both loads and stores. If we have 16-byte alignment,
853 * do an aligned move. If we have 8-byte alignment, then do the move in two
854 * parts. This approach prevents possible cache line splits. Finally, fall back
855 * to doing an unaligned move. In most cases we likely won't split the cache
856 * line but we cannot prove it and thus take a conservative approach.
857 */
858 bool src_is_8b_aligned = (current_src_offset & 0x7) == 0;
859 bool dest_is_8b_aligned = (current_dest_offset & 0x7) == 0;
860
861 if (src_is_16b_aligned) {
862 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovA128FP);
863 } else if (src_is_8b_aligned) {
864 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovLo128FP);
865 ld2 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset + (bytes_to_move >> 1), kMovHi128FP);
866 } else {
867 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovU128FP);
868 }
869
870 if (dest_is_16b_aligned) {
871 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovA128FP);
872 } else if (dest_is_8b_aligned) {
873 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovLo128FP);
874 st2 = OpMovMemReg(TargetReg(kSp), current_dest_offset + (bytes_to_move >> 1), temp, kMovHi128FP);
875 } else {
876 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovU128FP);
877 }
878
879 // TODO If we could keep track of aliasing information for memory accesses that are wider
880 // than 64-bit, we wouldn't need to set up a barrier.
881 if (ld1 != nullptr) {
882 if (ld2 != nullptr) {
883 // For 64-bit load we can actually set up the aliasing information.
884 AnnotateDalvikRegAccess(ld1, current_src_offset >> 2, true, true);
885 AnnotateDalvikRegAccess(ld2, (current_src_offset + (bytes_to_move >> 1)) >> 2, true, true);
886 } else {
887 // Set barrier for 128-bit load.
888 SetMemRefType(ld1, true /* is_load */, kDalvikReg);
889 ld1->u.m.def_mask = ENCODE_ALL;
890 }
891 }
892 if (st1 != nullptr) {
893 if (st2 != nullptr) {
894 // For 64-bit store we can actually set up the aliasing information.
895 AnnotateDalvikRegAccess(st1, current_dest_offset >> 2, false, true);
896 AnnotateDalvikRegAccess(st2, (current_dest_offset + (bytes_to_move >> 1)) >> 2, false, true);
897 } else {
898 // Set barrier for 128-bit store.
899 SetMemRefType(st1, false /* is_load */, kDalvikReg);
900 st1->u.m.def_mask = ENCODE_ALL;
901 }
902 }
903
904 // Free the temporary used for the data movement.
905 FreeTemp(temp);
906 } else {
907 // Moving 32-bits via general purpose register.
908 bytes_to_move = sizeof(uint32_t);
909
910 // Instead of allocating a new temp, simply reuse one of the registers being used
911 // for argument passing.
912 int temp = TargetReg(kArg3);
913
914 // Now load the argument VR and store to the outs.
915 LoadWordDisp(TargetReg(kSp), current_src_offset, temp);
916 StoreWordDisp(TargetReg(kSp), current_dest_offset, temp);
917 }
918
919 current_src_offset += bytes_to_move;
920 current_dest_offset += bytes_to_move;
921 regs_left_to_pass_via_stack -= (bytes_to_move >> 2);
922 }
923 } else {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700924 // Generate memcpy
925 OpRegRegImm(kOpAdd, TargetReg(kArg0), TargetReg(kSp), outs_offset);
926 OpRegRegImm(kOpAdd, TargetReg(kArg1), TargetReg(kSp), start_offset);
Ian Rogers7655f292013-07-29 11:07:13 -0700927 CallRuntimeHelperRegRegImm(QUICK_ENTRYPOINT_OFFSET(pMemcpy), TargetReg(kArg0),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700928 TargetReg(kArg1), (info->num_arg_words - 3) * 4, false);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700929 }
930
931 call_state = LoadArgRegs(info, call_state, next_call_insn,
932 target_method, vtable_idx, direct_code, direct_method,
933 type, skip_this);
934
935 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
936 direct_code, direct_method, type);
937 if (pcrLabel) {
938 *pcrLabel = GenNullCheck(info->args[0].s_reg_low, TargetReg(kArg1), info->opt_flags);
939 }
940 return call_state;
941}
942
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700943RegLocation Mir2Lir::InlineTarget(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700944 RegLocation res;
945 if (info->result.location == kLocInvalid) {
946 res = GetReturn(false);
947 } else {
948 res = info->result;
949 }
950 return res;
951}
952
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700953RegLocation Mir2Lir::InlineTargetWide(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700954 RegLocation res;
955 if (info->result.location == kLocInvalid) {
956 res = GetReturnWide(false);
957 } else {
958 res = info->result;
959 }
960 return res;
961}
962
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700963bool Mir2Lir::GenInlinedCharAt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700964 if (cu_->instruction_set == kMips) {
965 // TODO - add Mips implementation
966 return false;
967 }
968 // Location of reference to data array
969 int value_offset = mirror::String::ValueOffset().Int32Value();
970 // Location of count
971 int count_offset = mirror::String::CountOffset().Int32Value();
972 // Starting offset within data array
973 int offset_offset = mirror::String::OffsetOffset().Int32Value();
974 // Start of char data with array_
975 int data_offset = mirror::Array::DataOffset(sizeof(uint16_t)).Int32Value();
976
977 RegLocation rl_obj = info->args[0];
978 RegLocation rl_idx = info->args[1];
979 rl_obj = LoadValue(rl_obj, kCoreReg);
Mark Mendell2b724cb2014-02-06 05:24:20 -0800980 // X86 wants to avoid putting a constant index into a register.
981 if (!(cu_->instruction_set == kX86 && rl_idx.is_const)) {
982 rl_idx = LoadValue(rl_idx, kCoreReg);
983 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700984 int reg_max;
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000985 GenNullCheck(rl_obj.s_reg_low, rl_obj.reg.GetReg(), info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700986 bool range_check = (!(info->opt_flags & MIR_IGNORE_RANGE_CHECK));
987 LIR* launch_pad = NULL;
988 int reg_off = INVALID_REG;
989 int reg_ptr = INVALID_REG;
990 if (cu_->instruction_set != kX86) {
991 reg_off = AllocTemp();
992 reg_ptr = AllocTemp();
993 if (range_check) {
994 reg_max = AllocTemp();
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000995 LoadWordDisp(rl_obj.reg.GetReg(), count_offset, reg_max);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700996 }
Bill Buzbee00e1ec62014-02-27 23:44:13 +0000997 LoadWordDisp(rl_obj.reg.GetReg(), offset_offset, reg_off);
998 LoadWordDisp(rl_obj.reg.GetReg(), value_offset, reg_ptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700999 if (range_check) {
1000 // Set up a launch pad to allow retry in case of bounds violation */
buzbee0d829482013-10-11 15:24:55 -07001001 launch_pad = RawLIR(0, kPseudoIntrinsicRetry, WrapPointer(info));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001002 intrinsic_launchpads_.Insert(launch_pad);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001003 OpRegReg(kOpCmp, rl_idx.reg.GetReg(), reg_max);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001004 FreeTemp(reg_max);
Vladimir Marko58af1f92013-12-19 13:31:15 +00001005 OpCondBranch(kCondUge, launch_pad);
Brian Carlstrom6f485c62013-07-18 15:35:35 -07001006 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001007 OpRegImm(kOpAdd, reg_ptr, data_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001008 } else {
1009 if (range_check) {
Mark Mendell2b724cb2014-02-06 05:24:20 -08001010 // On x86, we can compare to memory directly
Brian Carlstrom7940e442013-07-12 13:46:57 -07001011 // Set up a launch pad to allow retry in case of bounds violation */
buzbee0d829482013-10-11 15:24:55 -07001012 launch_pad = RawLIR(0, kPseudoIntrinsicRetry, WrapPointer(info));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001013 intrinsic_launchpads_.Insert(launch_pad);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001014 if (rl_idx.is_const) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001015 OpCmpMemImmBranch(kCondUlt, INVALID_REG, rl_obj.reg.GetReg(), count_offset,
Mark Mendell2b724cb2014-02-06 05:24:20 -08001016 mir_graph_->ConstantValue(rl_idx.orig_sreg), launch_pad);
1017 } else {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001018 OpRegMem(kOpCmp, rl_idx.reg.GetReg(), rl_obj.reg.GetReg(), count_offset);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001019 OpCondBranch(kCondUge, launch_pad);
1020 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001021 }
1022 reg_off = AllocTemp();
1023 reg_ptr = AllocTemp();
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001024 LoadWordDisp(rl_obj.reg.GetReg(), offset_offset, reg_off);
1025 LoadWordDisp(rl_obj.reg.GetReg(), value_offset, reg_ptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001026 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001027 if (rl_idx.is_const) {
1028 OpRegImm(kOpAdd, reg_off, mir_graph_->ConstantValue(rl_idx.orig_sreg));
1029 } else {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001030 OpRegReg(kOpAdd, reg_off, rl_idx.reg.GetReg());
Mark Mendell2b724cb2014-02-06 05:24:20 -08001031 }
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001032 FreeTemp(rl_obj.reg.GetReg());
1033 if (rl_idx.location == kLocPhysReg) {
1034 FreeTemp(rl_idx.reg.GetReg());
Mark Mendell2b724cb2014-02-06 05:24:20 -08001035 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001036 RegLocation rl_dest = InlineTarget(info);
1037 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001038 if (cu_->instruction_set != kX86) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001039 LoadBaseIndexed(reg_ptr, reg_off, rl_result.reg.GetReg(), 1, kUnsignedHalf);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001040 } else {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001041 LoadBaseIndexedDisp(reg_ptr, reg_off, 1, data_offset, rl_result.reg.GetReg(),
Mark Mendell2b724cb2014-02-06 05:24:20 -08001042 INVALID_REG, kUnsignedHalf, INVALID_SREG);
1043 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001044 FreeTemp(reg_off);
1045 FreeTemp(reg_ptr);
1046 StoreValue(rl_dest, rl_result);
1047 if (range_check) {
1048 launch_pad->operands[2] = 0; // no resumption
1049 }
1050 // Record that we've already inlined & null checked
1051 info->opt_flags |= (MIR_INLINED | MIR_IGNORE_NULL_CHECK);
1052 return true;
1053}
1054
1055// Generates an inlined String.is_empty or String.length.
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001056bool Mir2Lir::GenInlinedStringIsEmptyOrLength(CallInfo* info, bool is_empty) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001057 if (cu_->instruction_set == kMips) {
1058 // TODO - add Mips implementation
1059 return false;
1060 }
1061 // dst = src.length();
1062 RegLocation rl_obj = info->args[0];
1063 rl_obj = LoadValue(rl_obj, kCoreReg);
1064 RegLocation rl_dest = InlineTarget(info);
1065 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001066 GenNullCheck(rl_obj.s_reg_low, rl_obj.reg.GetReg(), info->opt_flags);
1067 LoadWordDisp(rl_obj.reg.GetReg(), mirror::String::CountOffset().Int32Value(), rl_result.reg.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001068 if (is_empty) {
1069 // dst = (dst == 0);
1070 if (cu_->instruction_set == kThumb2) {
1071 int t_reg = AllocTemp();
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001072 OpRegReg(kOpNeg, t_reg, rl_result.reg.GetReg());
1073 OpRegRegReg(kOpAdc, rl_result.reg.GetReg(), rl_result.reg.GetReg(), t_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001074 } else {
1075 DCHECK_EQ(cu_->instruction_set, kX86);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001076 OpRegImm(kOpSub, rl_result.reg.GetReg(), 1);
1077 OpRegImm(kOpLsr, rl_result.reg.GetReg(), 31);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001078 }
1079 }
1080 StoreValue(rl_dest, rl_result);
1081 return true;
1082}
1083
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001084bool Mir2Lir::GenInlinedReverseBytes(CallInfo* info, OpSize size) {
1085 if (cu_->instruction_set == kMips) {
1086 // TODO - add Mips implementation
1087 return false;
1088 }
1089 RegLocation rl_src_i = info->args[0];
Mark Mendell55d0eac2014-02-06 11:02:52 -08001090 RegLocation rl_dest = (size == kLong) ? InlineTargetWide(info) : InlineTarget(info); // result reg
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001091 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1092 if (size == kLong) {
1093 RegLocation rl_i = LoadValueWide(rl_src_i, kCoreReg);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001094 int r_i_low = rl_i.reg.GetReg();
1095 if (rl_i.reg.GetReg() == rl_result.reg.GetReg()) {
1096 // First REV shall clobber rl_result.reg.GetReg(), save the value in a temp for the second REV.
Vladimir Markof246af22013-11-27 12:30:15 +00001097 r_i_low = AllocTemp();
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001098 OpRegCopy(r_i_low, rl_i.reg.GetReg());
Vladimir Markof246af22013-11-27 12:30:15 +00001099 }
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001100 OpRegReg(kOpRev, rl_result.reg.GetReg(), rl_i.reg.GetHighReg());
1101 OpRegReg(kOpRev, rl_result.reg.GetHighReg(), r_i_low);
1102 if (rl_i.reg.GetReg() == rl_result.reg.GetReg()) {
Vladimir Markof246af22013-11-27 12:30:15 +00001103 FreeTemp(r_i_low);
1104 }
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001105 StoreValueWide(rl_dest, rl_result);
1106 } else {
1107 DCHECK(size == kWord || size == kSignedHalf);
1108 OpKind op = (size == kWord) ? kOpRev : kOpRevsh;
1109 RegLocation rl_i = LoadValue(rl_src_i, kCoreReg);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001110 OpRegReg(op, rl_result.reg.GetReg(), rl_i.reg.GetReg());
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001111 StoreValue(rl_dest, rl_result);
1112 }
1113 return true;
1114}
1115
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001116bool Mir2Lir::GenInlinedAbsInt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001117 if (cu_->instruction_set == kMips) {
1118 // TODO - add Mips implementation
1119 return false;
1120 }
1121 RegLocation rl_src = info->args[0];
1122 rl_src = LoadValue(rl_src, kCoreReg);
1123 RegLocation rl_dest = InlineTarget(info);
1124 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1125 int sign_reg = AllocTemp();
1126 // abs(x) = y<=x>>31, (x+y)^y.
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001127 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg.GetReg(), 31);
1128 OpRegRegReg(kOpAdd, rl_result.reg.GetReg(), rl_src.reg.GetReg(), sign_reg);
1129 OpRegReg(kOpXor, rl_result.reg.GetReg(), sign_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001130 StoreValue(rl_dest, rl_result);
1131 return true;
1132}
1133
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001134bool Mir2Lir::GenInlinedAbsLong(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001135 if (cu_->instruction_set == kMips) {
1136 // TODO - add Mips implementation
1137 return false;
1138 }
1139 if (cu_->instruction_set == kThumb2) {
1140 RegLocation rl_src = info->args[0];
1141 rl_src = LoadValueWide(rl_src, kCoreReg);
1142 RegLocation rl_dest = InlineTargetWide(info);
1143 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1144 int sign_reg = AllocTemp();
1145 // abs(x) = y<=x>>31, (x+y)^y.
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001146 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg.GetHighReg(), 31);
1147 OpRegRegReg(kOpAdd, rl_result.reg.GetReg(), rl_src.reg.GetReg(), sign_reg);
1148 OpRegRegReg(kOpAdc, rl_result.reg.GetHighReg(), rl_src.reg.GetHighReg(), sign_reg);
1149 OpRegReg(kOpXor, rl_result.reg.GetReg(), sign_reg);
1150 OpRegReg(kOpXor, rl_result.reg.GetHighReg(), sign_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001151 StoreValueWide(rl_dest, rl_result);
1152 return true;
1153 } else {
1154 DCHECK_EQ(cu_->instruction_set, kX86);
1155 // Reuse source registers to avoid running out of temps
1156 RegLocation rl_src = info->args[0];
1157 rl_src = LoadValueWide(rl_src, kCoreReg);
1158 RegLocation rl_dest = InlineTargetWide(info);
1159 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001160 OpRegCopyWide(rl_result.reg.GetReg(), rl_result.reg.GetHighReg(), rl_src.reg.GetReg(), rl_src.reg.GetHighReg());
1161 FreeTemp(rl_src.reg.GetReg());
1162 FreeTemp(rl_src.reg.GetHighReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001163 int sign_reg = AllocTemp();
1164 // abs(x) = y<=x>>31, (x+y)^y.
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001165 OpRegRegImm(kOpAsr, sign_reg, rl_result.reg.GetHighReg(), 31);
1166 OpRegReg(kOpAdd, rl_result.reg.GetReg(), sign_reg);
1167 OpRegReg(kOpAdc, rl_result.reg.GetHighReg(), sign_reg);
1168 OpRegReg(kOpXor, rl_result.reg.GetReg(), sign_reg);
1169 OpRegReg(kOpXor, rl_result.reg.GetHighReg(), sign_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001170 StoreValueWide(rl_dest, rl_result);
1171 return true;
1172 }
1173}
1174
Yixin Shoudbb17e32014-02-07 05:09:30 -08001175bool Mir2Lir::GenInlinedAbsFloat(CallInfo* info) {
1176 if (cu_->instruction_set == kMips) {
1177 // TODO - add Mips implementation
1178 return false;
1179 }
1180 RegLocation rl_src = info->args[0];
1181 rl_src = LoadValue(rl_src, kCoreReg);
1182 RegLocation rl_dest = InlineTarget(info);
1183 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1184 int signMask = AllocTemp();
1185 LoadConstant(signMask, 0x7fffffff);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001186 OpRegRegReg(kOpAnd, rl_result.reg.GetReg(), rl_src.reg.GetReg(), signMask);
Yixin Shoudbb17e32014-02-07 05:09:30 -08001187 FreeTemp(signMask);
1188 StoreValue(rl_dest, rl_result);
1189 return true;
1190}
1191
1192bool Mir2Lir::GenInlinedAbsDouble(CallInfo* info) {
1193 if (cu_->instruction_set == kMips) {
1194 // TODO - add Mips implementation
1195 return false;
1196 }
1197 RegLocation rl_src = info->args[0];
1198 rl_src = LoadValueWide(rl_src, kCoreReg);
1199 RegLocation rl_dest = InlineTargetWide(info);
1200 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001201 OpRegCopyWide(rl_result.reg.GetReg(), rl_result.reg.GetHighReg(), rl_src.reg.GetReg(), rl_src.reg.GetHighReg());
1202 FreeTemp(rl_src.reg.GetReg());
1203 FreeTemp(rl_src.reg.GetHighReg());
Yixin Shoudbb17e32014-02-07 05:09:30 -08001204 int signMask = AllocTemp();
1205 LoadConstant(signMask, 0x7fffffff);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001206 OpRegReg(kOpAnd, rl_result.reg.GetHighReg(), signMask);
Yixin Shoudbb17e32014-02-07 05:09:30 -08001207 FreeTemp(signMask);
1208 StoreValueWide(rl_dest, rl_result);
1209 return true;
1210}
1211
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001212bool Mir2Lir::GenInlinedFloatCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001213 if (cu_->instruction_set == kMips) {
1214 // TODO - add Mips implementation
1215 return false;
1216 }
1217 RegLocation rl_src = info->args[0];
1218 RegLocation rl_dest = InlineTarget(info);
1219 StoreValue(rl_dest, rl_src);
1220 return true;
1221}
1222
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001223bool Mir2Lir::GenInlinedDoubleCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001224 if (cu_->instruction_set == kMips) {
1225 // TODO - add Mips implementation
1226 return false;
1227 }
1228 RegLocation rl_src = info->args[0];
1229 RegLocation rl_dest = InlineTargetWide(info);
1230 StoreValueWide(rl_dest, rl_src);
1231 return true;
1232}
1233
1234/*
1235 * Fast string.index_of(I) & (II). Tests for simple case of char <= 0xffff,
1236 * otherwise bails to standard library code.
1237 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001238bool Mir2Lir::GenInlinedIndexOf(CallInfo* info, bool zero_based) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001239 if (cu_->instruction_set == kMips) {
1240 // TODO - add Mips implementation
1241 return false;
1242 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001243 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001244 LockCallTemps(); // Using fixed registers
1245 int reg_ptr = TargetReg(kArg0);
1246 int reg_char = TargetReg(kArg1);
1247 int reg_start = TargetReg(kArg2);
1248
1249 RegLocation rl_obj = info->args[0];
1250 RegLocation rl_char = info->args[1];
Brian Carlstrom7940e442013-07-12 13:46:57 -07001251 LoadValueDirectFixed(rl_obj, reg_ptr);
1252 LoadValueDirectFixed(rl_char, reg_char);
1253 if (zero_based) {
1254 LoadConstant(reg_start, 0);
1255 } else {
buzbeea44d4f52014-03-05 11:26:39 -08001256 RegLocation rl_start = info->args[2]; // 3rd arg only present in III flavor of IndexOf.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001257 LoadValueDirectFixed(rl_start, reg_start);
1258 }
Mark Mendell4028a6c2014-02-19 20:06:20 -08001259 int r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(pIndexOf));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001260 GenNullCheck(rl_obj.s_reg_low, reg_ptr, info->opt_flags);
buzbee0d829482013-10-11 15:24:55 -07001261 LIR* launch_pad = RawLIR(0, kPseudoIntrinsicRetry, WrapPointer(info));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001262 intrinsic_launchpads_.Insert(launch_pad);
1263 OpCmpImmBranch(kCondGt, reg_char, 0xFFFF, launch_pad);
1264 // NOTE: not a safepoint
Mark Mendell4028a6c2014-02-19 20:06:20 -08001265 OpReg(kOpBlx, r_tgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001266 LIR* resume_tgt = NewLIR0(kPseudoTargetLabel);
buzbee0d829482013-10-11 15:24:55 -07001267 launch_pad->operands[2] = WrapPointer(resume_tgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001268 // Record that we've already inlined & null checked
1269 info->opt_flags |= (MIR_INLINED | MIR_IGNORE_NULL_CHECK);
1270 RegLocation rl_return = GetReturn(false);
1271 RegLocation rl_dest = InlineTarget(info);
1272 StoreValue(rl_dest, rl_return);
1273 return true;
1274}
1275
1276/* Fast string.compareTo(Ljava/lang/string;)I. */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001277bool Mir2Lir::GenInlinedStringCompareTo(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001278 if (cu_->instruction_set == kMips) {
1279 // TODO - add Mips implementation
1280 return false;
1281 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001282 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001283 LockCallTemps(); // Using fixed registers
1284 int reg_this = TargetReg(kArg0);
1285 int reg_cmp = TargetReg(kArg1);
1286
1287 RegLocation rl_this = info->args[0];
1288 RegLocation rl_cmp = info->args[1];
1289 LoadValueDirectFixed(rl_this, reg_this);
1290 LoadValueDirectFixed(rl_cmp, reg_cmp);
1291 int r_tgt = (cu_->instruction_set != kX86) ?
Ian Rogers7655f292013-07-29 11:07:13 -07001292 LoadHelper(QUICK_ENTRYPOINT_OFFSET(pStringCompareTo)) : 0;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001293 GenNullCheck(rl_this.s_reg_low, reg_this, info->opt_flags);
Brian Carlstrom7934ac22013-07-26 10:54:15 -07001294 // TUNING: check if rl_cmp.s_reg_low is already null checked
buzbee0d829482013-10-11 15:24:55 -07001295 LIR* launch_pad = RawLIR(0, kPseudoIntrinsicRetry, WrapPointer(info));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001296 intrinsic_launchpads_.Insert(launch_pad);
1297 OpCmpImmBranch(kCondEq, reg_cmp, 0, launch_pad);
1298 // NOTE: not a safepoint
1299 if (cu_->instruction_set != kX86) {
1300 OpReg(kOpBlx, r_tgt);
1301 } else {
Ian Rogers7655f292013-07-29 11:07:13 -07001302 OpThreadMem(kOpBlx, QUICK_ENTRYPOINT_OFFSET(pStringCompareTo));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001303 }
1304 launch_pad->operands[2] = 0; // No return possible
1305 // Record that we've already inlined & null checked
1306 info->opt_flags |= (MIR_INLINED | MIR_IGNORE_NULL_CHECK);
1307 RegLocation rl_return = GetReturn(false);
1308 RegLocation rl_dest = InlineTarget(info);
1309 StoreValue(rl_dest, rl_return);
1310 return true;
1311}
1312
1313bool Mir2Lir::GenInlinedCurrentThread(CallInfo* info) {
1314 RegLocation rl_dest = InlineTarget(info);
1315 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Ian Rogers848871b2013-08-05 10:56:33 -07001316 ThreadOffset offset = Thread::PeerOffset();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001317 if (cu_->instruction_set == kThumb2 || cu_->instruction_set == kMips) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001318 LoadWordDisp(TargetReg(kSelf), offset.Int32Value(), rl_result.reg.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001319 } else {
1320 CHECK(cu_->instruction_set == kX86);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001321 reinterpret_cast<X86Mir2Lir*>(this)->OpRegThreadMem(kOpMov, rl_result.reg.GetReg(), offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001322 }
1323 StoreValue(rl_dest, rl_result);
1324 return true;
1325}
1326
1327bool Mir2Lir::GenInlinedUnsafeGet(CallInfo* info,
1328 bool is_long, bool is_volatile) {
1329 if (cu_->instruction_set == kMips) {
1330 // TODO - add Mips implementation
1331 return false;
1332 }
1333 // Unused - RegLocation rl_src_unsafe = info->args[0];
1334 RegLocation rl_src_obj = info->args[1]; // Object
1335 RegLocation rl_src_offset = info->args[2]; // long low
1336 rl_src_offset.wide = 0; // ignore high half in info->args[3]
Mark Mendell55d0eac2014-02-06 11:02:52 -08001337 RegLocation rl_dest = is_long ? InlineTargetWide(info) : InlineTarget(info); // result reg
Brian Carlstrom7940e442013-07-12 13:46:57 -07001338 if (is_volatile) {
1339 GenMemBarrier(kLoadLoad);
1340 }
1341 RegLocation rl_object = LoadValue(rl_src_obj, kCoreReg);
1342 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1343 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1344 if (is_long) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001345 OpRegReg(kOpAdd, rl_object.reg.GetReg(), rl_offset.reg.GetReg());
1346 LoadBaseDispWide(rl_object.reg.GetReg(), 0, rl_result.reg.GetReg(), rl_result.reg.GetHighReg(), INVALID_SREG);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001347 StoreValueWide(rl_dest, rl_result);
1348 } else {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001349 LoadBaseIndexed(rl_object.reg.GetReg(), rl_offset.reg.GetReg(), rl_result.reg.GetReg(), 0, kWord);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001350 StoreValue(rl_dest, rl_result);
1351 }
1352 return true;
1353}
1354
1355bool Mir2Lir::GenInlinedUnsafePut(CallInfo* info, bool is_long,
1356 bool is_object, bool is_volatile, bool is_ordered) {
1357 if (cu_->instruction_set == kMips) {
1358 // TODO - add Mips implementation
1359 return false;
1360 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001361 // Unused - RegLocation rl_src_unsafe = info->args[0];
1362 RegLocation rl_src_obj = info->args[1]; // Object
1363 RegLocation rl_src_offset = info->args[2]; // long low
1364 rl_src_offset.wide = 0; // ignore high half in info->args[3]
1365 RegLocation rl_src_value = info->args[4]; // value to store
1366 if (is_volatile || is_ordered) {
1367 GenMemBarrier(kStoreStore);
1368 }
1369 RegLocation rl_object = LoadValue(rl_src_obj, kCoreReg);
1370 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1371 RegLocation rl_value;
1372 if (is_long) {
1373 rl_value = LoadValueWide(rl_src_value, kCoreReg);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001374 OpRegReg(kOpAdd, rl_object.reg.GetReg(), rl_offset.reg.GetReg());
1375 StoreBaseDispWide(rl_object.reg.GetReg(), 0, rl_value.reg.GetReg(), rl_value.reg.GetHighReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001376 } else {
1377 rl_value = LoadValue(rl_src_value, kCoreReg);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001378 StoreBaseIndexed(rl_object.reg.GetReg(), rl_offset.reg.GetReg(), rl_value.reg.GetReg(), 0, kWord);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001379 }
Mark Mendelldf8ee2e2014-01-27 16:37:47 -08001380
1381 // Free up the temp early, to ensure x86 doesn't run out of temporaries in MarkGCCard.
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001382 FreeTemp(rl_offset.reg.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001383 if (is_volatile) {
1384 GenMemBarrier(kStoreLoad);
1385 }
1386 if (is_object) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001387 MarkGCCard(rl_value.reg.GetReg(), rl_object.reg.GetReg());
Brian Carlstrom7940e442013-07-12 13:46:57 -07001388 }
1389 return true;
1390}
1391
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001392void Mir2Lir::GenInvoke(CallInfo* info) {
Vladimir Marko5c96e6b2013-11-14 15:34:17 +00001393 if (!(info->opt_flags & MIR_INLINED)) {
Vladimir Marko5816ed42013-11-27 17:04:20 +00001394 DCHECK(cu_->compiler_driver->GetMethodInlinerMap() != nullptr);
1395 if (cu_->compiler_driver->GetMethodInlinerMap()->GetMethodInliner(cu_->dex_file)
1396 ->GenIntrinsic(this, info)) {
Vladimir Marko5c96e6b2013-11-14 15:34:17 +00001397 return;
1398 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001399 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001400 int call_state = 0;
1401 LIR* null_ck;
1402 LIR** p_null_ck = NULL;
1403 NextCallInsn next_call_insn;
1404 FlushAllRegs(); /* Everything to home location */
1405 // Explicit register usage
1406 LockCallTemps();
1407
Vladimir Markof096aad2014-01-23 15:51:58 +00001408 const MirMethodLoweringInfo& method_info = mir_graph_->GetMethodLoweringInfo(info->mir);
1409 cu_->compiler_driver->ProcessedInvoke(method_info.GetInvokeType(), method_info.StatsFlags());
1410 InvokeType original_type = static_cast<InvokeType>(method_info.GetInvokeType());
1411 info->type = static_cast<InvokeType>(method_info.GetSharpType());
1412 bool fast_path = method_info.FastPath();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001413 bool skip_this;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001414 if (info->type == kInterface) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001415 next_call_insn = fast_path ? NextInterfaceCallInsn : NextInterfaceCallInsnWithAccessCheck;
Jeff Hao88474b42013-10-23 16:24:40 -07001416 skip_this = fast_path;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001417 } else if (info->type == kDirect) {
1418 if (fast_path) {
1419 p_null_ck = &null_ck;
1420 }
1421 next_call_insn = fast_path ? NextSDCallInsn : NextDirectCallInsnSP;
1422 skip_this = false;
1423 } else if (info->type == kStatic) {
1424 next_call_insn = fast_path ? NextSDCallInsn : NextStaticCallInsnSP;
1425 skip_this = false;
1426 } else if (info->type == kSuper) {
1427 DCHECK(!fast_path); // Fast path is a direct call.
1428 next_call_insn = NextSuperCallInsnSP;
1429 skip_this = false;
1430 } else {
1431 DCHECK_EQ(info->type, kVirtual);
1432 next_call_insn = fast_path ? NextVCallInsn : NextVCallInsnSP;
1433 skip_this = fast_path;
1434 }
Vladimir Markof096aad2014-01-23 15:51:58 +00001435 MethodReference target_method = method_info.GetTargetMethod();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001436 if (!info->is_range) {
1437 call_state = GenDalvikArgsNoRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001438 next_call_insn, target_method, method_info.VTableIndex(),
1439 method_info.DirectCode(), method_info.DirectMethod(),
Brian Carlstrom7940e442013-07-12 13:46:57 -07001440 original_type, skip_this);
1441 } else {
1442 call_state = GenDalvikArgsRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001443 next_call_insn, target_method, method_info.VTableIndex(),
1444 method_info.DirectCode(), method_info.DirectMethod(),
1445 original_type, skip_this);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001446 }
1447 // Finish up any of the call sequence not interleaved in arg loading
1448 while (call_state >= 0) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001449 call_state = next_call_insn(cu_, info, call_state, target_method, method_info.VTableIndex(),
1450 method_info.DirectCode(), method_info.DirectMethod(), original_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001451 }
1452 LIR* call_inst;
1453 if (cu_->instruction_set != kX86) {
1454 call_inst = OpReg(kOpBlx, TargetReg(kInvokeTgt));
1455 } else {
Jeff Hao88474b42013-10-23 16:24:40 -07001456 if (fast_path) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001457 if (method_info.DirectCode() == static_cast<uintptr_t>(-1)) {
Mark Mendell55d0eac2014-02-06 11:02:52 -08001458 // We can have the linker fixup a call relative.
1459 call_inst =
1460 reinterpret_cast<X86Mir2Lir*>(this)->CallWithLinkerFixup(
1461 target_method.dex_method_index, info->type);
1462 } else {
1463 call_inst = OpMem(kOpBlx, TargetReg(kArg0),
1464 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value());
1465 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001466 } else {
Ian Rogers848871b2013-08-05 10:56:33 -07001467 ThreadOffset trampoline(-1);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001468 switch (info->type) {
1469 case kInterface:
Jeff Hao88474b42013-10-23 16:24:40 -07001470 trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeInterfaceTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001471 break;
1472 case kDirect:
Ian Rogers7655f292013-07-29 11:07:13 -07001473 trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeDirectTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001474 break;
1475 case kStatic:
Ian Rogers7655f292013-07-29 11:07:13 -07001476 trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeStaticTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001477 break;
1478 case kSuper:
Ian Rogers7655f292013-07-29 11:07:13 -07001479 trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeSuperTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001480 break;
1481 case kVirtual:
Ian Rogers7655f292013-07-29 11:07:13 -07001482 trampoline = QUICK_ENTRYPOINT_OFFSET(pInvokeVirtualTrampolineWithAccessCheck);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001483 break;
1484 default:
1485 LOG(FATAL) << "Unexpected invoke type";
1486 }
1487 call_inst = OpThreadMem(kOpBlx, trampoline);
1488 }
1489 }
1490 MarkSafepointPC(call_inst);
1491
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001492 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001493 if (info->result.location != kLocInvalid) {
1494 // We have a following MOVE_RESULT - do it now.
1495 if (info->result.wide) {
1496 RegLocation ret_loc = GetReturnWide(info->result.fp);
1497 StoreValueWide(info->result, ret_loc);
1498 } else {
1499 RegLocation ret_loc = GetReturn(info->result.fp);
1500 StoreValue(info->result, ret_loc);
1501 }
1502 }
1503}
1504
1505} // namespace art