blob: b3fac77c14907999e477842195d047962bc48154 [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
2 * Copyright (C) 2012 The Android Open Source Project
3 *
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
7 *
8 * http://www.apache.org/licenses/LICENSE-2.0
9 *
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
15 */
16
17#include "dex/compiler_ir.h"
Vladimir Marko5c96e6b2013-11-14 15:34:17 +000018#include "dex/frontend.h"
19#include "dex/quick/dex_file_method_inliner.h"
20#include "dex/quick/dex_file_to_method_inliner_map.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070021#include "dex_file-inl.h"
Ian Rogers166db042013-07-26 12:05:57 -070022#include "entrypoints/quick/quick_entrypoints.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070023#include "invoke_type.h"
24#include "mirror/array.h"
Dmitry Petrochenko37498b62014-05-05 20:33:38 +070025#include "mirror/object_array-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070026#include "mirror/string.h"
27#include "mir_to_lir-inl.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070028#include "x86/codegen_x86.h"
29
30namespace art {
31
Dmitry Petrochenko37498b62014-05-05 20:33:38 +070032// Shortcuts to repeatedly used long types.
33typedef mirror::ObjectArray<mirror::Object> ObjArray;
34
Brian Carlstrom7940e442013-07-12 13:46:57 -070035/*
36 * This source files contains "gen" codegen routines that should
37 * be applicable to most targets. Only mid-level support utilities
38 * and "op" calls may be used here.
39 */
40
Mingyao Yang3a74d152014-04-21 15:39:44 -070041void Mir2Lir::AddIntrinsicSlowPath(CallInfo* info, LIR* branch, LIR* resume) {
42 class IntrinsicSlowPathPath : public Mir2Lir::LIRSlowPath {
Vladimir Marko3bc86152014-03-13 14:11:28 +000043 public:
Mingyao Yang3a74d152014-04-21 15:39:44 -070044 IntrinsicSlowPathPath(Mir2Lir* m2l, CallInfo* info, LIR* branch, LIR* resume = nullptr)
Vladimir Marko3bc86152014-03-13 14:11:28 +000045 : LIRSlowPath(m2l, info->offset, branch, resume), info_(info) {
46 }
47
48 void Compile() {
49 m2l_->ResetRegPool();
50 m2l_->ResetDefTracking();
Mingyao Yang6ffcfa02014-04-25 11:06:00 -070051 GenerateTargetLabel(kPseudoIntrinsicRetry);
Vladimir Marko3bc86152014-03-13 14:11:28 +000052 // NOTE: GenInvokeNoInline() handles MarkSafepointPC.
53 m2l_->GenInvokeNoInline(info_);
54 if (cont_ != nullptr) {
55 m2l_->OpUnconditionalBranch(cont_);
56 }
57 }
58
59 private:
60 CallInfo* const info_;
61 };
62
Mingyao Yang3a74d152014-04-21 15:39:44 -070063 AddSlowPath(new (arena_) IntrinsicSlowPathPath(this, info, branch, resume));
Vladimir Marko3bc86152014-03-13 14:11:28 +000064}
65
Andreas Gampe2f244e92014-05-08 03:35:25 -070066// Macro to help instantiate.
67// TODO: This might be used to only instantiate <4> on pure 32b systems.
68#define INSTANTIATE(sig_part1, ...) \
69 template sig_part1(ThreadOffset<4>, __VA_ARGS__); \
70 template sig_part1(ThreadOffset<8>, __VA_ARGS__); \
71
72
Brian Carlstrom7940e442013-07-12 13:46:57 -070073/*
74 * To save scheduling time, helper calls are broken into two parts: generation of
Dave Allisond6ed6422014-04-09 23:36:15 +000075 * the helper target address, and the actual call to the helper. Because x86
76 * has a memory call operation, part 1 is a NOP for x86. For other targets,
77 * load arguments between the two parts.
Brian Carlstrom7940e442013-07-12 13:46:57 -070078 */
Andreas Gampe2f244e92014-05-08 03:35:25 -070079// template <size_t pointer_size>
Ian Rogersdd7624d2014-03-14 17:43:00 -070080RegStorage Mir2Lir::CallHelperSetup(ThreadOffset<4> helper_offset) {
Andreas Gampe2f244e92014-05-08 03:35:25 -070081 // All CallRuntimeHelperXXX call this first. So make a central check here.
82 DCHECK_EQ(4U, GetInstructionSetPointerSize(cu_->instruction_set));
83
84 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
85 return RegStorage::InvalidReg();
86 } else {
87 return LoadHelper(helper_offset);
88 }
89}
90
91RegStorage Mir2Lir::CallHelperSetup(ThreadOffset<8> helper_offset) {
92 // All CallRuntimeHelperXXX call this first. So make a central check here.
93 DCHECK_EQ(8U, GetInstructionSetPointerSize(cu_->instruction_set));
94
95 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
96 return RegStorage::InvalidReg();
97 } else {
98 return LoadHelper(helper_offset);
99 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700100}
101
102/* NOTE: if r_tgt is a temp, it will be freed following use */
Andreas Gampe2f244e92014-05-08 03:35:25 -0700103template <size_t pointer_size>
104LIR* Mir2Lir::CallHelper(RegStorage r_tgt, ThreadOffset<pointer_size> helper_offset,
105 bool safepoint_pc, bool use_link) {
Dave Allisond6ed6422014-04-09 23:36:15 +0000106 LIR* call_inst;
Brian Carlstrom60d7a652014-03-13 18:10:08 -0700107 OpKind op = use_link ? kOpBlx : kOpBx;
Dave Allisond6ed6422014-04-09 23:36:15 +0000108 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
109 call_inst = OpThreadMem(op, helper_offset);
110 } else {
111 call_inst = OpReg(op, r_tgt);
112 FreeTemp(r_tgt);
113 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700114 if (safepoint_pc) {
115 MarkSafepointPC(call_inst);
116 }
117 return call_inst;
118}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700119template LIR* Mir2Lir::CallHelper(RegStorage r_tgt, ThreadOffset<4> helper_offset,
120 bool safepoint_pc, bool use_link);
121template LIR* Mir2Lir::CallHelper(RegStorage r_tgt, ThreadOffset<8> helper_offset,
122 bool safepoint_pc, bool use_link);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700123
Andreas Gampe2f244e92014-05-08 03:35:25 -0700124template <size_t pointer_size>
125void Mir2Lir::CallRuntimeHelper(ThreadOffset<pointer_size> helper_offset, bool safepoint_pc) {
Mingyao Yang42894562014-04-07 12:42:16 -0700126 RegStorage r_tgt = CallHelperSetup(helper_offset);
127 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700128 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Mingyao Yang42894562014-04-07 12:42:16 -0700129}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700130INSTANTIATE(void Mir2Lir::CallRuntimeHelper, bool safepoint_pc)
Mingyao Yang42894562014-04-07 12:42:16 -0700131
Andreas Gampe2f244e92014-05-08 03:35:25 -0700132template <size_t pointer_size>
133void Mir2Lir::CallRuntimeHelperImm(ThreadOffset<pointer_size> helper_offset, int arg0, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800134 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700135 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000136 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700137 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700138}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700139INSTANTIATE(void Mir2Lir::CallRuntimeHelperImm, int arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700140
Andreas Gampe2f244e92014-05-08 03:35:25 -0700141template <size_t pointer_size>
142void Mir2Lir::CallRuntimeHelperReg(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700143 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800144 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700145 OpRegCopy(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000146 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700147 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700148}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700149INSTANTIATE(void Mir2Lir::CallRuntimeHelperReg, RegStorage arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700150
Andreas Gampe2f244e92014-05-08 03:35:25 -0700151template <size_t pointer_size>
152void Mir2Lir::CallRuntimeHelperRegLocation(ThreadOffset<pointer_size> helper_offset,
153 RegLocation arg0, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800154 RegStorage r_tgt = CallHelperSetup(helper_offset);
155 if (arg0.wide == 0) {
156 LoadValueDirectFixed(arg0, TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700157 } else {
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 {
162 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg0), TargetReg(kArg1));
163 }
buzbee2700f7e2014-03-07 09:46:20 -0800164 LoadValueDirectWideFixed(arg0, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700165 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000166 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700167 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700168}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700169INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocation, RegLocation arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700170
Andreas Gampe2f244e92014-05-08 03:35:25 -0700171template <size_t pointer_size>
172void Mir2Lir::CallRuntimeHelperImmImm(ThreadOffset<pointer_size> helper_offset, int arg0, int arg1,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700173 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800174 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700175 LoadConstant(TargetReg(kArg0), arg0);
176 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000177 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700178 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700179}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700180INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmImm, int arg0, int arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700181
Andreas Gampe2f244e92014-05-08 03:35:25 -0700182template <size_t pointer_size>
183void Mir2Lir::CallRuntimeHelperImmRegLocation(ThreadOffset<pointer_size> helper_offset, int arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700184 RegLocation arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800185 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700186 if (arg1.wide == 0) {
187 LoadValueDirectFixed(arg1, TargetReg(kArg1));
188 } else {
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700189 RegStorage r_tmp;
buzbee33ae5582014-06-12 14:56:32 -0700190 if (cu_->target64) {
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700191 r_tmp = RegStorage::Solo64(TargetReg(kArg1).GetReg());
192 } else {
193 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
194 }
buzbee2700f7e2014-03-07 09:46:20 -0800195 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700196 }
197 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000198 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700199 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700200}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700201INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmRegLocation, int arg0, RegLocation arg1,
202 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700203
Andreas Gampe2f244e92014-05-08 03:35:25 -0700204template <size_t pointer_size>
205void Mir2Lir::CallRuntimeHelperRegLocationImm(ThreadOffset<pointer_size> helper_offset,
206 RegLocation arg0, int arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800207 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700208 LoadValueDirectFixed(arg0, TargetReg(kArg0));
209 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000210 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700211 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700212}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700213INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationImm, RegLocation arg0, int arg1,
214 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700215
Andreas Gampe2f244e92014-05-08 03:35:25 -0700216template <size_t pointer_size>
217void Mir2Lir::CallRuntimeHelperImmReg(ThreadOffset<pointer_size> helper_offset, int arg0,
218 RegStorage arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800219 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700220 OpRegCopy(TargetReg(kArg1), arg1);
221 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000222 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700223 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700224}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700225INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmReg, int arg0, RegStorage arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700226
Andreas Gampe2f244e92014-05-08 03:35:25 -0700227template <size_t pointer_size>
228void Mir2Lir::CallRuntimeHelperRegImm(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
229 int arg1, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800230 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700231 OpRegCopy(TargetReg(kArg0), arg0);
232 LoadConstant(TargetReg(kArg1), arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000233 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700234 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700235}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700236INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegImm, RegStorage arg0, int arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700237
Andreas Gampe2f244e92014-05-08 03:35:25 -0700238template <size_t pointer_size>
239void Mir2Lir::CallRuntimeHelperImmMethod(ThreadOffset<pointer_size> helper_offset, int arg0,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700240 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800241 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700242 LoadCurrMethodDirect(TargetReg(kArg1));
243 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000244 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700245 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700246}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700247INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethod, int arg0, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700248
Andreas Gampe2f244e92014-05-08 03:35:25 -0700249template <size_t pointer_size>
250void Mir2Lir::CallRuntimeHelperRegMethod(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800251 bool safepoint_pc) {
252 RegStorage r_tgt = CallHelperSetup(helper_offset);
253 DCHECK_NE(TargetReg(kArg1).GetReg(), arg0.GetReg());
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800254 if (TargetReg(kArg0) != arg0) {
255 OpRegCopy(TargetReg(kArg0), arg0);
256 }
257 LoadCurrMethodDirect(TargetReg(kArg1));
258 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700259 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800260}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700261INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegMethod, RegStorage arg0, bool safepoint_pc)
Hiroshi Yamauchibe1ca552014-01-15 11:46:48 -0800262
Andreas Gampe2f244e92014-05-08 03:35:25 -0700263template <size_t pointer_size>
264void Mir2Lir::CallRuntimeHelperRegMethodRegLocation(ThreadOffset<pointer_size> helper_offset,
265 RegStorage arg0, RegLocation arg2,
266 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800267 RegStorage r_tgt = CallHelperSetup(helper_offset);
268 DCHECK_NE(TargetReg(kArg1).GetReg(), arg0.GetReg());
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800269 if (TargetReg(kArg0) != arg0) {
270 OpRegCopy(TargetReg(kArg0), arg0);
271 }
272 LoadCurrMethodDirect(TargetReg(kArg1));
273 LoadValueDirectFixed(arg2, TargetReg(kArg2));
274 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700275 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800276}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700277INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegMethodRegLocation, RegStorage arg0, RegLocation arg2,
278 bool safepoint_pc)
Hiroshi Yamauchibb8f0ab2014-01-27 16:50:29 -0800279
Andreas Gampe2f244e92014-05-08 03:35:25 -0700280template <size_t pointer_size>
281void Mir2Lir::CallRuntimeHelperRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Ian Rogersdd7624d2014-03-14 17:43:00 -0700282 RegLocation arg0, RegLocation arg1,
283 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800284 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700285 if (arg0.wide == 0) {
286 LoadValueDirectFixed(arg0, arg0.fp ? TargetReg(kFArg0) : TargetReg(kArg0));
287 if (arg1.wide == 0) {
288 if (cu_->instruction_set == kMips) {
289 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg1));
Zheng Xu2d41a652014-06-09 11:05:31 +0800290 } else if (cu_->instruction_set == kArm64) {
291 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg1) : TargetReg(kArg1));
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700292 } else if (cu_->instruction_set == kX86_64) {
293 if (arg0.fp) {
294 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg1) : TargetReg(kArg0));
295 } else {
296 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg0) : TargetReg(kArg1));
297 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700298 } else {
299 LoadValueDirectFixed(arg1, TargetReg(kArg1));
300 }
301 } else {
302 if (cu_->instruction_set == kMips) {
buzbee2700f7e2014-03-07 09:46:20 -0800303 RegStorage r_tmp;
304 if (arg1.fp) {
305 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg2), TargetReg(kFArg3));
306 } else {
307 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
308 }
309 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700310 } else {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700311 RegStorage r_tmp;
buzbee33ae5582014-06-12 14:56:32 -0700312 if (cu_->target64) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700313 r_tmp = RegStorage::Solo64(TargetReg(kArg1).GetReg());
314 } else {
315 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg1), TargetReg(kArg2));
316 }
buzbee2700f7e2014-03-07 09:46:20 -0800317 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700318 }
319 }
320 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800321 RegStorage r_tmp;
322 if (arg0.fp) {
buzbee33ae5582014-06-12 14:56:32 -0700323 if (cu_->target64) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700324 r_tmp = RegStorage::FloatSolo64(TargetReg(kFArg0).GetReg());
325 } else {
326 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg0), TargetReg(kFArg1));
327 }
buzbee2700f7e2014-03-07 09:46:20 -0800328 } else {
buzbee33ae5582014-06-12 14:56:32 -0700329 if (cu_->target64) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700330 r_tmp = RegStorage::Solo64(TargetReg(kArg0).GetReg());
331 } else {
332 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg0), TargetReg(kArg1));
333 }
buzbee2700f7e2014-03-07 09:46:20 -0800334 }
335 LoadValueDirectWideFixed(arg0, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700336 if (arg1.wide == 0) {
buzbee33ae5582014-06-12 14:56:32 -0700337 if (cu_->target64) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700338 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg1) : TargetReg(kArg1));
339 } else {
340 LoadValueDirectFixed(arg1, arg1.fp ? TargetReg(kFArg2) : TargetReg(kArg2));
341 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700342 } else {
buzbee2700f7e2014-03-07 09:46:20 -0800343 RegStorage r_tmp;
344 if (arg1.fp) {
buzbee33ae5582014-06-12 14:56:32 -0700345 if (cu_->target64) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700346 r_tmp = RegStorage::FloatSolo64(TargetReg(kFArg1).GetReg());
347 } else {
348 r_tmp = RegStorage::MakeRegPair(TargetReg(kFArg2), TargetReg(kFArg3));
349 }
buzbee2700f7e2014-03-07 09:46:20 -0800350 } else {
buzbee33ae5582014-06-12 14:56:32 -0700351 if (cu_->target64) {
Dmitry Petrochenko58994cd2014-05-17 01:02:18 +0700352 r_tmp = RegStorage::Solo64(TargetReg(kArg1).GetReg());
353 } else {
354 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
355 }
buzbee2700f7e2014-03-07 09:46:20 -0800356 }
357 LoadValueDirectWideFixed(arg1, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700358 }
359 }
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000360 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700361 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700362}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700363INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationRegLocation, RegLocation arg0,
364 RegLocation arg1, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700365
Mingyao Yang80365d92014-04-18 12:10:58 -0700366void Mir2Lir::CopyToArgumentRegs(RegStorage arg0, RegStorage arg1) {
367 if (arg1.GetReg() == TargetReg(kArg0).GetReg()) {
368 if (arg0.GetReg() == TargetReg(kArg1).GetReg()) {
369 // Swap kArg0 and kArg1 with kArg2 as temp.
370 OpRegCopy(TargetReg(kArg2), arg1);
371 OpRegCopy(TargetReg(kArg0), arg0);
372 OpRegCopy(TargetReg(kArg1), TargetReg(kArg2));
373 } else {
374 OpRegCopy(TargetReg(kArg1), arg1);
375 OpRegCopy(TargetReg(kArg0), arg0);
376 }
377 } else {
378 OpRegCopy(TargetReg(kArg0), arg0);
379 OpRegCopy(TargetReg(kArg1), arg1);
380 }
381}
382
Andreas Gampe2f244e92014-05-08 03:35:25 -0700383template <size_t pointer_size>
384void Mir2Lir::CallRuntimeHelperRegReg(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800385 RegStorage arg1, bool safepoint_pc) {
386 RegStorage r_tgt = CallHelperSetup(helper_offset);
Mingyao Yang80365d92014-04-18 12:10:58 -0700387 CopyToArgumentRegs(arg0, arg1);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000388 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700389 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700390}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700391INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegReg, RegStorage arg0, RegStorage arg1,
392 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700393
Andreas Gampe2f244e92014-05-08 03:35:25 -0700394template <size_t pointer_size>
395void Mir2Lir::CallRuntimeHelperRegRegImm(ThreadOffset<pointer_size> helper_offset, RegStorage arg0,
buzbee2700f7e2014-03-07 09:46:20 -0800396 RegStorage arg1, int arg2, bool safepoint_pc) {
397 RegStorage r_tgt = CallHelperSetup(helper_offset);
Mingyao Yang80365d92014-04-18 12:10:58 -0700398 CopyToArgumentRegs(arg0, arg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700399 LoadConstant(TargetReg(kArg2), arg2);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000400 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700401 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700402}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700403INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegRegImm, RegStorage arg0, RegStorage arg1, int arg2,
404 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700405
Andreas Gampe2f244e92014-05-08 03:35:25 -0700406template <size_t pointer_size>
407void Mir2Lir::CallRuntimeHelperImmMethodRegLocation(ThreadOffset<pointer_size> helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700408 int arg0, RegLocation arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800409 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700410 LoadValueDirectFixed(arg2, TargetReg(kArg2));
411 LoadCurrMethodDirect(TargetReg(kArg1));
412 LoadConstant(TargetReg(kArg0), arg0);
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000413 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700414 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700415}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700416INSTANTIATE(void Mir2Lir::CallRuntimeHelperImmMethodRegLocation, int arg0, RegLocation arg2,
417 bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700418
Andreas Gampe2f244e92014-05-08 03:35:25 -0700419template <size_t pointer_size>
420void Mir2Lir::CallRuntimeHelperImmMethodImm(ThreadOffset<pointer_size> helper_offset, int arg0,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700421 int arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800422 RegStorage r_tgt = CallHelperSetup(helper_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700423 LoadCurrMethodDirect(TargetReg(kArg1));
424 LoadConstant(TargetReg(kArg2), arg2);
425 LoadConstant(TargetReg(kArg0), arg0);
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::CallRuntimeHelperImmMethodImm, int arg0, int arg2, bool safepoint_pc)
Brian Carlstrom7940e442013-07-12 13:46:57 -0700430
Andreas Gampe2f244e92014-05-08 03:35:25 -0700431template <size_t pointer_size>
432void Mir2Lir::CallRuntimeHelperImmRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700433 int arg0, RegLocation arg1,
434 RegLocation arg2, bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800435 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe2f244e92014-05-08 03:35:25 -0700436 DCHECK_EQ(static_cast<unsigned int>(arg1.wide), 0U); // The static_cast works around an
437 // instantiation bug in GCC.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700438 LoadValueDirectFixed(arg1, TargetReg(kArg1));
439 if (arg2.wide == 0) {
440 LoadValueDirectFixed(arg2, TargetReg(kArg2));
441 } else {
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700442 RegStorage r_tmp;
buzbee33ae5582014-06-12 14:56:32 -0700443 if (cu_->target64) {
Chao-ying Fu7e399fd2014-06-10 18:11:11 -0700444 r_tmp = RegStorage::Solo64(TargetReg(kArg2).GetReg());
445 } else {
446 r_tmp = RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3));
447 }
buzbee2700f7e2014-03-07 09:46:20 -0800448 LoadValueDirectWideFixed(arg2, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700449 }
450 LoadConstant(TargetReg(kArg0), 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::CallRuntimeHelperImmRegLocationRegLocation, int arg0, RegLocation arg1,
455 RegLocation arg2, 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::CallRuntimeHelperRegLocationRegLocationRegLocation(ThreadOffset<pointer_size> helper_offset,
Ian Rogersa9a82542013-10-04 11:17:26 -0700459 RegLocation arg0, RegLocation arg1,
460 RegLocation arg2,
461 bool safepoint_pc) {
buzbee2700f7e2014-03-07 09:46:20 -0800462 RegStorage r_tgt = CallHelperSetup(helper_offset);
Andreas Gampe2f244e92014-05-08 03:35:25 -0700463 DCHECK_EQ(static_cast<unsigned int>(arg0.wide), 0U);
Ian Rogersa9a82542013-10-04 11:17:26 -0700464 LoadValueDirectFixed(arg0, TargetReg(kArg0));
Andreas Gampe2f244e92014-05-08 03:35:25 -0700465 DCHECK_EQ(static_cast<unsigned int>(arg1.wide), 0U);
Ian Rogersa9a82542013-10-04 11:17:26 -0700466 LoadValueDirectFixed(arg1, TargetReg(kArg1));
Andreas Gampe2f244e92014-05-08 03:35:25 -0700467 DCHECK_EQ(static_cast<unsigned int>(arg1.wide), 0U);
Ian Rogersa9a82542013-10-04 11:17:26 -0700468 LoadValueDirectFixed(arg2, TargetReg(kArg2));
Vladimir Marko31c2aac2013-12-09 16:31:19 +0000469 ClobberCallerSave();
Andreas Gampe2f244e92014-05-08 03:35:25 -0700470 CallHelper<pointer_size>(r_tgt, helper_offset, safepoint_pc);
Ian Rogersa9a82542013-10-04 11:17:26 -0700471}
Andreas Gampe2f244e92014-05-08 03:35:25 -0700472INSTANTIATE(void Mir2Lir::CallRuntimeHelperRegLocationRegLocationRegLocation, RegLocation arg0,
473 RegLocation arg1, RegLocation arg2, bool safepoint_pc)
Ian Rogersa9a82542013-10-04 11:17:26 -0700474
Brian Carlstrom7940e442013-07-12 13:46:57 -0700475/*
476 * If there are any ins passed in registers that have not been promoted
Matteo Franchine45fb9e2014-05-06 10:10:30 +0100477 * to a callee-save register, flush them to the frame. Perform initial
Brian Carlstrom7940e442013-07-12 13:46:57 -0700478 * assignment of promoted arguments.
479 *
480 * ArgLocs is an array of location records describing the incoming arguments
481 * with one location record per word of argument.
482 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700483void Mir2Lir::FlushIns(RegLocation* ArgLocs, RegLocation rl_method) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700484 /*
Zheng Xu511c8a62014-06-03 16:22:23 +0800485 * Dummy up a RegLocation for the incoming StackReference<mirror::ArtMethod>
Brian Carlstrom7940e442013-07-12 13:46:57 -0700486 * It will attempt to keep kArg0 live (or copy it to home location
487 * if promoted).
488 */
489 RegLocation rl_src = rl_method;
490 rl_src.location = kLocPhysReg;
buzbee2700f7e2014-03-07 09:46:20 -0800491 rl_src.reg = TargetReg(kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700492 rl_src.home = false;
buzbee091cc402014-03-31 10:14:40 -0700493 MarkLive(rl_src);
buzbeef2c3e562014-05-29 12:37:25 -0700494 StoreValue(rl_method, rl_src);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700495 // If Method* has been promoted, explicitly flush
496 if (rl_method.location == kLocPhysReg) {
buzbeef2c3e562014-05-29 12:37:25 -0700497 StoreRefDisp(TargetReg(kSp), 0, TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700498 }
499
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800500 if (cu_->num_ins == 0) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700501 return;
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800502 }
503
Brian Carlstrom7940e442013-07-12 13:46:57 -0700504 int start_vreg = cu_->num_dalvik_registers - cu_->num_ins;
505 /*
506 * Copy incoming arguments to their proper home locations.
507 * NOTE: an older version of dx had an issue in which
508 * it would reuse static method argument registers.
509 * This could result in the same Dalvik virtual register
510 * being promoted to both core and fp regs. To account for this,
511 * we only copy to the corresponding promoted physical register
512 * if it matches the type of the SSA name for the incoming
513 * argument. It is also possible that long and double arguments
514 * end up half-promoted. In those cases, we must flush the promoted
515 * half to memory as well.
516 */
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100517 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700518 for (int i = 0; i < cu_->num_ins; i++) {
519 PromotionMap* v_map = &promotion_map_[start_vreg + i];
buzbee2700f7e2014-03-07 09:46:20 -0800520 RegStorage reg = GetArgMappingToPhysicalReg(i);
Razvan A Lupusoru3bc01742014-02-06 13:18:43 -0800521
buzbee2700f7e2014-03-07 09:46:20 -0800522 if (reg.Valid()) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700523 // If arriving in register
524 bool need_flush = true;
525 RegLocation* t_loc = &ArgLocs[i];
526 if ((v_map->core_location == kLocPhysReg) && !t_loc->fp) {
buzbee2700f7e2014-03-07 09:46:20 -0800527 OpRegCopy(RegStorage::Solo32(v_map->core_reg), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700528 need_flush = false;
529 } else if ((v_map->fp_location == kLocPhysReg) && t_loc->fp) {
buzbee2700f7e2014-03-07 09:46:20 -0800530 OpRegCopy(RegStorage::Solo32(v_map->FpReg), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700531 need_flush = false;
532 } else {
533 need_flush = true;
534 }
535
buzbeed0a03b82013-09-14 08:21:05 -0700536 // For wide args, force flush if not fully promoted
Brian Carlstrom7940e442013-07-12 13:46:57 -0700537 if (t_loc->wide) {
538 PromotionMap* p_map = v_map + (t_loc->high_word ? -1 : +1);
buzbeed0a03b82013-09-14 08:21:05 -0700539 // Is only half promoted?
Brian Carlstrom7940e442013-07-12 13:46:57 -0700540 need_flush |= (p_map->core_location != v_map->core_location) ||
541 (p_map->fp_location != v_map->fp_location);
buzbeed0a03b82013-09-14 08:21:05 -0700542 if ((cu_->instruction_set == kThumb2) && t_loc->fp && !need_flush) {
543 /*
544 * In Arm, a double is represented as a pair of consecutive single float
545 * registers starting at an even number. It's possible that both Dalvik vRegs
546 * representing the incoming double were independently promoted as singles - but
547 * not in a form usable as a double. If so, we need to flush - even though the
548 * incoming arg appears fully in register. At this point in the code, both
549 * halves of the double are promoted. Make sure they are in a usable form.
550 */
551 int lowreg_index = start_vreg + i + (t_loc->high_word ? -1 : 0);
552 int low_reg = promotion_map_[lowreg_index].FpReg;
553 int high_reg = promotion_map_[lowreg_index + 1].FpReg;
554 if (((low_reg & 0x1) != 0) || (high_reg != (low_reg + 1))) {
555 need_flush = true;
556 }
557 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700558 }
559 if (need_flush) {
buzbee695d13a2014-04-19 13:32:20 -0700560 Store32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700561 }
562 } else {
563 // If arriving in frame & promoted
564 if (v_map->core_location == kLocPhysReg) {
buzbee695d13a2014-04-19 13:32:20 -0700565 Load32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), RegStorage::Solo32(v_map->core_reg));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700566 }
567 if (v_map->fp_location == kLocPhysReg) {
buzbee695d13a2014-04-19 13:32:20 -0700568 Load32Disp(TargetReg(kSp), SRegOffset(start_vreg + i), RegStorage::Solo32(v_map->FpReg));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700569 }
570 }
571 }
572}
573
574/*
575 * Bit of a hack here - in the absence of a real scheduling pass,
576 * emit the next instruction in static & direct invoke sequences.
577 */
578static int NextSDCallInsn(CompilationUnit* cu, CallInfo* info,
579 int state, const MethodReference& target_method,
580 uint32_t unused,
581 uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700582 InvokeType type) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700583 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700584 if (direct_code != 0 && direct_method != 0) {
585 switch (state) {
586 case 0: // Get the current Method* [sets kArg0]
Ian Rogersff093b32014-04-30 19:04:27 -0700587 if (direct_code != static_cast<uintptr_t>(-1)) {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700588 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Ian Rogers83883d72013-10-21 21:07:24 -0700589 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
590 }
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700591 } else if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Jeff Hao49161ce2014-03-12 11:05:25 -0700592 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700593 }
Ian Rogersff093b32014-04-30 19:04:27 -0700594 if (direct_method != static_cast<uintptr_t>(-1)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700595 cg->LoadConstant(cg->TargetReg(kArg0), direct_method);
596 } else {
Jeff Hao49161ce2014-03-12 11:05:25 -0700597 cg->LoadMethodAddress(target_method, type, kArg0);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700598 }
599 break;
600 default:
601 return -1;
602 }
603 } else {
604 switch (state) {
605 case 0: // Get the current Method* [sets kArg0]
606 // TUNING: we can save a reg copy if Method* has been promoted.
607 cg->LoadCurrMethodDirect(cg->TargetReg(kArg0));
608 break;
609 case 1: // Get method->dex_cache_resolved_methods_
buzbee695d13a2014-04-19 13:32:20 -0700610 cg->LoadRefDisp(cg->TargetReg(kArg0),
611 mirror::ArtMethod::DexCacheResolvedMethodsOffset().Int32Value(),
612 cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700613 // Set up direct code if known.
614 if (direct_code != 0) {
Ian Rogersff093b32014-04-30 19:04:27 -0700615 if (direct_code != static_cast<uintptr_t>(-1)) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700616 cg->LoadConstant(cg->TargetReg(kInvokeTgt), direct_code);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700617 } else if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Ian Rogers83883d72013-10-21 21:07:24 -0700618 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
Jeff Hao49161ce2014-03-12 11:05:25 -0700619 cg->LoadCodeAddress(target_method, type, kInvokeTgt);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700620 }
621 }
622 break;
623 case 2: // Grab target method*
624 CHECK_EQ(cu->dex_file, target_method.dex_file);
buzbee695d13a2014-04-19 13:32:20 -0700625 cg->LoadRefDisp(cg->TargetReg(kArg0),
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700626 ObjArray::OffsetOfElement(target_method.dex_method_index).Int32Value(),
627 cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700628 break;
629 case 3: // Grab the code from the method*
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700630 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700631 if (direct_code == 0) {
632 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800633 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700634 cg->TargetReg(kInvokeTgt));
635 }
636 break;
637 }
638 // Intentional fallthrough for x86
639 default:
640 return -1;
641 }
642 }
643 return state + 1;
644}
645
646/*
647 * Bit of a hack here - in the absence of a real scheduling pass,
648 * emit the next instruction in a virtual invoke sequence.
649 * We can use kLr as a temp prior to target address loading
650 * Note also that we'll load the first argument ("this") into
651 * kArg1 here rather than the standard LoadArgRegs.
652 */
653static int NextVCallInsn(CompilationUnit* cu, CallInfo* info,
654 int state, const MethodReference& target_method,
655 uint32_t method_idx, uintptr_t unused, uintptr_t unused2,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700656 InvokeType unused3) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700657 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
658 /*
659 * This is the fast path in which the target virtual method is
660 * fully resolved at compile time.
661 */
662 switch (state) {
663 case 0: { // Get "this" [set kArg1]
664 RegLocation rl_arg = info->args[0];
665 cg->LoadValueDirectFixed(rl_arg, cg->TargetReg(kArg1));
666 break;
667 }
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700668 case 1: // Is "this" null? [use kArg1]
Dave Allisonb373e092014-02-20 16:06:36 -0800669 cg->GenNullCheck(cg->TargetReg(kArg1), info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700670 // get this->klass_ [use kArg1, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700671 cg->LoadRefDisp(cg->TargetReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
672 cg->TargetReg(kInvokeTgt));
Dave Allisonb373e092014-02-20 16:06:36 -0800673 cg->MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700674 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700675 case 2: // Get this->klass_->vtable [usr kInvokeTgt, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700676 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt), mirror::Class::VTableOffset().Int32Value(),
677 cg->TargetReg(kInvokeTgt));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700678 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700679 case 3: // Get target method [use kInvokeTgt, set kArg0]
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700680 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt),
681 ObjArray::OffsetOfElement(method_idx).Int32Value(),
buzbee695d13a2014-04-19 13:32:20 -0700682 cg->TargetReg(kArg0));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700683 break;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700684 case 4: // Get the compiled code address [uses kArg0, sets kInvokeTgt]
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700685 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700686 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800687 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700688 cg->TargetReg(kInvokeTgt));
689 break;
690 }
691 // Intentional fallthrough for X86
692 default:
693 return -1;
694 }
695 return state + 1;
696}
697
698/*
Jeff Hao88474b42013-10-23 16:24:40 -0700699 * Emit the next instruction in an invoke interface sequence. This will do a lookup in the
700 * class's IMT, calling either the actual method or art_quick_imt_conflict_trampoline if
701 * more than one interface method map to the same index. Note also that we'll load the first
702 * argument ("this") into kArg1 here rather than the standard LoadArgRegs.
Brian Carlstrom7940e442013-07-12 13:46:57 -0700703 */
704static int NextInterfaceCallInsn(CompilationUnit* cu, CallInfo* info, int state,
705 const MethodReference& target_method,
Jeff Hao88474b42013-10-23 16:24:40 -0700706 uint32_t method_idx, uintptr_t unused,
707 uintptr_t direct_method, InvokeType unused2) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700708 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700709
Jeff Hao88474b42013-10-23 16:24:40 -0700710 switch (state) {
711 case 0: // Set target method index in case of conflict [set kHiddenArg, kHiddenFpArg (x86)]
Jeff Hao88474b42013-10-23 16:24:40 -0700712 CHECK_LT(target_method.dex_method_index, target_method.dex_file->NumMethodIds());
713 cg->LoadConstant(cg->TargetReg(kHiddenArg), target_method.dex_method_index);
Mark Mendelld3703d82014-06-09 15:10:50 -0400714 if (cu->instruction_set == kX86) {
Jeff Hao88474b42013-10-23 16:24:40 -0700715 cg->OpRegCopy(cg->TargetReg(kHiddenFpArg), cg->TargetReg(kHiddenArg));
716 }
717 break;
718 case 1: { // Get "this" [set kArg1]
719 RegLocation rl_arg = info->args[0];
720 cg->LoadValueDirectFixed(rl_arg, cg->TargetReg(kArg1));
721 break;
722 }
723 case 2: // Is "this" null? [use kArg1]
Dave Allisonb373e092014-02-20 16:06:36 -0800724 cg->GenNullCheck(cg->TargetReg(kArg1), info->opt_flags);
Jeff Hao88474b42013-10-23 16:24:40 -0700725 // Get this->klass_ [use kArg1, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700726 cg->LoadRefDisp(cg->TargetReg(kArg1), mirror::Object::ClassOffset().Int32Value(),
727 cg->TargetReg(kInvokeTgt));
Dave Allisonb373e092014-02-20 16:06:36 -0800728 cg->MarkPossibleNullPointerException(info->opt_flags);
Jeff Hao88474b42013-10-23 16:24:40 -0700729 break;
730 case 3: // Get this->klass_->imtable [use kInvokeTgt, set kInvokeTgt]
buzbee695d13a2014-04-19 13:32:20 -0700731 // NOTE: native pointer.
732 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt), mirror::Class::ImTableOffset().Int32Value(),
733 cg->TargetReg(kInvokeTgt));
Jeff Hao88474b42013-10-23 16:24:40 -0700734 break;
735 case 4: // Get target method [use kInvokeTgt, set kArg0]
buzbee695d13a2014-04-19 13:32:20 -0700736 // NOTE: native pointer.
Dmitry Petrochenko37498b62014-05-05 20:33:38 +0700737 cg->LoadRefDisp(cg->TargetReg(kInvokeTgt),
738 ObjArray::OffsetOfElement(method_idx % ClassLinker::kImtSize).Int32Value(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700739 cg->TargetReg(kArg0));
740 break;
Jeff Hao88474b42013-10-23 16:24:40 -0700741 case 5: // Get the compiled code address [use kArg0, set kInvokeTgt]
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700742 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Jeff Hao88474b42013-10-23 16:24:40 -0700743 cg->LoadWordDisp(cg->TargetReg(kArg0),
Ian Rogersef7d42f2014-01-06 12:55:46 -0800744 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value(),
Jeff Hao88474b42013-10-23 16:24:40 -0700745 cg->TargetReg(kInvokeTgt));
746 break;
747 }
748 // Intentional fallthrough for X86
Brian Carlstrom7940e442013-07-12 13:46:57 -0700749 default:
750 return -1;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700751 }
752 return state + 1;
753}
754
Andreas Gampe2f244e92014-05-08 03:35:25 -0700755template <size_t pointer_size>
756static int NextInvokeInsnSP(CompilationUnit* cu, CallInfo* info, ThreadOffset<pointer_size> trampoline,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700757 int state, const MethodReference& target_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700758 uint32_t method_idx) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700759 Mir2Lir* cg = static_cast<Mir2Lir*>(cu->cg.get());
760 /*
761 * This handles the case in which the base method is not fully
762 * resolved at compile time, we bail to a runtime helper.
763 */
764 if (state == 0) {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +0700765 if (cu->instruction_set != kX86 && cu->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700766 // Load trampoline target
Ian Rogers848871b2013-08-05 10:56:33 -0700767 cg->LoadWordDisp(cg->TargetReg(kSelf), trampoline.Int32Value(), cg->TargetReg(kInvokeTgt));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700768 }
769 // Load kArg0 with method index
770 CHECK_EQ(cu->dex_file, target_method.dex_file);
771 cg->LoadConstant(cg->TargetReg(kArg0), target_method.dex_method_index);
772 return 1;
773 }
774 return -1;
775}
776
777static int NextStaticCallInsnSP(CompilationUnit* cu, CallInfo* info,
778 int state,
779 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000780 uint32_t unused, uintptr_t unused2,
781 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700782 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700783 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeStaticTrampolineWithAccessCheck);
784 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
785 } else {
786 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeStaticTrampolineWithAccessCheck);
787 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
788 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700789}
790
791static int NextDirectCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
792 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000793 uint32_t unused, uintptr_t unused2,
794 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700795 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700796 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeDirectTrampolineWithAccessCheck);
797 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
798 } else {
799 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeDirectTrampolineWithAccessCheck);
800 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
801 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700802}
803
804static int NextSuperCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
805 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000806 uint32_t unused, uintptr_t unused2,
807 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700808 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700809 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeSuperTrampolineWithAccessCheck);
810 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
811 } else {
812 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeSuperTrampolineWithAccessCheck);
813 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
814 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700815}
816
817static int NextVCallInsnSP(CompilationUnit* cu, CallInfo* info, int state,
818 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000819 uint32_t unused, uintptr_t unused2,
820 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700821 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700822 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeVirtualTrampolineWithAccessCheck);
823 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
824 } else {
825 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeVirtualTrampolineWithAccessCheck);
826 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
827 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700828}
829
830static int NextInterfaceCallInsnWithAccessCheck(CompilationUnit* cu,
831 CallInfo* info, int state,
832 const MethodReference& target_method,
Vladimir Markof096aad2014-01-23 15:51:58 +0000833 uint32_t unused, uintptr_t unused2,
834 uintptr_t unused3, InvokeType unused4) {
buzbee33ae5582014-06-12 14:56:32 -0700835 if (cu->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -0700836 ThreadOffset<8> trampoline = QUICK_ENTRYPOINT_OFFSET(8, pInvokeInterfaceTrampolineWithAccessCheck);
837 return NextInvokeInsnSP<8>(cu, info, trampoline, state, target_method, 0);
838 } else {
839 ThreadOffset<4> trampoline = QUICK_ENTRYPOINT_OFFSET(4, pInvokeInterfaceTrampolineWithAccessCheck);
840 return NextInvokeInsnSP<4>(cu, info, trampoline, state, target_method, 0);
841 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700842}
843
844int Mir2Lir::LoadArgRegs(CallInfo* info, int call_state,
845 NextCallInsn next_call_insn,
846 const MethodReference& target_method,
847 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700848 uintptr_t direct_method, InvokeType type, bool skip_this) {
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700849 int last_arg_reg = 3 - 1;
850 int arg_regs[3] = {TargetReg(kArg1).GetReg(), TargetReg(kArg2).GetReg(), TargetReg(kArg3).GetReg()};
851
852 int next_reg = 0;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700853 int next_arg = 0;
854 if (skip_this) {
855 next_reg++;
856 next_arg++;
857 }
858 for (; (next_reg <= last_arg_reg) && (next_arg < info->num_arg_words); next_reg++) {
859 RegLocation rl_arg = info->args[next_arg++];
860 rl_arg = UpdateRawLoc(rl_arg);
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700861 if (rl_arg.wide && (next_reg <= last_arg_reg - 1)) {
862 RegStorage r_tmp(RegStorage::k64BitPair, arg_regs[next_reg], arg_regs[next_reg + 1]);
buzbee2700f7e2014-03-07 09:46:20 -0800863 LoadValueDirectWideFixed(rl_arg, r_tmp);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700864 next_reg++;
865 next_arg++;
866 } else {
867 if (rl_arg.wide) {
buzbee2700f7e2014-03-07 09:46:20 -0800868 rl_arg = NarrowRegLoc(rl_arg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700869 rl_arg.is_const = false;
870 }
Dmitry Petrochenko26ee07a2014-05-13 12:58:19 +0700871 LoadValueDirectFixed(rl_arg, RegStorage::Solo32(arg_regs[next_reg]));
Brian Carlstrom7940e442013-07-12 13:46:57 -0700872 }
873 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
874 direct_code, direct_method, type);
875 }
876 return call_state;
877}
878
879/*
880 * Load up to 5 arguments, the first three of which will be in
881 * kArg1 .. kArg3. On entry kArg0 contains the current method pointer,
882 * and as part of the load sequence, it must be replaced with
883 * the target method pointer. Note, this may also be called
884 * for "range" variants if the number of arguments is 5 or fewer.
885 */
886int Mir2Lir::GenDalvikArgsNoRange(CallInfo* info,
887 int call_state, LIR** pcrLabel, NextCallInsn next_call_insn,
888 const MethodReference& target_method,
889 uint32_t vtable_idx, uintptr_t direct_code,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -0700890 uintptr_t direct_method, InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700891 RegLocation rl_arg;
892
893 /* If no arguments, just return */
894 if (info->num_arg_words == 0)
895 return call_state;
896
897 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
898 direct_code, direct_method, type);
899
900 DCHECK_LE(info->num_arg_words, 5);
901 if (info->num_arg_words > 3) {
902 int32_t next_use = 3;
Brian Carlstrom7934ac22013-07-26 10:54:15 -0700903 // Detect special case of wide arg spanning arg3/arg4
Brian Carlstrom7940e442013-07-12 13:46:57 -0700904 RegLocation rl_use0 = info->args[0];
905 RegLocation rl_use1 = info->args[1];
906 RegLocation rl_use2 = info->args[2];
buzbee2700f7e2014-03-07 09:46:20 -0800907 if (((!rl_use0.wide && !rl_use1.wide) || rl_use0.wide) && rl_use2.wide) {
908 RegStorage reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700909 // Wide spans, we need the 2nd half of uses[2].
910 rl_arg = UpdateLocWide(rl_use2);
911 if (rl_arg.location == kLocPhysReg) {
buzbee85089dd2014-05-25 15:10:52 -0700912 if (rl_arg.reg.IsPair()) {
913 reg = rl_arg.reg.GetHigh();
914 } else {
915 RegisterInfo* info = GetRegInfo(rl_arg.reg);
916 info = info->FindMatchingView(RegisterInfo::kHighSingleStorageMask);
917 if (info == nullptr) {
918 // NOTE: For hard float convention we won't split arguments across reg/mem.
919 UNIMPLEMENTED(FATAL) << "Needs hard float api.";
920 }
921 reg = info->GetReg();
922 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700923 } else {
924 // kArg2 & rArg3 can safely be used here
925 reg = TargetReg(kArg3);
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100926 {
927 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
928 Load32Disp(TargetReg(kSp), SRegOffset(rl_arg.s_reg_low) + 4, reg);
929 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700930 call_state = next_call_insn(cu_, info, call_state, target_method,
931 vtable_idx, direct_code, direct_method, type);
932 }
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100933 {
934 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
935 Store32Disp(TargetReg(kSp), (next_use + 1) * 4, reg);
936 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700937 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
938 direct_code, direct_method, type);
939 next_use++;
940 }
941 // Loop through the rest
942 while (next_use < info->num_arg_words) {
buzbee091cc402014-03-31 10:14:40 -0700943 RegStorage arg_reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700944 rl_arg = info->args[next_use];
945 rl_arg = UpdateRawLoc(rl_arg);
946 if (rl_arg.location == kLocPhysReg) {
buzbee091cc402014-03-31 10:14:40 -0700947 arg_reg = rl_arg.reg;
Brian Carlstrom7940e442013-07-12 13:46:57 -0700948 } else {
buzbee091cc402014-03-31 10:14:40 -0700949 arg_reg = rl_arg.wide ? RegStorage::MakeRegPair(TargetReg(kArg2), TargetReg(kArg3)) :
950 TargetReg(kArg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700951 if (rl_arg.wide) {
buzbee091cc402014-03-31 10:14:40 -0700952 LoadValueDirectWideFixed(rl_arg, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700953 } else {
buzbee091cc402014-03-31 10:14:40 -0700954 LoadValueDirectFixed(rl_arg, arg_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700955 }
956 call_state = next_call_insn(cu_, info, call_state, target_method,
957 vtable_idx, direct_code, direct_method, type);
958 }
959 int outs_offset = (next_use + 1) * 4;
Vladimir Marko8dea81c2014-06-06 14:50:36 +0100960 {
961 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
962 if (rl_arg.wide) {
963 StoreBaseDisp(TargetReg(kSp), outs_offset, arg_reg, k64);
964 next_use += 2;
965 } else {
966 Store32Disp(TargetReg(kSp), outs_offset, arg_reg);
967 next_use++;
968 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700969 }
970 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
971 direct_code, direct_method, type);
972 }
973 }
974
975 call_state = LoadArgRegs(info, call_state, next_call_insn,
976 target_method, vtable_idx, direct_code, direct_method,
977 type, skip_this);
978
979 if (pcrLabel) {
Andreas Gampe5655e842014-06-17 16:36:07 -0700980 if (cu_->compiler_driver->GetCompilerOptions().GetExplicitNullChecks()) {
Dave Allisonf9439142014-03-27 15:10:22 -0700981 *pcrLabel = GenExplicitNullCheck(TargetReg(kArg1), info->opt_flags);
982 } else {
983 *pcrLabel = nullptr;
984 // In lieu of generating a check for kArg1 being null, we need to
985 // perform a load when doing implicit checks.
986 RegStorage tmp = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -0700987 Load32Disp(TargetReg(kArg1), 0, tmp);
Dave Allisonf9439142014-03-27 15:10:22 -0700988 MarkPossibleNullPointerException(info->opt_flags);
989 FreeTemp(tmp);
990 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700991 }
992 return call_state;
993}
994
995/*
996 * May have 0+ arguments (also used for jumbo). Note that
997 * source virtual registers may be in physical registers, so may
998 * need to be flushed to home location before copying. This
999 * applies to arg3 and above (see below).
1000 *
1001 * Two general strategies:
1002 * If < 20 arguments
1003 * Pass args 3-18 using vldm/vstm block copy
1004 * Pass arg0, arg1 & arg2 in kArg1-kArg3
1005 * If 20+ arguments
1006 * Pass args arg19+ using memcpy block copy
1007 * Pass arg0, arg1 & arg2 in kArg1-kArg3
1008 *
1009 */
1010int Mir2Lir::GenDalvikArgsRange(CallInfo* info, int call_state,
1011 LIR** pcrLabel, NextCallInsn next_call_insn,
1012 const MethodReference& target_method,
1013 uint32_t vtable_idx, uintptr_t direct_code, uintptr_t direct_method,
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001014 InvokeType type, bool skip_this) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001015 // If we can treat it as non-range (Jumbo ops will use range form)
1016 if (info->num_arg_words <= 5)
1017 return GenDalvikArgsNoRange(info, call_state, pcrLabel,
1018 next_call_insn, target_method, vtable_idx,
1019 direct_code, direct_method, type, skip_this);
1020 /*
1021 * First load the non-register arguments. Both forms expect all
1022 * of the source arguments to be in their home frame location, so
1023 * scan the s_reg names and flush any that have been promoted to
1024 * frame backing storage.
1025 */
1026 // Scan the rest of the args - if in phys_reg flush to memory
1027 for (int next_arg = 0; next_arg < info->num_arg_words;) {
1028 RegLocation loc = info->args[next_arg];
1029 if (loc.wide) {
1030 loc = UpdateLocWide(loc);
1031 if ((next_arg >= 2) && (loc.location == kLocPhysReg)) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001032 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
Vladimir Marko455759b2014-05-06 20:49:36 +01001033 StoreBaseDisp(TargetReg(kSp), SRegOffset(loc.s_reg_low), loc.reg, k64);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001034 }
1035 next_arg += 2;
1036 } else {
1037 loc = UpdateLoc(loc);
1038 if ((next_arg >= 3) && (loc.location == kLocPhysReg)) {
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001039 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
buzbee695d13a2014-04-19 13:32:20 -07001040 Store32Disp(TargetReg(kSp), SRegOffset(loc.s_reg_low), loc.reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001041 }
1042 next_arg++;
1043 }
1044 }
1045
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001046 // Logic below assumes that Method pointer is at offset zero from SP.
1047 DCHECK_EQ(VRegOffset(static_cast<int>(kVRegMethodPtrBaseReg)), 0);
1048
1049 // The first 3 arguments are passed via registers.
1050 // TODO: For 64-bit, instead of hardcoding 4 for Method* size, we should either
1051 // get size of uintptr_t or size of object reference according to model being used.
1052 int outs_offset = 4 /* Method* */ + (3 * sizeof(uint32_t));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001053 int start_offset = SRegOffset(info->args[3].s_reg_low);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001054 int regs_left_to_pass_via_stack = info->num_arg_words - 3;
1055 DCHECK_GT(regs_left_to_pass_via_stack, 0);
1056
1057 if (cu_->instruction_set == kThumb2 && regs_left_to_pass_via_stack <= 16) {
1058 // Use vldm/vstm pair using kArg3 as a temp
1059 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1060 direct_code, direct_method, type);
1061 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), start_offset);
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001062 LIR* ld = nullptr;
1063 {
1064 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
1065 ld = OpVldm(TargetReg(kArg3), regs_left_to_pass_via_stack);
1066 }
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001067 // TUNING: loosen barrier
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001068 ld->u.m.def_mask = &kEncodeAll;
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001069 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1070 direct_code, direct_method, type);
1071 OpRegRegImm(kOpAdd, TargetReg(kArg3), TargetReg(kSp), 4 /* Method* */ + (3 * 4));
1072 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1073 direct_code, direct_method, type);
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001074 LIR* st = nullptr;
1075 {
1076 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
1077 st = OpVstm(TargetReg(kArg3), regs_left_to_pass_via_stack);
1078 }
1079 st->u.m.def_mask = &kEncodeAll;
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001080 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1081 direct_code, direct_method, type);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001082 } else if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001083 int current_src_offset = start_offset;
1084 int current_dest_offset = outs_offset;
1085
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001086 // Only davik regs are accessed in this loop; no next_call_insn() calls.
1087 ScopedMemRefType mem_ref_type(this, ResourceMask::kDalvikReg);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001088 while (regs_left_to_pass_via_stack > 0) {
1089 // This is based on the knowledge that the stack itself is 16-byte aligned.
1090 bool src_is_16b_aligned = (current_src_offset & 0xF) == 0;
1091 bool dest_is_16b_aligned = (current_dest_offset & 0xF) == 0;
1092 size_t bytes_to_move;
1093
1094 /*
1095 * The amount to move defaults to 32-bit. If there are 4 registers left to move, then do a
1096 * a 128-bit move because we won't get the chance to try to aligned. If there are more than
1097 * 4 registers left to move, consider doing a 128-bit only if either src or dest are aligned.
1098 * We do this because we could potentially do a smaller move to align.
1099 */
1100 if (regs_left_to_pass_via_stack == 4 ||
1101 (regs_left_to_pass_via_stack > 4 && (src_is_16b_aligned || dest_is_16b_aligned))) {
1102 // Moving 128-bits via xmm register.
1103 bytes_to_move = sizeof(uint32_t) * 4;
1104
1105 // Allocate a free xmm temp. Since we are working through the calling sequence,
Mark Mendelle87f9b52014-04-30 14:13:18 -04001106 // we expect to have an xmm temporary available. AllocTempDouble will abort if
1107 // there are no free registers.
buzbee2700f7e2014-03-07 09:46:20 -08001108 RegStorage temp = AllocTempDouble();
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001109
1110 LIR* ld1 = nullptr;
1111 LIR* ld2 = nullptr;
1112 LIR* st1 = nullptr;
1113 LIR* st2 = nullptr;
1114
1115 /*
1116 * The logic is similar for both loads and stores. If we have 16-byte alignment,
1117 * do an aligned move. If we have 8-byte alignment, then do the move in two
1118 * parts. This approach prevents possible cache line splits. Finally, fall back
1119 * to doing an unaligned move. In most cases we likely won't split the cache
1120 * line but we cannot prove it and thus take a conservative approach.
1121 */
1122 bool src_is_8b_aligned = (current_src_offset & 0x7) == 0;
1123 bool dest_is_8b_aligned = (current_dest_offset & 0x7) == 0;
1124
1125 if (src_is_16b_aligned) {
1126 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovA128FP);
1127 } else if (src_is_8b_aligned) {
1128 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovLo128FP);
buzbee2700f7e2014-03-07 09:46:20 -08001129 ld2 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset + (bytes_to_move >> 1),
1130 kMovHi128FP);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001131 } else {
1132 ld1 = OpMovRegMem(temp, TargetReg(kSp), current_src_offset, kMovU128FP);
1133 }
1134
1135 if (dest_is_16b_aligned) {
1136 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovA128FP);
1137 } else if (dest_is_8b_aligned) {
1138 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovLo128FP);
buzbee2700f7e2014-03-07 09:46:20 -08001139 st2 = OpMovMemReg(TargetReg(kSp), current_dest_offset + (bytes_to_move >> 1),
1140 temp, kMovHi128FP);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001141 } else {
1142 st1 = OpMovMemReg(TargetReg(kSp), current_dest_offset, temp, kMovU128FP);
1143 }
1144
1145 // TODO If we could keep track of aliasing information for memory accesses that are wider
1146 // than 64-bit, we wouldn't need to set up a barrier.
1147 if (ld1 != nullptr) {
1148 if (ld2 != nullptr) {
1149 // For 64-bit load we can actually set up the aliasing information.
1150 AnnotateDalvikRegAccess(ld1, current_src_offset >> 2, true, true);
1151 AnnotateDalvikRegAccess(ld2, (current_src_offset + (bytes_to_move >> 1)) >> 2, true, true);
1152 } else {
1153 // Set barrier for 128-bit load.
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001154 ld1->u.m.def_mask = &kEncodeAll;
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001155 }
1156 }
1157 if (st1 != nullptr) {
1158 if (st2 != nullptr) {
1159 // For 64-bit store we can actually set up the aliasing information.
1160 AnnotateDalvikRegAccess(st1, current_dest_offset >> 2, false, true);
1161 AnnotateDalvikRegAccess(st2, (current_dest_offset + (bytes_to_move >> 1)) >> 2, false, true);
1162 } else {
1163 // Set barrier for 128-bit store.
Vladimir Marko8dea81c2014-06-06 14:50:36 +01001164 st1->u.m.def_mask = &kEncodeAll;
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001165 }
1166 }
1167
1168 // Free the temporary used for the data movement.
buzbee091cc402014-03-31 10:14:40 -07001169 FreeTemp(temp);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001170 } else {
1171 // Moving 32-bits via general purpose register.
1172 bytes_to_move = sizeof(uint32_t);
1173
1174 // Instead of allocating a new temp, simply reuse one of the registers being used
1175 // for argument passing.
buzbee2700f7e2014-03-07 09:46:20 -08001176 RegStorage temp = TargetReg(kArg3);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001177
1178 // Now load the argument VR and store to the outs.
buzbee695d13a2014-04-19 13:32:20 -07001179 Load32Disp(TargetReg(kSp), current_src_offset, temp);
1180 Store32Disp(TargetReg(kSp), current_dest_offset, temp);
Razvan A Lupusoru2c498d12014-01-29 16:02:57 -08001181 }
1182
1183 current_src_offset += bytes_to_move;
1184 current_dest_offset += bytes_to_move;
1185 regs_left_to_pass_via_stack -= (bytes_to_move >> 2);
1186 }
1187 } else {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001188 // Generate memcpy
1189 OpRegRegImm(kOpAdd, TargetReg(kArg0), TargetReg(kSp), outs_offset);
1190 OpRegRegImm(kOpAdd, TargetReg(kArg1), TargetReg(kSp), start_offset);
buzbee33ae5582014-06-12 14:56:32 -07001191 if (cu_->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001192 CallRuntimeHelperRegRegImm(QUICK_ENTRYPOINT_OFFSET(8, pMemcpy), TargetReg(kArg0),
1193 TargetReg(kArg1), (info->num_arg_words - 3) * 4, false);
1194 } else {
1195 CallRuntimeHelperRegRegImm(QUICK_ENTRYPOINT_OFFSET(4, pMemcpy), TargetReg(kArg0),
1196 TargetReg(kArg1), (info->num_arg_words - 3) * 4, false);
1197 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001198 }
1199
1200 call_state = LoadArgRegs(info, call_state, next_call_insn,
1201 target_method, vtable_idx, direct_code, direct_method,
1202 type, skip_this);
1203
1204 call_state = next_call_insn(cu_, info, call_state, target_method, vtable_idx,
1205 direct_code, direct_method, type);
1206 if (pcrLabel) {
Andreas Gampe5655e842014-06-17 16:36:07 -07001207 if (cu_->compiler_driver->GetCompilerOptions().GetExplicitNullChecks()) {
Dave Allisonf9439142014-03-27 15:10:22 -07001208 *pcrLabel = GenExplicitNullCheck(TargetReg(kArg1), info->opt_flags);
1209 } else {
1210 *pcrLabel = nullptr;
1211 // In lieu of generating a check for kArg1 being null, we need to
1212 // perform a load when doing implicit checks.
1213 RegStorage tmp = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -07001214 Load32Disp(TargetReg(kArg1), 0, tmp);
Dave Allisonf9439142014-03-27 15:10:22 -07001215 MarkPossibleNullPointerException(info->opt_flags);
1216 FreeTemp(tmp);
1217 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001218 }
1219 return call_state;
1220}
1221
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001222RegLocation Mir2Lir::InlineTarget(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001223 RegLocation res;
1224 if (info->result.location == kLocInvalid) {
buzbeea0cd2d72014-06-01 09:33:49 -07001225 res = GetReturn(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001226 } else {
1227 res = info->result;
1228 }
1229 return res;
1230}
1231
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001232RegLocation Mir2Lir::InlineTargetWide(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001233 RegLocation res;
1234 if (info->result.location == kLocInvalid) {
buzbeea0cd2d72014-06-01 09:33:49 -07001235 res = GetReturnWide(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001236 } else {
1237 res = info->result;
1238 }
1239 return res;
1240}
1241
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001242bool Mir2Lir::GenInlinedCharAt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001243 if (cu_->instruction_set == kMips) {
1244 // TODO - add Mips implementation
1245 return false;
1246 }
1247 // Location of reference to data array
1248 int value_offset = mirror::String::ValueOffset().Int32Value();
1249 // Location of count
1250 int count_offset = mirror::String::CountOffset().Int32Value();
1251 // Starting offset within data array
1252 int offset_offset = mirror::String::OffsetOffset().Int32Value();
1253 // Start of char data with array_
1254 int data_offset = mirror::Array::DataOffset(sizeof(uint16_t)).Int32Value();
1255
1256 RegLocation rl_obj = info->args[0];
1257 RegLocation rl_idx = info->args[1];
buzbeea0cd2d72014-06-01 09:33:49 -07001258 rl_obj = LoadValue(rl_obj, kRefReg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001259 // X86 wants to avoid putting a constant index into a register.
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001260 if (!((cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64)&& rl_idx.is_const)) {
Mark Mendell2b724cb2014-02-06 05:24:20 -08001261 rl_idx = LoadValue(rl_idx, kCoreReg);
1262 }
buzbee2700f7e2014-03-07 09:46:20 -08001263 RegStorage reg_max;
1264 GenNullCheck(rl_obj.reg, info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001265 bool range_check = (!(info->opt_flags & MIR_IGNORE_RANGE_CHECK));
Vladimir Marko3bc86152014-03-13 14:11:28 +00001266 LIR* range_check_branch = nullptr;
buzbee2700f7e2014-03-07 09:46:20 -08001267 RegStorage reg_off;
1268 RegStorage reg_ptr;
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001269 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001270 reg_off = AllocTemp();
buzbeea0cd2d72014-06-01 09:33:49 -07001271 reg_ptr = AllocTempRef();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001272 if (range_check) {
1273 reg_max = AllocTemp();
buzbee695d13a2014-04-19 13:32:20 -07001274 Load32Disp(rl_obj.reg, count_offset, reg_max);
Dave Allisonb373e092014-02-20 16:06:36 -08001275 MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001276 }
buzbee695d13a2014-04-19 13:32:20 -07001277 Load32Disp(rl_obj.reg, offset_offset, reg_off);
Dave Allisonb373e092014-02-20 16:06:36 -08001278 MarkPossibleNullPointerException(info->opt_flags);
buzbee695d13a2014-04-19 13:32:20 -07001279 Load32Disp(rl_obj.reg, value_offset, reg_ptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001280 if (range_check) {
Mingyao Yang3a74d152014-04-21 15:39:44 -07001281 // Set up a slow path to allow retry in case of bounds violation */
buzbee2700f7e2014-03-07 09:46:20 -08001282 OpRegReg(kOpCmp, rl_idx.reg, reg_max);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001283 FreeTemp(reg_max);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001284 range_check_branch = OpCondBranch(kCondUge, nullptr);
Brian Carlstrom6f485c62013-07-18 15:35:35 -07001285 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001286 OpRegImm(kOpAdd, reg_ptr, data_offset);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001287 } else {
1288 if (range_check) {
Mark Mendell2b724cb2014-02-06 05:24:20 -08001289 // On x86, we can compare to memory directly
Brian Carlstrom7940e442013-07-12 13:46:57 -07001290 // Set up a launch pad to allow retry in case of bounds violation */
Mark Mendell2b724cb2014-02-06 05:24:20 -08001291 if (rl_idx.is_const) {
Vladimir Marko3bc86152014-03-13 14:11:28 +00001292 range_check_branch = OpCmpMemImmBranch(
buzbee2700f7e2014-03-07 09:46:20 -08001293 kCondUlt, RegStorage::InvalidReg(), rl_obj.reg, count_offset,
Vladimir Marko3bc86152014-03-13 14:11:28 +00001294 mir_graph_->ConstantValue(rl_idx.orig_sreg), nullptr);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001295 } else {
buzbee2700f7e2014-03-07 09:46:20 -08001296 OpRegMem(kOpCmp, rl_idx.reg, rl_obj.reg, count_offset);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001297 range_check_branch = OpCondBranch(kCondUge, nullptr);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001298 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001299 }
1300 reg_off = AllocTemp();
buzbeea0cd2d72014-06-01 09:33:49 -07001301 reg_ptr = AllocTempRef();
buzbee695d13a2014-04-19 13:32:20 -07001302 Load32Disp(rl_obj.reg, offset_offset, reg_off);
buzbeea0cd2d72014-06-01 09:33:49 -07001303 LoadRefDisp(rl_obj.reg, value_offset, reg_ptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001304 }
Mark Mendell2b724cb2014-02-06 05:24:20 -08001305 if (rl_idx.is_const) {
1306 OpRegImm(kOpAdd, reg_off, mir_graph_->ConstantValue(rl_idx.orig_sreg));
1307 } else {
buzbee2700f7e2014-03-07 09:46:20 -08001308 OpRegReg(kOpAdd, reg_off, rl_idx.reg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001309 }
buzbee2700f7e2014-03-07 09:46:20 -08001310 FreeTemp(rl_obj.reg);
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001311 if (rl_idx.location == kLocPhysReg) {
buzbee2700f7e2014-03-07 09:46:20 -08001312 FreeTemp(rl_idx.reg);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001313 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001314 RegLocation rl_dest = InlineTarget(info);
1315 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001316 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
buzbee2700f7e2014-03-07 09:46:20 -08001317 LoadBaseIndexed(reg_ptr, reg_off, rl_result.reg, 1, kUnsignedHalf);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001318 } else {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001319 LoadBaseIndexedDisp(reg_ptr, reg_off, 1, data_offset, rl_result.reg, kUnsignedHalf);
Mark Mendell2b724cb2014-02-06 05:24:20 -08001320 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001321 FreeTemp(reg_off);
1322 FreeTemp(reg_ptr);
1323 StoreValue(rl_dest, rl_result);
1324 if (range_check) {
Vladimir Marko3bc86152014-03-13 14:11:28 +00001325 DCHECK(range_check_branch != nullptr);
1326 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've already null checked.
Mingyao Yang3a74d152014-04-21 15:39:44 -07001327 AddIntrinsicSlowPath(info, range_check_branch);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001328 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001329 return true;
1330}
1331
1332// Generates an inlined String.is_empty or String.length.
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001333bool Mir2Lir::GenInlinedStringIsEmptyOrLength(CallInfo* info, bool is_empty) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001334 if (cu_->instruction_set == kMips) {
1335 // TODO - add Mips implementation
1336 return false;
1337 }
1338 // dst = src.length();
1339 RegLocation rl_obj = info->args[0];
buzbeea0cd2d72014-06-01 09:33:49 -07001340 rl_obj = LoadValue(rl_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001341 RegLocation rl_dest = InlineTarget(info);
1342 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001343 GenNullCheck(rl_obj.reg, info->opt_flags);
buzbee695d13a2014-04-19 13:32:20 -07001344 Load32Disp(rl_obj.reg, mirror::String::CountOffset().Int32Value(), rl_result.reg);
Dave Allisonb373e092014-02-20 16:06:36 -08001345 MarkPossibleNullPointerException(info->opt_flags);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001346 if (is_empty) {
1347 // dst = (dst == 0);
1348 if (cu_->instruction_set == kThumb2) {
buzbee2700f7e2014-03-07 09:46:20 -08001349 RegStorage t_reg = AllocTemp();
1350 OpRegReg(kOpNeg, t_reg, rl_result.reg);
1351 OpRegRegReg(kOpAdc, rl_result.reg, rl_result.reg, t_reg);
Serban Constantinescu169489b2014-06-11 16:43:35 +01001352 } else if (cu_->instruction_set == kArm64) {
1353 OpRegImm(kOpSub, rl_result.reg, 1);
1354 OpRegRegImm(kOpLsr, rl_result.reg, rl_result.reg, 31);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001355 } else {
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001356 DCHECK(cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64);
buzbee2700f7e2014-03-07 09:46:20 -08001357 OpRegImm(kOpSub, rl_result.reg, 1);
1358 OpRegImm(kOpLsr, rl_result.reg, 31);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001359 }
1360 }
1361 StoreValue(rl_dest, rl_result);
1362 return true;
1363}
1364
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001365bool Mir2Lir::GenInlinedReverseBytes(CallInfo* info, OpSize size) {
1366 if (cu_->instruction_set == kMips) {
1367 // TODO - add Mips implementation
1368 return false;
1369 }
1370 RegLocation rl_src_i = info->args[0];
buzbee695d13a2014-04-19 13:32:20 -07001371 RegLocation rl_dest = (size == k64) ? InlineTargetWide(info) : InlineTarget(info); // result reg
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001372 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee695d13a2014-04-19 13:32:20 -07001373 if (size == k64) {
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001374 RegLocation rl_i = LoadValueWide(rl_src_i, kCoreReg);
Serban Constantinescu169489b2014-06-11 16:43:35 +01001375 if (cu_->instruction_set == kArm64) {
1376 OpRegReg(kOpRev, rl_result.reg, rl_i.reg);
1377 StoreValueWide(rl_dest, rl_result);
1378 return true;
1379 }
buzbee2700f7e2014-03-07 09:46:20 -08001380 RegStorage r_i_low = rl_i.reg.GetLow();
1381 if (rl_i.reg.GetLowReg() == rl_result.reg.GetLowReg()) {
Bill Buzbee00e1ec62014-02-27 23:44:13 +00001382 // 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 +00001383 r_i_low = AllocTemp();
buzbee2700f7e2014-03-07 09:46:20 -08001384 OpRegCopy(r_i_low, rl_i.reg);
Vladimir Markof246af22013-11-27 12:30:15 +00001385 }
buzbee2700f7e2014-03-07 09:46:20 -08001386 OpRegReg(kOpRev, rl_result.reg.GetLow(), rl_i.reg.GetHigh());
1387 OpRegReg(kOpRev, rl_result.reg.GetHigh(), r_i_low);
1388 if (rl_i.reg.GetLowReg() == rl_result.reg.GetLowReg()) {
Vladimir Markof246af22013-11-27 12:30:15 +00001389 FreeTemp(r_i_low);
1390 }
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001391 StoreValueWide(rl_dest, rl_result);
1392 } else {
buzbee695d13a2014-04-19 13:32:20 -07001393 DCHECK(size == k32 || size == kSignedHalf);
1394 OpKind op = (size == k32) ? kOpRev : kOpRevsh;
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001395 RegLocation rl_i = LoadValue(rl_src_i, kCoreReg);
buzbee2700f7e2014-03-07 09:46:20 -08001396 OpRegReg(op, rl_result.reg, rl_i.reg);
Vladimir Marko6bdf1ff2013-10-29 17:40:46 +00001397 StoreValue(rl_dest, rl_result);
1398 }
1399 return true;
1400}
1401
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001402bool Mir2Lir::GenInlinedAbsInt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001403 if (cu_->instruction_set == kMips) {
1404 // TODO - add Mips implementation
1405 return false;
1406 }
1407 RegLocation rl_src = info->args[0];
1408 rl_src = LoadValue(rl_src, kCoreReg);
1409 RegLocation rl_dest = InlineTarget(info);
1410 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001411 RegStorage sign_reg = AllocTemp();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001412 // abs(x) = y<=x>>31, (x+y)^y.
buzbee2700f7e2014-03-07 09:46:20 -08001413 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg, 31);
1414 OpRegRegReg(kOpAdd, rl_result.reg, rl_src.reg, sign_reg);
1415 OpRegReg(kOpXor, rl_result.reg, sign_reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001416 StoreValue(rl_dest, rl_result);
1417 return true;
1418}
1419
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001420bool Mir2Lir::GenInlinedAbsLong(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001421 if (cu_->instruction_set == kMips) {
1422 // TODO - add Mips implementation
1423 return false;
1424 }
Vladimir Markob9823312014-03-20 17:38:43 +00001425 RegLocation rl_src = info->args[0];
1426 rl_src = LoadValueWide(rl_src, kCoreReg);
1427 RegLocation rl_dest = InlineTargetWide(info);
1428 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1429
1430 // If on x86 or if we would clobber a register needed later, just copy the source first.
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001431 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64 || rl_result.reg.GetLowReg() == rl_src.reg.GetHighReg()) {
buzbee2700f7e2014-03-07 09:46:20 -08001432 OpRegCopyWide(rl_result.reg, rl_src.reg);
1433 if (rl_result.reg.GetLowReg() != rl_src.reg.GetLowReg() &&
1434 rl_result.reg.GetLowReg() != rl_src.reg.GetHighReg() &&
1435 rl_result.reg.GetHighReg() != rl_src.reg.GetLowReg() &&
Vladimir Markob9823312014-03-20 17:38:43 +00001436 rl_result.reg.GetHighReg() != rl_src.reg.GetHighReg()) {
1437 // Reuse source registers to avoid running out of temps.
buzbee2700f7e2014-03-07 09:46:20 -08001438 FreeTemp(rl_src.reg);
Vladimir Markob9823312014-03-20 17:38:43 +00001439 }
1440 rl_src = rl_result;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001441 }
Vladimir Markob9823312014-03-20 17:38:43 +00001442
1443 // abs(x) = y<=x>>31, (x+y)^y.
buzbee2700f7e2014-03-07 09:46:20 -08001444 RegStorage sign_reg = AllocTemp();
1445 OpRegRegImm(kOpAsr, sign_reg, rl_src.reg.GetHigh(), 31);
1446 OpRegRegReg(kOpAdd, rl_result.reg.GetLow(), rl_src.reg.GetLow(), sign_reg);
1447 OpRegRegReg(kOpAdc, rl_result.reg.GetHigh(), rl_src.reg.GetHigh(), sign_reg);
1448 OpRegReg(kOpXor, rl_result.reg.GetLow(), sign_reg);
1449 OpRegReg(kOpXor, rl_result.reg.GetHigh(), sign_reg);
buzbee082833c2014-05-17 23:16:26 -07001450 FreeTemp(sign_reg);
Vladimir Markob9823312014-03-20 17:38:43 +00001451 StoreValueWide(rl_dest, rl_result);
1452 return true;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001453}
1454
Yixin Shoudbb17e32014-02-07 05:09:30 -08001455bool Mir2Lir::GenInlinedAbsFloat(CallInfo* info) {
1456 if (cu_->instruction_set == kMips) {
1457 // TODO - add Mips implementation
1458 return false;
1459 }
1460 RegLocation rl_src = info->args[0];
1461 rl_src = LoadValue(rl_src, kCoreReg);
1462 RegLocation rl_dest = InlineTarget(info);
1463 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
buzbee2700f7e2014-03-07 09:46:20 -08001464 OpRegRegImm(kOpAnd, rl_result.reg, rl_src.reg, 0x7fffffff);
Yixin Shoudbb17e32014-02-07 05:09:30 -08001465 StoreValue(rl_dest, rl_result);
1466 return true;
1467}
1468
1469bool Mir2Lir::GenInlinedAbsDouble(CallInfo* info) {
1470 if (cu_->instruction_set == kMips) {
1471 // TODO - add Mips implementation
1472 return false;
1473 }
1474 RegLocation rl_src = info->args[0];
1475 rl_src = LoadValueWide(rl_src, kCoreReg);
1476 RegLocation rl_dest = InlineTargetWide(info);
1477 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Serban Constantinescu169489b2014-06-11 16:43:35 +01001478
1479 if (cu_->instruction_set == kArm64) {
1480 // TODO - Can ecode ? UBXF otherwise
1481 // OpRegRegImm(kOpAnd, rl_result.reg, 0x7fffffffffffffff);
1482 return false;
1483 } else {
1484 OpRegCopyWide(rl_result.reg, rl_src.reg);
1485 OpRegImm(kOpAnd, rl_result.reg.GetHigh(), 0x7fffffff);
1486 }
Yixin Shoudbb17e32014-02-07 05:09:30 -08001487 StoreValueWide(rl_dest, rl_result);
1488 return true;
1489}
1490
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001491bool Mir2Lir::GenInlinedFloatCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001492 if (cu_->instruction_set == kMips) {
1493 // TODO - add Mips implementation
1494 return false;
1495 }
1496 RegLocation rl_src = info->args[0];
1497 RegLocation rl_dest = InlineTarget(info);
1498 StoreValue(rl_dest, rl_src);
1499 return true;
1500}
1501
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001502bool Mir2Lir::GenInlinedDoubleCvt(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001503 if (cu_->instruction_set == kMips) {
1504 // TODO - add Mips implementation
1505 return false;
1506 }
1507 RegLocation rl_src = info->args[0];
1508 RegLocation rl_dest = InlineTargetWide(info);
1509 StoreValueWide(rl_dest, rl_src);
1510 return true;
1511}
1512
1513/*
Vladimir Marko3bc86152014-03-13 14:11:28 +00001514 * Fast String.indexOf(I) & (II). Tests for simple case of char <= 0xFFFF,
Brian Carlstrom7940e442013-07-12 13:46:57 -07001515 * otherwise bails to standard library code.
1516 */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001517bool Mir2Lir::GenInlinedIndexOf(CallInfo* info, bool zero_based) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001518 if (cu_->instruction_set == kMips) {
1519 // TODO - add Mips implementation
1520 return false;
1521 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001522 RegLocation rl_obj = info->args[0];
1523 RegLocation rl_char = info->args[1];
1524 if (rl_char.is_const && (mir_graph_->ConstantValue(rl_char) & ~0xFFFF) != 0) {
1525 // Code point beyond 0xFFFF. Punt to the real String.indexOf().
1526 return false;
1527 }
1528
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001529 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001530 LockCallTemps(); // Using fixed registers
buzbee2700f7e2014-03-07 09:46:20 -08001531 RegStorage reg_ptr = TargetReg(kArg0);
1532 RegStorage reg_char = TargetReg(kArg1);
1533 RegStorage reg_start = TargetReg(kArg2);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001534
Brian Carlstrom7940e442013-07-12 13:46:57 -07001535 LoadValueDirectFixed(rl_obj, reg_ptr);
1536 LoadValueDirectFixed(rl_char, reg_char);
1537 if (zero_based) {
1538 LoadConstant(reg_start, 0);
1539 } else {
buzbeea44d4f52014-03-05 11:26:39 -08001540 RegLocation rl_start = info->args[2]; // 3rd arg only present in III flavor of IndexOf.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001541 LoadValueDirectFixed(rl_start, reg_start);
1542 }
buzbee33ae5582014-06-12 14:56:32 -07001543 RegStorage r_tgt = cu_->target64 ?
Andreas Gampe2f244e92014-05-08 03:35:25 -07001544 LoadHelper(QUICK_ENTRYPOINT_OFFSET(8, pIndexOf)) :
1545 LoadHelper(QUICK_ENTRYPOINT_OFFSET(4, pIndexOf));
Dave Allisonf9439142014-03-27 15:10:22 -07001546 GenExplicitNullCheck(reg_ptr, info->opt_flags);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001547 LIR* high_code_point_branch =
1548 rl_char.is_const ? nullptr : OpCmpImmBranch(kCondGt, reg_char, 0xFFFF, nullptr);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001549 // NOTE: not a safepoint
Mark Mendell4028a6c2014-02-19 20:06:20 -08001550 OpReg(kOpBlx, r_tgt);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001551 if (!rl_char.is_const) {
1552 // Add the slow path for code points beyond 0xFFFF.
1553 DCHECK(high_code_point_branch != nullptr);
1554 LIR* resume_tgt = NewLIR0(kPseudoTargetLabel);
1555 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've null checked.
Mingyao Yang3a74d152014-04-21 15:39:44 -07001556 AddIntrinsicSlowPath(info, high_code_point_branch, resume_tgt);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001557 } else {
1558 DCHECK_EQ(mir_graph_->ConstantValue(rl_char) & ~0xFFFF, 0);
1559 DCHECK(high_code_point_branch == nullptr);
1560 }
buzbeea0cd2d72014-06-01 09:33:49 -07001561 RegLocation rl_return = GetReturn(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001562 RegLocation rl_dest = InlineTarget(info);
1563 StoreValue(rl_dest, rl_return);
1564 return true;
1565}
1566
1567/* Fast string.compareTo(Ljava/lang/string;)I. */
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001568bool Mir2Lir::GenInlinedStringCompareTo(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001569 if (cu_->instruction_set == kMips) {
1570 // TODO - add Mips implementation
1571 return false;
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_this = TargetReg(kArg0);
1576 RegStorage reg_cmp = TargetReg(kArg1);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001577
1578 RegLocation rl_this = info->args[0];
1579 RegLocation rl_cmp = info->args[1];
1580 LoadValueDirectFixed(rl_this, reg_this);
1581 LoadValueDirectFixed(rl_cmp, reg_cmp);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001582 RegStorage r_tgt;
1583 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
buzbee33ae5582014-06-12 14:56:32 -07001584 if (cu_->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001585 r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(8, pStringCompareTo));
1586 } else {
1587 r_tgt = LoadHelper(QUICK_ENTRYPOINT_OFFSET(4, pStringCompareTo));
1588 }
1589 } else {
1590 r_tgt = RegStorage::InvalidReg();
1591 }
Dave Allisonf9439142014-03-27 15:10:22 -07001592 GenExplicitNullCheck(reg_this, info->opt_flags);
Vladimir Marko3bc86152014-03-13 14:11:28 +00001593 info->opt_flags |= MIR_IGNORE_NULL_CHECK; // Record that we've null checked.
Brian Carlstrom7934ac22013-07-26 10:54:15 -07001594 // TUNING: check if rl_cmp.s_reg_low is already null checked
Vladimir Marko3bc86152014-03-13 14:11:28 +00001595 LIR* cmp_null_check_branch = OpCmpImmBranch(kCondEq, reg_cmp, 0, nullptr);
Mingyao Yang3a74d152014-04-21 15:39:44 -07001596 AddIntrinsicSlowPath(info, cmp_null_check_branch);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001597 // NOTE: not a safepoint
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001598 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001599 OpReg(kOpBlx, r_tgt);
1600 } else {
buzbee33ae5582014-06-12 14:56:32 -07001601 if (cu_->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001602 OpThreadMem(kOpBlx, QUICK_ENTRYPOINT_OFFSET(8, pStringCompareTo));
1603 } else {
1604 OpThreadMem(kOpBlx, QUICK_ENTRYPOINT_OFFSET(4, pStringCompareTo));
1605 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001606 }
buzbeea0cd2d72014-06-01 09:33:49 -07001607 RegLocation rl_return = GetReturn(kCoreReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001608 RegLocation rl_dest = InlineTarget(info);
1609 StoreValue(rl_dest, rl_return);
1610 return true;
1611}
1612
1613bool Mir2Lir::GenInlinedCurrentThread(CallInfo* info) {
1614 RegLocation rl_dest = InlineTarget(info);
1615 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
Andreas Gampe2f244e92014-05-08 03:35:25 -07001616
1617 switch (cu_->instruction_set) {
1618 case kArm:
1619 // Fall-through.
1620 case kThumb2:
1621 // Fall-through.
1622 case kMips:
1623 Load32Disp(TargetReg(kSelf), Thread::PeerOffset<4>().Int32Value(), rl_result.reg);
1624 break;
1625
1626 case kArm64:
1627 Load32Disp(TargetReg(kSelf), Thread::PeerOffset<8>().Int32Value(), rl_result.reg);
1628 break;
1629
1630 case kX86:
1631 reinterpret_cast<X86Mir2Lir*>(this)->OpRegThreadMem(kOpMov, rl_result.reg,
1632 Thread::PeerOffset<4>());
1633 break;
1634
1635 case kX86_64:
1636 reinterpret_cast<X86Mir2Lir*>(this)->OpRegThreadMem(kOpMov, rl_result.reg,
1637 Thread::PeerOffset<8>());
1638 break;
1639
1640 default:
1641 LOG(FATAL) << "Unexpected isa " << cu_->instruction_set;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001642 }
1643 StoreValue(rl_dest, rl_result);
1644 return true;
1645}
1646
1647bool Mir2Lir::GenInlinedUnsafeGet(CallInfo* info,
1648 bool is_long, bool is_volatile) {
1649 if (cu_->instruction_set == kMips) {
1650 // TODO - add Mips implementation
1651 return false;
1652 }
1653 // Unused - RegLocation rl_src_unsafe = info->args[0];
1654 RegLocation rl_src_obj = info->args[1]; // Object
1655 RegLocation rl_src_offset = info->args[2]; // long low
buzbee2700f7e2014-03-07 09:46:20 -08001656 rl_src_offset = NarrowRegLoc(rl_src_offset); // ignore high half in info->args[3]
Mark Mendell55d0eac2014-02-06 11:02:52 -08001657 RegLocation rl_dest = is_long ? InlineTargetWide(info) : InlineTarget(info); // result reg
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001658
buzbeea0cd2d72014-06-01 09:33:49 -07001659 RegLocation rl_object = LoadValue(rl_src_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001660 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1661 RegLocation rl_result = EvalLoc(rl_dest, kCoreReg, true);
1662 if (is_long) {
Dmitry Petrochenko9bf549d2014-05-12 11:14:46 +07001663 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001664 LoadBaseIndexedDisp(rl_object.reg, rl_offset.reg, 0, 0, rl_result.reg, k64);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001665 } else {
1666 RegStorage rl_temp_offset = AllocTemp();
1667 OpRegRegReg(kOpAdd, rl_temp_offset, rl_object.reg, rl_offset.reg);
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001668 LoadBaseDisp(rl_temp_offset, 0, rl_result.reg, k64);
buzbee091cc402014-03-31 10:14:40 -07001669 FreeTemp(rl_temp_offset);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001670 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001671 } else {
buzbee695d13a2014-04-19 13:32:20 -07001672 LoadBaseIndexed(rl_object.reg, rl_offset.reg, rl_result.reg, 0, k32);
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001673 }
1674
1675 if (is_volatile) {
1676 // Without context sensitive analysis, we must issue the most conservative barriers.
1677 // In this case, either a load or store may follow so we issue both barriers.
1678 GenMemBarrier(kLoadLoad);
1679 GenMemBarrier(kLoadStore);
1680 }
1681
1682 if (is_long) {
1683 StoreValueWide(rl_dest, rl_result);
1684 } else {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001685 StoreValue(rl_dest, rl_result);
1686 }
1687 return true;
1688}
1689
1690bool Mir2Lir::GenInlinedUnsafePut(CallInfo* info, bool is_long,
1691 bool is_object, bool is_volatile, bool is_ordered) {
1692 if (cu_->instruction_set == kMips) {
1693 // TODO - add Mips implementation
1694 return false;
1695 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001696 // Unused - RegLocation rl_src_unsafe = info->args[0];
1697 RegLocation rl_src_obj = info->args[1]; // Object
1698 RegLocation rl_src_offset = info->args[2]; // long low
buzbee2700f7e2014-03-07 09:46:20 -08001699 rl_src_offset = NarrowRegLoc(rl_src_offset); // ignore high half in info->args[3]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001700 RegLocation rl_src_value = info->args[4]; // value to store
1701 if (is_volatile || is_ordered) {
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001702 // There might have been a store before this volatile one so insert StoreStore barrier.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001703 GenMemBarrier(kStoreStore);
1704 }
buzbeea0cd2d72014-06-01 09:33:49 -07001705 RegLocation rl_object = LoadValue(rl_src_obj, kRefReg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001706 RegLocation rl_offset = LoadValue(rl_src_offset, kCoreReg);
1707 RegLocation rl_value;
1708 if (is_long) {
1709 rl_value = LoadValueWide(rl_src_value, kCoreReg);
Dmitry Petrochenko9bf549d2014-05-12 11:14:46 +07001710 if (cu_->instruction_set == kX86 || cu_->instruction_set == kX86_64) {
Vladimir Marko3bf7c602014-05-07 14:55:43 +01001711 StoreBaseIndexedDisp(rl_object.reg, rl_offset.reg, 0, 0, rl_value.reg, k64);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001712 } else {
1713 RegStorage rl_temp_offset = AllocTemp();
1714 OpRegRegReg(kOpAdd, rl_temp_offset, rl_object.reg, rl_offset.reg);
Vladimir Marko455759b2014-05-06 20:49:36 +01001715 StoreBaseDisp(rl_temp_offset, 0, rl_value.reg, k64);
buzbee091cc402014-03-31 10:14:40 -07001716 FreeTemp(rl_temp_offset);
Mathieu Chartier7c95cef2014-04-02 17:09:17 -07001717 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001718 } else {
buzbeea0cd2d72014-06-01 09:33:49 -07001719 rl_value = LoadValue(rl_src_value);
buzbee695d13a2014-04-19 13:32:20 -07001720 StoreBaseIndexed(rl_object.reg, rl_offset.reg, rl_value.reg, 0, k32);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001721 }
Mark Mendelldf8ee2e2014-01-27 16:37:47 -08001722
1723 // Free up the temp early, to ensure x86 doesn't run out of temporaries in MarkGCCard.
buzbee091cc402014-03-31 10:14:40 -07001724 FreeTemp(rl_offset.reg);
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001725
Brian Carlstrom7940e442013-07-12 13:46:57 -07001726 if (is_volatile) {
Razvan A Lupusoru99ad7232014-02-25 17:41:08 -08001727 // A load might follow the volatile store so insert a StoreLoad barrier.
Brian Carlstrom7940e442013-07-12 13:46:57 -07001728 GenMemBarrier(kStoreLoad);
1729 }
1730 if (is_object) {
buzbee2700f7e2014-03-07 09:46:20 -08001731 MarkGCCard(rl_value.reg, rl_object.reg);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001732 }
1733 return true;
1734}
1735
Brian Carlstrom2ce745c2013-07-17 17:44:30 -07001736void Mir2Lir::GenInvoke(CallInfo* info) {
Vladimir Marko9820b7c2014-01-02 16:40:37 +00001737 if ((info->opt_flags & MIR_INLINED) != 0) {
1738 // Already inlined but we may still need the null check.
1739 if (info->type != kStatic &&
1740 ((cu_->disable_opt & (1 << kNullCheckElimination)) != 0 ||
1741 (info->opt_flags & MIR_IGNORE_NULL_CHECK) == 0)) {
buzbeea0cd2d72014-06-01 09:33:49 -07001742 RegLocation rl_obj = LoadValue(info->args[0], kRefReg);
Mingyao Yange643a172014-04-08 11:02:52 -07001743 GenNullCheck(rl_obj.reg);
Vladimir Marko9820b7c2014-01-02 16:40:37 +00001744 }
1745 return;
1746 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001747 DCHECK(cu_->compiler_driver->GetMethodInlinerMap() != nullptr);
Dmitry Petrochenko4c800432014-05-08 12:20:24 +07001748 // TODO: Enable instrinsics for x86_64
1749 // Temporary disable intrinsics for x86_64. We will enable them later step by step.
buzbee33ae5582014-06-12 14:56:32 -07001750 // Temporary disable intrinsics for Arm64. We will enable them later step by step.
1751 if ((cu_->instruction_set != kX86_64) && (cu_->instruction_set != kArm64)) {
Dmitry Petrochenko4c800432014-05-08 12:20:24 +07001752 if (cu_->compiler_driver->GetMethodInlinerMap()->GetMethodInliner(cu_->dex_file)
1753 ->GenIntrinsic(this, info)) {
1754 return;
1755 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001756 }
Vladimir Marko3bc86152014-03-13 14:11:28 +00001757 GenInvokeNoInline(info);
1758}
1759
Andreas Gampe2f244e92014-05-08 03:35:25 -07001760template <size_t pointer_size>
1761static LIR* GenInvokeNoInlineCall(Mir2Lir* mir_to_lir, InvokeType type) {
1762 ThreadOffset<pointer_size> trampoline(-1);
1763 switch (type) {
1764 case kInterface:
1765 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeInterfaceTrampolineWithAccessCheck);
1766 break;
1767 case kDirect:
1768 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeDirectTrampolineWithAccessCheck);
1769 break;
1770 case kStatic:
1771 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeStaticTrampolineWithAccessCheck);
1772 break;
1773 case kSuper:
1774 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeSuperTrampolineWithAccessCheck);
1775 break;
1776 case kVirtual:
1777 trampoline = QUICK_ENTRYPOINT_OFFSET(pointer_size, pInvokeVirtualTrampolineWithAccessCheck);
1778 break;
1779 default:
1780 LOG(FATAL) << "Unexpected invoke type";
1781 }
1782 return mir_to_lir->OpThreadMem(kOpBlx, trampoline);
1783}
1784
Vladimir Marko3bc86152014-03-13 14:11:28 +00001785void Mir2Lir::GenInvokeNoInline(CallInfo* info) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001786 int call_state = 0;
1787 LIR* null_ck;
1788 LIR** p_null_ck = NULL;
1789 NextCallInsn next_call_insn;
1790 FlushAllRegs(); /* Everything to home location */
1791 // Explicit register usage
1792 LockCallTemps();
1793
Vladimir Markof096aad2014-01-23 15:51:58 +00001794 const MirMethodLoweringInfo& method_info = mir_graph_->GetMethodLoweringInfo(info->mir);
1795 cu_->compiler_driver->ProcessedInvoke(method_info.GetInvokeType(), method_info.StatsFlags());
Mark Mendelle87f9b52014-04-30 14:13:18 -04001796 BeginInvoke(info);
Vladimir Markof096aad2014-01-23 15:51:58 +00001797 InvokeType original_type = static_cast<InvokeType>(method_info.GetInvokeType());
1798 info->type = static_cast<InvokeType>(method_info.GetSharpType());
1799 bool fast_path = method_info.FastPath();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001800 bool skip_this;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001801 if (info->type == kInterface) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001802 next_call_insn = fast_path ? NextInterfaceCallInsn : NextInterfaceCallInsnWithAccessCheck;
Jeff Hao88474b42013-10-23 16:24:40 -07001803 skip_this = fast_path;
Brian Carlstrom7940e442013-07-12 13:46:57 -07001804 } else if (info->type == kDirect) {
1805 if (fast_path) {
1806 p_null_ck = &null_ck;
1807 }
1808 next_call_insn = fast_path ? NextSDCallInsn : NextDirectCallInsnSP;
1809 skip_this = false;
1810 } else if (info->type == kStatic) {
1811 next_call_insn = fast_path ? NextSDCallInsn : NextStaticCallInsnSP;
1812 skip_this = false;
1813 } else if (info->type == kSuper) {
1814 DCHECK(!fast_path); // Fast path is a direct call.
1815 next_call_insn = NextSuperCallInsnSP;
1816 skip_this = false;
1817 } else {
1818 DCHECK_EQ(info->type, kVirtual);
1819 next_call_insn = fast_path ? NextVCallInsn : NextVCallInsnSP;
1820 skip_this = fast_path;
1821 }
Vladimir Markof096aad2014-01-23 15:51:58 +00001822 MethodReference target_method = method_info.GetTargetMethod();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001823 if (!info->is_range) {
1824 call_state = GenDalvikArgsNoRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001825 next_call_insn, target_method, method_info.VTableIndex(),
1826 method_info.DirectCode(), method_info.DirectMethod(),
Brian Carlstrom7940e442013-07-12 13:46:57 -07001827 original_type, skip_this);
1828 } else {
1829 call_state = GenDalvikArgsRange(info, call_state, p_null_ck,
Vladimir Markof096aad2014-01-23 15:51:58 +00001830 next_call_insn, target_method, method_info.VTableIndex(),
1831 method_info.DirectCode(), method_info.DirectMethod(),
1832 original_type, skip_this);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001833 }
1834 // Finish up any of the call sequence not interleaved in arg loading
1835 while (call_state >= 0) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001836 call_state = next_call_insn(cu_, info, call_state, target_method, method_info.VTableIndex(),
1837 method_info.DirectCode(), method_info.DirectMethod(), original_type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001838 }
1839 LIR* call_inst;
Dmitry Petrochenko6a58cb12014-04-02 17:27:59 +07001840 if (cu_->instruction_set != kX86 && cu_->instruction_set != kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -07001841 call_inst = OpReg(kOpBlx, TargetReg(kInvokeTgt));
1842 } else {
Jeff Hao88474b42013-10-23 16:24:40 -07001843 if (fast_path) {
Vladimir Markof096aad2014-01-23 15:51:58 +00001844 if (method_info.DirectCode() == static_cast<uintptr_t>(-1)) {
Mark Mendell55d0eac2014-02-06 11:02:52 -08001845 // We can have the linker fixup a call relative.
1846 call_inst =
Jeff Hao49161ce2014-03-12 11:05:25 -07001847 reinterpret_cast<X86Mir2Lir*>(this)->CallWithLinkerFixup(target_method, info->type);
Mark Mendell55d0eac2014-02-06 11:02:52 -08001848 } else {
1849 call_inst = OpMem(kOpBlx, TargetReg(kArg0),
1850 mirror::ArtMethod::EntryPointFromQuickCompiledCodeOffset().Int32Value());
1851 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001852 } else {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001853 // TODO: Extract?
buzbee33ae5582014-06-12 14:56:32 -07001854 if (cu_->target64) {
Andreas Gampe2f244e92014-05-08 03:35:25 -07001855 call_inst = GenInvokeNoInlineCall<8>(this, info->type);
1856 } else {
Andreas Gampe3ec5da22014-05-12 18:43:28 -07001857 call_inst = GenInvokeNoInlineCall<4>(this, info->type);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001858 }
Brian Carlstrom7940e442013-07-12 13:46:57 -07001859 }
1860 }
Mark Mendelle87f9b52014-04-30 14:13:18 -04001861 EndInvoke(info);
Brian Carlstrom7940e442013-07-12 13:46:57 -07001862 MarkSafepointPC(call_inst);
1863
Vladimir Marko31c2aac2013-12-09 16:31:19 +00001864 ClobberCallerSave();
Brian Carlstrom7940e442013-07-12 13:46:57 -07001865 if (info->result.location != kLocInvalid) {
1866 // We have a following MOVE_RESULT - do it now.
1867 if (info->result.wide) {
buzbeea0cd2d72014-06-01 09:33:49 -07001868 RegLocation ret_loc = GetReturnWide(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001869 StoreValueWide(info->result, ret_loc);
1870 } else {
buzbeea0cd2d72014-06-01 09:33:49 -07001871 RegLocation ret_loc = GetReturn(LocToRegClass(info->result));
Brian Carlstrom7940e442013-07-12 13:46:57 -07001872 StoreValue(info->result, ret_loc);
1873 }
1874 }
1875}
1876
1877} // namespace art