blob: 64508d10fc0c0d55ba12e91312b43301783d88dc [file] [log] [blame]
Brian Carlstrom7940e442013-07-12 13:46:57 -07001/*
2 * Copyright (C) 2011 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 <algorithm>
18#include <vector>
19
20#include "base/logging.h"
21#include "base/macros.h"
22#include "calling_convention.h"
23#include "class_linker.h"
24#include "compiled_method.h"
25#include "dex_file-inl.h"
26#include "driver/compiler_driver.h"
Ian Rogers166db042013-07-26 12:05:57 -070027#include "entrypoints/quick/quick_entrypoints.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070028#include "jni_internal.h"
Ian Rogers166db042013-07-26 12:05:57 -070029#include "utils/assembler.h"
30#include "utils/managed_register.h"
31#include "utils/arm/managed_register_arm.h"
Serban Constantinescu75b91132014-04-09 18:39:10 +010032#include "utils/arm64/managed_register_arm64.h"
Ian Rogers166db042013-07-26 12:05:57 -070033#include "utils/mips/managed_register_mips.h"
34#include "utils/x86/managed_register_x86.h"
Brian Carlstrom7940e442013-07-12 13:46:57 -070035#include "thread.h"
36#include "UniquePtr.h"
37
38#define __ jni_asm->
39
40namespace art {
41
42static void CopyParameter(Assembler* jni_asm,
43 ManagedRuntimeCallingConvention* mr_conv,
44 JniCallingConvention* jni_conv,
45 size_t frame_size, size_t out_arg_size);
46static void SetNativeParameter(Assembler* jni_asm,
47 JniCallingConvention* jni_conv,
48 ManagedRegister in_reg);
49
50// Generate the JNI bridge for the given method, general contract:
51// - Arguments are in the managed runtime format, either on stack or in
52// registers, a reference to the method object is supplied as part of this
53// convention.
54//
55CompiledMethod* ArtJniCompileMethodInternal(CompilerDriver& compiler,
56 uint32_t access_flags, uint32_t method_idx,
57 const DexFile& dex_file) {
58 const bool is_native = (access_flags & kAccNative) != 0;
59 CHECK(is_native);
60 const bool is_static = (access_flags & kAccStatic) != 0;
61 const bool is_synchronized = (access_flags & kAccSynchronized) != 0;
62 const char* shorty = dex_file.GetMethodShorty(dex_file.GetMethodId(method_idx));
63 InstructionSet instruction_set = compiler.GetInstructionSet();
64 if (instruction_set == kThumb2) {
65 instruction_set = kArm;
66 }
67 // Calling conventions used to iterate over parameters to method
68 UniquePtr<JniCallingConvention> main_jni_conv(
69 JniCallingConvention::Create(is_static, is_synchronized, shorty, instruction_set));
70 bool reference_return = main_jni_conv->IsReturnAReference();
71
72 UniquePtr<ManagedRuntimeCallingConvention> mr_conv(
73 ManagedRuntimeCallingConvention::Create(is_static, is_synchronized, shorty, instruction_set));
74
75 // Calling conventions to call into JNI method "end" possibly passing a returned reference, the
76 // method and the current thread.
Serban Constantinescu75b91132014-04-09 18:39:10 +010077 const char* jni_end_shorty;
78 if (reference_return && is_synchronized) {
79 jni_end_shorty = "ILL";
80 } else if (reference_return) {
81 jni_end_shorty = "IL";
82 } else if (is_synchronized) {
83 jni_end_shorty = "VL";
84 } else {
85 jni_end_shorty = "V";
86 }
87
Brian Carlstrom7940e442013-07-12 13:46:57 -070088 UniquePtr<JniCallingConvention> end_jni_conv(
89 JniCallingConvention::Create(is_static, is_synchronized, jni_end_shorty, instruction_set));
90
Brian Carlstrom7940e442013-07-12 13:46:57 -070091 // Assembler that holds generated instructions
92 UniquePtr<Assembler> jni_asm(Assembler::Create(instruction_set));
Brian Carlstrom7940e442013-07-12 13:46:57 -070093
94 // Offsets into data structures
95 // TODO: if cross compiling these offsets are for the host not the target
96 const Offset functions(OFFSETOF_MEMBER(JNIEnvExt, functions));
97 const Offset monitor_enter(OFFSETOF_MEMBER(JNINativeInterface, MonitorEnter));
98 const Offset monitor_exit(OFFSETOF_MEMBER(JNINativeInterface, MonitorExit));
99
100 // 1. Build the frame saving all callee saves
101 const size_t frame_size(main_jni_conv->FrameSize());
102 const std::vector<ManagedRegister>& callee_save_regs = main_jni_conv->CalleeSaveRegisters();
103 __ BuildFrame(frame_size, mr_conv->MethodRegister(), callee_save_regs, mr_conv->EntrySpills());
104
105 // 2. Set up the StackIndirectReferenceTable
106 mr_conv->ResetIterator(FrameOffset(frame_size));
107 main_jni_conv->ResetIterator(FrameOffset(0));
108 __ StoreImmediateToFrame(main_jni_conv->SirtNumRefsOffset(),
109 main_jni_conv->ReferenceCount(),
110 mr_conv->InterproceduralScratchRegister());
Serban Constantinescu75b91132014-04-09 18:39:10 +0100111
112 if (instruction_set == kArm64 || instruction_set == kX86_64) {
113 __ CopyRawPtrFromThread64(main_jni_conv->SirtLinkOffset(),
114 Thread::TopSirtOffset<8>(),
115 mr_conv->InterproceduralScratchRegister());
116 __ StoreStackOffsetToThread64(Thread::TopSirtOffset<8>(),
117 main_jni_conv->SirtOffset(),
118 mr_conv->InterproceduralScratchRegister());
119 } else {
120 __ CopyRawPtrFromThread32(main_jni_conv->SirtLinkOffset(),
121 Thread::TopSirtOffset<4>(),
122 mr_conv->InterproceduralScratchRegister());
123 __ StoreStackOffsetToThread32(Thread::TopSirtOffset<4>(),
124 main_jni_conv->SirtOffset(),
125 mr_conv->InterproceduralScratchRegister());
126 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700127
128 // 3. Place incoming reference arguments into SIRT
129 main_jni_conv->Next(); // Skip JNIEnv*
130 // 3.5. Create Class argument for static methods out of passed method
131 if (is_static) {
132 FrameOffset sirt_offset = main_jni_conv->CurrentParamSirtEntryOffset();
133 // Check sirt offset is within frame
134 CHECK_LT(sirt_offset.Uint32Value(), frame_size);
135 __ LoadRef(main_jni_conv->InterproceduralScratchRegister(),
Brian Carlstromea46f952013-07-30 01:26:50 -0700136 mr_conv->MethodRegister(), mirror::ArtMethod::DeclaringClassOffset());
Brian Carlstrom7940e442013-07-12 13:46:57 -0700137 __ VerifyObject(main_jni_conv->InterproceduralScratchRegister(), false);
138 __ StoreRef(sirt_offset, main_jni_conv->InterproceduralScratchRegister());
139 main_jni_conv->Next(); // in SIRT so move to next argument
140 }
141 while (mr_conv->HasNext()) {
142 CHECK(main_jni_conv->HasNext());
143 bool ref_param = main_jni_conv->IsCurrentParamAReference();
144 CHECK(!ref_param || mr_conv->IsCurrentParamAReference());
145 // References need placing in SIRT and the entry value passing
146 if (ref_param) {
147 // Compute SIRT entry, note null is placed in the SIRT but its boxed value
148 // must be NULL
149 FrameOffset sirt_offset = main_jni_conv->CurrentParamSirtEntryOffset();
150 // Check SIRT offset is within frame and doesn't run into the saved segment state
151 CHECK_LT(sirt_offset.Uint32Value(), frame_size);
152 CHECK_NE(sirt_offset.Uint32Value(),
153 main_jni_conv->SavedLocalReferenceCookieOffset().Uint32Value());
154 bool input_in_reg = mr_conv->IsCurrentParamInRegister();
155 bool input_on_stack = mr_conv->IsCurrentParamOnStack();
156 CHECK(input_in_reg || input_on_stack);
157
158 if (input_in_reg) {
159 ManagedRegister in_reg = mr_conv->CurrentParamRegister();
160 __ VerifyObject(in_reg, mr_conv->IsCurrentArgPossiblyNull());
161 __ StoreRef(sirt_offset, in_reg);
162 } else if (input_on_stack) {
163 FrameOffset in_off = mr_conv->CurrentParamStackOffset();
164 __ VerifyObject(in_off, mr_conv->IsCurrentArgPossiblyNull());
165 __ CopyRef(sirt_offset, in_off,
166 mr_conv->InterproceduralScratchRegister());
167 }
168 }
169 mr_conv->Next();
170 main_jni_conv->Next();
171 }
172
173 // 4. Write out the end of the quick frames.
Serban Constantinescu75b91132014-04-09 18:39:10 +0100174 if (instruction_set == kArm64 || instruction_set == kX86_64) {
175 __ StoreStackPointerToThread64(Thread::TopOfManagedStackOffset<8>());
176 __ StoreImmediateToThread64(Thread::TopOfManagedStackPcOffset<8>(), 0,
177 mr_conv->InterproceduralScratchRegister());
178 } else {
179 __ StoreStackPointerToThread32(Thread::TopOfManagedStackOffset<4>());
180 __ StoreImmediateToThread32(Thread::TopOfManagedStackPcOffset<4>(), 0,
181 mr_conv->InterproceduralScratchRegister());
182 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700183
184 // 5. Move frame down to allow space for out going args.
185 const size_t main_out_arg_size = main_jni_conv->OutArgSize();
186 const size_t end_out_arg_size = end_jni_conv->OutArgSize();
187 const size_t max_out_arg_size = std::max(main_out_arg_size, end_out_arg_size);
188 __ IncreaseFrameSize(max_out_arg_size);
189
Brian Carlstrom7940e442013-07-12 13:46:57 -0700190 // 6. Call into appropriate JniMethodStart passing Thread* so that transition out of Runnable
191 // can occur. The result is the saved JNI local state that is restored by the exit call. We
192 // abuse the JNI calling convention here, that is guaranteed to support passing 2 pointer
193 // arguments.
Serban Constantinescu75b91132014-04-09 18:39:10 +0100194 ThreadOffset<4> jni_start32 = is_synchronized ? QUICK_ENTRYPOINT_OFFSET(4, pJniMethodStartSynchronized)
195 : QUICK_ENTRYPOINT_OFFSET(4, pJniMethodStart);
196 ThreadOffset<8> jni_start64 = is_synchronized ? QUICK_ENTRYPOINT_OFFSET(8, pJniMethodStartSynchronized)
197 : QUICK_ENTRYPOINT_OFFSET(8, pJniMethodStart);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700198 main_jni_conv->ResetIterator(FrameOffset(main_out_arg_size));
199 FrameOffset locked_object_sirt_offset(0);
200 if (is_synchronized) {
201 // Pass object for locking.
202 main_jni_conv->Next(); // Skip JNIEnv.
203 locked_object_sirt_offset = main_jni_conv->CurrentParamSirtEntryOffset();
204 main_jni_conv->ResetIterator(FrameOffset(main_out_arg_size));
205 if (main_jni_conv->IsCurrentParamOnStack()) {
206 FrameOffset out_off = main_jni_conv->CurrentParamStackOffset();
207 __ CreateSirtEntry(out_off, locked_object_sirt_offset,
208 mr_conv->InterproceduralScratchRegister(),
209 false);
210 } else {
211 ManagedRegister out_reg = main_jni_conv->CurrentParamRegister();
212 __ CreateSirtEntry(out_reg, locked_object_sirt_offset,
213 ManagedRegister::NoRegister(), false);
214 }
215 main_jni_conv->Next();
216 }
217 if (main_jni_conv->IsCurrentParamInRegister()) {
218 __ GetCurrentThread(main_jni_conv->CurrentParamRegister());
Serban Constantinescu75b91132014-04-09 18:39:10 +0100219 if (instruction_set == kArm64 || instruction_set == kX86_64) {
220 __ Call(main_jni_conv->CurrentParamRegister(), Offset(jni_start64),
221 main_jni_conv->InterproceduralScratchRegister());
222 } else {
223 __ Call(main_jni_conv->CurrentParamRegister(), Offset(jni_start32),
224 main_jni_conv->InterproceduralScratchRegister());
225 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700226 } else {
227 __ GetCurrentThread(main_jni_conv->CurrentParamStackOffset(),
228 main_jni_conv->InterproceduralScratchRegister());
Serban Constantinescu75b91132014-04-09 18:39:10 +0100229 if (instruction_set == kArm64 || instruction_set == kX86_64) {
230 __ CallFromThread64(jni_start64, main_jni_conv->InterproceduralScratchRegister());
231 } else {
232 __ CallFromThread32(jni_start32, main_jni_conv->InterproceduralScratchRegister());
233 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700234 }
235 if (is_synchronized) { // Check for exceptions from monitor enter.
236 __ ExceptionPoll(main_jni_conv->InterproceduralScratchRegister(), main_out_arg_size);
237 }
238 FrameOffset saved_cookie_offset = main_jni_conv->SavedLocalReferenceCookieOffset();
239 __ Store(saved_cookie_offset, main_jni_conv->IntReturnRegister(), 4);
240
241 // 7. Iterate over arguments placing values from managed calling convention in
242 // to the convention required for a native call (shuffling). For references
243 // place an index/pointer to the reference after checking whether it is
244 // NULL (which must be encoded as NULL).
245 // Note: we do this prior to materializing the JNIEnv* and static's jclass to
246 // give as many free registers for the shuffle as possible
247 mr_conv->ResetIterator(FrameOffset(frame_size+main_out_arg_size));
248 uint32_t args_count = 0;
249 while (mr_conv->HasNext()) {
250 args_count++;
251 mr_conv->Next();
252 }
253
254 // Do a backward pass over arguments, so that the generated code will be "mov
255 // R2, R3; mov R1, R2" instead of "mov R1, R2; mov R2, R3."
256 // TODO: A reverse iterator to improve readability.
257 for (uint32_t i = 0; i < args_count; ++i) {
258 mr_conv->ResetIterator(FrameOffset(frame_size + main_out_arg_size));
259 main_jni_conv->ResetIterator(FrameOffset(main_out_arg_size));
260 main_jni_conv->Next(); // Skip JNIEnv*.
261 if (is_static) {
262 main_jni_conv->Next(); // Skip Class for now.
263 }
264 // Skip to the argument we're interested in.
265 for (uint32_t j = 0; j < args_count - i - 1; ++j) {
266 mr_conv->Next();
267 main_jni_conv->Next();
268 }
269 CopyParameter(jni_asm.get(), mr_conv.get(), main_jni_conv.get(), frame_size, main_out_arg_size);
270 }
271 if (is_static) {
272 // Create argument for Class
273 mr_conv->ResetIterator(FrameOffset(frame_size+main_out_arg_size));
274 main_jni_conv->ResetIterator(FrameOffset(main_out_arg_size));
275 main_jni_conv->Next(); // Skip JNIEnv*
276 FrameOffset sirt_offset = main_jni_conv->CurrentParamSirtEntryOffset();
277 if (main_jni_conv->IsCurrentParamOnStack()) {
278 FrameOffset out_off = main_jni_conv->CurrentParamStackOffset();
279 __ CreateSirtEntry(out_off, sirt_offset,
280 mr_conv->InterproceduralScratchRegister(),
281 false);
282 } else {
283 ManagedRegister out_reg = main_jni_conv->CurrentParamRegister();
284 __ CreateSirtEntry(out_reg, sirt_offset,
285 ManagedRegister::NoRegister(), false);
286 }
287 }
288
289 // 8. Create 1st argument, the JNI environment ptr.
290 main_jni_conv->ResetIterator(FrameOffset(main_out_arg_size));
291 // Register that will hold local indirect reference table
292 if (main_jni_conv->IsCurrentParamInRegister()) {
293 ManagedRegister jni_env = main_jni_conv->CurrentParamRegister();
294 DCHECK(!jni_env.Equals(main_jni_conv->InterproceduralScratchRegister()));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100295 if (instruction_set == kArm64 || instruction_set == kX86_64) {
296 __ LoadRawPtrFromThread64(jni_env, Thread::JniEnvOffset<8>());
297 } else {
298 __ LoadRawPtrFromThread32(jni_env, Thread::JniEnvOffset<4>());
299 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700300 } else {
301 FrameOffset jni_env = main_jni_conv->CurrentParamStackOffset();
Serban Constantinescu75b91132014-04-09 18:39:10 +0100302 if (instruction_set == kArm64 || instruction_set == kX86_64) {
303 __ CopyRawPtrFromThread64(jni_env, Thread::JniEnvOffset<8>(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700304 main_jni_conv->InterproceduralScratchRegister());
Serban Constantinescu75b91132014-04-09 18:39:10 +0100305 } else {
306 __ CopyRawPtrFromThread32(jni_env, Thread::JniEnvOffset<4>(),
307 main_jni_conv->InterproceduralScratchRegister());
308 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700309 }
310
311 // 9. Plant call to native code associated with method.
Brian Carlstromea46f952013-07-30 01:26:50 -0700312 __ Call(main_jni_conv->MethodStackOffset(), mirror::ArtMethod::NativeMethodOffset(),
Brian Carlstrom7940e442013-07-12 13:46:57 -0700313 mr_conv->InterproceduralScratchRegister());
314
315 // 10. Fix differences in result widths.
Dmitry Petrochenkofca82202014-03-21 11:21:37 +0700316 if (instruction_set == kX86 || instruction_set == kX86_64) {
Brian Carlstrom7940e442013-07-12 13:46:57 -0700317 if (main_jni_conv->GetReturnType() == Primitive::kPrimByte ||
318 main_jni_conv->GetReturnType() == Primitive::kPrimShort) {
319 __ SignExtend(main_jni_conv->ReturnRegister(),
320 Primitive::ComponentSize(main_jni_conv->GetReturnType()));
321 } else if (main_jni_conv->GetReturnType() == Primitive::kPrimBoolean ||
322 main_jni_conv->GetReturnType() == Primitive::kPrimChar) {
323 __ ZeroExtend(main_jni_conv->ReturnRegister(),
324 Primitive::ComponentSize(main_jni_conv->GetReturnType()));
325 }
326 }
327
328 // 11. Save return value
329 FrameOffset return_save_location = main_jni_conv->ReturnValueSaveLocation();
330 if (main_jni_conv->SizeOfReturnValue() != 0 && !reference_return) {
331 if (instruction_set == kMips && main_jni_conv->GetReturnType() == Primitive::kPrimDouble &&
332 return_save_location.Uint32Value() % 8 != 0) {
333 // Ensure doubles are 8-byte aligned for MIPS
334 return_save_location = FrameOffset(return_save_location.Uint32Value() + kPointerSize);
335 }
336 CHECK_LT(return_save_location.Uint32Value(), frame_size+main_out_arg_size);
337 __ Store(return_save_location, main_jni_conv->ReturnRegister(), main_jni_conv->SizeOfReturnValue());
338 }
339
Brian Carlstrom7940e442013-07-12 13:46:57 -0700340 // thread.
341 end_jni_conv->ResetIterator(FrameOffset(end_out_arg_size));
Serban Constantinescu75b91132014-04-09 18:39:10 +0100342 ThreadOffset<4> jni_end32(-1);
343 ThreadOffset<8> jni_end64(-1);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700344 if (reference_return) {
345 // Pass result.
Serban Constantinescu75b91132014-04-09 18:39:10 +0100346 jni_end32 = is_synchronized ? QUICK_ENTRYPOINT_OFFSET(4, pJniMethodEndWithReferenceSynchronized)
347 : QUICK_ENTRYPOINT_OFFSET(4, pJniMethodEndWithReference);
348 jni_end64 = is_synchronized ? QUICK_ENTRYPOINT_OFFSET(8, pJniMethodEndWithReferenceSynchronized)
349 : QUICK_ENTRYPOINT_OFFSET(8, pJniMethodEndWithReference);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700350 SetNativeParameter(jni_asm.get(), end_jni_conv.get(), end_jni_conv->ReturnRegister());
351 end_jni_conv->Next();
352 } else {
Serban Constantinescu75b91132014-04-09 18:39:10 +0100353 jni_end32 = is_synchronized ? QUICK_ENTRYPOINT_OFFSET(4, pJniMethodEndSynchronized)
354 : QUICK_ENTRYPOINT_OFFSET(4, pJniMethodEnd);
355 jni_end64 = is_synchronized ? QUICK_ENTRYPOINT_OFFSET(8, pJniMethodEndSynchronized)
356 : QUICK_ENTRYPOINT_OFFSET(8, pJniMethodEnd);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700357 }
358 // Pass saved local reference state.
359 if (end_jni_conv->IsCurrentParamOnStack()) {
360 FrameOffset out_off = end_jni_conv->CurrentParamStackOffset();
361 __ Copy(out_off, saved_cookie_offset, end_jni_conv->InterproceduralScratchRegister(), 4);
362 } else {
363 ManagedRegister out_reg = end_jni_conv->CurrentParamRegister();
364 __ Load(out_reg, saved_cookie_offset, 4);
365 }
366 end_jni_conv->Next();
367 if (is_synchronized) {
368 // Pass object for unlocking.
369 if (end_jni_conv->IsCurrentParamOnStack()) {
370 FrameOffset out_off = end_jni_conv->CurrentParamStackOffset();
371 __ CreateSirtEntry(out_off, locked_object_sirt_offset,
372 end_jni_conv->InterproceduralScratchRegister(),
373 false);
374 } else {
375 ManagedRegister out_reg = end_jni_conv->CurrentParamRegister();
376 __ CreateSirtEntry(out_reg, locked_object_sirt_offset,
377 ManagedRegister::NoRegister(), false);
378 }
379 end_jni_conv->Next();
380 }
381 if (end_jni_conv->IsCurrentParamInRegister()) {
382 __ GetCurrentThread(end_jni_conv->CurrentParamRegister());
Serban Constantinescu75b91132014-04-09 18:39:10 +0100383 if (instruction_set == kArm64 || instruction_set == kX86_64) {
384 __ Call(end_jni_conv->CurrentParamRegister(), Offset(jni_end64),
385 end_jni_conv->InterproceduralScratchRegister());
386 } else {
387 __ Call(end_jni_conv->CurrentParamRegister(), Offset(jni_end32),
388 end_jni_conv->InterproceduralScratchRegister());
389 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700390 } else {
391 __ GetCurrentThread(end_jni_conv->CurrentParamStackOffset(),
392 end_jni_conv->InterproceduralScratchRegister());
Serban Constantinescu75b91132014-04-09 18:39:10 +0100393 if (instruction_set == kArm64 || instruction_set == kX86_64) {
394 __ CallFromThread64(ThreadOffset<8>(jni_end64), end_jni_conv->InterproceduralScratchRegister());
395 } else {
396 __ CallFromThread32(ThreadOffset<4>(jni_end32), end_jni_conv->InterproceduralScratchRegister());
397 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700398 }
399
400 // 13. Reload return value
401 if (main_jni_conv->SizeOfReturnValue() != 0 && !reference_return) {
402 __ Load(mr_conv->ReturnRegister(), return_save_location, mr_conv->SizeOfReturnValue());
403 }
404
405 // 14. Move frame up now we're done with the out arg space.
406 __ DecreaseFrameSize(max_out_arg_size);
407
408 // 15. Process pending exceptions from JNI call or monitor exit.
409 __ ExceptionPoll(main_jni_conv->InterproceduralScratchRegister(), 0);
410
Mathieu Chartier8770e5c2013-10-16 14:49:01 -0700411 // 16. Remove activation - need to restore callee save registers since the GC may have changed
Brian Carlstrom7940e442013-07-12 13:46:57 -0700412 // them.
Mathieu Chartier8770e5c2013-10-16 14:49:01 -0700413 __ RemoveFrame(frame_size, callee_save_regs);
Brian Carlstrom7940e442013-07-12 13:46:57 -0700414
415 // 17. Finalize code generation
416 __ EmitSlowPaths();
417 size_t cs = __ CodeSize();
Serban Constantinescu75b91132014-04-09 18:39:10 +0100418 if (instruction_set == kArm64) {
419 // Test that we do not exceed the buffer size.
420 CHECK(cs < arm64::kBufferSizeArm64);
421 }
Brian Carlstrom7940e442013-07-12 13:46:57 -0700422 std::vector<uint8_t> managed_code(cs);
423 MemoryRegion code(&managed_code[0], managed_code.size());
424 __ FinalizeInstructions(code);
Mathieu Chartier193bad92013-08-29 18:46:00 -0700425 return new CompiledMethod(compiler,
426 instruction_set,
Brian Carlstrom7940e442013-07-12 13:46:57 -0700427 managed_code,
428 frame_size,
429 main_jni_conv->CoreSpillMask(),
430 main_jni_conv->FpSpillMask());
431}
432
433// Copy a single parameter from the managed to the JNI calling convention
434static void CopyParameter(Assembler* jni_asm,
435 ManagedRuntimeCallingConvention* mr_conv,
436 JniCallingConvention* jni_conv,
437 size_t frame_size, size_t out_arg_size) {
438 bool input_in_reg = mr_conv->IsCurrentParamInRegister();
439 bool output_in_reg = jni_conv->IsCurrentParamInRegister();
440 FrameOffset sirt_offset(0);
441 bool null_allowed = false;
442 bool ref_param = jni_conv->IsCurrentParamAReference();
443 CHECK(!ref_param || mr_conv->IsCurrentParamAReference());
444 // input may be in register, on stack or both - but not none!
445 CHECK(input_in_reg || mr_conv->IsCurrentParamOnStack());
446 if (output_in_reg) { // output shouldn't straddle registers and stack
447 CHECK(!jni_conv->IsCurrentParamOnStack());
448 } else {
449 CHECK(jni_conv->IsCurrentParamOnStack());
450 }
451 // References need placing in SIRT and the entry address passing
452 if (ref_param) {
453 null_allowed = mr_conv->IsCurrentArgPossiblyNull();
454 // Compute SIRT offset. Note null is placed in the SIRT but the jobject
455 // passed to the native code must be null (not a pointer into the SIRT
456 // as with regular references).
457 sirt_offset = jni_conv->CurrentParamSirtEntryOffset();
458 // Check SIRT offset is within frame.
459 CHECK_LT(sirt_offset.Uint32Value(), (frame_size + out_arg_size));
460 }
461 if (input_in_reg && output_in_reg) {
462 ManagedRegister in_reg = mr_conv->CurrentParamRegister();
463 ManagedRegister out_reg = jni_conv->CurrentParamRegister();
464 if (ref_param) {
465 __ CreateSirtEntry(out_reg, sirt_offset, in_reg, null_allowed);
466 } else {
467 if (!mr_conv->IsCurrentParamOnStack()) {
468 // regular non-straddling move
469 __ Move(out_reg, in_reg, mr_conv->CurrentParamSize());
470 } else {
471 UNIMPLEMENTED(FATAL); // we currently don't expect to see this case
472 }
473 }
474 } else if (!input_in_reg && !output_in_reg) {
475 FrameOffset out_off = jni_conv->CurrentParamStackOffset();
476 if (ref_param) {
477 __ CreateSirtEntry(out_off, sirt_offset, mr_conv->InterproceduralScratchRegister(),
478 null_allowed);
479 } else {
480 FrameOffset in_off = mr_conv->CurrentParamStackOffset();
481 size_t param_size = mr_conv->CurrentParamSize();
482 CHECK_EQ(param_size, jni_conv->CurrentParamSize());
483 __ Copy(out_off, in_off, mr_conv->InterproceduralScratchRegister(), param_size);
484 }
485 } else if (!input_in_reg && output_in_reg) {
486 FrameOffset in_off = mr_conv->CurrentParamStackOffset();
487 ManagedRegister out_reg = jni_conv->CurrentParamRegister();
488 // Check that incoming stack arguments are above the current stack frame.
489 CHECK_GT(in_off.Uint32Value(), frame_size);
490 if (ref_param) {
491 __ CreateSirtEntry(out_reg, sirt_offset, ManagedRegister::NoRegister(), null_allowed);
492 } else {
493 size_t param_size = mr_conv->CurrentParamSize();
494 CHECK_EQ(param_size, jni_conv->CurrentParamSize());
495 __ Load(out_reg, in_off, param_size);
496 }
497 } else {
498 CHECK(input_in_reg && !output_in_reg);
499 ManagedRegister in_reg = mr_conv->CurrentParamRegister();
500 FrameOffset out_off = jni_conv->CurrentParamStackOffset();
501 // Check outgoing argument is within frame
502 CHECK_LT(out_off.Uint32Value(), frame_size);
503 if (ref_param) {
504 // TODO: recycle value in in_reg rather than reload from SIRT
505 __ CreateSirtEntry(out_off, sirt_offset, mr_conv->InterproceduralScratchRegister(),
506 null_allowed);
507 } else {
508 size_t param_size = mr_conv->CurrentParamSize();
509 CHECK_EQ(param_size, jni_conv->CurrentParamSize());
510 if (!mr_conv->IsCurrentParamOnStack()) {
511 // regular non-straddling store
512 __ Store(out_off, in_reg, param_size);
513 } else {
514 // store where input straddles registers and stack
515 CHECK_EQ(param_size, 8u);
516 FrameOffset in_off = mr_conv->CurrentParamStackOffset();
517 __ StoreSpanning(out_off, in_reg, in_off, mr_conv->InterproceduralScratchRegister());
518 }
519 }
520 }
521}
522
523static void SetNativeParameter(Assembler* jni_asm,
524 JniCallingConvention* jni_conv,
525 ManagedRegister in_reg) {
526 if (jni_conv->IsCurrentParamOnStack()) {
527 FrameOffset dest = jni_conv->CurrentParamStackOffset();
528 __ StoreRawPtr(dest, in_reg);
529 } else {
530 if (!jni_conv->CurrentParamRegister().Equals(in_reg)) {
531 __ Move(jni_conv->CurrentParamRegister(), in_reg, jni_conv->CurrentParamSize());
532 }
533 }
534}
535
536} // namespace art
537
538extern "C" art::CompiledMethod* ArtQuickJniCompileMethod(art::CompilerDriver& compiler,
539 uint32_t access_flags, uint32_t method_idx,
540 const art::DexFile& dex_file) {
541 return ArtJniCompileMethodInternal(compiler, access_flags, method_idx, dex_file);
542}