Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 1 | // Copyright 2011 Google Inc. All Rights Reserved. |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 2 | |
| 3 | #include "jni_internal.h" |
| 4 | |
| 5 | #include <algorithm> |
| 6 | |
Ian Rogers | 4a510d8 | 2011-10-09 14:30:24 -0700 | [diff] [blame] | 7 | #include "asm_support.h" |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 8 | #include "assembler.h" |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 9 | #include "compiled_method.h" |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 10 | #include "object.h" |
| 11 | |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 12 | namespace art { |
Ian Rogers | 2c8f653 | 2011-09-02 17:16:34 -0700 | [diff] [blame] | 13 | namespace arm { |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 14 | |
| 15 | // Creates a function which invokes a managed method with an array of |
| 16 | // arguments. |
| 17 | // |
| 18 | // At the time of call, the environment looks something like this: |
| 19 | // |
| 20 | // R0 = method pointer |
| 21 | // R1 = receiver pointer or NULL for static methods |
| 22 | // R2 = (managed) thread pointer |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 23 | // R3 = argument array or NULL for no argument methods |
| 24 | // [SP] = JValue* result or NULL for void returns |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 25 | // |
| 26 | // As the JNI call has already transitioned the thread into the |
| 27 | // "running" state the remaining responsibilities of this routine are |
| 28 | // to save the native register value and restore the managed thread |
| 29 | // register and transfer arguments from the array into register and on |
| 30 | // the stack, if needed. On return, the thread register must be |
| 31 | // shuffled and the return value must be store into the result JValue. |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 32 | CompiledInvokeStub* ArmCreateInvokeStub(bool is_static, const char* shorty) { |
Ian Rogers | 2c8f653 | 2011-09-02 17:16:34 -0700 | [diff] [blame] | 33 | UniquePtr<ArmAssembler> assembler( |
| 34 | down_cast<ArmAssembler*>(Assembler::Create(kArm))); |
| 35 | #define __ assembler-> |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 36 | size_t num_arg_array_bytes = NumArgArrayBytes(shorty); |
buzbee | c1f4504 | 2011-09-21 16:03:19 -0700 | [diff] [blame] | 37 | // Size of frame - spill of R4,R9/LR + Method* + possible receiver + arg array |
| 38 | size_t unpadded_frame_size = (4 * kPointerSize) + |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 39 | (is_static ? 0 : kPointerSize) + |
| 40 | num_arg_array_bytes; |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 41 | size_t frame_size = RoundUp(unpadded_frame_size, kStackAlignment); |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 42 | |
buzbee | c1f4504 | 2011-09-21 16:03:19 -0700 | [diff] [blame] | 43 | // Spill R4,R9 and LR |
| 44 | RegList save = (1 << R9) | (1 << R4); |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 45 | __ PushList(save | (1 << LR)); |
| 46 | |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 47 | // Move the managed thread pointer into R9. |
| 48 | __ mov(R9, ShifterOperand(R2)); |
| 49 | |
Ian Rogers | ae67599 | 2011-10-09 17:10:22 -0700 | [diff] [blame] | 50 | // Reset R4 to suspend check interval |
Ian Rogers | 4a510d8 | 2011-10-09 14:30:24 -0700 | [diff] [blame] | 51 | __ LoadImmediate(R4, SUSPEND_CHECK_INTERVAL); |
| 52 | |
buzbee | c1f4504 | 2011-09-21 16:03:19 -0700 | [diff] [blame] | 53 | // Move frame down for arguments less 3 pushed values above |
| 54 | __ AddConstant(SP, -frame_size + (3 * kPointerSize)); |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 55 | |
| 56 | // Can either get 3 or 2 arguments into registers |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 57 | size_t reg_bytes = (is_static ? 3 : 2) * kPointerSize; |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 58 | // Bytes passed by stack |
| 59 | size_t stack_bytes; |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 60 | if (num_arg_array_bytes > reg_bytes) { |
| 61 | stack_bytes = num_arg_array_bytes - reg_bytes; |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 62 | } else { |
| 63 | stack_bytes = 0; |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 64 | reg_bytes = num_arg_array_bytes; |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 65 | } |
| 66 | |
Ian Rogers | ed8952f | 2011-08-19 17:11:22 -0700 | [diff] [blame] | 67 | // Method* at bottom of frame is null thereby terminating managed stack crawls |
| 68 | __ LoadImmediate(IP, 0, AL); |
| 69 | __ StoreToOffset(kStoreWord, IP, SP, 0); |
| 70 | |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 71 | // Copy values by stack |
Ian Rogers | 0cfe1fb | 2011-08-26 03:29:44 -0700 | [diff] [blame] | 72 | for (size_t off = 0; off < stack_bytes; off += kPointerSize) { |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 73 | // we're displaced off of r3 by bytes that'll go in registers |
| 74 | int r3_offset = reg_bytes + off; |
| 75 | __ LoadFromOffset(kLoadWord, IP, R3, r3_offset); |
| 76 | |
| 77 | // we're displaced off of the arguments by the spill space for the incoming |
Shih-wei Liao | 7d2b141 | 2011-09-05 19:29:47 -0700 | [diff] [blame] | 78 | // arguments, the Method* and possibly the receiver |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 79 | int sp_offset = reg_bytes + (is_static ? 1 : 2) * kPointerSize + off; |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 80 | __ StoreToOffset(kStoreWord, IP, SP, sp_offset); |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 81 | } |
| 82 | |
| 83 | // Move all the register arguments into place. |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 84 | if (is_static) { |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 85 | if (reg_bytes > 0) { |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 86 | __ LoadFromOffset(kLoadWord, R1, R3, 0); |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 87 | if (reg_bytes > 4) { |
| 88 | __ LoadFromOffset(kLoadWord, R2, R3, 4); |
| 89 | if (reg_bytes > 8) { |
| 90 | __ LoadFromOffset(kLoadWord, R3, R3, 8); |
| 91 | } |
| 92 | } |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 93 | } |
| 94 | } else { |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 95 | if (reg_bytes > 0) { |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 96 | __ LoadFromOffset(kLoadWord, R2, R3, 0); |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 97 | if (reg_bytes > 4) { |
| 98 | __ LoadFromOffset(kLoadWord, R3, R3, 4); |
| 99 | } |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 100 | } |
| 101 | } |
| 102 | |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 103 | // Load the code pointer we are about to call. |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 104 | __ LoadFromOffset(kLoadWord, IP, R0, Method::GetCodeOffset().Int32Value()); |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 105 | |
| 106 | // Do the call. |
| 107 | __ blx(IP); |
| 108 | |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 109 | // If the method returns a value, store it to the result pointer. |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 110 | if (shorty[0] != 'V') { |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 111 | // Load the result JValue pointer of the stub caller's out args. |
| 112 | __ LoadFromOffset(kLoadWord, IP, SP, frame_size); |
Ian Rogers | 0571d35 | 2011-11-03 19:51:38 -0700 | [diff] [blame] | 113 | StoreOperandType type = (shorty[0] == 'J' || shorty[0] == 'D') ? kStoreWordPair : kStoreWord; |
| 114 | __ StoreToOffset(type, R0, IP, 0); |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 115 | } |
| 116 | |
buzbee | c1f4504 | 2011-09-21 16:03:19 -0700 | [diff] [blame] | 117 | // Remove the frame less the spilled R4, R9 and LR |
| 118 | __ AddConstant(SP, frame_size - (3 * kPointerSize)); |
Ian Rogers | cdd1d2d | 2011-08-18 09:58:17 -0700 | [diff] [blame] | 119 | |
buzbee | c1f4504 | 2011-09-21 16:03:19 -0700 | [diff] [blame] | 120 | // Pop R4, R9 and the LR into PC |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 121 | __ PopList(save | (1 << PC)); |
Ian Rogers | 2c8f653 | 2011-09-02 17:16:34 -0700 | [diff] [blame] | 122 | // TODO: store native_entry in the stub table |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 123 | std::vector<uint8_t> code(assembler->CodeSize()); |
| 124 | MemoryRegion region(&code[0], code.size()); |
Ian Rogers | 2c8f653 | 2011-09-02 17:16:34 -0700 | [diff] [blame] | 125 | assembler->FinalizeInstructions(region); |
Brian Carlstrom | 3320cf4 | 2011-10-04 14:58:28 -0700 | [diff] [blame] | 126 | return new CompiledInvokeStub(code); |
Ian Rogers | 2c8f653 | 2011-09-02 17:16:34 -0700 | [diff] [blame] | 127 | #undef __ |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 128 | } |
| 129 | |
Ian Rogers | 2c8f653 | 2011-09-02 17:16:34 -0700 | [diff] [blame] | 130 | } // namespace arm |
Carl Shapiro | 9b9ba28 | 2011-08-14 15:30:39 -0700 | [diff] [blame] | 131 | } // namespace art |