quick_entrypoints_x86.S revision 34eda1dd66b92a361797c63d57fa19e83c08a1b4
1/* 2 * Copyright (C) 2012 The Android Open Source Project 3 * 4 * Licensed under the Apache License, Version 2.0 (the "License"); 5 * you may not use this file except in compliance with the License. 6 * You may obtain a copy of the License at 7 * 8 * http://www.apache.org/licenses/LICENSE-2.0 9 * 10 * Unless required by applicable law or agreed to in writing, software 11 * distributed under the License is distributed on an "AS IS" BASIS, 12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 13 * See the License for the specific language governing permissions and 14 * limitations under the License. 15 */ 16 17#include "asm_support_x86.S" 18 19// For x86, the CFA is esp+4, the address above the pushed return address on the stack. 20 21 /* 22 * Macro that sets up the callee save frame to conform with 23 * Runtime::CreateCalleeSaveMethod(kSaveAll) 24 */ 25MACRO2(SETUP_SAVE_ALL_CALLEE_SAVE_FRAME, got_reg, temp_reg) 26 PUSH edi // Save callee saves (ebx is saved/restored by the upcall) 27 PUSH esi 28 PUSH ebp 29 subl MACRO_LITERAL(12), %esp // Grow stack by 3 words. 30 CFI_ADJUST_CFA_OFFSET(12) 31 SETUP_GOT_NOSAVE RAW_VAR(got_reg, 0) 32 // Load Runtime::instance_ from GOT. 33 movl SYMBOL(_ZN3art7Runtime9instance_E)@GOT(REG_VAR(got_reg, 0)), REG_VAR(temp_reg, 1) 34 movl (REG_VAR(temp_reg, 1)), REG_VAR(temp_reg, 1) 35 // Push save all callee-save method. 36 pushl RUNTIME_SAVE_ALL_CALLEE_SAVE_FRAME_OFFSET(REG_VAR(temp_reg, 1)) 37 CFI_ADJUST_CFA_OFFSET(4) 38 // Store esp as the top quick frame. 39 movl %esp, %fs:THREAD_TOP_QUICK_FRAME_OFFSET 40 // Ugly compile-time check, but we only have the preprocessor. 41 // Last +4: implicit return address pushed on stack when caller made call. 42#if (FRAME_SIZE_SAVE_ALL_CALLEE_SAVE != 3*4 + 16 + 4) 43#error "SAVE_ALL_CALLEE_SAVE_FRAME(X86) size not as expected." 44#endif 45END_MACRO 46 47 /* 48 * Macro that sets up the callee save frame to conform with 49 * Runtime::CreateCalleeSaveMethod(kRefsOnly) 50 */ 51MACRO2(SETUP_REFS_ONLY_CALLEE_SAVE_FRAME, got_reg, temp_reg) 52 PUSH edi // Save callee saves (ebx is saved/restored by the upcall) 53 PUSH esi 54 PUSH ebp 55 subl MACRO_LITERAL(12), %esp // Grow stack by 3 words. 56 CFI_ADJUST_CFA_OFFSET(12) 57 SETUP_GOT_NOSAVE VAR(got_reg, 0) 58 // Load Runtime::instance_ from GOT. 59 movl SYMBOL(_ZN3art7Runtime9instance_E)@GOT(REG_VAR(got_reg, 0)), REG_VAR(temp_reg, 1) 60 movl (REG_VAR(temp_reg, 1)), REG_VAR(temp_reg, 1) 61 // Push save all callee-save method. 62 pushl RUNTIME_REFS_ONLY_CALLEE_SAVE_FRAME_OFFSET(REG_VAR(temp_reg, 1)) 63 CFI_ADJUST_CFA_OFFSET(4) 64 // Store esp as the top quick frame. 65 movl %esp, %fs:THREAD_TOP_QUICK_FRAME_OFFSET 66 67 // Ugly compile-time check, but we only have the preprocessor. 68 // Last +4: implicit return address pushed on stack when caller made call. 69#if (FRAME_SIZE_REFS_ONLY_CALLEE_SAVE != 3*4 + 16 + 4) 70#error "REFS_ONLY_CALLEE_SAVE_FRAME(X86) size not as expected." 71#endif 72END_MACRO 73 74MACRO0(RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME) 75 addl MACRO_LITERAL(16), %esp // Unwind stack up to saved values 76 CFI_ADJUST_CFA_OFFSET(-16) 77 POP ebp // Restore callee saves (ebx is saved/restored by the upcall) 78 POP esi 79 POP edi 80END_MACRO 81 82 /* 83 * Macro that sets up the callee save frame to conform with 84 * Runtime::CreateCalleeSaveMethod(kRefsAndArgs) 85 */ 86MACRO2(SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME, got_reg, temp_reg) 87 PUSH edi // Save callee saves 88 PUSH esi 89 PUSH ebp 90 PUSH ebx // Save args 91 PUSH edx 92 PUSH ecx 93 // Create space for FPR args. 94 subl MACRO_LITERAL(4 * 8), %esp 95 CFI_ADJUST_CFA_OFFSET(4 * 8) 96 // Save FPRs. 97 movsd %xmm0, 0(%esp) 98 movsd %xmm1, 8(%esp) 99 movsd %xmm2, 16(%esp) 100 movsd %xmm3, 24(%esp) 101 102 SETUP_GOT_NOSAVE VAR(got_reg, 0) 103 // Load Runtime::instance_ from GOT. 104 movl SYMBOL(_ZN3art7Runtime9instance_E)@GOT(REG_VAR(got_reg, 0)), REG_VAR(temp_reg, 1) 105 movl (REG_VAR(temp_reg, 1)), REG_VAR(temp_reg, 1) 106 // Push save all callee-save method. 107 pushl RUNTIME_REFS_AND_ARGS_CALLEE_SAVE_FRAME_OFFSET(REG_VAR(temp_reg, 1)) 108 CFI_ADJUST_CFA_OFFSET(4) 109 // Store esp as the stop quick frame. 110 movl %esp, %fs:THREAD_TOP_QUICK_FRAME_OFFSET 111 112 // Ugly compile-time check, but we only have the preprocessor. 113 // Last +4: implicit return address pushed on stack when caller made call. 114#if (FRAME_SIZE_REFS_AND_ARGS_CALLEE_SAVE != 7*4 + 4*8 + 4) 115#error "REFS_AND_ARGS_CALLEE_SAVE_FRAME(X86) size not as expected." 116#endif 117END_MACRO 118 119 /* 120 * Macro that sets up the callee save frame to conform with 121 * Runtime::CreateCalleeSaveMethod(kRefsAndArgs) where the method is passed in EAX. 122 */ 123MACRO0(SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME_WITH_METHOD_IN_EAX) 124 // Save callee and GPR args, mixed together to agree with core spills bitmap. 125 PUSH edi // Save callee saves 126 PUSH esi 127 PUSH ebp 128 PUSH ebx // Save args 129 PUSH edx 130 PUSH ecx 131 132 // Create space for FPR args. 133 subl MACRO_LITERAL(32), %esp 134 CFI_ADJUST_CFA_OFFSET(32) 135 136 // Save FPRs. 137 movsd %xmm0, 0(%esp) 138 movsd %xmm1, 8(%esp) 139 movsd %xmm2, 16(%esp) 140 movsd %xmm3, 24(%esp) 141 142 PUSH eax // Store the ArtMethod reference at the bottom of the stack. 143 // Store esp as the stop quick frame. 144 movl %esp, %fs:THREAD_TOP_QUICK_FRAME_OFFSET 145END_MACRO 146 147MACRO0(RESTORE_REFS_AND_ARGS_CALLEE_SAVE_FRAME) 148 // Restore FPRs. EAX is still on the stack. 149 movsd 4(%esp), %xmm0 150 movsd 12(%esp), %xmm1 151 movsd 20(%esp), %xmm2 152 movsd 28(%esp), %xmm3 153 154 addl MACRO_LITERAL(36), %esp // Remove FPRs and EAX. 155 CFI_ADJUST_CFA_OFFSET(-36) 156 157 POP ecx // Restore args except eax 158 POP edx 159 POP ebx 160 POP ebp // Restore callee saves 161 POP esi 162 POP edi 163END_MACRO 164 165// Restore register and jump to routine 166// Inputs: EDI contains pointer to code. 167// Notes: Need to pop EAX too (restores Method*) 168MACRO0(RESTORE_REFS_AND_ARGS_CALLEE_SAVE_FRAME_AND_JUMP) 169 POP eax // Restore Method* 170 171 // Restore FPRs. 172 movsd 0(%esp), %xmm0 173 movsd 8(%esp), %xmm1 174 movsd 16(%esp), %xmm2 175 movsd 24(%esp), %xmm3 176 177 addl MACRO_LITERAL(32), %esp // Remove FPRs. 178 CFI_ADJUST_CFA_OFFSET(-32) 179 180 POP ecx // Restore args except eax 181 POP edx 182 POP ebx 183 POP ebp // Restore callee saves 184 POP esi 185 xchgl 0(%esp),%edi // restore EDI and place code pointer as only value on stack 186 ret 187END_MACRO 188 189 /* 190 * Macro that set calls through to artDeliverPendingExceptionFromCode, where the pending 191 * exception is Thread::Current()->exception_. 192 */ 193MACRO0(DELIVER_PENDING_EXCEPTION) 194 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save callee saves for throw 195 // Outgoing argument set up 196 subl MACRO_LITERAL(12), %esp // Alignment padding 197 CFI_ADJUST_CFA_OFFSET(12) 198 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 199 CFI_ADJUST_CFA_OFFSET(4) 200 call SYMBOL(artDeliverPendingExceptionFromCode) // artDeliverPendingExceptionFromCode(Thread*) 201 int3 // unreached 202END_MACRO 203 204MACRO2(NO_ARG_RUNTIME_EXCEPTION, c_name, cxx_name) 205 DEFINE_FUNCTION RAW_VAR(c_name, 0) 206 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context 207 // Outgoing argument set up 208 subl MACRO_LITERAL(12), %esp // alignment padding 209 CFI_ADJUST_CFA_OFFSET(12) 210 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 211 CFI_ADJUST_CFA_OFFSET(4) 212 call VAR(cxx_name, 1) // cxx_name(Thread*) 213 int3 // unreached 214 END_FUNCTION RAW_VAR(c_name, 0) 215END_MACRO 216 217MACRO2(ONE_ARG_RUNTIME_EXCEPTION, c_name, cxx_name) 218 DEFINE_FUNCTION RAW_VAR(c_name, 0) 219 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context 220 mov %esp, %ecx 221 // Outgoing argument set up 222 subl MACRO_LITERAL(8), %esp // alignment padding 223 CFI_ADJUST_CFA_OFFSET(8) 224 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 225 CFI_ADJUST_CFA_OFFSET(4) 226 PUSH eax // pass arg1 227 call VAR(cxx_name, 1) // cxx_name(arg1, Thread*) 228 int3 // unreached 229 END_FUNCTION RAW_VAR(c_name, 0) 230END_MACRO 231 232MACRO2(TWO_ARG_RUNTIME_EXCEPTION, c_name, cxx_name) 233 DEFINE_FUNCTION RAW_VAR(c_name, 0) 234 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context 235 // Outgoing argument set up 236 PUSH eax // alignment padding 237 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 238 CFI_ADJUST_CFA_OFFSET(4) 239 PUSH ecx // pass arg2 240 PUSH eax // pass arg1 241 call VAR(cxx_name, 1) // cxx_name(arg1, arg2, Thread*) 242 int3 // unreached 243 END_FUNCTION RAW_VAR(c_name, 0) 244END_MACRO 245 246 /* 247 * Called by managed code to create and deliver a NullPointerException. 248 */ 249NO_ARG_RUNTIME_EXCEPTION art_quick_throw_null_pointer_exception, artThrowNullPointerExceptionFromCode 250 251 /* 252 * Called by managed code to create and deliver an ArithmeticException. 253 */ 254NO_ARG_RUNTIME_EXCEPTION art_quick_throw_div_zero, artThrowDivZeroFromCode 255 256 /* 257 * Called by managed code to create and deliver a StackOverflowError. 258 */ 259NO_ARG_RUNTIME_EXCEPTION art_quick_throw_stack_overflow, artThrowStackOverflowFromCode 260 261 /* 262 * Called by managed code, saves callee saves and then calls artThrowException 263 * that will place a mock Method* at the bottom of the stack. Arg1 holds the exception. 264 */ 265ONE_ARG_RUNTIME_EXCEPTION art_quick_deliver_exception, artDeliverExceptionFromCode 266 267 /* 268 * Called by managed code to create and deliver a NoSuchMethodError. 269 */ 270ONE_ARG_RUNTIME_EXCEPTION art_quick_throw_no_such_method, artThrowNoSuchMethodFromCode 271 272 /* 273 * Called by managed code to create and deliver an ArrayIndexOutOfBoundsException. Arg1 holds 274 * index, arg2 holds limit. 275 */ 276TWO_ARG_RUNTIME_EXCEPTION art_quick_throw_array_bounds, artThrowArrayBoundsFromCode 277 278 /* 279 * All generated callsites for interface invokes and invocation slow paths will load arguments 280 * as usual - except instead of loading arg0/r0 with the target Method*, arg0/r0 will contain 281 * the method_idx. This wrapper will save arg1-arg3, load the caller's Method*, align the 282 * stack and call the appropriate C helper. 283 * NOTE: "this" is first visible argument of the target, and so can be found in arg1/r1. 284 * 285 * The helper will attempt to locate the target and return a 64-bit result in r0/r1 consisting 286 * of the target Method* in r0 and method->code_ in r1. 287 * 288 * If unsuccessful, the helper will return NULL/NULL. There will bea pending exception in the 289 * thread and we branch to another stub to deliver it. 290 * 291 * On success this wrapper will restore arguments and *jump* to the target, leaving the lr 292 * pointing back to the original caller. 293 */ 294MACRO2(INVOKE_TRAMPOLINE, c_name, cxx_name) 295 DEFINE_FUNCTION RAW_VAR(c_name, 0) 296 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME ebx, ebx 297 movl %esp, %edx // remember SP 298 299 // Outgoing argument set up 300 subl MACRO_LITERAL(12), %esp // alignment padding 301 CFI_ADJUST_CFA_OFFSET(12) 302 PUSH edx // pass SP 303 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 304 CFI_ADJUST_CFA_OFFSET(4) 305 pushl 32+32(%edx) // pass caller Method* 306 CFI_ADJUST_CFA_OFFSET(4) 307 PUSH ecx // pass arg2 308 PUSH eax // pass arg1 309 call VAR(cxx_name, 1) // cxx_name(arg1, arg2, arg3, Thread*, SP) 310 movl %edx, %edi // save code pointer in EDI 311 addl MACRO_LITERAL(36), %esp // Pop arguments skip eax 312 CFI_ADJUST_CFA_OFFSET(-36) 313 314 // Restore FPRs. 315 movsd 0(%esp), %xmm0 316 movsd 8(%esp), %xmm1 317 movsd 16(%esp), %xmm2 318 movsd 24(%esp), %xmm3 319 320 // Remove space for FPR args. 321 addl MACRO_LITERAL(4 * 8), %esp 322 CFI_ADJUST_CFA_OFFSET(-4 * 8) 323 324 POP ecx // Restore args except eax 325 POP edx 326 POP ebx 327 POP ebp // Restore callee saves 328 POP esi 329 // Swap EDI callee save with code pointer. 330 xchgl %edi, (%esp) 331 testl %eax, %eax // Branch forward if exception pending. 332 jz 1f 333 // Tail call to intended method. 334 ret 3351: 336 addl MACRO_LITERAL(4), %esp // Pop code pointer off stack 337 CFI_ADJUST_CFA_OFFSET(-4) 338 DELIVER_PENDING_EXCEPTION 339 END_FUNCTION RAW_VAR(c_name, 0) 340END_MACRO 341 342INVOKE_TRAMPOLINE art_quick_invoke_interface_trampoline, artInvokeInterfaceTrampoline 343INVOKE_TRAMPOLINE art_quick_invoke_interface_trampoline_with_access_check, artInvokeInterfaceTrampolineWithAccessCheck 344 345INVOKE_TRAMPOLINE art_quick_invoke_static_trampoline_with_access_check, artInvokeStaticTrampolineWithAccessCheck 346INVOKE_TRAMPOLINE art_quick_invoke_direct_trampoline_with_access_check, artInvokeDirectTrampolineWithAccessCheck 347INVOKE_TRAMPOLINE art_quick_invoke_super_trampoline_with_access_check, artInvokeSuperTrampolineWithAccessCheck 348INVOKE_TRAMPOLINE art_quick_invoke_virtual_trampoline_with_access_check, artInvokeVirtualTrampolineWithAccessCheck 349 350 /* 351 * Helper for quick invocation stub to set up XMM registers. Assumes EBX == shorty, 352 * ECX == arg_array. Clobbers EBX, ECX and al. Branches to xmm_setup_finished if it encounters 353 * the end of the shorty. 354 */ 355MACRO2(LOOP_OVER_SHORTY_LOADING_XMMS, xmm_reg, finished) 3561: // LOOP 357 movb (%ebx), %al // al := *shorty 358 addl MACRO_LITERAL(1), %ebx // shorty++ 359 cmpb MACRO_LITERAL(0), %al // if (al == '\0') goto xmm_setup_finished 360 je VAR(finished, 1) 361 cmpb MACRO_LITERAL(68), %al // if (al == 'D') goto FOUND_DOUBLE 362 je 2f 363 cmpb MACRO_LITERAL(70), %al // if (al == 'F') goto FOUND_FLOAT 364 je 3f 365 addl MACRO_LITERAL(4), %ecx // arg_array++ 366 // Handle extra space in arg array taken by a long. 367 cmpb MACRO_LITERAL(74), %al // if (al != 'J') goto LOOP 368 jne 1b 369 addl MACRO_LITERAL(4), %ecx // arg_array++ 370 jmp 1b // goto LOOP 3712: // FOUND_DOUBLE 372 movsd (%ecx), REG_VAR(xmm_reg, 0) 373 addl MACRO_LITERAL(8), %ecx // arg_array+=2 374 jmp 4f 3753: // FOUND_FLOAT 376 movss (%ecx), REG_VAR(xmm_reg, 0) 377 addl MACRO_LITERAL(4), %ecx // arg_array++ 3784: 379END_MACRO 380 381 /* 382 * Helper for quick invocation stub to set up GPR registers. Assumes ESI == shorty, 383 * EDI == arg_array. Clobbers ESI, EDI and al. Branches to gpr_setup_finished if it encounters 384 * the end of the shorty. 385 */ 386MACRO1(SKIP_OVER_FLOATS, finished) 3871: // LOOP 388 movb (%esi), %al // al := *shorty 389 addl MACRO_LITERAL(1), %esi // shorty++ 390 cmpb MACRO_LITERAL(0), %al // if (al == '\0') goto gpr_setup_finished 391 je VAR(finished, 2) 392 cmpb MACRO_LITERAL(70), %al // if (al == 'F') goto SKIP_FLOAT 393 je 3f 394 cmpb MACRO_LITERAL(68), %al // if (al == 'D') goto SKIP_DOUBLE 395 je 4f 396 jmp 5f 3973: // SKIP_FLOAT 398 addl MACRO_LITERAL(4), %edi // arg_array++ 399 jmp 1b 4004: // SKIP_DOUBLE 401 addl MACRO_LITERAL(8), %edi // arg_array+=2 402 jmp 1b 4035: 404END_MACRO 405 406 /* 407 * Quick invocation stub (non-static). 408 * On entry: 409 * [sp] = return address 410 * [sp + 4] = method pointer 411 * [sp + 8] = argument array or NULL for no argument methods 412 * [sp + 12] = size of argument array in bytes 413 * [sp + 16] = (managed) thread pointer 414 * [sp + 20] = JValue* result 415 * [sp + 24] = shorty 416 */ 417DEFINE_FUNCTION art_quick_invoke_stub 418 // Set up argument XMM registers. 419 mov 24(%esp), %ebx // EBX := shorty + 1 ; ie skip return arg character. 420 addl LITERAL(1), %ebx 421 mov 8(%esp), %ecx // ECX := arg_array + 4 ; ie skip this pointer. 422 addl LITERAL(4), %ecx 423 LOOP_OVER_SHORTY_LOADING_XMMS xmm0, .Lxmm_setup_finished 424 LOOP_OVER_SHORTY_LOADING_XMMS xmm1, .Lxmm_setup_finished 425 LOOP_OVER_SHORTY_LOADING_XMMS xmm2, .Lxmm_setup_finished 426 LOOP_OVER_SHORTY_LOADING_XMMS xmm3, .Lxmm_setup_finished 427 .balign 16 428.Lxmm_setup_finished: 429 PUSH ebp // save ebp 430 PUSH ebx // save ebx 431 PUSH esi // save esi 432 PUSH edi // save edi 433 mov %esp, %ebp // copy value of stack pointer into base pointer 434 CFI_DEF_CFA_REGISTER(ebp) 435 mov 28(%ebp), %ebx // get arg array size 436 // reserve space for return addr, method*, ebx, ebp, esi, and edi in frame 437 addl LITERAL(36), %ebx 438 // align frame size to 16 bytes 439 andl LITERAL(0xFFFFFFF0), %ebx 440 subl LITERAL(20), %ebx // remove space for return address, ebx, ebp, esi and edi 441 subl %ebx, %esp // reserve stack space for argument array 442 443 movl LITERAL(0), (%esp) // store NULL for method* 444 445 // Copy arg array into stack. 446 movl 28(%ebp), %ecx // ECX = size of args 447 movl 24(%ebp), %esi // ESI = argument array 448 leal 4(%esp), %edi // EDI = just after Method* in stack arguments 449 rep movsb // while (ecx--) { *edi++ = *esi++ } 450 451 mov 40(%ebp), %esi // ESI := shorty + 1 ; ie skip return arg character. 452 addl LITERAL(1), %esi 453 mov 24(%ebp), %edi // EDI := arg_array 454 mov 0(%edi), %ecx // ECX := this pointer 455 addl LITERAL(4), %edi // EDI := arg_array + 4 ; ie skip this pointer. 456 457 // Enumerate the possible cases for loading GPRS. 458 // edx (and maybe ebx): 459 SKIP_OVER_FLOATS .Lgpr_setup_finished 460 cmpb LITERAL(74), %al // if (al == 'J') goto FOUND_LONG 461 je .LfirstLong 462 // Must be an integer value. 463 movl (%edi), %edx 464 addl LITERAL(4), %edi // arg_array++ 465 466 // Now check ebx 467 SKIP_OVER_FLOATS .Lgpr_setup_finished 468 // Must be first word of a long, or an integer. 469 movl (%edi), %ebx 470 jmp .Lgpr_setup_finished 471.LfirstLong: 472 movl (%edi), %edx 473 movl 4(%edi), %ebx 474 // Nothing left to load. 475.Lgpr_setup_finished: 476 mov 20(%ebp), %eax // move method pointer into eax 477 call *MIRROR_ART_METHOD_QUICK_CODE_OFFSET_32(%eax) // call the method 478 mov %ebp, %esp // restore stack pointer 479 CFI_DEF_CFA_REGISTER(esp) 480 POP edi // pop edi 481 POP esi // pop esi 482 POP ebx // pop ebx 483 POP ebp // pop ebp 484 mov 20(%esp), %ecx // get result pointer 485 mov %eax, (%ecx) // store the result assuming its a long, int or Object* 486 mov %edx, 4(%ecx) // store the other half of the result 487 mov 24(%esp), %edx // get the shorty 488 cmpb LITERAL(68), (%edx) // test if result type char == 'D' 489 je .Lreturn_double_quick 490 cmpb LITERAL(70), (%edx) // test if result type char == 'F' 491 je .Lreturn_float_quick 492 ret 493.Lreturn_double_quick: 494 movsd %xmm0, (%ecx) // store the floating point result 495 ret 496.Lreturn_float_quick: 497 movss %xmm0, (%ecx) // store the floating point result 498 ret 499END_FUNCTION art_quick_invoke_stub 500 501 /* 502 * Quick invocation stub (static). 503 * On entry: 504 * [sp] = return address 505 * [sp + 4] = method pointer 506 * [sp + 8] = argument array or NULL for no argument methods 507 * [sp + 12] = size of argument array in bytes 508 * [sp + 16] = (managed) thread pointer 509 * [sp + 20] = JValue* result 510 * [sp + 24] = shorty 511 */ 512DEFINE_FUNCTION art_quick_invoke_static_stub 513 // Set up argument XMM registers. 514 mov 24(%esp), %ebx // EBX := shorty + 1 ; ie skip return arg character. 515 addl LITERAL(1), %ebx 516 mov 8(%esp), %ecx // ECX := arg_array 517 LOOP_OVER_SHORTY_LOADING_XMMS xmm0, .Lxmm_setup_finished2 518 LOOP_OVER_SHORTY_LOADING_XMMS xmm1, .Lxmm_setup_finished2 519 LOOP_OVER_SHORTY_LOADING_XMMS xmm2, .Lxmm_setup_finished2 520 LOOP_OVER_SHORTY_LOADING_XMMS xmm3, .Lxmm_setup_finished2 521 .balign 16 522.Lxmm_setup_finished2: 523 PUSH ebp // save ebp 524 PUSH ebx // save ebx 525 PUSH esi // save esi 526 PUSH edi // save edi 527 mov %esp, %ebp // copy value of stack pointer into base pointer 528 CFI_DEF_CFA_REGISTER(ebp) 529 mov 28(%ebp), %ebx // get arg array size 530 // reserve space for return addr, method*, ebx, ebp, esi, and edi in frame 531 addl LITERAL(36), %ebx 532 // align frame size to 16 bytes 533 andl LITERAL(0xFFFFFFF0), %ebx 534 subl LITERAL(20), %ebx // remove space for return address, ebx, ebp, esi and edi 535 subl %ebx, %esp // reserve stack space for argument array 536 537 movl LITERAL(0), (%esp) // store NULL for method* 538 539 // Copy arg array into stack. 540 movl 28(%ebp), %ecx // ECX = size of args 541 movl 24(%ebp), %esi // ESI = argument array 542 leal 4(%esp), %edi // EDI = just after Method* in stack arguments 543 rep movsb // while (ecx--) { *edi++ = *esi++ } 544 545 mov 40(%ebp), %esi // ESI := shorty + 1 ; ie skip return arg character. 546 addl LITERAL(1), %esi 547 mov 24(%ebp), %edi // EDI := arg_array 548 549 // Enumerate the possible cases for loading GPRS. 550 // ecx (and maybe edx) 551 SKIP_OVER_FLOATS .Lgpr_setup_finished2 552 cmpb LITERAL(74), %al // if (al == 'J') goto FOUND_LONG 553 je .LfirstLong2 554 // Must be an integer value. Load into ECX. 555 movl (%edi), %ecx 556 addl LITERAL(4), %edi // arg_array++ 557 558 // Now check edx (and maybe ebx). 559 SKIP_OVER_FLOATS .Lgpr_setup_finished2 560 cmpb LITERAL(74), %al // if (al == 'J') goto FOUND_LONG 561 je .LSecondLong2 562 // Must be an integer. Load into EDX. 563 movl (%edi), %edx 564 addl LITERAL(4), %edi // arg_array++ 565 566 // Is there anything for ebx? 567 SKIP_OVER_FLOATS .Lgpr_setup_finished2 568 // First word of long or integer. Load into EBX. 569 movl (%edi), %ebx 570 jmp .Lgpr_setup_finished2 571.LSecondLong2: 572 // EDX:EBX is long. That is all. 573 movl (%edi), %edx 574 movl 4(%edi), %ebx 575 jmp .Lgpr_setup_finished2 576.LfirstLong2: 577 // ECX:EDX is a long 578 movl (%edi), %ecx 579 movl 4(%edi), %edx 580 addl LITERAL(8), %edi // arg_array += 2 581 582 // Anything for EBX? 583 SKIP_OVER_FLOATS .Lgpr_setup_finished2 584 // First word of long or integer. Load into EBX. 585 movl (%edi), %ebx 586 jmp .Lgpr_setup_finished2 587 // Nothing left to load. 588.Lgpr_setup_finished2: 589 mov 20(%ebp), %eax // move method pointer into eax 590 call *MIRROR_ART_METHOD_QUICK_CODE_OFFSET_32(%eax) // call the method 591 mov %ebp, %esp // restore stack pointer 592 CFI_DEF_CFA_REGISTER(esp) 593 POP edi // pop edi 594 POP esi // pop esi 595 POP ebx // pop ebx 596 POP ebp // pop ebp 597 mov 20(%esp), %ecx // get result pointer 598 mov %eax, (%ecx) // store the result assuming its a long, int or Object* 599 mov %edx, 4(%ecx) // store the other half of the result 600 mov 24(%esp), %edx // get the shorty 601 cmpb LITERAL(68), (%edx) // test if result type char == 'D' 602 je .Lreturn_double_quick2 603 cmpb LITERAL(70), (%edx) // test if result type char == 'F' 604 je .Lreturn_float_quick2 605 ret 606.Lreturn_double_quick2: 607 movsd %xmm0, (%ecx) // store the floating point result 608 ret 609.Lreturn_float_quick2: 610 movss %xmm0, (%ecx) // store the floating point result 611 ret 612END_FUNCTION art_quick_invoke_static_stub 613 614MACRO3(NO_ARG_DOWNCALL, c_name, cxx_name, return_macro) 615 DEFINE_FUNCTION RAW_VAR(c_name, 0) 616 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 617 // Outgoing argument set up 618 subl MACRO_LITERAL(12), %esp // push padding 619 CFI_ADJUST_CFA_OFFSET(12) 620 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 621 CFI_ADJUST_CFA_OFFSET(4) 622 call VAR(cxx_name, 1) // cxx_name(Thread*) 623 addl MACRO_LITERAL(16), %esp // pop arguments 624 CFI_ADJUST_CFA_OFFSET(-16) 625 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 626 CALL_MACRO(return_macro, 2) // return or deliver exception 627 END_FUNCTION RAW_VAR(c_name, 0) 628END_MACRO 629 630MACRO3(ONE_ARG_DOWNCALL, c_name, cxx_name, return_macro) 631 DEFINE_FUNCTION RAW_VAR(c_name, 0) 632 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 633 // Outgoing argument set up 634 subl MACRO_LITERAL(8), %esp // push padding 635 CFI_ADJUST_CFA_OFFSET(8) 636 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 637 CFI_ADJUST_CFA_OFFSET(4) 638 PUSH eax // pass arg1 639 call VAR(cxx_name, 1) // cxx_name(arg1, Thread*) 640 addl MACRO_LITERAL(16), %esp // pop arguments 641 CFI_ADJUST_CFA_OFFSET(-16) 642 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 643 CALL_MACRO(return_macro, 2) // return or deliver exception 644 END_FUNCTION RAW_VAR(c_name, 0) 645END_MACRO 646 647MACRO3(TWO_ARG_DOWNCALL, c_name, cxx_name, return_macro) 648 DEFINE_FUNCTION RAW_VAR(c_name, 0) 649 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 650 // Outgoing argument set up 651 PUSH eax // push padding 652 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 653 CFI_ADJUST_CFA_OFFSET(4) 654 PUSH ecx // pass arg2 655 PUSH eax // pass arg1 656 call VAR(cxx_name, 1) // cxx_name(arg1, arg2, Thread*) 657 addl MACRO_LITERAL(16), %esp // pop arguments 658 CFI_ADJUST_CFA_OFFSET(-16) 659 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 660 CALL_MACRO(return_macro, 2) // return or deliver exception 661 END_FUNCTION RAW_VAR(c_name, 0) 662END_MACRO 663 664MACRO3(THREE_ARG_DOWNCALL, c_name, cxx_name, return_macro) 665 DEFINE_FUNCTION RAW_VAR(c_name, 0) 666 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 667 // Outgoing argument set up 668 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 669 CFI_ADJUST_CFA_OFFSET(4) 670 PUSH edx // pass arg3 671 PUSH ecx // pass arg2 672 PUSH eax // pass arg1 673 call VAR(cxx_name, 1) // cxx_name(arg1, arg2, arg3, Thread*) 674 addl MACRO_LITERAL(16), %esp // pop arguments 675 CFI_ADJUST_CFA_OFFSET(-16) 676 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 677 CALL_MACRO(return_macro, 2) // return or deliver exception 678 END_FUNCTION RAW_VAR(c_name, 0) 679END_MACRO 680 681MACRO3(ONE_ARG_REF_DOWNCALL, c_name, cxx_name, return_macro) 682 DEFINE_FUNCTION RAW_VAR(c_name, 0) 683 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 684 // Outgoing argument set up 685 mov FRAME_SIZE_REFS_ONLY_CALLEE_SAVE(%esp), %ecx // get referrer 686 PUSH eax // push padding 687 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 688 CFI_ADJUST_CFA_OFFSET(4) 689 PUSH ecx // pass referrer 690 PUSH eax // pass arg1 691 call VAR(cxx_name, 1) // cxx_name(arg1, referrer, Thread*) 692 addl MACRO_LITERAL(16), %esp // pop arguments 693 CFI_ADJUST_CFA_OFFSET(-16) 694 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 695 CALL_MACRO(return_macro, 2) // return or deliver exception 696 END_FUNCTION RAW_VAR(c_name, 0) 697END_MACRO 698 699MACRO3(TWO_ARG_REF_DOWNCALL, c_name, cxx_name, return_macro) 700 DEFINE_FUNCTION RAW_VAR(c_name, 0) 701 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 702 // Outgoing argument set up 703 mov FRAME_SIZE_REFS_ONLY_CALLEE_SAVE(%esp), %edx // get referrer 704 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 705 CFI_ADJUST_CFA_OFFSET(4) 706 PUSH edx // pass referrer 707 PUSH ecx // pass arg2 708 PUSH eax // pass arg1 709 call VAR(cxx_name, 1) // cxx_name(arg1, arg2, referrer, Thread*) 710 addl MACRO_LITERAL(16), %esp // pop arguments 711 CFI_ADJUST_CFA_OFFSET(-16) 712 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 713 CALL_MACRO(return_macro, 2) // return or deliver exception 714 END_FUNCTION RAW_VAR(c_name, 0) 715END_MACRO 716 717MACRO3(THREE_ARG_REF_DOWNCALL, c_name, cxx_name, return_macro) 718 DEFINE_FUNCTION RAW_VAR(c_name, 0) 719 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 720 // Outgoing argument set up 721 mov FRAME_SIZE_REFS_ONLY_CALLEE_SAVE(%esp), %ebx // get referrer 722 subl MACRO_LITERAL(12), %esp // alignment padding 723 CFI_ADJUST_CFA_OFFSET(12) 724 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 725 CFI_ADJUST_CFA_OFFSET(4) 726 PUSH ebx // pass referrer 727 PUSH edx // pass arg3 728 PUSH ecx // pass arg2 729 PUSH eax // pass arg1 730 call VAR(cxx_name, 1) // cxx_name(arg1, arg2, arg3, referrer, Thread*) 731 addl LITERAL(32), %esp // pop arguments 732 CFI_ADJUST_CFA_OFFSET(-32) 733 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 734 CALL_MACRO(return_macro, 2) // return or deliver exception 735 END_FUNCTION RAW_VAR(c_name, 0) 736END_MACRO 737 738MACRO0(RETURN_IF_RESULT_IS_NON_ZERO) 739 testl %eax, %eax // eax == 0 ? 740 jz 1f // if eax == 0 goto 1 741 ret // return 7421: // deliver exception on current thread 743 DELIVER_PENDING_EXCEPTION 744END_MACRO 745 746MACRO0(RETURN_IF_EAX_ZERO) 747 testl %eax, %eax // eax == 0 ? 748 jnz 1f // if eax != 0 goto 1 749 ret // return 7501: // deliver exception on current thread 751 DELIVER_PENDING_EXCEPTION 752END_MACRO 753 754MACRO0(RETURN_OR_DELIVER_PENDING_EXCEPTION) 755 cmpl MACRO_LITERAL(0),%fs:THREAD_EXCEPTION_OFFSET // exception field == 0 ? 756 jne 1f // if exception field != 0 goto 1 757 ret // return 7581: // deliver exception on current thread 759 DELIVER_PENDING_EXCEPTION 760END_MACRO 761 762// Generate the allocation entrypoints for each allocator. 763// TODO: use arch/quick_alloc_entrypoints.S. Currently we don't as we need to use concatenation 764// macros to work around differences between OS/X's as and binutils as (OS/X lacks named arguments 765// to macros and the VAR macro won't concatenate arguments properly), this also breaks having 766// multi-line macros that use each other (hence using 1 macro per newline below). 767#define GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(c_suffix, cxx_suffix) \ 768 TWO_ARG_DOWNCALL art_quick_alloc_object ## c_suffix, artAllocObjectFromCode ## cxx_suffix, RETURN_IF_RESULT_IS_NON_ZERO 769#define GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(c_suffix, cxx_suffix) \ 770 TWO_ARG_DOWNCALL art_quick_alloc_object_resolved ## c_suffix, artAllocObjectFromCodeResolved ## cxx_suffix, RETURN_IF_RESULT_IS_NON_ZERO 771#define GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(c_suffix, cxx_suffix) \ 772 TWO_ARG_DOWNCALL art_quick_alloc_object_initialized ## c_suffix, artAllocObjectFromCodeInitialized ## cxx_suffix, RETURN_IF_RESULT_IS_NON_ZERO 773#define GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(c_suffix, cxx_suffix) \ 774 TWO_ARG_DOWNCALL art_quick_alloc_object_with_access_check ## c_suffix, artAllocObjectFromCodeWithAccessCheck ## cxx_suffix, RETURN_IF_RESULT_IS_NON_ZERO 775#define GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(c_suffix, cxx_suffix) \ 776 THREE_ARG_DOWNCALL art_quick_alloc_array ## c_suffix, artAllocArrayFromCode ## cxx_suffix, RETURN_IF_RESULT_IS_NON_ZERO 777#define GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(c_suffix, cxx_suffix) \ 778 THREE_ARG_DOWNCALL art_quick_alloc_array_resolved ## c_suffix, artAllocArrayFromCodeResolved ## cxx_suffix, RETURN_IF_RESULT_IS_NON_ZERO 779#define GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(c_suffix, cxx_suffix) \ 780 THREE_ARG_DOWNCALL art_quick_alloc_array_with_access_check ## c_suffix, artAllocArrayFromCodeWithAccessCheck ## cxx_suffix, RETURN_IF_RESULT_IS_NON_ZERO 781#define GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(c_suffix, cxx_suffix) \ 782 THREE_ARG_DOWNCALL art_quick_check_and_alloc_array ## c_suffix, artCheckAndAllocArrayFromCode ## cxx_suffix, RETURN_IF_RESULT_IS_NON_ZERO 783#define GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(c_suffix, cxx_suffix) \ 784 THREE_ARG_DOWNCALL art_quick_check_and_alloc_array_with_access_check ## c_suffix, artCheckAndAllocArrayFromCodeWithAccessCheck ## cxx_suffix, RETURN_IF_RESULT_IS_NON_ZERO 785 786GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_dlmalloc, DlMalloc) 787GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_dlmalloc, DlMalloc) 788GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_dlmalloc, DlMalloc) 789GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_dlmalloc, DlMalloc) 790GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_dlmalloc, DlMalloc) 791GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_dlmalloc, DlMalloc) 792GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_dlmalloc, DlMalloc) 793GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_dlmalloc, DlMalloc) 794GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_dlmalloc, DlMalloc) 795 796GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_dlmalloc_instrumented, DlMallocInstrumented) 797GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_dlmalloc_instrumented, DlMallocInstrumented) 798GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_dlmalloc_instrumented, DlMallocInstrumented) 799GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_dlmalloc_instrumented, DlMallocInstrumented) 800GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_dlmalloc_instrumented, DlMallocInstrumented) 801GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_dlmalloc_instrumented, DlMallocInstrumented) 802GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_dlmalloc_instrumented, DlMallocInstrumented) 803GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_dlmalloc_instrumented, DlMallocInstrumented) 804GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_dlmalloc_instrumented, DlMallocInstrumented) 805 806GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_rosalloc, RosAlloc) 807GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_rosalloc, RosAlloc) 808GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_rosalloc, RosAlloc) 809GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_rosalloc, RosAlloc) 810GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_rosalloc, RosAlloc) 811GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_rosalloc, RosAlloc) 812GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_rosalloc, RosAlloc) 813GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_rosalloc, RosAlloc) 814GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_rosalloc, RosAlloc) 815 816GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_rosalloc_instrumented, RosAllocInstrumented) 817GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_rosalloc_instrumented, RosAllocInstrumented) 818GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_rosalloc_instrumented, RosAllocInstrumented) 819GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_rosalloc_instrumented, RosAllocInstrumented) 820GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_rosalloc_instrumented, RosAllocInstrumented) 821GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_rosalloc_instrumented, RosAllocInstrumented) 822GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_rosalloc_instrumented, RosAllocInstrumented) 823GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_rosalloc_instrumented, RosAllocInstrumented) 824GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_rosalloc_instrumented, RosAllocInstrumented) 825 826GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_bump_pointer, BumpPointer) 827GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_bump_pointer, BumpPointer) 828GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_bump_pointer, BumpPointer) 829GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_bump_pointer, BumpPointer) 830GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_bump_pointer, BumpPointer) 831GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_bump_pointer, BumpPointer) 832GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_bump_pointer, BumpPointer) 833GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_bump_pointer, BumpPointer) 834GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_bump_pointer, BumpPointer) 835 836GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_bump_pointer_instrumented, BumpPointerInstrumented) 837GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_bump_pointer_instrumented, BumpPointerInstrumented) 838GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_bump_pointer_instrumented, BumpPointerInstrumented) 839GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_bump_pointer_instrumented, BumpPointerInstrumented) 840GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_bump_pointer_instrumented, BumpPointerInstrumented) 841GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_bump_pointer_instrumented, BumpPointerInstrumented) 842GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_bump_pointer_instrumented, BumpPointerInstrumented) 843GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_bump_pointer_instrumented, BumpPointerInstrumented) 844GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_bump_pointer_instrumented, BumpPointerInstrumented) 845 846GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_tlab, TLAB) 847GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_tlab, TLAB) 848GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_tlab, TLAB) 849GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_tlab, TLAB) 850GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_tlab, TLAB) 851GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_tlab, TLAB) 852GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_tlab, TLAB) 853GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_tlab, TLAB) 854GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_tlab, TLAB) 855 856GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_tlab_instrumented, TLABInstrumented) 857GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_tlab_instrumented, TLABInstrumented) 858GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_tlab_instrumented, TLABInstrumented) 859GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_tlab_instrumented, TLABInstrumented) 860GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_tlab_instrumented, TLABInstrumented) 861GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_tlab_instrumented, TLABInstrumented) 862GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_tlab_instrumented, TLABInstrumented) 863GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_tlab_instrumented, TLABInstrumented) 864GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_tlab_instrumented, TLABInstrumented) 865 866GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_region, Region) 867GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_region, Region) 868GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_region, Region) 869GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_region, Region) 870GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_region, Region) 871GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_region, Region) 872GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_region, Region) 873GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_region, Region) 874GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_region, Region) 875 876GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_region_instrumented, RegionInstrumented) 877GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_region_instrumented, RegionInstrumented) 878GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_region_instrumented, RegionInstrumented) 879GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_region_instrumented, RegionInstrumented) 880GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_region_instrumented, RegionInstrumented) 881GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_region_instrumented, RegionInstrumented) 882GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_region_instrumented, RegionInstrumented) 883GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_region_instrumented, RegionInstrumented) 884GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_region_instrumented, RegionInstrumented) 885 886GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_region_tlab, RegionTLAB) 887GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_region_tlab, RegionTLAB) 888GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_region_tlab, RegionTLAB) 889GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_region_tlab, RegionTLAB) 890GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_region_tlab, RegionTLAB) 891GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_region_tlab, RegionTLAB) 892GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_region_tlab, RegionTLAB) 893GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_region_tlab, RegionTLAB) 894GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_region_tlab, RegionTLAB) 895 896GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT(_region_tlab_instrumented, RegionTLABInstrumented) 897GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_RESOLVED(_region_tlab_instrumented, RegionTLABInstrumented) 898GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_INITIALIZED(_region_tlab_instrumented, RegionTLABInstrumented) 899GENERATE_ALLOC_ENTRYPOINTS_ALLOC_OBJECT_WITH_ACCESS_CHECK(_region_tlab_instrumented, RegionTLABInstrumented) 900GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY(_region_tlab_instrumented, RegionTLABInstrumented) 901GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_RESOLVED(_region_tlab_instrumented, RegionTLABInstrumented) 902GENERATE_ALLOC_ENTRYPOINTS_ALLOC_ARRAY_WITH_ACCESS_CHECK(_region_tlab_instrumented, RegionTLABInstrumented) 903GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY(_region_tlab_instrumented, RegionTLABInstrumented) 904GENERATE_ALLOC_ENTRYPOINTS_CHECK_AND_ALLOC_ARRAY_WITH_ACCESS_CHECK(_region_tlab_instrumented, RegionTLABInstrumented) 905 906TWO_ARG_DOWNCALL art_quick_resolve_string, artResolveStringFromCode, RETURN_IF_RESULT_IS_NON_ZERO 907TWO_ARG_DOWNCALL art_quick_initialize_static_storage, artInitializeStaticStorageFromCode, RETURN_IF_RESULT_IS_NON_ZERO 908TWO_ARG_DOWNCALL art_quick_initialize_type, artInitializeTypeFromCode, RETURN_IF_RESULT_IS_NON_ZERO 909TWO_ARG_DOWNCALL art_quick_initialize_type_and_verify_access, artInitializeTypeAndVerifyAccessFromCode, RETURN_IF_RESULT_IS_NON_ZERO 910 911TWO_ARG_REF_DOWNCALL art_quick_handle_fill_data, artHandleFillArrayDataFromCode, RETURN_IF_EAX_ZERO 912 913DEFINE_FUNCTION art_quick_lock_object 914 testl %eax, %eax // null check object/eax 915 jz .Lslow_lock 916.Lretry_lock: 917 movl MIRROR_OBJECT_LOCK_WORD_OFFSET(%eax), %ecx // ecx := lock word 918 test LITERAL(0xC0000000), %ecx // test the 2 high bits. 919 jne .Lslow_lock // slow path if either of the two high bits are set. 920 movl %fs:THREAD_ID_OFFSET, %edx // edx := thread id 921 test %ecx, %ecx 922 jnz .Lalready_thin // lock word contains a thin lock 923 // unlocked case - %edx holds thread id with count of 0 924 movl %eax, %ecx // remember object in case of retry 925 xor %eax, %eax // eax == 0 for comparison with lock word in cmpxchg 926 lock cmpxchg %edx, MIRROR_OBJECT_LOCK_WORD_OFFSET(%ecx) 927 jnz .Lcmpxchg_fail // cmpxchg failed retry 928 ret 929.Lcmpxchg_fail: 930 movl %ecx, %eax // restore eax 931 jmp .Lretry_lock 932.Lalready_thin: 933 cmpw %cx, %dx // do we hold the lock already? 934 jne .Lslow_lock 935 addl LITERAL(65536), %ecx // increment recursion count 936 test LITERAL(0xC0000000), %ecx // overflowed if either of top two bits are set 937 jne .Lslow_lock // count overflowed so go slow 938 // update lockword, cmpxchg not necessary as we hold lock 939 movl %ecx, MIRROR_OBJECT_LOCK_WORD_OFFSET(%eax) 940 ret 941.Lslow_lock: 942 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 943 // Outgoing argument set up 944 subl LITERAL(8), %esp // alignment padding 945 CFI_ADJUST_CFA_OFFSET(8) 946 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 947 CFI_ADJUST_CFA_OFFSET(4) 948 PUSH eax // pass object 949 call SYMBOL(artLockObjectFromCode) // artLockObjectFromCode(object, Thread*) 950 addl LITERAL(16), %esp // pop arguments 951 CFI_ADJUST_CFA_OFFSET(-16) 952 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 953 RETURN_IF_EAX_ZERO 954END_FUNCTION art_quick_lock_object 955 956DEFINE_FUNCTION art_quick_unlock_object 957 testl %eax, %eax // null check object/eax 958 jz .Lslow_unlock 959 movl MIRROR_OBJECT_LOCK_WORD_OFFSET(%eax), %ecx // ecx := lock word 960 movl %fs:THREAD_ID_OFFSET, %edx // edx := thread id 961 test LITERAL(0xC0000000), %ecx 962 jnz .Lslow_unlock // lock word contains a monitor 963 cmpw %cx, %dx // does the thread id match? 964 jne .Lslow_unlock 965 cmpl LITERAL(65536), %ecx 966 jae .Lrecursive_thin_unlock 967 movl LITERAL(0), MIRROR_OBJECT_LOCK_WORD_OFFSET(%eax) 968 ret 969.Lrecursive_thin_unlock: 970 subl LITERAL(65536), %ecx 971 mov %ecx, MIRROR_OBJECT_LOCK_WORD_OFFSET(%eax) 972 ret 973.Lslow_unlock: 974 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 975 // Outgoing argument set up 976 subl LITERAL(8), %esp // alignment padding 977 CFI_ADJUST_CFA_OFFSET(8) 978 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 979 CFI_ADJUST_CFA_OFFSET(4) 980 PUSH eax // pass object 981 call SYMBOL(artUnlockObjectFromCode) // artUnlockObjectFromCode(object, Thread*) 982 addl LITERAL(16), %esp // pop arguments 983 CFI_ADJUST_CFA_OFFSET(-16) 984 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 985 RETURN_IF_EAX_ZERO 986END_FUNCTION art_quick_unlock_object 987 988DEFINE_FUNCTION art_quick_is_assignable 989 PUSH eax // alignment padding 990 PUSH ecx // pass arg2 - obj->klass 991 PUSH eax // pass arg1 - checked class 992 call SYMBOL(artIsAssignableFromCode) // (Class* klass, Class* ref_klass) 993 addl LITERAL(12), %esp // pop arguments 994 CFI_ADJUST_CFA_OFFSET(-12) 995 ret 996END_FUNCTION art_quick_is_assignable 997 998DEFINE_FUNCTION art_quick_check_cast 999 PUSH eax // alignment padding 1000 PUSH ecx // pass arg2 - obj->klass 1001 PUSH eax // pass arg1 - checked class 1002 call SYMBOL(artIsAssignableFromCode) // (Class* klass, Class* ref_klass) 1003 testl %eax, %eax 1004 jz 1f // jump forward if not assignable 1005 addl LITERAL(12), %esp // pop arguments 1006 CFI_ADJUST_CFA_OFFSET(-12) 1007 ret 10081: 1009 POP eax // pop arguments 1010 POP ecx 1011 addl LITERAL(4), %esp 1012 CFI_ADJUST_CFA_OFFSET(-12) 1013 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context 1014 // Outgoing argument set up 1015 PUSH eax // alignment padding 1016 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 1017 CFI_ADJUST_CFA_OFFSET(4) 1018 PUSH ecx // pass arg2 1019 PUSH eax // pass arg1 1020 call SYMBOL(artThrowClassCastException) // (Class* a, Class* b, Thread*) 1021 int3 // unreached 1022END_FUNCTION art_quick_check_cast 1023 1024 /* 1025 * Entry from managed code for array put operations of objects where the value being stored 1026 * needs to be checked for compatibility. 1027 * eax = array, ecx = index, edx = value 1028 */ 1029DEFINE_FUNCTION art_quick_aput_obj_with_null_and_bound_check 1030 testl %eax, %eax 1031 jnz SYMBOL(art_quick_aput_obj_with_bound_check) 1032 jmp SYMBOL(art_quick_throw_null_pointer_exception) 1033END_FUNCTION art_quick_aput_obj_with_null_and_bound_check 1034 1035DEFINE_FUNCTION art_quick_aput_obj_with_bound_check 1036 movl MIRROR_ARRAY_LENGTH_OFFSET(%eax), %ebx 1037 cmpl %ebx, %ecx 1038 jb SYMBOL(art_quick_aput_obj) 1039 mov %ecx, %eax 1040 mov %ebx, %ecx 1041 jmp SYMBOL(art_quick_throw_array_bounds) 1042END_FUNCTION art_quick_aput_obj_with_bound_check 1043 1044DEFINE_FUNCTION art_quick_aput_obj 1045 test %edx, %edx // store of null 1046 jz .Ldo_aput_null 1047 movl MIRROR_OBJECT_CLASS_OFFSET(%eax), %ebx 1048 movl MIRROR_CLASS_COMPONENT_TYPE_OFFSET(%ebx), %ebx 1049 // value's type == array's component type - trivial assignability 1050 cmpl MIRROR_OBJECT_CLASS_OFFSET(%edx), %ebx 1051 jne .Lcheck_assignability 1052.Ldo_aput: 1053 movl %edx, MIRROR_OBJECT_ARRAY_DATA_OFFSET(%eax, %ecx, 4) 1054 movl %fs:THREAD_CARD_TABLE_OFFSET, %edx 1055 shrl LITERAL(7), %eax 1056 movb %dl, (%edx, %eax) 1057 ret 1058.Ldo_aput_null: 1059 movl %edx, MIRROR_OBJECT_ARRAY_DATA_OFFSET(%eax, %ecx, 4) 1060 ret 1061.Lcheck_assignability: 1062 PUSH eax // save arguments 1063 PUSH ecx 1064 PUSH edx 1065 subl LITERAL(8), %esp // alignment padding 1066 CFI_ADJUST_CFA_OFFSET(8) 1067 pushl MIRROR_OBJECT_CLASS_OFFSET(%edx) // pass arg2 - type of the value to be stored 1068 CFI_ADJUST_CFA_OFFSET(4) 1069 PUSH ebx // pass arg1 - component type of the array 1070 call SYMBOL(artIsAssignableFromCode) // (Class* a, Class* b) 1071 addl LITERAL(16), %esp // pop arguments 1072 CFI_ADJUST_CFA_OFFSET(-16) 1073 testl %eax, %eax 1074 jz .Lthrow_array_store_exception 1075 POP edx 1076 POP ecx 1077 POP eax 1078 movl %edx, MIRROR_OBJECT_ARRAY_DATA_OFFSET(%eax, %ecx, 4) // do the aput 1079 movl %fs:THREAD_CARD_TABLE_OFFSET, %edx 1080 shrl LITERAL(7), %eax 1081 movb %dl, (%edx, %eax) 1082 ret 1083.Lthrow_array_store_exception: 1084 POP edx 1085 POP ecx 1086 POP eax 1087 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx // save all registers as basis for long jump context 1088 // Outgoing argument set up 1089 PUSH eax // alignment padding 1090 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 1091 CFI_ADJUST_CFA_OFFSET(4) 1092 PUSH edx // pass arg2 - value 1093 PUSH eax // pass arg1 - array 1094 call SYMBOL(artThrowArrayStoreException) // (array, value, Thread*) 1095 int3 // unreached 1096END_FUNCTION art_quick_aput_obj 1097 1098DEFINE_FUNCTION art_quick_memcpy 1099 SETUP_GOT_NOSAVE ebx // clobbers EBX 1100 PUSH edx // pass arg3 1101 PUSH ecx // pass arg2 1102 PUSH eax // pass arg1 1103 call PLT_SYMBOL(memcpy) // (void*, const void*, size_t) 1104 addl LITERAL(12), %esp // pop arguments 1105 CFI_ADJUST_CFA_OFFSET(-12) 1106 ret 1107END_FUNCTION art_quick_memcpy 1108 1109NO_ARG_DOWNCALL art_quick_test_suspend, artTestSuspendFromCode, ret 1110 1111DEFINE_FUNCTION art_quick_d2l 1112 subl LITERAL(12), %esp // alignment padding, room for argument 1113 CFI_ADJUST_CFA_OFFSET(12) 1114 movsd %xmm0, 0(%esp) // arg a 1115 call SYMBOL(art_d2l) // (jdouble a) 1116 addl LITERAL(12), %esp // pop arguments 1117 CFI_ADJUST_CFA_OFFSET(-12) 1118 ret 1119END_FUNCTION art_quick_d2l 1120 1121DEFINE_FUNCTION art_quick_f2l 1122 subl LITERAL(12), %esp // alignment padding 1123 CFI_ADJUST_CFA_OFFSET(12) 1124 movss %xmm0, 0(%esp) // arg a 1125 call SYMBOL(art_f2l) // (jfloat a) 1126 addl LITERAL(12), %esp // pop arguments 1127 CFI_ADJUST_CFA_OFFSET(-12) 1128 ret 1129END_FUNCTION art_quick_f2l 1130 1131DEFINE_FUNCTION art_quick_ldiv 1132 subl LITERAL(12), %esp // alignment padding 1133 CFI_ADJUST_CFA_OFFSET(12) 1134 PUSH ebx // pass arg4 b.hi 1135 PUSH edx // pass arg3 b.lo 1136 PUSH ecx // pass arg2 a.hi 1137 PUSH eax // pass arg1 a.lo 1138 call SYMBOL(artLdiv) // (jlong a, jlong b) 1139 addl LITERAL(28), %esp // pop arguments 1140 CFI_ADJUST_CFA_OFFSET(-28) 1141 ret 1142END_FUNCTION art_quick_ldiv 1143 1144DEFINE_FUNCTION art_quick_lmod 1145 subl LITERAL(12), %esp // alignment padding 1146 CFI_ADJUST_CFA_OFFSET(12) 1147 PUSH ebx // pass arg4 b.hi 1148 PUSH edx // pass arg3 b.lo 1149 PUSH ecx // pass arg2 a.hi 1150 PUSH eax // pass arg1 a.lo 1151 call SYMBOL(artLmod) // (jlong a, jlong b) 1152 addl LITERAL(28), %esp // pop arguments 1153 CFI_ADJUST_CFA_OFFSET(-28) 1154 ret 1155END_FUNCTION art_quick_lmod 1156 1157DEFINE_FUNCTION art_quick_lmul 1158 imul %eax, %ebx // ebx = a.lo(eax) * b.hi(ebx) 1159 imul %edx, %ecx // ecx = b.lo(edx) * a.hi(ecx) 1160 mul %edx // edx:eax = a.lo(eax) * b.lo(edx) 1161 add %ebx, %ecx 1162 add %ecx, %edx // edx += (a.lo * b.hi) + (b.lo * a.hi) 1163 ret 1164END_FUNCTION art_quick_lmul 1165 1166DEFINE_FUNCTION art_quick_lshl 1167 // ecx:eax << edx 1168 xchg %edx, %ecx 1169 shld %cl,%eax,%edx 1170 shl %cl,%eax 1171 test LITERAL(32), %cl 1172 jz 1f 1173 mov %eax, %edx 1174 xor %eax, %eax 11751: 1176 ret 1177END_FUNCTION art_quick_lshl 1178 1179DEFINE_FUNCTION art_quick_lshr 1180 // ecx:eax >> edx 1181 xchg %edx, %ecx 1182 shrd %cl,%edx,%eax 1183 sar %cl,%edx 1184 test LITERAL(32),%cl 1185 jz 1f 1186 mov %edx, %eax 1187 sar LITERAL(31), %edx 11881: 1189 ret 1190END_FUNCTION art_quick_lshr 1191 1192DEFINE_FUNCTION art_quick_lushr 1193 // ecx:eax >>> edx 1194 xchg %edx, %ecx 1195 shrd %cl,%edx,%eax 1196 shr %cl,%edx 1197 test LITERAL(32),%cl 1198 jz 1f 1199 mov %edx, %eax 1200 xor %edx, %edx 12011: 1202 ret 1203END_FUNCTION art_quick_lushr 1204 1205ONE_ARG_REF_DOWNCALL art_quick_get_boolean_static, artGetBooleanStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1206ONE_ARG_REF_DOWNCALL art_quick_get_byte_static, artGetByteStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1207ONE_ARG_REF_DOWNCALL art_quick_get_char_static, artGetCharStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1208ONE_ARG_REF_DOWNCALL art_quick_get_short_static, artGetShortStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1209ONE_ARG_REF_DOWNCALL art_quick_get32_static, artGet32StaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1210ONE_ARG_REF_DOWNCALL art_quick_get64_static, artGet64StaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1211ONE_ARG_REF_DOWNCALL art_quick_get_obj_static, artGetObjStaticFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1212 1213TWO_ARG_REF_DOWNCALL art_quick_get_boolean_instance, artGetBooleanInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1214TWO_ARG_REF_DOWNCALL art_quick_get_byte_instance, artGetByteInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1215TWO_ARG_REF_DOWNCALL art_quick_get_char_instance, artGetCharInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1216TWO_ARG_REF_DOWNCALL art_quick_get_short_instance, artGetShortInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1217TWO_ARG_REF_DOWNCALL art_quick_get32_instance, artGet32InstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1218TWO_ARG_REF_DOWNCALL art_quick_get64_instance, artGet64InstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1219TWO_ARG_REF_DOWNCALL art_quick_get_obj_instance, artGetObjInstanceFromCode, RETURN_OR_DELIVER_PENDING_EXCEPTION 1220 1221TWO_ARG_REF_DOWNCALL art_quick_set8_static, artSet8StaticFromCode, RETURN_IF_EAX_ZERO 1222TWO_ARG_REF_DOWNCALL art_quick_set16_static, artSet16StaticFromCode, RETURN_IF_EAX_ZERO 1223TWO_ARG_REF_DOWNCALL art_quick_set32_static, artSet32StaticFromCode, RETURN_IF_EAX_ZERO 1224TWO_ARG_REF_DOWNCALL art_quick_set_obj_static, artSetObjStaticFromCode, RETURN_IF_EAX_ZERO 1225 1226THREE_ARG_REF_DOWNCALL art_quick_set8_instance, artSet8InstanceFromCode, RETURN_IF_EAX_ZERO 1227THREE_ARG_REF_DOWNCALL art_quick_set16_instance, artSet16InstanceFromCode, RETURN_IF_EAX_ZERO 1228THREE_ARG_REF_DOWNCALL art_quick_set32_instance, artSet32InstanceFromCode, RETURN_IF_EAX_ZERO 1229THREE_ARG_REF_DOWNCALL art_quick_set_obj_instance, artSetObjInstanceFromCode, RETURN_IF_EAX_ZERO 1230 1231// Call artSet64InstanceFromCode with 4 word size arguments and the referrer. 1232DEFINE_FUNCTION art_quick_set64_instance 1233 movd %ebx, %xmm0 1234 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 1235 movd %xmm0, %ebx 1236 // Outgoing argument set up 1237 subl LITERAL(8), %esp // alignment padding 1238 CFI_ADJUST_CFA_OFFSET(8) 1239 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 1240 CFI_ADJUST_CFA_OFFSET(4) 1241 pushl (FRAME_SIZE_REFS_ONLY_CALLEE_SAVE+12)(%esp) // pass referrer 1242 CFI_ADJUST_CFA_OFFSET(4) 1243 PUSH ebx // pass high half of new_val 1244 PUSH edx // pass low half of new_val 1245 PUSH ecx // pass object 1246 PUSH eax // pass field_idx 1247 call SYMBOL(artSet64InstanceFromCode) // (field_idx, Object*, new_val, referrer, Thread*) 1248 addl LITERAL(32), %esp // pop arguments 1249 CFI_ADJUST_CFA_OFFSET(-32) 1250 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 1251 RETURN_IF_EAX_ZERO // return or deliver exception 1252END_FUNCTION art_quick_set64_instance 1253 1254// Call artSet64StaticFromCode with 3 word size arguments plus with the referrer in the 2nd position 1255// so that new_val is aligned on even registers were we passing arguments in registers. 1256DEFINE_FUNCTION art_quick_set64_static 1257 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx // save ref containing registers for GC 1258 mov FRAME_SIZE_REFS_ONLY_CALLEE_SAVE(%esp), %ebx // get referrer 1259 subl LITERAL(12), %esp // alignment padding 1260 CFI_ADJUST_CFA_OFFSET(12) 1261 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 1262 CFI_ADJUST_CFA_OFFSET(4) 1263 PUSH edx // pass high half of new_val 1264 PUSH ecx // pass low half of new_val 1265 PUSH ebx // pass referrer 1266 PUSH eax // pass field_idx 1267 call SYMBOL(artSet64StaticFromCode) // (field_idx, referrer, new_val, Thread*) 1268 addl LITERAL(32), %esp // pop arguments 1269 CFI_ADJUST_CFA_OFFSET(-32) 1270 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME // restore frame up to return address 1271 RETURN_IF_EAX_ZERO // return or deliver exception 1272END_FUNCTION art_quick_set64_static 1273 1274DEFINE_FUNCTION art_quick_proxy_invoke_handler 1275 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME_WITH_METHOD_IN_EAX 1276 PUSH esp // pass SP 1277 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 1278 CFI_ADJUST_CFA_OFFSET(4) 1279 PUSH ecx // pass receiver 1280 PUSH eax // pass proxy method 1281 call SYMBOL(artQuickProxyInvokeHandler) // (proxy method, receiver, Thread*, SP) 1282 movd %eax, %xmm0 // place return value also into floating point return value 1283 movd %edx, %xmm1 1284 punpckldq %xmm1, %xmm0 1285 addl LITERAL(76), %esp // pop arguments 1286 CFI_ADJUST_CFA_OFFSET(-76) 1287 RETURN_OR_DELIVER_PENDING_EXCEPTION // return or deliver exception 1288END_FUNCTION art_quick_proxy_invoke_handler 1289 1290 /* 1291 * Called to resolve an imt conflict. xmm0 is a hidden argument that holds the target method's 1292 * dex method index. 1293 */ 1294DEFINE_FUNCTION art_quick_imt_conflict_trampoline 1295 PUSH ecx 1296 movl 8(%esp), %eax // load caller Method* 1297 movl MIRROR_ART_METHOD_DEX_CACHE_METHODS_OFFSET(%eax), %eax // load dex_cache_resolved_methods 1298 movd %xmm7, %ecx // get target method index stored in xmm0 1299 movl MIRROR_OBJECT_ARRAY_DATA_OFFSET(%eax, %ecx, 4), %eax // load the target method 1300 POP ecx 1301 jmp SYMBOL(art_quick_invoke_interface_trampoline) 1302END_FUNCTION art_quick_imt_conflict_trampoline 1303 1304DEFINE_FUNCTION art_quick_resolution_trampoline 1305 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME ebx, ebx 1306 movl %esp, %edi 1307 PUSH EDI // pass SP. do not just PUSH ESP; that messes up unwinding 1308 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 1309 CFI_ADJUST_CFA_OFFSET(4) 1310 PUSH ecx // pass receiver 1311 PUSH eax // pass method 1312 call SYMBOL(artQuickResolutionTrampoline) // (Method* called, receiver, Thread*, SP) 1313 movl %eax, %edi // remember code pointer in EDI 1314 addl LITERAL(16), %esp // pop arguments 1315 test %eax, %eax // if code pointer is NULL goto deliver pending exception 1316 jz 1f 1317 RESTORE_REFS_AND_ARGS_CALLEE_SAVE_FRAME_AND_JUMP 13181: 1319 RESTORE_REFS_AND_ARGS_CALLEE_SAVE_FRAME 1320 DELIVER_PENDING_EXCEPTION 1321END_FUNCTION art_quick_resolution_trampoline 1322 1323DEFINE_FUNCTION art_quick_generic_jni_trampoline 1324 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME_WITH_METHOD_IN_EAX 1325 movl %esp, %ebp // save SP at callee-save frame 1326 CFI_DEF_CFA_REGISTER(ebp) 1327 subl LITERAL(5120), %esp 1328 // prepare for artQuickGenericJniTrampoline call 1329 // (Thread*, SP) 1330 // (esp) 4(esp) <= C calling convention 1331 // fs:... ebp <= where they are 1332 1333 subl LITERAL(8), %esp // Padding for 16B alignment. 1334 pushl %ebp // Pass SP (to ArtMethod). 1335 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current(). 1336 call SYMBOL(artQuickGenericJniTrampoline) // (Thread*, sp) 1337 1338 // The C call will have registered the complete save-frame on success. 1339 // The result of the call is: 1340 // eax: pointer to native code, 0 on error. 1341 // edx: pointer to the bottom of the used area of the alloca, can restore stack till there. 1342 1343 // Check for error = 0. 1344 test %eax, %eax 1345 jz .Lentry_error 1346 1347 // Release part of the alloca. 1348 movl %edx, %esp 1349 1350 // On x86 there are no registers passed, so nothing to pop here. 1351 // Native call. 1352 call *%eax 1353 1354 // result sign extension is handled in C code 1355 // prepare for artQuickGenericJniEndTrampoline call 1356 // (Thread*, result, result_f) 1357 // (esp) 4(esp) 12(esp) <= C calling convention 1358 // fs:... eax:edx fp0 <= where they are 1359 1360 subl LITERAL(20), %esp // Padding & pass float result. 1361 fstpl (%esp) 1362 pushl %edx // Pass int result. 1363 pushl %eax 1364 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current(). 1365 call SYMBOL(artQuickGenericJniEndTrampoline) 1366 1367 // Tear down the alloca. 1368 movl %ebp, %esp 1369 CFI_DEF_CFA_REGISTER(esp) 1370 1371 // Pending exceptions possible. 1372 mov %fs:THREAD_EXCEPTION_OFFSET, %ebx 1373 testl %ebx, %ebx 1374 jnz .Lexception_in_native 1375 1376 // Tear down the callee-save frame. 1377 // Remove space for FPR args and EAX 1378 addl LITERAL(4 + 4 * 8), %esp 1379 CFI_ADJUST_CFA_OFFSET(-(4 + 4 * 8)) 1380 1381 POP ecx 1382 addl LITERAL(4), %esp // Avoid edx, as it may be part of the result. 1383 CFI_ADJUST_CFA_OFFSET(-4) 1384 POP ebx 1385 POP ebp // Restore callee saves 1386 POP esi 1387 POP edi 1388 // Quick expects the return value to be in xmm0. 1389 movd %eax, %xmm0 1390 movd %edx, %xmm1 1391 punpckldq %xmm1, %xmm0 1392 ret 1393.Lentry_error: 1394 movl %ebp, %esp 1395 CFI_DEF_CFA_REGISTER(esp) 1396.Lexception_in_native: 1397 RESTORE_REFS_AND_ARGS_CALLEE_SAVE_FRAME 1398 DELIVER_PENDING_EXCEPTION 1399END_FUNCTION art_quick_generic_jni_trampoline 1400 1401DEFINE_FUNCTION art_quick_to_interpreter_bridge 1402 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME ebx, ebx // save frame 1403 mov %esp, %edx // remember SP 1404 PUSH eax // alignment padding 1405 PUSH edx // pass SP 1406 pushl %fs:THREAD_SELF_OFFSET // pass Thread::Current() 1407 CFI_ADJUST_CFA_OFFSET(4) 1408 PUSH eax // pass method 1409 call SYMBOL(artQuickToInterpreterBridge) // (method, Thread*, SP) 1410 addl LITERAL(16), %esp // pop arguments 1411 CFI_ADJUST_CFA_OFFSET(-16) 1412 1413 // Return eax:edx in xmm0 also. 1414 movd %eax, %xmm0 1415 movd %edx, %xmm1 1416 punpckldq %xmm1, %xmm0 1417 1418 addl LITERAL(48), %esp // Remove FPRs and EAX, ECX, EDX, EBX. 1419 CFI_ADJUST_CFA_OFFSET(-48) 1420 1421 POP ebp // Restore callee saves 1422 POP esi 1423 POP edi 1424 1425 RETURN_OR_DELIVER_PENDING_EXCEPTION // return or deliver exception 1426END_FUNCTION art_quick_to_interpreter_bridge 1427 1428 /* 1429 * Routine that intercepts method calls and returns. 1430 */ 1431DEFINE_FUNCTION art_quick_instrumentation_entry 1432 SETUP_REFS_AND_ARGS_CALLEE_SAVE_FRAME ebx, edx 1433 PUSH eax // Save eax which will be clobbered by the callee-save method. 1434 subl LITERAL(12), %esp // Align stack. 1435 CFI_ADJUST_CFA_OFFSET(12) 1436 pushl FRAME_SIZE_REFS_AND_ARGS_CALLEE_SAVE-4+16(%esp) // Pass LR. 1437 CFI_ADJUST_CFA_OFFSET(4) 1438 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current(). 1439 CFI_ADJUST_CFA_OFFSET(4) 1440 PUSH ecx // Pass receiver. 1441 PUSH eax // Pass Method*. 1442 call SYMBOL(artInstrumentationMethodEntryFromCode) // (Method*, Object*, Thread*, LR) 1443 addl LITERAL(28), %esp // Pop arguments upto saved Method*. 1444 movl 60(%esp), %edi // Restore edi. 1445 movl %eax, 60(%esp) // Place code* over edi, just under return pc. 1446 movl SYMBOL(art_quick_instrumentation_exit)@GOT(%ebx), %ebx 1447 // Place instrumentation exit as return pc. ebx holds the GOT computed on entry. 1448 movl %ebx, 64(%esp) 1449 movl 0(%esp), %eax // Restore eax. 1450 // Restore FPRs (extra 4 bytes of offset due to EAX push at top). 1451 movsd 8(%esp), %xmm0 1452 movsd 16(%esp), %xmm1 1453 movsd 24(%esp), %xmm2 1454 movsd 32(%esp), %xmm3 1455 1456 // Restore GPRs. 1457 movl 40(%esp), %ecx // Restore ecx. 1458 movl 48(%esp), %edx // Restore edx. 1459 movl 48(%esp), %ebx // Restore ebx. 1460 movl 52(%esp), %ebp // Restore ebp. 1461 movl 56(%esp), %esi // Restore esi. 1462 addl LITERAL(60), %esp // Wind stack back upto code*. 1463 ret // Call method (and pop). 1464END_FUNCTION art_quick_instrumentation_entry 1465 1466DEFINE_FUNCTION art_quick_instrumentation_exit 1467 pushl LITERAL(0) // Push a fake return PC as there will be none on the stack. 1468 SETUP_REFS_ONLY_CALLEE_SAVE_FRAME ebx, ebx 1469 mov %esp, %ecx // Remember SP 1470 subl LITERAL(8), %esp // Save float return value. 1471 CFI_ADJUST_CFA_OFFSET(8) 1472 movq %xmm0, (%esp) 1473 PUSH edx // Save gpr return value. 1474 PUSH eax 1475 subl LITERAL(16), %esp // Align stack 1476 CFI_ADJUST_CFA_OFFSET(16) 1477 movq %xmm0, (%esp) // Pass float return value. 1478 PUSH edx // Pass gpr return value. 1479 PUSH eax 1480 PUSH ecx // Pass SP. 1481 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current. 1482 CFI_ADJUST_CFA_OFFSET(4) 1483 call SYMBOL(artInstrumentationMethodExitFromCode) // (Thread*, SP, gpr_result, fpr_result) 1484 mov %eax, %ecx // Move returned link register. 1485 addl LITERAL(32), %esp // Pop arguments. 1486 CFI_ADJUST_CFA_OFFSET(-32) 1487 movl %edx, %ebx // Move returned link register for deopt 1488 // (ebx is pretending to be our LR). 1489 POP eax // Restore gpr return value. 1490 POP edx 1491 movq (%esp), %xmm0 // Restore fpr return value. 1492 addl LITERAL(8), %esp 1493 CFI_ADJUST_CFA_OFFSET(-8) 1494 RESTORE_REFS_ONLY_CALLEE_SAVE_FRAME 1495 addl LITERAL(4), %esp // Remove fake return pc. 1496 jmp *%ecx // Return. 1497END_FUNCTION art_quick_instrumentation_exit 1498 1499 /* 1500 * Instrumentation has requested that we deoptimize into the interpreter. The deoptimization 1501 * will long jump to the upcall with a special exception of -1. 1502 */ 1503DEFINE_FUNCTION art_quick_deoptimize 1504 pushl %ebx // Fake that we were called. 1505 SETUP_SAVE_ALL_CALLEE_SAVE_FRAME ebx, ebx 1506 subl LITERAL(12), %esp // Align stack. 1507 CFI_ADJUST_CFA_OFFSET(12) 1508 pushl %fs:THREAD_SELF_OFFSET // Pass Thread::Current(). 1509 CFI_ADJUST_CFA_OFFSET(4) 1510 call SYMBOL(artDeoptimize) // artDeoptimize(Thread*) 1511 int3 // Unreachable. 1512END_FUNCTION art_quick_deoptimize 1513 1514 /* 1515 * String's compareTo. 1516 * 1517 * On entry: 1518 * eax: this string object (known non-null) 1519 * ecx: comp string object (known non-null) 1520 */ 1521DEFINE_FUNCTION art_quick_string_compareto 1522 PUSH esi // push callee save reg 1523 PUSH edi // push callee save reg 1524 mov MIRROR_STRING_COUNT_OFFSET(%eax), %edx 1525 mov MIRROR_STRING_COUNT_OFFSET(%ecx), %ebx 1526 mov MIRROR_STRING_VALUE_OFFSET(%eax), %esi 1527 mov MIRROR_STRING_VALUE_OFFSET(%ecx), %edi 1528 mov MIRROR_STRING_OFFSET_OFFSET(%eax), %eax 1529 mov MIRROR_STRING_OFFSET_OFFSET(%ecx), %ecx 1530 /* Build pointers to the start of string data */ 1531 lea MIRROR_CHAR_ARRAY_DATA_OFFSET(%esi, %eax, 2), %esi 1532 lea MIRROR_CHAR_ARRAY_DATA_OFFSET(%edi, %ecx, 2), %edi 1533 /* Calculate min length and count diff */ 1534 mov %edx, %ecx 1535 mov %edx, %eax 1536 subl %ebx, %eax 1537 cmovg %ebx, %ecx 1538 /* 1539 * At this point we have: 1540 * eax: value to return if first part of strings are equal 1541 * ecx: minimum among the lengths of the two strings 1542 * esi: pointer to this string data 1543 * edi: pointer to comp string data 1544 */ 1545 jecxz .Lkeep_length 1546 repe cmpsw // find nonmatching chars in [%esi] and [%edi], up to length %ecx 1547 jne .Lnot_equal 1548.Lkeep_length: 1549 POP edi // pop callee save reg 1550 POP esi // pop callee save reg 1551 ret 1552 .balign 16 1553.Lnot_equal: 1554 movzwl -2(%esi), %eax // get last compared char from this string 1555 movzwl -2(%edi), %ecx // get last compared char from comp string 1556 subl %ecx, %eax // return the difference 1557 POP edi // pop callee save reg 1558 POP esi // pop callee save reg 1559 ret 1560END_FUNCTION art_quick_string_compareto 1561 1562// Return from a nested signal: 1563// Entry: 1564// eax: address of jmp_buf in TLS 1565 1566DEFINE_FUNCTION art_nested_signal_return 1567 SETUP_GOT_NOSAVE ebx // sets %ebx for call into PLT 1568 movl LITERAL(1), %ecx 1569 pushl %ecx // second arg to longjmp (1) 1570 pushl %eax // first arg to longjmp (jmp_buf) 1571 call PLT_SYMBOL(longjmp) 1572 int3 // won't get here. 1573END_FUNCTION art_nested_signal_return 1574 1575 // TODO: implement these! 1576UNIMPLEMENTED art_quick_memcmp16 1577