blob: bf8b8bab643d939960c493283eee336f4e506962 [file] [log] [blame]
Ian Rogers848871b2013-08-05 10:56:33 -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 "callee_save_frame.h"
Dragos Sbirleabd136a22013-08-13 18:07:04 -070018#include "common_throws.h"
Ian Rogers848871b2013-08-05 10:56:33 -070019#include "dex_file-inl.h"
20#include "dex_instruction-inl.h"
Dragos Sbirleabd136a22013-08-13 18:07:04 -070021#include "entrypoints/entrypoint_utils.h"
Ian Rogers83883d72013-10-21 21:07:24 -070022#include "gc/accounting/card_table-inl.h"
Ian Rogers848871b2013-08-05 10:56:33 -070023#include "interpreter/interpreter.h"
24#include "invoke_arg_array_builder.h"
Brian Carlstromea46f952013-07-30 01:26:50 -070025#include "mirror/art_method-inl.h"
Ian Rogers848871b2013-08-05 10:56:33 -070026#include "mirror/class-inl.h"
27#include "mirror/object-inl.h"
28#include "mirror/object_array-inl.h"
29#include "object_utils.h"
30#include "runtime.h"
31
32namespace art {
33
34// Visits the arguments as saved to the stack by a Runtime::kRefAndArgs callee save frame.
35class QuickArgumentVisitor {
Ian Rogers936b37f2014-02-14 00:52:24 -080036 // Size of each spilled GPR.
37#ifdef __LP64__
38 static constexpr size_t kBytesPerGprSpillLocation = 8;
39#else
40 static constexpr size_t kBytesPerGprSpillLocation = 4;
41#endif
42 // Number of bytes for each out register in the caller method's frame.
43 static constexpr size_t kBytesStackArgLocation = 4;
Ian Rogers848871b2013-08-05 10:56:33 -070044#if defined(__arm__)
45 // The callee save frame is pointed to by SP.
46 // | argN | |
47 // | ... | |
48 // | arg4 | |
49 // | arg3 spill | | Caller's frame
50 // | arg2 spill | |
51 // | arg1 spill | |
52 // | Method* | ---
53 // | LR |
54 // | ... | callee saves
55 // | R3 | arg3
56 // | R2 | arg2
57 // | R1 | arg1
Ian Rogers936b37f2014-02-14 00:52:24 -080058 // | R0 | padding
Ian Rogers848871b2013-08-05 10:56:33 -070059 // | Method* | <- sp
Andreas Gampebf6b92a2014-03-05 16:11:04 -080060 static constexpr bool kQuickSoftFloatAbi = true; // This is a soft float ABI.
61 static constexpr size_t kNumQuickGprArgs = 3; // 3 arguments passed in GPRs.
62 static constexpr size_t kNumQuickFprArgs = 0; // 0 arguments passed in FPRs.
Ian Rogers936b37f2014-02-14 00:52:24 -080063 static constexpr size_t kBytesPerFprSpillLocation = 4; // FPR spill size is 4 bytes.
64 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_Fpr1Offset = 0; // Offset of first FPR arg.
65 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_Gpr1Offset = 8; // Offset of first GPR arg.
66 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_LrOffset = 44; // Offset of return address.
67 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_FrameSize = 48; // Frame size.
68 static size_t GprIndexToGprOffset(uint32_t gpr_index) {
69 return gpr_index * kBytesPerGprSpillLocation;
70 }
Ian Rogers848871b2013-08-05 10:56:33 -070071#elif defined(__mips__)
72 // The callee save frame is pointed to by SP.
73 // | argN | |
74 // | ... | |
75 // | arg4 | |
76 // | arg3 spill | | Caller's frame
77 // | arg2 spill | |
78 // | arg1 spill | |
79 // | Method* | ---
80 // | RA |
81 // | ... | callee saves
82 // | A3 | arg3
83 // | A2 | arg2
84 // | A1 | arg1
85 // | A0/Method* | <- sp
Andreas Gampebf6b92a2014-03-05 16:11:04 -080086 static constexpr bool kQuickSoftFloatAbi = true; // This is a soft float ABI.
87 static constexpr size_t kNumQuickGprArgs = 3; // 3 arguments passed in GPRs.
88 static constexpr size_t kNumQuickFprArgs = 0; // 0 arguments passed in FPRs.
Ian Rogers936b37f2014-02-14 00:52:24 -080089 static constexpr size_t kBytesPerFprSpillLocation = 4; // FPR spill size is 4 bytes.
90 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_Fpr1Offset = 0; // Offset of first FPR arg.
91 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_Gpr1Offset = 4; // Offset of first GPR arg.
92 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_LrOffset = 60; // Offset of return address.
93 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_FrameSize = 64; // Frame size.
94 static size_t GprIndexToGprOffset(uint32_t gpr_index) {
95 return gpr_index * kBytesPerGprSpillLocation;
96 }
Ian Rogers848871b2013-08-05 10:56:33 -070097#elif defined(__i386__)
98 // The callee save frame is pointed to by SP.
99 // | argN | |
100 // | ... | |
101 // | arg4 | |
102 // | arg3 spill | | Caller's frame
103 // | arg2 spill | |
104 // | arg1 spill | |
105 // | Method* | ---
106 // | Return |
107 // | EBP,ESI,EDI | callee saves
108 // | EBX | arg3
109 // | EDX | arg2
110 // | ECX | arg1
111 // | EAX/Method* | <- sp
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800112 static constexpr bool kQuickSoftFloatAbi = true; // This is a soft float ABI.
113 static constexpr size_t kNumQuickGprArgs = 3; // 3 arguments passed in GPRs.
114 static constexpr size_t kNumQuickFprArgs = 0; // 0 arguments passed in FPRs.
Ian Rogers936b37f2014-02-14 00:52:24 -0800115 static constexpr size_t kBytesPerFprSpillLocation = 8; // FPR spill size is 8 bytes.
116 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_Fpr1Offset = 0; // Offset of first FPR arg.
117 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_Gpr1Offset = 4; // Offset of first GPR arg.
118 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_LrOffset = 28; // Offset of return address.
119 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_FrameSize = 32; // Frame size.
120 static size_t GprIndexToGprOffset(uint32_t gpr_index) {
121 return gpr_index * kBytesPerGprSpillLocation;
122 }
Ian Rogersef7d42f2014-01-06 12:55:46 -0800123#elif defined(__x86_64__)
Ian Rogers936b37f2014-02-14 00:52:24 -0800124 // The callee save frame is pointed to by SP.
125 // | argN | |
126 // | ... | |
127 // | reg. arg spills | | Caller's frame
128 // | Method* | ---
129 // | Return |
130 // | R15 | callee save
131 // | R14 | callee save
132 // | R13 | callee save
133 // | R12 | callee save
134 // | R9 | arg5
135 // | R8 | arg4
136 // | RSI/R6 | arg1
137 // | RBP/R5 | callee save
138 // | RBX/R3 | callee save
139 // | RDX/R2 | arg2
140 // | RCX/R1 | arg3
141 // | XMM7 | float arg 8
142 // | XMM6 | float arg 7
143 // | XMM5 | float arg 6
144 // | XMM4 | float arg 5
145 // | XMM3 | float arg 4
146 // | XMM2 | float arg 3
147 // | XMM1 | float arg 2
148 // | XMM0 | float arg 1
149 // | Padding |
150 // | RDI/Method* | <- sp
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800151 static constexpr bool kQuickSoftFloatAbi = false; // This is a hard float ABI.
152 static constexpr size_t kNumQuickGprArgs = 5; // 3 arguments passed in GPRs.
153 static constexpr size_t kNumQuickFprArgs = 8; // 0 arguments passed in FPRs.
Ian Rogers936b37f2014-02-14 00:52:24 -0800154 static constexpr size_t kBytesPerFprSpillLocation = 8; // FPR spill size is 8 bytes.
155 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_Fpr1Offset = 16; // Offset of first FPR arg.
156 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_Gpr1Offset = 80; // Offset of first GPR arg.
157 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_LrOffset = 168; // Offset of return address.
158 static constexpr size_t kQuickCalleeSaveFrame_RefAndArgs_FrameSize = 176; // Frame size.
159 static size_t GprIndexToGprOffset(uint32_t gpr_index) {
160 switch (gpr_index) {
161 case 0: return (4 * kBytesPerGprSpillLocation);
162 case 1: return (1 * kBytesPerGprSpillLocation);
163 case 2: return (0 * kBytesPerGprSpillLocation);
164 case 3: return (5 * kBytesPerGprSpillLocation);
165 case 4: return (6 * kBytesPerGprSpillLocation);
166 default:
167 LOG(FATAL) << "Unexpected GPR index: " << gpr_index;
168 return 0;
169 }
170 }
Ian Rogers848871b2013-08-05 10:56:33 -0700171#else
172#error "Unsupported architecture"
Ian Rogers848871b2013-08-05 10:56:33 -0700173#endif
174
Ian Rogers936b37f2014-02-14 00:52:24 -0800175 public:
176 static mirror::ArtMethod* GetCallingMethod(mirror::ArtMethod** sp)
177 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
178 DCHECK((*sp)->IsCalleeSaveMethod());
179 byte* previous_sp = reinterpret_cast<byte*>(sp) + kQuickCalleeSaveFrame_RefAndArgs_FrameSize;
Brian Carlstromea46f952013-07-30 01:26:50 -0700180 return *reinterpret_cast<mirror::ArtMethod**>(previous_sp);
Ian Rogers848871b2013-08-05 10:56:33 -0700181 }
182
Ian Rogers936b37f2014-02-14 00:52:24 -0800183 // For the given quick ref and args quick frame, return the caller's PC.
184 static uintptr_t GetCallingPc(mirror::ArtMethod** sp)
185 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
186 DCHECK((*sp)->IsCalleeSaveMethod());
187 byte* lr = reinterpret_cast<byte*>(sp) + kQuickCalleeSaveFrame_RefAndArgs_LrOffset;
Ian Rogers848871b2013-08-05 10:56:33 -0700188 return *reinterpret_cast<uintptr_t*>(lr);
189 }
190
Brian Carlstromea46f952013-07-30 01:26:50 -0700191 QuickArgumentVisitor(mirror::ArtMethod** sp, bool is_static,
Ian Rogers848871b2013-08-05 10:56:33 -0700192 const char* shorty, uint32_t shorty_len)
Ian Rogers936b37f2014-02-14 00:52:24 -0800193 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) :
194 is_static_(is_static), shorty_(shorty), shorty_len_(shorty_len),
195 gpr_args_(reinterpret_cast<byte*>(sp) + kQuickCalleeSaveFrame_RefAndArgs_Gpr1Offset),
196 fpr_args_(reinterpret_cast<byte*>(sp) + kQuickCalleeSaveFrame_RefAndArgs_Fpr1Offset),
197 stack_args_(reinterpret_cast<byte*>(sp) + kQuickCalleeSaveFrame_RefAndArgs_FrameSize
198 + StackArgumentStartFromShorty(is_static, shorty, shorty_len)),
199 gpr_index_(0), fpr_index_(0), stack_index_(0), cur_type_(Primitive::kPrimVoid),
200 is_split_long_or_double_(false) {
201 DCHECK_EQ(kQuickCalleeSaveFrame_RefAndArgs_FrameSize,
Ian Rogers848871b2013-08-05 10:56:33 -0700202 Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs)->GetFrameSizeInBytes());
203 }
204
205 virtual ~QuickArgumentVisitor() {}
206
207 virtual void Visit() = 0;
208
Ian Rogers936b37f2014-02-14 00:52:24 -0800209 Primitive::Type GetParamPrimitiveType() const {
210 return cur_type_;
Ian Rogers848871b2013-08-05 10:56:33 -0700211 }
212
213 byte* GetParamAddress() const {
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800214 if (!kQuickSoftFloatAbi) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800215 Primitive::Type type = GetParamPrimitiveType();
216 if (UNLIKELY((type == Primitive::kPrimDouble) || (type == Primitive::kPrimFloat))) {
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800217 if ((kNumQuickFprArgs != 0) && (fpr_index_ + 1 < kNumQuickFprArgs + 1)) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800218 return fpr_args_ + (fpr_index_ * kBytesPerFprSpillLocation);
219 }
220 }
221 }
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800222 if (gpr_index_ < kNumQuickGprArgs) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800223 return gpr_args_ + GprIndexToGprOffset(gpr_index_);
224 }
225 return stack_args_ + (stack_index_ * kBytesStackArgLocation);
Ian Rogers848871b2013-08-05 10:56:33 -0700226 }
227
228 bool IsSplitLongOrDouble() const {
Ian Rogers936b37f2014-02-14 00:52:24 -0800229 if ((kBytesPerGprSpillLocation == 4) || (kBytesPerFprSpillLocation == 4)) {
230 return is_split_long_or_double_;
231 } else {
232 return false; // An optimization for when GPR and FPRs are 64bit.
233 }
Ian Rogers848871b2013-08-05 10:56:33 -0700234 }
235
Ian Rogers936b37f2014-02-14 00:52:24 -0800236 bool IsParamAReference() const {
Ian Rogers848871b2013-08-05 10:56:33 -0700237 return GetParamPrimitiveType() == Primitive::kPrimNot;
238 }
239
Ian Rogers936b37f2014-02-14 00:52:24 -0800240 bool IsParamALongOrDouble() const {
Ian Rogers848871b2013-08-05 10:56:33 -0700241 Primitive::Type type = GetParamPrimitiveType();
242 return type == Primitive::kPrimLong || type == Primitive::kPrimDouble;
243 }
244
245 uint64_t ReadSplitLongParam() const {
246 DCHECK(IsSplitLongOrDouble());
247 uint64_t low_half = *reinterpret_cast<uint32_t*>(GetParamAddress());
248 uint64_t high_half = *reinterpret_cast<uint32_t*>(stack_args_);
249 return (low_half & 0xffffffffULL) | (high_half << 32);
250 }
251
252 void VisitArguments() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800253 gpr_index_ = 0;
254 fpr_index_ = 0;
255 stack_index_ = 0;
256 if (!is_static_) { // Handle this.
257 cur_type_ = Primitive::kPrimNot;
258 is_split_long_or_double_ = false;
Ian Rogers848871b2013-08-05 10:56:33 -0700259 Visit();
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800260 if (kNumQuickGprArgs > 0) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800261 gpr_index_++;
262 } else {
263 stack_index_++;
264 }
Ian Rogers848871b2013-08-05 10:56:33 -0700265 }
Ian Rogers936b37f2014-02-14 00:52:24 -0800266 for (uint32_t shorty_index = 1; shorty_index < shorty_len_; ++shorty_index) {
267 cur_type_ = Primitive::GetType(shorty_[shorty_index]);
268 switch (cur_type_) {
269 case Primitive::kPrimNot:
270 case Primitive::kPrimBoolean:
271 case Primitive::kPrimByte:
272 case Primitive::kPrimChar:
273 case Primitive::kPrimShort:
274 case Primitive::kPrimInt:
275 is_split_long_or_double_ = false;
276 Visit();
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800277 if (gpr_index_ < kNumQuickGprArgs) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800278 gpr_index_++;
279 } else {
280 stack_index_++;
281 }
282 break;
283 case Primitive::kPrimFloat:
284 is_split_long_or_double_ = false;
285 Visit();
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800286 if (kQuickSoftFloatAbi) {
287 if (gpr_index_ < kNumQuickGprArgs) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800288 gpr_index_++;
289 } else {
290 stack_index_++;
291 }
292 } else {
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800293 if ((kNumQuickFprArgs != 0) && (fpr_index_ + 1 < kNumQuickFprArgs + 1)) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800294 fpr_index_++;
295 } else {
296 stack_index_++;
297 }
298 }
299 break;
300 case Primitive::kPrimDouble:
301 case Primitive::kPrimLong:
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800302 if (kQuickSoftFloatAbi || (cur_type_ == Primitive::kPrimLong)) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800303 is_split_long_or_double_ = (kBytesPerGprSpillLocation == 4) &&
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800304 ((gpr_index_ + 1) == kNumQuickGprArgs);
Ian Rogers936b37f2014-02-14 00:52:24 -0800305 Visit();
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800306 if (gpr_index_ < kNumQuickGprArgs) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800307 gpr_index_++;
308 if (kBytesPerGprSpillLocation == 4) {
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800309 if (gpr_index_ < kNumQuickGprArgs) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800310 gpr_index_++;
311 } else {
312 stack_index_++;
313 }
314 }
315 } else {
316 if (kBytesStackArgLocation == 4) {
317 stack_index_+= 2;
318 } else {
319 CHECK_EQ(kBytesStackArgLocation, 8U);
320 stack_index_++;
321 }
322 }
323 } else {
324 is_split_long_or_double_ = (kBytesPerFprSpillLocation == 4) &&
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800325 ((fpr_index_ + 1) == kNumQuickFprArgs);
Ian Rogers936b37f2014-02-14 00:52:24 -0800326 Visit();
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800327 if ((kNumQuickFprArgs != 0) && (fpr_index_ + 1 < kNumQuickFprArgs + 1)) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800328 fpr_index_++;
329 if (kBytesPerFprSpillLocation == 4) {
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800330 if ((kNumQuickFprArgs != 0) && (fpr_index_ + 1 < kNumQuickFprArgs + 1)) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800331 fpr_index_++;
332 } else {
333 stack_index_++;
334 }
335 }
336 } else {
337 if (kBytesStackArgLocation == 4) {
338 stack_index_+= 2;
339 } else {
340 CHECK_EQ(kBytesStackArgLocation, 8U);
341 stack_index_++;
342 }
343 }
344 }
345 break;
346 default:
347 LOG(FATAL) << "Unexpected type: " << cur_type_ << " in " << shorty_;
348 }
Ian Rogers848871b2013-08-05 10:56:33 -0700349 }
350 }
351
352 private:
Ian Rogers936b37f2014-02-14 00:52:24 -0800353 static size_t StackArgumentStartFromShorty(bool is_static, const char* shorty,
354 uint32_t shorty_len) {
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800355 if (kQuickSoftFloatAbi) {
356 CHECK_EQ(kNumQuickFprArgs, 0U);
357 return (kNumQuickGprArgs * kBytesPerGprSpillLocation) + kBytesPerGprSpillLocation /* ArtMethod* */;
Ian Rogers936b37f2014-02-14 00:52:24 -0800358 } else {
359 size_t offset = kBytesPerGprSpillLocation; // Skip Method*.
360 size_t gprs_seen = 0;
361 size_t fprs_seen = 0;
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800362 if (!is_static && (gprs_seen < kNumQuickGprArgs)) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800363 gprs_seen++;
364 offset += kBytesStackArgLocation;
Ian Rogers848871b2013-08-05 10:56:33 -0700365 }
Ian Rogers936b37f2014-02-14 00:52:24 -0800366 for (uint32_t i = 1; i < shorty_len; ++i) {
367 switch (shorty[i]) {
368 case 'Z':
369 case 'B':
370 case 'C':
371 case 'S':
372 case 'I':
373 case 'L':
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800374 if (gprs_seen < kNumQuickGprArgs) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800375 gprs_seen++;
376 offset += kBytesStackArgLocation;
377 }
378 break;
379 case 'J':
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800380 if (gprs_seen < kNumQuickGprArgs) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800381 gprs_seen++;
382 offset += 2 * kBytesStackArgLocation;
383 if (kBytesPerGprSpillLocation == 4) {
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800384 if (gprs_seen < kNumQuickGprArgs) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800385 gprs_seen++;
386 }
387 }
388 }
389 break;
390 case 'F':
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800391 if ((kNumQuickFprArgs != 0) && (fprs_seen + 1 < kNumQuickFprArgs + 1)) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800392 fprs_seen++;
393 offset += kBytesStackArgLocation;
394 }
395 break;
396 case 'D':
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800397 if ((kNumQuickFprArgs != 0) && (fprs_seen + 1 < kNumQuickFprArgs + 1)) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800398 fprs_seen++;
399 offset += 2 * kBytesStackArgLocation;
400 if (kBytesPerFprSpillLocation == 4) {
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800401 if ((kNumQuickFprArgs != 0) && (fprs_seen + 1 < kNumQuickFprArgs + 1)) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800402 fprs_seen++;
403 }
404 }
405 }
406 break;
407 default:
408 LOG(FATAL) << "Unexpected shorty character: " << shorty[i] << " in " << shorty;
409 }
Ian Rogers848871b2013-08-05 10:56:33 -0700410 }
Ian Rogers936b37f2014-02-14 00:52:24 -0800411 return offset;
Ian Rogers848871b2013-08-05 10:56:33 -0700412 }
Ian Rogers848871b2013-08-05 10:56:33 -0700413 }
414
415 const bool is_static_;
416 const char* const shorty_;
417 const uint32_t shorty_len_;
Ian Rogers936b37f2014-02-14 00:52:24 -0800418 byte* const gpr_args_; // Address of GPR arguments in callee save frame.
419 byte* const fpr_args_; // Address of FPR arguments in callee save frame.
420 byte* const stack_args_; // Address of stack arguments in caller's frame.
421 uint32_t gpr_index_; // Index into spilled GPRs.
422 uint32_t fpr_index_; // Index into spilled FPRs.
423 uint32_t stack_index_; // Index into arguments on the stack.
424 // The current type of argument during VisitArguments.
425 Primitive::Type cur_type_;
Ian Rogers848871b2013-08-05 10:56:33 -0700426 // Does a 64bit parameter straddle the register and stack arguments?
427 bool is_split_long_or_double_;
428};
429
430// Visits arguments on the stack placing them into the shadow frame.
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800431class BuildQuickShadowFrameVisitor FINAL : public QuickArgumentVisitor {
Ian Rogers848871b2013-08-05 10:56:33 -0700432 public:
Ian Rogers936b37f2014-02-14 00:52:24 -0800433 BuildQuickShadowFrameVisitor(mirror::ArtMethod** sp, bool is_static, const char* shorty,
434 uint32_t shorty_len, ShadowFrame* sf, size_t first_arg_reg) :
Ian Rogers848871b2013-08-05 10:56:33 -0700435 QuickArgumentVisitor(sp, is_static, shorty, shorty_len), sf_(sf), cur_reg_(first_arg_reg) {}
436
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800437 void Visit() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) OVERRIDE {
Ian Rogers848871b2013-08-05 10:56:33 -0700438 Primitive::Type type = GetParamPrimitiveType();
439 switch (type) {
440 case Primitive::kPrimLong: // Fall-through.
441 case Primitive::kPrimDouble:
442 if (IsSplitLongOrDouble()) {
Ian Rogers936b37f2014-02-14 00:52:24 -0800443 sf_->SetVRegLong(cur_reg_, ReadSplitLongParam());
Ian Rogers848871b2013-08-05 10:56:33 -0700444 } else {
Ian Rogers936b37f2014-02-14 00:52:24 -0800445 sf_->SetVRegLong(cur_reg_, *reinterpret_cast<jlong*>(GetParamAddress()));
Ian Rogers848871b2013-08-05 10:56:33 -0700446 }
447 ++cur_reg_;
448 break;
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800449 case Primitive::kPrimNot: {
450 StackReference<mirror::Object>* stack_ref =
451 reinterpret_cast<StackReference<mirror::Object>*>(GetParamAddress());
452 sf_->SetVRegReference(cur_reg_, stack_ref->AsMirrorPtr());
453 }
Ian Rogers848871b2013-08-05 10:56:33 -0700454 break;
455 case Primitive::kPrimBoolean: // Fall-through.
456 case Primitive::kPrimByte: // Fall-through.
457 case Primitive::kPrimChar: // Fall-through.
458 case Primitive::kPrimShort: // Fall-through.
459 case Primitive::kPrimInt: // Fall-through.
460 case Primitive::kPrimFloat:
Ian Rogers936b37f2014-02-14 00:52:24 -0800461 sf_->SetVReg(cur_reg_, *reinterpret_cast<jint*>(GetParamAddress()));
Ian Rogers848871b2013-08-05 10:56:33 -0700462 break;
463 case Primitive::kPrimVoid:
464 LOG(FATAL) << "UNREACHABLE";
465 break;
466 }
467 ++cur_reg_;
468 }
469
470 private:
Ian Rogers936b37f2014-02-14 00:52:24 -0800471 ShadowFrame* const sf_;
472 uint32_t cur_reg_;
Ian Rogers848871b2013-08-05 10:56:33 -0700473
Dragos Sbirleabd136a22013-08-13 18:07:04 -0700474 DISALLOW_COPY_AND_ASSIGN(BuildQuickShadowFrameVisitor);
Ian Rogers848871b2013-08-05 10:56:33 -0700475};
476
Brian Carlstromea46f952013-07-30 01:26:50 -0700477extern "C" uint64_t artQuickToInterpreterBridge(mirror::ArtMethod* method, Thread* self,
478 mirror::ArtMethod** sp)
Ian Rogers848871b2013-08-05 10:56:33 -0700479 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
480 // Ensure we don't get thread suspension until the object arguments are safely in the shadow
481 // frame.
482 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsAndArgs);
483
484 if (method->IsAbstract()) {
485 ThrowAbstractMethodError(method);
486 return 0;
487 } else {
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800488 DCHECK(!method->IsNative()) << PrettyMethod(method);
Ian Rogers848871b2013-08-05 10:56:33 -0700489 const char* old_cause = self->StartAssertNoThreadSuspension("Building interpreter shadow frame");
490 MethodHelper mh(method);
491 const DexFile::CodeItem* code_item = mh.GetCodeItem();
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800492 DCHECK(code_item != nullptr) << PrettyMethod(method);
Ian Rogers848871b2013-08-05 10:56:33 -0700493 uint16_t num_regs = code_item->registers_size_;
494 void* memory = alloca(ShadowFrame::ComputeSize(num_regs));
495 ShadowFrame* shadow_frame(ShadowFrame::Create(num_regs, NULL, // No last shadow coming from quick.
496 method, 0, memory));
497 size_t first_arg_reg = code_item->registers_size_ - code_item->ins_size_;
Dragos Sbirleabd136a22013-08-13 18:07:04 -0700498 BuildQuickShadowFrameVisitor shadow_frame_builder(sp, mh.IsStatic(), mh.GetShorty(),
Ian Rogers936b37f2014-02-14 00:52:24 -0800499 mh.GetShortyLength(),
500 shadow_frame, first_arg_reg);
Ian Rogers848871b2013-08-05 10:56:33 -0700501 shadow_frame_builder.VisitArguments();
502 // Push a transition back into managed code onto the linked list in thread.
503 ManagedStack fragment;
504 self->PushManagedStackFragment(&fragment);
505 self->PushShadowFrame(shadow_frame);
506 self->EndAssertNoThreadSuspension(old_cause);
507
508 if (method->IsStatic() && !method->GetDeclaringClass()->IsInitializing()) {
509 // Ensure static method's class is initialized.
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800510 SirtRef<mirror::Class> sirt_c(self, method->GetDeclaringClass());
511 if (!Runtime::Current()->GetClassLinker()->EnsureInitialized(sirt_c, true, true)) {
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800512 DCHECK(Thread::Current()->IsExceptionPending()) << PrettyMethod(method);
Ian Rogers848871b2013-08-05 10:56:33 -0700513 self->PopManagedStackFragment(fragment);
514 return 0;
515 }
516 }
517
518 JValue result = interpreter::EnterInterpreterFromStub(self, mh, code_item, *shadow_frame);
519 // Pop transition.
520 self->PopManagedStackFragment(fragment);
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800521 // No need to restore the args since the method has already been run by the interpreter.
Ian Rogers848871b2013-08-05 10:56:33 -0700522 return result.GetJ();
523 }
524}
525
526// Visits arguments on the stack placing them into the args vector, Object* arguments are converted
527// to jobjects.
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800528class BuildQuickArgumentVisitor FINAL : public QuickArgumentVisitor {
Ian Rogers848871b2013-08-05 10:56:33 -0700529 public:
Brian Carlstromea46f952013-07-30 01:26:50 -0700530 BuildQuickArgumentVisitor(mirror::ArtMethod** sp, bool is_static, const char* shorty,
Ian Rogers848871b2013-08-05 10:56:33 -0700531 uint32_t shorty_len, ScopedObjectAccessUnchecked* soa,
532 std::vector<jvalue>* args) :
533 QuickArgumentVisitor(sp, is_static, shorty, shorty_len), soa_(soa), args_(args) {}
534
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800535 void Visit() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) OVERRIDE {
Ian Rogers848871b2013-08-05 10:56:33 -0700536 jvalue val;
537 Primitive::Type type = GetParamPrimitiveType();
538 switch (type) {
539 case Primitive::kPrimNot: {
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800540 StackReference<mirror::Object>* stack_ref =
541 reinterpret_cast<StackReference<mirror::Object>*>(GetParamAddress());
542 val.l = soa_->AddLocalReference<jobject>(stack_ref->AsMirrorPtr());
543 references_.push_back(std::make_pair(val.l, stack_ref));
Ian Rogers848871b2013-08-05 10:56:33 -0700544 break;
545 }
546 case Primitive::kPrimLong: // Fall-through.
547 case Primitive::kPrimDouble:
548 if (IsSplitLongOrDouble()) {
549 val.j = ReadSplitLongParam();
550 } else {
551 val.j = *reinterpret_cast<jlong*>(GetParamAddress());
552 }
553 break;
554 case Primitive::kPrimBoolean: // Fall-through.
555 case Primitive::kPrimByte: // Fall-through.
556 case Primitive::kPrimChar: // Fall-through.
557 case Primitive::kPrimShort: // Fall-through.
558 case Primitive::kPrimInt: // Fall-through.
559 case Primitive::kPrimFloat:
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800560 val.i = *reinterpret_cast<jint*>(GetParamAddress());
Ian Rogers848871b2013-08-05 10:56:33 -0700561 break;
562 case Primitive::kPrimVoid:
563 LOG(FATAL) << "UNREACHABLE";
564 val.j = 0;
565 break;
566 }
567 args_->push_back(val);
568 }
569
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800570 void FixupReferences() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
571 // Fixup any references which may have changed.
572 for (const auto& pair : references_) {
573 pair.second->Assign(soa_->Decode<mirror::Object*>(pair.first));
574 }
575 }
576
Ian Rogers848871b2013-08-05 10:56:33 -0700577 private:
578 ScopedObjectAccessUnchecked* soa_;
579 std::vector<jvalue>* args_;
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800580 // References which we must update when exiting in case the GC moved the objects.
581 std::vector<std::pair<jobject, StackReference<mirror::Object>*> > references_;
Ian Rogers848871b2013-08-05 10:56:33 -0700582 DISALLOW_COPY_AND_ASSIGN(BuildQuickArgumentVisitor);
583};
584
585// Handler for invocation on proxy methods. On entry a frame will exist for the proxy object method
586// which is responsible for recording callee save registers. We explicitly place into jobjects the
587// incoming reference arguments (so they survive GC). We invoke the invocation handler, which is a
588// field within the proxy object, which will box the primitive arguments and deal with error cases.
Brian Carlstromea46f952013-07-30 01:26:50 -0700589extern "C" uint64_t artQuickProxyInvokeHandler(mirror::ArtMethod* proxy_method,
Ian Rogers848871b2013-08-05 10:56:33 -0700590 mirror::Object* receiver,
Brian Carlstromea46f952013-07-30 01:26:50 -0700591 Thread* self, mirror::ArtMethod** sp)
Ian Rogers848871b2013-08-05 10:56:33 -0700592 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Brian Carlstromd3633d52013-08-20 21:06:26 -0700593 DCHECK(proxy_method->IsProxyMethod()) << PrettyMethod(proxy_method);
594 DCHECK(receiver->GetClass()->IsProxyClass()) << PrettyMethod(proxy_method);
Ian Rogers848871b2013-08-05 10:56:33 -0700595 // Ensure we don't get thread suspension until the object arguments are safely in jobjects.
596 const char* old_cause =
597 self->StartAssertNoThreadSuspension("Adding to IRT proxy object arguments");
598 // Register the top of the managed stack, making stack crawlable.
Brian Carlstromd3633d52013-08-20 21:06:26 -0700599 DCHECK_EQ(*sp, proxy_method) << PrettyMethod(proxy_method);
Ian Rogers848871b2013-08-05 10:56:33 -0700600 self->SetTopOfStack(sp, 0);
601 DCHECK_EQ(proxy_method->GetFrameSizeInBytes(),
Brian Carlstromd3633d52013-08-20 21:06:26 -0700602 Runtime::Current()->GetCalleeSaveMethod(Runtime::kRefsAndArgs)->GetFrameSizeInBytes())
603 << PrettyMethod(proxy_method);
Ian Rogers848871b2013-08-05 10:56:33 -0700604 self->VerifyStack();
605 // Start new JNI local reference state.
606 JNIEnvExt* env = self->GetJniEnv();
607 ScopedObjectAccessUnchecked soa(env);
608 ScopedJniEnvLocalRefState env_state(env);
609 // Create local ref. copies of proxy method and the receiver.
610 jobject rcvr_jobj = soa.AddLocalReference<jobject>(receiver);
611
612 // Placing arguments into args vector and remove the receiver.
613 MethodHelper proxy_mh(proxy_method);
Brian Carlstromd3633d52013-08-20 21:06:26 -0700614 DCHECK(!proxy_mh.IsStatic()) << PrettyMethod(proxy_method);
Ian Rogers848871b2013-08-05 10:56:33 -0700615 std::vector<jvalue> args;
616 BuildQuickArgumentVisitor local_ref_visitor(sp, proxy_mh.IsStatic(), proxy_mh.GetShorty(),
617 proxy_mh.GetShortyLength(), &soa, &args);
Brian Carlstromd3633d52013-08-20 21:06:26 -0700618
Ian Rogers848871b2013-08-05 10:56:33 -0700619 local_ref_visitor.VisitArguments();
Brian Carlstromd3633d52013-08-20 21:06:26 -0700620 DCHECK_GT(args.size(), 0U) << PrettyMethod(proxy_method);
Ian Rogers848871b2013-08-05 10:56:33 -0700621 args.erase(args.begin());
622
623 // Convert proxy method into expected interface method.
Brian Carlstromea46f952013-07-30 01:26:50 -0700624 mirror::ArtMethod* interface_method = proxy_method->FindOverriddenMethod();
Brian Carlstromd3633d52013-08-20 21:06:26 -0700625 DCHECK(interface_method != NULL) << PrettyMethod(proxy_method);
Ian Rogers848871b2013-08-05 10:56:33 -0700626 DCHECK(!interface_method->IsProxyMethod()) << PrettyMethod(interface_method);
627 jobject interface_method_jobj = soa.AddLocalReference<jobject>(interface_method);
628
629 // All naked Object*s should now be in jobjects, so its safe to go into the main invoke code
630 // that performs allocations.
631 self->EndAssertNoThreadSuspension(old_cause);
632 JValue result = InvokeProxyInvocationHandler(soa, proxy_mh.GetShorty(),
633 rcvr_jobj, interface_method_jobj, args);
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800634 // Restore references which might have moved.
635 local_ref_visitor.FixupReferences();
Ian Rogers848871b2013-08-05 10:56:33 -0700636 return result.GetJ();
637}
638
639// Read object references held in arguments from quick frames and place in a JNI local references,
640// so they don't get garbage collected.
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800641class RememberForGcArgumentVisitor FINAL : public QuickArgumentVisitor {
Ian Rogers848871b2013-08-05 10:56:33 -0700642 public:
Mathieu Chartier590fee92013-09-13 13:46:47 -0700643 RememberForGcArgumentVisitor(mirror::ArtMethod** sp, bool is_static, const char* shorty,
644 uint32_t shorty_len, ScopedObjectAccessUnchecked* soa) :
Ian Rogers848871b2013-08-05 10:56:33 -0700645 QuickArgumentVisitor(sp, is_static, shorty, shorty_len), soa_(soa) {}
646
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800647 void Visit() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) OVERRIDE {
Ian Rogers848871b2013-08-05 10:56:33 -0700648 if (IsParamAReference()) {
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800649 StackReference<mirror::Object>* stack_ref =
650 reinterpret_cast<StackReference<mirror::Object>*>(GetParamAddress());
Mathieu Chartier07d447b2013-09-26 11:57:43 -0700651 jobject reference =
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800652 soa_->AddLocalReference<jobject>(stack_ref->AsMirrorPtr());
653 references_.push_back(std::make_pair(reference, stack_ref));
Mathieu Chartier07d447b2013-09-26 11:57:43 -0700654 }
655 }
656
657 void FixupReferences() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
658 // Fixup any references which may have changed.
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800659 for (const auto& pair : references_) {
660 pair.second->Assign(soa_->Decode<mirror::Object*>(pair.first));
Ian Rogers848871b2013-08-05 10:56:33 -0700661 }
662 }
663
664 private:
665 ScopedObjectAccessUnchecked* soa_;
Mathieu Chartier5275bcb2014-02-20 17:16:42 -0800666 // References which we must update when exiting in case the GC moved the objects.
667 std::vector<std::pair<jobject, StackReference<mirror::Object>*> > references_;
Mathieu Chartier590fee92013-09-13 13:46:47 -0700668 DISALLOW_COPY_AND_ASSIGN(RememberForGcArgumentVisitor);
Ian Rogers848871b2013-08-05 10:56:33 -0700669};
670
671// Lazily resolve a method for quick. Called by stub code.
Brian Carlstromea46f952013-07-30 01:26:50 -0700672extern "C" const void* artQuickResolutionTrampoline(mirror::ArtMethod* called,
Ian Rogers848871b2013-08-05 10:56:33 -0700673 mirror::Object* receiver,
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800674 Thread* self, mirror::ArtMethod** sp)
Ian Rogers848871b2013-08-05 10:56:33 -0700675 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800676 FinishCalleeSaveFrameSetup(self, sp, Runtime::kRefsAndArgs);
Ian Rogers848871b2013-08-05 10:56:33 -0700677 // Start new JNI local reference state
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800678 JNIEnvExt* env = self->GetJniEnv();
Ian Rogers848871b2013-08-05 10:56:33 -0700679 ScopedObjectAccessUnchecked soa(env);
680 ScopedJniEnvLocalRefState env_state(env);
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800681 const char* old_cause = self->StartAssertNoThreadSuspension("Quick method resolution set up");
Ian Rogers848871b2013-08-05 10:56:33 -0700682
683 // Compute details about the called method (avoid GCs)
684 ClassLinker* linker = Runtime::Current()->GetClassLinker();
Brian Carlstromea46f952013-07-30 01:26:50 -0700685 mirror::ArtMethod* caller = QuickArgumentVisitor::GetCallingMethod(sp);
Ian Rogers848871b2013-08-05 10:56:33 -0700686 InvokeType invoke_type;
687 const DexFile* dex_file;
688 uint32_t dex_method_idx;
689 if (called->IsRuntimeMethod()) {
690 uint32_t dex_pc = caller->ToDexPc(QuickArgumentVisitor::GetCallingPc(sp));
691 const DexFile::CodeItem* code;
692 {
693 MethodHelper mh(caller);
694 dex_file = &mh.GetDexFile();
695 code = mh.GetCodeItem();
696 }
697 CHECK_LT(dex_pc, code->insns_size_in_code_units_);
698 const Instruction* instr = Instruction::At(&code->insns_[dex_pc]);
699 Instruction::Code instr_code = instr->Opcode();
700 bool is_range;
701 switch (instr_code) {
702 case Instruction::INVOKE_DIRECT:
703 invoke_type = kDirect;
704 is_range = false;
705 break;
706 case Instruction::INVOKE_DIRECT_RANGE:
707 invoke_type = kDirect;
708 is_range = true;
709 break;
710 case Instruction::INVOKE_STATIC:
711 invoke_type = kStatic;
712 is_range = false;
713 break;
714 case Instruction::INVOKE_STATIC_RANGE:
715 invoke_type = kStatic;
716 is_range = true;
717 break;
718 case Instruction::INVOKE_SUPER:
719 invoke_type = kSuper;
720 is_range = false;
721 break;
722 case Instruction::INVOKE_SUPER_RANGE:
723 invoke_type = kSuper;
724 is_range = true;
725 break;
726 case Instruction::INVOKE_VIRTUAL:
727 invoke_type = kVirtual;
728 is_range = false;
729 break;
730 case Instruction::INVOKE_VIRTUAL_RANGE:
731 invoke_type = kVirtual;
732 is_range = true;
733 break;
734 case Instruction::INVOKE_INTERFACE:
735 invoke_type = kInterface;
736 is_range = false;
737 break;
738 case Instruction::INVOKE_INTERFACE_RANGE:
739 invoke_type = kInterface;
740 is_range = true;
741 break;
742 default:
743 LOG(FATAL) << "Unexpected call into trampoline: " << instr->DumpString(NULL);
744 // Avoid used uninitialized warnings.
745 invoke_type = kDirect;
746 is_range = false;
747 }
748 dex_method_idx = (is_range) ? instr->VRegB_3rc() : instr->VRegB_35c();
749
750 } else {
751 invoke_type = kStatic;
752 dex_file = &MethodHelper(called).GetDexFile();
753 dex_method_idx = called->GetDexMethodIndex();
754 }
755 uint32_t shorty_len;
756 const char* shorty =
757 dex_file->GetMethodShorty(dex_file->GetMethodId(dex_method_idx), &shorty_len);
Mathieu Chartier590fee92013-09-13 13:46:47 -0700758 RememberForGcArgumentVisitor visitor(sp, invoke_type == kStatic, shorty, shorty_len, &soa);
Ian Rogers848871b2013-08-05 10:56:33 -0700759 visitor.VisitArguments();
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800760 self->EndAssertNoThreadSuspension(old_cause);
Mathieu Chartier55871bf2014-02-27 10:24:50 -0800761 bool virtual_or_interface = invoke_type == kVirtual || invoke_type == kInterface;
Ian Rogers848871b2013-08-05 10:56:33 -0700762 // Resolve method filling in dex cache.
763 if (called->IsRuntimeMethod()) {
Mathieu Chartier55871bf2014-02-27 10:24:50 -0800764 SirtRef<mirror::Object> sirt_receiver(soa.Self(), virtual_or_interface ? receiver : nullptr);
Ian Rogers848871b2013-08-05 10:56:33 -0700765 called = linker->ResolveMethod(dex_method_idx, caller, invoke_type);
Mathieu Chartier55871bf2014-02-27 10:24:50 -0800766 receiver = sirt_receiver.get();
Ian Rogers848871b2013-08-05 10:56:33 -0700767 }
768 const void* code = NULL;
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800769 if (LIKELY(!self->IsExceptionPending())) {
Ian Rogers848871b2013-08-05 10:56:33 -0700770 // Incompatible class change should have been handled in resolve method.
Brian Carlstrom2ec65202014-03-03 15:16:37 -0800771 CHECK(!called->CheckIncompatibleClassChange(invoke_type))
772 << PrettyMethod(called) << " " << invoke_type;
Mathieu Chartier55871bf2014-02-27 10:24:50 -0800773 if (virtual_or_interface) {
774 // Refine called method based on receiver.
775 CHECK(receiver != nullptr) << invoke_type;
776 if (invoke_type == kVirtual) {
777 called = receiver->GetClass()->FindVirtualMethodForVirtual(called);
778 } else {
779 called = receiver->GetClass()->FindVirtualMethodForInterface(called);
780 }
Ian Rogers83883d72013-10-21 21:07:24 -0700781 // We came here because of sharpening. Ensure the dex cache is up-to-date on the method index
782 // of the sharpened method.
783 if (called->GetDexCacheResolvedMethods() == caller->GetDexCacheResolvedMethods()) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100784 caller->GetDexCacheResolvedMethods()->Set<false>(called->GetDexMethodIndex(), called);
Ian Rogers83883d72013-10-21 21:07:24 -0700785 } else {
786 // Calling from one dex file to another, need to compute the method index appropriate to
Vladimir Markobbcc0c02014-02-03 14:08:42 +0000787 // the caller's dex file. Since we get here only if the original called was a runtime
788 // method, we've got the correct dex_file and a dex_method_idx from above.
789 DCHECK(&MethodHelper(caller).GetDexFile() == dex_file);
Ian Rogers83883d72013-10-21 21:07:24 -0700790 uint32_t method_index =
Vladimir Markobbcc0c02014-02-03 14:08:42 +0000791 MethodHelper(called).FindDexMethodIndexInOtherDexFile(*dex_file, dex_method_idx);
Ian Rogers83883d72013-10-21 21:07:24 -0700792 if (method_index != DexFile::kDexNoIndex) {
Sebastien Hertzd2fe10a2014-01-15 10:20:56 +0100793 caller->GetDexCacheResolvedMethods()->Set<false>(method_index, called);
Ian Rogers83883d72013-10-21 21:07:24 -0700794 }
795 }
796 }
Ian Rogers848871b2013-08-05 10:56:33 -0700797 // Ensure that the called method's class is initialized.
Mathieu Chartierc528dba2013-11-26 12:00:11 -0800798 SirtRef<mirror::Class> called_class(soa.Self(), called->GetDeclaringClass());
Ian Rogers848871b2013-08-05 10:56:33 -0700799 linker->EnsureInitialized(called_class, true, true);
800 if (LIKELY(called_class->IsInitialized())) {
Ian Rogersef7d42f2014-01-06 12:55:46 -0800801 code = called->GetEntryPointFromQuickCompiledCode();
Ian Rogers848871b2013-08-05 10:56:33 -0700802 } else if (called_class->IsInitializing()) {
803 if (invoke_type == kStatic) {
804 // Class is still initializing, go to oat and grab code (trampoline must be left in place
805 // until class is initialized to stop races between threads).
Ian Rogersef7d42f2014-01-06 12:55:46 -0800806 code = linker->GetQuickOatCodeFor(called);
Ian Rogers848871b2013-08-05 10:56:33 -0700807 } else {
808 // No trampoline for non-static methods.
Ian Rogersef7d42f2014-01-06 12:55:46 -0800809 code = called->GetEntryPointFromQuickCompiledCode();
Ian Rogers848871b2013-08-05 10:56:33 -0700810 }
811 } else {
812 DCHECK(called_class->IsErroneous());
813 }
814 }
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800815 CHECK_EQ(code == NULL, self->IsExceptionPending());
Mathieu Chartier07d447b2013-09-26 11:57:43 -0700816 // Fixup any locally saved objects may have moved during a GC.
817 visitor.FixupReferences();
Ian Rogers848871b2013-08-05 10:56:33 -0700818 // Place called method in callee-save frame to be placed as first argument to quick method.
819 *sp = called;
820 return code;
821}
822
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800823// Visits arguments on the stack placing them into a region lower down the stack for the benefit
824// of transitioning into native code.
825class BuildGenericJniFrameVisitor FINAL : public QuickArgumentVisitor {
826#if defined(__arm__)
827 // TODO: These are all dummy values!
828 static constexpr bool kNativeSoftFloatAbi = false; // This is a hard float ABI.
829 static constexpr size_t kNumNativeGprArgs = 3; // 3 arguments passed in GPRs.
830 static constexpr size_t kNumNativeFprArgs = 0; // 0 arguments passed in FPRs.
831
832 static constexpr size_t kGprStackOffset = 4336;
833 static constexpr size_t kFprStackOffset = 4336 - 6*8;
834 static constexpr size_t kCallStackStackOffset = 4336 - 112;
835
836 static constexpr size_t kRegistersNeededForLong = 2;
837 static constexpr size_t kRegistersNeededForDouble = 2;
838#elif defined(__mips__)
839 // TODO: These are all dummy values!
840 static constexpr bool kNativeSoftFloatAbi = true; // This is a hard float ABI.
841 static constexpr size_t kNumNativeGprArgs = 0; // 6 arguments passed in GPRs.
842 static constexpr size_t kNumNativeFprArgs = 0; // 8 arguments passed in FPRs.
843
844 // update these
845 static constexpr size_t kGprStackOffset = 4336;
846 static constexpr size_t kFprStackOffset = 4336 - 6*8;
847 static constexpr size_t kCallStackStackOffset = 4336 - 112;
848
849 static constexpr size_t kRegistersNeededForLong = 2;
850 static constexpr size_t kRegistersNeededForDouble = 2;
851#elif defined(__i386__)
852 // TODO: Check these!
853 static constexpr bool kNativeSoftFloatAbi = true; // This is a soft float ABI.
854 static constexpr size_t kNumNativeGprArgs = 0; // 6 arguments passed in GPRs.
855 static constexpr size_t kNumNativeFprArgs = 0; // 8 arguments passed in FPRs.
856
857 // update these
858 static constexpr size_t kGprStackOffset = 4336;
859 static constexpr size_t kFprStackOffset = 4336 - 6*8;
860 static constexpr size_t kCallStackStackOffset = 4336 - 112;
861
862 static constexpr size_t kRegistersNeededForLong = 2;
863 static constexpr size_t kRegistersNeededForDouble = 2;
864#elif defined(__x86_64__)
865 static constexpr bool kNativeSoftFloatAbi = false; // This is a hard float ABI.
866 static constexpr size_t kNumNativeGprArgs = 6; // 6 arguments passed in GPRs.
867 static constexpr size_t kNumNativeFprArgs = 8; // 8 arguments passed in FPRs.
868
869 static constexpr size_t kGprStackOffset = 4336;
870 static constexpr size_t kFprStackOffset = 4336 - 6*8;
871 static constexpr size_t kCallStackStackOffset = 4336 - 112;
872
873 static constexpr size_t kRegistersNeededForLong = 1;
874 static constexpr size_t kRegistersNeededForDouble = 1;
875#else
876#error "Unsupported architecture"
877#endif
878
879
880 public:
881 BuildGenericJniFrameVisitor(mirror::ArtMethod** sp, bool is_static, const char* shorty,
882 uint32_t shorty_len, Thread* self) :
883 QuickArgumentVisitor(sp, is_static, shorty, shorty_len) {
884 // size of cookie plus padding
885 uint8_t* sp8 = reinterpret_cast<uint8_t*>(sp);
886 top_of_sirt_ = sp8 - 8;
887 cur_sirt_entry_ = reinterpret_cast<StackReference<mirror::Object>*>(top_of_sirt_) - 1;
888 sirt_number_of_references_ = 0;
889 gpr_index_ = kNumNativeGprArgs;
890 fpr_index_ = kNumNativeFprArgs;
891
892 cur_gpr_reg_ = reinterpret_cast<uintptr_t*>(sp8 - kGprStackOffset);
893 cur_fpr_reg_ = reinterpret_cast<uint32_t*>(sp8 - kFprStackOffset);
894 cur_stack_arg_ = reinterpret_cast<uintptr_t*>(sp8 - kCallStackStackOffset);
895
896 // jni environment is always first argument
897 PushPointer(self->GetJniEnv());
898
899 if (is_static) {
900 PushArgumentInSirt((*sp)->GetDeclaringClass());
901 }
902 }
903
904 void Visit() SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) OVERRIDE {
905 Primitive::Type type = GetParamPrimitiveType();
906 switch (type) {
907 case Primitive::kPrimLong: {
908 jlong long_arg;
909 if (IsSplitLongOrDouble()) {
910 long_arg = ReadSplitLongParam();
911 } else {
912 long_arg = *reinterpret_cast<jlong*>(GetParamAddress());
913 }
914 PushLongArgument(long_arg);
915 break;
916 }
917 case Primitive::kPrimDouble: {
918 uint64_t double_arg;
919 if (IsSplitLongOrDouble()) {
920 // Read into union so that we don't case to a double.
921 double_arg = ReadSplitLongParam();
922 } else {
923 double_arg = *reinterpret_cast<uint64_t*>(GetParamAddress());
924 }
925 PushDoubleArgument(double_arg);
926 break;
927 }
928 case Primitive::kPrimNot: {
929 StackReference<mirror::Object>* stack_ref =
930 reinterpret_cast<StackReference<mirror::Object>*>(GetParamAddress());
931 PushArgumentInSirt(stack_ref->AsMirrorPtr());
932 break;
933 }
934 case Primitive::kPrimFloat:
935 PushFloatArgument(*reinterpret_cast<int32_t*>(GetParamAddress()));
936 break;
937 case Primitive::kPrimBoolean: // Fall-through.
938 case Primitive::kPrimByte: // Fall-through.
939 case Primitive::kPrimChar: // Fall-through.
940 case Primitive::kPrimShort: // Fall-through.
941 case Primitive::kPrimInt: // Fall-through.
942 PushIntArgument(*reinterpret_cast<jint*>(GetParamAddress()));
943 break;
944 case Primitive::kPrimVoid:
945 LOG(FATAL) << "UNREACHABLE";
946 break;
947 }
948 }
949
950 void FinalizeSirt(Thread* self) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
951 if (!IsAligned<8>(StackIndirectReferenceTable::SizeOf(sirt_number_of_references_))) {
952 sirt_number_of_references_++;
953 *cur_sirt_entry_ = StackReference<mirror::Object>();
954 cur_sirt_entry_--;
955 }
956 CHECK(IsAligned<8>(StackIndirectReferenceTable::SizeOf(sirt_number_of_references_)));
957 StackIndirectReferenceTable* sirt = reinterpret_cast<StackIndirectReferenceTable*>(
958 top_of_sirt_ - StackIndirectReferenceTable::SizeOf(sirt_number_of_references_));
959
960 sirt->SetNumberOfReferences(sirt_number_of_references_);
961 self->PushSirt(sirt);
962 }
963
964 jobject GetFirstSirtEntry() {
965 return reinterpret_cast<jobject>(reinterpret_cast<StackReference<mirror::Object>*>(top_of_sirt_) - 1);
966 }
967
968 private:
969 void PushArgumentInSirt(mirror::Object* obj) SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
970 // Do something to push into the SIRT.
971 uintptr_t sirt_or_null;
972 if (obj != nullptr) {
973 sirt_number_of_references_++;
974 *cur_sirt_entry_ = StackReference<mirror::Object>::FromMirrorPtr(obj);
975 sirt_or_null = reinterpret_cast<uintptr_t>(cur_sirt_entry_);
976 cur_sirt_entry_--;
977 } else {
978 sirt_or_null = reinterpret_cast<uintptr_t>(nullptr);
979 }
980 // Push the GPR or stack arg.
981 if (gpr_index_ > 0) {
982 *cur_gpr_reg_ = sirt_or_null;
983 cur_gpr_reg_++;
984 gpr_index_--;
985 } else {
986 *cur_stack_arg_ = sirt_or_null;
987 cur_stack_arg_++;
988 }
989 }
990
991 void PushPointer(void* val) {
992 if (gpr_index_ > 0) {
993 *cur_gpr_reg_ = reinterpret_cast<uintptr_t>(val);
994 cur_gpr_reg_++;
995 gpr_index_--;
996 } else {
997 *cur_stack_arg_ = reinterpret_cast<uintptr_t>(val);
998 cur_stack_arg_++;
999 }
1000 }
1001
1002 void PushIntArgument(jint val) {
1003 if (gpr_index_ > 0) {
1004 *cur_gpr_reg_ = val;
1005 cur_gpr_reg_++;
1006 gpr_index_--;
1007 } else {
1008 *cur_stack_arg_ = val;
1009 cur_stack_arg_++;
1010 }
1011 }
1012
1013 void PushLongArgument(jlong val) {
1014 // This is an ugly hack for the following problem:
1015 // Assume odd number of 32b registers. Then having exactly kRegsNeeded left needs to spill!
1016 if (gpr_index_ >= kRegistersNeededForLong + (kNumNativeGprArgs % kRegistersNeededForLong)) {
1017 if (kRegistersNeededForLong > 1 && ((kNumNativeGprArgs - gpr_index_) & 1) == 1) {
1018 // Pad.
1019 gpr_index_--;
1020 cur_gpr_reg_++;
1021 }
1022 uint64_t* tmp = reinterpret_cast<uint64_t*>(cur_gpr_reg_);
1023 *tmp = val;
1024 cur_gpr_reg_ += kRegistersNeededForLong;
1025 gpr_index_ -= kRegistersNeededForLong;
1026 } else {
1027 uint64_t* tmp = reinterpret_cast<uint64_t*>(cur_stack_arg_);
1028 *tmp = val;
1029 cur_stack_arg_ += kRegistersNeededForLong;
1030
1031 gpr_index_ = 0; // can't use GPRs anymore
1032 }
1033 }
1034
1035 void PushFloatArgument(int32_t val) {
1036 if (kNativeSoftFloatAbi) {
1037 PushIntArgument(val);
1038 } else {
1039 if (fpr_index_ > 0) {
1040 *cur_fpr_reg_ = val;
1041 cur_fpr_reg_++;
1042 if (kRegistersNeededForDouble == 1) {
1043 // will pop 64 bits from the stack
1044 // TODO: extend/clear bits???
1045 cur_fpr_reg_++;
1046 }
1047 fpr_index_--;
1048 } else {
1049 // TODO: Check ABI for floats.
1050 *cur_stack_arg_ = val;
1051 cur_stack_arg_++;
1052 }
1053 }
1054 }
1055
1056 void PushDoubleArgument(uint64_t val) {
1057 // See PushLongArgument for explanation
1058 if (fpr_index_ >= kRegistersNeededForDouble + (kNumNativeFprArgs % kRegistersNeededForDouble)) {
1059 if (kRegistersNeededForDouble > 1 && ((kNumNativeFprArgs - fpr_index_) & 1) == 1) {
1060 // Pad.
1061 fpr_index_--;
1062 cur_fpr_reg_++;
1063 }
1064 uint64_t* tmp = reinterpret_cast<uint64_t*>(cur_fpr_reg_);
1065 *tmp = val;
1066 // TODO: the whole thing doesn't make sense if we take uint32_t*...
1067 cur_fpr_reg_ += 2; // kRegistersNeededForDouble;
1068 fpr_index_ -= kRegistersNeededForDouble;
1069 } else {
1070 if (!IsAligned<8>(cur_stack_arg_)) {
1071 cur_stack_arg_++; // Pad.
1072 }
1073 uint64_t* tmp = reinterpret_cast<uint64_t*>(cur_stack_arg_);
1074 *tmp = val;
1075 cur_stack_arg_ += kRegistersNeededForDouble;
1076
1077 fpr_index_ = 0; // can't use FPRs anymore
1078 }
1079 }
1080
1081 uint32_t sirt_number_of_references_;
1082 StackReference<mirror::Object>* cur_sirt_entry_;
1083 uint32_t gpr_index_; // should be uint, but gives error because on some archs no regs
1084 uintptr_t* cur_gpr_reg_;
1085 uint32_t fpr_index_; // ----- # -----
1086 uint32_t* cur_fpr_reg_;
1087 uintptr_t* cur_stack_arg_;
1088 uint8_t* top_of_sirt_;
1089
1090 DISALLOW_COPY_AND_ASSIGN(BuildGenericJniFrameVisitor);
1091};
1092
1093extern "C" const void* artQuickGenericJniTrampoline(Thread* self, mirror::ArtMethod** sp)
Andreas Gampe2da88232014-02-27 12:26:20 -08001094 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
Andreas Gampebf6b92a2014-03-05 16:11:04 -08001095 uint32_t* sp32 = reinterpret_cast<uint32_t*>(sp);
1096 mirror::ArtMethod* called = *sp;
1097 DCHECK(called->IsNative());
1098
1099 // run the visitor
1100 MethodHelper mh(called);
1101 BuildGenericJniFrameVisitor visitor(sp, called->IsStatic(), mh.GetShorty(), mh.GetShortyLength(),
1102 self);
1103 visitor.VisitArguments();
1104 visitor.FinalizeSirt(self);
1105
1106 // fix up managed-stack things in Thread
1107 self->SetTopOfStack(sp, 0);
1108
1109 // start JNI, save the cookie
1110 uint32_t cookie;
1111 if (called->IsSynchronized()) {
1112 cookie = JniMethodStartSynchronized(visitor.GetFirstSirtEntry(), self);
1113 // TODO: error checking.
1114 if (self->IsExceptionPending()) {
1115 self->PopSirt();
1116 return nullptr;
1117 }
1118 } else {
1119 cookie = JniMethodStart(self);
1120 }
1121 *(sp32-1) = cookie;
1122
1123 // retrieve native code
1124 const void* nativeCode = called->GetNativeMethod();
1125 if (nativeCode == nullptr) {
1126 // TODO: is this really an error, or do we need to try to find native code?
1127 LOG(FATAL) << "Finding native code not implemented yet.";
1128 }
1129
1130 return nativeCode;
1131}
1132
1133/*
1134 * Is called after the native JNI code. Responsible for cleanup (SIRT, saved state) and
1135 * unlocking.
1136 */
1137extern "C" uint64_t artQuickGenericJniEndTrampoline(Thread* self, mirror::ArtMethod** sp,
1138 jvalue result, uint64_t result_f)
1139 SHARED_LOCKS_REQUIRED(Locks::mutator_lock_) {
1140 uint32_t* sp32 = reinterpret_cast<uint32_t*>(sp);
1141 mirror::ArtMethod* called = *sp;
1142 uint32_t cookie = *(sp32-1);
1143
1144 // TODO: synchronized.
1145 MethodHelper mh(called);
1146 char return_shorty_char = mh.GetShorty()[0];
1147
1148 if (return_shorty_char == 'L') {
1149 // the only special ending call
1150 if (called->IsSynchronized()) {
1151 BuildGenericJniFrameVisitor visitor(sp, called->IsStatic(), mh.GetShorty(),
1152 mh.GetShortyLength(), self);
1153 return reinterpret_cast<uint64_t>(JniMethodEndWithReferenceSynchronized(result.l, cookie,
1154 visitor.GetFirstSirtEntry(),
1155 self));
1156 } else {
1157 return reinterpret_cast<uint64_t>(JniMethodEndWithReference(result.l, cookie, self));
1158 }
1159 } else {
1160 if (called->IsSynchronized()) {
1161 // run the visitor
1162 BuildGenericJniFrameVisitor visitor(sp, called->IsStatic(), mh.GetShorty(),
1163 mh.GetShortyLength(), self);
1164 JniMethodEndSynchronized(cookie, visitor.GetFirstSirtEntry(), self);
1165 } else {
1166 JniMethodEnd(cookie, self);
1167 }
1168
1169 switch (return_shorty_char) {
1170 case 'F': // Fall-through.
1171 case 'D':
1172 return result_f;
1173 case 'Z':
1174 return result.z;
1175 case 'B':
1176 return result.b;
1177 case 'C':
1178 return result.c;
1179 case 'S':
1180 return result.s;
1181 case 'I':
1182 return result.i;
1183 case 'J':
1184 return result.j;
1185 case 'V':
1186 return 0;
1187 default:
1188 LOG(FATAL) << "Unexpected return shorty character " << return_shorty_char;
1189 return 0;
1190 }
1191 }
Andreas Gampe2da88232014-02-27 12:26:20 -08001192}
1193
Ian Rogers848871b2013-08-05 10:56:33 -07001194} // namespace art