blob: bf51d28be33ddd1ad01f5da047df6b690364bb7f [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) {
Douglas Leung2db3e262014-06-25 16:02:55 -0700156 LoadValueDirectFixed(arg0, TargetReg(arg0.fp ? kFArg0 : kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700157 } else {
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700158 RegStorage r_tmp;
buzbee33ae5582014-06-12 14:56:32 -0700159 if (cu_->target64) {
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700160 r_tmp = RegStorage::Solo64(TargetReg(kArg0).GetReg());
161 } else {
Douglas Leung2db3e262014-06-25 16:02:55 -0700162 r_tmp = RegStorage::MakeRegPair(TargetReg(arg0.fp ? kFArg0 : kArg0),
163 TargetReg(arg0.fp ? kFArg1 : kArg1));
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700164 }
buzbee2700f7e2014-03-07 09:46:20 -0800165 LoadValueDirectWideFixed(arg0, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700166 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000167 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700168 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700169}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700170INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocation, RegLocation arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700171
Andreas Gampe2f244e92014-05-08 03:35:25 -0700172template <size_t pointer_size>
173void Mir2Lir::CallRuntimeHelperImmImm(ThreadOffset<pointer_size> helper_offset, int arg0, int arg1,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700174 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800175 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700176 LoadConstant(TargetReg(kArg0), arg0);
177 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000178 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700179 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700180}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700181INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmImm, int arg0, int arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700182
Andreas Gampe2f244e92014-05-08 03:35:25 -0700183template <size_t pointer_size>
184void Mir2Lir::CallRuntimeHelperImmRegLocation(ThreadOffset<pointer_size> helper_offset, int arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700185 RegLocation arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800186 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700187 if (arg1.wide == 0) {
Andreas Gampef9872f02014-07-01 19:00:09 -0700188 LoadValueDirectFixed(arg1, TargetReg(kArg1, arg1));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700189 } else {
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700190 RegStorage r_tmp;
buzbee33ae5582014-06-12 14:56:32 -0700191 if (cu_->target64) {
Andreas Gampef9872f02014-07-01 19:00:09 -0700192 r_tmp = TargetReg(kArg1, true);
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700193 } else {
Douglas Leung2db3e262014-06-25 16:02:55 -0700194 if (cu_->instruction_set == kMips) {
195 // skip kArg1 for stack alignment.
196 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
197 } else {
198 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
199 }
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700200 }
buzbee2700f7e2014-03-07 09:46:20 -0800201 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700202 }
203 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000204 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700205 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700206}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700207INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmRegLocation, int arg0, RegLocation arg1,
208 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700209
Andreas Gampe2f244e92014-05-08 03:35:25 -0700210template <size_t pointer_size>
211void Mir2Lir::CallRuntimeHelperRegLocationImm(ThreadOffset<pointer_size> helper_offset,
212 RegLocation arg0, int arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800213 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampef9872f02014-07-01 19:00:09 -0700214 DCHECK(!arg0.wide);
215 LoadValueDirectFixed(arg0, TargetReg(kArg0, arg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700216 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000217 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700218 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700219}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700220INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationImm, RegLocation arg0, int arg1,
221 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700222
Andreas Gampe2f244e92014-05-08 03:35:25 -0700223template <size_t pointer_size>
224void Mir2Lir::CallRuntimeHelperImmReg(ThreadOffset<pointer_size> helper_offset, int arg0,
225 RegStorage arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800226 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe4b537a82014-06-30 22:24:53 -0700227 OpRegCopy(TargetReg(kArg1, arg1.Is64Bit()), arg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700228 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000229 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700230 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700231}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700232INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmReg, int arg0, RegStorage arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700233
Andreas Gampe2f244e92014-05-08 03:35:25 -0700234template <size_t pointer_size>
235void Mir2Lir::CallRuntimeHelperRegImm(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
236 int arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800237 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700238 OpRegCopy(TargetReg(kArg0), arg0);
239 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000240 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700241 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700242}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700243INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegImm, RegStorage arg0, int arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700244
Andreas Gampe2f244e92014-05-08 03:35:25 -0700245template <size_t pointer_size>
246void Mir2Lir::CallRuntimeHelperImmMethod(ThreadOffset<pointer_size> helper_offset, int arg0,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700247 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800248 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700249 LoadCurrMethodDirect(TargetReg(kArg1));
250 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000251 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700252 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700253}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700254INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethod, int arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700255
Andreas Gampe2f244e92014-05-08 03:35:25 -0700256template <size_t pointer_size>
257void Mir2Lir::CallRuntimeHelperRegMethod(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800258 bool safepoint_pc) {
259 RegStorage r_tgt = CallHelperSetup(helper_offset);
260 DCHECK_NE(TargetReg(kArg1).GetReg(), arg0.GetReg());
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800261 if (TargetReg(kArg0) != arg0) {
262 OpRegCopy(TargetReg(kArg0), arg0);
263 }
264 LoadCurrMethodDirect(TargetReg(kArg1));
265 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700266 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800267}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700268INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegMethod, RegStorage arg0, bool safepoint_pc)
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800269
Andreas Gampe2f244e92014-05-08 03:35:25 -0700270template <size_t pointer_size>
271void Mir2Lir::CallRuntimeHelperRegMethodRegLocation(ThreadOffset<pointer_size> helper_offset,
272 RegStorage arg0, RegLocation arg2,
273 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800274 RegStorage r_tgt = CallHelperSetup(helper_offset);
275 DCHECK_NE(TargetReg(kArg1).GetReg(), arg0.GetReg());
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800276 if (TargetReg(kArg0) != arg0) {
277 OpRegCopy(TargetReg(kArg0), arg0);
278 }
279 LoadCurrMethodDirect(TargetReg(kArg1));
Andreas Gampe4b537a82014-06-30 22:24:53 -0700280 LoadValueDirectFixed(arg2, TargetReg(kArg2, arg2));
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800281 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700282 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800283}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700284INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegMethodRegLocation, RegStorage arg0, RegLocation arg2,
285 bool safepoint_pc)
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800286
Andreas Gampe2f244e92014-05-08 03:35:25 -0700287template <size_t pointer_size>
288void Mir2Lir::CallRuntimeHelperRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700289 RegLocation arg0, RegLocation arg1,
290 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800291 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe4b537a82014-06-30 22:24:53 -0700292 if (cu_->instruction_set == kArm64) {
293 RegStorage arg0_reg = TargetReg((arg0.fp) ? kFArg0 : kArg0, arg0);
294
295 RegStorage arg1_reg;
296 if (arg1.fp == arg0.fp) {
297 arg1_reg = TargetReg((arg1.fp) ? kFArg1 : kArg1, arg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700298 } else {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700299 arg1_reg = TargetReg((arg1.fp) ? kFArg0 : kArg0, arg1);
300 }
301
302 if (arg0.wide == 0) {
303 LoadValueDirectFixed(arg0, arg0_reg);
304 } else {
305 LoadValueDirectWideFixed(arg0, arg0_reg);
306 }
307
308 if (arg1.wide == 0) {
309 LoadValueDirectFixed(arg1, arg1_reg);
310 } else {
311 LoadValueDirectWideFixed(arg1, arg1_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700312 }
313 } else {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700314 if (arg0.wide == 0) {
315 LoadValueDirectFixed(arg0, arg0.fp ? TargetReg(kFArg0) : TargetReg(kArg0));
316 if (arg1.wide == 0) {
317 if (cu_->instruction_set == kMips) {
318 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg1));
319 } else if (cu_->instruction_set == kArm64) {
320 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg1) : TargetReg(kArg1));
321 } else if (cu_->instruction_set == kX86_64) {
322 if (arg0.fp) {
323 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg1) : TargetReg(kArg0));
324 } else {
325 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg0) : TargetReg(kArg1));
326 }
327 } else {
328 LoadValueDirectFixed(arg1, TargetReg(kArg1));
329 }
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700330 } else {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700331 if (cu_->instruction_set == kMips) {
332 RegStorage r_tmp;
333 if (arg1.fp) {
334 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg2), TargetReg(kFArg3));
335 } else {
336 // skip kArg1 for stack alignment.
337 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
338 }
339 LoadValueDirectWideFixed(arg1, r_tmp);
340 } else {
341 RegStorage r_tmp;
342 if (cu_->target64) {
343 r_tmp = RegStorage::Solo64(TargetReg(kArg1).GetReg());
344 } else {
345 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
346 }
347 LoadValueDirectWideFixed(arg1, r_tmp);
348 }
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700349 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700350 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800351 RegStorage r_tmp;
Andreas Gampe4b537a82014-06-30 22:24:53 -0700352 if (arg0.fp) {
buzbee33ae5582014-06-12 14:56:32 -0700353 if (cu_->target64) {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700354 r_tmp = RegStorage::FloatSolo64(TargetReg(kFArg0).GetReg());
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700355 } else {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700356 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg0), TargetReg(kFArg1));
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700357 }
buzbee2700f7e2014-03-07 09:46:20 -0800358 } else {
buzbee33ae5582014-06-12 14:56:32 -0700359 if (cu_->target64) {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700360 r_tmp = RegStorage::Solo64(TargetReg(kArg0).GetReg());
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700361 } else {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700362 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg0), TargetReg(kArg1));
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700363 }
buzbee2700f7e2014-03-07 09:46:20 -0800364 }
Andreas Gampe4b537a82014-06-30 22:24:53 -0700365 LoadValueDirectWideFixed(arg0, r_tmp);
366 if (arg1.wide == 0) {
367 if (cu_->target64) {
368 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg1) : TargetReg(kArg1));
369 } else {
370 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg2));
371 }
372 } else {
373 RegStorage r_tmp;
374 if (arg1.fp) {
375 if (cu_->target64) {
376 r_tmp = RegStorage::FloatSolo64(TargetReg(kFArg1).GetReg());
377 } else {
378 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg2), TargetReg(kFArg3));
379 }
380 } else {
381 if (cu_->target64) {
382 r_tmp = RegStorage::Solo64(TargetReg(kArg1).GetReg());
383 } else {
384 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
385 }
386 }
387 LoadValueDirectWideFixed(arg1, r_tmp);
388 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700389 }
390 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000391 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700392 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700393}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700394INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationRegLocation, RegLocation arg0,
395 RegLocation arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700396
Andreas Gampe49c5f502014-06-20 11:34:17 -0700397// TODO: This is a hack! Reshape the two macros into functions and move them to a better place.
398#define IsSameReg(r1, r2) \
399 (GetRegInfo(r1)->Master()->GetReg().GetReg() == GetRegInfo(r2)->Master()->GetReg().GetReg())
400#define TargetArgReg(arg, is_wide) \
401 (GetRegInfo(TargetReg(arg))->FindMatchingView( \
402 (is_wide) ? RegisterInfo::k64SoloStorageMask : RegisterInfo::k32SoloStorageMask)->GetReg())
403
Mingyao Yang80365d92014-04-18 12:10:58 -0700404void Mir2Lir::CopyToArgumentRegs(RegStorage arg0, RegStorage arg1) {
Andreas Gampe49c5f502014-06-20 11:34:17 -0700405 if (IsSameReg(arg1, TargetReg(kArg0))) {
406 if (IsSameReg(arg0, TargetReg(kArg1))) {
Mingyao Yang80365d92014-04-18 12:10:58 -0700407 // Swap kArg0 and kArg1 with kArg2 as temp.
Andreas Gampe4b537a82014-06-30 22:24:53 -0700408 OpRegCopy(TargetReg(kArg2, arg1.Is64Bit()), arg1);
409 OpRegCopy(TargetReg(kArg0, arg0.Is64Bit()), arg0);
410 OpRegCopy(TargetReg(kArg1, arg1.Is64Bit()), TargetReg(kArg2, arg1.Is64Bit()));
Mingyao Yang80365d92014-04-18 12:10:58 -0700411 } else {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700412 OpRegCopy(TargetReg(kArg1, arg1.Is64Bit()), arg1);
413 OpRegCopy(TargetReg(kArg0, arg0.Is64Bit()), arg0);
Mingyao Yang80365d92014-04-18 12:10:58 -0700414 }
415 } else {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700416 OpRegCopy(TargetReg(kArg0, arg0.Is64Bit()), arg0);
417 OpRegCopy(TargetReg(kArg1, arg1.Is64Bit()), arg1);
Mingyao Yang80365d92014-04-18 12:10:58 -0700418 }
419}
420
Andreas Gampe2f244e92014-05-08 03:35:25 -0700421template <size_t pointer_size>
422void Mir2Lir::CallRuntimeHelperRegReg(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800423 RegStorage arg1, bool safepoint_pc) {
424 RegStorage r_tgt = CallHelperSetup(helper_offset);
Mingyao Yang80365d92014-04-18 12:10:58 -0700425 CopyToArgumentRegs(arg0, arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000426 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700427 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700428}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700429INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegReg, RegStorage arg0, RegStorage arg1,
430 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700431
Andreas Gampe2f244e92014-05-08 03:35:25 -0700432template <size_t pointer_size>
433void Mir2Lir::CallRuntimeHelperRegRegImm(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800434 RegStorage arg1, int arg2, bool safepoint_pc) {
435 RegStorage r_tgt = CallHelperSetup(helper_offset);
Mingyao Yang80365d92014-04-18 12:10:58 -0700436 CopyToArgumentRegs(arg0, arg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700437 LoadConstant(TargetReg(kArg2), arg2);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000438 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700439 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700440}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700441INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegRegImm, RegStorage arg0, RegStorage arg1, int arg2,
442 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700443
Andreas Gampe2f244e92014-05-08 03:35:25 -0700444template <size_t pointer_size>
445void Mir2Lir::CallRuntimeHelperImmMethodRegLocation(ThreadOffset<pointer_size> helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700446 int arg0, RegLocation arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800447 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe4b537a82014-06-30 22:24:53 -0700448 LoadValueDirectFixed(arg2, TargetReg(kArg2, arg2));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700449 LoadCurrMethodDirect(TargetReg(kArg1));
Andreas Gampe4b537a82014-06-30 22:24:53 -0700450 LoadConstant(TargetReg(kArg0, arg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000451 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700452 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700453}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700454INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethodRegLocation, int arg0, RegLocation arg2,
455 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700456
Andreas Gampe2f244e92014-05-08 03:35:25 -0700457template <size_t pointer_size>
458void Mir2Lir::CallRuntimeHelperImmMethodImm(ThreadOffset<pointer_size> helper_offset, int arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700459 int arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800460 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700461 LoadCurrMethodDirect(TargetReg(kArg1));
462 LoadConstant(TargetReg(kArg2), arg2);
463 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000464 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700465 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700466}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700467INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethodImm, int arg0, int arg2, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700468
Andreas Gampe2f244e92014-05-08 03:35:25 -0700469template <size_t pointer_size>
470void Mir2Lir::CallRuntimeHelperImmRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700471 int arg0, RegLocation arg1,
472 RegLocation arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800473 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe2f244e92014-05-08 03:35:25 -0700474 DCHECK_EQ(static_cast<unsigned int>(arg1.wide), 0U); // The static_cast works around an
475 // instantiation bug in GCC.
Andreas Gampe4b537a82014-06-30 22:24:53 -0700476 LoadValueDirectFixed(arg1, TargetReg(kArg1, arg1));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700477 if (arg2.wide == 0) {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700478 LoadValueDirectFixed(arg2, TargetReg(kArg2, arg2));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700479 } else {
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700480 RegStorage r_tmp;
buzbee33ae5582014-06-12 14:56:32 -0700481 if (cu_->target64) {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700482 r_tmp = TargetReg(kArg2, true);
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700483 } else {
484 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
485 }
buzbee2700f7e2014-03-07 09:46:20 -0800486 LoadValueDirectWideFixed(arg2, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700487 }
488 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000489 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700490 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700491}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700492INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmRegLocationRegLocation, int arg0, RegLocation arg1,
493 RegLocation arg2, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700494
Andreas Gampe2f244e92014-05-08 03:35:25 -0700495template <size_t pointer_size>
496void Mir2Lir::CallRuntimeHelperRegLocationRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Ian Rogersa9a82542013-10-04 11:17:26 -0700497 RegLocation arg0, RegLocation arg1,
498 RegLocation arg2,
499 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800500 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe4b537a82014-06-30 22:24:53 -0700501 LoadValueDirectFixed(arg0, TargetReg(kArg0, arg0));
502 LoadValueDirectFixed(arg1, TargetReg(kArg1, arg1));
503 LoadValueDirectFixed(arg2, TargetReg(kArg2, arg2));
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000504 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700505 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Ian Rogersa9a82542013-10-04 11:17:26 -0700506}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700507INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationRegLocationRegLocation, RegLocation arg0,
508 RegLocation arg1, RegLocation arg2, bool safepoint_pc)
Ian Rogersa9a82542013-10-04 11:17:26 -0700509
Brian Carlstrom7940e442013-07-12 13:46:57 -0700510/*
511 * If there are any ins passed in registers that have not been promoted
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100512 * to a callee-save register, flush them to the frame. Perform initial
Brian Carlstrom7940e442013-07-12 13:46:57 -0700513 * assignment of promoted arguments.
514 *
515 * ArgLocs is an array of location records describing the incoming arguments
516 * with one location record per word of argument.
517 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700518void Mir2Lir::FlushIns(RegLocation* ArgLocs, RegLocation rl_method) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700519 /*
Zheng Xu511c8a62014-06-03 16:22:23 +0800520 * Dummy up a RegLocation for the incoming StackReference<mirror::ArtMethod>
Brian Carlstrom7940e442013-07-12 13:46:57 -0700521 * It will attempt to keep kArg0 live (or copy it to home location
522 * if promoted).
523 */
524 RegLocation rl_src = rl_method;
525 rl_src.location = kLocPhysReg;
Andreas Gampe4b537a82014-06-30 22:24:53 -0700526 rl_src.reg = TargetRefReg(kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700527 rl_src.home = false;
buzbee091cc402014-03-31 10:14:40 -0700528 MarkLive(rl_src);
buzbeef2c3e562014-05-29 12:37:25 -0700529 StoreValue(rl_method, rl_src);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700530 // If Method* has been promoted, explicitly flush
531 if (rl_method.location == kLocPhysReg) {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700532 StoreRefDisp(TargetReg(kSp), 0, rl_src.reg, kNotVolatile);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700533 }
534
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800535 if (cu_->num_ins == 0) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700536 return;
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800537 }
538
Brian Carlstrom7940e442013-07-12 13:46:57 -0700539 int start_vreg = cu_->num_dalvik_registers - cu_->num_ins;
540 /*
541 * Copy incoming arguments to their proper home locations.
542 * NOTE: an older version of dx had an issue in which
543 * it would reuse static method argument registers.
544 * This could result in the same Dalvik virtual register
545 * being promoted to both core and fp regs. To account for this,
546 * we only copy to the corresponding promoted physical register
547 * if it matches the type of the SSA name for the incoming
548 * argument. It is also possible that long and double arguments
549 * end up half-promoted. In those cases, we must flush the promoted
550 * half to memory as well.
551 */
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100552 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700553 for (int i = 0; i < cu_->num_ins; i++) {
554 PromotionMap* v_map = &promotion_map_[start_vreg + i];
buzbee2700f7e2014-03-07 09:46:20 -0800555 RegStorage reg = GetArgMappingToPhysicalReg(i);
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800556
buzbee2700f7e2014-03-07 09:46:20 -0800557 if (reg.Valid()) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700558 // If arriving in register
559 bool need_flush = true;
560 RegLocation* t_loc = &ArgLocs[i];
561 if ((v_map->core_location == kLocPhysReg) && !t_loc->fp) {
buzbee2700f7e2014-03-07 09:46:20 -0800562 OpRegCopy(RegStorage::Solo32(v_map->core_reg), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700563 need_flush = false;
564 } else if ((v_map->fp_location == kLocPhysReg) && t_loc->fp) {
buzbee2700f7e2014-03-07 09:46:20 -0800565 OpRegCopy(RegStorage::Solo32(v_map->FpReg), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700566 need_flush = false;
567 } else {
568 need_flush = true;
569 }
570
buzbeed0a03b82013-09-14 08:21:05 -0700571 // For wide args, force flush if not fully promoted
Brian Carlstrom7940e442013-07-12 13:46:57 -0700572 if (t_loc->wide) {
573 PromotionMap* p_map = v_map + (t_loc->high_word ? -1 : +1);
buzbeed0a03b82013-09-14 08:21:05 -0700574 // Is only half promoted?
Brian Carlstrom7940e442013-07-12 13:46:57 -0700575 need_flush |= (p_map->core_location != v_map->core_location) ||
576 (p_map->fp_location != v_map->fp_location);
buzbeed0a03b82013-09-14 08:21:05 -0700577 if ((cu_->instruction_set == kThumb2) && t_loc->fp && !need_flush) {
578 /*
579 * In Arm, a double is represented as a pair of consecutive single float
580 * registers starting at an even number. It's possible that both Dalvik vRegs
581 * representing the incoming double were independently promoted as singles - but
582 * not in a form usable as a double. If so, we need to flush - even though the
583 * incoming arg appears fully in register. At this point in the code, both
584 * halves of the double are promoted. Make sure they are in a usable form.
585 */
586 int lowreg_index = start_vreg + i + (t_loc->high_word ? -1 : 0);
587 int low_reg = promotion_map_[lowreg_index].FpReg;
588 int high_reg = promotion_map_[lowreg_index + 1].FpReg;
589 if (((low_reg & 0x1) != 0) || (high_reg != (low_reg + 1))) {
590 need_flush = true;
591 }
592 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700593 }
594 if (need_flush) {
buzbee695d13a2014-04-19 13:32:20 -0700595 Store32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700596 }
597 } else {
598 // If arriving in frame & promoted
599 if (v_map->core_location == kLocPhysReg) {
buzbee695d13a2014-04-19 13:32:20 -0700600 Load32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), RegStorage::Solo32(v_map->core_reg));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700601 }
602 if (v_map->fp_location == kLocPhysReg) {
buzbee695d13a2014-04-19 13:32:20 -0700603 Load32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), RegStorage::Solo32(v_map->FpReg));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700604 }
605 }
606 }
607}
608
609/*
610 * Bit of a hack here - in the absence of a real scheduling pass,
611 * emit the next instruction in static & direct invoke sequences.
612 */
613static int NextSDCallInsn(CompilationUnit* cu, CallInfo* info,
614 int state, const MethodReference& target_method,
615 uint32_t unused,
616 uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700617 InvokeType type) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700618 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700619 if (direct_code != 0 && direct_method != 0) {
620 switch (state) {
621 case 0: // Get the current Method* [sets kArg0]
Ian Rogersff093b32014-04-30 19:04:27 -0700622 if (direct_code != static_cast<uintptr_t>(-1)) {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700623 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Ian Rogers83883d72013-10-21 21:07:24 -0700624 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
625 }
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700626 } else if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Jeff Hao49161ce2014-03-12 11:05:25 -0700627 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700628 }
Ian Rogersff093b32014-04-30 19:04:27 -0700629 if (direct_method != static_cast<uintptr_t>(-1)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700630 cg->LoadConstant(cg->TargetReg(kArg0), direct_method);
631 } else {
Jeff Hao49161ce2014-03-12 11:05:25 -0700632 cg->LoadMethodAddress(target_method, type, kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700633 }
634 break;
635 default:
636 return -1;
637 }
638 } else {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700639 RegStorage arg0_ref = cg->TargetRefReg(kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700640 switch (state) {
641 case 0: // Get the current Method* [sets kArg0]
642 // TUNING: we can save a reg copy if Method* has been promoted.
Andreas Gampe4b537a82014-06-30 22:24:53 -0700643 cg->LoadCurrMethodDirect(arg0_ref);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700644 break;
645 case 1: // Get method->dex_cache_resolved_methods_
Andreas Gampe4b537a82014-06-30 22:24:53 -0700646 cg->LoadRefDisp(arg0_ref,
buzbee695d13a2014-04-19 13:32:20 -0700647 mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(),
Andreas Gampe4b537a82014-06-30 22:24:53 -0700648 arg0_ref,
Andreas Gampe3c12c512014-06-24 18:46:29 +0000649 kNotVolatile);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700650 // Set up direct code if known.
651 if (direct_code != 0) {
Ian Rogersff093b32014-04-30 19:04:27 -0700652 if (direct_code != static_cast<uintptr_t>(-1)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700653 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700654 } else if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Ian Rogers83883d72013-10-21 21:07:24 -0700655 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
Jeff Hao49161ce2014-03-12 11:05:25 -0700656 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700657 }
658 }
659 break;
660 case 2: // Grab target method*
661 CHECK_EQ(cu->dex_file, target_method.dex_file);
Andreas Gampe4b537a82014-06-30 22:24:53 -0700662 cg->LoadRefDisp(arg0_ref,
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700663 ObjArray::OffsetOfElement(target_method.dex_method_index).Int32Value(),
Andreas Gampe4b537a82014-06-30 22:24:53 -0700664 arg0_ref,
Andreas Gampe3c12c512014-06-24 18:46:29 +0000665 kNotVolatile);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700666 break;
667 case 3: // Grab the code from the method*
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700668 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700669 if (direct_code == 0) {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700670 cg->LoadWordDisp(arg0_ref,
Ian Rogersef7d42f2014-01-06 12:55:46 -0800671 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700672 cg->TargetReg(kInvokeTgt));
673 }
674 break;
675 }
676 // Intentional fallthrough for x86
677 default:
678 return -1;
679 }
680 }
681 return state + 1;
682}
683
684/*
685 * Bit of a hack here - in the absence of a real scheduling pass,
686 * emit the next instruction in a virtual invoke sequence.
687 * We can use kLr as a temp prior to target address loading
688 * Note also that we'll load the first argument ("this") into
689 * kArg1 here rather than the standard LoadArgRegs.
690 */
691static int NextVCallInsn(CompilationUnit* cu, CallInfo* info,
692 int state, const MethodReference& target_method,
693 uint32_t method_idx, uintptr_t unused, uintptr_t unused2,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700694 InvokeType unused3) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700695 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
696 /*
697 * This is the fast path in which the target virtual method is
698 * fully resolved at compile time.
699 */
700 switch (state) {
701 case 0: { // Get "this" [set kArg1]
702 RegLocation rl_arg = info->args[0];
Andreas Gampe4b537a82014-06-30 22:24:53 -0700703 cg->LoadValueDirectFixed(rl_arg, cg->TargetRefReg(kArg1));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700704 break;
705 }
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700706 case 1: // Is "this" null? [use kArg1]
Andreas Gampe4b537a82014-06-30 22:24:53 -0700707 cg->GenNullCheck(cg->TargetRefReg(kArg1), info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700708 // get this->klass_ [use kArg1, set kInvokeTgt]
Andreas Gampe4b537a82014-06-30 22:24:53 -0700709 cg->LoadRefDisp(cg->TargetRefReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
Andreas Gampe3c12c512014-06-24 18:46:29 +0000710 cg->TargetReg(kInvokeTgt),
711 kNotVolatile);
Dave Allisonb373e092014-02-20 16:06:36 -0800712 cg->MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700713 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700714 case 2: // Get this->klass_->vtable [usr kInvokeTgt, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700715 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt), mirror::Class::VTableOffset().Int32Value(),
Andreas Gampe3c12c512014-06-24 18:46:29 +0000716 cg->TargetReg(kInvokeTgt),
717 kNotVolatile);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700718 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700719 case 3: // Get target method [use kInvokeTgt, set kArg0]
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700720 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt),
721 ObjArray::OffsetOfElement(method_idx).Int32Value(),
Andreas Gampe4b537a82014-06-30 22:24:53 -0700722 cg->TargetRefReg(kArg0),
Andreas Gampe3c12c512014-06-24 18:46:29 +0000723 kNotVolatile);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700724 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700725 case 4: // Get the compiled code address [uses kArg0, sets kInvokeTgt]
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700726 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700727 cg->LoadWordDisp(cg->TargetRefReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800728 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700729 cg->TargetReg(kInvokeTgt));
730 break;
731 }
732 // Intentional fallthrough for X86
733 default:
734 return -1;
735 }
736 return state + 1;
737}
738
739/*
Jeff Hao88474b42013-10-23 16:24:40 -0700740 * Emit the next instruction in an invoke interface sequence. This will do a lookup in the
741 * class's IMT, calling either the actual method or art_quick_imt_conflict_trampoline if
742 * more than one interface method map to the same index. Note also that we'll load the first
743 * argument ("this") into kArg1 here rather than the standard LoadArgRegs.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700744 */
745static int NextInterfaceCallInsn(CompilationUnit* cu, CallInfo* info, int state,
746 const MethodReference& target_method,
Jeff Hao88474b42013-10-23 16:24:40 -0700747 uint32_t method_idx, uintptr_t unused,
748 uintptr_t direct_method, InvokeType unused2) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700749 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700750
Jeff Hao88474b42013-10-23 16:24:40 -0700751 switch (state) {
752 case 0: // Set target method index in case of conflict [set kHiddenArg, kHiddenFpArg (x86)]
Jeff Hao88474b42013-10-23 16:24:40 -0700753 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
754 cg->LoadConstant(cg->TargetReg(kHiddenArg), target_method.dex_method_index);
Mark Mendelld3703d82014-06-09 15:10:50 -0400755 if (cu->instruction_set == kX86) {
Jeff Hao88474b42013-10-23 16:24:40 -0700756 cg->OpRegCopy(cg->TargetReg(kHiddenFpArg), cg->TargetReg(kHiddenArg));
757 }
758 break;
759 case 1: { // Get "this" [set kArg1]
760 RegLocation rl_arg = info->args[0];
Andreas Gampe4b537a82014-06-30 22:24:53 -0700761 cg->LoadValueDirectFixed(rl_arg, cg->TargetRefReg(kArg1));
Jeff Hao88474b42013-10-23 16:24:40 -0700762 break;
763 }
764 case 2: // Is "this" null? [use kArg1]
Andreas Gampe4b537a82014-06-30 22:24:53 -0700765 cg->GenNullCheck(cg->TargetRefReg(kArg1), info->opt_flags);
Jeff Hao88474b42013-10-23 16:24:40 -0700766 // Get this->klass_ [use kArg1, set kInvokeTgt]
Andreas Gampe4b537a82014-06-30 22:24:53 -0700767 cg->LoadRefDisp(cg->TargetRefReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
Andreas Gampe3c12c512014-06-24 18:46:29 +0000768 cg->TargetReg(kInvokeTgt),
769 kNotVolatile);
Dave Allisonb373e092014-02-20 16:06:36 -0800770 cg->MarkPossibleNullPointerException(info->opt_flags);
Jeff Hao88474b42013-10-23 16:24:40 -0700771 break;
772 case 3: // Get this->klass_->imtable [use kInvokeTgt, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700773 // NOTE: native pointer.
774 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt), mirror::Class::ImTableOffset().Int32Value(),
Andreas Gampe3c12c512014-06-24 18:46:29 +0000775 cg->TargetReg(kInvokeTgt),
776 kNotVolatile);
Jeff Hao88474b42013-10-23 16:24:40 -0700777 break;
778 case 4: // Get target method [use kInvokeTgt, set kArg0]
buzbee695d13a2014-04-19 13:32:20 -0700779 // NOTE: native pointer.
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700780 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt),
781 ObjArray::OffsetOfElement(method_idx % ClassLinker::kImtSize).Int32Value(),
Andreas Gampe4b537a82014-06-30 22:24:53 -0700782 cg->TargetRefReg(kArg0),
Andreas Gampe3c12c512014-06-24 18:46:29 +0000783 kNotVolatile);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700784 break;
Jeff Hao88474b42013-10-23 16:24:40 -0700785 case 5: // Get the compiled code address [use kArg0, set kInvokeTgt]
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700786 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Andreas Gampe4b537a82014-06-30 22:24:53 -0700787 cg->LoadWordDisp(cg->TargetRefReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800788 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Jeff Hao88474b42013-10-23 16:24:40 -0700789 cg->TargetReg(kInvokeTgt));
790 break;
791 }
792 // Intentional fallthrough for X86
Brian Carlstrom7940e442013-07-12 13:46:57 -0700793 default:
794 return -1;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700795 }
796 return state + 1;
797}
798
Andreas Gampe2f244e92014-05-08 03:35:25 -0700799template <size_t pointer_size>
800static int NextInvokeInsnSP(CompilationUnit* cu, CallInfo* info, ThreadOffset<pointer_size> trampoline,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700801 int state, const MethodReference& target_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700802 uint32_t method_idx) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700803 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
804 /*
805 * This handles the case in which the base method is not fully
806 * resolved at compile time, we bail to a runtime helper.
807 */
808 if (state == 0) {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700809 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700810 // Load trampoline target
Ian Rogers848871b2013-08-05 10:56:33 -0700811 cg->LoadWordDisp(cg->TargetReg(kSelf), trampoline.Int32Value(), cg->TargetReg(kInvokeTgt));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700812 }
813 // Load kArg0 with method index
814 CHECK_EQ(cu->dex_file, target_method.dex_file);
815 cg->LoadConstant(cg->TargetReg(kArg0), target_method.dex_method_index);
816 return 1;
817 }
818 return -1;
819}
820
821static int NextStaticCallInsnSP(CompilationUnit* cu, CallInfo* info,
822 int state,
823 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000824 uint32_t unused, uintptr_t unused2,
825 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700826 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700827 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeStaticTrampolineWithAccessCheck);
828 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
829 } else {
830 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeStaticTrampolineWithAccessCheck);
831 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
832 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700833}
834
835static int NextDirectCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
836 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000837 uint32_t unused, uintptr_t unused2,
838 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700839 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700840 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeDirectTrampolineWithAccessCheck);
841 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
842 } else {
843 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeDirectTrampolineWithAccessCheck);
844 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
845 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700846}
847
848static int NextSuperCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
849 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000850 uint32_t unused, uintptr_t unused2,
851 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700852 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700853 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeSuperTrampolineWithAccessCheck);
854 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
855 } else {
856 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeSuperTrampolineWithAccessCheck);
857 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
858 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700859}
860
861static int NextVCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
862 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000863 uint32_t unused, uintptr_t unused2,
864 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700865 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700866 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeVirtualTrampolineWithAccessCheck);
867 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
868 } else {
869 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeVirtualTrampolineWithAccessCheck);
870 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
871 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700872}
873
874static int NextInterfaceCallInsnWithAccessCheck(CompilationUnit* cu,
875 CallInfo* info, int state,
876 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000877 uint32_t unused, uintptr_t unused2,
878 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700879 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700880 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeInterfaceTrampolineWithAccessCheck);
881 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
882 } else {
883 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeInterfaceTrampolineWithAccessCheck);
884 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
885 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700886}
887
888int Mir2Lir::LoadArgRegs(CallInfo* info, int call_state,
889 NextCallInsn next_call_insn,
890 const MethodReference& target_method,
891 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700892 uintptr_t direct_method, InvokeType type, bool skip_this) {
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700893 int last_arg_reg = 3 - 1;
894 int arg_regs[3] = {TargetReg(kArg1).GetReg(), TargetReg(kArg2).GetReg(), TargetReg(kArg3).GetReg()};
895
896 int next_reg = 0;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700897 int next_arg = 0;
898 if (skip_this) {
899 next_reg++;
900 next_arg++;
901 }
902 for (; (next_reg <= last_arg_reg) && (next_arg < info->num_arg_words); next_reg++) {
903 RegLocation rl_arg = info->args[next_arg++];
904 rl_arg = UpdateRawLoc(rl_arg);
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700905 if (rl_arg.wide && (next_reg <= last_arg_reg - 1)) {
906 RegStorage r_tmp(RegStorage::k64BitPair, arg_regs[next_reg], arg_regs[next_reg + 1]);
buzbee2700f7e2014-03-07 09:46:20 -0800907 LoadValueDirectWideFixed(rl_arg, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700908 next_reg++;
909 next_arg++;
910 } else {
911 if (rl_arg.wide) {
buzbee2700f7e2014-03-07 09:46:20 -0800912 rl_arg = NarrowRegLoc(rl_arg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700913 rl_arg.is_const = false;
914 }
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700915 LoadValueDirectFixed(rl_arg, RegStorage::Solo32(arg_regs[next_reg]));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700916 }
917 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
918 direct_code, direct_method, type);
919 }
920 return call_state;
921}
922
923/*
924 * Load up to 5 arguments, the first three of which will be in
925 * kArg1 .. kArg3. On entry kArg0 contains the current method pointer,
926 * and as part of the load sequence, it must be replaced with
927 * the target method pointer. Note, this may also be called
928 * for "range" variants if the number of arguments is 5 or fewer.
929 */
930int Mir2Lir::GenDalvikArgsNoRange(CallInfo* info,
931 int call_state, LIR** pcrLabel, NextCallInsn next_call_insn,
932 const MethodReference& target_method,
933 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700934 uintptr_t direct_method, InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700935 RegLocation rl_arg;
936
937 /* If no arguments, just return */
938 if (info->num_arg_words == 0)
939 return call_state;
940
941 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
942 direct_code, direct_method, type);
943
944 DCHECK_LE(info->num_arg_words, 5);
945 if (info->num_arg_words > 3) {
946 int32_t next_use = 3;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700947 // Detect special case of wide arg spanning arg3/arg4
Brian Carlstrom7940e442013-07-12 13:46:57 -0700948 RegLocation rl_use0 = info->args[0];
949 RegLocation rl_use1 = info->args[1];
950 RegLocation rl_use2 = info->args[2];
buzbee2700f7e2014-03-07 09:46:20 -0800951 if (((!rl_use0.wide && !rl_use1.wide) || rl_use0.wide) && rl_use2.wide) {
952 RegStorage reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700953 // Wide spans, we need the 2nd half of uses[2].
954 rl_arg = UpdateLocWide(rl_use2);
955 if (rl_arg.location == kLocPhysReg) {
buzbee85089dd2014-05-25 15:10:52 -0700956 if (rl_arg.reg.IsPair()) {
957 reg = rl_arg.reg.GetHigh();
958 } else {
959 RegisterInfo* info = GetRegInfo(rl_arg.reg);
960 info = info->FindMatchingView(RegisterInfo::kHighSingleStorageMask);
961 if (info == nullptr) {
962 // NOTE: For hard float convention we won't split arguments across reg/mem.
963 UNIMPLEMENTED(FATAL) << "Needs hard float api.";
964 }
965 reg = info->GetReg();
966 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700967 } else {
968 // kArg2 & rArg3 can safely be used here
969 reg = TargetReg(kArg3);
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100970 {
971 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
972 Load32Disp(TargetReg(kSp), SRegOffset(rl_arg.s_reg_low) + 4, reg);
973 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700974 call_state = next_call_insn(cu_, info, call_state, target_method,
975 vtable_idx, direct_code, direct_method, type);
976 }
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100977 {
978 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
979 Store32Disp(TargetReg(kSp), (next_use + 1) * 4, reg);
980 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700981 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
982 direct_code, direct_method, type);
983 next_use++;
984 }
985 // Loop through the rest
986 while (next_use < info->num_arg_words) {
buzbee091cc402014-03-31 10:14:40 -0700987 RegStorage arg_reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700988 rl_arg = info->args[next_use];
989 rl_arg = UpdateRawLoc(rl_arg);
990 if (rl_arg.location == kLocPhysReg) {
buzbee091cc402014-03-31 10:14:40 -0700991 arg_reg = rl_arg.reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700992 } else {
buzbee091cc402014-03-31 10:14:40 -0700993 arg_reg = rl_arg.wide ? RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3)) :
994 TargetReg(kArg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700995 if (rl_arg.wide) {
buzbee091cc402014-03-31 10:14:40 -0700996 LoadValueDirectWideFixed(rl_arg, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700997 } else {
buzbee091cc402014-03-31 10:14:40 -0700998 LoadValueDirectFixed(rl_arg, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700999 }
1000 call_state = next_call_insn(cu_, info, call_state, target_method,
1001 vtable_idx, direct_code, direct_method, type);
1002 }
1003 int outs_offset = (next_use + 1) * 4;
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001004 {
1005 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
1006 if (rl_arg.wide) {
Andreas Gampe3c12c512014-06-24 18:46:29 +00001007 StoreBaseDisp(TargetReg(kSp), outs_offset, arg_reg, k64, kNotVolatile);
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001008 next_use += 2;
1009 } else {
1010 Store32Disp(TargetReg(kSp), outs_offset, arg_reg);
1011 next_use++;
1012 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001013 }
1014 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1015 direct_code, direct_method, type);
1016 }
1017 }
1018
1019 call_state = LoadArgRegs(info, call_state, next_call_insn,
1020 target_method, vtable_idx, direct_code, direct_method,
1021 type, skip_this);
1022
1023 if (pcrLabel) {
Andreas Gampe5655e842014-06-17 16:36:07 -07001024 if (cu_->compiler_driver->GetCompilerOptions().GetExplicitNullChecks()) {
Dave Allisonf9439142014-03-27 15:10:22 -07001025 *pcrLabel = GenExplicitNullCheck(TargetReg(kArg1), info->opt_flags);
1026 } else {
1027 *pcrLabel = nullptr;
1028 // In lieu of generating a check for kArg1 being null, we need to
1029 // perform a load when doing implicit checks.
1030 RegStorage tmp = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -07001031 Load32Disp(TargetReg(kArg1), 0, tmp);
Dave Allisonf9439142014-03-27 15:10:22 -07001032 MarkPossibleNullPointerException(info->opt_flags);
1033 FreeTemp(tmp);
1034 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001035 }
1036 return call_state;
1037}
1038
1039/*
1040 * May have 0+ arguments (also used for jumbo). Note that
1041 * source virtual registers may be in physical registers, so may
1042 * need to be flushed to home location before copying. This
1043 * applies to arg3 and above (see below).
1044 *
1045 * Two general strategies:
1046 * If < 20 arguments
1047 * Pass args 3-18 using vldm/vstm block copy
1048 * Pass arg0, arg1 & arg2 in kArg1-kArg3
1049 * If 20+ arguments
1050 * Pass args arg19+ using memcpy block copy
1051 * Pass arg0, arg1 & arg2 in kArg1-kArg3
1052 *
1053 */
1054int Mir2Lir::GenDalvikArgsRange(CallInfo* info, int call_state,
1055 LIR** pcrLabel, NextCallInsn next_call_insn,
1056 const MethodReference& target_method,
1057 uint32_t vtable_idx, uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001058 InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001059 // If we can treat it as non-range (Jumbo ops will use range form)
1060 if (info->num_arg_words <= 5)
1061 return GenDalvikArgsNoRange(info, call_state, pcrLabel,
1062 next_call_insn, target_method, vtable_idx,
1063 direct_code, direct_method, type, skip_this);
1064 /*
1065 * First load the non-register arguments. Both forms expect all
1066 * of the source arguments to be in their home frame location, so
1067 * scan the s_reg names and flush any that have been promoted to
1068 * frame backing storage.
1069 */
1070 // Scan the rest of the args - if in phys_reg flush to memory
1071 for (int next_arg = 0; next_arg < info->num_arg_words;) {
1072 RegLocation loc = info->args[next_arg];
1073 if (loc.wide) {
1074 loc = UpdateLocWide(loc);
1075 if ((next_arg >= 2) && (loc.location == kLocPhysReg)) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001076 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
Andreas Gampe3c12c512014-06-24 18:46:29 +00001077 StoreBaseDisp(TargetReg(kSp), SRegOffset(loc.s_reg_low), loc.reg, k64, kNotVolatile);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001078 }
1079 next_arg += 2;
1080 } else {
1081 loc = UpdateLoc(loc);
1082 if ((next_arg >= 3) && (loc.location == kLocPhysReg)) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001083 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
buzbee695d13a2014-04-19 13:32:20 -07001084 Store32Disp(TargetReg(kSp), SRegOffset(loc.s_reg_low), loc.reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001085 }
1086 next_arg++;
1087 }
1088 }
1089
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001090 // Logic below assumes that Method pointer is at offset zero from SP.
1091 DCHECK_EQ(VRegOffset(static_cast<int>(kVRegMethodPtrBaseReg)), 0);
1092
1093 // The first 3 arguments are passed via registers.
1094 // TODO: For 64-bit, instead of hardcoding 4 for Method* size, we should either
1095 // get size of uintptr_t or size of object reference according to model being used.
1096 int outs_offset = 4 /* Method* */ + (3 * sizeof(uint32_t));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001097 int start_offset = SRegOffset(info->args[3].s_reg_low);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001098 int regs_left_to_pass_via_stack = info->num_arg_words - 3;
1099 DCHECK_GT(regs_left_to_pass_via_stack, 0);
1100
1101 if (cu_->instruction_set == kThumb2 && regs_left_to_pass_via_stack <= 16) {
1102 // Use vldm/vstm pair using kArg3 as a temp
1103 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1104 direct_code, direct_method, type);
1105 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), start_offset);
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001106 LIR* ld = nullptr;
1107 {
1108 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
1109 ld = OpVldm(TargetReg(kArg3), regs_left_to_pass_via_stack);
1110 }
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001111 // TUNING: loosen barrier
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001112 ld->u.m.def_mask = &kEncodeAll;
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001113 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1114 direct_code, direct_method, type);
1115 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), 4 /* Method* */ + (3 * 4));
1116 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1117 direct_code, direct_method, type);
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001118 LIR* st = nullptr;
1119 {
1120 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
1121 st = OpVstm(TargetReg(kArg3), regs_left_to_pass_via_stack);
1122 }
1123 st->u.m.def_mask = &kEncodeAll;
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001124 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1125 direct_code, direct_method, type);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001126 } else if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001127 int current_src_offset = start_offset;
1128 int current_dest_offset = outs_offset;
1129
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001130 // Only davik regs are accessed in this loop; no next_call_insn() calls.
1131 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001132 while (regs_left_to_pass_via_stack > 0) {
1133 // This is based on the knowledge that the stack itself is 16-byte aligned.
1134 bool src_is_16b_aligned = (current_src_offset & 0xF) == 0;
1135 bool dest_is_16b_aligned = (current_dest_offset & 0xF) == 0;
1136 size_t bytes_to_move;
1137
1138 /*
1139 * The amount to move defaults to 32-bit. If there are 4 registers left to move, then do a
1140 * a 128-bit move because we won't get the chance to try to aligned. If there are more than
1141 * 4 registers left to move, consider doing a 128-bit only if either src or dest are aligned.
1142 * We do this because we could potentially do a smaller move to align.
1143 */
1144 if (regs_left_to_pass_via_stack == 4 ||
1145 (regs_left_to_pass_via_stack > 4 && (src_is_16b_aligned || dest_is_16b_aligned))) {
1146 // Moving 128-bits via xmm register.
1147 bytes_to_move = sizeof(uint32_t) * 4;
1148
1149 // Allocate a free xmm temp. Since we are working through the calling sequence,
Mark Mendelle87f9b52014-04-30 14:13:18 -04001150 // we expect to have an xmm temporary available. AllocTempDouble will abort if
1151 // there are no free registers.
buzbee2700f7e2014-03-07 09:46:20 -08001152 RegStorage temp = AllocTempDouble();
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001153
1154 LIR* ld1 = nullptr;
1155 LIR* ld2 = nullptr;
1156 LIR* st1 = nullptr;
1157 LIR* st2 = nullptr;
1158
1159 /*
1160 * The logic is similar for both loads and stores. If we have 16-byte alignment,
1161 * do an aligned move. If we have 8-byte alignment, then do the move in two
1162 * parts. This approach prevents possible cache line splits. Finally, fall back
1163 * to doing an unaligned move. In most cases we likely won't split the cache
1164 * line but we cannot prove it and thus take a conservative approach.
1165 */
1166 bool src_is_8b_aligned = (current_src_offset & 0x7) == 0;
1167 bool dest_is_8b_aligned = (current_dest_offset & 0x7) == 0;
1168
1169 if (src_is_16b_aligned) {
1170 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovA128FP);
1171 } else if (src_is_8b_aligned) {
1172 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovLo128FP);
buzbee2700f7e2014-03-07 09:46:20 -08001173 ld2 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset + (bytes_to_move >> 1),
1174 kMovHi128FP);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001175 } else {
1176 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovU128FP);
1177 }
1178
1179 if (dest_is_16b_aligned) {
1180 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovA128FP);
1181 } else if (dest_is_8b_aligned) {
1182 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovLo128FP);
buzbee2700f7e2014-03-07 09:46:20 -08001183 st2 = OpMovMemReg(TargetReg(kSp), current_dest_offset + (bytes_to_move >> 1),
1184 temp, kMovHi128FP);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001185 } else {
1186 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovU128FP);
1187 }
1188
1189 // TODO If we could keep track of aliasing information for memory accesses that are wider
1190 // than 64-bit, we wouldn't need to set up a barrier.
1191 if (ld1 != nullptr) {
1192 if (ld2 != nullptr) {
1193 // For 64-bit load we can actually set up the aliasing information.
1194 AnnotateDalvikRegAccess(ld1, current_src_offset >> 2, true, true);
1195 AnnotateDalvikRegAccess(ld2, (current_src_offset + (bytes_to_move >> 1)) >> 2, true, true);
1196 } else {
1197 // Set barrier for 128-bit load.
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001198 ld1->u.m.def_mask = &kEncodeAll;
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001199 }
1200 }
1201 if (st1 != nullptr) {
1202 if (st2 != nullptr) {
1203 // For 64-bit store we can actually set up the aliasing information.
1204 AnnotateDalvikRegAccess(st1, current_dest_offset >> 2, false, true);
1205 AnnotateDalvikRegAccess(st2, (current_dest_offset + (bytes_to_move >> 1)) >> 2, false, true);
1206 } else {
1207 // Set barrier for 128-bit store.
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001208 st1->u.m.def_mask = &kEncodeAll;
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001209 }
1210 }
1211
1212 // Free the temporary used for the data movement.
buzbee091cc402014-03-31 10:14:40 -07001213 FreeTemp(temp);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001214 } else {
1215 // Moving 32-bits via general purpose register.
1216 bytes_to_move = sizeof(uint32_t);
1217
1218 // Instead of allocating a new temp, simply reuse one of the registers being used
1219 // for argument passing.
buzbee2700f7e2014-03-07 09:46:20 -08001220 RegStorage temp = TargetReg(kArg3);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001221
1222 // Now load the argument VR and store to the outs.
buzbee695d13a2014-04-19 13:32:20 -07001223 Load32Disp(TargetReg(kSp), current_src_offset, temp);
1224 Store32Disp(TargetReg(kSp), current_dest_offset, temp);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001225 }
1226
1227 current_src_offset += bytes_to_move;
1228 current_dest_offset += bytes_to_move;
1229 regs_left_to_pass_via_stack -= (bytes_to_move >> 2);
1230 }
1231 } else {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001232 // Generate memcpy
1233 OpRegRegImm(kOpAdd, TargetReg(kArg0), TargetReg(kSp), outs_offset);
1234 OpRegRegImm(kOpAdd, TargetReg(kArg1), TargetReg(kSp), start_offset);
buzbee33ae5582014-06-12 14:56:32 -07001235 if (cu_->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001236 CallRuntimeHelperRegRegImm(QUICK_ENTRYPOINT_OFFSET(8, pMemcpy), TargetReg(kArg0),
1237 TargetReg(kArg1), (info->num_arg_words - 3) * 4, false);
1238 } else {
1239 CallRuntimeHelperRegRegImm(QUICK_ENTRYPOINT_OFFSET(4, pMemcpy), TargetReg(kArg0),
1240 TargetReg(kArg1), (info->num_arg_words - 3) * 4, false);
1241 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001242 }
1243
1244 call_state = LoadArgRegs(info, call_state, next_call_insn,
1245 target_method, vtable_idx, direct_code, direct_method,
1246 type, skip_this);
1247
1248 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1249 direct_code, direct_method, type);
1250 if (pcrLabel) {
Andreas Gampe5655e842014-06-17 16:36:07 -07001251 if (cu_->compiler_driver->GetCompilerOptions().GetExplicitNullChecks()) {
Dave Allisonf9439142014-03-27 15:10:22 -07001252 *pcrLabel = GenExplicitNullCheck(TargetReg(kArg1), info->opt_flags);
1253 } else {
1254 *pcrLabel = nullptr;
1255 // In lieu of generating a check for kArg1 being null, we need to
1256 // perform a load when doing implicit checks.
1257 RegStorage tmp = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -07001258 Load32Disp(TargetReg(kArg1), 0, tmp);
Dave Allisonf9439142014-03-27 15:10:22 -07001259 MarkPossibleNullPointerException(info->opt_flags);
1260 FreeTemp(tmp);
1261 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001262 }
1263 return call_state;
1264}
1265
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001266RegLocation Mir2Lir::InlineTarget(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001267 RegLocation res;
1268 if (info->result.location == kLocInvalid) {
buzbeea0cd2d72014-06-01 09:33:49 -07001269 res = GetReturn(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001270 } else {
1271 res = info->result;
1272 }
1273 return res;
1274}
1275
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001276RegLocation Mir2Lir::InlineTargetWide(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001277 RegLocation res;
1278 if (info->result.location == kLocInvalid) {
buzbeea0cd2d72014-06-01 09:33:49 -07001279 res = GetReturnWide(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001280 } else {
1281 res = info->result;
1282 }
1283 return res;
1284}
1285
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001286bool Mir2Lir::GenInlinedCharAt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001287 if (cu_->instruction_set == kMips) {
1288 // TODO - add Mips implementation
1289 return false;
1290 }
1291 // Location of reference to data array
1292 int value_offset = mirror::String::ValueOffset().Int32Value();
1293 // Location of count
1294 int count_offset = mirror::String::CountOffset().Int32Value();
1295 // Starting offset within data array
1296 int offset_offset = mirror::String::OffsetOffset().Int32Value();
1297 // Start of char data with array_
1298 int data_offset = mirror::Array::DataOffset(sizeof(uint16_t)).Int32Value();
1299
1300 RegLocation rl_obj = info->args[0];
1301 RegLocation rl_idx = info->args[1];
buzbeea0cd2d72014-06-01 09:33:49 -07001302 rl_obj = LoadValue(rl_obj, kRefReg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001303 // X86 wants to avoid putting a constant index into a register.
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001304 if (!((cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64)&& rl_idx.is_const)) {
Mark Mendell2b724cb2014-02-06 05:24:20 -08001305 rl_idx = LoadValue(rl_idx, kCoreReg);
1306 }
buzbee2700f7e2014-03-07 09:46:20 -08001307 RegStorage reg_max;
1308 GenNullCheck(rl_obj.reg, info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001309 bool range_check = (!(info->opt_flags & MIR_IGNORE_RANGE_CHECK));
Vladimir Marko3bc86152014-03-13 14:11:28 +00001310 LIR* range_check_branch = nullptr;
buzbee2700f7e2014-03-07 09:46:20 -08001311 RegStorage reg_off;
1312 RegStorage reg_ptr;
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001313 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001314 reg_off = AllocTemp();
buzbeea0cd2d72014-06-01 09:33:49 -07001315 reg_ptr = AllocTempRef();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001316 if (range_check) {
1317 reg_max = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -07001318 Load32Disp(rl_obj.reg, count_offset, reg_max);
Dave Allisonb373e092014-02-20 16:06:36 -08001319 MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001320 }
buzbee695d13a2014-04-19 13:32:20 -07001321 Load32Disp(rl_obj.reg, offset_offset, reg_off);
Dave Allisonb373e092014-02-20 16:06:36 -08001322 MarkPossibleNullPointerException(info->opt_flags);
buzbee695d13a2014-04-19 13:32:20 -07001323 Load32Disp(rl_obj.reg, value_offset, reg_ptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001324 if (range_check) {
Mingyao Yang3a74d152014-04-21 15:39:44 -07001325 // Set up a slow path to allow retry in case of bounds violation */
buzbee2700f7e2014-03-07 09:46:20 -08001326 OpRegReg(kOpCmp, rl_idx.reg, reg_max);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001327 FreeTemp(reg_max);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001328 range_check_branch = OpCondBranch(kCondUge, nullptr);
Brian Carlstrom6f485c62013-07-18 15:35:35 -07001329 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001330 OpRegImm(kOpAdd, reg_ptr, data_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001331 } else {
1332 if (range_check) {
Mark Mendell2b724cb2014-02-06 05:24:20 -08001333 // On x86, we can compare to memory directly
Brian Carlstrom7940e442013-07-12 13:46:57 -07001334 // Set up a launch pad to allow retry in case of bounds violation */
Mark Mendell2b724cb2014-02-06 05:24:20 -08001335 if (rl_idx.is_const) {
Vladimir Marko3bc86152014-03-13 14:11:28 +00001336 range_check_branch = OpCmpMemImmBranch(
buzbee2700f7e2014-03-07 09:46:20 -08001337 kCondUlt, RegStorage::InvalidReg(), rl_obj.reg, count_offset,
Vladimir Marko3bc86152014-03-13 14:11:28 +00001338 mir_graph_->ConstantValue(rl_idx.orig_sreg), nullptr);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001339 } else {
buzbee2700f7e2014-03-07 09:46:20 -08001340 OpRegMem(kOpCmp, rl_idx.reg, rl_obj.reg, count_offset);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001341 range_check_branch = OpCondBranch(kCondUge, nullptr);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001342 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001343 }
1344 reg_off = AllocTemp();
buzbeea0cd2d72014-06-01 09:33:49 -07001345 reg_ptr = AllocTempRef();
buzbee695d13a2014-04-19 13:32:20 -07001346 Load32Disp(rl_obj.reg, offset_offset, reg_off);
Andreas Gampe3c12c512014-06-24 18:46:29 +00001347 LoadRefDisp(rl_obj.reg, value_offset, reg_ptr, kNotVolatile);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001348 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001349 if (rl_idx.is_const) {
1350 OpRegImm(kOpAdd, reg_off, mir_graph_->ConstantValue(rl_idx.orig_sreg));
1351 } else {
buzbee2700f7e2014-03-07 09:46:20 -08001352 OpRegReg(kOpAdd, reg_off, rl_idx.reg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001353 }
buzbee2700f7e2014-03-07 09:46:20 -08001354 FreeTemp(rl_obj.reg);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001355 if (rl_idx.location == kLocPhysReg) {
buzbee2700f7e2014-03-07 09:46:20 -08001356 FreeTemp(rl_idx.reg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001357 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001358 RegLocation rl_dest = InlineTarget(info);
1359 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001360 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
buzbee2700f7e2014-03-07 09:46:20 -08001361 LoadBaseIndexed(reg_ptr, reg_off, rl_result.reg, 1, kUnsignedHalf);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001362 } else {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001363 LoadBaseIndexedDisp(reg_ptr, reg_off, 1, data_offset, rl_result.reg, kUnsignedHalf);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001364 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001365 FreeTemp(reg_off);
1366 FreeTemp(reg_ptr);
1367 StoreValue(rl_dest, rl_result);
1368 if (range_check) {
Vladimir Marko3bc86152014-03-13 14:11:28 +00001369 DCHECK(range_check_branch != nullptr);
1370 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've already null checked.
Mingyao Yang3a74d152014-04-21 15:39:44 -07001371 AddIntrinsicSlowPath(info, range_check_branch);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001372 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001373 return true;
1374}
1375
1376// Generates an inlined String.is_empty or String.length.
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001377bool Mir2Lir::GenInlinedStringIsEmptyOrLength(CallInfo* info, bool is_empty) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001378 if (cu_->instruction_set == kMips) {
1379 // TODO - add Mips implementation
1380 return false;
1381 }
1382 // dst = src.length();
1383 RegLocation rl_obj = info->args[0];
buzbeea0cd2d72014-06-01 09:33:49 -07001384 rl_obj = LoadValue(rl_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001385 RegLocation rl_dest = InlineTarget(info);
1386 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001387 GenNullCheck(rl_obj.reg, info->opt_flags);
buzbee695d13a2014-04-19 13:32:20 -07001388 Load32Disp(rl_obj.reg, mirror::String::CountOffset().Int32Value(), rl_result.reg);
Dave Allisonb373e092014-02-20 16:06:36 -08001389 MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001390 if (is_empty) {
1391 // dst = (dst == 0);
1392 if (cu_->instruction_set == kThumb2) {
buzbee2700f7e2014-03-07 09:46:20 -08001393 RegStorage t_reg = AllocTemp();
1394 OpRegReg(kOpNeg, t_reg, rl_result.reg);
1395 OpRegRegReg(kOpAdc, rl_result.reg, rl_result.reg, t_reg);
Serban Constantinescu169489b2014-06-11 16:43:35 +01001396 } else if (cu_->instruction_set == kArm64) {
1397 OpRegImm(kOpSub, rl_result.reg, 1);
1398 OpRegRegImm(kOpLsr, rl_result.reg, rl_result.reg, 31);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001399 } else {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001400 DCHECK(cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64);
buzbee2700f7e2014-03-07 09:46:20 -08001401 OpRegImm(kOpSub, rl_result.reg, 1);
1402 OpRegImm(kOpLsr, rl_result.reg, 31);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001403 }
1404 }
1405 StoreValue(rl_dest, rl_result);
1406 return true;
1407}
1408
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001409bool Mir2Lir::GenInlinedReverseBytes(CallInfo* info, OpSize size) {
1410 if (cu_->instruction_set == kMips) {
1411 // TODO - add Mips implementation
1412 return false;
1413 }
1414 RegLocation rl_src_i = info->args[0];
buzbee695d13a2014-04-19 13:32:20 -07001415 RegLocation rl_dest = (size == k64) ? InlineTargetWide(info) : InlineTarget(info); // result reg
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001416 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee695d13a2014-04-19 13:32:20 -07001417 if (size == k64) {
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001418 RegLocation rl_i = LoadValueWide(rl_src_i, kCoreReg);
Serban Constantinescu169489b2014-06-11 16:43:35 +01001419 if (cu_->instruction_set == kArm64) {
1420 OpRegReg(kOpRev, rl_result.reg, rl_i.reg);
1421 StoreValueWide(rl_dest, rl_result);
1422 return true;
1423 }
buzbee2700f7e2014-03-07 09:46:20 -08001424 RegStorage r_i_low = rl_i.reg.GetLow();
1425 if (rl_i.reg.GetLowReg() == rl_result.reg.GetLowReg()) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001426 // 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 +00001427 r_i_low = AllocTemp();
buzbee2700f7e2014-03-07 09:46:20 -08001428 OpRegCopy(r_i_low, rl_i.reg);
Vladimir Markof246af22013-11-27 12:30:15 +00001429 }
buzbee2700f7e2014-03-07 09:46:20 -08001430 OpRegReg(kOpRev, rl_result.reg.GetLow(), rl_i.reg.GetHigh());
1431 OpRegReg(kOpRev, rl_result.reg.GetHigh(), r_i_low);
1432 if (rl_i.reg.GetLowReg() == rl_result.reg.GetLowReg()) {
Vladimir Markof246af22013-11-27 12:30:15 +00001433 FreeTemp(r_i_low);
1434 }
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001435 StoreValueWide(rl_dest, rl_result);
1436 } else {
buzbee695d13a2014-04-19 13:32:20 -07001437 DCHECK(size == k32 || size == kSignedHalf);
1438 OpKind op = (size == k32) ? kOpRev : kOpRevsh;
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001439 RegLocation rl_i = LoadValue(rl_src_i, kCoreReg);
buzbee2700f7e2014-03-07 09:46:20 -08001440 OpRegReg(op, rl_result.reg, rl_i.reg);
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001441 StoreValue(rl_dest, rl_result);
1442 }
1443 return true;
1444}
1445
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001446bool Mir2Lir::GenInlinedAbsInt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001447 if (cu_->instruction_set == kMips) {
1448 // TODO - add Mips implementation
1449 return false;
1450 }
1451 RegLocation rl_src = info->args[0];
1452 rl_src = LoadValue(rl_src, kCoreReg);
1453 RegLocation rl_dest = InlineTarget(info);
1454 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001455 RegStorage sign_reg = AllocTemp();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001456 // abs(x) = y<=x>>31, (x+y)^y.
buzbee2700f7e2014-03-07 09:46:20 -08001457 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg, 31);
1458 OpRegRegReg(kOpAdd, rl_result.reg, rl_src.reg, sign_reg);
1459 OpRegReg(kOpXor, rl_result.reg, sign_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001460 StoreValue(rl_dest, rl_result);
1461 return true;
1462}
1463
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001464bool Mir2Lir::GenInlinedAbsLong(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001465 if (cu_->instruction_set == kMips) {
1466 // TODO - add Mips implementation
1467 return false;
1468 }
Vladimir Markob9823312014-03-20 17:38:43 +00001469 RegLocation rl_src = info->args[0];
1470 rl_src = LoadValueWide(rl_src, kCoreReg);
1471 RegLocation rl_dest = InlineTargetWide(info);
1472 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1473
1474 // If on x86 or if we would clobber a register needed later, just copy the source first.
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001475 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64 || rl_result.reg.GetLowReg() == rl_src.reg.GetHighReg()) {
buzbee2700f7e2014-03-07 09:46:20 -08001476 OpRegCopyWide(rl_result.reg, rl_src.reg);
1477 if (rl_result.reg.GetLowReg() != rl_src.reg.GetLowReg() &&
1478 rl_result.reg.GetLowReg() != rl_src.reg.GetHighReg() &&
1479 rl_result.reg.GetHighReg() != rl_src.reg.GetLowReg() &&
Vladimir Markob9823312014-03-20 17:38:43 +00001480 rl_result.reg.GetHighReg() != rl_src.reg.GetHighReg()) {
1481 // Reuse source registers to avoid running out of temps.
buzbee2700f7e2014-03-07 09:46:20 -08001482 FreeTemp(rl_src.reg);
Vladimir Markob9823312014-03-20 17:38:43 +00001483 }
1484 rl_src = rl_result;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001485 }
Vladimir Markob9823312014-03-20 17:38:43 +00001486
1487 // abs(x) = y<=x>>31, (x+y)^y.
buzbee2700f7e2014-03-07 09:46:20 -08001488 RegStorage sign_reg = AllocTemp();
1489 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg.GetHigh(), 31);
1490 OpRegRegReg(kOpAdd, rl_result.reg.GetLow(), rl_src.reg.GetLow(), sign_reg);
1491 OpRegRegReg(kOpAdc, rl_result.reg.GetHigh(), rl_src.reg.GetHigh(), sign_reg);
1492 OpRegReg(kOpXor, rl_result.reg.GetLow(), sign_reg);
1493 OpRegReg(kOpXor, rl_result.reg.GetHigh(), sign_reg);
buzbee082833c2014-05-17 23:16:26 -07001494 FreeTemp(sign_reg);
Vladimir Markob9823312014-03-20 17:38:43 +00001495 StoreValueWide(rl_dest, rl_result);
1496 return true;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001497}
1498
Yixin Shoudbb17e32014-02-07 05:09:30 -08001499bool Mir2Lir::GenInlinedAbsFloat(CallInfo* info) {
1500 if (cu_->instruction_set == kMips) {
1501 // TODO - add Mips implementation
1502 return false;
1503 }
1504 RegLocation rl_src = info->args[0];
1505 rl_src = LoadValue(rl_src, kCoreReg);
1506 RegLocation rl_dest = InlineTarget(info);
1507 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001508 OpRegRegImm(kOpAnd, rl_result.reg, rl_src.reg, 0x7fffffff);
Yixin Shoudbb17e32014-02-07 05:09:30 -08001509 StoreValue(rl_dest, rl_result);
1510 return true;
1511}
1512
1513bool Mir2Lir::GenInlinedAbsDouble(CallInfo* info) {
1514 if (cu_->instruction_set == kMips) {
1515 // TODO - add Mips implementation
1516 return false;
1517 }
1518 RegLocation rl_src = info->args[0];
1519 rl_src = LoadValueWide(rl_src, kCoreReg);
1520 RegLocation rl_dest = InlineTargetWide(info);
1521 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Serban Constantinescu169489b2014-06-11 16:43:35 +01001522
1523 if (cu_->instruction_set == kArm64) {
1524 // TODO - Can ecode ? UBXF otherwise
1525 // OpRegRegImm(kOpAnd, rl_result.reg, 0x7fffffffffffffff);
1526 return false;
1527 } else {
1528 OpRegCopyWide(rl_result.reg, rl_src.reg);
1529 OpRegImm(kOpAnd, rl_result.reg.GetHigh(), 0x7fffffff);
1530 }
Yixin Shoudbb17e32014-02-07 05:09:30 -08001531 StoreValueWide(rl_dest, rl_result);
1532 return true;
1533}
1534
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001535bool Mir2Lir::GenInlinedFloatCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001536 if (cu_->instruction_set == kMips) {
1537 // TODO - add Mips implementation
1538 return false;
1539 }
1540 RegLocation rl_src = info->args[0];
1541 RegLocation rl_dest = InlineTarget(info);
1542 StoreValue(rl_dest, rl_src);
1543 return true;
1544}
1545
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001546bool Mir2Lir::GenInlinedDoubleCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001547 if (cu_->instruction_set == kMips) {
1548 // TODO - add Mips implementation
1549 return false;
1550 }
1551 RegLocation rl_src = info->args[0];
1552 RegLocation rl_dest = InlineTargetWide(info);
1553 StoreValueWide(rl_dest, rl_src);
1554 return true;
1555}
1556
1557/*
Vladimir Marko3bc86152014-03-13 14:11:28 +00001558 * Fast String.indexOf(I) & (II). Tests for simple case of char <= 0xFFFF,
Brian Carlstrom7940e442013-07-12 13:46:57 -07001559 * otherwise bails to standard library code.
1560 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001561bool Mir2Lir::GenInlinedIndexOf(CallInfo* info, bool zero_based) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001562 if (cu_->instruction_set == kMips) {
1563 // TODO - add Mips implementation
1564 return false;
1565 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001566 RegLocation rl_obj = info->args[0];
1567 RegLocation rl_char = info->args[1];
1568 if (rl_char.is_const && (mir_graph_->ConstantValue(rl_char) & ~0xFFFF) != 0) {
1569 // Code point beyond 0xFFFF. Punt to the real String.indexOf().
1570 return false;
1571 }
1572
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001573 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001574 LockCallTemps(); // Using fixed registers
buzbee2700f7e2014-03-07 09:46:20 -08001575 RegStorage reg_ptr = TargetReg(kArg0);
1576 RegStorage reg_char = TargetReg(kArg1);
1577 RegStorage reg_start = TargetReg(kArg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001578
Brian Carlstrom7940e442013-07-12 13:46:57 -07001579 LoadValueDirectFixed(rl_obj, reg_ptr);
1580 LoadValueDirectFixed(rl_char, reg_char);
1581 if (zero_based) {
1582 LoadConstant(reg_start, 0);
1583 } else {
buzbeea44d4f52014-03-05 11:26:39 -08001584 RegLocation rl_start = info->args[2]; // 3rd arg only present in III flavor of IndexOf.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001585 LoadValueDirectFixed(rl_start, reg_start);
1586 }
buzbee33ae5582014-06-12 14:56:32 -07001587 RegStorage r_tgt = cu_->target64 ?
Andreas Gampe2f244e92014-05-08 03:35:25 -07001588 LoadHelper(QUICK_ENTRYPOINT_OFFSET(8, pIndexOf)) :
1589 LoadHelper(QUICK_ENTRYPOINT_OFFSET(4, pIndexOf));
Dave Allisonf9439142014-03-27 15:10:22 -07001590 GenExplicitNullCheck(reg_ptr, info->opt_flags);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001591 LIR* high_code_point_branch =
1592 rl_char.is_const ? nullptr : OpCmpImmBranch(kCondGt, reg_char, 0xFFFF, nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001593 // NOTE: not a safepoint
Mark Mendell4028a6c2014-02-19 20:06:20 -08001594 OpReg(kOpBlx, r_tgt);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001595 if (!rl_char.is_const) {
1596 // Add the slow path for code points beyond 0xFFFF.
1597 DCHECK(high_code_point_branch != nullptr);
1598 LIR* resume_tgt = NewLIR0(kPseudoTargetLabel);
1599 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've null checked.
Mingyao Yang3a74d152014-04-21 15:39:44 -07001600 AddIntrinsicSlowPath(info, high_code_point_branch, resume_tgt);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001601 } else {
1602 DCHECK_EQ(mir_graph_->ConstantValue(rl_char) & ~0xFFFF, 0);
1603 DCHECK(high_code_point_branch == nullptr);
1604 }
buzbeea0cd2d72014-06-01 09:33:49 -07001605 RegLocation rl_return = GetReturn(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001606 RegLocation rl_dest = InlineTarget(info);
1607 StoreValue(rl_dest, rl_return);
1608 return true;
1609}
1610
1611/* Fast string.compareTo(Ljava/lang/string;)I. */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001612bool Mir2Lir::GenInlinedStringCompareTo(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001613 if (cu_->instruction_set == kMips) {
1614 // TODO - add Mips implementation
1615 return false;
1616 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001617 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001618 LockCallTemps(); // Using fixed registers
buzbee2700f7e2014-03-07 09:46:20 -08001619 RegStorage reg_this = TargetReg(kArg0);
1620 RegStorage reg_cmp = TargetReg(kArg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001621
1622 RegLocation rl_this = info->args[0];
1623 RegLocation rl_cmp = info->args[1];
1624 LoadValueDirectFixed(rl_this, reg_this);
1625 LoadValueDirectFixed(rl_cmp, reg_cmp);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001626 RegStorage r_tgt;
1627 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
buzbee33ae5582014-06-12 14:56:32 -07001628 if (cu_->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001629 r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(8, pStringCompareTo));
1630 } else {
1631 r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(4, pStringCompareTo));
1632 }
1633 } else {
1634 r_tgt = RegStorage::InvalidReg();
1635 }
Dave Allisonf9439142014-03-27 15:10:22 -07001636 GenExplicitNullCheck(reg_this, info->opt_flags);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001637 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've null checked.
Brian Carlstrom7934ac22013-07-26 10:54:15 -07001638 // TUNING: check if rl_cmp.s_reg_low is already null checked
Vladimir Marko3bc86152014-03-13 14:11:28 +00001639 LIR* cmp_null_check_branch = OpCmpImmBranch(kCondEq, reg_cmp, 0, nullptr);
Mingyao Yang3a74d152014-04-21 15:39:44 -07001640 AddIntrinsicSlowPath(info, cmp_null_check_branch);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001641 // NOTE: not a safepoint
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001642 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001643 OpReg(kOpBlx, r_tgt);
1644 } else {
buzbee33ae5582014-06-12 14:56:32 -07001645 if (cu_->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001646 OpThreadMem(kOpBlx, QUICK_ENTRYPOINT_OFFSET(8, pStringCompareTo));
1647 } else {
1648 OpThreadMem(kOpBlx, QUICK_ENTRYPOINT_OFFSET(4, pStringCompareTo));
1649 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001650 }
buzbeea0cd2d72014-06-01 09:33:49 -07001651 RegLocation rl_return = GetReturn(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001652 RegLocation rl_dest = InlineTarget(info);
1653 StoreValue(rl_dest, rl_return);
1654 return true;
1655}
1656
1657bool Mir2Lir::GenInlinedCurrentThread(CallInfo* info) {
1658 RegLocation rl_dest = InlineTarget(info);
1659 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001660
1661 switch (cu_->instruction_set) {
1662 case kArm:
1663 // Fall-through.
1664 case kThumb2:
1665 // Fall-through.
1666 case kMips:
1667 Load32Disp(TargetReg(kSelf), Thread::PeerOffset<4>().Int32Value(), rl_result.reg);
1668 break;
1669
1670 case kArm64:
1671 Load32Disp(TargetReg(kSelf), Thread::PeerOffset<8>().Int32Value(), rl_result.reg);
1672 break;
1673
1674 case kX86:
1675 reinterpret_cast<X86Mir2Lir*>(this)->OpRegThreadMem(kOpMov, rl_result.reg,
1676 Thread::PeerOffset<4>());
1677 break;
1678
1679 case kX86_64:
1680 reinterpret_cast<X86Mir2Lir*>(this)->OpRegThreadMem(kOpMov, rl_result.reg,
1681 Thread::PeerOffset<8>());
1682 break;
1683
1684 default:
1685 LOG(FATAL) << "Unexpected isa " << cu_->instruction_set;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001686 }
1687 StoreValue(rl_dest, rl_result);
1688 return true;
1689}
1690
1691bool Mir2Lir::GenInlinedUnsafeGet(CallInfo* info,
1692 bool is_long, bool is_volatile) {
1693 if (cu_->instruction_set == kMips) {
1694 // TODO - add Mips implementation
1695 return false;
1696 }
1697 // Unused - RegLocation rl_src_unsafe = info->args[0];
1698 RegLocation rl_src_obj = info->args[1]; // Object
1699 RegLocation rl_src_offset = info->args[2]; // long low
buzbee2700f7e2014-03-07 09:46:20 -08001700 rl_src_offset = NarrowRegLoc(rl_src_offset); // ignore high half in info->args[3]
Mark Mendell55d0eac2014-02-06 11:02:52 -08001701 RegLocation rl_dest = is_long ? InlineTargetWide(info) : InlineTarget(info); // result reg
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001702
buzbeea0cd2d72014-06-01 09:33:49 -07001703 RegLocation rl_object = LoadValue(rl_src_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001704 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1705 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1706 if (is_long) {
Dmitry Petrochenko9bf549d2014-05-12 11:14:46 +07001707 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001708 LoadBaseIndexedDisp(rl_object.reg, rl_offset.reg, 0, 0, rl_result.reg, k64);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001709 } else {
1710 RegStorage rl_temp_offset = AllocTemp();
1711 OpRegRegReg(kOpAdd, rl_temp_offset, rl_object.reg, rl_offset.reg);
Andreas Gampe3c12c512014-06-24 18:46:29 +00001712 LoadBaseDisp(rl_temp_offset, 0, rl_result.reg, k64, kNotVolatile);
buzbee091cc402014-03-31 10:14:40 -07001713 FreeTemp(rl_temp_offset);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001714 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001715 } else {
buzbee695d13a2014-04-19 13:32:20 -07001716 LoadBaseIndexed(rl_object.reg, rl_offset.reg, rl_result.reg, 0, k32);
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001717 }
1718
1719 if (is_volatile) {
1720 // Without context sensitive analysis, we must issue the most conservative barriers.
1721 // In this case, either a load or store may follow so we issue both barriers.
1722 GenMemBarrier(kLoadLoad);
1723 GenMemBarrier(kLoadStore);
1724 }
1725
1726 if (is_long) {
1727 StoreValueWide(rl_dest, rl_result);
1728 } else {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001729 StoreValue(rl_dest, rl_result);
1730 }
1731 return true;
1732}
1733
1734bool Mir2Lir::GenInlinedUnsafePut(CallInfo* info, bool is_long,
1735 bool is_object, bool is_volatile, bool is_ordered) {
1736 if (cu_->instruction_set == kMips) {
1737 // TODO - add Mips implementation
1738 return false;
1739 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001740 // Unused - RegLocation rl_src_unsafe = info->args[0];
1741 RegLocation rl_src_obj = info->args[1]; // Object
1742 RegLocation rl_src_offset = info->args[2]; // long low
buzbee2700f7e2014-03-07 09:46:20 -08001743 rl_src_offset = NarrowRegLoc(rl_src_offset); // ignore high half in info->args[3]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001744 RegLocation rl_src_value = info->args[4]; // value to store
1745 if (is_volatile || is_ordered) {
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001746 // There might have been a store before this volatile one so insert StoreStore barrier.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001747 GenMemBarrier(kStoreStore);
1748 }
buzbeea0cd2d72014-06-01 09:33:49 -07001749 RegLocation rl_object = LoadValue(rl_src_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001750 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1751 RegLocation rl_value;
1752 if (is_long) {
1753 rl_value = LoadValueWide(rl_src_value, kCoreReg);
Dmitry Petrochenko9bf549d2014-05-12 11:14:46 +07001754 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001755 StoreBaseIndexedDisp(rl_object.reg, rl_offset.reg, 0, 0, rl_value.reg, k64);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001756 } else {
1757 RegStorage rl_temp_offset = AllocTemp();
1758 OpRegRegReg(kOpAdd, rl_temp_offset, rl_object.reg, rl_offset.reg);
Andreas Gampe3c12c512014-06-24 18:46:29 +00001759 StoreBaseDisp(rl_temp_offset, 0, rl_value.reg, k64, kNotVolatile);
buzbee091cc402014-03-31 10:14:40 -07001760 FreeTemp(rl_temp_offset);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001761 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001762 } else {
buzbeea0cd2d72014-06-01 09:33:49 -07001763 rl_value = LoadValue(rl_src_value);
buzbee695d13a2014-04-19 13:32:20 -07001764 StoreBaseIndexed(rl_object.reg, rl_offset.reg, rl_value.reg, 0, k32);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001765 }
Mark Mendelldf8ee2e2014-01-27 16:37:47 -08001766
1767 // Free up the temp early, to ensure x86 doesn't run out of temporaries in MarkGCCard.
buzbee091cc402014-03-31 10:14:40 -07001768 FreeTemp(rl_offset.reg);
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001769
Brian Carlstrom7940e442013-07-12 13:46:57 -07001770 if (is_volatile) {
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001771 // A load might follow the volatile store so insert a StoreLoad barrier.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001772 GenMemBarrier(kStoreLoad);
1773 }
1774 if (is_object) {
buzbee2700f7e2014-03-07 09:46:20 -08001775 MarkGCCard(rl_value.reg, rl_object.reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001776 }
1777 return true;
1778}
1779
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001780void Mir2Lir::GenInvoke(CallInfo* info) {
Vladimir Marko9820b7c2014-01-02 16:40:37 +00001781 if ((info->opt_flags & MIR_INLINED) != 0) {
1782 // Already inlined but we may still need the null check.
1783 if (info->type != kStatic &&
1784 ((cu_->disable_opt & (1 << kNullCheckElimination)) != 0 ||
1785 (info->opt_flags & MIR_IGNORE_NULL_CHECK) == 0)) {
buzbeea0cd2d72014-06-01 09:33:49 -07001786 RegLocation rl_obj = LoadValue(info->args[0], kRefReg);
Mingyao Yange643a172014-04-08 11:02:52 -07001787 GenNullCheck(rl_obj.reg);
Vladimir Marko9820b7c2014-01-02 16:40:37 +00001788 }
1789 return;
1790 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001791 DCHECK(cu_->compiler_driver->GetMethodInlinerMap() != nullptr);
Dmitry Petrochenko4c800432014-05-08 12:20:24 +07001792 // TODO: Enable instrinsics for x86_64
1793 // Temporary disable intrinsics for x86_64. We will enable them later step by step.
buzbee33ae5582014-06-12 14:56:32 -07001794 // Temporary disable intrinsics for Arm64. We will enable them later step by step.
1795 if ((cu_->instruction_set != kX86_64) && (cu_->instruction_set != kArm64)) {
Dmitry Petrochenko4c800432014-05-08 12:20:24 +07001796 if (cu_->compiler_driver->GetMethodInlinerMap()->GetMethodInliner(cu_->dex_file)
1797 ->GenIntrinsic(this, info)) {
1798 return;
1799 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001800 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001801 GenInvokeNoInline(info);
1802}
1803
Andreas Gampe2f244e92014-05-08 03:35:25 -07001804template <size_t pointer_size>
1805static LIR* GenInvokeNoInlineCall(Mir2Lir* mir_to_lir, InvokeType type) {
1806 ThreadOffset<pointer_size> trampoline(-1);
1807 switch (type) {
1808 case kInterface:
1809 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeInterfaceTrampolineWithAccessCheck);
1810 break;
1811 case kDirect:
1812 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeDirectTrampolineWithAccessCheck);
1813 break;
1814 case kStatic:
1815 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeStaticTrampolineWithAccessCheck);
1816 break;
1817 case kSuper:
1818 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeSuperTrampolineWithAccessCheck);
1819 break;
1820 case kVirtual:
1821 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeVirtualTrampolineWithAccessCheck);
1822 break;
1823 default:
1824 LOG(FATAL) << "Unexpected invoke type";
1825 }
1826 return mir_to_lir->OpThreadMem(kOpBlx, trampoline);
1827}
1828
Vladimir Marko3bc86152014-03-13 14:11:28 +00001829void Mir2Lir::GenInvokeNoInline(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001830 int call_state = 0;
1831 LIR* null_ck;
1832 LIR** p_null_ck = NULL;
1833 NextCallInsn next_call_insn;
1834 FlushAllRegs(); /* Everything to home location */
1835 // Explicit register usage
1836 LockCallTemps();
1837
Vladimir Markof096aad2014-01-23 15:51:58 +00001838 const MirMethodLoweringInfo& method_info = mir_graph_->GetMethodLoweringInfo(info->mir);
1839 cu_->compiler_driver->ProcessedInvoke(method_info.GetInvokeType(), method_info.StatsFlags());
Mark Mendelle87f9b52014-04-30 14:13:18 -04001840 BeginInvoke(info);
Vladimir Markof096aad2014-01-23 15:51:58 +00001841 InvokeType original_type = static_cast<InvokeType>(method_info.GetInvokeType());
1842 info->type = static_cast<InvokeType>(method_info.GetSharpType());
1843 bool fast_path = method_info.FastPath();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001844 bool skip_this;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001845 if (info->type == kInterface) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001846 next_call_insn = fast_path ? NextInterfaceCallInsn : NextInterfaceCallInsnWithAccessCheck;
Jeff Hao88474b42013-10-23 16:24:40 -07001847 skip_this = fast_path;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001848 } else if (info->type == kDirect) {
1849 if (fast_path) {
1850 p_null_ck = &null_ck;
1851 }
1852 next_call_insn = fast_path ? NextSDCallInsn : NextDirectCallInsnSP;
1853 skip_this = false;
1854 } else if (info->type == kStatic) {
1855 next_call_insn = fast_path ? NextSDCallInsn : NextStaticCallInsnSP;
1856 skip_this = false;
1857 } else if (info->type == kSuper) {
1858 DCHECK(!fast_path); // Fast path is a direct call.
1859 next_call_insn = NextSuperCallInsnSP;
1860 skip_this = false;
1861 } else {
1862 DCHECK_EQ(info->type, kVirtual);
1863 next_call_insn = fast_path ? NextVCallInsn : NextVCallInsnSP;
1864 skip_this = fast_path;
1865 }
Vladimir Markof096aad2014-01-23 15:51:58 +00001866 MethodReference target_method = method_info.GetTargetMethod();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001867 if (!info->is_range) {
1868 call_state = GenDalvikArgsNoRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001869 next_call_insn, target_method, method_info.VTableIndex(),
1870 method_info.DirectCode(), method_info.DirectMethod(),
Brian Carlstrom7940e442013-07-12 13:46:57 -07001871 original_type, skip_this);
1872 } else {
1873 call_state = GenDalvikArgsRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001874 next_call_insn, target_method, method_info.VTableIndex(),
1875 method_info.DirectCode(), method_info.DirectMethod(),
1876 original_type, skip_this);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001877 }
1878 // Finish up any of the call sequence not interleaved in arg loading
1879 while (call_state >= 0) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001880 call_state = next_call_insn(cu_, info, call_state, target_method, method_info.VTableIndex(),
1881 method_info.DirectCode(), method_info.DirectMethod(), original_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001882 }
1883 LIR* call_inst;
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001884 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001885 call_inst = OpReg(kOpBlx, TargetReg(kInvokeTgt));
1886 } else {
Jeff Hao88474b42013-10-23 16:24:40 -07001887 if (fast_path) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001888 if (method_info.DirectCode() == static_cast<uintptr_t>(-1)) {
Mark Mendell55d0eac2014-02-06 11:02:52 -08001889 // We can have the linker fixup a call relative.
1890 call_inst =
Jeff Hao49161ce2014-03-12 11:05:25 -07001891 reinterpret_cast<X86Mir2Lir*>(this)->CallWithLinkerFixup(target_method, info->type);
Mark Mendell55d0eac2014-02-06 11:02:52 -08001892 } else {
1893 call_inst = OpMem(kOpBlx, TargetReg(kArg0),
1894 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value());
1895 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001896 } else {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001897 // TODO: Extract?
buzbee33ae5582014-06-12 14:56:32 -07001898 if (cu_->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001899 call_inst = GenInvokeNoInlineCall<8>(this, info->type);
1900 } else {
Andreas Gampe3ec5da22014-05-12 18:43:28 -07001901 call_inst = GenInvokeNoInlineCall<4>(this, info->type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001902 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001903 }
1904 }
Mark Mendelle87f9b52014-04-30 14:13:18 -04001905 EndInvoke(info);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001906 MarkSafepointPC(call_inst);
1907
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001908 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001909 if (info->result.location != kLocInvalid) {
1910 // We have a following MOVE_RESULT - do it now.
1911 if (info->result.wide) {
buzbeea0cd2d72014-06-01 09:33:49 -07001912 RegLocation ret_loc = GetReturnWide(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001913 StoreValueWide(info->result, ret_loc);
1914 } else {
buzbeea0cd2d72014-06-01 09:33:49 -07001915 RegLocation ret_loc = GetReturn(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001916 StoreValue(info->result, ret_loc);
1917 }
1918 }
1919}
1920
1921} // namespace art