blob: ee68fe256120b6aad845a0e012de0952a8bb5df0 [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"
Dmitry Petrochenko37498b62014-05-05 20:33:38 +070025#include "mirror/object_array-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070026#include "mirror/string.h"
27#include "mir_to_lir-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070028#include "x86/codegen_x86.h"
29
30namespace art {
31
Dmitry Petrochenko37498b62014-05-05 20:33:38 +070032// Shortcuts to repeatedly used long types.
33typedef mirror::ObjectArray<mirror::Object> ObjArray;
34
Brian Carlstrom7940e442013-07-12 13:46:57 -070035/*
36 * This source files contains "gen" codegen routines that should
37 * be applicable to most targets. Only mid-level support utilities
38 * and "op" calls may be used here.
39 */
40
Mingyao Yang3a74d152014-04-21 15:39:44 -070041void Mir2Lir::AddIntrinsicSlowPath(CallInfo* info, LIR* branch, LIR* resume) {
42 class IntrinsicSlowPathPath : public Mir2Lir::LIRSlowPath {
Vladimir Marko3bc86152014-03-13 14:11:28 +000043 public:
Mingyao Yang3a74d152014-04-21 15:39:44 -070044 IntrinsicSlowPathPath(Mir2Lir* m2l, CallInfo* info, LIR* branch, LIR* resume = nullptr)
Vladimir Marko3bc86152014-03-13 14:11:28 +000045 : LIRSlowPath(m2l, info->offset, branch, resume), info_(info) {
46 }
47
48 void Compile() {
49 m2l_->ResetRegPool();
50 m2l_->ResetDefTracking();
Mingyao Yang6ffcfa02014-04-25 11:06:00 -070051 GenerateTargetLabel(kPseudoIntrinsicRetry);
Vladimir Marko3bc86152014-03-13 14:11:28 +000052 // NOTE: GenInvokeNoInline() handles MarkSafepointPC.
53 m2l_->GenInvokeNoInline(info_);
54 if (cont_ != nullptr) {
55 m2l_->OpUnconditionalBranch(cont_);
56 }
57 }
58
59 private:
60 CallInfo* const info_;
61 };
62
Mingyao Yang3a74d152014-04-21 15:39:44 -070063 AddSlowPath(new (arena_) IntrinsicSlowPathPath(this, info, branch, resume));
Vladimir Marko3bc86152014-03-13 14:11:28 +000064}
65
Andreas Gampe2f244e92014-05-08 03:35:25 -070066// Macro to help instantiate.
67// TODO: This might be used to only instantiate <4> on pure 32b systems.
68#define INSTANTIATE(sig_part1, ...) \
69 template sig_part1(ThreadOffset<4>, __VA_ARGS__); \
70 template sig_part1(ThreadOffset<8>, __VA_ARGS__); \
71
72
Brian Carlstrom7940e442013-07-12 13:46:57 -070073/*
74 * To save scheduling time, helper calls are broken into two parts: generation of
Dave Allisond6ed6422014-04-09 23:36:15 +000075 * the helper target address, and the actual call to the helper. Because x86
76 * has a memory call operation, part 1 is a NOP for x86. For other targets,
77 * load arguments between the two parts.
Brian Carlstrom7940e442013-07-12 13:46:57 -070078 */
Andreas Gampe2f244e92014-05-08 03:35:25 -070079// template <size_t pointer_size>
Ian Rogersdd7624d2014-03-14 17:43:00 -070080RegStorage Mir2Lir::CallHelperSetup(ThreadOffset<4> helper_offset) {
Andreas Gampe2f244e92014-05-08 03:35:25 -070081 // All CallRuntimeHelperXXX call this first. So make a central check here.
82 DCHECK_EQ(4U, GetInstructionSetPointerSize(cu_->instruction_set));
83
84 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
85 return RegStorage::InvalidReg();
86 } else {
87 return LoadHelper(helper_offset);
88 }
89}
90
91RegStorage Mir2Lir::CallHelperSetup(ThreadOffset<8> helper_offset) {
92 // All CallRuntimeHelperXXX call this first. So make a central check here.
93 DCHECK_EQ(8U, GetInstructionSetPointerSize(cu_->instruction_set));
94
95 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
96 return RegStorage::InvalidReg();
97 } else {
98 return LoadHelper(helper_offset);
99 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700100}
101
102/* NOTE: if r_tgt is a temp, it will be freed following use */
Andreas Gampe2f244e92014-05-08 03:35:25 -0700103template <size_t pointer_size>
104LIR* Mir2Lir::CallHelper(RegStorage r_tgt, ThreadOffset<pointer_size> helper_offset,
105 bool safepoint_pc, bool use_link) {
Dave Allisond6ed6422014-04-09 23:36:15 +0000106 LIR* call_inst;
Brian Carlstrom60d7a652014-03-13 18:10:08 -0700107 OpKind op = use_link ? kOpBlx : kOpBx;
Dave Allisond6ed6422014-04-09 23:36:15 +0000108 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
109 call_inst = OpThreadMem(op, helper_offset);
110 } else {
111 call_inst = OpReg(op, r_tgt);
112 FreeTemp(r_tgt);
113 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700114 if (safepoint_pc) {
115 MarkSafepointPC(call_inst);
116 }
117 return call_inst;
118}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700119template LIR* Mir2Lir::CallHelper(RegStorage r_tgt, ThreadOffset<4> helper_offset,
120 bool safepoint_pc, bool use_link);
121template LIR* Mir2Lir::CallHelper(RegStorage r_tgt, ThreadOffset<8> helper_offset,
122 bool safepoint_pc, bool use_link);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700123
Andreas Gampe2f244e92014-05-08 03:35:25 -0700124template <size_t pointer_size>
125void Mir2Lir::CallRuntimeHelper(ThreadOffset<pointer_size> helper_offset, bool safepoint_pc) {
Mingyao Yang42894562014-04-07 12:42:16 -0700126 RegStorage r_tgt = CallHelperSetup(helper_offset);
127 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700128 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Mingyao Yang42894562014-04-07 12:42:16 -0700129}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700130INSTANTIATE(void Mir2Lir::CallRuntimeHelper, bool safepoint_pc)
Mingyao Yang42894562014-04-07 12:42:16 -0700131
Andreas Gampe2f244e92014-05-08 03:35:25 -0700132template <size_t pointer_size>
133void Mir2Lir::CallRuntimeHelperImm(ThreadOffset<pointer_size> helper_offset, int arg0, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800134 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700135 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000136 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700137 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700138}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700139INSTANTIATE(void Mir2Lir::CallRuntimeHelperImm, int arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700140
Andreas Gampe2f244e92014-05-08 03:35:25 -0700141template <size_t pointer_size>
142void Mir2Lir::CallRuntimeHelperReg(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700143 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800144 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700145 OpRegCopy(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000146 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700147 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700148}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700149INSTANTIATE(void Mir2Lir::CallRuntimeHelperReg, RegStorage arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700150
Andreas Gampe2f244e92014-05-08 03:35:25 -0700151template <size_t pointer_size>
152void Mir2Lir::CallRuntimeHelperRegLocation(ThreadOffset<pointer_size> helper_offset,
153 RegLocation arg0, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800154 RegStorage r_tgt = CallHelperSetup(helper_offset);
155 if (arg0.wide == 0) {
156 LoadValueDirectFixed(arg0, TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700157 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800158 RegStorage r_tmp = RegStorage::MakeRegPair(TargetReg(kArg0), TargetReg(kArg1));
159 LoadValueDirectWideFixed(arg0, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700160 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000161 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700162 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700163}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700164INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocation, RegLocation arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700165
Andreas Gampe2f244e92014-05-08 03:35:25 -0700166template <size_t pointer_size>
167void Mir2Lir::CallRuntimeHelperImmImm(ThreadOffset<pointer_size> helper_offset, int arg0, int arg1,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700168 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800169 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700170 LoadConstant(TargetReg(kArg0), arg0);
171 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000172 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700173 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700174}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700175INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmImm, int arg0, int arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700176
Andreas Gampe2f244e92014-05-08 03:35:25 -0700177template <size_t pointer_size>
178void Mir2Lir::CallRuntimeHelperImmRegLocation(ThreadOffset<pointer_size> helper_offset, int arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700179 RegLocation arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800180 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700181 if (arg1.wide == 0) {
182 LoadValueDirectFixed(arg1, TargetReg(kArg1));
183 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800184 RegStorage r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
185 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700186 }
187 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000188 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700189 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700190}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700191INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmRegLocation, int arg0, RegLocation arg1,
192 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700193
Andreas Gampe2f244e92014-05-08 03:35:25 -0700194template <size_t pointer_size>
195void Mir2Lir::CallRuntimeHelperRegLocationImm(ThreadOffset<pointer_size> helper_offset,
196 RegLocation arg0, int arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800197 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700198 LoadValueDirectFixed(arg0, TargetReg(kArg0));
199 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000200 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700201 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700202}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700203INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationImm, RegLocation arg0, int arg1,
204 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700205
Andreas Gampe2f244e92014-05-08 03:35:25 -0700206template <size_t pointer_size>
207void Mir2Lir::CallRuntimeHelperImmReg(ThreadOffset<pointer_size> helper_offset, int arg0,
208 RegStorage arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800209 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700210 OpRegCopy(TargetReg(kArg1), arg1);
211 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000212 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700213 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700214}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700215INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmReg, int arg0, RegStorage arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700216
Andreas Gampe2f244e92014-05-08 03:35:25 -0700217template <size_t pointer_size>
218void Mir2Lir::CallRuntimeHelperRegImm(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
219 int arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800220 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700221 OpRegCopy(TargetReg(kArg0), arg0);
222 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000223 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700224 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700225}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700226INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegImm, RegStorage arg0, int arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700227
Andreas Gampe2f244e92014-05-08 03:35:25 -0700228template <size_t pointer_size>
229void Mir2Lir::CallRuntimeHelperImmMethod(ThreadOffset<pointer_size> helper_offset, int arg0,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700230 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800231 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700232 LoadCurrMethodDirect(TargetReg(kArg1));
233 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000234 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700235 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700236}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700237INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethod, int arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700238
Andreas Gampe2f244e92014-05-08 03:35:25 -0700239template <size_t pointer_size>
240void Mir2Lir::CallRuntimeHelperRegMethod(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800241 bool safepoint_pc) {
242 RegStorage r_tgt = CallHelperSetup(helper_offset);
243 DCHECK_NE(TargetReg(kArg1).GetReg(), arg0.GetReg());
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800244 if (TargetReg(kArg0) != arg0) {
245 OpRegCopy(TargetReg(kArg0), arg0);
246 }
247 LoadCurrMethodDirect(TargetReg(kArg1));
248 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700249 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800250}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700251INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegMethod, RegStorage arg0, bool safepoint_pc)
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800252
Andreas Gampe2f244e92014-05-08 03:35:25 -0700253template <size_t pointer_size>
254void Mir2Lir::CallRuntimeHelperRegMethodRegLocation(ThreadOffset<pointer_size> helper_offset,
255 RegStorage arg0, RegLocation arg2,
256 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800257 RegStorage r_tgt = CallHelperSetup(helper_offset);
258 DCHECK_NE(TargetReg(kArg1).GetReg(), arg0.GetReg());
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800259 if (TargetReg(kArg0) != arg0) {
260 OpRegCopy(TargetReg(kArg0), arg0);
261 }
262 LoadCurrMethodDirect(TargetReg(kArg1));
263 LoadValueDirectFixed(arg2, TargetReg(kArg2));
264 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700265 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800266}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700267INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegMethodRegLocation, RegStorage arg0, RegLocation arg2,
268 bool safepoint_pc)
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800269
Andreas Gampe2f244e92014-05-08 03:35:25 -0700270template <size_t pointer_size>
271void Mir2Lir::CallRuntimeHelperRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700272 RegLocation arg0, RegLocation arg1,
273 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800274 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700275 if (arg0.wide == 0) {
276 LoadValueDirectFixed(arg0, arg0.fp ? TargetReg(kFArg0) : TargetReg(kArg0));
277 if (arg1.wide == 0) {
278 if (cu_->instruction_set == kMips) {
279 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg1));
280 } else {
281 LoadValueDirectFixed(arg1, TargetReg(kArg1));
282 }
283 } else {
284 if (cu_->instruction_set == kMips) {
buzbee2700f7e2014-03-07 09:46:20 -0800285 RegStorage r_tmp;
286 if (arg1.fp) {
287 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg2), TargetReg(kFArg3));
288 } else {
289 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
290 }
291 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700292 } else {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700293 RegStorage r_tmp;
294 if (cu_->instruction_set == kX86_64) {
295 r_tmp = RegStorage::Solo64(TargetReg(kArg1).GetReg());
296 } else {
297 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
298 }
buzbee2700f7e2014-03-07 09:46:20 -0800299 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700300 }
301 }
302 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800303 RegStorage r_tmp;
304 if (arg0.fp) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700305 if (cu_->instruction_set == kX86_64) {
306 r_tmp = RegStorage::FloatSolo64(TargetReg(kFArg0).GetReg());
307 } else {
308 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg0), TargetReg(kFArg1));
309 }
buzbee2700f7e2014-03-07 09:46:20 -0800310 } else {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700311 if (cu_->instruction_set == kX86_64) {
312 r_tmp = RegStorage::Solo64(TargetReg(kArg0).GetReg());
313 } else {
314 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg0), TargetReg(kArg1));
315 }
buzbee2700f7e2014-03-07 09:46:20 -0800316 }
317 LoadValueDirectWideFixed(arg0, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700318 if (arg1.wide == 0) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700319 if (cu_->instruction_set == kX86_64) {
320 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg1) : TargetReg(kArg1));
321 } else {
322 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg2));
323 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700324 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800325 RegStorage r_tmp;
326 if (arg1.fp) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700327 if (cu_->instruction_set == kX86_64) {
328 r_tmp = RegStorage::FloatSolo64(TargetReg(kFArg1).GetReg());
329 } else {
330 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg2), TargetReg(kFArg3));
331 }
buzbee2700f7e2014-03-07 09:46:20 -0800332 } else {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700333 if (cu_->instruction_set == kX86_64) {
334 r_tmp = RegStorage::Solo64(TargetReg(kArg1).GetReg());
335 } else {
336 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
337 }
buzbee2700f7e2014-03-07 09:46:20 -0800338 }
339 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700340 }
341 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000342 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700343 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700344}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700345INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationRegLocation, RegLocation arg0,
346 RegLocation arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700347
Mingyao Yang80365d92014-04-18 12:10:58 -0700348void Mir2Lir::CopyToArgumentRegs(RegStorage arg0, RegStorage arg1) {
349 if (arg1.GetReg() == TargetReg(kArg0).GetReg()) {
350 if (arg0.GetReg() == TargetReg(kArg1).GetReg()) {
351 // Swap kArg0 and kArg1 with kArg2 as temp.
352 OpRegCopy(TargetReg(kArg2), arg1);
353 OpRegCopy(TargetReg(kArg0), arg0);
354 OpRegCopy(TargetReg(kArg1), TargetReg(kArg2));
355 } else {
356 OpRegCopy(TargetReg(kArg1), arg1);
357 OpRegCopy(TargetReg(kArg0), arg0);
358 }
359 } else {
360 OpRegCopy(TargetReg(kArg0), arg0);
361 OpRegCopy(TargetReg(kArg1), arg1);
362 }
363}
364
Andreas Gampe2f244e92014-05-08 03:35:25 -0700365template <size_t pointer_size>
366void Mir2Lir::CallRuntimeHelperRegReg(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800367 RegStorage arg1, bool safepoint_pc) {
368 RegStorage r_tgt = CallHelperSetup(helper_offset);
Mingyao Yang80365d92014-04-18 12:10:58 -0700369 CopyToArgumentRegs(arg0, arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000370 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700371 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700372}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700373INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegReg, RegStorage arg0, RegStorage arg1,
374 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700375
Andreas Gampe2f244e92014-05-08 03:35:25 -0700376template <size_t pointer_size>
377void Mir2Lir::CallRuntimeHelperRegRegImm(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800378 RegStorage arg1, int arg2, bool safepoint_pc) {
379 RegStorage r_tgt = CallHelperSetup(helper_offset);
Mingyao Yang80365d92014-04-18 12:10:58 -0700380 CopyToArgumentRegs(arg0, arg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700381 LoadConstant(TargetReg(kArg2), arg2);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000382 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700383 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700384}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700385INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegRegImm, RegStorage arg0, RegStorage arg1, int arg2,
386 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700387
Andreas Gampe2f244e92014-05-08 03:35:25 -0700388template <size_t pointer_size>
389void Mir2Lir::CallRuntimeHelperImmMethodRegLocation(ThreadOffset<pointer_size> helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700390 int arg0, RegLocation arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800391 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700392 LoadValueDirectFixed(arg2, TargetReg(kArg2));
393 LoadCurrMethodDirect(TargetReg(kArg1));
394 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000395 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700396 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700397}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700398INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethodRegLocation, int arg0, RegLocation arg2,
399 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700400
Andreas Gampe2f244e92014-05-08 03:35:25 -0700401template <size_t pointer_size>
402void Mir2Lir::CallRuntimeHelperImmMethodImm(ThreadOffset<pointer_size> helper_offset, int arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700403 int arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800404 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700405 LoadCurrMethodDirect(TargetReg(kArg1));
406 LoadConstant(TargetReg(kArg2), arg2);
407 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000408 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700409 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700410}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700411INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethodImm, int arg0, int arg2, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700412
Andreas Gampe2f244e92014-05-08 03:35:25 -0700413template <size_t pointer_size>
414void Mir2Lir::CallRuntimeHelperImmRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700415 int arg0, RegLocation arg1,
416 RegLocation arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800417 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe2f244e92014-05-08 03:35:25 -0700418 DCHECK_EQ(static_cast<unsigned int>(arg1.wide), 0U); // The static_cast works around an
419 // instantiation bug in GCC.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700420 LoadValueDirectFixed(arg1, TargetReg(kArg1));
421 if (arg2.wide == 0) {
422 LoadValueDirectFixed(arg2, TargetReg(kArg2));
423 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800424 RegStorage r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
425 LoadValueDirectWideFixed(arg2, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700426 }
427 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000428 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700429 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700430}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700431INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmRegLocationRegLocation, int arg0, RegLocation arg1,
432 RegLocation arg2, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700433
Andreas Gampe2f244e92014-05-08 03:35:25 -0700434template <size_t pointer_size>
435void Mir2Lir::CallRuntimeHelperRegLocationRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Ian Rogersa9a82542013-10-04 11:17:26 -0700436 RegLocation arg0, RegLocation arg1,
437 RegLocation arg2,
438 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800439 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe2f244e92014-05-08 03:35:25 -0700440 DCHECK_EQ(static_cast<unsigned int>(arg0.wide), 0U);
Ian Rogersa9a82542013-10-04 11:17:26 -0700441 LoadValueDirectFixed(arg0, TargetReg(kArg0));
Andreas Gampe2f244e92014-05-08 03:35:25 -0700442 DCHECK_EQ(static_cast<unsigned int>(arg1.wide), 0U);
Ian Rogersa9a82542013-10-04 11:17:26 -0700443 LoadValueDirectFixed(arg1, TargetReg(kArg1));
Andreas Gampe2f244e92014-05-08 03:35:25 -0700444 DCHECK_EQ(static_cast<unsigned int>(arg1.wide), 0U);
Ian Rogersa9a82542013-10-04 11:17:26 -0700445 LoadValueDirectFixed(arg2, TargetReg(kArg2));
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000446 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700447 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Ian Rogersa9a82542013-10-04 11:17:26 -0700448}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700449INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationRegLocationRegLocation, RegLocation arg0,
450 RegLocation arg1, RegLocation arg2, bool safepoint_pc)
Ian Rogersa9a82542013-10-04 11:17:26 -0700451
Brian Carlstrom7940e442013-07-12 13:46:57 -0700452/*
453 * If there are any ins passed in registers that have not been promoted
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100454 * to a callee-save register, flush them to the frame. Perform initial
Brian Carlstrom7940e442013-07-12 13:46:57 -0700455 * assignment of promoted arguments.
456 *
457 * ArgLocs is an array of location records describing the incoming arguments
458 * with one location record per word of argument.
459 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700460void Mir2Lir::FlushIns(RegLocation* ArgLocs, RegLocation rl_method) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700461 /*
Zheng Xu511c8a62014-06-03 16:22:23 +0800462 * Dummy up a RegLocation for the incoming StackReference<mirror::ArtMethod>
Brian Carlstrom7940e442013-07-12 13:46:57 -0700463 * It will attempt to keep kArg0 live (or copy it to home location
464 * if promoted).
465 */
466 RegLocation rl_src = rl_method;
467 rl_src.location = kLocPhysReg;
buzbee2700f7e2014-03-07 09:46:20 -0800468 rl_src.reg = TargetReg(kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700469 rl_src.home = false;
buzbee091cc402014-03-31 10:14:40 -0700470 MarkLive(rl_src);
buzbeef2c3e562014-05-29 12:37:25 -0700471 StoreValue(rl_method, rl_src);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700472 // If Method* has been promoted, explicitly flush
473 if (rl_method.location == kLocPhysReg) {
buzbeef2c3e562014-05-29 12:37:25 -0700474 StoreRefDisp(TargetReg(kSp), 0, TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700475 }
476
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800477 if (cu_->num_ins == 0) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700478 return;
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800479 }
480
Brian Carlstrom7940e442013-07-12 13:46:57 -0700481 int start_vreg = cu_->num_dalvik_registers - cu_->num_ins;
482 /*
483 * Copy incoming arguments to their proper home locations.
484 * NOTE: an older version of dx had an issue in which
485 * it would reuse static method argument registers.
486 * This could result in the same Dalvik virtual register
487 * being promoted to both core and fp regs. To account for this,
488 * we only copy to the corresponding promoted physical register
489 * if it matches the type of the SSA name for the incoming
490 * argument. It is also possible that long and double arguments
491 * end up half-promoted. In those cases, we must flush the promoted
492 * half to memory as well.
493 */
494 for (int i = 0; i < cu_->num_ins; i++) {
495 PromotionMap* v_map = &promotion_map_[start_vreg + i];
buzbee2700f7e2014-03-07 09:46:20 -0800496 RegStorage reg = GetArgMappingToPhysicalReg(i);
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800497
buzbee2700f7e2014-03-07 09:46:20 -0800498 if (reg.Valid()) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700499 // If arriving in register
500 bool need_flush = true;
501 RegLocation* t_loc = &ArgLocs[i];
502 if ((v_map->core_location == kLocPhysReg) && !t_loc->fp) {
buzbee2700f7e2014-03-07 09:46:20 -0800503 OpRegCopy(RegStorage::Solo32(v_map->core_reg), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700504 need_flush = false;
505 } else if ((v_map->fp_location == kLocPhysReg) && t_loc->fp) {
buzbee2700f7e2014-03-07 09:46:20 -0800506 OpRegCopy(RegStorage::Solo32(v_map->FpReg), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700507 need_flush = false;
508 } else {
509 need_flush = true;
510 }
511
buzbeed0a03b82013-09-14 08:21:05 -0700512 // For wide args, force flush if not fully promoted
Brian Carlstrom7940e442013-07-12 13:46:57 -0700513 if (t_loc->wide) {
514 PromotionMap* p_map = v_map + (t_loc->high_word ? -1 : +1);
buzbeed0a03b82013-09-14 08:21:05 -0700515 // Is only half promoted?
Brian Carlstrom7940e442013-07-12 13:46:57 -0700516 need_flush |= (p_map->core_location != v_map->core_location) ||
517 (p_map->fp_location != v_map->fp_location);
buzbeed0a03b82013-09-14 08:21:05 -0700518 if ((cu_->instruction_set == kThumb2) && t_loc->fp && !need_flush) {
519 /*
520 * In Arm, a double is represented as a pair of consecutive single float
521 * registers starting at an even number. It's possible that both Dalvik vRegs
522 * representing the incoming double were independently promoted as singles - but
523 * not in a form usable as a double. If so, we need to flush - even though the
524 * incoming arg appears fully in register. At this point in the code, both
525 * halves of the double are promoted. Make sure they are in a usable form.
526 */
527 int lowreg_index = start_vreg + i + (t_loc->high_word ? -1 : 0);
528 int low_reg = promotion_map_[lowreg_index].FpReg;
529 int high_reg = promotion_map_[lowreg_index + 1].FpReg;
530 if (((low_reg & 0x1) != 0) || (high_reg != (low_reg + 1))) {
531 need_flush = true;
532 }
533 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700534 }
535 if (need_flush) {
buzbee695d13a2014-04-19 13:32:20 -0700536 Store32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700537 }
538 } else {
539 // If arriving in frame & promoted
540 if (v_map->core_location == kLocPhysReg) {
buzbee695d13a2014-04-19 13:32:20 -0700541 Load32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), RegStorage::Solo32(v_map->core_reg));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700542 }
543 if (v_map->fp_location == kLocPhysReg) {
buzbee695d13a2014-04-19 13:32:20 -0700544 Load32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), RegStorage::Solo32(v_map->FpReg));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700545 }
546 }
547 }
548}
549
550/*
551 * Bit of a hack here - in the absence of a real scheduling pass,
552 * emit the next instruction in static & direct invoke sequences.
553 */
554static int NextSDCallInsn(CompilationUnit* cu, CallInfo* info,
555 int state, const MethodReference& target_method,
556 uint32_t unused,
557 uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700558 InvokeType type) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700559 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700560 if (direct_code != 0 && direct_method != 0) {
561 switch (state) {
562 case 0: // Get the current Method* [sets kArg0]
Ian Rogersff093b32014-04-30 19:04:27 -0700563 if (direct_code != static_cast<uintptr_t>(-1)) {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700564 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Ian Rogers83883d72013-10-21 21:07:24 -0700565 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
566 }
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700567 } else if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Jeff Hao49161ce2014-03-12 11:05:25 -0700568 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700569 }
Ian Rogersff093b32014-04-30 19:04:27 -0700570 if (direct_method != static_cast<uintptr_t>(-1)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700571 cg->LoadConstant(cg->TargetReg(kArg0), direct_method);
572 } else {
Jeff Hao49161ce2014-03-12 11:05:25 -0700573 cg->LoadMethodAddress(target_method, type, kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700574 }
575 break;
576 default:
577 return -1;
578 }
579 } else {
580 switch (state) {
581 case 0: // Get the current Method* [sets kArg0]
582 // TUNING: we can save a reg copy if Method* has been promoted.
583 cg->LoadCurrMethodDirect(cg->TargetReg(kArg0));
584 break;
585 case 1: // Get method->dex_cache_resolved_methods_
buzbee695d13a2014-04-19 13:32:20 -0700586 cg->LoadRefDisp(cg->TargetReg(kArg0),
587 mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(),
588 cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700589 // Set up direct code if known.
590 if (direct_code != 0) {
Ian Rogersff093b32014-04-30 19:04:27 -0700591 if (direct_code != static_cast<uintptr_t>(-1)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700592 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700593 } else if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Ian Rogers83883d72013-10-21 21:07:24 -0700594 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
Jeff Hao49161ce2014-03-12 11:05:25 -0700595 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700596 }
597 }
598 break;
599 case 2: // Grab target method*
600 CHECK_EQ(cu->dex_file, target_method.dex_file);
buzbee695d13a2014-04-19 13:32:20 -0700601 cg->LoadRefDisp(cg->TargetReg(kArg0),
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700602 ObjArray::OffsetOfElement(target_method.dex_method_index).Int32Value(),
603 cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700604 break;
605 case 3: // Grab the code from the method*
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700606 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700607 if (direct_code == 0) {
608 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800609 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700610 cg->TargetReg(kInvokeTgt));
611 }
612 break;
613 }
614 // Intentional fallthrough for x86
615 default:
616 return -1;
617 }
618 }
619 return state + 1;
620}
621
622/*
623 * Bit of a hack here - in the absence of a real scheduling pass,
624 * emit the next instruction in a virtual invoke sequence.
625 * We can use kLr as a temp prior to target address loading
626 * Note also that we'll load the first argument ("this") into
627 * kArg1 here rather than the standard LoadArgRegs.
628 */
629static int NextVCallInsn(CompilationUnit* cu, CallInfo* info,
630 int state, const MethodReference& target_method,
631 uint32_t method_idx, uintptr_t unused, uintptr_t unused2,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700632 InvokeType unused3) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700633 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
634 /*
635 * This is the fast path in which the target virtual method is
636 * fully resolved at compile time.
637 */
638 switch (state) {
639 case 0: { // Get "this" [set kArg1]
640 RegLocation rl_arg = info->args[0];
641 cg->LoadValueDirectFixed(rl_arg, cg->TargetReg(kArg1));
642 break;
643 }
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700644 case 1: // Is "this" null? [use kArg1]
Dave Allisonb373e092014-02-20 16:06:36 -0800645 cg->GenNullCheck(cg->TargetReg(kArg1), info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700646 // get this->klass_ [use kArg1, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700647 cg->LoadRefDisp(cg->TargetReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
648 cg->TargetReg(kInvokeTgt));
Dave Allisonb373e092014-02-20 16:06:36 -0800649 cg->MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700650 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700651 case 2: // Get this->klass_->vtable [usr kInvokeTgt, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700652 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt), mirror::Class::VTableOffset().Int32Value(),
653 cg->TargetReg(kInvokeTgt));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700654 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700655 case 3: // Get target method [use kInvokeTgt, set kArg0]
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700656 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt),
657 ObjArray::OffsetOfElement(method_idx).Int32Value(),
buzbee695d13a2014-04-19 13:32:20 -0700658 cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700659 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700660 case 4: // Get the compiled code address [uses kArg0, sets kInvokeTgt]
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700661 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700662 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800663 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700664 cg->TargetReg(kInvokeTgt));
665 break;
666 }
667 // Intentional fallthrough for X86
668 default:
669 return -1;
670 }
671 return state + 1;
672}
673
674/*
Jeff Hao88474b42013-10-23 16:24:40 -0700675 * Emit the next instruction in an invoke interface sequence. This will do a lookup in the
676 * class's IMT, calling either the actual method or art_quick_imt_conflict_trampoline if
677 * more than one interface method map to the same index. Note also that we'll load the first
678 * argument ("this") into kArg1 here rather than the standard LoadArgRegs.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700679 */
680static int NextInterfaceCallInsn(CompilationUnit* cu, CallInfo* info, int state,
681 const MethodReference& target_method,
Jeff Hao88474b42013-10-23 16:24:40 -0700682 uint32_t method_idx, uintptr_t unused,
683 uintptr_t direct_method, InvokeType unused2) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700684 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700685
Jeff Hao88474b42013-10-23 16:24:40 -0700686 switch (state) {
687 case 0: // Set target method index in case of conflict [set kHiddenArg, kHiddenFpArg (x86)]
Jeff Hao88474b42013-10-23 16:24:40 -0700688 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
689 cg->LoadConstant(cg->TargetReg(kHiddenArg), target_method.dex_method_index);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700690 if (cu->instruction_set == kX86 || cu->instruction_set == kX86_64) {
Jeff Hao88474b42013-10-23 16:24:40 -0700691 cg->OpRegCopy(cg->TargetReg(kHiddenFpArg), cg->TargetReg(kHiddenArg));
692 }
693 break;
694 case 1: { // Get "this" [set kArg1]
695 RegLocation rl_arg = info->args[0];
696 cg->LoadValueDirectFixed(rl_arg, cg->TargetReg(kArg1));
697 break;
698 }
699 case 2: // Is "this" null? [use kArg1]
Dave Allisonb373e092014-02-20 16:06:36 -0800700 cg->GenNullCheck(cg->TargetReg(kArg1), info->opt_flags);
Jeff Hao88474b42013-10-23 16:24:40 -0700701 // Get this->klass_ [use kArg1, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700702 cg->LoadRefDisp(cg->TargetReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
703 cg->TargetReg(kInvokeTgt));
Dave Allisonb373e092014-02-20 16:06:36 -0800704 cg->MarkPossibleNullPointerException(info->opt_flags);
Jeff Hao88474b42013-10-23 16:24:40 -0700705 break;
706 case 3: // Get this->klass_->imtable [use kInvokeTgt, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700707 // NOTE: native pointer.
708 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt), mirror::Class::ImTableOffset().Int32Value(),
709 cg->TargetReg(kInvokeTgt));
Jeff Hao88474b42013-10-23 16:24:40 -0700710 break;
711 case 4: // Get target method [use kInvokeTgt, set kArg0]
buzbee695d13a2014-04-19 13:32:20 -0700712 // NOTE: native pointer.
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700713 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt),
714 ObjArray::OffsetOfElement(method_idx % ClassLinker::kImtSize).Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700715 cg->TargetReg(kArg0));
716 break;
Jeff Hao88474b42013-10-23 16:24:40 -0700717 case 5: // Get the compiled code address [use kArg0, set kInvokeTgt]
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700718 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Jeff Hao88474b42013-10-23 16:24:40 -0700719 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800720 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Jeff Hao88474b42013-10-23 16:24:40 -0700721 cg->TargetReg(kInvokeTgt));
722 break;
723 }
724 // Intentional fallthrough for X86
Brian Carlstrom7940e442013-07-12 13:46:57 -0700725 default:
726 return -1;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700727 }
728 return state + 1;
729}
730
Andreas Gampe2f244e92014-05-08 03:35:25 -0700731template <size_t pointer_size>
732static int NextInvokeInsnSP(CompilationUnit* cu, CallInfo* info, ThreadOffset<pointer_size> trampoline,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700733 int state, const MethodReference& target_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700734 uint32_t method_idx) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700735 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
736 /*
737 * This handles the case in which the base method is not fully
738 * resolved at compile time, we bail to a runtime helper.
739 */
740 if (state == 0) {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700741 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700742 // Load trampoline target
Ian Rogers848871b2013-08-05 10:56:33 -0700743 cg->LoadWordDisp(cg->TargetReg(kSelf), trampoline.Int32Value(), cg->TargetReg(kInvokeTgt));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700744 }
745 // Load kArg0 with method index
746 CHECK_EQ(cu->dex_file, target_method.dex_file);
747 cg->LoadConstant(cg->TargetReg(kArg0), target_method.dex_method_index);
748 return 1;
749 }
750 return -1;
751}
752
753static int NextStaticCallInsnSP(CompilationUnit* cu, CallInfo* info,
754 int state,
755 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000756 uint32_t unused, uintptr_t unused2,
757 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700758 if (Is64BitInstructionSet(cu->instruction_set)) {
759 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeStaticTrampolineWithAccessCheck);
760 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
761 } else {
762 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeStaticTrampolineWithAccessCheck);
763 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
764 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700765}
766
767static int NextDirectCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
768 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000769 uint32_t unused, uintptr_t unused2,
770 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700771 if (Is64BitInstructionSet(cu->instruction_set)) {
772 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeDirectTrampolineWithAccessCheck);
773 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
774 } else {
775 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeDirectTrampolineWithAccessCheck);
776 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
777 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700778}
779
780static int NextSuperCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
781 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000782 uint32_t unused, uintptr_t unused2,
783 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700784 if (Is64BitInstructionSet(cu->instruction_set)) {
785 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeSuperTrampolineWithAccessCheck);
786 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
787 } else {
788 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeSuperTrampolineWithAccessCheck);
789 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
790 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700791}
792
793static int NextVCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
794 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000795 uint32_t unused, uintptr_t unused2,
796 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700797 if (Is64BitInstructionSet(cu->instruction_set)) {
798 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeVirtualTrampolineWithAccessCheck);
799 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
800 } else {
801 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeVirtualTrampolineWithAccessCheck);
802 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
803 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700804}
805
806static int NextInterfaceCallInsnWithAccessCheck(CompilationUnit* cu,
807 CallInfo* info, int state,
808 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000809 uint32_t unused, uintptr_t unused2,
810 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700811 if (Is64BitInstructionSet(cu->instruction_set)) {
812 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeInterfaceTrampolineWithAccessCheck);
813 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
814 } else {
815 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeInterfaceTrampolineWithAccessCheck);
816 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
817 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700818}
819
820int Mir2Lir::LoadArgRegs(CallInfo* info, int call_state,
821 NextCallInsn next_call_insn,
822 const MethodReference& target_method,
823 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700824 uintptr_t direct_method, InvokeType type, bool skip_this) {
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700825 int last_arg_reg = 3 - 1;
826 int arg_regs[3] = {TargetReg(kArg1).GetReg(), TargetReg(kArg2).GetReg(), TargetReg(kArg3).GetReg()};
827
828 int next_reg = 0;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700829 int next_arg = 0;
830 if (skip_this) {
831 next_reg++;
832 next_arg++;
833 }
834 for (; (next_reg <= last_arg_reg) && (next_arg < info->num_arg_words); next_reg++) {
835 RegLocation rl_arg = info->args[next_arg++];
836 rl_arg = UpdateRawLoc(rl_arg);
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700837 if (rl_arg.wide && (next_reg <= last_arg_reg - 1)) {
838 RegStorage r_tmp(RegStorage::k64BitPair, arg_regs[next_reg], arg_regs[next_reg + 1]);
buzbee2700f7e2014-03-07 09:46:20 -0800839 LoadValueDirectWideFixed(rl_arg, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700840 next_reg++;
841 next_arg++;
842 } else {
843 if (rl_arg.wide) {
buzbee2700f7e2014-03-07 09:46:20 -0800844 rl_arg = NarrowRegLoc(rl_arg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700845 rl_arg.is_const = false;
846 }
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700847 LoadValueDirectFixed(rl_arg, RegStorage::Solo32(arg_regs[next_reg]));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700848 }
849 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
850 direct_code, direct_method, type);
851 }
852 return call_state;
853}
854
855/*
856 * Load up to 5 arguments, the first three of which will be in
857 * kArg1 .. kArg3. On entry kArg0 contains the current method pointer,
858 * and as part of the load sequence, it must be replaced with
859 * the target method pointer. Note, this may also be called
860 * for "range" variants if the number of arguments is 5 or fewer.
861 */
862int Mir2Lir::GenDalvikArgsNoRange(CallInfo* info,
863 int call_state, LIR** pcrLabel, NextCallInsn next_call_insn,
864 const MethodReference& target_method,
865 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700866 uintptr_t direct_method, InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700867 RegLocation rl_arg;
868
869 /* If no arguments, just return */
870 if (info->num_arg_words == 0)
871 return call_state;
872
873 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
874 direct_code, direct_method, type);
875
876 DCHECK_LE(info->num_arg_words, 5);
877 if (info->num_arg_words > 3) {
878 int32_t next_use = 3;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700879 // Detect special case of wide arg spanning arg3/arg4
Brian Carlstrom7940e442013-07-12 13:46:57 -0700880 RegLocation rl_use0 = info->args[0];
881 RegLocation rl_use1 = info->args[1];
882 RegLocation rl_use2 = info->args[2];
buzbee2700f7e2014-03-07 09:46:20 -0800883 if (((!rl_use0.wide && !rl_use1.wide) || rl_use0.wide) && rl_use2.wide) {
884 RegStorage reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700885 // Wide spans, we need the 2nd half of uses[2].
886 rl_arg = UpdateLocWide(rl_use2);
887 if (rl_arg.location == kLocPhysReg) {
buzbee85089dd2014-05-25 15:10:52 -0700888 if (rl_arg.reg.IsPair()) {
889 reg = rl_arg.reg.GetHigh();
890 } else {
891 RegisterInfo* info = GetRegInfo(rl_arg.reg);
892 info = info->FindMatchingView(RegisterInfo::kHighSingleStorageMask);
893 if (info == nullptr) {
894 // NOTE: For hard float convention we won't split arguments across reg/mem.
895 UNIMPLEMENTED(FATAL) << "Needs hard float api.";
896 }
897 reg = info->GetReg();
898 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700899 } else {
900 // kArg2 & rArg3 can safely be used here
901 reg = TargetReg(kArg3);
buzbee695d13a2014-04-19 13:32:20 -0700902 Load32Disp(TargetReg(kSp), SRegOffset(rl_arg.s_reg_low) + 4, reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700903 call_state = next_call_insn(cu_, info, call_state, target_method,
904 vtable_idx, direct_code, direct_method, type);
905 }
buzbee695d13a2014-04-19 13:32:20 -0700906 Store32Disp(TargetReg(kSp), (next_use + 1) * 4, reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700907 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
908 direct_code, direct_method, type);
909 next_use++;
910 }
911 // Loop through the rest
912 while (next_use < info->num_arg_words) {
buzbee091cc402014-03-31 10:14:40 -0700913 RegStorage arg_reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700914 rl_arg = info->args[next_use];
915 rl_arg = UpdateRawLoc(rl_arg);
916 if (rl_arg.location == kLocPhysReg) {
buzbee091cc402014-03-31 10:14:40 -0700917 arg_reg = rl_arg.reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700918 } else {
buzbee091cc402014-03-31 10:14:40 -0700919 arg_reg = rl_arg.wide ? RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3)) :
920 TargetReg(kArg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700921 if (rl_arg.wide) {
buzbee091cc402014-03-31 10:14:40 -0700922 LoadValueDirectWideFixed(rl_arg, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700923 } else {
buzbee091cc402014-03-31 10:14:40 -0700924 LoadValueDirectFixed(rl_arg, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700925 }
926 call_state = next_call_insn(cu_, info, call_state, target_method,
927 vtable_idx, direct_code, direct_method, type);
928 }
929 int outs_offset = (next_use + 1) * 4;
930 if (rl_arg.wide) {
Vladimir Marko455759b2014-05-06 20:49:36 +0100931 StoreBaseDisp(TargetReg(kSp), outs_offset, arg_reg, k64);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700932 next_use += 2;
933 } else {
buzbee091cc402014-03-31 10:14:40 -0700934 Store32Disp(TargetReg(kSp), outs_offset, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700935 next_use++;
936 }
937 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
938 direct_code, direct_method, type);
939 }
940 }
941
942 call_state = LoadArgRegs(info, call_state, next_call_insn,
943 target_method, vtable_idx, direct_code, direct_method,
944 type, skip_this);
945
946 if (pcrLabel) {
Dave Allisonf9439142014-03-27 15:10:22 -0700947 if (Runtime::Current()->ExplicitNullChecks()) {
948 *pcrLabel = GenExplicitNullCheck(TargetReg(kArg1), info->opt_flags);
949 } else {
950 *pcrLabel = nullptr;
951 // In lieu of generating a check for kArg1 being null, we need to
952 // perform a load when doing implicit checks.
953 RegStorage tmp = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -0700954 Load32Disp(TargetReg(kArg1), 0, tmp);
Dave Allisonf9439142014-03-27 15:10:22 -0700955 MarkPossibleNullPointerException(info->opt_flags);
956 FreeTemp(tmp);
957 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700958 }
959 return call_state;
960}
961
962/*
963 * May have 0+ arguments (also used for jumbo). Note that
964 * source virtual registers may be in physical registers, so may
965 * need to be flushed to home location before copying. This
966 * applies to arg3 and above (see below).
967 *
968 * Two general strategies:
969 * If < 20 arguments
970 * Pass args 3-18 using vldm/vstm block copy
971 * Pass arg0, arg1 & arg2 in kArg1-kArg3
972 * If 20+ arguments
973 * Pass args arg19+ using memcpy block copy
974 * Pass arg0, arg1 & arg2 in kArg1-kArg3
975 *
976 */
977int Mir2Lir::GenDalvikArgsRange(CallInfo* info, int call_state,
978 LIR** pcrLabel, NextCallInsn next_call_insn,
979 const MethodReference& target_method,
980 uint32_t vtable_idx, uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700981 InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700982 // If we can treat it as non-range (Jumbo ops will use range form)
983 if (info->num_arg_words <= 5)
984 return GenDalvikArgsNoRange(info, call_state, pcrLabel,
985 next_call_insn, target_method, vtable_idx,
986 direct_code, direct_method, type, skip_this);
987 /*
988 * First load the non-register arguments. Both forms expect all
989 * of the source arguments to be in their home frame location, so
990 * scan the s_reg names and flush any that have been promoted to
991 * frame backing storage.
992 */
993 // Scan the rest of the args - if in phys_reg flush to memory
994 for (int next_arg = 0; next_arg < info->num_arg_words;) {
995 RegLocation loc = info->args[next_arg];
996 if (loc.wide) {
997 loc = UpdateLocWide(loc);
998 if ((next_arg >= 2) && (loc.location == kLocPhysReg)) {
Vladimir Marko455759b2014-05-06 20:49:36 +0100999 StoreBaseDisp(TargetReg(kSp), SRegOffset(loc.s_reg_low), loc.reg, k64);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001000 }
1001 next_arg += 2;
1002 } else {
1003 loc = UpdateLoc(loc);
1004 if ((next_arg >= 3) && (loc.location == kLocPhysReg)) {
buzbee695d13a2014-04-19 13:32:20 -07001005 Store32Disp(TargetReg(kSp), SRegOffset(loc.s_reg_low), loc.reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001006 }
1007 next_arg++;
1008 }
1009 }
1010
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001011 // Logic below assumes that Method pointer is at offset zero from SP.
1012 DCHECK_EQ(VRegOffset(static_cast<int>(kVRegMethodPtrBaseReg)), 0);
1013
1014 // The first 3 arguments are passed via registers.
1015 // TODO: For 64-bit, instead of hardcoding 4 for Method* size, we should either
1016 // get size of uintptr_t or size of object reference according to model being used.
1017 int outs_offset = 4 /* Method* */ + (3 * sizeof(uint32_t));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001018 int start_offset = SRegOffset(info->args[3].s_reg_low);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001019 int regs_left_to_pass_via_stack = info->num_arg_words - 3;
1020 DCHECK_GT(regs_left_to_pass_via_stack, 0);
1021
1022 if (cu_->instruction_set == kThumb2 && regs_left_to_pass_via_stack <= 16) {
1023 // Use vldm/vstm pair using kArg3 as a temp
1024 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1025 direct_code, direct_method, type);
1026 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), start_offset);
1027 LIR* ld = OpVldm(TargetReg(kArg3), regs_left_to_pass_via_stack);
1028 // TUNING: loosen barrier
1029 ld->u.m.def_mask = ENCODE_ALL;
1030 SetMemRefType(ld, true /* is_load */, kDalvikReg);
1031 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1032 direct_code, direct_method, type);
1033 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), 4 /* Method* */ + (3 * 4));
1034 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1035 direct_code, direct_method, type);
1036 LIR* st = OpVstm(TargetReg(kArg3), regs_left_to_pass_via_stack);
1037 SetMemRefType(st, false /* is_load */, kDalvikReg);
1038 st->u.m.def_mask = ENCODE_ALL;
1039 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1040 direct_code, direct_method, type);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001041 } else if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001042 int current_src_offset = start_offset;
1043 int current_dest_offset = outs_offset;
1044
1045 while (regs_left_to_pass_via_stack > 0) {
1046 // This is based on the knowledge that the stack itself is 16-byte aligned.
1047 bool src_is_16b_aligned = (current_src_offset & 0xF) == 0;
1048 bool dest_is_16b_aligned = (current_dest_offset & 0xF) == 0;
1049 size_t bytes_to_move;
1050
1051 /*
1052 * The amount to move defaults to 32-bit. If there are 4 registers left to move, then do a
1053 * a 128-bit move because we won't get the chance to try to aligned. If there are more than
1054 * 4 registers left to move, consider doing a 128-bit only if either src or dest are aligned.
1055 * We do this because we could potentially do a smaller move to align.
1056 */
1057 if (regs_left_to_pass_via_stack == 4 ||
1058 (regs_left_to_pass_via_stack > 4 && (src_is_16b_aligned || dest_is_16b_aligned))) {
1059 // Moving 128-bits via xmm register.
1060 bytes_to_move = sizeof(uint32_t) * 4;
1061
1062 // Allocate a free xmm temp. Since we are working through the calling sequence,
Mark Mendelle87f9b52014-04-30 14:13:18 -04001063 // we expect to have an xmm temporary available. AllocTempDouble will abort if
1064 // there are no free registers.
buzbee2700f7e2014-03-07 09:46:20 -08001065 RegStorage temp = AllocTempDouble();
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001066
1067 LIR* ld1 = nullptr;
1068 LIR* ld2 = nullptr;
1069 LIR* st1 = nullptr;
1070 LIR* st2 = nullptr;
1071
1072 /*
1073 * The logic is similar for both loads and stores. If we have 16-byte alignment,
1074 * do an aligned move. If we have 8-byte alignment, then do the move in two
1075 * parts. This approach prevents possible cache line splits. Finally, fall back
1076 * to doing an unaligned move. In most cases we likely won't split the cache
1077 * line but we cannot prove it and thus take a conservative approach.
1078 */
1079 bool src_is_8b_aligned = (current_src_offset & 0x7) == 0;
1080 bool dest_is_8b_aligned = (current_dest_offset & 0x7) == 0;
1081
1082 if (src_is_16b_aligned) {
1083 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovA128FP);
1084 } else if (src_is_8b_aligned) {
1085 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovLo128FP);
buzbee2700f7e2014-03-07 09:46:20 -08001086 ld2 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset + (bytes_to_move >> 1),
1087 kMovHi128FP);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001088 } else {
1089 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovU128FP);
1090 }
1091
1092 if (dest_is_16b_aligned) {
1093 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovA128FP);
1094 } else if (dest_is_8b_aligned) {
1095 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovLo128FP);
buzbee2700f7e2014-03-07 09:46:20 -08001096 st2 = OpMovMemReg(TargetReg(kSp), current_dest_offset + (bytes_to_move >> 1),
1097 temp, kMovHi128FP);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001098 } else {
1099 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovU128FP);
1100 }
1101
1102 // TODO If we could keep track of aliasing information for memory accesses that are wider
1103 // than 64-bit, we wouldn't need to set up a barrier.
1104 if (ld1 != nullptr) {
1105 if (ld2 != nullptr) {
1106 // For 64-bit load we can actually set up the aliasing information.
1107 AnnotateDalvikRegAccess(ld1, current_src_offset >> 2, true, true);
1108 AnnotateDalvikRegAccess(ld2, (current_src_offset + (bytes_to_move >> 1)) >> 2, true, true);
1109 } else {
1110 // Set barrier for 128-bit load.
1111 SetMemRefType(ld1, true /* is_load */, kDalvikReg);
1112 ld1->u.m.def_mask = ENCODE_ALL;
1113 }
1114 }
1115 if (st1 != nullptr) {
1116 if (st2 != nullptr) {
1117 // For 64-bit store we can actually set up the aliasing information.
1118 AnnotateDalvikRegAccess(st1, current_dest_offset >> 2, false, true);
1119 AnnotateDalvikRegAccess(st2, (current_dest_offset + (bytes_to_move >> 1)) >> 2, false, true);
1120 } else {
1121 // Set barrier for 128-bit store.
1122 SetMemRefType(st1, false /* is_load */, kDalvikReg);
1123 st1->u.m.def_mask = ENCODE_ALL;
1124 }
1125 }
1126
1127 // Free the temporary used for the data movement.
buzbee091cc402014-03-31 10:14:40 -07001128 FreeTemp(temp);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001129 } else {
1130 // Moving 32-bits via general purpose register.
1131 bytes_to_move = sizeof(uint32_t);
1132
1133 // Instead of allocating a new temp, simply reuse one of the registers being used
1134 // for argument passing.
buzbee2700f7e2014-03-07 09:46:20 -08001135 RegStorage temp = TargetReg(kArg3);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001136
1137 // Now load the argument VR and store to the outs.
buzbee695d13a2014-04-19 13:32:20 -07001138 Load32Disp(TargetReg(kSp), current_src_offset, temp);
1139 Store32Disp(TargetReg(kSp), current_dest_offset, temp);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001140 }
1141
1142 current_src_offset += bytes_to_move;
1143 current_dest_offset += bytes_to_move;
1144 regs_left_to_pass_via_stack -= (bytes_to_move >> 2);
1145 }
1146 } else {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001147 // Generate memcpy
1148 OpRegRegImm(kOpAdd, TargetReg(kArg0), TargetReg(kSp), outs_offset);
1149 OpRegRegImm(kOpAdd, TargetReg(kArg1), TargetReg(kSp), start_offset);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001150 if (Is64BitInstructionSet(cu_->instruction_set)) {
1151 CallRuntimeHelperRegRegImm(QUICK_ENTRYPOINT_OFFSET(8, pMemcpy), TargetReg(kArg0),
1152 TargetReg(kArg1), (info->num_arg_words - 3) * 4, false);
1153 } else {
1154 CallRuntimeHelperRegRegImm(QUICK_ENTRYPOINT_OFFSET(4, pMemcpy), TargetReg(kArg0),
1155 TargetReg(kArg1), (info->num_arg_words - 3) * 4, false);
1156 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001157 }
1158
1159 call_state = LoadArgRegs(info, call_state, next_call_insn,
1160 target_method, vtable_idx, direct_code, direct_method,
1161 type, skip_this);
1162
1163 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1164 direct_code, direct_method, type);
1165 if (pcrLabel) {
Dave Allisonf9439142014-03-27 15:10:22 -07001166 if (Runtime::Current()->ExplicitNullChecks()) {
1167 *pcrLabel = GenExplicitNullCheck(TargetReg(kArg1), info->opt_flags);
1168 } else {
1169 *pcrLabel = nullptr;
1170 // In lieu of generating a check for kArg1 being null, we need to
1171 // perform a load when doing implicit checks.
1172 RegStorage tmp = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -07001173 Load32Disp(TargetReg(kArg1), 0, tmp);
Dave Allisonf9439142014-03-27 15:10:22 -07001174 MarkPossibleNullPointerException(info->opt_flags);
1175 FreeTemp(tmp);
1176 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001177 }
1178 return call_state;
1179}
1180
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001181RegLocation Mir2Lir::InlineTarget(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001182 RegLocation res;
1183 if (info->result.location == kLocInvalid) {
buzbeea0cd2d72014-06-01 09:33:49 -07001184 res = GetReturn(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001185 } else {
1186 res = info->result;
1187 }
1188 return res;
1189}
1190
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001191RegLocation Mir2Lir::InlineTargetWide(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001192 RegLocation res;
1193 if (info->result.location == kLocInvalid) {
buzbeea0cd2d72014-06-01 09:33:49 -07001194 res = GetReturnWide(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001195 } else {
1196 res = info->result;
1197 }
1198 return res;
1199}
1200
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001201bool Mir2Lir::GenInlinedCharAt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001202 if (cu_->instruction_set == kMips) {
1203 // TODO - add Mips implementation
1204 return false;
1205 }
1206 // Location of reference to data array
1207 int value_offset = mirror::String::ValueOffset().Int32Value();
1208 // Location of count
1209 int count_offset = mirror::String::CountOffset().Int32Value();
1210 // Starting offset within data array
1211 int offset_offset = mirror::String::OffsetOffset().Int32Value();
1212 // Start of char data with array_
1213 int data_offset = mirror::Array::DataOffset(sizeof(uint16_t)).Int32Value();
1214
1215 RegLocation rl_obj = info->args[0];
1216 RegLocation rl_idx = info->args[1];
buzbeea0cd2d72014-06-01 09:33:49 -07001217 rl_obj = LoadValue(rl_obj, kRefReg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001218 // X86 wants to avoid putting a constant index into a register.
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001219 if (!((cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64)&& rl_idx.is_const)) {
Mark Mendell2b724cb2014-02-06 05:24:20 -08001220 rl_idx = LoadValue(rl_idx, kCoreReg);
1221 }
buzbee2700f7e2014-03-07 09:46:20 -08001222 RegStorage reg_max;
1223 GenNullCheck(rl_obj.reg, info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001224 bool range_check = (!(info->opt_flags & MIR_IGNORE_RANGE_CHECK));
Vladimir Marko3bc86152014-03-13 14:11:28 +00001225 LIR* range_check_branch = nullptr;
buzbee2700f7e2014-03-07 09:46:20 -08001226 RegStorage reg_off;
1227 RegStorage reg_ptr;
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001228 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001229 reg_off = AllocTemp();
buzbeea0cd2d72014-06-01 09:33:49 -07001230 reg_ptr = AllocTempRef();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001231 if (range_check) {
1232 reg_max = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -07001233 Load32Disp(rl_obj.reg, count_offset, reg_max);
Dave Allisonb373e092014-02-20 16:06:36 -08001234 MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001235 }
buzbee695d13a2014-04-19 13:32:20 -07001236 Load32Disp(rl_obj.reg, offset_offset, reg_off);
Dave Allisonb373e092014-02-20 16:06:36 -08001237 MarkPossibleNullPointerException(info->opt_flags);
buzbee695d13a2014-04-19 13:32:20 -07001238 Load32Disp(rl_obj.reg, value_offset, reg_ptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001239 if (range_check) {
Mingyao Yang3a74d152014-04-21 15:39:44 -07001240 // Set up a slow path to allow retry in case of bounds violation */
buzbee2700f7e2014-03-07 09:46:20 -08001241 OpRegReg(kOpCmp, rl_idx.reg, reg_max);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001242 FreeTemp(reg_max);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001243 range_check_branch = OpCondBranch(kCondUge, nullptr);
Brian Carlstrom6f485c62013-07-18 15:35:35 -07001244 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001245 OpRegImm(kOpAdd, reg_ptr, data_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001246 } else {
1247 if (range_check) {
Mark Mendell2b724cb2014-02-06 05:24:20 -08001248 // On x86, we can compare to memory directly
Brian Carlstrom7940e442013-07-12 13:46:57 -07001249 // Set up a launch pad to allow retry in case of bounds violation */
Mark Mendell2b724cb2014-02-06 05:24:20 -08001250 if (rl_idx.is_const) {
Vladimir Marko3bc86152014-03-13 14:11:28 +00001251 range_check_branch = OpCmpMemImmBranch(
buzbee2700f7e2014-03-07 09:46:20 -08001252 kCondUlt, RegStorage::InvalidReg(), rl_obj.reg, count_offset,
Vladimir Marko3bc86152014-03-13 14:11:28 +00001253 mir_graph_->ConstantValue(rl_idx.orig_sreg), nullptr);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001254 } else {
buzbee2700f7e2014-03-07 09:46:20 -08001255 OpRegMem(kOpCmp, rl_idx.reg, rl_obj.reg, count_offset);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001256 range_check_branch = OpCondBranch(kCondUge, nullptr);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001257 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001258 }
1259 reg_off = AllocTemp();
buzbeea0cd2d72014-06-01 09:33:49 -07001260 reg_ptr = AllocTempRef();
buzbee695d13a2014-04-19 13:32:20 -07001261 Load32Disp(rl_obj.reg, offset_offset, reg_off);
buzbeea0cd2d72014-06-01 09:33:49 -07001262 LoadRefDisp(rl_obj.reg, value_offset, reg_ptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001263 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001264 if (rl_idx.is_const) {
1265 OpRegImm(kOpAdd, reg_off, mir_graph_->ConstantValue(rl_idx.orig_sreg));
1266 } else {
buzbee2700f7e2014-03-07 09:46:20 -08001267 OpRegReg(kOpAdd, reg_off, rl_idx.reg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001268 }
buzbee2700f7e2014-03-07 09:46:20 -08001269 FreeTemp(rl_obj.reg);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001270 if (rl_idx.location == kLocPhysReg) {
buzbee2700f7e2014-03-07 09:46:20 -08001271 FreeTemp(rl_idx.reg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001272 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001273 RegLocation rl_dest = InlineTarget(info);
1274 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001275 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
buzbee2700f7e2014-03-07 09:46:20 -08001276 LoadBaseIndexed(reg_ptr, reg_off, rl_result.reg, 1, kUnsignedHalf);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001277 } else {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001278 LoadBaseIndexedDisp(reg_ptr, reg_off, 1, data_offset, rl_result.reg, kUnsignedHalf);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001279 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001280 FreeTemp(reg_off);
1281 FreeTemp(reg_ptr);
1282 StoreValue(rl_dest, rl_result);
1283 if (range_check) {
Vladimir Marko3bc86152014-03-13 14:11:28 +00001284 DCHECK(range_check_branch != nullptr);
1285 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've already null checked.
Mingyao Yang3a74d152014-04-21 15:39:44 -07001286 AddIntrinsicSlowPath(info, range_check_branch);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001287 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001288 return true;
1289}
1290
1291// Generates an inlined String.is_empty or String.length.
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001292bool Mir2Lir::GenInlinedStringIsEmptyOrLength(CallInfo* info, bool is_empty) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001293 if (cu_->instruction_set == kMips) {
1294 // TODO - add Mips implementation
1295 return false;
1296 }
1297 // dst = src.length();
1298 RegLocation rl_obj = info->args[0];
buzbeea0cd2d72014-06-01 09:33:49 -07001299 rl_obj = LoadValue(rl_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001300 RegLocation rl_dest = InlineTarget(info);
1301 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001302 GenNullCheck(rl_obj.reg, info->opt_flags);
buzbee695d13a2014-04-19 13:32:20 -07001303 Load32Disp(rl_obj.reg, mirror::String::CountOffset().Int32Value(), rl_result.reg);
Dave Allisonb373e092014-02-20 16:06:36 -08001304 MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001305 if (is_empty) {
1306 // dst = (dst == 0);
1307 if (cu_->instruction_set == kThumb2) {
buzbee2700f7e2014-03-07 09:46:20 -08001308 RegStorage t_reg = AllocTemp();
1309 OpRegReg(kOpNeg, t_reg, rl_result.reg);
1310 OpRegRegReg(kOpAdc, rl_result.reg, rl_result.reg, t_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001311 } else {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001312 DCHECK(cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64);
buzbee2700f7e2014-03-07 09:46:20 -08001313 OpRegImm(kOpSub, rl_result.reg, 1);
1314 OpRegImm(kOpLsr, rl_result.reg, 31);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001315 }
1316 }
1317 StoreValue(rl_dest, rl_result);
1318 return true;
1319}
1320
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001321bool Mir2Lir::GenInlinedReverseBytes(CallInfo* info, OpSize size) {
1322 if (cu_->instruction_set == kMips) {
1323 // TODO - add Mips implementation
1324 return false;
1325 }
1326 RegLocation rl_src_i = info->args[0];
buzbee695d13a2014-04-19 13:32:20 -07001327 RegLocation rl_dest = (size == k64) ? InlineTargetWide(info) : InlineTarget(info); // result reg
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001328 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee695d13a2014-04-19 13:32:20 -07001329 if (size == k64) {
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001330 RegLocation rl_i = LoadValueWide(rl_src_i, kCoreReg);
buzbee2700f7e2014-03-07 09:46:20 -08001331 RegStorage r_i_low = rl_i.reg.GetLow();
1332 if (rl_i.reg.GetLowReg() == rl_result.reg.GetLowReg()) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001333 // 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 +00001334 r_i_low = AllocTemp();
buzbee2700f7e2014-03-07 09:46:20 -08001335 OpRegCopy(r_i_low, rl_i.reg);
Vladimir Markof246af22013-11-27 12:30:15 +00001336 }
buzbee2700f7e2014-03-07 09:46:20 -08001337 OpRegReg(kOpRev, rl_result.reg.GetLow(), rl_i.reg.GetHigh());
1338 OpRegReg(kOpRev, rl_result.reg.GetHigh(), r_i_low);
1339 if (rl_i.reg.GetLowReg() == rl_result.reg.GetLowReg()) {
Vladimir Markof246af22013-11-27 12:30:15 +00001340 FreeTemp(r_i_low);
1341 }
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001342 StoreValueWide(rl_dest, rl_result);
1343 } else {
buzbee695d13a2014-04-19 13:32:20 -07001344 DCHECK(size == k32 || size == kSignedHalf);
1345 OpKind op = (size == k32) ? kOpRev : kOpRevsh;
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001346 RegLocation rl_i = LoadValue(rl_src_i, kCoreReg);
buzbee2700f7e2014-03-07 09:46:20 -08001347 OpRegReg(op, rl_result.reg, rl_i.reg);
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001348 StoreValue(rl_dest, rl_result);
1349 }
1350 return true;
1351}
1352
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001353bool Mir2Lir::GenInlinedAbsInt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001354 if (cu_->instruction_set == kMips) {
1355 // TODO - add Mips implementation
1356 return false;
1357 }
1358 RegLocation rl_src = info->args[0];
1359 rl_src = LoadValue(rl_src, kCoreReg);
1360 RegLocation rl_dest = InlineTarget(info);
1361 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001362 RegStorage sign_reg = AllocTemp();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001363 // abs(x) = y<=x>>31, (x+y)^y.
buzbee2700f7e2014-03-07 09:46:20 -08001364 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg, 31);
1365 OpRegRegReg(kOpAdd, rl_result.reg, rl_src.reg, sign_reg);
1366 OpRegReg(kOpXor, rl_result.reg, sign_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001367 StoreValue(rl_dest, rl_result);
1368 return true;
1369}
1370
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001371bool Mir2Lir::GenInlinedAbsLong(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001372 if (cu_->instruction_set == kMips) {
1373 // TODO - add Mips implementation
1374 return false;
1375 }
Vladimir Markob9823312014-03-20 17:38:43 +00001376 RegLocation rl_src = info->args[0];
1377 rl_src = LoadValueWide(rl_src, kCoreReg);
1378 RegLocation rl_dest = InlineTargetWide(info);
1379 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1380
1381 // If on x86 or if we would clobber a register needed later, just copy the source first.
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001382 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64 || rl_result.reg.GetLowReg() == rl_src.reg.GetHighReg()) {
buzbee2700f7e2014-03-07 09:46:20 -08001383 OpRegCopyWide(rl_result.reg, rl_src.reg);
1384 if (rl_result.reg.GetLowReg() != rl_src.reg.GetLowReg() &&
1385 rl_result.reg.GetLowReg() != rl_src.reg.GetHighReg() &&
1386 rl_result.reg.GetHighReg() != rl_src.reg.GetLowReg() &&
Vladimir Markob9823312014-03-20 17:38:43 +00001387 rl_result.reg.GetHighReg() != rl_src.reg.GetHighReg()) {
1388 // Reuse source registers to avoid running out of temps.
buzbee2700f7e2014-03-07 09:46:20 -08001389 FreeTemp(rl_src.reg);
Vladimir Markob9823312014-03-20 17:38:43 +00001390 }
1391 rl_src = rl_result;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001392 }
Vladimir Markob9823312014-03-20 17:38:43 +00001393
1394 // abs(x) = y<=x>>31, (x+y)^y.
buzbee2700f7e2014-03-07 09:46:20 -08001395 RegStorage sign_reg = AllocTemp();
1396 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg.GetHigh(), 31);
1397 OpRegRegReg(kOpAdd, rl_result.reg.GetLow(), rl_src.reg.GetLow(), sign_reg);
1398 OpRegRegReg(kOpAdc, rl_result.reg.GetHigh(), rl_src.reg.GetHigh(), sign_reg);
1399 OpRegReg(kOpXor, rl_result.reg.GetLow(), sign_reg);
1400 OpRegReg(kOpXor, rl_result.reg.GetHigh(), sign_reg);
buzbee082833c2014-05-17 23:16:26 -07001401 FreeTemp(sign_reg);
Vladimir Markob9823312014-03-20 17:38:43 +00001402 StoreValueWide(rl_dest, rl_result);
1403 return true;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001404}
1405
Yixin Shoudbb17e32014-02-07 05:09:30 -08001406bool Mir2Lir::GenInlinedAbsFloat(CallInfo* info) {
1407 if (cu_->instruction_set == kMips) {
1408 // TODO - add Mips implementation
1409 return false;
1410 }
1411 RegLocation rl_src = info->args[0];
1412 rl_src = LoadValue(rl_src, kCoreReg);
1413 RegLocation rl_dest = InlineTarget(info);
1414 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001415 OpRegRegImm(kOpAnd, rl_result.reg, rl_src.reg, 0x7fffffff);
Yixin Shoudbb17e32014-02-07 05:09:30 -08001416 StoreValue(rl_dest, rl_result);
1417 return true;
1418}
1419
1420bool Mir2Lir::GenInlinedAbsDouble(CallInfo* info) {
1421 if (cu_->instruction_set == kMips) {
1422 // TODO - add Mips implementation
1423 return false;
1424 }
1425 RegLocation rl_src = info->args[0];
1426 rl_src = LoadValueWide(rl_src, kCoreReg);
1427 RegLocation rl_dest = InlineTargetWide(info);
1428 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001429 OpRegCopyWide(rl_result.reg, rl_src.reg);
1430 OpRegImm(kOpAnd, rl_result.reg.GetHigh(), 0x7fffffff);
Yixin Shoudbb17e32014-02-07 05:09:30 -08001431 StoreValueWide(rl_dest, rl_result);
1432 return true;
1433}
1434
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001435bool Mir2Lir::GenInlinedFloatCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001436 if (cu_->instruction_set == kMips) {
1437 // TODO - add Mips implementation
1438 return false;
1439 }
1440 RegLocation rl_src = info->args[0];
1441 RegLocation rl_dest = InlineTarget(info);
1442 StoreValue(rl_dest, rl_src);
1443 return true;
1444}
1445
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001446bool Mir2Lir::GenInlinedDoubleCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001447 if (cu_->instruction_set == kMips) {
1448 // TODO - add Mips implementation
1449 return false;
1450 }
1451 RegLocation rl_src = info->args[0];
1452 RegLocation rl_dest = InlineTargetWide(info);
1453 StoreValueWide(rl_dest, rl_src);
1454 return true;
1455}
1456
1457/*
Vladimir Marko3bc86152014-03-13 14:11:28 +00001458 * Fast String.indexOf(I) & (II). Tests for simple case of char <= 0xFFFF,
Brian Carlstrom7940e442013-07-12 13:46:57 -07001459 * otherwise bails to standard library code.
1460 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001461bool Mir2Lir::GenInlinedIndexOf(CallInfo* info, bool zero_based) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001462 if (cu_->instruction_set == kMips) {
1463 // TODO - add Mips implementation
1464 return false;
1465 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001466 RegLocation rl_obj = info->args[0];
1467 RegLocation rl_char = info->args[1];
1468 if (rl_char.is_const && (mir_graph_->ConstantValue(rl_char) & ~0xFFFF) != 0) {
1469 // Code point beyond 0xFFFF. Punt to the real String.indexOf().
1470 return false;
1471 }
1472
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001473 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001474 LockCallTemps(); // Using fixed registers
buzbee2700f7e2014-03-07 09:46:20 -08001475 RegStorage reg_ptr = TargetReg(kArg0);
1476 RegStorage reg_char = TargetReg(kArg1);
1477 RegStorage reg_start = TargetReg(kArg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001478
Brian Carlstrom7940e442013-07-12 13:46:57 -07001479 LoadValueDirectFixed(rl_obj, reg_ptr);
1480 LoadValueDirectFixed(rl_char, reg_char);
1481 if (zero_based) {
1482 LoadConstant(reg_start, 0);
1483 } else {
buzbeea44d4f52014-03-05 11:26:39 -08001484 RegLocation rl_start = info->args[2]; // 3rd arg only present in III flavor of IndexOf.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001485 LoadValueDirectFixed(rl_start, reg_start);
1486 }
Andreas Gampe2f244e92014-05-08 03:35:25 -07001487 RegStorage r_tgt = Is64BitInstructionSet(cu_->instruction_set) ?
1488 LoadHelper(QUICK_ENTRYPOINT_OFFSET(8, pIndexOf)) :
1489 LoadHelper(QUICK_ENTRYPOINT_OFFSET(4, pIndexOf));
Dave Allisonf9439142014-03-27 15:10:22 -07001490 GenExplicitNullCheck(reg_ptr, info->opt_flags);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001491 LIR* high_code_point_branch =
1492 rl_char.is_const ? nullptr : OpCmpImmBranch(kCondGt, reg_char, 0xFFFF, nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001493 // NOTE: not a safepoint
Mark Mendell4028a6c2014-02-19 20:06:20 -08001494 OpReg(kOpBlx, r_tgt);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001495 if (!rl_char.is_const) {
1496 // Add the slow path for code points beyond 0xFFFF.
1497 DCHECK(high_code_point_branch != nullptr);
1498 LIR* resume_tgt = NewLIR0(kPseudoTargetLabel);
1499 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've null checked.
Mingyao Yang3a74d152014-04-21 15:39:44 -07001500 AddIntrinsicSlowPath(info, high_code_point_branch, resume_tgt);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001501 } else {
1502 DCHECK_EQ(mir_graph_->ConstantValue(rl_char) & ~0xFFFF, 0);
1503 DCHECK(high_code_point_branch == nullptr);
1504 }
buzbeea0cd2d72014-06-01 09:33:49 -07001505 RegLocation rl_return = GetReturn(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001506 RegLocation rl_dest = InlineTarget(info);
1507 StoreValue(rl_dest, rl_return);
1508 return true;
1509}
1510
1511/* Fast string.compareTo(Ljava/lang/string;)I. */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001512bool Mir2Lir::GenInlinedStringCompareTo(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001513 if (cu_->instruction_set == kMips) {
1514 // TODO - add Mips implementation
1515 return false;
1516 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001517 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001518 LockCallTemps(); // Using fixed registers
buzbee2700f7e2014-03-07 09:46:20 -08001519 RegStorage reg_this = TargetReg(kArg0);
1520 RegStorage reg_cmp = TargetReg(kArg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001521
1522 RegLocation rl_this = info->args[0];
1523 RegLocation rl_cmp = info->args[1];
1524 LoadValueDirectFixed(rl_this, reg_this);
1525 LoadValueDirectFixed(rl_cmp, reg_cmp);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001526 RegStorage r_tgt;
1527 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
1528 if (Is64BitInstructionSet(cu_->instruction_set)) {
1529 r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(8, pStringCompareTo));
1530 } else {
1531 r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(4, pStringCompareTo));
1532 }
1533 } else {
1534 r_tgt = RegStorage::InvalidReg();
1535 }
Dave Allisonf9439142014-03-27 15:10:22 -07001536 GenExplicitNullCheck(reg_this, info->opt_flags);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001537 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've null checked.
Brian Carlstrom7934ac22013-07-26 10:54:15 -07001538 // TUNING: check if rl_cmp.s_reg_low is already null checked
Vladimir Marko3bc86152014-03-13 14:11:28 +00001539 LIR* cmp_null_check_branch = OpCmpImmBranch(kCondEq, reg_cmp, 0, nullptr);
Mingyao Yang3a74d152014-04-21 15:39:44 -07001540 AddIntrinsicSlowPath(info, cmp_null_check_branch);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001541 // NOTE: not a safepoint
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001542 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001543 OpReg(kOpBlx, r_tgt);
1544 } else {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001545 if (Is64BitInstructionSet(cu_->instruction_set)) {
1546 OpThreadMem(kOpBlx, QUICK_ENTRYPOINT_OFFSET(8, pStringCompareTo));
1547 } else {
1548 OpThreadMem(kOpBlx, QUICK_ENTRYPOINT_OFFSET(4, pStringCompareTo));
1549 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001550 }
buzbeea0cd2d72014-06-01 09:33:49 -07001551 RegLocation rl_return = GetReturn(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001552 RegLocation rl_dest = InlineTarget(info);
1553 StoreValue(rl_dest, rl_return);
1554 return true;
1555}
1556
1557bool Mir2Lir::GenInlinedCurrentThread(CallInfo* info) {
1558 RegLocation rl_dest = InlineTarget(info);
1559 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001560
1561 switch (cu_->instruction_set) {
1562 case kArm:
1563 // Fall-through.
1564 case kThumb2:
1565 // Fall-through.
1566 case kMips:
1567 Load32Disp(TargetReg(kSelf), Thread::PeerOffset<4>().Int32Value(), rl_result.reg);
1568 break;
1569
1570 case kArm64:
1571 Load32Disp(TargetReg(kSelf), Thread::PeerOffset<8>().Int32Value(), rl_result.reg);
1572 break;
1573
1574 case kX86:
1575 reinterpret_cast<X86Mir2Lir*>(this)->OpRegThreadMem(kOpMov, rl_result.reg,
1576 Thread::PeerOffset<4>());
1577 break;
1578
1579 case kX86_64:
1580 reinterpret_cast<X86Mir2Lir*>(this)->OpRegThreadMem(kOpMov, rl_result.reg,
1581 Thread::PeerOffset<8>());
1582 break;
1583
1584 default:
1585 LOG(FATAL) << "Unexpected isa " << cu_->instruction_set;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001586 }
1587 StoreValue(rl_dest, rl_result);
1588 return true;
1589}
1590
1591bool Mir2Lir::GenInlinedUnsafeGet(CallInfo* info,
1592 bool is_long, bool is_volatile) {
1593 if (cu_->instruction_set == kMips) {
1594 // TODO - add Mips implementation
1595 return false;
1596 }
1597 // Unused - RegLocation rl_src_unsafe = info->args[0];
1598 RegLocation rl_src_obj = info->args[1]; // Object
1599 RegLocation rl_src_offset = info->args[2]; // long low
buzbee2700f7e2014-03-07 09:46:20 -08001600 rl_src_offset = NarrowRegLoc(rl_src_offset); // ignore high half in info->args[3]
Mark Mendell55d0eac2014-02-06 11:02:52 -08001601 RegLocation rl_dest = is_long ? InlineTargetWide(info) : InlineTarget(info); // result reg
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001602
buzbeea0cd2d72014-06-01 09:33:49 -07001603 RegLocation rl_object = LoadValue(rl_src_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001604 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1605 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1606 if (is_long) {
Dmitry Petrochenko9bf549d2014-05-12 11:14:46 +07001607 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001608 LoadBaseIndexedDisp(rl_object.reg, rl_offset.reg, 0, 0, rl_result.reg, k64);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001609 } else {
1610 RegStorage rl_temp_offset = AllocTemp();
1611 OpRegRegReg(kOpAdd, rl_temp_offset, rl_object.reg, rl_offset.reg);
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001612 LoadBaseDisp(rl_temp_offset, 0, rl_result.reg, k64);
buzbee091cc402014-03-31 10:14:40 -07001613 FreeTemp(rl_temp_offset);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001614 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001615 } else {
buzbee695d13a2014-04-19 13:32:20 -07001616 LoadBaseIndexed(rl_object.reg, rl_offset.reg, rl_result.reg, 0, k32);
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001617 }
1618
1619 if (is_volatile) {
1620 // Without context sensitive analysis, we must issue the most conservative barriers.
1621 // In this case, either a load or store may follow so we issue both barriers.
1622 GenMemBarrier(kLoadLoad);
1623 GenMemBarrier(kLoadStore);
1624 }
1625
1626 if (is_long) {
1627 StoreValueWide(rl_dest, rl_result);
1628 } else {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001629 StoreValue(rl_dest, rl_result);
1630 }
1631 return true;
1632}
1633
1634bool Mir2Lir::GenInlinedUnsafePut(CallInfo* info, bool is_long,
1635 bool is_object, bool is_volatile, bool is_ordered) {
1636 if (cu_->instruction_set == kMips) {
1637 // TODO - add Mips implementation
1638 return false;
1639 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001640 // Unused - RegLocation rl_src_unsafe = info->args[0];
1641 RegLocation rl_src_obj = info->args[1]; // Object
1642 RegLocation rl_src_offset = info->args[2]; // long low
buzbee2700f7e2014-03-07 09:46:20 -08001643 rl_src_offset = NarrowRegLoc(rl_src_offset); // ignore high half in info->args[3]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001644 RegLocation rl_src_value = info->args[4]; // value to store
1645 if (is_volatile || is_ordered) {
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001646 // There might have been a store before this volatile one so insert StoreStore barrier.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001647 GenMemBarrier(kStoreStore);
1648 }
buzbeea0cd2d72014-06-01 09:33:49 -07001649 RegLocation rl_object = LoadValue(rl_src_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001650 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1651 RegLocation rl_value;
1652 if (is_long) {
1653 rl_value = LoadValueWide(rl_src_value, kCoreReg);
Dmitry Petrochenko9bf549d2014-05-12 11:14:46 +07001654 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001655 StoreBaseIndexedDisp(rl_object.reg, rl_offset.reg, 0, 0, rl_value.reg, k64);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001656 } else {
1657 RegStorage rl_temp_offset = AllocTemp();
1658 OpRegRegReg(kOpAdd, rl_temp_offset, rl_object.reg, rl_offset.reg);
Vladimir Marko455759b2014-05-06 20:49:36 +01001659 StoreBaseDisp(rl_temp_offset, 0, rl_value.reg, k64);
buzbee091cc402014-03-31 10:14:40 -07001660 FreeTemp(rl_temp_offset);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001661 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001662 } else {
buzbeea0cd2d72014-06-01 09:33:49 -07001663 rl_value = LoadValue(rl_src_value);
buzbee695d13a2014-04-19 13:32:20 -07001664 StoreBaseIndexed(rl_object.reg, rl_offset.reg, rl_value.reg, 0, k32);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001665 }
Mark Mendelldf8ee2e2014-01-27 16:37:47 -08001666
1667 // Free up the temp early, to ensure x86 doesn't run out of temporaries in MarkGCCard.
buzbee091cc402014-03-31 10:14:40 -07001668 FreeTemp(rl_offset.reg);
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001669
Brian Carlstrom7940e442013-07-12 13:46:57 -07001670 if (is_volatile) {
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001671 // A load might follow the volatile store so insert a StoreLoad barrier.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001672 GenMemBarrier(kStoreLoad);
1673 }
1674 if (is_object) {
buzbee2700f7e2014-03-07 09:46:20 -08001675 MarkGCCard(rl_value.reg, rl_object.reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001676 }
1677 return true;
1678}
1679
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001680void Mir2Lir::GenInvoke(CallInfo* info) {
Vladimir Marko9820b7c2014-01-02 16:40:37 +00001681 if ((info->opt_flags & MIR_INLINED) != 0) {
1682 // Already inlined but we may still need the null check.
1683 if (info->type != kStatic &&
1684 ((cu_->disable_opt & (1 << kNullCheckElimination)) != 0 ||
1685 (info->opt_flags & MIR_IGNORE_NULL_CHECK) == 0)) {
buzbeea0cd2d72014-06-01 09:33:49 -07001686 RegLocation rl_obj = LoadValue(info->args[0], kRefReg);
Mingyao Yange643a172014-04-08 11:02:52 -07001687 GenNullCheck(rl_obj.reg);
Vladimir Marko9820b7c2014-01-02 16:40:37 +00001688 }
1689 return;
1690 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001691 DCHECK(cu_->compiler_driver->GetMethodInlinerMap() != nullptr);
Dmitry Petrochenko4c800432014-05-08 12:20:24 +07001692 // TODO: Enable instrinsics for x86_64
1693 // Temporary disable intrinsics for x86_64. We will enable them later step by step.
1694 if (cu_->instruction_set != kX86_64) {
1695 if (cu_->compiler_driver->GetMethodInlinerMap()->GetMethodInliner(cu_->dex_file)
1696 ->GenIntrinsic(this, info)) {
1697 return;
1698 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001699 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001700 GenInvokeNoInline(info);
1701}
1702
Andreas Gampe2f244e92014-05-08 03:35:25 -07001703template <size_t pointer_size>
1704static LIR* GenInvokeNoInlineCall(Mir2Lir* mir_to_lir, InvokeType type) {
1705 ThreadOffset<pointer_size> trampoline(-1);
1706 switch (type) {
1707 case kInterface:
1708 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeInterfaceTrampolineWithAccessCheck);
1709 break;
1710 case kDirect:
1711 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeDirectTrampolineWithAccessCheck);
1712 break;
1713 case kStatic:
1714 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeStaticTrampolineWithAccessCheck);
1715 break;
1716 case kSuper:
1717 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeSuperTrampolineWithAccessCheck);
1718 break;
1719 case kVirtual:
1720 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeVirtualTrampolineWithAccessCheck);
1721 break;
1722 default:
1723 LOG(FATAL) << "Unexpected invoke type";
1724 }
1725 return mir_to_lir->OpThreadMem(kOpBlx, trampoline);
1726}
1727
Vladimir Marko3bc86152014-03-13 14:11:28 +00001728void Mir2Lir::GenInvokeNoInline(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001729 int call_state = 0;
1730 LIR* null_ck;
1731 LIR** p_null_ck = NULL;
1732 NextCallInsn next_call_insn;
1733 FlushAllRegs(); /* Everything to home location */
1734 // Explicit register usage
1735 LockCallTemps();
1736
Vladimir Markof096aad2014-01-23 15:51:58 +00001737 const MirMethodLoweringInfo& method_info = mir_graph_->GetMethodLoweringInfo(info->mir);
1738 cu_->compiler_driver->ProcessedInvoke(method_info.GetInvokeType(), method_info.StatsFlags());
Mark Mendelle87f9b52014-04-30 14:13:18 -04001739 BeginInvoke(info);
Vladimir Markof096aad2014-01-23 15:51:58 +00001740 InvokeType original_type = static_cast<InvokeType>(method_info.GetInvokeType());
1741 info->type = static_cast<InvokeType>(method_info.GetSharpType());
1742 bool fast_path = method_info.FastPath();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001743 bool skip_this;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001744 if (info->type == kInterface) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001745 next_call_insn = fast_path ? NextInterfaceCallInsn : NextInterfaceCallInsnWithAccessCheck;
Jeff Hao88474b42013-10-23 16:24:40 -07001746 skip_this = fast_path;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001747 } else if (info->type == kDirect) {
1748 if (fast_path) {
1749 p_null_ck = &null_ck;
1750 }
1751 next_call_insn = fast_path ? NextSDCallInsn : NextDirectCallInsnSP;
1752 skip_this = false;
1753 } else if (info->type == kStatic) {
1754 next_call_insn = fast_path ? NextSDCallInsn : NextStaticCallInsnSP;
1755 skip_this = false;
1756 } else if (info->type == kSuper) {
1757 DCHECK(!fast_path); // Fast path is a direct call.
1758 next_call_insn = NextSuperCallInsnSP;
1759 skip_this = false;
1760 } else {
1761 DCHECK_EQ(info->type, kVirtual);
1762 next_call_insn = fast_path ? NextVCallInsn : NextVCallInsnSP;
1763 skip_this = fast_path;
1764 }
Vladimir Markof096aad2014-01-23 15:51:58 +00001765 MethodReference target_method = method_info.GetTargetMethod();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001766 if (!info->is_range) {
1767 call_state = GenDalvikArgsNoRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001768 next_call_insn, target_method, method_info.VTableIndex(),
1769 method_info.DirectCode(), method_info.DirectMethod(),
Brian Carlstrom7940e442013-07-12 13:46:57 -07001770 original_type, skip_this);
1771 } else {
1772 call_state = GenDalvikArgsRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001773 next_call_insn, target_method, method_info.VTableIndex(),
1774 method_info.DirectCode(), method_info.DirectMethod(),
1775 original_type, skip_this);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001776 }
1777 // Finish up any of the call sequence not interleaved in arg loading
1778 while (call_state >= 0) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001779 call_state = next_call_insn(cu_, info, call_state, target_method, method_info.VTableIndex(),
1780 method_info.DirectCode(), method_info.DirectMethod(), original_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001781 }
1782 LIR* call_inst;
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001783 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001784 call_inst = OpReg(kOpBlx, TargetReg(kInvokeTgt));
1785 } else {
Jeff Hao88474b42013-10-23 16:24:40 -07001786 if (fast_path) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001787 if (method_info.DirectCode() == static_cast<uintptr_t>(-1)) {
Mark Mendell55d0eac2014-02-06 11:02:52 -08001788 // We can have the linker fixup a call relative.
1789 call_inst =
Jeff Hao49161ce2014-03-12 11:05:25 -07001790 reinterpret_cast<X86Mir2Lir*>(this)->CallWithLinkerFixup(target_method, info->type);
Mark Mendell55d0eac2014-02-06 11:02:52 -08001791 } else {
1792 call_inst = OpMem(kOpBlx, TargetReg(kArg0),
1793 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value());
1794 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001795 } else {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001796 // TODO: Extract?
1797 if (Is64BitInstructionSet(cu_->instruction_set)) {
1798 call_inst = GenInvokeNoInlineCall<8>(this, info->type);
1799 } else {
Andreas Gampe3ec5da22014-05-12 18:43:28 -07001800 call_inst = GenInvokeNoInlineCall<4>(this, info->type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001801 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001802 }
1803 }
Mark Mendelle87f9b52014-04-30 14:13:18 -04001804 EndInvoke(info);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001805 MarkSafepointPC(call_inst);
1806
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001807 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001808 if (info->result.location != kLocInvalid) {
1809 // We have a following MOVE_RESULT - do it now.
1810 if (info->result.wide) {
buzbeea0cd2d72014-06-01 09:33:49 -07001811 RegLocation ret_loc = GetReturnWide(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001812 StoreValueWide(info->result, ret_loc);
1813 } else {
buzbeea0cd2d72014-06-01 09:33:49 -07001814 RegLocation ret_loc = GetReturn(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001815 StoreValue(info->result, ret_loc);
1816 }
1817 }
1818}
1819
1820} // namespace art