blob: 6c9239ff5976c209c1db5d08add6e3e5dd9163d9 [file] [log] [blame]
Elliott Hughes0f3c5532012-03-30 14:51:51 -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
Ian Rogers7655f292013-07-29 11:07:13 -070017#include "asm_support_x86.S"
Elliott Hughes5e284222012-04-04 13:38:03 -070018
Hiroshi Yamauchi4adeab12015-10-02 15:27:55 -070019#include "arch/quick_alloc_entrypoints.S"
20
Dave Allisonbbb32c22013-11-05 18:25:18 -080021// For x86, the CFA is esp+4, the address above the pushed return address on the stack.
22
Ian Rogers57b86d42012-03-27 16:05:41 -070023 /*
24 * Macro that sets up the callee save frame to conform with
Ian Rogers7caad772012-03-30 01:07:54 -070025 * Runtime::CreateCalleeSaveMethod(kSaveAll)
Ian Rogers57b86d42012-03-27 16:05:41 -070026 */
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070027MACRO2(SETUP_SAVE_ALL_CALLEE_SAVE_FRAME, got_reg, temp_reg)
Ian Rogersaeeada42013-02-13 11:28:34 -080028 PUSH edi // Save callee saves (ebx is saved/restored by the upcall)
29 PUSH esi
30 PUSH ebp
Andreas Gampe4360be22015-07-14 23:34:44 -070031 subl MACRO_LITERAL(12), %esp // Grow stack by 3 words.
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070032 CFI_ADJUST_CFA_OFFSET(12)
Andreas Gampe4360be22015-07-14 23:34:44 -070033 SETUP_GOT_NOSAVE RAW_VAR(got_reg)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070034 // Load Runtime::instance_ from GOT.
Andreas Gampe4360be22015-07-14 23:34:44 -070035 movl SYMBOL(_ZN3art7Runtime9instance_E)@GOT(REG_VAR(got_reg)), REG_VAR(temp_reg)
36 movl (REG_VAR(temp_reg)), REG_VAR(temp_reg)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070037 // Push save all callee-save method.
Andreas Gampe4360be22015-07-14 23:34:44 -070038 pushl RUNTIME_SAVE_ALL_CALLEE_SAVE_FRAME_OFFSET(REG_VAR(temp_reg))
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070039 CFI_ADJUST_CFA_OFFSET(4)
40 // Store esp as the top quick frame.
41 movl %esp, %fs:THREAD_TOP_QUICK_FRAME_OFFSET
Andreas Gampe5c1e4352014-04-21 19:28:24 -070042 // Ugly compile-time check, but we only have the preprocessor.
43 // Last +4: implicit return address pushed on stack when caller made call.
44#if (FRAME_SIZE_SAVE_ALL_CALLEE_SAVE != 3*4 + 16 + 4)
45#error "SAVE_ALL_CALLEE_SAVE_FRAME(X86) size not as expected."
46#endif
Elliott Hughes787ec202012-03-29 17:14:15 -070047END_MACRO
Ian Rogers57b86d42012-03-27 16:05:41 -070048
Ian Rogers7caad772012-03-30 01:07:54 -070049 /*
50 * Macro that sets up the callee save frame to conform with
51 * Runtime::CreateCalleeSaveMethod(kRefsOnly)
52 */
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070053MACRO2(SETUP_REFS_ONLY_CALLEE_SAVE_FRAME, got_reg, temp_reg)
Ian Rogersaeeada42013-02-13 11:28:34 -080054 PUSH edi // Save callee saves (ebx is saved/restored by the upcall)
55 PUSH esi
56 PUSH ebp
Andreas Gampe4360be22015-07-14 23:34:44 -070057 subl MACRO_LITERAL(12), %esp // Grow stack by 3 words.
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070058 CFI_ADJUST_CFA_OFFSET(12)
Andreas Gampe4360be22015-07-14 23:34:44 -070059 SETUP_GOT_NOSAVE RAW_VAR(got_reg)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070060 // Load Runtime::instance_ from GOT.
Andreas Gampe4360be22015-07-14 23:34:44 -070061 movl SYMBOL(_ZN3art7Runtime9instance_E)@GOT(REG_VAR(got_reg)), REG_VAR(temp_reg)
62 movl (REG_VAR(temp_reg)), REG_VAR(temp_reg)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070063 // Push save all callee-save method.
Andreas Gampe4360be22015-07-14 23:34:44 -070064 pushl RUNTIME_REFS_ONLY_CALLEE_SAVE_FRAME_OFFSET(REG_VAR(temp_reg))
Ian Rogers1d8cdbc2014-09-22 22:51:09 -070065 CFI_ADJUST_CFA_OFFSET(4)
66 // Store esp as the top quick frame.
67 movl %esp, %fs:THREAD_TOP_QUICK_FRAME_OFFSET
Andreas Gampe5c1e4352014-04-21 19:28:24 -070068
69 // Ugly compile-time check, but we only have the preprocessor.
70 // Last +4: implicit return address pushed on stack when caller made call.
71#if (FRAME_SIZE_REFS_ONLY_CALLEE_SAVE != 3*4 + 16 + 4)
72#error "REFS_ONLY_CALLEE_SAVE_FRAME(X86) size not as expected."
73#endif
Ian Rogers7caad772012-03-30 01:07:54 -070074END_MACRO
75
Nicolas Geoffray0f838aa2016-06-08 18:01:22 +010076 /*
77 * Macro that sets up the callee save frame to conform with
78 * Runtime::CreateCalleeSaveMethod(kRefsOnly)
79 * and preserves the value of got_reg at entry.
80 */
81MACRO2(SETUP_REFS_ONLY_CALLEE_SAVE_FRAME_PRESERVE_GOT_REG, got_reg, temp_reg)
82 PUSH edi // Save callee saves (ebx is saved/restored by the upcall)
83 PUSH esi
84 PUSH ebp
Vladimir Marko2ebef632016-06-21 11:24:47 +010085 PUSH RAW_VAR(got_reg) // Save got_reg
Nicolas Geoffray0f838aa2016-06-08 18:01:22 +010086 subl MACRO_LITERAL(8), %esp // Grow stack by 2 words.
87 CFI_ADJUST_CFA_OFFSET(8)
88
89 SETUP_GOT_NOSAVE RAW_VAR(got_reg)
90 // Load Runtime::instance_ from GOT.
91 movl SYMBOL(_ZN3art7Runtime9instance_E)@GOT(REG_VAR(got_reg)), REG_VAR(temp_reg)
92 movl (REG_VAR(temp_reg)), REG_VAR(temp_reg)
93 // Push save all callee-save method.
94 pushl RUNTIME_REFS_ONLY_CALLEE_SAVE_FRAME_OFFSET(REG_VAR(temp_reg))
95 CFI_ADJUST_CFA_OFFSET(4)
96 // Store esp as the top quick frame.
97 movl %esp, %fs:THREAD_TOP_QUICK_FRAME_OFFSET
98 // Restore got_reg.
99 movl 12(%esp), REG_VAR(got_reg)
Vladimir Marko2ebef632016-06-21 11:24:47 +0100100 CFI_RESTORE(RAW_VAR(got_reg))
Nicolas Geoffray0f838aa2016-06-08 18:01:22 +0100101
102 // Ugly compile-time check, but we only have the preprocessor.
103 // Last +4: implicit return address pushed on stack when caller made call.
104#if (FRAME_SIZE_REFS_ONLY_CALLEE_SAVE != 3*4 + 16 + 4)
105#error "REFS_ONLY_CALLEE_SAVE_FRAME(X86) size not as expected."
106#endif
107END_MACRO
108
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700109MACRO0(RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME)
Ian Rogers47d00c02014-04-16 17:33:27 -0700110 addl MACRO_LITERAL(16), %esp // Unwind stack up to saved values
Andreas Gampebf6b92a2014-03-05 16:11:04 -0800111 CFI_ADJUST_CFA_OFFSET(-16)
Mathieu Chartier2a6c7b72013-10-16 11:16:33 -0700112 POP ebp // Restore callee saves (ebx is saved/restored by the upcall)
113 POP esi
114 POP edi
Elliott Hughes787ec202012-03-29 17:14:15 -0700115END_MACRO
Ian Rogers57b86d42012-03-27 16:05:41 -0700116
117 /*
118 * Macro that sets up the callee save frame to conform with
Ian Rogers7caad772012-03-30 01:07:54 -0700119 * Runtime::CreateCalleeSaveMethod(kRefsAndArgs)
Ian Rogers57b86d42012-03-27 16:05:41 -0700120 */
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700121MACRO2(SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME, got_reg, temp_reg)
Ian Rogersaeeada42013-02-13 11:28:34 -0800122 PUSH edi // Save callee saves
123 PUSH esi
124 PUSH ebp
125 PUSH ebx // Save args
126 PUSH edx
127 PUSH ecx
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000128 // Create space for FPR args.
129 subl MACRO_LITERAL(4 * 8), %esp
130 CFI_ADJUST_CFA_OFFSET(4 * 8)
131 // Save FPRs.
132 movsd %xmm0, 0(%esp)
133 movsd %xmm1, 8(%esp)
134 movsd %xmm2, 16(%esp)
135 movsd %xmm3, 24(%esp)
136
Andreas Gampe4360be22015-07-14 23:34:44 -0700137 SETUP_GOT_NOSAVE RAW_VAR(got_reg)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700138 // Load Runtime::instance_ from GOT.
Andreas Gampe4360be22015-07-14 23:34:44 -0700139 movl SYMBOL(_ZN3art7Runtime9instance_E)@GOT(REG_VAR(got_reg)), REG_VAR(temp_reg)
140 movl (REG_VAR(temp_reg)), REG_VAR(temp_reg)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700141 // Push save all callee-save method.
Andreas Gampe4360be22015-07-14 23:34:44 -0700142 pushl RUNTIME_REFS_AND_ARGS_CALLEE_SAVE_FRAME_OFFSET(REG_VAR(temp_reg))
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700143 CFI_ADJUST_CFA_OFFSET(4)
144 // Store esp as the stop quick frame.
145 movl %esp, %fs:THREAD_TOP_QUICK_FRAME_OFFSET
Andreas Gampe5c1e4352014-04-21 19:28:24 -0700146
147 // Ugly compile-time check, but we only have the preprocessor.
148 // Last +4: implicit return address pushed on stack when caller made call.
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000149#if (FRAME_SIZE_REFS_AND_ARGS_CALLEE_SAVE != 7*4 + 4*8 + 4)
Andreas Gampe5c1e4352014-04-21 19:28:24 -0700150#error "REFS_AND_ARGS_CALLEE_SAVE_FRAME(X86) size not as expected."
151#endif
Elliott Hughes787ec202012-03-29 17:14:15 -0700152END_MACRO
Ian Rogers57b86d42012-03-27 16:05:41 -0700153
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700154 /*
155 * Macro that sets up the callee save frame to conform with
156 * Runtime::CreateCalleeSaveMethod(kRefsAndArgs) where the method is passed in EAX.
157 */
158MACRO0(SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME_WITH_METHOD_IN_EAX)
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000159 // Save callee and GPR args, mixed together to agree with core spills bitmap.
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700160 PUSH edi // Save callee saves
161 PUSH esi
162 PUSH ebp
163 PUSH ebx // Save args
164 PUSH edx
165 PUSH ecx
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000166
167 // Create space for FPR args.
168 subl MACRO_LITERAL(32), %esp
169 CFI_ADJUST_CFA_OFFSET(32)
170
171 // Save FPRs.
172 movsd %xmm0, 0(%esp)
173 movsd %xmm1, 8(%esp)
174 movsd %xmm2, 16(%esp)
175 movsd %xmm3, 24(%esp)
176
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700177 PUSH eax // Store the ArtMethod reference at the bottom of the stack.
178 // Store esp as the stop quick frame.
179 movl %esp, %fs:THREAD_TOP_QUICK_FRAME_OFFSET
180END_MACRO
181
182MACRO0(RESTORE_REFS_AND_ARGS_CALLEE_SAVE_FRAME)
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000183 // Restore FPRs. EAX is still on the stack.
184 movsd 4(%esp), %xmm0
185 movsd 12(%esp), %xmm1
186 movsd 20(%esp), %xmm2
187 movsd 28(%esp), %xmm3
188
189 addl MACRO_LITERAL(36), %esp // Remove FPRs and EAX.
190 CFI_ADJUST_CFA_OFFSET(-36)
191
Andreas Gampe4360be22015-07-14 23:34:44 -0700192 POP ecx // Restore args except eax
Ian Rogersaeeada42013-02-13 11:28:34 -0800193 POP edx
194 POP ebx
Andreas Gampe4360be22015-07-14 23:34:44 -0700195 POP ebp // Restore callee saves
Ian Rogersaeeada42013-02-13 11:28:34 -0800196 POP esi
197 POP edi
Elliott Hughes787ec202012-03-29 17:14:15 -0700198END_MACRO
Ian Rogers57b86d42012-03-27 16:05:41 -0700199
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000200// Restore register and jump to routine
201// Inputs: EDI contains pointer to code.
202// Notes: Need to pop EAX too (restores Method*)
203MACRO0(RESTORE_REFS_AND_ARGS_CALLEE_SAVE_FRAME_AND_JUMP)
204 POP eax // Restore Method*
205
206 // Restore FPRs.
207 movsd 0(%esp), %xmm0
208 movsd 8(%esp), %xmm1
209 movsd 16(%esp), %xmm2
210 movsd 24(%esp), %xmm3
211
212 addl MACRO_LITERAL(32), %esp // Remove FPRs.
213 CFI_ADJUST_CFA_OFFSET(-32)
214
215 POP ecx // Restore args except eax
216 POP edx
217 POP ebx
218 POP ebp // Restore callee saves
219 POP esi
220 xchgl 0(%esp),%edi // restore EDI and place code pointer as only value on stack
221 ret
222END_MACRO
223
Ian Rogers57b86d42012-03-27 16:05:41 -0700224 /*
225 * Macro that set calls through to artDeliverPendingExceptionFromCode, where the pending
226 * exception is Thread::Current()->exception_.
227 */
Elliott Hughes787ec202012-03-29 17:14:15 -0700228MACRO0(DELIVER_PENDING_EXCEPTION)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700229 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save callee saves for throw
Ian Rogers57b86d42012-03-27 16:05:41 -0700230 // Outgoing argument set up
Roland Levillaina7821bf2016-06-30 16:21:31 +0100231 subl MACRO_LITERAL(12), %esp // alignment padding
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700232 CFI_ADJUST_CFA_OFFSET(12)
233 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -0800234 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700235 call SYMBOL(artDeliverPendingExceptionFromCode) // artDeliverPendingExceptionFromCode(Thread*)
Andreas Gampe4360be22015-07-14 23:34:44 -0700236 UNREACHABLE
Elliott Hughes787ec202012-03-29 17:14:15 -0700237END_MACRO
Ian Rogers57b86d42012-03-27 16:05:41 -0700238
Elliott Hughes787ec202012-03-29 17:14:15 -0700239MACRO2(NO_ARG_RUNTIME_EXCEPTION, c_name, cxx_name)
Andreas Gampe4360be22015-07-14 23:34:44 -0700240 DEFINE_FUNCTION VAR(c_name)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700241 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context
Ian Rogers57b86d42012-03-27 16:05:41 -0700242 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -0700243 subl MACRO_LITERAL(12), %esp // alignment padding
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700244 CFI_ADJUST_CFA_OFFSET(12)
Andreas Gampe4360be22015-07-14 23:34:44 -0700245 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -0800246 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700247 call CALLVAR(cxx_name) // cxx_name(Thread*)
248 UNREACHABLE
249 END_FUNCTION VAR(c_name)
Elliott Hughes787ec202012-03-29 17:14:15 -0700250END_MACRO
Ian Rogers57b86d42012-03-27 16:05:41 -0700251
Elliott Hughes787ec202012-03-29 17:14:15 -0700252MACRO2(ONE_ARG_RUNTIME_EXCEPTION, c_name, cxx_name)
Andreas Gampe4360be22015-07-14 23:34:44 -0700253 DEFINE_FUNCTION VAR(c_name)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700254 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context
Ian Rogers57b86d42012-03-27 16:05:41 -0700255 mov %esp, %ecx
256 // Outgoing argument set up
Roland Levillaina7821bf2016-06-30 16:21:31 +0100257 subl MACRO_LITERAL(8), %esp // alignment padding
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700258 CFI_ADJUST_CFA_OFFSET(8)
Andreas Gampe4360be22015-07-14 23:34:44 -0700259 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -0800260 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700261 PUSH eax // pass arg1
262 call CALLVAR(cxx_name) // cxx_name(arg1, Thread*)
263 UNREACHABLE
264 END_FUNCTION VAR(c_name)
Elliott Hughes787ec202012-03-29 17:14:15 -0700265END_MACRO
Ian Rogers57b86d42012-03-27 16:05:41 -0700266
Elliott Hughes787ec202012-03-29 17:14:15 -0700267MACRO2(TWO_ARG_RUNTIME_EXCEPTION, c_name, cxx_name)
Andreas Gampe4360be22015-07-14 23:34:44 -0700268 DEFINE_FUNCTION VAR(c_name)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700269 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context
Ian Rogers57b86d42012-03-27 16:05:41 -0700270 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -0700271 PUSH eax // alignment padding
272 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -0800273 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700274 PUSH ecx // pass arg2
275 PUSH eax // pass arg1
276 call CALLVAR(cxx_name) // cxx_name(arg1, arg2, Thread*)
277 UNREACHABLE
278 END_FUNCTION VAR(c_name)
Elliott Hughes787ec202012-03-29 17:14:15 -0700279END_MACRO
Ian Rogers57b86d42012-03-27 16:05:41 -0700280
281 /*
282 * Called by managed code to create and deliver a NullPointerException.
283 */
Ian Rogers468532e2013-08-05 10:56:33 -0700284NO_ARG_RUNTIME_EXCEPTION art_quick_throw_null_pointer_exception, artThrowNullPointerExceptionFromCode
Ian Rogers57b86d42012-03-27 16:05:41 -0700285
286 /*
Nicolas Geoffraye8e11272016-06-28 18:08:46 +0100287 * Call installed by a signal handler to create and deliver a NullPointerException.
288 */
289ONE_ARG_RUNTIME_EXCEPTION art_quick_throw_null_pointer_exception_from_signal, artThrowNullPointerExceptionFromSignal
290
291 /*
Ian Rogers57b86d42012-03-27 16:05:41 -0700292 * Called by managed code to create and deliver an ArithmeticException.
293 */
Ian Rogers468532e2013-08-05 10:56:33 -0700294NO_ARG_RUNTIME_EXCEPTION art_quick_throw_div_zero, artThrowDivZeroFromCode
Ian Rogers57b86d42012-03-27 16:05:41 -0700295
296 /*
Ian Rogers57b86d42012-03-27 16:05:41 -0700297 * Called by managed code to create and deliver a StackOverflowError.
298 */
Ian Rogers468532e2013-08-05 10:56:33 -0700299NO_ARG_RUNTIME_EXCEPTION art_quick_throw_stack_overflow, artThrowStackOverflowFromCode
Ian Rogers57b86d42012-03-27 16:05:41 -0700300
301 /*
Elliott Hughes787ec202012-03-29 17:14:15 -0700302 * Called by managed code, saves callee saves and then calls artThrowException
303 * that will place a mock Method* at the bottom of the stack. Arg1 holds the exception.
304 */
Ian Rogers468532e2013-08-05 10:56:33 -0700305ONE_ARG_RUNTIME_EXCEPTION art_quick_deliver_exception, artDeliverExceptionFromCode
Elliott Hughes787ec202012-03-29 17:14:15 -0700306
307 /*
Ian Rogers57b86d42012-03-27 16:05:41 -0700308 * Called by managed code to create and deliver a NoSuchMethodError.
309 */
Ian Rogers468532e2013-08-05 10:56:33 -0700310ONE_ARG_RUNTIME_EXCEPTION art_quick_throw_no_such_method, artThrowNoSuchMethodFromCode
Ian Rogers57b86d42012-03-27 16:05:41 -0700311
312 /*
Elliott Hughes787ec202012-03-29 17:14:15 -0700313 * Called by managed code to create and deliver an ArrayIndexOutOfBoundsException. Arg1 holds
314 * index, arg2 holds limit.
315 */
Ian Rogers468532e2013-08-05 10:56:33 -0700316TWO_ARG_RUNTIME_EXCEPTION art_quick_throw_array_bounds, artThrowArrayBoundsFromCode
Elliott Hughes787ec202012-03-29 17:14:15 -0700317
318 /*
Vladimir Marko87f3fcb2016-04-28 15:52:11 +0100319 * Called by managed code to create and deliver a StringIndexOutOfBoundsException
320 * as if thrown from a call to String.charAt(). Arg1 holds index, arg2 holds limit.
321 */
322TWO_ARG_RUNTIME_EXCEPTION art_quick_throw_string_bounds, artThrowStringBoundsFromCode
323
324 /*
Ian Rogers57b86d42012-03-27 16:05:41 -0700325 * All generated callsites for interface invokes and invocation slow paths will load arguments
326 * as usual - except instead of loading arg0/r0 with the target Method*, arg0/r0 will contain
Nicolas Geoffray7ea6a172015-05-19 18:58:54 +0100327 * the method_idx. This wrapper will save arg1-arg3 and call the appropriate C helper.
Ian Rogers57b86d42012-03-27 16:05:41 -0700328 * NOTE: "this" is first visible argument of the target, and so can be found in arg1/r1.
329 *
330 * The helper will attempt to locate the target and return a 64-bit result in r0/r1 consisting
331 * of the target Method* in r0 and method->code_ in r1.
332 *
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700333 * If unsuccessful, the helper will return null/null will bea pending exception in the
Ian Rogers57b86d42012-03-27 16:05:41 -0700334 * thread and we branch to another stub to deliver it.
335 *
336 * On success this wrapper will restore arguments and *jump* to the target, leaving the lr
337 * pointing back to the original caller.
338 */
Andreas Gampe3031c8d2015-07-13 20:11:06 -0700339MACRO1(INVOKE_TRAMPOLINE_BODY, cxx_name)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700340 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME ebx, ebx
Ian Rogers7caad772012-03-30 01:07:54 -0700341 movl %esp, %edx // remember SP
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000342
Ian Rogers7caad772012-03-30 01:07:54 -0700343 // Outgoing argument set up
Ian Rogersaeeada42013-02-13 11:28:34 -0800344 PUSH edx // pass SP
Ian Rogers7caad772012-03-30 01:07:54 -0700345 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -0800346 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogersaeeada42013-02-13 11:28:34 -0800347 PUSH ecx // pass arg2
348 PUSH eax // pass arg1
Andreas Gampe4360be22015-07-14 23:34:44 -0700349 call CALLVAR(cxx_name) // cxx_name(arg1, arg2, Thread*, SP)
Ian Rogers7caad772012-03-30 01:07:54 -0700350 movl %edx, %edi // save code pointer in EDI
Nicolas Geoffray7ea6a172015-05-19 18:58:54 +0100351 addl MACRO_LITERAL(20), %esp // Pop arguments skip eax
352 CFI_ADJUST_CFA_OFFSET(-20)
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000353
354 // Restore FPRs.
355 movsd 0(%esp), %xmm0
356 movsd 8(%esp), %xmm1
357 movsd 16(%esp), %xmm2
358 movsd 24(%esp), %xmm3
359
360 // Remove space for FPR args.
361 addl MACRO_LITERAL(4 * 8), %esp
362 CFI_ADJUST_CFA_OFFSET(-4 * 8)
363
Dave Allisonbbb32c22013-11-05 18:25:18 -0800364 POP ecx // Restore args except eax
Ian Rogersaeeada42013-02-13 11:28:34 -0800365 POP edx
366 POP ebx
Dave Allisonbbb32c22013-11-05 18:25:18 -0800367 POP ebp // Restore callee saves
Ian Rogersaeeada42013-02-13 11:28:34 -0800368 POP esi
Ian Rogers7caad772012-03-30 01:07:54 -0700369 // Swap EDI callee save with code pointer.
370 xchgl %edi, (%esp)
371 testl %eax, %eax // Branch forward if exception pending.
372 jz 1f
373 // Tail call to intended method.
374 ret
3751:
jeffhao20b5c6c2012-05-21 14:15:18 -0700376 addl MACRO_LITERAL(4), %esp // Pop code pointer off stack
Mark Mendell3f2d0312014-01-20 17:20:27 -0800377 CFI_ADJUST_CFA_OFFSET(-4)
Ian Rogers7caad772012-03-30 01:07:54 -0700378 DELIVER_PENDING_EXCEPTION
Andreas Gampe3031c8d2015-07-13 20:11:06 -0700379END_MACRO
380MACRO2(INVOKE_TRAMPOLINE, c_name, cxx_name)
Andreas Gampe4360be22015-07-14 23:34:44 -0700381 DEFINE_FUNCTION VAR(c_name)
382 INVOKE_TRAMPOLINE_BODY RAW_VAR(cxx_name)
383 END_FUNCTION VAR(c_name)
Elliott Hughes787ec202012-03-29 17:14:15 -0700384END_MACRO
Ian Rogers57b86d42012-03-27 16:05:41 -0700385
Logan Chien8dbb7082013-01-25 20:31:17 +0800386INVOKE_TRAMPOLINE art_quick_invoke_interface_trampoline_with_access_check, artInvokeInterfaceTrampolineWithAccessCheck
Ian Rogers57b86d42012-03-27 16:05:41 -0700387
Logan Chien8dbb7082013-01-25 20:31:17 +0800388INVOKE_TRAMPOLINE art_quick_invoke_static_trampoline_with_access_check, artInvokeStaticTrampolineWithAccessCheck
389INVOKE_TRAMPOLINE art_quick_invoke_direct_trampoline_with_access_check, artInvokeDirectTrampolineWithAccessCheck
390INVOKE_TRAMPOLINE art_quick_invoke_super_trampoline_with_access_check, artInvokeSuperTrampolineWithAccessCheck
391INVOKE_TRAMPOLINE art_quick_invoke_virtual_trampoline_with_access_check, artInvokeVirtualTrampolineWithAccessCheck
Ian Rogers57b86d42012-03-27 16:05:41 -0700392
Jeff Hao5d917302013-02-27 17:57:33 -0800393 /*
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000394 * Helper for quick invocation stub to set up XMM registers.
395 * Increments shorty and arg_array and clobbers temp_char.
396 * Branches to finished if it encounters the end of the shorty.
397 */
398MACRO5(LOOP_OVER_SHORTY_LOADING_XMMS, xmm_reg, shorty, arg_array, temp_char, finished)
3991: // LOOP
Andreas Gampe4360be22015-07-14 23:34:44 -0700400 movb (REG_VAR(shorty)), REG_VAR(temp_char) // temp_char := *shorty
401 addl MACRO_LITERAL(1), REG_VAR(shorty) // shorty++
402 cmpb MACRO_LITERAL(0), REG_VAR(temp_char) // if (temp_char == '\0')
403 je VAR(finished) // goto finished
404 cmpb MACRO_LITERAL(68), REG_VAR(temp_char) // if (temp_char == 'D')
405 je 2f // goto FOUND_DOUBLE
406 cmpb MACRO_LITERAL(70), REG_VAR(temp_char) // if (temp_char == 'F')
407 je 3f // goto FOUND_FLOAT
408 addl MACRO_LITERAL(4), REG_VAR(arg_array) // arg_array++
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000409 // Handle extra space in arg array taken by a long.
Andreas Gampe4360be22015-07-14 23:34:44 -0700410 cmpb MACRO_LITERAL(74), REG_VAR(temp_char) // if (temp_char != 'J')
411 jne 1b // goto LOOP
412 addl MACRO_LITERAL(4), REG_VAR(arg_array) // arg_array++
413 jmp 1b // goto LOOP
Mark P Mendell966c3ae2015-01-27 15:45:27 +00004142: // FOUND_DOUBLE
Andreas Gampe4360be22015-07-14 23:34:44 -0700415 movsd (REG_VAR(arg_array)), REG_VAR(xmm_reg)
416 addl MACRO_LITERAL(8), REG_VAR(arg_array) // arg_array+=2
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000417 jmp 4f
4183: // FOUND_FLOAT
Andreas Gampe4360be22015-07-14 23:34:44 -0700419 movss (REG_VAR(arg_array)), REG_VAR(xmm_reg)
420 addl MACRO_LITERAL(4), REG_VAR(arg_array) // arg_array++
Mark P Mendell966c3ae2015-01-27 15:45:27 +00004214:
422END_MACRO
423
424 /*
425 * Helper for quick invocation stub to set up GPR registers.
426 * Increments shorty and arg_array, and returns the current short character in
427 * temp_char. Branches to finished if it encounters the end of the shorty.
428 */
429MACRO4(SKIP_OVER_FLOATS, shorty, arg_array, temp_char, finished)
4301: // LOOP:
Andreas Gampe4360be22015-07-14 23:34:44 -0700431 movb (REG_VAR(shorty)), REG_VAR(temp_char) // temp_char := *shorty
432 addl MACRO_LITERAL(1), REG_VAR(shorty) // shorty++
433 cmpb MACRO_LITERAL(0), REG_VAR(temp_char) // if (temp_char == '\0')
434 je VAR(finished) // goto finished
435 cmpb MACRO_LITERAL(70), REG_VAR(temp_char) // if (temp_char == 'F')
436 je 3f // goto SKIP_FLOAT
437 cmpb MACRO_LITERAL(68), REG_VAR(temp_char) // if (temp_char == 'D')
438 je 4f // goto SKIP_DOUBLE
439 jmp 5f // goto end
Mark P Mendell966c3ae2015-01-27 15:45:27 +00004403: // SKIP_FLOAT
Andreas Gampe4360be22015-07-14 23:34:44 -0700441 addl MACRO_LITERAL(4), REG_VAR(arg_array) // arg_array++
442 jmp 1b // goto LOOP
Mark P Mendell966c3ae2015-01-27 15:45:27 +00004434: // SKIP_DOUBLE
Andreas Gampe4360be22015-07-14 23:34:44 -0700444 addl MACRO_LITERAL(8), REG_VAR(arg_array) // arg_array+=2
445 jmp 1b // goto LOOP
Mark P Mendell966c3ae2015-01-27 15:45:27 +00004465:
447END_MACRO
448
449 /*
450 * Quick invocation stub (non-static).
Jeff Hao6474d192013-03-26 14:08:09 -0700451 * On entry:
452 * [sp] = return address
453 * [sp + 4] = method pointer
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700454 * [sp + 8] = argument array or null for no argument methods
Jeff Hao6474d192013-03-26 14:08:09 -0700455 * [sp + 12] = size of argument array in bytes
456 * [sp + 16] = (managed) thread pointer
457 * [sp + 20] = JValue* result
Ian Rogers0177e532014-02-11 16:30:46 -0800458 * [sp + 24] = shorty
Jeff Hao5d917302013-02-27 17:57:33 -0800459 */
460DEFINE_FUNCTION art_quick_invoke_stub
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000461 // Save the non-volatiles.
Jeff Hao5d917302013-02-27 17:57:33 -0800462 PUSH ebp // save ebp
463 PUSH ebx // save ebx
Nicolas Geoffray48088462014-12-12 10:29:38 +0000464 PUSH esi // save esi
465 PUSH edi // save edi
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000466 // Set up argument XMM registers.
467 mov 24+16(%esp), %esi // ESI := shorty + 1 ; ie skip return arg character.
468 addl LITERAL(1), %esi
469 mov 8+16(%esp), %edi // EDI := arg_array + 4 ; ie skip this pointer.
470 addl LITERAL(4), %edi
471 // Clobbers ESI, EDI, EAX.
472 LOOP_OVER_SHORTY_LOADING_XMMS xmm0, esi, edi, al, .Lxmm_setup_finished
473 LOOP_OVER_SHORTY_LOADING_XMMS xmm1, esi, edi, al, .Lxmm_setup_finished
474 LOOP_OVER_SHORTY_LOADING_XMMS xmm2, esi, edi, al, .Lxmm_setup_finished
475 LOOP_OVER_SHORTY_LOADING_XMMS xmm3, esi, edi, al, .Lxmm_setup_finished
476 .balign 16
477.Lxmm_setup_finished:
Jeff Hao5d917302013-02-27 17:57:33 -0800478 mov %esp, %ebp // copy value of stack pointer into base pointer
Mark Mendell3f2d0312014-01-20 17:20:27 -0800479 CFI_DEF_CFA_REGISTER(ebp)
Nicolas Geoffray48088462014-12-12 10:29:38 +0000480 mov 28(%ebp), %ebx // get arg array size
481 // reserve space for return addr, method*, ebx, ebp, esi, and edi in frame
482 addl LITERAL(36), %ebx
483 // align frame size to 16 bytes
484 andl LITERAL(0xFFFFFFF0), %ebx
485 subl LITERAL(20), %ebx // remove space for return address, ebx, ebp, esi and edi
Jeff Hao5d917302013-02-27 17:57:33 -0800486 subl %ebx, %esp // reserve stack space for argument array
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000487
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700488 movl LITERAL(0), (%esp) // store null for method*
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000489
490 // Copy arg array into stack.
491 movl 28(%ebp), %ecx // ECX = size of args
492 movl 24(%ebp), %esi // ESI = argument array
493 leal 4(%esp), %edi // EDI = just after Method* in stack arguments
494 rep movsb // while (ecx--) { *edi++ = *esi++ }
495
496 mov 40(%ebp), %esi // ESI := shorty + 1 ; ie skip return arg character.
497 addl LITERAL(1), %esi
498 mov 24(%ebp), %edi // EDI := arg_array
499 mov 0(%edi), %ecx // ECX := this pointer
500 addl LITERAL(4), %edi // EDI := arg_array + 4 ; ie skip this pointer.
501
502 // Enumerate the possible cases for loading GPRS.
503 // edx (and maybe ebx):
504 SKIP_OVER_FLOATS esi, edi, al, .Lgpr_setup_finished
505 cmpb LITERAL(74), %al // if (al == 'J') goto FOUND_LONG
506 je .LfirstLong
507 // Must be an integer value.
508 movl (%edi), %edx
509 addl LITERAL(4), %edi // arg_array++
510
511 // Now check ebx
512 SKIP_OVER_FLOATS esi, edi, al, .Lgpr_setup_finished
Mark Mendell3e6a3bf2015-01-19 14:09:22 -0500513 // Must be first word of a long, or an integer. First word of long doesn't
514 // go into EBX, but can be loaded there anyways, as it is harmless.
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000515 movl (%edi), %ebx
516 jmp .Lgpr_setup_finished
517.LfirstLong:
518 movl (%edi), %edx
519 movl 4(%edi), %ebx
520 // Nothing left to load.
521.Lgpr_setup_finished:
Nicolas Geoffray48088462014-12-12 10:29:38 +0000522 mov 20(%ebp), %eax // move method pointer into eax
Mathieu Chartiere401d142015-04-22 13:56:20 -0700523 call *ART_METHOD_QUICK_CODE_OFFSET_32(%eax) // call the method
Jeff Hao5d917302013-02-27 17:57:33 -0800524 mov %ebp, %esp // restore stack pointer
Mark Mendell3f2d0312014-01-20 17:20:27 -0800525 CFI_DEF_CFA_REGISTER(esp)
Nicolas Geoffray48088462014-12-12 10:29:38 +0000526 POP edi // pop edi
527 POP esi // pop esi
Jeff Hao5d917302013-02-27 17:57:33 -0800528 POP ebx // pop ebx
529 POP ebp // pop ebp
530 mov 20(%esp), %ecx // get result pointer
Ian Rogers0177e532014-02-11 16:30:46 -0800531 mov %eax, (%ecx) // store the result assuming its a long, int or Object*
Jeff Hao5d917302013-02-27 17:57:33 -0800532 mov %edx, 4(%ecx) // store the other half of the result
Ian Rogers0177e532014-02-11 16:30:46 -0800533 mov 24(%esp), %edx // get the shorty
534 cmpb LITERAL(68), (%edx) // test if result type char == 'D'
Ian Rogers8016a122014-02-21 20:37:21 -0800535 je .Lreturn_double_quick
Ian Rogers0177e532014-02-11 16:30:46 -0800536 cmpb LITERAL(70), (%edx) // test if result type char == 'F'
Ian Rogers8016a122014-02-21 20:37:21 -0800537 je .Lreturn_float_quick
Jeff Hao6474d192013-03-26 14:08:09 -0700538 ret
Ian Rogers8016a122014-02-21 20:37:21 -0800539.Lreturn_double_quick:
Jeff Hao5d917302013-02-27 17:57:33 -0800540 movsd %xmm0, (%ecx) // store the floating point result
541 ret
Ian Rogers8016a122014-02-21 20:37:21 -0800542.Lreturn_float_quick:
Ian Rogers0177e532014-02-11 16:30:46 -0800543 movss %xmm0, (%ecx) // store the floating point result
544 ret
Jeff Hao5d917302013-02-27 17:57:33 -0800545END_FUNCTION art_quick_invoke_stub
546
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000547 /*
548 * Quick invocation stub (static).
549 * On entry:
550 * [sp] = return address
551 * [sp + 4] = method pointer
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700552 * [sp + 8] = argument array or null for no argument methods
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000553 * [sp + 12] = size of argument array in bytes
554 * [sp + 16] = (managed) thread pointer
555 * [sp + 20] = JValue* result
556 * [sp + 24] = shorty
557 */
558DEFINE_FUNCTION art_quick_invoke_static_stub
559 // Save the non-volatiles.
560 PUSH ebp // save ebp
561 PUSH ebx // save ebx
562 PUSH esi // save esi
563 PUSH edi // save edi
564 // Set up argument XMM registers.
565 mov 24+16(%esp), %esi // ESI := shorty + 1 ; ie skip return arg character.
566 addl LITERAL(1), %esi
567 mov 8+16(%esp), %edi // EDI := arg_array
568 // Clobbers ESI, EDI, EAX.
569 LOOP_OVER_SHORTY_LOADING_XMMS xmm0, esi, edi, al, .Lxmm_setup_finished2
570 LOOP_OVER_SHORTY_LOADING_XMMS xmm1, esi, edi, al, .Lxmm_setup_finished2
571 LOOP_OVER_SHORTY_LOADING_XMMS xmm2, esi, edi, al, .Lxmm_setup_finished2
572 LOOP_OVER_SHORTY_LOADING_XMMS xmm3, esi, edi, al, .Lxmm_setup_finished2
573 .balign 16
574.Lxmm_setup_finished2:
575 mov %esp, %ebp // copy value of stack pointer into base pointer
576 CFI_DEF_CFA_REGISTER(ebp)
577 mov 28(%ebp), %ebx // get arg array size
578 // reserve space for return addr, method*, ebx, ebp, esi, and edi in frame
579 addl LITERAL(36), %ebx
580 // align frame size to 16 bytes
581 andl LITERAL(0xFFFFFFF0), %ebx
582 subl LITERAL(20), %ebx // remove space for return address, ebx, ebp, esi and edi
583 subl %ebx, %esp // reserve stack space for argument array
584
Mathieu Chartier2cebb242015-04-21 16:50:40 -0700585 movl LITERAL(0), (%esp) // store null for method*
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000586
587 // Copy arg array into stack.
588 movl 28(%ebp), %ecx // ECX = size of args
589 movl 24(%ebp), %esi // ESI = argument array
590 leal 4(%esp), %edi // EDI = just after Method* in stack arguments
591 rep movsb // while (ecx--) { *edi++ = *esi++ }
592
593 mov 40(%ebp), %esi // ESI := shorty + 1 ; ie skip return arg character.
594 addl LITERAL(1), %esi
595 mov 24(%ebp), %edi // EDI := arg_array
596
597 // Enumerate the possible cases for loading GPRS.
598 // ecx (and maybe edx)
599 SKIP_OVER_FLOATS esi, edi, al, .Lgpr_setup_finished2
600 cmpb LITERAL(74), %al // if (al == 'J') goto FOUND_LONG
601 je .LfirstLong2
602 // Must be an integer value. Load into ECX.
603 movl (%edi), %ecx
604 addl LITERAL(4), %edi // arg_array++
605
606 // Now check edx (and maybe ebx).
607 SKIP_OVER_FLOATS esi, edi, al, .Lgpr_setup_finished2
608 cmpb LITERAL(74), %al // if (al == 'J') goto FOUND_LONG
609 je .LSecondLong2
610 // Must be an integer. Load into EDX.
611 movl (%edi), %edx
612 addl LITERAL(4), %edi // arg_array++
613
614 // Is there anything for ebx?
615 SKIP_OVER_FLOATS esi, edi, al, .Lgpr_setup_finished2
Mark Mendell3e6a3bf2015-01-19 14:09:22 -0500616 // Must be first word of a long, or an integer. First word of long doesn't
617 // go into EBX, but can be loaded there anyways, as it is harmless.
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000618 movl (%edi), %ebx
619 jmp .Lgpr_setup_finished2
620.LSecondLong2:
621 // EDX:EBX is long. That is all.
622 movl (%edi), %edx
623 movl 4(%edi), %ebx
624 jmp .Lgpr_setup_finished2
625.LfirstLong2:
626 // ECX:EDX is a long
627 movl (%edi), %ecx
628 movl 4(%edi), %edx
629 addl LITERAL(8), %edi // arg_array += 2
630
631 // Anything for EBX?
632 SKIP_OVER_FLOATS esi, edi, al, .Lgpr_setup_finished2
Mark Mendell3e6a3bf2015-01-19 14:09:22 -0500633 // Must be first word of a long, or an integer. First word of long doesn't
634 // go into EBX, but can be loaded there anyways, as it is harmless.
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000635 movl (%edi), %ebx
636 jmp .Lgpr_setup_finished2
637 // Nothing left to load.
638.Lgpr_setup_finished2:
639 mov 20(%ebp), %eax // move method pointer into eax
Mathieu Chartiere401d142015-04-22 13:56:20 -0700640 call *ART_METHOD_QUICK_CODE_OFFSET_32(%eax) // call the method
Mark P Mendell966c3ae2015-01-27 15:45:27 +0000641 mov %ebp, %esp // restore stack pointer
642 CFI_DEF_CFA_REGISTER(esp)
643 POP edi // pop edi
644 POP esi // pop esi
645 POP ebx // pop ebx
646 POP ebp // pop ebp
647 mov 20(%esp), %ecx // get result pointer
648 mov %eax, (%ecx) // store the result assuming its a long, int or Object*
649 mov %edx, 4(%ecx) // store the other half of the result
650 mov 24(%esp), %edx // get the shorty
651 cmpb LITERAL(68), (%edx) // test if result type char == 'D'
652 je .Lreturn_double_quick2
653 cmpb LITERAL(70), (%edx) // test if result type char == 'F'
654 je .Lreturn_float_quick2
655 ret
656.Lreturn_double_quick2:
657 movsd %xmm0, (%ecx) // store the floating point result
658 ret
659.Lreturn_float_quick2:
660 movss %xmm0, (%ecx) // store the floating point result
661 ret
662END_FUNCTION art_quick_invoke_static_stub
663
Ian Rogersd36c52e2012-04-09 16:29:25 -0700664MACRO3(NO_ARG_DOWNCALL, c_name, cxx_name, return_macro)
Andreas Gampe4360be22015-07-14 23:34:44 -0700665 DEFINE_FUNCTION VAR(c_name)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700666 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Ian Rogersd36c52e2012-04-09 16:29:25 -0700667 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -0700668 subl MACRO_LITERAL(12), %esp // push padding
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700669 CFI_ADJUST_CFA_OFFSET(12)
Andreas Gampe4360be22015-07-14 23:34:44 -0700670 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -0800671 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700672 call CALLVAR(cxx_name) // cxx_name(Thread*)
673 addl MACRO_LITERAL(16), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -0800674 CFI_ADJUST_CFA_OFFSET(-16)
Andreas Gampe4360be22015-07-14 23:34:44 -0700675 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
676 CALL_MACRO(return_macro) // return or deliver exception
677 END_FUNCTION VAR(c_name)
Ian Rogersd36c52e2012-04-09 16:29:25 -0700678END_MACRO
679
680MACRO3(ONE_ARG_DOWNCALL, c_name, cxx_name, return_macro)
Andreas Gampe4360be22015-07-14 23:34:44 -0700681 DEFINE_FUNCTION VAR(c_name)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700682 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Ian Rogersd36c52e2012-04-09 16:29:25 -0700683 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -0700684 subl MACRO_LITERAL(8), %esp // push padding
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700685 CFI_ADJUST_CFA_OFFSET(8)
Andreas Gampe4360be22015-07-14 23:34:44 -0700686 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -0800687 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700688 PUSH eax // pass arg1
689 call CALLVAR(cxx_name) // cxx_name(arg1, Thread*)
690 addl MACRO_LITERAL(16), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -0800691 CFI_ADJUST_CFA_OFFSET(-16)
Andreas Gampe4360be22015-07-14 23:34:44 -0700692 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
693 CALL_MACRO(return_macro) // return or deliver exception
694 END_FUNCTION VAR(c_name)
Ian Rogersd36c52e2012-04-09 16:29:25 -0700695END_MACRO
696
697MACRO3(TWO_ARG_DOWNCALL, c_name, cxx_name, return_macro)
Andreas Gampe4360be22015-07-14 23:34:44 -0700698 DEFINE_FUNCTION VAR(c_name)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700699 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Ian Rogers7caad772012-03-30 01:07:54 -0700700 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -0700701 PUSH eax // push padding
702 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -0800703 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700704 PUSH ecx // pass arg2
705 PUSH eax // pass arg1
706 call CALLVAR(cxx_name) // cxx_name(arg1, arg2, Thread*)
707 addl MACRO_LITERAL(16), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -0800708 CFI_ADJUST_CFA_OFFSET(-16)
Andreas Gampe4360be22015-07-14 23:34:44 -0700709 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
710 CALL_MACRO(return_macro) // return or deliver exception
711 END_FUNCTION VAR(c_name)
Ian Rogers7caad772012-03-30 01:07:54 -0700712END_MACRO
713
Ian Rogersd36c52e2012-04-09 16:29:25 -0700714MACRO3(THREE_ARG_DOWNCALL, c_name, cxx_name, return_macro)
Andreas Gampe4360be22015-07-14 23:34:44 -0700715 DEFINE_FUNCTION VAR(c_name)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700716 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Ian Rogers7caad772012-03-30 01:07:54 -0700717 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -0700718 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -0800719 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700720 PUSH edx // pass arg3
721 PUSH ecx // pass arg2
722 PUSH eax // pass arg1
723 call CALLVAR(cxx_name) // cxx_name(arg1, arg2, arg3, Thread*)
724 addl MACRO_LITERAL(16), %esp // pop arguments
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700725 CFI_ADJUST_CFA_OFFSET(-16)
Andreas Gampe4360be22015-07-14 23:34:44 -0700726 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
727 CALL_MACRO(return_macro) // return or deliver exception
728 END_FUNCTION VAR(c_name)
Ian Rogersd36c52e2012-04-09 16:29:25 -0700729END_MACRO
730
Jeff Hao848f70a2014-01-15 13:49:50 -0800731MACRO3(FOUR_ARG_DOWNCALL, c_name, cxx_name, return_macro)
Andreas Gampe4360be22015-07-14 23:34:44 -0700732 DEFINE_FUNCTION VAR(c_name)
Nicolas Geoffray0f838aa2016-06-08 18:01:22 +0100733 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME_PRESERVE_GOT_REG ebx, ebx // save ref containing registers for GC
Roland Levillainf969a202016-03-09 16:14:00 +0000734
Jeff Hao848f70a2014-01-15 13:49:50 -0800735 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -0700736 subl MACRO_LITERAL(12), %esp // alignment padding
Jeff Hao848f70a2014-01-15 13:49:50 -0800737 CFI_ADJUST_CFA_OFFSET(12)
Andreas Gampe4360be22015-07-14 23:34:44 -0700738 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Jeff Hao848f70a2014-01-15 13:49:50 -0800739 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700740 PUSH ebx // pass arg4
741 PUSH edx // pass arg3
742 PUSH ecx // pass arg2
743 PUSH eax // pass arg1
744 call CALLVAR(cxx_name) // cxx_name(arg1, arg2, arg3, arg4, Thread*)
745 addl MACRO_LITERAL(32), %esp // pop arguments
Jeff Hao848f70a2014-01-15 13:49:50 -0800746 CFI_ADJUST_CFA_OFFSET(-32)
Andreas Gampe4360be22015-07-14 23:34:44 -0700747 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
748 CALL_MACRO(return_macro) // return or deliver exception
749 END_FUNCTION VAR(c_name)
Jeff Hao848f70a2014-01-15 13:49:50 -0800750END_MACRO
751
Fred Shih37f05ef2014-07-16 18:38:08 -0700752MACRO3(ONE_ARG_REF_DOWNCALL, c_name, cxx_name, return_macro)
Andreas Gampe4360be22015-07-14 23:34:44 -0700753 DEFINE_FUNCTION VAR(c_name)
754 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Fred Shih37f05ef2014-07-16 18:38:08 -0700755 // Outgoing argument set up
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700756 mov FRAME_SIZE_REFS_ONLY_CALLEE_SAVE(%esp), %ecx // get referrer
Andreas Gampe4360be22015-07-14 23:34:44 -0700757 PUSH eax // push padding
758 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Fred Shih37f05ef2014-07-16 18:38:08 -0700759 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700760 PUSH ecx // pass referrer
761 PUSH eax // pass arg1
762 call CALLVAR(cxx_name) // cxx_name(arg1, referrer, Thread*)
763 addl MACRO_LITERAL(16), %esp // pop arguments
Fred Shih37f05ef2014-07-16 18:38:08 -0700764 CFI_ADJUST_CFA_OFFSET(-16)
Andreas Gampe4360be22015-07-14 23:34:44 -0700765 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
766 CALL_MACRO(return_macro) // return or deliver exception
767 END_FUNCTION VAR(c_name)
Fred Shih37f05ef2014-07-16 18:38:08 -0700768END_MACRO
769
770MACRO3(TWO_ARG_REF_DOWNCALL, c_name, cxx_name, return_macro)
Andreas Gampe4360be22015-07-14 23:34:44 -0700771 DEFINE_FUNCTION VAR(c_name)
772 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700773 // Outgoing argument set up
774 mov FRAME_SIZE_REFS_ONLY_CALLEE_SAVE(%esp), %edx // get referrer
Andreas Gampe4360be22015-07-14 23:34:44 -0700775 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Fred Shih37f05ef2014-07-16 18:38:08 -0700776 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700777 PUSH edx // pass referrer
778 PUSH ecx // pass arg2
779 PUSH eax // pass arg1
780 call CALLVAR(cxx_name) // cxx_name(arg1, arg2, referrer, Thread*)
781 addl MACRO_LITERAL(16), %esp // pop arguments
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700782 CFI_ADJUST_CFA_OFFSET(-16)
Andreas Gampe4360be22015-07-14 23:34:44 -0700783 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
784 CALL_MACRO(return_macro) // return or deliver exception
785 END_FUNCTION VAR(c_name)
Fred Shih37f05ef2014-07-16 18:38:08 -0700786END_MACRO
787
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700788MACRO3(THREE_ARG_REF_DOWNCALL, c_name, cxx_name, return_macro)
Andreas Gampe4360be22015-07-14 23:34:44 -0700789 DEFINE_FUNCTION VAR(c_name)
790 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700791 // Outgoing argument set up
792 mov FRAME_SIZE_REFS_ONLY_CALLEE_SAVE(%esp), %ebx // get referrer
Andreas Gampe4360be22015-07-14 23:34:44 -0700793 subl MACRO_LITERAL(12), %esp // alignment padding
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700794 CFI_ADJUST_CFA_OFFSET(12)
Andreas Gampe4360be22015-07-14 23:34:44 -0700795 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700796 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -0700797 PUSH ebx // pass referrer
798 PUSH edx // pass arg3
799 PUSH ecx // pass arg2
800 PUSH eax // pass arg1
801 call CALLVAR(cxx_name) // cxx_name(arg1, arg2, arg3, referrer,
802 // Thread*)
803 addl LITERAL(32), %esp // pop arguments
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700804 CFI_ADJUST_CFA_OFFSET(-32)
Andreas Gampe4360be22015-07-14 23:34:44 -0700805 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
806 CALL_MACRO(return_macro) // return or deliver exception
807 END_FUNCTION VAR(c_name)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700808END_MACRO
Fred Shih37f05ef2014-07-16 18:38:08 -0700809
Hiroshi Yamauchi4adeab12015-10-02 15:27:55 -0700810MACRO0(RETURN_IF_RESULT_IS_NON_ZERO_OR_DELIVER)
Ian Rogers7caad772012-03-30 01:07:54 -0700811 testl %eax, %eax // eax == 0 ?
Ian Rogersd36c52e2012-04-09 16:29:25 -0700812 jz 1f // if eax == 0 goto 1
813 ret // return
8141: // deliver exception on current thread
Ian Rogers7caad772012-03-30 01:07:54 -0700815 DELIVER_PENDING_EXCEPTION
816END_MACRO
817
Ian Rogersd36c52e2012-04-09 16:29:25 -0700818MACRO0(RETURN_IF_EAX_ZERO)
819 testl %eax, %eax // eax == 0 ?
820 jnz 1f // if eax != 0 goto 1
821 ret // return
8221: // deliver exception on current thread
Ian Rogers7caad772012-03-30 01:07:54 -0700823 DELIVER_PENDING_EXCEPTION
Ian Rogersd36c52e2012-04-09 16:29:25 -0700824END_MACRO
Ian Rogers7caad772012-03-30 01:07:54 -0700825
jeffhaod66a8752012-05-22 15:30:16 -0700826MACRO0(RETURN_OR_DELIVER_PENDING_EXCEPTION)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -0700827 cmpl MACRO_LITERAL(0),%fs:THREAD_EXCEPTION_OFFSET // exception field == 0 ?
Andreas Gampe4360be22015-07-14 23:34:44 -0700828 jne 1f // if exception field != 0 goto 1
829 ret // return
8301: // deliver exception on current thread
jeffhaod66a8752012-05-22 15:30:16 -0700831 DELIVER_PENDING_EXCEPTION
832END_MACRO
833
Mathieu Chartier7410f292013-11-24 13:17:35 -0800834// Generate the allocation entrypoints for each allocator.
Hiroshi Yamauchi4adeab12015-10-02 15:27:55 -0700835GENERATE_ALLOC_ENTRYPOINTS_FOR_EACH_ALLOCATOR
lwang85de95c872015-11-10 17:26:31 +0800836
837// A hand-written override for GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_rosalloc, RosAlloc).
838DEFINE_FUNCTION art_quick_alloc_object_rosalloc
839 // Fast path rosalloc allocation.
840 // eax: uint32_t type_idx/return value, ecx: ArtMethod*
841 // ebx, edx: free
842 PUSH edi
843 movl ART_METHOD_DEX_CACHE_TYPES_OFFSET_32(%ecx), %edx // Load dex cache resolved types array
844 // Load the class (edx)
845 movl 0(%edx, %eax, COMPRESSED_REFERENCE_SIZE), %edx
846 testl %edx, %edx // Check null class
847 jz .Lart_quick_alloc_object_rosalloc_slow_path
848 // Check class status
849 cmpl LITERAL(MIRROR_CLASS_STATUS_INITIALIZED), MIRROR_CLASS_STATUS_OFFSET(%edx)
850 jne .Lart_quick_alloc_object_rosalloc_slow_path
851 // No fake dependence needed on x86
852 // between status and flags load,
853 // since each load is a load-acquire,
854 // no loads reordering.
855 // Check access flags has
856 // kAccClassIsFinalizable
857 testl LITERAL(ACCESS_FLAGS_CLASS_IS_FINALIZABLE), MIRROR_CLASS_ACCESS_FLAGS_OFFSET(%edx)
858 jnz .Lart_quick_alloc_object_rosalloc_slow_path
859
860 movl %fs:THREAD_SELF_OFFSET, %ebx // ebx = thread
861 // Check if the thread local allocation
862 // stack has room
863 movl THREAD_LOCAL_ALLOC_STACK_TOP_OFFSET(%ebx), %edi
864 cmpl THREAD_LOCAL_ALLOC_STACK_END_OFFSET(%ebx), %edi
865 jae .Lart_quick_alloc_object_rosalloc_slow_path
866
867 movl MIRROR_CLASS_OBJECT_SIZE_OFFSET(%edx), %edi // Load the object size (edi)
868 // Check if the size is for a thread
869 // local allocation
870 cmpl LITERAL(ROSALLOC_MAX_THREAD_LOCAL_BRACKET_SIZE), %edi
871 ja .Lart_quick_alloc_object_rosalloc_slow_path
872 decl %edi
873 shrl LITERAL(ROSALLOC_BRACKET_QUANTUM_SIZE_SHIFT), %edi // Calculate the rosalloc bracket index
874 // from object size.
875 // Align up the size by the rosalloc
876 // bracket quantum size and divide
877 // by the quantum size and subtract
878 // by 1. This code is a shorter but
879 // equivalent version.
880 // Load thread local rosalloc run (ebx)
881 movl THREAD_ROSALLOC_RUNS_OFFSET(%ebx, %edi, __SIZEOF_POINTER__), %ebx
882 // Load free_list head (edi),
883 // this will be the return value.
884 movl (ROSALLOC_RUN_FREE_LIST_OFFSET + ROSALLOC_RUN_FREE_LIST_HEAD_OFFSET)(%ebx), %edi
885 test %edi, %edi
886 jz .Lart_quick_alloc_object_rosalloc_slow_path
887 // Point of no slow path. Won't go to
888 // the slow path from here on. Ok to
889 // clobber eax and ecx.
890 movl %edi, %eax
891 // Load the next pointer of the head
892 // and update head of free list with
893 // next pointer
894 movl ROSALLOC_SLOT_NEXT_OFFSET(%eax), %edi
895 movl %edi, (ROSALLOC_RUN_FREE_LIST_OFFSET + ROSALLOC_RUN_FREE_LIST_HEAD_OFFSET)(%ebx)
896 // Decrement size of free list by 1
897 decl (ROSALLOC_RUN_FREE_LIST_OFFSET + ROSALLOC_RUN_FREE_LIST_SIZE_OFFSET)(%ebx)
898 // Store the class pointer in the
899 // header. This also overwrites the
900 // next pointer. The offsets are
901 // asserted to match.
902#if ROSALLOC_SLOT_NEXT_OFFSET != MIRROR_OBJECT_CLASS_OFFSET
903#error "Class pointer needs to overwrite next pointer."
904#endif
905 POISON_HEAP_REF edx
906 movl %edx, MIRROR_OBJECT_CLASS_OFFSET(%eax)
907 movl %fs:THREAD_SELF_OFFSET, %ebx // ebx = thread
908 // Push the new object onto the thread
909 // local allocation stack and
910 // increment the thread local
911 // allocation stack top.
912 movl THREAD_LOCAL_ALLOC_STACK_TOP_OFFSET(%ebx), %edi
913 movl %eax, (%edi)
914 addl LITERAL(COMPRESSED_REFERENCE_SIZE), %edi
915 movl %edi, THREAD_LOCAL_ALLOC_STACK_TOP_OFFSET(%ebx)
916 // No fence needed for x86.
917 POP edi
918 ret
919.Lart_quick_alloc_object_rosalloc_slow_path:
920 POP edi
921 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
922 // Outgoing argument set up
923 PUSH eax // alignment padding
924 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
925 CFI_ADJUST_CFA_OFFSET(4)
926 PUSH ecx
927 PUSH eax
928 call SYMBOL(artAllocObjectFromCodeRosAlloc) // cxx_name(arg0, arg1, Thread*)
929 addl LITERAL(16), %esp // pop arguments
930 CFI_ADJUST_CFA_OFFSET(-16)
931 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // resotre frame up to return address
932 RETURN_IF_RESULT_IS_NON_ZERO_OR_DELIVER // return or deliver exception
933END_FUNCTION art_quick_alloc_object_rosalloc
934
Sang, Chunlei69cee6a2016-04-21 10:22:02 +0800935// The common fast path code for art_quick_alloc_object_tlab and art_quick_alloc_object_region_tlab.
936//
937// EAX: type_idx/return_value, ECX: ArtMethod*, EDX: the class.
938MACRO1(ALLOC_OBJECT_TLAB_FAST_PATH, slowPathLabel)
939 testl %edx, %edx // Check null class
940 jz VAR(slowPathLabel)
941 // Check class status.
942 cmpl LITERAL(MIRROR_CLASS_STATUS_INITIALIZED), MIRROR_CLASS_STATUS_OFFSET(%edx)
943 jne VAR(slowPathLabel)
944 // No fake dependence needed on x86
945 // between status and flags load,
946 // since each load is a load-acquire,
947 // no loads reordering.
948 // Check access flags has
949 // kAccClassIsFinalizable
950 testl LITERAL(ACCESS_FLAGS_CLASS_IS_FINALIZABLE), MIRROR_CLASS_ACCESS_FLAGS_OFFSET(%edx)
951 jnz VAR(slowPathLabel)
952 movl %fs:THREAD_SELF_OFFSET, %ebx // ebx = thread
953 movl THREAD_LOCAL_END_OFFSET(%ebx), %edi // Load thread_local_end.
954 subl THREAD_LOCAL_POS_OFFSET(%ebx), %edi // Compute the remaining buffer size.
955 movl MIRROR_CLASS_OBJECT_SIZE_OFFSET(%edx), %esi // Load the object size.
956 cmpl %edi, %esi // Check if it fits. OK to do this
957 // before rounding up the object size
958 // assuming the buf size alignment.
959 ja VAR(slowPathLabel)
960 addl LITERAL(OBJECT_ALIGNMENT_MASK), %esi // Align the size by 8. (addr + 7) & ~7.
961 andl LITERAL(OBJECT_ALIGNMENT_MASK_TOGGLED), %esi
962 movl THREAD_LOCAL_POS_OFFSET(%ebx), %eax // Load thread_local_pos
963 // as allocated object.
964 addl %eax, %esi // Add the object size.
965 movl %esi, THREAD_LOCAL_POS_OFFSET(%ebx) // Update thread_local_pos.
966 addl LITERAL(1), THREAD_LOCAL_OBJECTS_OFFSET(%ebx) // Increase thread_local_objects.
967 // Store the class pointer in the header.
968 // No fence needed for x86.
969 POISON_HEAP_REF edx
970 movl %edx, MIRROR_OBJECT_CLASS_OFFSET(%eax)
971 POP edi
972 POP esi
973 ret // Fast path succeeded.
974END_MACRO
975
976// The common slow path code for art_quick_alloc_object_tlab and art_quick_alloc_object_region_tlab.
977MACRO1(ALLOC_OBJECT_TLAB_SLOW_PATH, cxx_name)
978 POP edi
979 POP esi
980 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
981 // Outgoing argument set up
982 PUSH eax // alignment padding
983 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
984 CFI_ADJUST_CFA_OFFSET(4)
985 PUSH ecx
986 PUSH eax
987 call CALLVAR(cxx_name) // cxx_name(arg0, arg1, Thread*)
988 addl LITERAL(16), %esp
989 CFI_ADJUST_CFA_OFFSET(-16)
990 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
991 RETURN_IF_RESULT_IS_NON_ZERO_OR_DELIVER // return or deliver exception
992END_MACRO
993
994// A hand-written override for GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_tlab, TLAB).
995DEFINE_FUNCTION art_quick_alloc_object_tlab
996 // Fast path tlab allocation.
997 // EAX: uint32_t type_idx/return value, ECX: ArtMethod*.
998 // EBX, EDX: free.
999#if defined(USE_READ_BARRIER)
1000 int3
1001 int3
1002#endif
1003 PUSH esi
1004 PUSH edi
1005 movl ART_METHOD_DEX_CACHE_TYPES_OFFSET_32(%ecx), %edx // Load dex cache resolved types array
1006 // Might need to break down into multiple instructions to get the base address in a register.
1007 // Load the class
1008 movl 0(%edx, %eax, COMPRESSED_REFERENCE_SIZE), %edx
1009 ALLOC_OBJECT_TLAB_FAST_PATH .Lart_quick_alloc_object_tlab_slow_path
1010.Lart_quick_alloc_object_tlab_slow_path:
1011 ALLOC_OBJECT_TLAB_SLOW_PATH artAllocObjectFromCodeTLAB
1012END_FUNCTION art_quick_alloc_object_tlab
1013
1014// A hand-written override for GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_region_tlab, RegionTLAB).
1015DEFINE_FUNCTION art_quick_alloc_object_region_tlab
1016 // Fast path region tlab allocation.
1017 // EAX: uint32_t type_idx/return value, ECX: ArtMethod*.
1018 // EBX, EDX: free.
1019#if !defined(USE_READ_BARRIER)
1020 int3
1021 int3
1022#endif
1023 PUSH esi
1024 PUSH edi
1025 movl ART_METHOD_DEX_CACHE_TYPES_OFFSET_32(%ecx), %edx // Load dex cache resolved types array
1026 // Might need to break down into multiple instructions to get the base address in a register.
1027 // Load the class
1028 movl 0(%edx, %eax, COMPRESSED_REFERENCE_SIZE), %edx
1029 // Read barrier for class load.
1030 cmpl LITERAL(0), %fs:THREAD_IS_GC_MARKING_OFFSET
Mathieu Chartier36a270a2016-07-28 18:08:51 -07001031 jz .Lart_quick_alloc_object_region_tlab_class_load_read_barrier_slow_path_exit
1032 // Null check so that we can load the lock word.
1033 testl %edx, %edx
1034 jz .Lart_quick_alloc_object_region_tlab_class_load_read_barrier_slow_path_exit
1035 // Check the mark bit, if it is 1 return.
1036 testl LITERAL(LOCK_WORD_MARK_BIT_MASK_SHIFTED), MIRROR_OBJECT_LOCK_WORD_OFFSET(%edx)
1037 jz .Lart_quick_alloc_object_region_tlab_class_load_read_barrier_slow_path
Sang, Chunlei69cee6a2016-04-21 10:22:02 +08001038.Lart_quick_alloc_object_region_tlab_class_load_read_barrier_slow_path_exit:
1039 ALLOC_OBJECT_TLAB_FAST_PATH .Lart_quick_alloc_object_region_tlab_slow_path
1040.Lart_quick_alloc_object_region_tlab_class_load_read_barrier_slow_path:
1041 // The read barrier slow path. Mark the class.
1042 PUSH eax
1043 PUSH ecx
1044 // Outgoing argument set up
1045 subl MACRO_LITERAL(8), %esp // Alignment padding
1046 CFI_ADJUST_CFA_OFFSET(8)
1047 PUSH edx // Pass the class as the first param.
1048 call SYMBOL(artReadBarrierMark) // cxx_name(mirror::Object* obj)
1049 movl %eax, %edx
1050 addl MACRO_LITERAL(12), %esp
1051 CFI_ADJUST_CFA_OFFSET(-12)
1052 POP ecx
1053 POP eax
1054 jmp .Lart_quick_alloc_object_region_tlab_class_load_read_barrier_slow_path_exit
1055.Lart_quick_alloc_object_region_tlab_slow_path:
1056 ALLOC_OBJECT_TLAB_SLOW_PATH artAllocObjectFromCodeRegionTLAB
1057END_FUNCTION art_quick_alloc_object_region_tlab
Mark Mendell3f2d0312014-01-20 17:20:27 -08001058
Hiroshi Yamauchi4adeab12015-10-02 15:27:55 -07001059ONE_ARG_DOWNCALL art_quick_resolve_string, artResolveStringFromCode, RETURN_IF_RESULT_IS_NON_ZERO_OR_DELIVER
1060ONE_ARG_DOWNCALL art_quick_initialize_static_storage, artInitializeStaticStorageFromCode, RETURN_IF_RESULT_IS_NON_ZERO_OR_DELIVER
1061ONE_ARG_DOWNCALL art_quick_initialize_type, artInitializeTypeFromCode, RETURN_IF_RESULT_IS_NON_ZERO_OR_DELIVER
1062ONE_ARG_DOWNCALL art_quick_initialize_type_and_verify_access, artInitializeTypeAndVerifyAccessFromCode, RETURN_IF_RESULT_IS_NON_ZERO_OR_DELIVER
Ian Rogersd36c52e2012-04-09 16:29:25 -07001063
Ian Rogers832336b2014-10-08 15:35:22 -07001064TWO_ARG_REF_DOWNCALL art_quick_handle_fill_data, artHandleFillArrayDataFromCode, RETURN_IF_EAX_ZERO
Ian Rogers7caad772012-03-30 01:07:54 -07001065
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001066DEFINE_FUNCTION art_quick_lock_object
1067 testl %eax, %eax // null check object/eax
Ian Rogers8016a122014-02-21 20:37:21 -08001068 jz .Lslow_lock
1069.Lretry_lock:
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001070 movl MIRROR_OBJECT_LOCK_WORD_OFFSET(%eax), %ecx // ecx := lock word
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001071 test LITERAL(LOCK_WORD_STATE_MASK), %ecx // test the 2 high bits.
Ian Rogers8016a122014-02-21 20:37:21 -08001072 jne .Lslow_lock // slow path if either of the two high bits are set.
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001073 movl %ecx, %edx // save lock word (edx) to keep read barrier bits.
Mathieu Chartier36a270a2016-07-28 18:08:51 -07001074 andl LITERAL(LOCK_WORD_GC_STATE_MASK_SHIFTED_TOGGLED), %ecx // zero the gc bits.
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001075 test %ecx, %ecx
Ian Rogers8016a122014-02-21 20:37:21 -08001076 jnz .Lalready_thin // lock word contains a thin lock
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001077 // unlocked case - edx: original lock word, eax: obj.
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001078 movl %eax, %ecx // remember object in case of retry
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001079 movl %edx, %eax // eax: lock word zero except for read barrier bits.
1080 movl %fs:THREAD_ID_OFFSET, %edx // load thread id.
1081 or %eax, %edx // edx: thread id with count of 0 + read barrier bits.
1082 lock cmpxchg %edx, MIRROR_OBJECT_LOCK_WORD_OFFSET(%ecx) // eax: old val, edx: new val.
1083 jnz .Llock_cmpxchg_fail // cmpxchg failed retry
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001084 ret
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001085.Lalready_thin: // edx: lock word (with high 2 bits zero and original rb bits), eax: obj.
1086 movl %fs:THREAD_ID_OFFSET, %ecx // ecx := thread id
Serguei Katkov8ef84af2014-04-03 15:17:26 +07001087 cmpw %cx, %dx // do we hold the lock already?
Ian Rogers8016a122014-02-21 20:37:21 -08001088 jne .Lslow_lock
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001089 movl %edx, %ecx // copy the lock word to check count overflow.
Mathieu Chartier36a270a2016-07-28 18:08:51 -07001090 andl LITERAL(LOCK_WORD_GC_STATE_MASK_SHIFTED_TOGGLED), %ecx // zero the read barrier bits.
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001091 addl LITERAL(LOCK_WORD_THIN_LOCK_COUNT_ONE), %ecx // increment recursion count for overflow check.
Mathieu Chartier36a270a2016-07-28 18:08:51 -07001092 test LITERAL(LOCK_WORD_GC_STATE_MASK_SHIFTED), %ecx // overflowed if the first gc state bit is set.
Ian Rogers8016a122014-02-21 20:37:21 -08001093 jne .Lslow_lock // count overflowed so go slow
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001094 movl %eax, %ecx // save obj to use eax for cmpxchg.
1095 movl %edx, %eax // copy the lock word as the old val for cmpxchg.
1096 addl LITERAL(LOCK_WORD_THIN_LOCK_COUNT_ONE), %edx // increment recursion count again for real.
1097 // update lockword, cmpxchg necessary for read barrier bits.
1098 lock cmpxchg %edx, MIRROR_OBJECT_LOCK_WORD_OFFSET(%ecx) // eax: old val, edx: new val.
1099 jnz .Llock_cmpxchg_fail // cmpxchg failed retry
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001100 ret
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001101.Llock_cmpxchg_fail:
1102 movl %ecx, %eax // restore eax
1103 jmp .Lretry_lock
Ian Rogers8016a122014-02-21 20:37:21 -08001104.Lslow_lock:
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001105 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001106 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -07001107 subl LITERAL(8), %esp // alignment padding
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001108 CFI_ADJUST_CFA_OFFSET(8)
Andreas Gampe4360be22015-07-14 23:34:44 -07001109 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -08001110 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -07001111 PUSH eax // pass object
1112 call SYMBOL(artLockObjectFromCode) // artLockObjectFromCode(object, Thread*)
1113 addl LITERAL(16), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001114 CFI_ADJUST_CFA_OFFSET(-16)
Andreas Gampe4360be22015-07-14 23:34:44 -07001115 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001116 RETURN_IF_EAX_ZERO
1117END_FUNCTION art_quick_lock_object
1118
Andreas Gampec7ed09b2016-04-25 20:08:55 -07001119DEFINE_FUNCTION art_quick_lock_object_no_inline
1120 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
1121 // Outgoing argument set up
1122 subl LITERAL(8), %esp // alignment padding
1123 CFI_ADJUST_CFA_OFFSET(8)
1124 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
1125 CFI_ADJUST_CFA_OFFSET(4)
1126 PUSH eax // pass object
1127 call SYMBOL(artLockObjectFromCode) // artLockObjectFromCode(object, Thread*)
1128 addl LITERAL(16), %esp // pop arguments
1129 CFI_ADJUST_CFA_OFFSET(-16)
1130 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
1131 RETURN_IF_EAX_ZERO
1132END_FUNCTION art_quick_lock_object_no_inline
1133
1134
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001135DEFINE_FUNCTION art_quick_unlock_object
1136 testl %eax, %eax // null check object/eax
Ian Rogers8016a122014-02-21 20:37:21 -08001137 jz .Lslow_unlock
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001138.Lretry_unlock:
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001139 movl MIRROR_OBJECT_LOCK_WORD_OFFSET(%eax), %ecx // ecx := lock word
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001140 movl %fs:THREAD_ID_OFFSET, %edx // edx := thread id
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001141 test LITERAL(LOCK_WORD_STATE_MASK), %ecx
Serguei Katkove78d4e12014-04-07 10:14:08 +07001142 jnz .Lslow_unlock // lock word contains a monitor
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001143 cmpw %cx, %dx // does the thread id match?
Ian Rogers8016a122014-02-21 20:37:21 -08001144 jne .Lslow_unlock
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001145 movl %ecx, %edx // copy the lock word to detect new count of 0.
Mathieu Chartier36a270a2016-07-28 18:08:51 -07001146 andl LITERAL(LOCK_WORD_GC_STATE_MASK_SHIFTED_TOGGLED), %edx // zero the gc bits.
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001147 cmpl LITERAL(LOCK_WORD_THIN_LOCK_COUNT_ONE), %edx
Ian Rogers8016a122014-02-21 20:37:21 -08001148 jae .Lrecursive_thin_unlock
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001149 // update lockword, cmpxchg necessary for read barrier bits.
1150 movl %eax, %edx // edx: obj
1151 movl %ecx, %eax // eax: old lock word.
Mathieu Chartier36a270a2016-07-28 18:08:51 -07001152 andl LITERAL(LOCK_WORD_GC_STATE_MASK_SHIFTED), %ecx // ecx: new lock word zero except original rb bits.
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001153#ifndef USE_READ_BARRIER
1154 movl %ecx, MIRROR_OBJECT_LOCK_WORD_OFFSET(%edx)
1155#else
1156 lock cmpxchg %ecx, MIRROR_OBJECT_LOCK_WORD_OFFSET(%edx) // eax: old val, ecx: new val.
1157 jnz .Lunlock_cmpxchg_fail // cmpxchg failed retry
1158#endif
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001159 ret
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001160.Lrecursive_thin_unlock: // ecx: original lock word, eax: obj
1161 // update lockword, cmpxchg necessary for read barrier bits.
1162 movl %eax, %edx // edx: obj
1163 movl %ecx, %eax // eax: old lock word.
1164 subl LITERAL(LOCK_WORD_THIN_LOCK_COUNT_ONE), %ecx // ecx: new lock word with decremented count.
1165#ifndef USE_READ_BARRIER
1166 mov %ecx, MIRROR_OBJECT_LOCK_WORD_OFFSET(%edx)
1167#else
1168 lock cmpxchg %ecx, MIRROR_OBJECT_LOCK_WORD_OFFSET(%edx) // eax: old val, ecx: new val.
1169 jnz .Lunlock_cmpxchg_fail // cmpxchg failed retry
1170#endif
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001171 ret
Hiroshi Yamauchie15ea082015-02-09 17:11:42 -08001172.Lunlock_cmpxchg_fail: // edx: obj
1173 movl %edx, %eax // restore eax
1174 jmp .Lretry_unlock
Ian Rogers8016a122014-02-21 20:37:21 -08001175.Lslow_unlock:
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001176 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001177 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -07001178 subl LITERAL(8), %esp // alignment padding
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001179 CFI_ADJUST_CFA_OFFSET(8)
Andreas Gampe4360be22015-07-14 23:34:44 -07001180 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -08001181 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -07001182 PUSH eax // pass object
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001183 call SYMBOL(artUnlockObjectFromCode) // artUnlockObjectFromCode(object, Thread*)
Andreas Gampe4360be22015-07-14 23:34:44 -07001184 addl LITERAL(16), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001185 CFI_ADJUST_CFA_OFFSET(-16)
Andreas Gampe4360be22015-07-14 23:34:44 -07001186 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
Ian Rogersd9c4fc92013-10-01 19:45:43 -07001187 RETURN_IF_EAX_ZERO
1188END_FUNCTION art_quick_unlock_object
1189
Andreas Gampec7ed09b2016-04-25 20:08:55 -07001190DEFINE_FUNCTION art_quick_unlock_object_no_inline
1191 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
1192 // Outgoing argument set up
1193 subl LITERAL(8), %esp // alignment padding
1194 CFI_ADJUST_CFA_OFFSET(8)
1195 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
1196 CFI_ADJUST_CFA_OFFSET(4)
1197 PUSH eax // pass object
1198 call SYMBOL(artUnlockObjectFromCode) // artUnlockObjectFromCode(object, Thread*)
1199 addl LITERAL(16), %esp // pop arguments
1200 CFI_ADJUST_CFA_OFFSET(-16)
1201 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
1202 RETURN_IF_EAX_ZERO
1203END_FUNCTION art_quick_unlock_object_no_inline
1204
Ian Rogers468532e2013-08-05 10:56:33 -07001205DEFINE_FUNCTION art_quick_is_assignable
Andreas Gampe4360be22015-07-14 23:34:44 -07001206 PUSH eax // alignment padding
1207 PUSH ecx // pass arg2 - obj->klass
1208 PUSH eax // pass arg1 - checked class
Andreas Gampe29b38412014-08-13 00:15:43 -07001209 call SYMBOL(artIsAssignableFromCode) // (Class* klass, Class* ref_klass)
Andreas Gampe4360be22015-07-14 23:34:44 -07001210 addl LITERAL(12), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001211 CFI_ADJUST_CFA_OFFSET(-12)
Ian Rogers7caad772012-03-30 01:07:54 -07001212 ret
Ian Rogers468532e2013-08-05 10:56:33 -07001213END_FUNCTION art_quick_is_assignable
Ian Rogers7caad772012-03-30 01:07:54 -07001214
Ian Rogersa9a82542013-10-04 11:17:26 -07001215DEFINE_FUNCTION art_quick_check_cast
Andreas Gampe4360be22015-07-14 23:34:44 -07001216 PUSH eax // alignment padding
1217 PUSH ecx // pass arg2 - obj->klass
1218 PUSH eax // pass arg1 - checked class
Andreas Gampe29b38412014-08-13 00:15:43 -07001219 call SYMBOL(artIsAssignableFromCode) // (Class* klass, Class* ref_klass)
Ian Rogersa9a82542013-10-04 11:17:26 -07001220 testl %eax, %eax
Andreas Gampe4360be22015-07-14 23:34:44 -07001221 jz 1f // jump forward if not assignable
1222 addl LITERAL(12), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001223 CFI_ADJUST_CFA_OFFSET(-12)
Ian Rogersa9a82542013-10-04 11:17:26 -07001224 ret
Andreas Gampe6b90d422015-06-26 19:49:24 -07001225
Andreas Gampe4360be22015-07-14 23:34:44 -07001226 CFI_ADJUST_CFA_OFFSET(12) // Reset unwind info so following code unwinds.
Ian Rogersa9a82542013-10-04 11:17:26 -070012271:
Andreas Gampe4360be22015-07-14 23:34:44 -07001228 POP eax // pop arguments
Ian Rogersa9a82542013-10-04 11:17:26 -07001229 POP ecx
1230 addl LITERAL(4), %esp
Christopher Ferris9f5e1d92015-07-13 12:21:00 -07001231 CFI_ADJUST_CFA_OFFSET(-4)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001232 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context
Ian Rogersa9a82542013-10-04 11:17:26 -07001233 // Outgoing argument set up
Andreas Gampe4360be22015-07-14 23:34:44 -07001234 PUSH eax // alignment padding
1235 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -08001236 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe4360be22015-07-14 23:34:44 -07001237 PUSH ecx // pass arg2
1238 PUSH eax // pass arg1
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001239 call SYMBOL(artThrowClassCastException) // (Class* a, Class* b, Thread*)
Andreas Gampe4360be22015-07-14 23:34:44 -07001240 UNREACHABLE
Ian Rogersa9a82542013-10-04 11:17:26 -07001241END_FUNCTION art_quick_check_cast
1242
Man Cao1aee9002015-07-14 22:31:42 -07001243// Restore reg's value if reg is not the same as exclude_reg, otherwise just adjust stack.
1244MACRO2(POP_REG_NE, reg, exclude_reg)
1245 .ifc RAW_VAR(reg), RAW_VAR(exclude_reg)
1246 addl MACRO_LITERAL(4), %esp
1247 CFI_ADJUST_CFA_OFFSET(-4)
1248 .else
1249 POP RAW_VAR(reg)
1250 .endif
1251END_MACRO
1252
1253 /*
1254 * Macro to insert read barrier, only used in art_quick_aput_obj.
1255 * obj_reg and dest_reg are registers, offset is a defined literal such as
1256 * MIRROR_OBJECT_CLASS_OFFSET.
1257 * pop_eax is a boolean flag, indicating if eax is popped after the call.
1258 * TODO: When read barrier has a fast path, add heap unpoisoning support for the fast path.
1259 */
1260MACRO4(READ_BARRIER, obj_reg, offset, dest_reg, pop_eax)
1261#ifdef USE_READ_BARRIER
1262 PUSH eax // save registers used in art_quick_aput_obj
1263 PUSH ebx
1264 PUSH edx
1265 PUSH ecx
1266 // Outgoing argument set up
1267 pushl MACRO_LITERAL((RAW_VAR(offset))) // pass offset, double parentheses are necessary
1268 CFI_ADJUST_CFA_OFFSET(4)
1269 PUSH RAW_VAR(obj_reg) // pass obj_reg
1270 PUSH eax // pass ref, just pass eax for now since parameter ref is unused
1271 call SYMBOL(artReadBarrierSlow) // artReadBarrierSlow(ref, obj_reg, offset)
1272 // No need to unpoison return value in eax, artReadBarrierSlow() would do the unpoisoning.
1273 .ifnc RAW_VAR(dest_reg), eax
1274 movl %eax, REG_VAR(dest_reg) // save loaded ref in dest_reg
1275 .endif
1276 addl MACRO_LITERAL(12), %esp // pop arguments
1277 CFI_ADJUST_CFA_OFFSET(-12)
1278 POP_REG_NE ecx, RAW_VAR(dest_reg) // Restore args except dest_reg
1279 POP_REG_NE edx, RAW_VAR(dest_reg)
1280 POP_REG_NE ebx, RAW_VAR(dest_reg)
1281 .ifc RAW_VAR(pop_eax), true
1282 POP_REG_NE eax, RAW_VAR(dest_reg)
1283 .endif
1284#else
1285 movl RAW_VAR(offset)(REG_VAR(obj_reg)), REG_VAR(dest_reg)
1286 UNPOISON_HEAP_REF RAW_VAR(dest_reg)
1287#endif // USE_READ_BARRIER
1288END_MACRO
1289
Ian Rogersa9a82542013-10-04 11:17:26 -07001290 /*
1291 * Entry from managed code for array put operations of objects where the value being stored
1292 * needs to be checked for compatibility.
1293 * eax = array, ecx = index, edx = value
1294 */
1295DEFINE_FUNCTION art_quick_aput_obj_with_null_and_bound_check
1296 testl %eax, %eax
Dan Albert3bed41c2014-08-07 17:39:34 -07001297 jnz SYMBOL(art_quick_aput_obj_with_bound_check)
1298 jmp SYMBOL(art_quick_throw_null_pointer_exception)
Ian Rogersa9a82542013-10-04 11:17:26 -07001299END_FUNCTION art_quick_aput_obj_with_null_and_bound_check
1300
1301DEFINE_FUNCTION art_quick_aput_obj_with_bound_check
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001302 movl MIRROR_ARRAY_LENGTH_OFFSET(%eax), %ebx
Ian Rogersa9a82542013-10-04 11:17:26 -07001303 cmpl %ebx, %ecx
Dan Albert3bed41c2014-08-07 17:39:34 -07001304 jb SYMBOL(art_quick_aput_obj)
Ian Rogersa9a82542013-10-04 11:17:26 -07001305 mov %ecx, %eax
1306 mov %ebx, %ecx
Dan Albert3bed41c2014-08-07 17:39:34 -07001307 jmp SYMBOL(art_quick_throw_array_bounds)
Ian Rogersa9a82542013-10-04 11:17:26 -07001308END_FUNCTION art_quick_aput_obj_with_bound_check
1309
1310DEFINE_FUNCTION art_quick_aput_obj
1311 test %edx, %edx // store of null
Ian Rogers8016a122014-02-21 20:37:21 -08001312 jz .Ldo_aput_null
Man Cao1aee9002015-07-14 22:31:42 -07001313 READ_BARRIER eax, MIRROR_OBJECT_CLASS_OFFSET, ebx, true
1314 READ_BARRIER ebx, MIRROR_CLASS_COMPONENT_TYPE_OFFSET, ebx, true
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001315 // value's type == array's component type - trivial assignability
Man Cao1aee9002015-07-14 22:31:42 -07001316#if defined(USE_READ_BARRIER)
1317 READ_BARRIER edx, MIRROR_OBJECT_CLASS_OFFSET, eax, false
1318 cmpl %eax, %ebx
1319 POP eax // restore eax from the push in the beginning of READ_BARRIER macro
Man Cao63069212015-08-21 15:51:39 -07001320 // This asymmetric push/pop saves a push of eax and maintains stack alignment.
Man Cao1aee9002015-07-14 22:31:42 -07001321#elif defined(USE_HEAP_POISONING)
1322 PUSH eax // save eax
Hiroshi Yamauchibfa5eb62015-05-29 15:04:41 -07001323 movl MIRROR_OBJECT_CLASS_OFFSET(%edx), %eax
1324 UNPOISON_HEAP_REF eax
1325 cmpl %eax, %ebx
Man Cao1aee9002015-07-14 22:31:42 -07001326 POP eax // restore eax
Hiroshi Yamauchibfa5eb62015-05-29 15:04:41 -07001327#else
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001328 cmpl MIRROR_OBJECT_CLASS_OFFSET(%edx), %ebx
Hiroshi Yamauchibfa5eb62015-05-29 15:04:41 -07001329#endif
Ian Rogers8016a122014-02-21 20:37:21 -08001330 jne .Lcheck_assignability
1331.Ldo_aput:
Hiroshi Yamauchibfa5eb62015-05-29 15:04:41 -07001332 POISON_HEAP_REF edx
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001333 movl %edx, MIRROR_OBJECT_ARRAY_DATA_OFFSET(%eax, %ecx, 4)
Ian Rogersa9a82542013-10-04 11:17:26 -07001334 movl %fs:THREAD_CARD_TABLE_OFFSET, %edx
1335 shrl LITERAL(7), %eax
1336 movb %dl, (%edx, %eax)
1337 ret
Ian Rogers8016a122014-02-21 20:37:21 -08001338.Ldo_aput_null:
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001339 movl %edx, MIRROR_OBJECT_ARRAY_DATA_OFFSET(%eax, %ecx, 4)
Ian Rogersa9a82542013-10-04 11:17:26 -07001340 ret
Ian Rogers8016a122014-02-21 20:37:21 -08001341.Lcheck_assignability:
Andreas Gampe4360be22015-07-14 23:34:44 -07001342 PUSH eax // save arguments
Ian Rogersa9a82542013-10-04 11:17:26 -07001343 PUSH ecx
1344 PUSH edx
Man Cao63069212015-08-21 15:51:39 -07001345#if defined(USE_READ_BARRIER)
1346 subl LITERAL(4), %esp // alignment padding
1347 CFI_ADJUST_CFA_OFFSET(4)
1348 READ_BARRIER edx, MIRROR_OBJECT_CLASS_OFFSET, eax, true
1349 subl LITERAL(4), %esp // alignment padding
1350 CFI_ADJUST_CFA_OFFSET(4)
1351 PUSH eax // pass arg2 - type of the value to be stored
1352#elif defined(USE_HEAP_POISONING)
Andreas Gampe4360be22015-07-14 23:34:44 -07001353 subl LITERAL(8), %esp // alignment padding
Mark Mendell3f2d0312014-01-20 17:20:27 -08001354 CFI_ADJUST_CFA_OFFSET(8)
Man Cao63069212015-08-21 15:51:39 -07001355 movl MIRROR_OBJECT_CLASS_OFFSET(%edx), %eax
Hiroshi Yamauchibfa5eb62015-05-29 15:04:41 -07001356 UNPOISON_HEAP_REF eax
Man Cao63069212015-08-21 15:51:39 -07001357 PUSH eax // pass arg2 - type of the value to be stored
Hiroshi Yamauchibfa5eb62015-05-29 15:04:41 -07001358#else
Man Cao63069212015-08-21 15:51:39 -07001359 subl LITERAL(8), %esp // alignment padding
1360 CFI_ADJUST_CFA_OFFSET(8)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001361 pushl MIRROR_OBJECT_CLASS_OFFSET(%edx) // pass arg2 - type of the value to be stored
Mark Mendell3f2d0312014-01-20 17:20:27 -08001362 CFI_ADJUST_CFA_OFFSET(4)
Christopher Ferris9f5e1d92015-07-13 12:21:00 -07001363#endif
Mathieu Chartier27386392015-06-27 15:42:27 -07001364 PUSH ebx // pass arg1 - component type of the array
Andreas Gampe29b38412014-08-13 00:15:43 -07001365 call SYMBOL(artIsAssignableFromCode) // (Class* a, Class* b)
Mathieu Chartier27386392015-06-27 15:42:27 -07001366 addl LITERAL(16), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001367 CFI_ADJUST_CFA_OFFSET(-16)
Ian Rogersa9a82542013-10-04 11:17:26 -07001368 testl %eax, %eax
Ian Rogers8016a122014-02-21 20:37:21 -08001369 jz .Lthrow_array_store_exception
Ian Rogersa9a82542013-10-04 11:17:26 -07001370 POP edx
1371 POP ecx
1372 POP eax
Hiroshi Yamauchibfa5eb62015-05-29 15:04:41 -07001373 POISON_HEAP_REF edx
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001374 movl %edx, MIRROR_OBJECT_ARRAY_DATA_OFFSET(%eax, %ecx, 4) // do the aput
Ian Rogersa9a82542013-10-04 11:17:26 -07001375 movl %fs:THREAD_CARD_TABLE_OFFSET, %edx
1376 shrl LITERAL(7), %eax
1377 movb %dl, (%edx, %eax)
1378 ret
Mathieu Chartier27386392015-06-27 15:42:27 -07001379 CFI_ADJUST_CFA_OFFSET(12) // 3 POP after the jz for unwinding.
Ian Rogers8016a122014-02-21 20:37:21 -08001380.Lthrow_array_store_exception:
Ian Rogersa9a82542013-10-04 11:17:26 -07001381 POP edx
1382 POP ecx
1383 POP eax
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001384 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context
Ian Rogersa9a82542013-10-04 11:17:26 -07001385 // Outgoing argument set up
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001386 PUSH eax // alignment padding
Ian Rogersa9a82542013-10-04 11:17:26 -07001387 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -08001388 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogersa9a82542013-10-04 11:17:26 -07001389 PUSH edx // pass arg2 - value
1390 PUSH eax // pass arg1 - array
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001391 call SYMBOL(artThrowArrayStoreException) // (array, value, Thread*)
Andreas Gampe4360be22015-07-14 23:34:44 -07001392 UNREACHABLE
Ian Rogersa9a82542013-10-04 11:17:26 -07001393END_FUNCTION art_quick_aput_obj
1394
Logan Chien8dbb7082013-01-25 20:31:17 +08001395DEFINE_FUNCTION art_quick_memcpy
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001396 SETUP_GOT_NOSAVE ebx // clobbers EBX
Ian Rogersaeeada42013-02-13 11:28:34 -08001397 PUSH edx // pass arg3
1398 PUSH ecx // pass arg2
1399 PUSH eax // pass arg1
Mark Mendell3f2d0312014-01-20 17:20:27 -08001400 call PLT_SYMBOL(memcpy) // (void*, const void*, size_t)
Ian Rogers55bd45f2012-04-04 17:31:20 -07001401 addl LITERAL(12), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001402 CFI_ADJUST_CFA_OFFSET(-12)
Ian Rogers7caad772012-03-30 01:07:54 -07001403 ret
Ian Rogersaeeada42013-02-13 11:28:34 -08001404END_FUNCTION art_quick_memcpy
Ian Rogers7caad772012-03-30 01:07:54 -07001405
Logan Chien8dbb7082013-01-25 20:31:17 +08001406NO_ARG_DOWNCALL art_quick_test_suspend, artTestSuspendFromCode, ret
Ian Rogers7caad772012-03-30 01:07:54 -07001407
Ian Rogers468532e2013-08-05 10:56:33 -07001408DEFINE_FUNCTION art_quick_d2l
Mark P Mendell966c3ae2015-01-27 15:45:27 +00001409 subl LITERAL(12), %esp // alignment padding, room for argument
1410 CFI_ADJUST_CFA_OFFSET(12)
1411 movsd %xmm0, 0(%esp) // arg a
1412 call SYMBOL(art_d2l) // (jdouble a)
jeffhao41005dd2012-05-09 17:58:52 -07001413 addl LITERAL(12), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001414 CFI_ADJUST_CFA_OFFSET(-12)
jeffhao41005dd2012-05-09 17:58:52 -07001415 ret
Ian Rogers468532e2013-08-05 10:56:33 -07001416END_FUNCTION art_quick_d2l
jeffhao41005dd2012-05-09 17:58:52 -07001417
Ian Rogers468532e2013-08-05 10:56:33 -07001418DEFINE_FUNCTION art_quick_f2l
Mark P Mendell966c3ae2015-01-27 15:45:27 +00001419 subl LITERAL(12), %esp // alignment padding
1420 CFI_ADJUST_CFA_OFFSET(12)
1421 movss %xmm0, 0(%esp) // arg a
1422 call SYMBOL(art_f2l) // (jfloat a)
jeffhao41005dd2012-05-09 17:58:52 -07001423 addl LITERAL(12), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001424 CFI_ADJUST_CFA_OFFSET(-12)
jeffhao41005dd2012-05-09 17:58:52 -07001425 ret
Ian Rogers468532e2013-08-05 10:56:33 -07001426END_FUNCTION art_quick_f2l
jeffhao41005dd2012-05-09 17:58:52 -07001427
Ian Rogers468532e2013-08-05 10:56:33 -07001428DEFINE_FUNCTION art_quick_ldiv
Andreas Gampe4360be22015-07-14 23:34:44 -07001429 subl LITERAL(12), %esp // alignment padding
Mark Mendell3f2d0312014-01-20 17:20:27 -08001430 CFI_ADJUST_CFA_OFFSET(12)
Andreas Gampe4360be22015-07-14 23:34:44 -07001431 PUSH ebx // pass arg4 b.hi
1432 PUSH edx // pass arg3 b.lo
1433 PUSH ecx // pass arg2 a.hi
1434 PUSH eax // pass arg1 a.lo
1435 call SYMBOL(artLdiv) // (jlong a, jlong b)
1436 addl LITERAL(28), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001437 CFI_ADJUST_CFA_OFFSET(-28)
Ian Rogers55bd45f2012-04-04 17:31:20 -07001438 ret
Ian Rogers468532e2013-08-05 10:56:33 -07001439END_FUNCTION art_quick_ldiv
Ian Rogers55bd45f2012-04-04 17:31:20 -07001440
Ian Rogersa9a82542013-10-04 11:17:26 -07001441DEFINE_FUNCTION art_quick_lmod
Andreas Gampe4360be22015-07-14 23:34:44 -07001442 subl LITERAL(12), %esp // alignment padding
Mark Mendell3f2d0312014-01-20 17:20:27 -08001443 CFI_ADJUST_CFA_OFFSET(12)
Andreas Gampe4360be22015-07-14 23:34:44 -07001444 PUSH ebx // pass arg4 b.hi
1445 PUSH edx // pass arg3 b.lo
1446 PUSH ecx // pass arg2 a.hi
1447 PUSH eax // pass arg1 a.lo
1448 call SYMBOL(artLmod) // (jlong a, jlong b)
1449 addl LITERAL(28), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001450 CFI_ADJUST_CFA_OFFSET(-28)
Ian Rogers55bd45f2012-04-04 17:31:20 -07001451 ret
Ian Rogersa9a82542013-10-04 11:17:26 -07001452END_FUNCTION art_quick_lmod
Ian Rogers55bd45f2012-04-04 17:31:20 -07001453
Ian Rogers468532e2013-08-05 10:56:33 -07001454DEFINE_FUNCTION art_quick_lmul
Andreas Gampe4360be22015-07-14 23:34:44 -07001455 imul %eax, %ebx // ebx = a.lo(eax) * b.hi(ebx)
1456 imul %edx, %ecx // ecx = b.lo(edx) * a.hi(ecx)
1457 mul %edx // edx:eax = a.lo(eax) * b.lo(edx)
Ian Rogers5793fea2013-02-14 13:33:34 -08001458 add %ebx, %ecx
Andreas Gampe4360be22015-07-14 23:34:44 -07001459 add %ecx, %edx // edx += (a.lo * b.hi) + (b.lo * a.hi)
jeffhao644d5312012-05-03 19:04:49 -07001460 ret
Ian Rogers468532e2013-08-05 10:56:33 -07001461END_FUNCTION art_quick_lmul
jeffhao644d5312012-05-03 19:04:49 -07001462
Ian Rogers468532e2013-08-05 10:56:33 -07001463DEFINE_FUNCTION art_quick_lshl
jeffhao644d5312012-05-03 19:04:49 -07001464 // ecx:eax << edx
Ian Rogers141d6222012-04-05 12:23:06 -07001465 xchg %edx, %ecx
1466 shld %cl,%eax,%edx
1467 shl %cl,%eax
1468 test LITERAL(32), %cl
1469 jz 1f
1470 mov %eax, %edx
1471 xor %eax, %eax
14721:
1473 ret
Ian Rogers468532e2013-08-05 10:56:33 -07001474END_FUNCTION art_quick_lshl
Ian Rogers141d6222012-04-05 12:23:06 -07001475
Ian Rogers468532e2013-08-05 10:56:33 -07001476DEFINE_FUNCTION art_quick_lshr
jeffhao644d5312012-05-03 19:04:49 -07001477 // ecx:eax >> edx
Ian Rogers141d6222012-04-05 12:23:06 -07001478 xchg %edx, %ecx
jeffhao644d5312012-05-03 19:04:49 -07001479 shrd %cl,%edx,%eax
1480 sar %cl,%edx
Ian Rogers141d6222012-04-05 12:23:06 -07001481 test LITERAL(32),%cl
1482 jz 1f
jeffhao5121e0b2012-05-08 18:23:38 -07001483 mov %edx, %eax
1484 sar LITERAL(31), %edx
Ian Rogers141d6222012-04-05 12:23:06 -070014851:
1486 ret
Ian Rogers468532e2013-08-05 10:56:33 -07001487END_FUNCTION art_quick_lshr
Ian Rogers141d6222012-04-05 12:23:06 -07001488
Ian Rogers468532e2013-08-05 10:56:33 -07001489DEFINE_FUNCTION art_quick_lushr
jeffhao644d5312012-05-03 19:04:49 -07001490 // ecx:eax >>> edx
Ian Rogers141d6222012-04-05 12:23:06 -07001491 xchg %edx, %ecx
jeffhao644d5312012-05-03 19:04:49 -07001492 shrd %cl,%edx,%eax
1493 shr %cl,%edx
1494 test LITERAL(32),%cl
Ian Rogers141d6222012-04-05 12:23:06 -07001495 jz 1f
jeffhao5121e0b2012-05-08 18:23:38 -07001496 mov %edx, %eax
1497 xor %edx, %edx
Ian Rogers141d6222012-04-05 12:23:06 -070014981:
1499 ret
Ian Rogers468532e2013-08-05 10:56:33 -07001500END_FUNCTION art_quick_lushr
Ian Rogers141d6222012-04-05 12:23:06 -07001501
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001502ONE_ARG_REF_DOWNCALL art_quick_get_boolean_static, artGetBooleanStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1503ONE_ARG_REF_DOWNCALL art_quick_get_byte_static, artGetByteStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1504ONE_ARG_REF_DOWNCALL art_quick_get_char_static, artGetCharStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1505ONE_ARG_REF_DOWNCALL art_quick_get_short_static, artGetShortStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1506ONE_ARG_REF_DOWNCALL art_quick_get32_static, artGet32StaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1507ONE_ARG_REF_DOWNCALL art_quick_get64_static, artGet64StaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1508ONE_ARG_REF_DOWNCALL art_quick_get_obj_static, artGetObjStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
Fred Shih37f05ef2014-07-16 18:38:08 -07001509
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001510TWO_ARG_REF_DOWNCALL art_quick_get_boolean_instance, artGetBooleanInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1511TWO_ARG_REF_DOWNCALL art_quick_get_byte_instance, artGetByteInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1512TWO_ARG_REF_DOWNCALL art_quick_get_char_instance, artGetCharInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1513TWO_ARG_REF_DOWNCALL art_quick_get_short_instance, artGetShortInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1514TWO_ARG_REF_DOWNCALL art_quick_get32_instance, artGet32InstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1515TWO_ARG_REF_DOWNCALL art_quick_get64_instance, artGet64InstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
1516TWO_ARG_REF_DOWNCALL art_quick_get_obj_instance, artGetObjInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION
Fred Shih37f05ef2014-07-16 18:38:08 -07001517
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001518TWO_ARG_REF_DOWNCALL art_quick_set8_static, artSet8StaticFromCode, RETURN_IF_EAX_ZERO
1519TWO_ARG_REF_DOWNCALL art_quick_set16_static, artSet16StaticFromCode, RETURN_IF_EAX_ZERO
1520TWO_ARG_REF_DOWNCALL art_quick_set32_static, artSet32StaticFromCode, RETURN_IF_EAX_ZERO
1521TWO_ARG_REF_DOWNCALL art_quick_set_obj_static, artSetObjStaticFromCode, RETURN_IF_EAX_ZERO
jeffhao9dbb23e2012-05-18 17:03:57 -07001522
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001523THREE_ARG_REF_DOWNCALL art_quick_set8_instance, artSet8InstanceFromCode, RETURN_IF_EAX_ZERO
1524THREE_ARG_REF_DOWNCALL art_quick_set16_instance, artSet16InstanceFromCode, RETURN_IF_EAX_ZERO
1525THREE_ARG_REF_DOWNCALL art_quick_set32_instance, artSet32InstanceFromCode, RETURN_IF_EAX_ZERO
1526THREE_ARG_REF_DOWNCALL art_quick_set_obj_instance, artSetObjInstanceFromCode, RETURN_IF_EAX_ZERO
1527
1528// Call artSet64InstanceFromCode with 4 word size arguments and the referrer.
Ian Rogers468532e2013-08-05 10:56:33 -07001529DEFINE_FUNCTION art_quick_set64_instance
Serguei Katkove0b46a72014-11-05 16:13:18 +06001530 movd %ebx, %xmm0
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001531 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Serguei Katkove0b46a72014-11-05 16:13:18 +06001532 movd %xmm0, %ebx
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001533 // Outgoing argument set up
jeffhao1ff4cd72012-05-21 11:17:48 -07001534 subl LITERAL(8), %esp // alignment padding
Mark Mendell3f2d0312014-01-20 17:20:27 -08001535 CFI_ADJUST_CFA_OFFSET(8)
jeffhao9dbb23e2012-05-18 17:03:57 -07001536 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -08001537 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001538 pushl (FRAME_SIZE_REFS_ONLY_CALLEE_SAVE+12)(%esp) // pass referrer
1539 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogersaeeada42013-02-13 11:28:34 -08001540 PUSH ebx // pass high half of new_val
1541 PUSH edx // pass low half of new_val
1542 PUSH ecx // pass object
1543 PUSH eax // pass field_idx
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001544 call SYMBOL(artSet64InstanceFromCode) // (field_idx, Object*, new_val, referrer, Thread*)
jeffhao1ff4cd72012-05-21 11:17:48 -07001545 addl LITERAL(32), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001546 CFI_ADJUST_CFA_OFFSET(-32)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001547 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
jeffhao9dbb23e2012-05-18 17:03:57 -07001548 RETURN_IF_EAX_ZERO // return or deliver exception
Ian Rogers468532e2013-08-05 10:56:33 -07001549END_FUNCTION art_quick_set64_instance
jeffhao9dbb23e2012-05-18 17:03:57 -07001550
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001551// Call artSet64StaticFromCode with 3 word size arguments plus with the referrer in the 2nd position
1552// so that new_val is aligned on even registers were we passing arguments in registers.
Ian Rogers468532e2013-08-05 10:56:33 -07001553DEFINE_FUNCTION art_quick_set64_static
Calin Juravlee460d1d2015-09-29 04:52:17 +01001554 // TODO: Implement SETUP_GOT_NOSAVE for got_reg = ecx to avoid moving around the registers.
1555 movd %ebx, %xmm0
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001556 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC
Calin Juravlee460d1d2015-09-29 04:52:17 +01001557 movd %xmm0, %ebx
1558 mov FRAME_SIZE_REFS_ONLY_CALLEE_SAVE(%esp), %ecx // get referrer
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001559 subl LITERAL(12), %esp // alignment padding
1560 CFI_ADJUST_CFA_OFFSET(12)
jeffhao9dbb23e2012-05-18 17:03:57 -07001561 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -08001562 CFI_ADJUST_CFA_OFFSET(4)
Calin Juravlee460d1d2015-09-29 04:52:17 +01001563 PUSH ebx // pass high half of new_val
1564 PUSH edx // pass low half of new_val
1565 PUSH ecx // pass referrer
Ian Rogersaeeada42013-02-13 11:28:34 -08001566 PUSH eax // pass field_idx
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001567 call SYMBOL(artSet64StaticFromCode) // (field_idx, referrer, new_val, Thread*)
jeffhao1ff4cd72012-05-21 11:17:48 -07001568 addl LITERAL(32), %esp // pop arguments
Mark Mendell3f2d0312014-01-20 17:20:27 -08001569 CFI_ADJUST_CFA_OFFSET(-32)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001570 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address
jeffhao9dbb23e2012-05-18 17:03:57 -07001571 RETURN_IF_EAX_ZERO // return or deliver exception
Ian Rogers468532e2013-08-05 10:56:33 -07001572END_FUNCTION art_quick_set64_static
jeffhao9dbb23e2012-05-18 17:03:57 -07001573
Logan Chien8dbb7082013-01-25 20:31:17 +08001574DEFINE_FUNCTION art_quick_proxy_invoke_handler
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001575 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME_WITH_METHOD_IN_EAX
Ian Rogersaeeada42013-02-13 11:28:34 -08001576 PUSH esp // pass SP
jeffhaod66a8752012-05-22 15:30:16 -07001577 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -08001578 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogersaeeada42013-02-13 11:28:34 -08001579 PUSH ecx // pass receiver
1580 PUSH eax // pass proxy method
Andreas Gampe29b38412014-08-13 00:15:43 -07001581 call SYMBOL(artQuickProxyInvokeHandler) // (proxy method, receiver, Thread*, SP)
Ian Rogersaf6e67a2013-01-16 08:38:37 -08001582 movd %eax, %xmm0 // place return value also into floating point return value
1583 movd %edx, %xmm1
1584 punpckldq %xmm1, %xmm0
Mathieu Chartier9346ff02015-06-18 10:17:26 -07001585 addl LITERAL(16 + FRAME_SIZE_REFS_AND_ARGS_CALLEE_SAVE - FRAME_SIZE_REFS_ONLY_CALLEE_SAVE), %esp
1586 CFI_ADJUST_CFA_OFFSET(-(16 + FRAME_SIZE_REFS_AND_ARGS_CALLEE_SAVE - FRAME_SIZE_REFS_ONLY_CALLEE_SAVE))
1587 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME
jeffhaod66a8752012-05-22 15:30:16 -07001588 RETURN_OR_DELIVER_PENDING_EXCEPTION // return or deliver exception
Ian Rogersaeeada42013-02-13 11:28:34 -08001589END_FUNCTION art_quick_proxy_invoke_handler
jeffhao9dbb23e2012-05-18 17:03:57 -07001590
Jeff Hao88474b42013-10-23 16:24:40 -07001591 /*
Nicolas Geoffray796d6302016-03-13 22:22:31 +00001592 * Called to resolve an imt conflict.
1593 * eax is the conflict ArtMethod.
1594 * xmm7 is a hidden argument that holds the target interface method's dex method index.
1595 *
1596 * Note that this stub writes to eax.
1597 * Because of lack of free registers, it also saves and restores edi.
Jeff Hao88474b42013-10-23 16:24:40 -07001598 */
1599DEFINE_FUNCTION art_quick_imt_conflict_trampoline
Nicolas Geoffray796d6302016-03-13 22:22:31 +00001600 PUSH EDI
1601 movl 8(%esp), %edi // Load referrer
1602 movl ART_METHOD_DEX_CACHE_METHODS_OFFSET_32(%edi), %edi // Load dex cache methods array
1603 pushl ART_METHOD_JNI_OFFSET_32(%eax) // Push ImtConflictTable.
1604 CFI_ADJUST_CFA_OFFSET(4)
Nicolas Geoffray8ea18d02015-05-26 16:29:08 +01001605 movd %xmm7, %eax // get target method index stored in xmm7
Nicolas Geoffray796d6302016-03-13 22:22:31 +00001606 movl 0(%edi, %eax, __SIZEOF_POINTER__), %edi // Load interface method
1607 popl %eax // Pop ImtConflictTable.
1608 CFI_ADJUST_CFA_OFFSET(-4)
1609.Limt_table_iterate:
1610 cmpl %edi, 0(%eax)
1611 jne .Limt_table_next_entry
Goran Jakovljevic59028d92016-03-29 18:05:03 +02001612 // We successfully hit an entry in the table. Load the target method
Nicolas Geoffray796d6302016-03-13 22:22:31 +00001613 // and jump to it.
1614 POP EDI
1615 movl __SIZEOF_POINTER__(%eax), %eax
1616 jmp *ART_METHOD_QUICK_CODE_OFFSET_32(%eax)
1617.Limt_table_next_entry:
1618 // If the entry is null, the interface method is not in the ImtConflictTable.
1619 cmpl LITERAL(0), 0(%eax)
1620 jz .Lconflict_trampoline
1621 // Iterate over the entries of the ImtConflictTable.
1622 addl LITERAL(2 * __SIZEOF_POINTER__), %eax
1623 jmp .Limt_table_iterate
1624.Lconflict_trampoline:
1625 // Call the runtime stub to populate the ImtConflictTable and jump to the
1626 // resolved method.
1627 POP EDI
Andreas Gampe55978b82015-07-14 17:57:43 -07001628 INVOKE_TRAMPOLINE_BODY artInvokeInterfaceTrampoline
Jeff Hao88474b42013-10-23 16:24:40 -07001629END_FUNCTION art_quick_imt_conflict_trampoline
1630
Ian Rogers468532e2013-08-05 10:56:33 -07001631DEFINE_FUNCTION art_quick_resolution_trampoline
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001632 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME ebx, ebx
Tong Shen35e1e6a2014-07-30 09:31:22 -07001633 movl %esp, %edi
1634 PUSH EDI // pass SP. do not just PUSH ESP; that messes up unwinding
Ian Rogers468532e2013-08-05 10:56:33 -07001635 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -08001636 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogers468532e2013-08-05 10:56:33 -07001637 PUSH ecx // pass receiver
1638 PUSH eax // pass method
Andreas Gampe29b38412014-08-13 00:15:43 -07001639 call SYMBOL(artQuickResolutionTrampoline) // (Method* called, receiver, Thread*, SP)
Ian Rogers468532e2013-08-05 10:56:33 -07001640 movl %eax, %edi // remember code pointer in EDI
1641 addl LITERAL(16), %esp // pop arguments
Christopher Ferris9f5e1d92015-07-13 12:21:00 -07001642 CFI_ADJUST_CFA_OFFSET(-16)
Mathieu Chartier2cebb242015-04-21 16:50:40 -07001643 test %eax, %eax // if code pointer is null goto deliver pending exception
Ian Rogers468532e2013-08-05 10:56:33 -07001644 jz 1f
Mark P Mendell966c3ae2015-01-27 15:45:27 +00001645 RESTORE_REFS_AND_ARGS_CALLEE_SAVE_FRAME_AND_JUMP
Ian Rogers468532e2013-08-05 10:56:33 -070016461:
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001647 RESTORE_REFS_AND_ARGS_CALLEE_SAVE_FRAME
Ian Rogers468532e2013-08-05 10:56:33 -07001648 DELIVER_PENDING_EXCEPTION
1649END_FUNCTION art_quick_resolution_trampoline
1650
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001651DEFINE_FUNCTION art_quick_generic_jni_trampoline
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001652 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME_WITH_METHOD_IN_EAX
Andreas Gampe4360be22015-07-14 23:34:44 -07001653 movl %esp, %ebp // save SP at callee-save frame
Andreas Gampec200a4a2014-06-16 18:39:09 -07001654 CFI_DEF_CFA_REGISTER(ebp)
Andreas Gampe779f8c92014-06-09 18:29:38 -07001655 subl LITERAL(5120), %esp
1656 // prepare for artQuickGenericJniTrampoline call
1657 // (Thread*, SP)
1658 // (esp) 4(esp) <= C calling convention
1659 // fs:... ebp <= where they are
Andreas Gampe779f8c92014-06-09 18:29:38 -07001660
1661 subl LITERAL(8), %esp // Padding for 16B alignment.
1662 pushl %ebp // Pass SP (to ArtMethod).
1663 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current().
Andreas Gampe29b38412014-08-13 00:15:43 -07001664 call SYMBOL(artQuickGenericJniTrampoline) // (Thread*, sp)
Andreas Gampe779f8c92014-06-09 18:29:38 -07001665
Andreas Gampec200a4a2014-06-16 18:39:09 -07001666 // The C call will have registered the complete save-frame on success.
1667 // The result of the call is:
1668 // eax: pointer to native code, 0 on error.
1669 // edx: pointer to the bottom of the used area of the alloca, can restore stack till there.
Andreas Gampe779f8c92014-06-09 18:29:38 -07001670
Andreas Gampec200a4a2014-06-16 18:39:09 -07001671 // Check for error = 0.
Andreas Gampe779f8c92014-06-09 18:29:38 -07001672 test %eax, %eax
Nicolas Geoffray126d6592015-03-03 14:28:35 +00001673 jz .Lexception_in_native
Andreas Gampe779f8c92014-06-09 18:29:38 -07001674
Andreas Gampec200a4a2014-06-16 18:39:09 -07001675 // Release part of the alloca.
1676 movl %edx, %esp
Andreas Gampe779f8c92014-06-09 18:29:38 -07001677
1678 // On x86 there are no registers passed, so nothing to pop here.
Andreas Gampe779f8c92014-06-09 18:29:38 -07001679 // Native call.
1680 call *%eax
1681
Andreas Gampe779f8c92014-06-09 18:29:38 -07001682 // result sign extension is handled in C code
1683 // prepare for artQuickGenericJniEndTrampoline call
Andreas Gampec200a4a2014-06-16 18:39:09 -07001684 // (Thread*, result, result_f)
1685 // (esp) 4(esp) 12(esp) <= C calling convention
Nicolas Geoffray54accbc2014-08-13 03:40:45 +01001686 // fs:... eax:edx fp0 <= where they are
Andreas Gampe779f8c92014-06-09 18:29:38 -07001687
Andreas Gampe4360be22015-07-14 23:34:44 -07001688 subl LITERAL(20), %esp // Padding & pass float result.
Nicolas Geoffray54accbc2014-08-13 03:40:45 +01001689 fstpl (%esp)
Andreas Gampe779f8c92014-06-09 18:29:38 -07001690 pushl %edx // Pass int result.
1691 pushl %eax
Andreas Gampe779f8c92014-06-09 18:29:38 -07001692 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current().
Andreas Gampe29b38412014-08-13 00:15:43 -07001693 call SYMBOL(artQuickGenericJniEndTrampoline)
Andreas Gampe779f8c92014-06-09 18:29:38 -07001694
Andreas Gampe779f8c92014-06-09 18:29:38 -07001695 // Pending exceptions possible.
1696 mov %fs:THREAD_EXCEPTION_OFFSET, %ebx
1697 testl %ebx, %ebx
1698 jnz .Lexception_in_native
1699
Nicolas Geoffray126d6592015-03-03 14:28:35 +00001700 // Tear down the alloca.
1701 movl %ebp, %esp
1702 CFI_DEF_CFA_REGISTER(esp)
1703
1704
Andreas Gampe779f8c92014-06-09 18:29:38 -07001705 // Tear down the callee-save frame.
Mark P Mendell966c3ae2015-01-27 15:45:27 +00001706 // Remove space for FPR args and EAX
1707 addl LITERAL(4 + 4 * 8), %esp
1708 CFI_ADJUST_CFA_OFFSET(-(4 + 4 * 8))
1709
Andreas Gampe779f8c92014-06-09 18:29:38 -07001710 POP ecx
Andreas Gampe4360be22015-07-14 23:34:44 -07001711 addl LITERAL(4), %esp // Avoid edx, as it may be part of the result.
Andreas Gampe779f8c92014-06-09 18:29:38 -07001712 CFI_ADJUST_CFA_OFFSET(-4)
1713 POP ebx
1714 POP ebp // Restore callee saves
1715 POP esi
1716 POP edi
Nicolas Geoffray54accbc2014-08-13 03:40:45 +01001717 // Quick expects the return value to be in xmm0.
Andreas Gampe779f8c92014-06-09 18:29:38 -07001718 movd %eax, %xmm0
1719 movd %edx, %xmm1
1720 punpckldq %xmm1, %xmm0
1721 ret
Andreas Gampe779f8c92014-06-09 18:29:38 -07001722.Lexception_in_native:
Nicolas Geoffray126d6592015-03-03 14:28:35 +00001723 movl %fs:THREAD_TOP_QUICK_FRAME_OFFSET, %esp
1724 // Do a call to push a new save-all frame required by the runtime.
1725 call .Lexception_call
1726.Lexception_call:
Andreas Gampe779f8c92014-06-09 18:29:38 -07001727 DELIVER_PENDING_EXCEPTION
Andreas Gampe2da88232014-02-27 12:26:20 -08001728END_FUNCTION art_quick_generic_jni_trampoline
1729
Ian Rogers6f3dbba2014-10-14 17:41:57 -07001730DEFINE_FUNCTION art_quick_to_interpreter_bridge
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001731 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME ebx, ebx // save frame
Ian Rogersaeeada42013-02-13 11:28:34 -08001732 mov %esp, %edx // remember SP
1733 PUSH eax // alignment padding
1734 PUSH edx // pass SP
Ian Rogers7db619b2013-01-16 18:35:48 -08001735 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current()
Mark Mendell3f2d0312014-01-20 17:20:27 -08001736 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogersaeeada42013-02-13 11:28:34 -08001737 PUSH eax // pass method
Andreas Gampe29b38412014-08-13 00:15:43 -07001738 call SYMBOL(artQuickToInterpreterBridge) // (method, Thread*, SP)
Vladimir Marko949c91f2015-01-27 10:48:44 +00001739 addl LITERAL(16), %esp // pop arguments
1740 CFI_ADJUST_CFA_OFFSET(-16)
Mark P Mendell966c3ae2015-01-27 15:45:27 +00001741
1742 // Return eax:edx in xmm0 also.
1743 movd %eax, %xmm0
1744 movd %edx, %xmm1
1745 punpckldq %xmm1, %xmm0
1746
1747 addl LITERAL(48), %esp // Remove FPRs and EAX, ECX, EDX, EBX.
1748 CFI_ADJUST_CFA_OFFSET(-48)
1749
Andreas Gampe4360be22015-07-14 23:34:44 -07001750 POP ebp // Restore callee saves
Mark P Mendell966c3ae2015-01-27 15:45:27 +00001751 POP esi
1752 POP edi
1753
Ian Rogers7db619b2013-01-16 18:35:48 -08001754 RETURN_OR_DELIVER_PENDING_EXCEPTION // return or deliver exception
Ian Rogers468532e2013-08-05 10:56:33 -07001755END_FUNCTION art_quick_to_interpreter_bridge
Ian Rogers7db619b2013-01-16 18:35:48 -08001756
jeffhao7e4fcb82013-01-10 18:11:08 -08001757 /*
1758 * Routine that intercepts method calls and returns.
1759 */
Ian Rogers468532e2013-08-05 10:56:33 -07001760DEFINE_FUNCTION art_quick_instrumentation_entry
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001761 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME ebx, edx
Ian Rogers62d6c772013-02-27 08:32:07 -08001762 PUSH eax // Save eax which will be clobbered by the callee-save method.
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001763 subl LITERAL(12), %esp // Align stack.
1764 CFI_ADJUST_CFA_OFFSET(12)
Sebastien Hertz32b12f82014-11-17 12:46:27 +01001765 pushl FRAME_SIZE_REFS_AND_ARGS_CALLEE_SAVE-4+16(%esp) // Pass LR.
Mark Mendell3f2d0312014-01-20 17:20:27 -08001766 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogers62d6c772013-02-27 08:32:07 -08001767 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current().
Mark Mendell3f2d0312014-01-20 17:20:27 -08001768 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogers62d6c772013-02-27 08:32:07 -08001769 PUSH ecx // Pass receiver.
1770 PUSH eax // Pass Method*.
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001771 call SYMBOL(artInstrumentationMethodEntryFromCode) // (Method*, Object*, Thread*, LR)
Elliott Hughes7ac7e322014-06-27 17:20:59 -07001772 addl LITERAL(28), %esp // Pop arguments upto saved Method*.
Christopher Ferris9f5e1d92015-07-13 12:21:00 -07001773 CFI_ADJUST_CFA_OFFSET(-28)
Mark P Mendell966c3ae2015-01-27 15:45:27 +00001774 movl 60(%esp), %edi // Restore edi.
1775 movl %eax, 60(%esp) // Place code* over edi, just under return pc.
Elliott Hughes7ac7e322014-06-27 17:20:59 -07001776 movl SYMBOL(art_quick_instrumentation_exit)@GOT(%ebx), %ebx
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001777 // Place instrumentation exit as return pc. ebx holds the GOT computed on entry.
Mark P Mendell966c3ae2015-01-27 15:45:27 +00001778 movl %ebx, 64(%esp)
1779 movl 0(%esp), %eax // Restore eax.
1780 // Restore FPRs (extra 4 bytes of offset due to EAX push at top).
1781 movsd 8(%esp), %xmm0
1782 movsd 16(%esp), %xmm1
1783 movsd 24(%esp), %xmm2
1784 movsd 32(%esp), %xmm3
1785
1786 // Restore GPRs.
1787 movl 40(%esp), %ecx // Restore ecx.
Sebastien Hertzf551d1b2015-02-19 10:30:48 +01001788 movl 44(%esp), %edx // Restore edx.
Mark P Mendell966c3ae2015-01-27 15:45:27 +00001789 movl 48(%esp), %ebx // Restore ebx.
1790 movl 52(%esp), %ebp // Restore ebp.
1791 movl 56(%esp), %esi // Restore esi.
1792 addl LITERAL(60), %esp // Wind stack back upto code*.
Christopher Ferris9f5e1d92015-07-13 12:21:00 -07001793 CFI_ADJUST_CFA_OFFSET(-60)
Ian Rogers62d6c772013-02-27 08:32:07 -08001794 ret // Call method (and pop).
Ian Rogers468532e2013-08-05 10:56:33 -07001795END_FUNCTION art_quick_instrumentation_entry
Ian Rogers62d6c772013-02-27 08:32:07 -08001796
Ian Rogers468532e2013-08-05 10:56:33 -07001797DEFINE_FUNCTION art_quick_instrumentation_exit
Ian Rogers62d6c772013-02-27 08:32:07 -08001798 pushl LITERAL(0) // Push a fake return PC as there will be none on the stack.
Christopher Ferris9f5e1d92015-07-13 12:21:00 -07001799 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001800 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx
Ian Rogers62d6c772013-02-27 08:32:07 -08001801 mov %esp, %ecx // Remember SP
1802 subl LITERAL(8), %esp // Save float return value.
Mark Mendell3f2d0312014-01-20 17:20:27 -08001803 CFI_ADJUST_CFA_OFFSET(8)
Andreas Gampefea29012014-07-23 10:05:02 -07001804 movq %xmm0, (%esp)
Ian Rogers62d6c772013-02-27 08:32:07 -08001805 PUSH edx // Save gpr return value.
1806 PUSH eax
Jeff Haocf2e7b02014-07-22 18:38:42 -07001807 subl LITERAL(16), %esp // Align stack
1808 CFI_ADJUST_CFA_OFFSET(16)
Andreas Gampefea29012014-07-23 10:05:02 -07001809 movq %xmm0, (%esp) // Pass float return value.
Ian Rogers62d6c772013-02-27 08:32:07 -08001810 PUSH edx // Pass gpr return value.
1811 PUSH eax
1812 PUSH ecx // Pass SP.
1813 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current.
Mark Mendell3f2d0312014-01-20 17:20:27 -08001814 CFI_ADJUST_CFA_OFFSET(4)
Andreas Gampe29b38412014-08-13 00:15:43 -07001815 call SYMBOL(artInstrumentationMethodExitFromCode) // (Thread*, SP, gpr_result, fpr_result)
Ian Rogers62d6c772013-02-27 08:32:07 -08001816 mov %eax, %ecx // Move returned link register.
1817 addl LITERAL(32), %esp // Pop arguments.
Mark Mendell3f2d0312014-01-20 17:20:27 -08001818 CFI_ADJUST_CFA_OFFSET(-32)
Ian Rogers62d6c772013-02-27 08:32:07 -08001819 movl %edx, %ebx // Move returned link register for deopt
1820 // (ebx is pretending to be our LR).
1821 POP eax // Restore gpr return value.
1822 POP edx
Andreas Gampefea29012014-07-23 10:05:02 -07001823 movq (%esp), %xmm0 // Restore fpr return value.
Ian Rogers62d6c772013-02-27 08:32:07 -08001824 addl LITERAL(8), %esp
Mark Mendell3f2d0312014-01-20 17:20:27 -08001825 CFI_ADJUST_CFA_OFFSET(-8)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001826 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME
Ian Rogers62d6c772013-02-27 08:32:07 -08001827 addl LITERAL(4), %esp // Remove fake return pc.
Christopher Ferris9f5e1d92015-07-13 12:21:00 -07001828 CFI_ADJUST_CFA_OFFSET(-4)
Ian Rogers62d6c772013-02-27 08:32:07 -08001829 jmp *%ecx // Return.
Ian Rogers468532e2013-08-05 10:56:33 -07001830END_FUNCTION art_quick_instrumentation_exit
jeffhao162fd332013-01-08 16:21:01 -08001831
jeffhao7e4fcb82013-01-10 18:11:08 -08001832 /*
Ian Rogers62d6c772013-02-27 08:32:07 -08001833 * Instrumentation has requested that we deoptimize into the interpreter. The deoptimization
1834 * will long jump to the upcall with a special exception of -1.
jeffhao7e4fcb82013-01-10 18:11:08 -08001835 */
Logan Chien8dbb7082013-01-25 20:31:17 +08001836DEFINE_FUNCTION art_quick_deoptimize
Christopher Ferris9f5e1d92015-07-13 12:21:00 -07001837 PUSH ebx // Entry point for a jump. Fake that we were called.
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001838 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx
1839 subl LITERAL(12), %esp // Align stack.
1840 CFI_ADJUST_CFA_OFFSET(12)
Ian Rogers62d6c772013-02-27 08:32:07 -08001841 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current().
Mark Mendell3f2d0312014-01-20 17:20:27 -08001842 CFI_ADJUST_CFA_OFFSET(4)
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001843 call SYMBOL(artDeoptimize) // artDeoptimize(Thread*)
Andreas Gampe4360be22015-07-14 23:34:44 -07001844 UNREACHABLE
Ian Rogersaeeada42013-02-13 11:28:34 -08001845END_FUNCTION art_quick_deoptimize
jeffhao162fd332013-01-08 16:21:01 -08001846
jeffhao86e46712012-08-08 17:30:59 -07001847 /*
Sebastien Hertz07474662015-08-25 15:12:33 +00001848 * Compiled code has requested that we deoptimize into the interpreter. The deoptimization
Andreas Gampe639bdd12015-06-03 11:22:45 -07001849 * will long jump to the interpreter bridge.
Sebastien Hertz07474662015-08-25 15:12:33 +00001850 */
1851DEFINE_FUNCTION art_quick_deoptimize_from_compiled_code
1852 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx
1853 subl LITERAL(12), %esp // Align stack.
1854 CFI_ADJUST_CFA_OFFSET(12)
1855 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current().
1856 CFI_ADJUST_CFA_OFFSET(4)
1857 call SYMBOL(artDeoptimizeFromCompiledCode) // artDeoptimizeFromCompiledCode(Thread*)
1858 UNREACHABLE
1859END_FUNCTION art_quick_deoptimize_from_compiled_code
1860
1861 /*
jeffhao86e46712012-08-08 17:30:59 -07001862 * String's compareTo.
1863 *
1864 * On entry:
1865 * eax: this string object (known non-null)
1866 * ecx: comp string object (known non-null)
1867 */
Logan Chien8dbb7082013-01-25 20:31:17 +08001868DEFINE_FUNCTION art_quick_string_compareto
Andreas Gampe4360be22015-07-14 23:34:44 -07001869 PUSH esi // push callee save reg
1870 PUSH edi // push callee save reg
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001871 mov MIRROR_STRING_COUNT_OFFSET(%eax), %edx
1872 mov MIRROR_STRING_COUNT_OFFSET(%ecx), %ebx
Jeff Hao848f70a2014-01-15 13:49:50 -08001873 lea MIRROR_STRING_VALUE_OFFSET(%eax), %esi
1874 lea MIRROR_STRING_VALUE_OFFSET(%ecx), %edi
jeffhao86e46712012-08-08 17:30:59 -07001875 /* Calculate min length and count diff */
1876 mov %edx, %ecx
1877 mov %edx, %eax
1878 subl %ebx, %eax
1879 cmovg %ebx, %ecx
1880 /*
1881 * At this point we have:
1882 * eax: value to return if first part of strings are equal
1883 * ecx: minimum among the lengths of the two strings
1884 * esi: pointer to this string data
1885 * edi: pointer to comp string data
1886 */
Alexei Zavjalov4554bfd2014-02-26 17:28:35 +07001887 jecxz .Lkeep_length
jeffhao86e46712012-08-08 17:30:59 -07001888 repe cmpsw // find nonmatching chars in [%esi] and [%edi], up to length %ecx
Ian Rogers8016a122014-02-21 20:37:21 -08001889 jne .Lnot_equal
Alexei Zavjalov4554bfd2014-02-26 17:28:35 +07001890.Lkeep_length:
Ian Rogersaeeada42013-02-13 11:28:34 -08001891 POP edi // pop callee save reg
1892 POP esi // pop callee save reg
jeffhao86e46712012-08-08 17:30:59 -07001893 ret
1894 .balign 16
Ian Rogers8016a122014-02-21 20:37:21 -08001895.Lnot_equal:
Ian Rogers1b09b092012-08-20 15:35:52 -07001896 movzwl -2(%esi), %eax // get last compared char from this string
1897 movzwl -2(%edi), %ecx // get last compared char from comp string
jeffhao86e46712012-08-08 17:30:59 -07001898 subl %ecx, %eax // return the difference
Ian Rogersaeeada42013-02-13 11:28:34 -08001899 POP edi // pop callee save reg
1900 POP esi // pop callee save reg
jeffhao86e46712012-08-08 17:30:59 -07001901 ret
Ian Rogersaeeada42013-02-13 11:28:34 -08001902END_FUNCTION art_quick_string_compareto
jeffhao86e46712012-08-08 17:30:59 -07001903
Dave Allison8ce6b902014-08-26 11:07:58 -07001904// Return from a nested signal:
1905// Entry:
1906// eax: address of jmp_buf in TLS
1907
1908DEFINE_FUNCTION art_nested_signal_return
Ian Rogers1d8cdbc2014-09-22 22:51:09 -07001909 SETUP_GOT_NOSAVE ebx // sets %ebx for call into PLT
Dave Allison8ce6b902014-08-26 11:07:58 -07001910 movl LITERAL(1), %ecx
Christopher Ferris9f5e1d92015-07-13 12:21:00 -07001911 PUSH ecx // second arg to longjmp (1)
1912 PUSH eax // first arg to longjmp (jmp_buf)
Dave Allison8ce6b902014-08-26 11:07:58 -07001913 call PLT_SYMBOL(longjmp)
Andreas Gampe4360be22015-07-14 23:34:44 -07001914 UNREACHABLE
Dave Allison8ce6b902014-08-26 11:07:58 -07001915END_FUNCTION art_nested_signal_return
1916
Roland Levillain02b75802016-07-13 11:54:35 +01001917// Create a function `name` calling the ReadBarrier::Mark routine,
1918// getting its argument and returning its result through register
Roland Levillain4359e612016-07-20 11:32:19 +01001919// `reg`, saving and restoring all caller-save registers.
1920//
1921// If `reg` is different from `eax`, the generated function follows a
1922// non-standard runtime calling convention:
1923// - register `reg` is used to pass the (sole) argument of this function
Roland Levillain02b75802016-07-13 11:54:35 +01001924// (instead of EAX);
Roland Levillain4359e612016-07-20 11:32:19 +01001925// - register `reg` is used to return the result of this function
1926// (instead of EAX);
Roland Levillain02b75802016-07-13 11:54:35 +01001927// - EAX is treated like a normal (non-argument) caller-save register;
1928// - everything else is the same as in the standard runtime calling
Roland Levillain4359e612016-07-20 11:32:19 +01001929// convention (e.g. standard callee-save registers are preserved).
Roland Levillain02b75802016-07-13 11:54:35 +01001930MACRO2(READ_BARRIER_MARK_REG, name, reg)
1931 DEFINE_FUNCTION VAR(name)
Mathieu Chartier36a270a2016-07-28 18:08:51 -07001932 // Null check so that we can load the lock word.
1933 test REG_VAR(reg), REG_VAR(reg)
1934 jz .Lret_rb_\name
1935 // Check the mark bit, if it is 1 return.
1936 testl LITERAL(LOCK_WORD_MARK_BIT_MASK_SHIFTED), MIRROR_OBJECT_LOCK_WORD_OFFSET(REG_VAR(reg))
1937 jz .Lslow_rb_\name
1938 ret
1939.Lslow_rb_\name:
Roland Levillain4359e612016-07-20 11:32:19 +01001940 // Save all potentially live caller-save core registers.
1941 PUSH eax
1942 PUSH ecx
1943 PUSH edx
1944 PUSH ebx
1945 // 8-byte align the stack to improve (8-byte) XMM register saving and restoring.
1946 // and create space for caller-save floating-point registers.
1947 subl MACRO_LITERAL(4 + 8 * 8), %esp
1948 CFI_ADJUST_CFA_OFFSET(4 + 8 * 8)
1949 // Save all potentially live caller-save floating-point registers.
1950 movsd %xmm0, 0(%esp)
1951 movsd %xmm1, 8(%esp)
1952 movsd %xmm2, 16(%esp)
1953 movsd %xmm3, 24(%esp)
1954 movsd %xmm4, 32(%esp)
1955 movsd %xmm5, 40(%esp)
1956 movsd %xmm6, 48(%esp)
1957 movsd %xmm7, 56(%esp)
1958
1959 subl LITERAL(4), %esp // alignment padding
1960 CFI_ADJUST_CFA_OFFSET(4)
Roland Levillain02b75802016-07-13 11:54:35 +01001961 PUSH RAW_VAR(reg) // pass arg1 - obj from `reg`
1962 call SYMBOL(artReadBarrierMark) // artReadBarrierMark(obj)
Roland Levillain4359e612016-07-20 11:32:19 +01001963 .ifnc RAW_VAR(reg), eax
1964 movl %eax, REG_VAR(reg) // return result into `reg`
1965 .endif
1966 addl LITERAL(8), %esp // pop argument and remove padding
1967 CFI_ADJUST_CFA_OFFSET(-8)
1968
1969 // Restore floating-point registers.
1970 movsd 0(%esp), %xmm0
1971 movsd 8(%esp), %xmm1
1972 movsd 16(%esp), %xmm2
1973 movsd 24(%esp), %xmm3
1974 movsd 32(%esp), %xmm4
1975 movsd 40(%esp), %xmm5
1976 movsd 48(%esp), %xmm6
1977 movsd 56(%esp), %xmm7
1978 // Remove floating-point registers and padding.
1979 addl MACRO_LITERAL(8 * 8 + 4), %esp
1980 CFI_ADJUST_CFA_OFFSET(-(8 * 8 + 4))
1981 // Restore core regs, except `reg`, as it is used to return the
1982 // result of this function (simply remove it from the stack instead).
1983 POP_REG_NE ebx, RAW_VAR(reg)
1984 POP_REG_NE edx, RAW_VAR(reg)
1985 POP_REG_NE ecx, RAW_VAR(reg)
1986 POP_REG_NE eax, RAW_VAR(reg)
Mathieu Chartier36a270a2016-07-28 18:08:51 -07001987.Lret_rb_\name:
Roland Levillain02b75802016-07-13 11:54:35 +01001988 ret
1989 END_FUNCTION VAR(name)
1990END_MACRO
1991
Roland Levillain4359e612016-07-20 11:32:19 +01001992READ_BARRIER_MARK_REG art_quick_read_barrier_mark_reg00, eax
Roland Levillain02b75802016-07-13 11:54:35 +01001993READ_BARRIER_MARK_REG art_quick_read_barrier_mark_reg01, ecx
1994READ_BARRIER_MARK_REG art_quick_read_barrier_mark_reg02, edx
1995READ_BARRIER_MARK_REG art_quick_read_barrier_mark_reg03, ebx
1996READ_BARRIER_MARK_REG art_quick_read_barrier_mark_reg05, ebp
1997// Note: There is no art_quick_read_barrier_mark_reg04, as register 4 (ESP)
1998// cannot be used to pass arguments.
1999READ_BARRIER_MARK_REG art_quick_read_barrier_mark_reg06, esi
2000READ_BARRIER_MARK_REG art_quick_read_barrier_mark_reg07, edi
Roland Levillain7c1559a2015-12-15 10:55:36 +00002001
Man Cao1aee9002015-07-14 22:31:42 -07002002DEFINE_FUNCTION art_quick_read_barrier_slow
Roland Levillain0d5a2812015-11-13 10:07:31 +00002003 PUSH edx // pass arg3 - offset
2004 PUSH ecx // pass arg2 - obj
2005 PUSH eax // pass arg1 - ref
2006 call SYMBOL(artReadBarrierSlow) // artReadBarrierSlow(ref, obj, offset)
2007 addl LITERAL(12), %esp // pop arguments
Man Cao1aee9002015-07-14 22:31:42 -07002008 CFI_ADJUST_CFA_OFFSET(-12)
2009 ret
2010END_FUNCTION art_quick_read_barrier_slow
2011
Roland Levillain0d5a2812015-11-13 10:07:31 +00002012DEFINE_FUNCTION art_quick_read_barrier_for_root_slow
Roland Levillaina7821bf2016-06-30 16:21:31 +01002013 subl LITERAL(8), %esp // alignment padding
2014 CFI_ADJUST_CFA_OFFSET(8)
Roland Levillain0d5a2812015-11-13 10:07:31 +00002015 PUSH eax // pass arg1 - root
2016 call SYMBOL(artReadBarrierForRootSlow) // artReadBarrierForRootSlow(root)
Roland Levillaina7821bf2016-06-30 16:21:31 +01002017 addl LITERAL(12), %esp // pop argument and remove padding
2018 CFI_ADJUST_CFA_OFFSET(-12)
Roland Levillain0d5a2812015-11-13 10:07:31 +00002019 ret
2020END_FUNCTION art_quick_read_barrier_for_root_slow
2021
Nicolas Geoffrayb331feb2016-02-05 16:51:53 +00002022 /*
2023 * On stack replacement stub.
2024 * On entry:
2025 * [sp] = return address
2026 * [sp + 4] = stack to copy
2027 * [sp + 8] = size of stack
2028 * [sp + 12] = pc to call
2029 * [sp + 16] = JValue* result
2030 * [sp + 20] = shorty
2031 * [sp + 24] = thread
2032 */
2033DEFINE_FUNCTION art_quick_osr_stub
2034 // Save native callee saves.
2035 PUSH ebp
2036 PUSH ebx
2037 PUSH esi
2038 PUSH edi
2039 mov 4+16(%esp), %esi // ESI = argument array
2040 mov 8+16(%esp), %ecx // ECX = size of args
2041 mov 12+16(%esp), %ebx // EBX = pc to call
2042 mov %esp, %ebp // Save stack pointer
2043 andl LITERAL(0xFFFFFFF0), %esp // Align stack
2044 PUSH ebp // Save old stack pointer
2045 subl LITERAL(12), %esp // Align stack
2046 movl LITERAL(0), (%esp) // Store null for ArtMethod* slot
2047 call .Losr_entry
2048
2049 // Restore stack pointer.
2050 addl LITERAL(12), %esp
2051 POP ebp
2052 mov %ebp, %esp
2053
2054 // Restore callee saves.
2055 POP edi
2056 POP esi
2057 POP ebx
2058 POP ebp
2059 mov 16(%esp), %ecx // Get JValue result
2060 mov %eax, (%ecx) // Store the result assuming it is a long, int or Object*
2061 mov %edx, 4(%ecx) // Store the other half of the result
2062 mov 20(%esp), %edx // Get the shorty
2063 cmpb LITERAL(68), (%edx) // Test if result type char == 'D'
2064 je .Losr_return_double_quick
2065 cmpb LITERAL(70), (%edx) // Test if result type char == 'F'
2066 je .Losr_return_float_quick
2067 ret
2068.Losr_return_double_quick:
2069 movsd %xmm0, (%ecx) // Store the floating point result
2070 ret
2071.Losr_return_float_quick:
2072 movss %xmm0, (%ecx) // Store the floating point result
2073 ret
2074.Losr_entry:
2075 subl LITERAL(4), %ecx // Given stack size contains pushed frame pointer, substract it.
2076 subl %ecx, %esp
2077 mov %esp, %edi // EDI = beginning of stack
2078 rep movsb // while (ecx--) { *edi++ = *esi++ }
2079 jmp *%ebx
2080END_FUNCTION art_quick_osr_stub
2081
Elliott Hughes787ec202012-03-29 17:14:15 -07002082 // TODO: implement these!
Logan Chien8dbb7082013-01-25 20:31:17 +08002083UNIMPLEMENTED art_quick_memcmp16