blob: 7a415a21f1622cd63d869d4ee25475e9cf87d04d [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));
Zheng Xu2d41a652014-06-09 11:05:31 +0800280 } else if (cu_->instruction_set == kArm64) {
281 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg1) : TargetReg(kArg1));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700282 } else {
283 LoadValueDirectFixed(arg1, TargetReg(kArg1));
284 }
285 } else {
286 if (cu_->instruction_set == kMips) {
buzbee2700f7e2014-03-07 09:46:20 -0800287 RegStorage r_tmp;
288 if (arg1.fp) {
289 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg2), TargetReg(kFArg3));
290 } else {
291 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
292 }
293 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700294 } else {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700295 RegStorage r_tmp;
296 if (cu_->instruction_set == kX86_64) {
297 r_tmp = RegStorage::Solo64(TargetReg(kArg1).GetReg());
298 } else {
299 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
300 }
buzbee2700f7e2014-03-07 09:46:20 -0800301 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700302 }
303 }
304 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800305 RegStorage r_tmp;
306 if (arg0.fp) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700307 if (cu_->instruction_set == kX86_64) {
308 r_tmp = RegStorage::FloatSolo64(TargetReg(kFArg0).GetReg());
309 } else {
310 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg0), TargetReg(kFArg1));
311 }
buzbee2700f7e2014-03-07 09:46:20 -0800312 } else {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700313 if (cu_->instruction_set == kX86_64) {
314 r_tmp = RegStorage::Solo64(TargetReg(kArg0).GetReg());
315 } else {
316 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg0), TargetReg(kArg1));
317 }
buzbee2700f7e2014-03-07 09:46:20 -0800318 }
319 LoadValueDirectWideFixed(arg0, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700320 if (arg1.wide == 0) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700321 if (cu_->instruction_set == kX86_64) {
322 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg1) : TargetReg(kArg1));
323 } else {
324 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg2));
325 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700326 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800327 RegStorage r_tmp;
328 if (arg1.fp) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700329 if (cu_->instruction_set == kX86_64) {
330 r_tmp = RegStorage::FloatSolo64(TargetReg(kFArg1).GetReg());
331 } else {
332 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg2), TargetReg(kFArg3));
333 }
buzbee2700f7e2014-03-07 09:46:20 -0800334 } else {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700335 if (cu_->instruction_set == kX86_64) {
336 r_tmp = RegStorage::Solo64(TargetReg(kArg1).GetReg());
337 } else {
338 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
339 }
buzbee2700f7e2014-03-07 09:46:20 -0800340 }
341 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700342 }
343 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000344 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700345 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700346}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700347INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationRegLocation, RegLocation arg0,
348 RegLocation arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700349
Mingyao Yang80365d92014-04-18 12:10:58 -0700350void Mir2Lir::CopyToArgumentRegs(RegStorage arg0, RegStorage arg1) {
351 if (arg1.GetReg() == TargetReg(kArg0).GetReg()) {
352 if (arg0.GetReg() == TargetReg(kArg1).GetReg()) {
353 // Swap kArg0 and kArg1 with kArg2 as temp.
354 OpRegCopy(TargetReg(kArg2), arg1);
355 OpRegCopy(TargetReg(kArg0), arg0);
356 OpRegCopy(TargetReg(kArg1), TargetReg(kArg2));
357 } else {
358 OpRegCopy(TargetReg(kArg1), arg1);
359 OpRegCopy(TargetReg(kArg0), arg0);
360 }
361 } else {
362 OpRegCopy(TargetReg(kArg0), arg0);
363 OpRegCopy(TargetReg(kArg1), arg1);
364 }
365}
366
Andreas Gampe2f244e92014-05-08 03:35:25 -0700367template <size_t pointer_size>
368void Mir2Lir::CallRuntimeHelperRegReg(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800369 RegStorage arg1, bool safepoint_pc) {
370 RegStorage r_tgt = CallHelperSetup(helper_offset);
Mingyao Yang80365d92014-04-18 12:10:58 -0700371 CopyToArgumentRegs(arg0, arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000372 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700373 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700374}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700375INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegReg, RegStorage arg0, RegStorage arg1,
376 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700377
Andreas Gampe2f244e92014-05-08 03:35:25 -0700378template <size_t pointer_size>
379void Mir2Lir::CallRuntimeHelperRegRegImm(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800380 RegStorage arg1, int arg2, bool safepoint_pc) {
381 RegStorage r_tgt = CallHelperSetup(helper_offset);
Mingyao Yang80365d92014-04-18 12:10:58 -0700382 CopyToArgumentRegs(arg0, arg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700383 LoadConstant(TargetReg(kArg2), arg2);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000384 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700385 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700386}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700387INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegRegImm, RegStorage arg0, RegStorage arg1, int arg2,
388 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700389
Andreas Gampe2f244e92014-05-08 03:35:25 -0700390template <size_t pointer_size>
391void Mir2Lir::CallRuntimeHelperImmMethodRegLocation(ThreadOffset<pointer_size> helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700392 int arg0, RegLocation arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800393 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700394 LoadValueDirectFixed(arg2, TargetReg(kArg2));
395 LoadCurrMethodDirect(TargetReg(kArg1));
396 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000397 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700398 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700399}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700400INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethodRegLocation, int arg0, RegLocation arg2,
401 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700402
Andreas Gampe2f244e92014-05-08 03:35:25 -0700403template <size_t pointer_size>
404void Mir2Lir::CallRuntimeHelperImmMethodImm(ThreadOffset<pointer_size> helper_offset, int arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700405 int arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800406 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700407 LoadCurrMethodDirect(TargetReg(kArg1));
408 LoadConstant(TargetReg(kArg2), arg2);
409 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000410 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700411 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700412}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700413INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethodImm, int arg0, int arg2, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700414
Andreas Gampe2f244e92014-05-08 03:35:25 -0700415template <size_t pointer_size>
416void Mir2Lir::CallRuntimeHelperImmRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700417 int arg0, RegLocation arg1,
418 RegLocation arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800419 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe2f244e92014-05-08 03:35:25 -0700420 DCHECK_EQ(static_cast<unsigned int>(arg1.wide), 0U); // The static_cast works around an
421 // instantiation bug in GCC.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700422 LoadValueDirectFixed(arg1, TargetReg(kArg1));
423 if (arg2.wide == 0) {
424 LoadValueDirectFixed(arg2, TargetReg(kArg2));
425 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800426 RegStorage r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
427 LoadValueDirectWideFixed(arg2, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700428 }
429 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000430 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700431 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700432}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700433INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmRegLocationRegLocation, int arg0, RegLocation arg1,
434 RegLocation arg2, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700435
Andreas Gampe2f244e92014-05-08 03:35:25 -0700436template <size_t pointer_size>
437void Mir2Lir::CallRuntimeHelperRegLocationRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Ian Rogersa9a82542013-10-04 11:17:26 -0700438 RegLocation arg0, RegLocation arg1,
439 RegLocation arg2,
440 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800441 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe2f244e92014-05-08 03:35:25 -0700442 DCHECK_EQ(static_cast<unsigned int>(arg0.wide), 0U);
Ian Rogersa9a82542013-10-04 11:17:26 -0700443 LoadValueDirectFixed(arg0, TargetReg(kArg0));
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(arg1, TargetReg(kArg1));
Andreas Gampe2f244e92014-05-08 03:35:25 -0700446 DCHECK_EQ(static_cast<unsigned int>(arg1.wide), 0U);
Ian Rogersa9a82542013-10-04 11:17:26 -0700447 LoadValueDirectFixed(arg2, TargetReg(kArg2));
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000448 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700449 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Ian Rogersa9a82542013-10-04 11:17:26 -0700450}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700451INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationRegLocationRegLocation, RegLocation arg0,
452 RegLocation arg1, RegLocation arg2, bool safepoint_pc)
Ian Rogersa9a82542013-10-04 11:17:26 -0700453
Brian Carlstrom7940e442013-07-12 13:46:57 -0700454/*
455 * If there are any ins passed in registers that have not been promoted
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100456 * to a callee-save register, flush them to the frame. Perform initial
Brian Carlstrom7940e442013-07-12 13:46:57 -0700457 * assignment of promoted arguments.
458 *
459 * ArgLocs is an array of location records describing the incoming arguments
460 * with one location record per word of argument.
461 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700462void Mir2Lir::FlushIns(RegLocation* ArgLocs, RegLocation rl_method) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700463 /*
Zheng Xu511c8a62014-06-03 16:22:23 +0800464 * Dummy up a RegLocation for the incoming StackReference<mirror::ArtMethod>
Brian Carlstrom7940e442013-07-12 13:46:57 -0700465 * It will attempt to keep kArg0 live (or copy it to home location
466 * if promoted).
467 */
468 RegLocation rl_src = rl_method;
469 rl_src.location = kLocPhysReg;
buzbee2700f7e2014-03-07 09:46:20 -0800470 rl_src.reg = TargetReg(kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700471 rl_src.home = false;
buzbee091cc402014-03-31 10:14:40 -0700472 MarkLive(rl_src);
buzbeef2c3e562014-05-29 12:37:25 -0700473 StoreValue(rl_method, rl_src);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700474 // If Method* has been promoted, explicitly flush
475 if (rl_method.location == kLocPhysReg) {
buzbeef2c3e562014-05-29 12:37:25 -0700476 StoreRefDisp(TargetReg(kSp), 0, TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700477 }
478
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800479 if (cu_->num_ins == 0) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700480 return;
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800481 }
482
Brian Carlstrom7940e442013-07-12 13:46:57 -0700483 int start_vreg = cu_->num_dalvik_registers - cu_->num_ins;
484 /*
485 * Copy incoming arguments to their proper home locations.
486 * NOTE: an older version of dx had an issue in which
487 * it would reuse static method argument registers.
488 * This could result in the same Dalvik virtual register
489 * being promoted to both core and fp regs. To account for this,
490 * we only copy to the corresponding promoted physical register
491 * if it matches the type of the SSA name for the incoming
492 * argument. It is also possible that long and double arguments
493 * end up half-promoted. In those cases, we must flush the promoted
494 * half to memory as well.
495 */
496 for (int i = 0; i < cu_->num_ins; i++) {
497 PromotionMap* v_map = &promotion_map_[start_vreg + i];
buzbee2700f7e2014-03-07 09:46:20 -0800498 RegStorage reg = GetArgMappingToPhysicalReg(i);
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800499
buzbee2700f7e2014-03-07 09:46:20 -0800500 if (reg.Valid()) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700501 // If arriving in register
502 bool need_flush = true;
503 RegLocation* t_loc = &ArgLocs[i];
504 if ((v_map->core_location == kLocPhysReg) && !t_loc->fp) {
buzbee2700f7e2014-03-07 09:46:20 -0800505 OpRegCopy(RegStorage::Solo32(v_map->core_reg), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700506 need_flush = false;
507 } else if ((v_map->fp_location == kLocPhysReg) && t_loc->fp) {
buzbee2700f7e2014-03-07 09:46:20 -0800508 OpRegCopy(RegStorage::Solo32(v_map->FpReg), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700509 need_flush = false;
510 } else {
511 need_flush = true;
512 }
513
buzbeed0a03b82013-09-14 08:21:05 -0700514 // For wide args, force flush if not fully promoted
Brian Carlstrom7940e442013-07-12 13:46:57 -0700515 if (t_loc->wide) {
516 PromotionMap* p_map = v_map + (t_loc->high_word ? -1 : +1);
buzbeed0a03b82013-09-14 08:21:05 -0700517 // Is only half promoted?
Brian Carlstrom7940e442013-07-12 13:46:57 -0700518 need_flush |= (p_map->core_location != v_map->core_location) ||
519 (p_map->fp_location != v_map->fp_location);
buzbeed0a03b82013-09-14 08:21:05 -0700520 if ((cu_->instruction_set == kThumb2) && t_loc->fp && !need_flush) {
521 /*
522 * In Arm, a double is represented as a pair of consecutive single float
523 * registers starting at an even number. It's possible that both Dalvik vRegs
524 * representing the incoming double were independently promoted as singles - but
525 * not in a form usable as a double. If so, we need to flush - even though the
526 * incoming arg appears fully in register. At this point in the code, both
527 * halves of the double are promoted. Make sure they are in a usable form.
528 */
529 int lowreg_index = start_vreg + i + (t_loc->high_word ? -1 : 0);
530 int low_reg = promotion_map_[lowreg_index].FpReg;
531 int high_reg = promotion_map_[lowreg_index + 1].FpReg;
532 if (((low_reg & 0x1) != 0) || (high_reg != (low_reg + 1))) {
533 need_flush = true;
534 }
535 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700536 }
537 if (need_flush) {
buzbee695d13a2014-04-19 13:32:20 -0700538 Store32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700539 }
540 } else {
541 // If arriving in frame & promoted
542 if (v_map->core_location == kLocPhysReg) {
buzbee695d13a2014-04-19 13:32:20 -0700543 Load32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), RegStorage::Solo32(v_map->core_reg));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700544 }
545 if (v_map->fp_location == kLocPhysReg) {
buzbee695d13a2014-04-19 13:32:20 -0700546 Load32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), RegStorage::Solo32(v_map->FpReg));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700547 }
548 }
549 }
550}
551
552/*
553 * Bit of a hack here - in the absence of a real scheduling pass,
554 * emit the next instruction in static & direct invoke sequences.
555 */
556static int NextSDCallInsn(CompilationUnit* cu, CallInfo* info,
557 int state, const MethodReference& target_method,
558 uint32_t unused,
559 uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700560 InvokeType type) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700561 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700562 if (direct_code != 0 && direct_method != 0) {
563 switch (state) {
564 case 0: // Get the current Method* [sets kArg0]
Ian Rogersff093b32014-04-30 19:04:27 -0700565 if (direct_code != static_cast<uintptr_t>(-1)) {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700566 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Ian Rogers83883d72013-10-21 21:07:24 -0700567 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
568 }
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700569 } else if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Jeff Hao49161ce2014-03-12 11:05:25 -0700570 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700571 }
Ian Rogersff093b32014-04-30 19:04:27 -0700572 if (direct_method != static_cast<uintptr_t>(-1)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700573 cg->LoadConstant(cg->TargetReg(kArg0), direct_method);
574 } else {
Jeff Hao49161ce2014-03-12 11:05:25 -0700575 cg->LoadMethodAddress(target_method, type, kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700576 }
577 break;
578 default:
579 return -1;
580 }
581 } else {
582 switch (state) {
583 case 0: // Get the current Method* [sets kArg0]
584 // TUNING: we can save a reg copy if Method* has been promoted.
585 cg->LoadCurrMethodDirect(cg->TargetReg(kArg0));
586 break;
587 case 1: // Get method->dex_cache_resolved_methods_
buzbee695d13a2014-04-19 13:32:20 -0700588 cg->LoadRefDisp(cg->TargetReg(kArg0),
589 mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(),
590 cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700591 // Set up direct code if known.
592 if (direct_code != 0) {
Ian Rogersff093b32014-04-30 19:04:27 -0700593 if (direct_code != static_cast<uintptr_t>(-1)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700594 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700595 } else if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Ian Rogers83883d72013-10-21 21:07:24 -0700596 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
Jeff Hao49161ce2014-03-12 11:05:25 -0700597 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700598 }
599 }
600 break;
601 case 2: // Grab target method*
602 CHECK_EQ(cu->dex_file, target_method.dex_file);
buzbee695d13a2014-04-19 13:32:20 -0700603 cg->LoadRefDisp(cg->TargetReg(kArg0),
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700604 ObjArray::OffsetOfElement(target_method.dex_method_index).Int32Value(),
605 cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700606 break;
607 case 3: // Grab the code from the method*
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700608 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700609 if (direct_code == 0) {
610 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800611 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700612 cg->TargetReg(kInvokeTgt));
613 }
614 break;
615 }
616 // Intentional fallthrough for x86
617 default:
618 return -1;
619 }
620 }
621 return state + 1;
622}
623
624/*
625 * Bit of a hack here - in the absence of a real scheduling pass,
626 * emit the next instruction in a virtual invoke sequence.
627 * We can use kLr as a temp prior to target address loading
628 * Note also that we'll load the first argument ("this") into
629 * kArg1 here rather than the standard LoadArgRegs.
630 */
631static int NextVCallInsn(CompilationUnit* cu, CallInfo* info,
632 int state, const MethodReference& target_method,
633 uint32_t method_idx, uintptr_t unused, uintptr_t unused2,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700634 InvokeType unused3) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700635 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
636 /*
637 * This is the fast path in which the target virtual method is
638 * fully resolved at compile time.
639 */
640 switch (state) {
641 case 0: { // Get "this" [set kArg1]
642 RegLocation rl_arg = info->args[0];
643 cg->LoadValueDirectFixed(rl_arg, cg->TargetReg(kArg1));
644 break;
645 }
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700646 case 1: // Is "this" null? [use kArg1]
Dave Allisonb373e092014-02-20 16:06:36 -0800647 cg->GenNullCheck(cg->TargetReg(kArg1), info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700648 // get this->klass_ [use kArg1, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700649 cg->LoadRefDisp(cg->TargetReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
650 cg->TargetReg(kInvokeTgt));
Dave Allisonb373e092014-02-20 16:06:36 -0800651 cg->MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700652 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700653 case 2: // Get this->klass_->vtable [usr kInvokeTgt, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700654 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt), mirror::Class::VTableOffset().Int32Value(),
655 cg->TargetReg(kInvokeTgt));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700656 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700657 case 3: // Get target method [use kInvokeTgt, set kArg0]
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700658 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt),
659 ObjArray::OffsetOfElement(method_idx).Int32Value(),
buzbee695d13a2014-04-19 13:32:20 -0700660 cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700661 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700662 case 4: // Get the compiled code address [uses kArg0, sets kInvokeTgt]
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700663 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700664 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800665 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700666 cg->TargetReg(kInvokeTgt));
667 break;
668 }
669 // Intentional fallthrough for X86
670 default:
671 return -1;
672 }
673 return state + 1;
674}
675
676/*
Jeff Hao88474b42013-10-23 16:24:40 -0700677 * Emit the next instruction in an invoke interface sequence. This will do a lookup in the
678 * class's IMT, calling either the actual method or art_quick_imt_conflict_trampoline if
679 * more than one interface method map to the same index. Note also that we'll load the first
680 * argument ("this") into kArg1 here rather than the standard LoadArgRegs.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700681 */
682static int NextInterfaceCallInsn(CompilationUnit* cu, CallInfo* info, int state,
683 const MethodReference& target_method,
Jeff Hao88474b42013-10-23 16:24:40 -0700684 uint32_t method_idx, uintptr_t unused,
685 uintptr_t direct_method, InvokeType unused2) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700686 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700687
Jeff Hao88474b42013-10-23 16:24:40 -0700688 switch (state) {
689 case 0: // Set target method index in case of conflict [set kHiddenArg, kHiddenFpArg (x86)]
Jeff Hao88474b42013-10-23 16:24:40 -0700690 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
691 cg->LoadConstant(cg->TargetReg(kHiddenArg), target_method.dex_method_index);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700692 if (cu->instruction_set == kX86 || cu->instruction_set == kX86_64) {
Jeff Hao88474b42013-10-23 16:24:40 -0700693 cg->OpRegCopy(cg->TargetReg(kHiddenFpArg), cg->TargetReg(kHiddenArg));
694 }
695 break;
696 case 1: { // Get "this" [set kArg1]
697 RegLocation rl_arg = info->args[0];
698 cg->LoadValueDirectFixed(rl_arg, cg->TargetReg(kArg1));
699 break;
700 }
701 case 2: // Is "this" null? [use kArg1]
Dave Allisonb373e092014-02-20 16:06:36 -0800702 cg->GenNullCheck(cg->TargetReg(kArg1), info->opt_flags);
Jeff Hao88474b42013-10-23 16:24:40 -0700703 // Get this->klass_ [use kArg1, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700704 cg->LoadRefDisp(cg->TargetReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
705 cg->TargetReg(kInvokeTgt));
Dave Allisonb373e092014-02-20 16:06:36 -0800706 cg->MarkPossibleNullPointerException(info->opt_flags);
Jeff Hao88474b42013-10-23 16:24:40 -0700707 break;
708 case 3: // Get this->klass_->imtable [use kInvokeTgt, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700709 // NOTE: native pointer.
710 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt), mirror::Class::ImTableOffset().Int32Value(),
711 cg->TargetReg(kInvokeTgt));
Jeff Hao88474b42013-10-23 16:24:40 -0700712 break;
713 case 4: // Get target method [use kInvokeTgt, set kArg0]
buzbee695d13a2014-04-19 13:32:20 -0700714 // NOTE: native pointer.
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700715 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt),
716 ObjArray::OffsetOfElement(method_idx % ClassLinker::kImtSize).Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700717 cg->TargetReg(kArg0));
718 break;
Jeff Hao88474b42013-10-23 16:24:40 -0700719 case 5: // Get the compiled code address [use kArg0, set kInvokeTgt]
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700720 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Jeff Hao88474b42013-10-23 16:24:40 -0700721 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800722 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Jeff Hao88474b42013-10-23 16:24:40 -0700723 cg->TargetReg(kInvokeTgt));
724 break;
725 }
726 // Intentional fallthrough for X86
Brian Carlstrom7940e442013-07-12 13:46:57 -0700727 default:
728 return -1;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700729 }
730 return state + 1;
731}
732
Andreas Gampe2f244e92014-05-08 03:35:25 -0700733template <size_t pointer_size>
734static int NextInvokeInsnSP(CompilationUnit* cu, CallInfo* info, ThreadOffset<pointer_size> trampoline,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700735 int state, const MethodReference& target_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700736 uint32_t method_idx) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700737 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
738 /*
739 * This handles the case in which the base method is not fully
740 * resolved at compile time, we bail to a runtime helper.
741 */
742 if (state == 0) {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700743 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700744 // Load trampoline target
Ian Rogers848871b2013-08-05 10:56:33 -0700745 cg->LoadWordDisp(cg->TargetReg(kSelf), trampoline.Int32Value(), cg->TargetReg(kInvokeTgt));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700746 }
747 // Load kArg0 with method index
748 CHECK_EQ(cu->dex_file, target_method.dex_file);
749 cg->LoadConstant(cg->TargetReg(kArg0), target_method.dex_method_index);
750 return 1;
751 }
752 return -1;
753}
754
755static int NextStaticCallInsnSP(CompilationUnit* cu, CallInfo* info,
756 int state,
757 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000758 uint32_t unused, uintptr_t unused2,
759 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700760 if (Is64BitInstructionSet(cu->instruction_set)) {
761 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeStaticTrampolineWithAccessCheck);
762 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
763 } else {
764 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeStaticTrampolineWithAccessCheck);
765 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
766 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700767}
768
769static int NextDirectCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
770 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000771 uint32_t unused, uintptr_t unused2,
772 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700773 if (Is64BitInstructionSet(cu->instruction_set)) {
774 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeDirectTrampolineWithAccessCheck);
775 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
776 } else {
777 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeDirectTrampolineWithAccessCheck);
778 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
779 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700780}
781
782static int NextSuperCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
783 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000784 uint32_t unused, uintptr_t unused2,
785 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700786 if (Is64BitInstructionSet(cu->instruction_set)) {
787 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeSuperTrampolineWithAccessCheck);
788 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
789 } else {
790 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeSuperTrampolineWithAccessCheck);
791 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
792 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700793}
794
795static int NextVCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
796 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000797 uint32_t unused, uintptr_t unused2,
798 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700799 if (Is64BitInstructionSet(cu->instruction_set)) {
800 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeVirtualTrampolineWithAccessCheck);
801 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
802 } else {
803 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeVirtualTrampolineWithAccessCheck);
804 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
805 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700806}
807
808static int NextInterfaceCallInsnWithAccessCheck(CompilationUnit* cu,
809 CallInfo* info, int state,
810 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000811 uint32_t unused, uintptr_t unused2,
812 uintptr_t unused3, InvokeType unused4) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700813 if (Is64BitInstructionSet(cu->instruction_set)) {
814 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeInterfaceTrampolineWithAccessCheck);
815 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
816 } else {
817 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeInterfaceTrampolineWithAccessCheck);
818 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
819 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700820}
821
822int Mir2Lir::LoadArgRegs(CallInfo* info, int call_state,
823 NextCallInsn next_call_insn,
824 const MethodReference& target_method,
825 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700826 uintptr_t direct_method, InvokeType type, bool skip_this) {
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700827 int last_arg_reg = 3 - 1;
828 int arg_regs[3] = {TargetReg(kArg1).GetReg(), TargetReg(kArg2).GetReg(), TargetReg(kArg3).GetReg()};
829
830 int next_reg = 0;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700831 int next_arg = 0;
832 if (skip_this) {
833 next_reg++;
834 next_arg++;
835 }
836 for (; (next_reg <= last_arg_reg) && (next_arg < info->num_arg_words); next_reg++) {
837 RegLocation rl_arg = info->args[next_arg++];
838 rl_arg = UpdateRawLoc(rl_arg);
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700839 if (rl_arg.wide && (next_reg <= last_arg_reg - 1)) {
840 RegStorage r_tmp(RegStorage::k64BitPair, arg_regs[next_reg], arg_regs[next_reg + 1]);
buzbee2700f7e2014-03-07 09:46:20 -0800841 LoadValueDirectWideFixed(rl_arg, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700842 next_reg++;
843 next_arg++;
844 } else {
845 if (rl_arg.wide) {
buzbee2700f7e2014-03-07 09:46:20 -0800846 rl_arg = NarrowRegLoc(rl_arg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700847 rl_arg.is_const = false;
848 }
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700849 LoadValueDirectFixed(rl_arg, RegStorage::Solo32(arg_regs[next_reg]));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700850 }
851 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
852 direct_code, direct_method, type);
853 }
854 return call_state;
855}
856
857/*
858 * Load up to 5 arguments, the first three of which will be in
859 * kArg1 .. kArg3. On entry kArg0 contains the current method pointer,
860 * and as part of the load sequence, it must be replaced with
861 * the target method pointer. Note, this may also be called
862 * for "range" variants if the number of arguments is 5 or fewer.
863 */
864int Mir2Lir::GenDalvikArgsNoRange(CallInfo* info,
865 int call_state, LIR** pcrLabel, NextCallInsn next_call_insn,
866 const MethodReference& target_method,
867 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700868 uintptr_t direct_method, InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700869 RegLocation rl_arg;
870
871 /* If no arguments, just return */
872 if (info->num_arg_words == 0)
873 return call_state;
874
875 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
876 direct_code, direct_method, type);
877
878 DCHECK_LE(info->num_arg_words, 5);
879 if (info->num_arg_words > 3) {
880 int32_t next_use = 3;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700881 // Detect special case of wide arg spanning arg3/arg4
Brian Carlstrom7940e442013-07-12 13:46:57 -0700882 RegLocation rl_use0 = info->args[0];
883 RegLocation rl_use1 = info->args[1];
884 RegLocation rl_use2 = info->args[2];
buzbee2700f7e2014-03-07 09:46:20 -0800885 if (((!rl_use0.wide && !rl_use1.wide) || rl_use0.wide) && rl_use2.wide) {
886 RegStorage reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700887 // Wide spans, we need the 2nd half of uses[2].
888 rl_arg = UpdateLocWide(rl_use2);
889 if (rl_arg.location == kLocPhysReg) {
buzbee85089dd2014-05-25 15:10:52 -0700890 if (rl_arg.reg.IsPair()) {
891 reg = rl_arg.reg.GetHigh();
892 } else {
893 RegisterInfo* info = GetRegInfo(rl_arg.reg);
894 info = info->FindMatchingView(RegisterInfo::kHighSingleStorageMask);
895 if (info == nullptr) {
896 // NOTE: For hard float convention we won't split arguments across reg/mem.
897 UNIMPLEMENTED(FATAL) << "Needs hard float api.";
898 }
899 reg = info->GetReg();
900 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700901 } else {
902 // kArg2 & rArg3 can safely be used here
903 reg = TargetReg(kArg3);
buzbee695d13a2014-04-19 13:32:20 -0700904 Load32Disp(TargetReg(kSp), SRegOffset(rl_arg.s_reg_low) + 4, reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700905 call_state = next_call_insn(cu_, info, call_state, target_method,
906 vtable_idx, direct_code, direct_method, type);
907 }
buzbee695d13a2014-04-19 13:32:20 -0700908 Store32Disp(TargetReg(kSp), (next_use + 1) * 4, reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700909 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
910 direct_code, direct_method, type);
911 next_use++;
912 }
913 // Loop through the rest
914 while (next_use < info->num_arg_words) {
buzbee091cc402014-03-31 10:14:40 -0700915 RegStorage arg_reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700916 rl_arg = info->args[next_use];
917 rl_arg = UpdateRawLoc(rl_arg);
918 if (rl_arg.location == kLocPhysReg) {
buzbee091cc402014-03-31 10:14:40 -0700919 arg_reg = rl_arg.reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700920 } else {
buzbee091cc402014-03-31 10:14:40 -0700921 arg_reg = rl_arg.wide ? RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3)) :
922 TargetReg(kArg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700923 if (rl_arg.wide) {
buzbee091cc402014-03-31 10:14:40 -0700924 LoadValueDirectWideFixed(rl_arg, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700925 } else {
buzbee091cc402014-03-31 10:14:40 -0700926 LoadValueDirectFixed(rl_arg, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700927 }
928 call_state = next_call_insn(cu_, info, call_state, target_method,
929 vtable_idx, direct_code, direct_method, type);
930 }
931 int outs_offset = (next_use + 1) * 4;
932 if (rl_arg.wide) {
Vladimir Marko455759b2014-05-06 20:49:36 +0100933 StoreBaseDisp(TargetReg(kSp), outs_offset, arg_reg, k64);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700934 next_use += 2;
935 } else {
buzbee091cc402014-03-31 10:14:40 -0700936 Store32Disp(TargetReg(kSp), outs_offset, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700937 next_use++;
938 }
939 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
940 direct_code, direct_method, type);
941 }
942 }
943
944 call_state = LoadArgRegs(info, call_state, next_call_insn,
945 target_method, vtable_idx, direct_code, direct_method,
946 type, skip_this);
947
948 if (pcrLabel) {
Dave Allisonf9439142014-03-27 15:10:22 -0700949 if (Runtime::Current()->ExplicitNullChecks()) {
950 *pcrLabel = GenExplicitNullCheck(TargetReg(kArg1), info->opt_flags);
951 } else {
952 *pcrLabel = nullptr;
953 // In lieu of generating a check for kArg1 being null, we need to
954 // perform a load when doing implicit checks.
955 RegStorage tmp = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -0700956 Load32Disp(TargetReg(kArg1), 0, tmp);
Dave Allisonf9439142014-03-27 15:10:22 -0700957 MarkPossibleNullPointerException(info->opt_flags);
958 FreeTemp(tmp);
959 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700960 }
961 return call_state;
962}
963
964/*
965 * May have 0+ arguments (also used for jumbo). Note that
966 * source virtual registers may be in physical registers, so may
967 * need to be flushed to home location before copying. This
968 * applies to arg3 and above (see below).
969 *
970 * Two general strategies:
971 * If < 20 arguments
972 * Pass args 3-18 using vldm/vstm block copy
973 * Pass arg0, arg1 & arg2 in kArg1-kArg3
974 * If 20+ arguments
975 * Pass args arg19+ using memcpy block copy
976 * Pass arg0, arg1 & arg2 in kArg1-kArg3
977 *
978 */
979int Mir2Lir::GenDalvikArgsRange(CallInfo* info, int call_state,
980 LIR** pcrLabel, NextCallInsn next_call_insn,
981 const MethodReference& target_method,
982 uint32_t vtable_idx, uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700983 InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700984 // If we can treat it as non-range (Jumbo ops will use range form)
985 if (info->num_arg_words <= 5)
986 return GenDalvikArgsNoRange(info, call_state, pcrLabel,
987 next_call_insn, target_method, vtable_idx,
988 direct_code, direct_method, type, skip_this);
989 /*
990 * First load the non-register arguments. Both forms expect all
991 * of the source arguments to be in their home frame location, so
992 * scan the s_reg names and flush any that have been promoted to
993 * frame backing storage.
994 */
995 // Scan the rest of the args - if in phys_reg flush to memory
996 for (int next_arg = 0; next_arg < info->num_arg_words;) {
997 RegLocation loc = info->args[next_arg];
998 if (loc.wide) {
999 loc = UpdateLocWide(loc);
1000 if ((next_arg >= 2) && (loc.location == kLocPhysReg)) {
Vladimir Marko455759b2014-05-06 20:49:36 +01001001 StoreBaseDisp(TargetReg(kSp), SRegOffset(loc.s_reg_low), loc.reg, k64);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001002 }
1003 next_arg += 2;
1004 } else {
1005 loc = UpdateLoc(loc);
1006 if ((next_arg >= 3) && (loc.location == kLocPhysReg)) {
buzbee695d13a2014-04-19 13:32:20 -07001007 Store32Disp(TargetReg(kSp), SRegOffset(loc.s_reg_low), loc.reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001008 }
1009 next_arg++;
1010 }
1011 }
1012
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001013 // Logic below assumes that Method pointer is at offset zero from SP.
1014 DCHECK_EQ(VRegOffset(static_cast<int>(kVRegMethodPtrBaseReg)), 0);
1015
1016 // The first 3 arguments are passed via registers.
1017 // TODO: For 64-bit, instead of hardcoding 4 for Method* size, we should either
1018 // get size of uintptr_t or size of object reference according to model being used.
1019 int outs_offset = 4 /* Method* */ + (3 * sizeof(uint32_t));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001020 int start_offset = SRegOffset(info->args[3].s_reg_low);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001021 int regs_left_to_pass_via_stack = info->num_arg_words - 3;
1022 DCHECK_GT(regs_left_to_pass_via_stack, 0);
1023
1024 if (cu_->instruction_set == kThumb2 && regs_left_to_pass_via_stack <= 16) {
1025 // Use vldm/vstm pair using kArg3 as a temp
1026 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1027 direct_code, direct_method, type);
1028 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), start_offset);
1029 LIR* ld = OpVldm(TargetReg(kArg3), regs_left_to_pass_via_stack);
1030 // TUNING: loosen barrier
1031 ld->u.m.def_mask = ENCODE_ALL;
1032 SetMemRefType(ld, true /* is_load */, kDalvikReg);
1033 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1034 direct_code, direct_method, type);
1035 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), 4 /* Method* */ + (3 * 4));
1036 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1037 direct_code, direct_method, type);
1038 LIR* st = OpVstm(TargetReg(kArg3), regs_left_to_pass_via_stack);
1039 SetMemRefType(st, false /* is_load */, kDalvikReg);
1040 st->u.m.def_mask = ENCODE_ALL;
1041 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1042 direct_code, direct_method, type);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001043 } else if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001044 int current_src_offset = start_offset;
1045 int current_dest_offset = outs_offset;
1046
1047 while (regs_left_to_pass_via_stack > 0) {
1048 // This is based on the knowledge that the stack itself is 16-byte aligned.
1049 bool src_is_16b_aligned = (current_src_offset & 0xF) == 0;
1050 bool dest_is_16b_aligned = (current_dest_offset & 0xF) == 0;
1051 size_t bytes_to_move;
1052
1053 /*
1054 * The amount to move defaults to 32-bit. If there are 4 registers left to move, then do a
1055 * a 128-bit move because we won't get the chance to try to aligned. If there are more than
1056 * 4 registers left to move, consider doing a 128-bit only if either src or dest are aligned.
1057 * We do this because we could potentially do a smaller move to align.
1058 */
1059 if (regs_left_to_pass_via_stack == 4 ||
1060 (regs_left_to_pass_via_stack > 4 && (src_is_16b_aligned || dest_is_16b_aligned))) {
1061 // Moving 128-bits via xmm register.
1062 bytes_to_move = sizeof(uint32_t) * 4;
1063
1064 // Allocate a free xmm temp. Since we are working through the calling sequence,
Mark Mendelle87f9b52014-04-30 14:13:18 -04001065 // we expect to have an xmm temporary available. AllocTempDouble will abort if
1066 // there are no free registers.
buzbee2700f7e2014-03-07 09:46:20 -08001067 RegStorage temp = AllocTempDouble();
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001068
1069 LIR* ld1 = nullptr;
1070 LIR* ld2 = nullptr;
1071 LIR* st1 = nullptr;
1072 LIR* st2 = nullptr;
1073
1074 /*
1075 * The logic is similar for both loads and stores. If we have 16-byte alignment,
1076 * do an aligned move. If we have 8-byte alignment, then do the move in two
1077 * parts. This approach prevents possible cache line splits. Finally, fall back
1078 * to doing an unaligned move. In most cases we likely won't split the cache
1079 * line but we cannot prove it and thus take a conservative approach.
1080 */
1081 bool src_is_8b_aligned = (current_src_offset & 0x7) == 0;
1082 bool dest_is_8b_aligned = (current_dest_offset & 0x7) == 0;
1083
1084 if (src_is_16b_aligned) {
1085 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovA128FP);
1086 } else if (src_is_8b_aligned) {
1087 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovLo128FP);
buzbee2700f7e2014-03-07 09:46:20 -08001088 ld2 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset + (bytes_to_move >> 1),
1089 kMovHi128FP);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001090 } else {
1091 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovU128FP);
1092 }
1093
1094 if (dest_is_16b_aligned) {
1095 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovA128FP);
1096 } else if (dest_is_8b_aligned) {
1097 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovLo128FP);
buzbee2700f7e2014-03-07 09:46:20 -08001098 st2 = OpMovMemReg(TargetReg(kSp), current_dest_offset + (bytes_to_move >> 1),
1099 temp, kMovHi128FP);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001100 } else {
1101 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovU128FP);
1102 }
1103
1104 // TODO If we could keep track of aliasing information for memory accesses that are wider
1105 // than 64-bit, we wouldn't need to set up a barrier.
1106 if (ld1 != nullptr) {
1107 if (ld2 != nullptr) {
1108 // For 64-bit load we can actually set up the aliasing information.
1109 AnnotateDalvikRegAccess(ld1, current_src_offset >> 2, true, true);
1110 AnnotateDalvikRegAccess(ld2, (current_src_offset + (bytes_to_move >> 1)) >> 2, true, true);
1111 } else {
1112 // Set barrier for 128-bit load.
1113 SetMemRefType(ld1, true /* is_load */, kDalvikReg);
1114 ld1->u.m.def_mask = ENCODE_ALL;
1115 }
1116 }
1117 if (st1 != nullptr) {
1118 if (st2 != nullptr) {
1119 // For 64-bit store we can actually set up the aliasing information.
1120 AnnotateDalvikRegAccess(st1, current_dest_offset >> 2, false, true);
1121 AnnotateDalvikRegAccess(st2, (current_dest_offset + (bytes_to_move >> 1)) >> 2, false, true);
1122 } else {
1123 // Set barrier for 128-bit store.
1124 SetMemRefType(st1, false /* is_load */, kDalvikReg);
1125 st1->u.m.def_mask = ENCODE_ALL;
1126 }
1127 }
1128
1129 // Free the temporary used for the data movement.
buzbee091cc402014-03-31 10:14:40 -07001130 FreeTemp(temp);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001131 } else {
1132 // Moving 32-bits via general purpose register.
1133 bytes_to_move = sizeof(uint32_t);
1134
1135 // Instead of allocating a new temp, simply reuse one of the registers being used
1136 // for argument passing.
buzbee2700f7e2014-03-07 09:46:20 -08001137 RegStorage temp = TargetReg(kArg3);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001138
1139 // Now load the argument VR and store to the outs.
buzbee695d13a2014-04-19 13:32:20 -07001140 Load32Disp(TargetReg(kSp), current_src_offset, temp);
1141 Store32Disp(TargetReg(kSp), current_dest_offset, temp);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001142 }
1143
1144 current_src_offset += bytes_to_move;
1145 current_dest_offset += bytes_to_move;
1146 regs_left_to_pass_via_stack -= (bytes_to_move >> 2);
1147 }
1148 } else {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001149 // Generate memcpy
1150 OpRegRegImm(kOpAdd, TargetReg(kArg0), TargetReg(kSp), outs_offset);
1151 OpRegRegImm(kOpAdd, TargetReg(kArg1), TargetReg(kSp), start_offset);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001152 if (Is64BitInstructionSet(cu_->instruction_set)) {
1153 CallRuntimeHelperRegRegImm(QUICK_ENTRYPOINT_OFFSET(8, pMemcpy), TargetReg(kArg0),
1154 TargetReg(kArg1), (info->num_arg_words - 3) * 4, false);
1155 } else {
1156 CallRuntimeHelperRegRegImm(QUICK_ENTRYPOINT_OFFSET(4, pMemcpy), TargetReg(kArg0),
1157 TargetReg(kArg1), (info->num_arg_words - 3) * 4, false);
1158 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001159 }
1160
1161 call_state = LoadArgRegs(info, call_state, next_call_insn,
1162 target_method, vtable_idx, direct_code, direct_method,
1163 type, skip_this);
1164
1165 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1166 direct_code, direct_method, type);
1167 if (pcrLabel) {
Dave Allisonf9439142014-03-27 15:10:22 -07001168 if (Runtime::Current()->ExplicitNullChecks()) {
1169 *pcrLabel = GenExplicitNullCheck(TargetReg(kArg1), info->opt_flags);
1170 } else {
1171 *pcrLabel = nullptr;
1172 // In lieu of generating a check for kArg1 being null, we need to
1173 // perform a load when doing implicit checks.
1174 RegStorage tmp = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -07001175 Load32Disp(TargetReg(kArg1), 0, tmp);
Dave Allisonf9439142014-03-27 15:10:22 -07001176 MarkPossibleNullPointerException(info->opt_flags);
1177 FreeTemp(tmp);
1178 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001179 }
1180 return call_state;
1181}
1182
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001183RegLocation Mir2Lir::InlineTarget(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001184 RegLocation res;
1185 if (info->result.location == kLocInvalid) {
buzbeea0cd2d72014-06-01 09:33:49 -07001186 res = GetReturn(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001187 } else {
1188 res = info->result;
1189 }
1190 return res;
1191}
1192
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001193RegLocation Mir2Lir::InlineTargetWide(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001194 RegLocation res;
1195 if (info->result.location == kLocInvalid) {
buzbeea0cd2d72014-06-01 09:33:49 -07001196 res = GetReturnWide(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001197 } else {
1198 res = info->result;
1199 }
1200 return res;
1201}
1202
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001203bool Mir2Lir::GenInlinedCharAt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001204 if (cu_->instruction_set == kMips) {
1205 // TODO - add Mips implementation
1206 return false;
1207 }
1208 // Location of reference to data array
1209 int value_offset = mirror::String::ValueOffset().Int32Value();
1210 // Location of count
1211 int count_offset = mirror::String::CountOffset().Int32Value();
1212 // Starting offset within data array
1213 int offset_offset = mirror::String::OffsetOffset().Int32Value();
1214 // Start of char data with array_
1215 int data_offset = mirror::Array::DataOffset(sizeof(uint16_t)).Int32Value();
1216
1217 RegLocation rl_obj = info->args[0];
1218 RegLocation rl_idx = info->args[1];
buzbeea0cd2d72014-06-01 09:33:49 -07001219 rl_obj = LoadValue(rl_obj, kRefReg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001220 // X86 wants to avoid putting a constant index into a register.
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001221 if (!((cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64)&& rl_idx.is_const)) {
Mark Mendell2b724cb2014-02-06 05:24:20 -08001222 rl_idx = LoadValue(rl_idx, kCoreReg);
1223 }
buzbee2700f7e2014-03-07 09:46:20 -08001224 RegStorage reg_max;
1225 GenNullCheck(rl_obj.reg, info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001226 bool range_check = (!(info->opt_flags & MIR_IGNORE_RANGE_CHECK));
Vladimir Marko3bc86152014-03-13 14:11:28 +00001227 LIR* range_check_branch = nullptr;
buzbee2700f7e2014-03-07 09:46:20 -08001228 RegStorage reg_off;
1229 RegStorage reg_ptr;
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001230 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001231 reg_off = AllocTemp();
buzbeea0cd2d72014-06-01 09:33:49 -07001232 reg_ptr = AllocTempRef();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001233 if (range_check) {
1234 reg_max = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -07001235 Load32Disp(rl_obj.reg, count_offset, reg_max);
Dave Allisonb373e092014-02-20 16:06:36 -08001236 MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001237 }
buzbee695d13a2014-04-19 13:32:20 -07001238 Load32Disp(rl_obj.reg, offset_offset, reg_off);
Dave Allisonb373e092014-02-20 16:06:36 -08001239 MarkPossibleNullPointerException(info->opt_flags);
buzbee695d13a2014-04-19 13:32:20 -07001240 Load32Disp(rl_obj.reg, value_offset, reg_ptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001241 if (range_check) {
Mingyao Yang3a74d152014-04-21 15:39:44 -07001242 // Set up a slow path to allow retry in case of bounds violation */
buzbee2700f7e2014-03-07 09:46:20 -08001243 OpRegReg(kOpCmp, rl_idx.reg, reg_max);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001244 FreeTemp(reg_max);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001245 range_check_branch = OpCondBranch(kCondUge, nullptr);
Brian Carlstrom6f485c62013-07-18 15:35:35 -07001246 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001247 OpRegImm(kOpAdd, reg_ptr, data_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001248 } else {
1249 if (range_check) {
Mark Mendell2b724cb2014-02-06 05:24:20 -08001250 // On x86, we can compare to memory directly
Brian Carlstrom7940e442013-07-12 13:46:57 -07001251 // Set up a launch pad to allow retry in case of bounds violation */
Mark Mendell2b724cb2014-02-06 05:24:20 -08001252 if (rl_idx.is_const) {
Vladimir Marko3bc86152014-03-13 14:11:28 +00001253 range_check_branch = OpCmpMemImmBranch(
buzbee2700f7e2014-03-07 09:46:20 -08001254 kCondUlt, RegStorage::InvalidReg(), rl_obj.reg, count_offset,
Vladimir Marko3bc86152014-03-13 14:11:28 +00001255 mir_graph_->ConstantValue(rl_idx.orig_sreg), nullptr);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001256 } else {
buzbee2700f7e2014-03-07 09:46:20 -08001257 OpRegMem(kOpCmp, rl_idx.reg, rl_obj.reg, count_offset);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001258 range_check_branch = OpCondBranch(kCondUge, nullptr);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001259 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001260 }
1261 reg_off = AllocTemp();
buzbeea0cd2d72014-06-01 09:33:49 -07001262 reg_ptr = AllocTempRef();
buzbee695d13a2014-04-19 13:32:20 -07001263 Load32Disp(rl_obj.reg, offset_offset, reg_off);
buzbeea0cd2d72014-06-01 09:33:49 -07001264 LoadRefDisp(rl_obj.reg, value_offset, reg_ptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001265 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001266 if (rl_idx.is_const) {
1267 OpRegImm(kOpAdd, reg_off, mir_graph_->ConstantValue(rl_idx.orig_sreg));
1268 } else {
buzbee2700f7e2014-03-07 09:46:20 -08001269 OpRegReg(kOpAdd, reg_off, rl_idx.reg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001270 }
buzbee2700f7e2014-03-07 09:46:20 -08001271 FreeTemp(rl_obj.reg);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001272 if (rl_idx.location == kLocPhysReg) {
buzbee2700f7e2014-03-07 09:46:20 -08001273 FreeTemp(rl_idx.reg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001274 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001275 RegLocation rl_dest = InlineTarget(info);
1276 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001277 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
buzbee2700f7e2014-03-07 09:46:20 -08001278 LoadBaseIndexed(reg_ptr, reg_off, rl_result.reg, 1, kUnsignedHalf);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001279 } else {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001280 LoadBaseIndexedDisp(reg_ptr, reg_off, 1, data_offset, rl_result.reg, kUnsignedHalf);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001281 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001282 FreeTemp(reg_off);
1283 FreeTemp(reg_ptr);
1284 StoreValue(rl_dest, rl_result);
1285 if (range_check) {
Vladimir Marko3bc86152014-03-13 14:11:28 +00001286 DCHECK(range_check_branch != nullptr);
1287 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've already null checked.
Mingyao Yang3a74d152014-04-21 15:39:44 -07001288 AddIntrinsicSlowPath(info, range_check_branch);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001289 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001290 return true;
1291}
1292
1293// Generates an inlined String.is_empty or String.length.
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001294bool Mir2Lir::GenInlinedStringIsEmptyOrLength(CallInfo* info, bool is_empty) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001295 if (cu_->instruction_set == kMips) {
1296 // TODO - add Mips implementation
1297 return false;
1298 }
1299 // dst = src.length();
1300 RegLocation rl_obj = info->args[0];
buzbeea0cd2d72014-06-01 09:33:49 -07001301 rl_obj = LoadValue(rl_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001302 RegLocation rl_dest = InlineTarget(info);
1303 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001304 GenNullCheck(rl_obj.reg, info->opt_flags);
buzbee695d13a2014-04-19 13:32:20 -07001305 Load32Disp(rl_obj.reg, mirror::String::CountOffset().Int32Value(), rl_result.reg);
Dave Allisonb373e092014-02-20 16:06:36 -08001306 MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001307 if (is_empty) {
1308 // dst = (dst == 0);
1309 if (cu_->instruction_set == kThumb2) {
buzbee2700f7e2014-03-07 09:46:20 -08001310 RegStorage t_reg = AllocTemp();
1311 OpRegReg(kOpNeg, t_reg, rl_result.reg);
1312 OpRegRegReg(kOpAdc, rl_result.reg, rl_result.reg, t_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001313 } else {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001314 DCHECK(cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64);
buzbee2700f7e2014-03-07 09:46:20 -08001315 OpRegImm(kOpSub, rl_result.reg, 1);
1316 OpRegImm(kOpLsr, rl_result.reg, 31);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001317 }
1318 }
1319 StoreValue(rl_dest, rl_result);
1320 return true;
1321}
1322
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001323bool Mir2Lir::GenInlinedReverseBytes(CallInfo* info, OpSize size) {
1324 if (cu_->instruction_set == kMips) {
1325 // TODO - add Mips implementation
1326 return false;
1327 }
1328 RegLocation rl_src_i = info->args[0];
buzbee695d13a2014-04-19 13:32:20 -07001329 RegLocation rl_dest = (size == k64) ? InlineTargetWide(info) : InlineTarget(info); // result reg
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001330 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee695d13a2014-04-19 13:32:20 -07001331 if (size == k64) {
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001332 RegLocation rl_i = LoadValueWide(rl_src_i, kCoreReg);
buzbee2700f7e2014-03-07 09:46:20 -08001333 RegStorage r_i_low = rl_i.reg.GetLow();
1334 if (rl_i.reg.GetLowReg() == rl_result.reg.GetLowReg()) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001335 // 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 +00001336 r_i_low = AllocTemp();
buzbee2700f7e2014-03-07 09:46:20 -08001337 OpRegCopy(r_i_low, rl_i.reg);
Vladimir Markof246af22013-11-27 12:30:15 +00001338 }
buzbee2700f7e2014-03-07 09:46:20 -08001339 OpRegReg(kOpRev, rl_result.reg.GetLow(), rl_i.reg.GetHigh());
1340 OpRegReg(kOpRev, rl_result.reg.GetHigh(), r_i_low);
1341 if (rl_i.reg.GetLowReg() == rl_result.reg.GetLowReg()) {
Vladimir Markof246af22013-11-27 12:30:15 +00001342 FreeTemp(r_i_low);
1343 }
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001344 StoreValueWide(rl_dest, rl_result);
1345 } else {
buzbee695d13a2014-04-19 13:32:20 -07001346 DCHECK(size == k32 || size == kSignedHalf);
1347 OpKind op = (size == k32) ? kOpRev : kOpRevsh;
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001348 RegLocation rl_i = LoadValue(rl_src_i, kCoreReg);
buzbee2700f7e2014-03-07 09:46:20 -08001349 OpRegReg(op, rl_result.reg, rl_i.reg);
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001350 StoreValue(rl_dest, rl_result);
1351 }
1352 return true;
1353}
1354
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001355bool Mir2Lir::GenInlinedAbsInt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001356 if (cu_->instruction_set == kMips) {
1357 // TODO - add Mips implementation
1358 return false;
1359 }
1360 RegLocation rl_src = info->args[0];
1361 rl_src = LoadValue(rl_src, kCoreReg);
1362 RegLocation rl_dest = InlineTarget(info);
1363 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001364 RegStorage sign_reg = AllocTemp();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001365 // abs(x) = y<=x>>31, (x+y)^y.
buzbee2700f7e2014-03-07 09:46:20 -08001366 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg, 31);
1367 OpRegRegReg(kOpAdd, rl_result.reg, rl_src.reg, sign_reg);
1368 OpRegReg(kOpXor, rl_result.reg, sign_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001369 StoreValue(rl_dest, rl_result);
1370 return true;
1371}
1372
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001373bool Mir2Lir::GenInlinedAbsLong(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001374 if (cu_->instruction_set == kMips) {
1375 // TODO - add Mips implementation
1376 return false;
1377 }
Vladimir Markob9823312014-03-20 17:38:43 +00001378 RegLocation rl_src = info->args[0];
1379 rl_src = LoadValueWide(rl_src, kCoreReg);
1380 RegLocation rl_dest = InlineTargetWide(info);
1381 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1382
1383 // If on x86 or if we would clobber a register needed later, just copy the source first.
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001384 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64 || rl_result.reg.GetLowReg() == rl_src.reg.GetHighReg()) {
buzbee2700f7e2014-03-07 09:46:20 -08001385 OpRegCopyWide(rl_result.reg, rl_src.reg);
1386 if (rl_result.reg.GetLowReg() != rl_src.reg.GetLowReg() &&
1387 rl_result.reg.GetLowReg() != rl_src.reg.GetHighReg() &&
1388 rl_result.reg.GetHighReg() != rl_src.reg.GetLowReg() &&
Vladimir Markob9823312014-03-20 17:38:43 +00001389 rl_result.reg.GetHighReg() != rl_src.reg.GetHighReg()) {
1390 // Reuse source registers to avoid running out of temps.
buzbee2700f7e2014-03-07 09:46:20 -08001391 FreeTemp(rl_src.reg);
Vladimir Markob9823312014-03-20 17:38:43 +00001392 }
1393 rl_src = rl_result;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001394 }
Vladimir Markob9823312014-03-20 17:38:43 +00001395
1396 // abs(x) = y<=x>>31, (x+y)^y.
buzbee2700f7e2014-03-07 09:46:20 -08001397 RegStorage sign_reg = AllocTemp();
1398 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg.GetHigh(), 31);
1399 OpRegRegReg(kOpAdd, rl_result.reg.GetLow(), rl_src.reg.GetLow(), sign_reg);
1400 OpRegRegReg(kOpAdc, rl_result.reg.GetHigh(), rl_src.reg.GetHigh(), sign_reg);
1401 OpRegReg(kOpXor, rl_result.reg.GetLow(), sign_reg);
1402 OpRegReg(kOpXor, rl_result.reg.GetHigh(), sign_reg);
buzbee082833c2014-05-17 23:16:26 -07001403 FreeTemp(sign_reg);
Vladimir Markob9823312014-03-20 17:38:43 +00001404 StoreValueWide(rl_dest, rl_result);
1405 return true;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001406}
1407
Yixin Shoudbb17e32014-02-07 05:09:30 -08001408bool Mir2Lir::GenInlinedAbsFloat(CallInfo* info) {
1409 if (cu_->instruction_set == kMips) {
1410 // TODO - add Mips implementation
1411 return false;
1412 }
1413 RegLocation rl_src = info->args[0];
1414 rl_src = LoadValue(rl_src, kCoreReg);
1415 RegLocation rl_dest = InlineTarget(info);
1416 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001417 OpRegRegImm(kOpAnd, rl_result.reg, rl_src.reg, 0x7fffffff);
Yixin Shoudbb17e32014-02-07 05:09:30 -08001418 StoreValue(rl_dest, rl_result);
1419 return true;
1420}
1421
1422bool Mir2Lir::GenInlinedAbsDouble(CallInfo* info) {
1423 if (cu_->instruction_set == kMips) {
1424 // TODO - add Mips implementation
1425 return false;
1426 }
1427 RegLocation rl_src = info->args[0];
1428 rl_src = LoadValueWide(rl_src, kCoreReg);
1429 RegLocation rl_dest = InlineTargetWide(info);
1430 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001431 OpRegCopyWide(rl_result.reg, rl_src.reg);
1432 OpRegImm(kOpAnd, rl_result.reg.GetHigh(), 0x7fffffff);
Yixin Shoudbb17e32014-02-07 05:09:30 -08001433 StoreValueWide(rl_dest, rl_result);
1434 return true;
1435}
1436
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001437bool Mir2Lir::GenInlinedFloatCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001438 if (cu_->instruction_set == kMips) {
1439 // TODO - add Mips implementation
1440 return false;
1441 }
1442 RegLocation rl_src = info->args[0];
1443 RegLocation rl_dest = InlineTarget(info);
1444 StoreValue(rl_dest, rl_src);
1445 return true;
1446}
1447
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001448bool Mir2Lir::GenInlinedDoubleCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001449 if (cu_->instruction_set == kMips) {
1450 // TODO - add Mips implementation
1451 return false;
1452 }
1453 RegLocation rl_src = info->args[0];
1454 RegLocation rl_dest = InlineTargetWide(info);
1455 StoreValueWide(rl_dest, rl_src);
1456 return true;
1457}
1458
1459/*
Vladimir Marko3bc86152014-03-13 14:11:28 +00001460 * Fast String.indexOf(I) & (II). Tests for simple case of char <= 0xFFFF,
Brian Carlstrom7940e442013-07-12 13:46:57 -07001461 * otherwise bails to standard library code.
1462 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001463bool Mir2Lir::GenInlinedIndexOf(CallInfo* info, bool zero_based) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001464 if (cu_->instruction_set == kMips) {
1465 // TODO - add Mips implementation
1466 return false;
1467 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001468 RegLocation rl_obj = info->args[0];
1469 RegLocation rl_char = info->args[1];
1470 if (rl_char.is_const && (mir_graph_->ConstantValue(rl_char) & ~0xFFFF) != 0) {
1471 // Code point beyond 0xFFFF. Punt to the real String.indexOf().
1472 return false;
1473 }
1474
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001475 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001476 LockCallTemps(); // Using fixed registers
buzbee2700f7e2014-03-07 09:46:20 -08001477 RegStorage reg_ptr = TargetReg(kArg0);
1478 RegStorage reg_char = TargetReg(kArg1);
1479 RegStorage reg_start = TargetReg(kArg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001480
Brian Carlstrom7940e442013-07-12 13:46:57 -07001481 LoadValueDirectFixed(rl_obj, reg_ptr);
1482 LoadValueDirectFixed(rl_char, reg_char);
1483 if (zero_based) {
1484 LoadConstant(reg_start, 0);
1485 } else {
buzbeea44d4f52014-03-05 11:26:39 -08001486 RegLocation rl_start = info->args[2]; // 3rd arg only present in III flavor of IndexOf.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001487 LoadValueDirectFixed(rl_start, reg_start);
1488 }
Andreas Gampe2f244e92014-05-08 03:35:25 -07001489 RegStorage r_tgt = Is64BitInstructionSet(cu_->instruction_set) ?
1490 LoadHelper(QUICK_ENTRYPOINT_OFFSET(8, pIndexOf)) :
1491 LoadHelper(QUICK_ENTRYPOINT_OFFSET(4, pIndexOf));
Dave Allisonf9439142014-03-27 15:10:22 -07001492 GenExplicitNullCheck(reg_ptr, info->opt_flags);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001493 LIR* high_code_point_branch =
1494 rl_char.is_const ? nullptr : OpCmpImmBranch(kCondGt, reg_char, 0xFFFF, nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001495 // NOTE: not a safepoint
Mark Mendell4028a6c2014-02-19 20:06:20 -08001496 OpReg(kOpBlx, r_tgt);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001497 if (!rl_char.is_const) {
1498 // Add the slow path for code points beyond 0xFFFF.
1499 DCHECK(high_code_point_branch != nullptr);
1500 LIR* resume_tgt = NewLIR0(kPseudoTargetLabel);
1501 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've null checked.
Mingyao Yang3a74d152014-04-21 15:39:44 -07001502 AddIntrinsicSlowPath(info, high_code_point_branch, resume_tgt);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001503 } else {
1504 DCHECK_EQ(mir_graph_->ConstantValue(rl_char) & ~0xFFFF, 0);
1505 DCHECK(high_code_point_branch == nullptr);
1506 }
buzbeea0cd2d72014-06-01 09:33:49 -07001507 RegLocation rl_return = GetReturn(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001508 RegLocation rl_dest = InlineTarget(info);
1509 StoreValue(rl_dest, rl_return);
1510 return true;
1511}
1512
1513/* Fast string.compareTo(Ljava/lang/string;)I. */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001514bool Mir2Lir::GenInlinedStringCompareTo(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001515 if (cu_->instruction_set == kMips) {
1516 // TODO - add Mips implementation
1517 return false;
1518 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001519 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001520 LockCallTemps(); // Using fixed registers
buzbee2700f7e2014-03-07 09:46:20 -08001521 RegStorage reg_this = TargetReg(kArg0);
1522 RegStorage reg_cmp = TargetReg(kArg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001523
1524 RegLocation rl_this = info->args[0];
1525 RegLocation rl_cmp = info->args[1];
1526 LoadValueDirectFixed(rl_this, reg_this);
1527 LoadValueDirectFixed(rl_cmp, reg_cmp);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001528 RegStorage r_tgt;
1529 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
1530 if (Is64BitInstructionSet(cu_->instruction_set)) {
1531 r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(8, pStringCompareTo));
1532 } else {
1533 r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(4, pStringCompareTo));
1534 }
1535 } else {
1536 r_tgt = RegStorage::InvalidReg();
1537 }
Dave Allisonf9439142014-03-27 15:10:22 -07001538 GenExplicitNullCheck(reg_this, info->opt_flags);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001539 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've null checked.
Brian Carlstrom7934ac22013-07-26 10:54:15 -07001540 // TUNING: check if rl_cmp.s_reg_low is already null checked
Vladimir Marko3bc86152014-03-13 14:11:28 +00001541 LIR* cmp_null_check_branch = OpCmpImmBranch(kCondEq, reg_cmp, 0, nullptr);
Mingyao Yang3a74d152014-04-21 15:39:44 -07001542 AddIntrinsicSlowPath(info, cmp_null_check_branch);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001543 // NOTE: not a safepoint
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001544 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001545 OpReg(kOpBlx, r_tgt);
1546 } else {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001547 if (Is64BitInstructionSet(cu_->instruction_set)) {
1548 OpThreadMem(kOpBlx, QUICK_ENTRYPOINT_OFFSET(8, pStringCompareTo));
1549 } else {
1550 OpThreadMem(kOpBlx, QUICK_ENTRYPOINT_OFFSET(4, pStringCompareTo));
1551 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001552 }
buzbeea0cd2d72014-06-01 09:33:49 -07001553 RegLocation rl_return = GetReturn(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001554 RegLocation rl_dest = InlineTarget(info);
1555 StoreValue(rl_dest, rl_return);
1556 return true;
1557}
1558
1559bool Mir2Lir::GenInlinedCurrentThread(CallInfo* info) {
1560 RegLocation rl_dest = InlineTarget(info);
1561 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001562
1563 switch (cu_->instruction_set) {
1564 case kArm:
1565 // Fall-through.
1566 case kThumb2:
1567 // Fall-through.
1568 case kMips:
1569 Load32Disp(TargetReg(kSelf), Thread::PeerOffset<4>().Int32Value(), rl_result.reg);
1570 break;
1571
1572 case kArm64:
1573 Load32Disp(TargetReg(kSelf), Thread::PeerOffset<8>().Int32Value(), rl_result.reg);
1574 break;
1575
1576 case kX86:
1577 reinterpret_cast<X86Mir2Lir*>(this)->OpRegThreadMem(kOpMov, rl_result.reg,
1578 Thread::PeerOffset<4>());
1579 break;
1580
1581 case kX86_64:
1582 reinterpret_cast<X86Mir2Lir*>(this)->OpRegThreadMem(kOpMov, rl_result.reg,
1583 Thread::PeerOffset<8>());
1584 break;
1585
1586 default:
1587 LOG(FATAL) << "Unexpected isa " << cu_->instruction_set;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001588 }
1589 StoreValue(rl_dest, rl_result);
1590 return true;
1591}
1592
1593bool Mir2Lir::GenInlinedUnsafeGet(CallInfo* info,
1594 bool is_long, bool is_volatile) {
1595 if (cu_->instruction_set == kMips) {
1596 // TODO - add Mips implementation
1597 return false;
1598 }
1599 // Unused - RegLocation rl_src_unsafe = info->args[0];
1600 RegLocation rl_src_obj = info->args[1]; // Object
1601 RegLocation rl_src_offset = info->args[2]; // long low
buzbee2700f7e2014-03-07 09:46:20 -08001602 rl_src_offset = NarrowRegLoc(rl_src_offset); // ignore high half in info->args[3]
Mark Mendell55d0eac2014-02-06 11:02:52 -08001603 RegLocation rl_dest = is_long ? InlineTargetWide(info) : InlineTarget(info); // result reg
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001604
buzbeea0cd2d72014-06-01 09:33:49 -07001605 RegLocation rl_object = LoadValue(rl_src_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001606 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1607 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1608 if (is_long) {
Dmitry Petrochenko9bf549d2014-05-12 11:14:46 +07001609 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001610 LoadBaseIndexedDisp(rl_object.reg, rl_offset.reg, 0, 0, rl_result.reg, k64);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001611 } else {
1612 RegStorage rl_temp_offset = AllocTemp();
1613 OpRegRegReg(kOpAdd, rl_temp_offset, rl_object.reg, rl_offset.reg);
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001614 LoadBaseDisp(rl_temp_offset, 0, rl_result.reg, k64);
buzbee091cc402014-03-31 10:14:40 -07001615 FreeTemp(rl_temp_offset);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001616 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001617 } else {
buzbee695d13a2014-04-19 13:32:20 -07001618 LoadBaseIndexed(rl_object.reg, rl_offset.reg, rl_result.reg, 0, k32);
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001619 }
1620
1621 if (is_volatile) {
1622 // Without context sensitive analysis, we must issue the most conservative barriers.
1623 // In this case, either a load or store may follow so we issue both barriers.
1624 GenMemBarrier(kLoadLoad);
1625 GenMemBarrier(kLoadStore);
1626 }
1627
1628 if (is_long) {
1629 StoreValueWide(rl_dest, rl_result);
1630 } else {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001631 StoreValue(rl_dest, rl_result);
1632 }
1633 return true;
1634}
1635
1636bool Mir2Lir::GenInlinedUnsafePut(CallInfo* info, bool is_long,
1637 bool is_object, bool is_volatile, bool is_ordered) {
1638 if (cu_->instruction_set == kMips) {
1639 // TODO - add Mips implementation
1640 return false;
1641 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001642 // Unused - RegLocation rl_src_unsafe = info->args[0];
1643 RegLocation rl_src_obj = info->args[1]; // Object
1644 RegLocation rl_src_offset = info->args[2]; // long low
buzbee2700f7e2014-03-07 09:46:20 -08001645 rl_src_offset = NarrowRegLoc(rl_src_offset); // ignore high half in info->args[3]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001646 RegLocation rl_src_value = info->args[4]; // value to store
1647 if (is_volatile || is_ordered) {
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001648 // There might have been a store before this volatile one so insert StoreStore barrier.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001649 GenMemBarrier(kStoreStore);
1650 }
buzbeea0cd2d72014-06-01 09:33:49 -07001651 RegLocation rl_object = LoadValue(rl_src_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001652 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1653 RegLocation rl_value;
1654 if (is_long) {
1655 rl_value = LoadValueWide(rl_src_value, kCoreReg);
Dmitry Petrochenko9bf549d2014-05-12 11:14:46 +07001656 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001657 StoreBaseIndexedDisp(rl_object.reg, rl_offset.reg, 0, 0, rl_value.reg, k64);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001658 } else {
1659 RegStorage rl_temp_offset = AllocTemp();
1660 OpRegRegReg(kOpAdd, rl_temp_offset, rl_object.reg, rl_offset.reg);
Vladimir Marko455759b2014-05-06 20:49:36 +01001661 StoreBaseDisp(rl_temp_offset, 0, rl_value.reg, k64);
buzbee091cc402014-03-31 10:14:40 -07001662 FreeTemp(rl_temp_offset);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001663 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001664 } else {
buzbeea0cd2d72014-06-01 09:33:49 -07001665 rl_value = LoadValue(rl_src_value);
buzbee695d13a2014-04-19 13:32:20 -07001666 StoreBaseIndexed(rl_object.reg, rl_offset.reg, rl_value.reg, 0, k32);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001667 }
Mark Mendelldf8ee2e2014-01-27 16:37:47 -08001668
1669 // Free up the temp early, to ensure x86 doesn't run out of temporaries in MarkGCCard.
buzbee091cc402014-03-31 10:14:40 -07001670 FreeTemp(rl_offset.reg);
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001671
Brian Carlstrom7940e442013-07-12 13:46:57 -07001672 if (is_volatile) {
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001673 // A load might follow the volatile store so insert a StoreLoad barrier.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001674 GenMemBarrier(kStoreLoad);
1675 }
1676 if (is_object) {
buzbee2700f7e2014-03-07 09:46:20 -08001677 MarkGCCard(rl_value.reg, rl_object.reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001678 }
1679 return true;
1680}
1681
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001682void Mir2Lir::GenInvoke(CallInfo* info) {
Vladimir Marko9820b7c2014-01-02 16:40:37 +00001683 if ((info->opt_flags & MIR_INLINED) != 0) {
1684 // Already inlined but we may still need the null check.
1685 if (info->type != kStatic &&
1686 ((cu_->disable_opt & (1 << kNullCheckElimination)) != 0 ||
1687 (info->opt_flags & MIR_IGNORE_NULL_CHECK) == 0)) {
buzbeea0cd2d72014-06-01 09:33:49 -07001688 RegLocation rl_obj = LoadValue(info->args[0], kRefReg);
Mingyao Yange643a172014-04-08 11:02:52 -07001689 GenNullCheck(rl_obj.reg);
Vladimir Marko9820b7c2014-01-02 16:40:37 +00001690 }
1691 return;
1692 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001693 DCHECK(cu_->compiler_driver->GetMethodInlinerMap() != nullptr);
Dmitry Petrochenko4c800432014-05-08 12:20:24 +07001694 // TODO: Enable instrinsics for x86_64
1695 // Temporary disable intrinsics for x86_64. We will enable them later step by step.
1696 if (cu_->instruction_set != kX86_64) {
1697 if (cu_->compiler_driver->GetMethodInlinerMap()->GetMethodInliner(cu_->dex_file)
1698 ->GenIntrinsic(this, info)) {
1699 return;
1700 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001701 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001702 GenInvokeNoInline(info);
1703}
1704
Andreas Gampe2f244e92014-05-08 03:35:25 -07001705template <size_t pointer_size>
1706static LIR* GenInvokeNoInlineCall(Mir2Lir* mir_to_lir, InvokeType type) {
1707 ThreadOffset<pointer_size> trampoline(-1);
1708 switch (type) {
1709 case kInterface:
1710 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeInterfaceTrampolineWithAccessCheck);
1711 break;
1712 case kDirect:
1713 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeDirectTrampolineWithAccessCheck);
1714 break;
1715 case kStatic:
1716 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeStaticTrampolineWithAccessCheck);
1717 break;
1718 case kSuper:
1719 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeSuperTrampolineWithAccessCheck);
1720 break;
1721 case kVirtual:
1722 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeVirtualTrampolineWithAccessCheck);
1723 break;
1724 default:
1725 LOG(FATAL) << "Unexpected invoke type";
1726 }
1727 return mir_to_lir->OpThreadMem(kOpBlx, trampoline);
1728}
1729
Vladimir Marko3bc86152014-03-13 14:11:28 +00001730void Mir2Lir::GenInvokeNoInline(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001731 int call_state = 0;
1732 LIR* null_ck;
1733 LIR** p_null_ck = NULL;
1734 NextCallInsn next_call_insn;
1735 FlushAllRegs(); /* Everything to home location */
1736 // Explicit register usage
1737 LockCallTemps();
1738
Vladimir Markof096aad2014-01-23 15:51:58 +00001739 const MirMethodLoweringInfo& method_info = mir_graph_->GetMethodLoweringInfo(info->mir);
1740 cu_->compiler_driver->ProcessedInvoke(method_info.GetInvokeType(), method_info.StatsFlags());
Mark Mendelle87f9b52014-04-30 14:13:18 -04001741 BeginInvoke(info);
Vladimir Markof096aad2014-01-23 15:51:58 +00001742 InvokeType original_type = static_cast<InvokeType>(method_info.GetInvokeType());
1743 info->type = static_cast<InvokeType>(method_info.GetSharpType());
1744 bool fast_path = method_info.FastPath();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001745 bool skip_this;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001746 if (info->type == kInterface) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001747 next_call_insn = fast_path ? NextInterfaceCallInsn : NextInterfaceCallInsnWithAccessCheck;
Jeff Hao88474b42013-10-23 16:24:40 -07001748 skip_this = fast_path;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001749 } else if (info->type == kDirect) {
1750 if (fast_path) {
1751 p_null_ck = &null_ck;
1752 }
1753 next_call_insn = fast_path ? NextSDCallInsn : NextDirectCallInsnSP;
1754 skip_this = false;
1755 } else if (info->type == kStatic) {
1756 next_call_insn = fast_path ? NextSDCallInsn : NextStaticCallInsnSP;
1757 skip_this = false;
1758 } else if (info->type == kSuper) {
1759 DCHECK(!fast_path); // Fast path is a direct call.
1760 next_call_insn = NextSuperCallInsnSP;
1761 skip_this = false;
1762 } else {
1763 DCHECK_EQ(info->type, kVirtual);
1764 next_call_insn = fast_path ? NextVCallInsn : NextVCallInsnSP;
1765 skip_this = fast_path;
1766 }
Vladimir Markof096aad2014-01-23 15:51:58 +00001767 MethodReference target_method = method_info.GetTargetMethod();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001768 if (!info->is_range) {
1769 call_state = GenDalvikArgsNoRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001770 next_call_insn, target_method, method_info.VTableIndex(),
1771 method_info.DirectCode(), method_info.DirectMethod(),
Brian Carlstrom7940e442013-07-12 13:46:57 -07001772 original_type, skip_this);
1773 } else {
1774 call_state = GenDalvikArgsRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001775 next_call_insn, target_method, method_info.VTableIndex(),
1776 method_info.DirectCode(), method_info.DirectMethod(),
1777 original_type, skip_this);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001778 }
1779 // Finish up any of the call sequence not interleaved in arg loading
1780 while (call_state >= 0) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001781 call_state = next_call_insn(cu_, info, call_state, target_method, method_info.VTableIndex(),
1782 method_info.DirectCode(), method_info.DirectMethod(), original_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001783 }
1784 LIR* call_inst;
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001785 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001786 call_inst = OpReg(kOpBlx, TargetReg(kInvokeTgt));
1787 } else {
Jeff Hao88474b42013-10-23 16:24:40 -07001788 if (fast_path) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001789 if (method_info.DirectCode() == static_cast<uintptr_t>(-1)) {
Mark Mendell55d0eac2014-02-06 11:02:52 -08001790 // We can have the linker fixup a call relative.
1791 call_inst =
Jeff Hao49161ce2014-03-12 11:05:25 -07001792 reinterpret_cast<X86Mir2Lir*>(this)->CallWithLinkerFixup(target_method, info->type);
Mark Mendell55d0eac2014-02-06 11:02:52 -08001793 } else {
1794 call_inst = OpMem(kOpBlx, TargetReg(kArg0),
1795 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value());
1796 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001797 } else {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001798 // TODO: Extract?
1799 if (Is64BitInstructionSet(cu_->instruction_set)) {
1800 call_inst = GenInvokeNoInlineCall<8>(this, info->type);
1801 } else {
Andreas Gampe3ec5da22014-05-12 18:43:28 -07001802 call_inst = GenInvokeNoInlineCall<4>(this, info->type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001803 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001804 }
1805 }
Mark Mendelle87f9b52014-04-30 14:13:18 -04001806 EndInvoke(info);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001807 MarkSafepointPC(call_inst);
1808
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001809 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001810 if (info->result.location != kLocInvalid) {
1811 // We have a following MOVE_RESULT - do it now.
1812 if (info->result.wide) {
buzbeea0cd2d72014-06-01 09:33:49 -07001813 RegLocation ret_loc = GetReturnWide(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001814 StoreValueWide(info->result, ret_loc);
1815 } else {
buzbeea0cd2d72014-06-01 09:33:49 -07001816 RegLocation ret_loc = GetReturn(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001817 StoreValue(info->result, ret_loc);
1818 }
1819 }
1820}
1821
1822} // namespace art