1 /* src/vm/jit/x86_64/asmpart.S - Java-C interface functions for x86_64
3 Copyright (C) 1996-2005, 2006, 2007, 2008 R. Grafl, A. Krall, C. Kruegel,
4 C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring,
5 E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich,
6 J. Wenninger, Institut f. Computersprachen - TU Wien
8 This file is part of CACAO.
10 This program is free software; you can redistribute it and/or
11 modify it under the terms of the GNU General Public License as
12 published by the Free Software Foundation; either version 2, or (at
13 your option) any later version.
15 This program is distributed in the hope that it will be useful, but
16 WITHOUT ANY WARRANTY; without even the implied warranty of
17 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
18 General Public License for more details.
20 You should have received a copy of the GNU General Public License
21 along with this program; if not, write to the Free Software
22 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
30 #include "vm/jit/x86_64/arch.h"
31 #include "vm/jit/x86_64/md-abi.h"
32 #include "vm/jit/x86_64/md-asm.h"
34 #include "vm/jit/abi-asm.h"
35 #include "vm/jit/methodheader.h"
41 /* export functions ***********************************************************/
43 .globl asm_vm_call_method
44 .globl asm_vm_call_method_int
45 .globl asm_vm_call_method_long
46 .globl asm_vm_call_method_float
47 .globl asm_vm_call_method_double
48 .globl asm_vm_call_method_exception_handler
49 .globl asm_vm_call_method_end
51 .globl asm_handle_exception
52 .globl asm_handle_nat_exception
54 .globl asm_abstractmethoderror
56 .globl asm_builtin_f2i
57 .globl asm_builtin_f2l
58 .globl asm_builtin_d2i
59 .globl asm_builtin_d2l
61 .globl asm_compare_and_swap
62 .globl asm_memory_barrier
65 /********************* function asm_calljavafunction ***************************
67 * This function calls a Java-method (which possibly needs compilation) *
68 * with up to 4 address parameters. *
70 * This functions calls the JIT-compiler which eventually translates the *
71 * method into machine code. *
74 * javaobject_header *asm_calljavamethod (methodinfo *m, *
75 * void *arg1, void *arg2, void *arg3, void *arg4); *
77 *******************************************************************************/
84 .long 0 /* frame size */
85 .quad 0 /* codeinfo pointer */
88 asm_vm_call_method_int:
89 asm_vm_call_method_long:
90 asm_vm_call_method_float:
91 asm_vm_call_method_double:
92 sub $(7*8),sp /* keep stack 16-byte aligned */
93 mov %rbx,0*8(sp) /* %rbx is not a callee saved in cacao*/
100 mov a0,6*8(sp) /* store method PV */
102 mov sp,s0 /* save stack pointer */
104 mov a1,t0 /* address of data structure */
105 mov a2,itmp1 /* number of stack arguments */
124 je L_asm_vm_call_method_stack_copy_done
127 add $1,itmp2 /* keep stack 16-byte aligned */
128 and $0xfffffffffffffffe,itmp2
129 shl $3,itmp2 /* calculate stack size */
130 sub itmp2,sp /* create stack frame */
131 mov sp,itmp2 /* temporary stack pointer */
133 L_asm_vm_call_method_stack_copy_loop:
134 mov 14*8(t0),itmp3 /* load argument */
135 mov itmp3,0(itmp2) /* store argument on stack */
137 sub $1,itmp1l /* subtract 1 argument */
138 add $8,t0 /* set address of next argument */
139 add $8,itmp2 /* increase SP */
142 jg L_asm_vm_call_method_stack_copy_loop
144 L_asm_vm_call_method_stack_copy_done:
145 lea (6*8-256)(s0),mptr /* We subtract 256 to force the next */
146 /* move instruction to have a 32-bit */
149 mov (0*8+256)(mptr),itmp3 /* load PV */
152 L_asm_vm_call_method_return:
153 mov s0,sp /* restore SP */
155 mov 0*8(sp),%rbx /* restore callee saved registers */
161 add $(7*8),sp /* free stack space */
164 asm_vm_call_method_exception_handler:
165 mov xptr,a0 /* pass exception pointer */
166 call builtin_throw_exception@PLT
167 jmp L_asm_vm_call_method_return
169 asm_vm_call_method_end:
173 /* asm_handle_exception ********************************************************
175 * This function handles an exception. It does not use the usual calling *
176 * conventions. The exception pointer is passed in REG_ITMP1 and the *
177 * pc from the exception raising position is passed in REG_ITMP2. It searches *
178 * the local exception table for a handler. If no one is found, it unwinds *
179 * stacks and continues searching the callers. *
181 *******************************************************************************/
183 asm_handle_nat_exception:
184 add $8,sp /* clear return address of native stub*/
186 asm_handle_exception:
187 L_asm_handle_exception: /* required for PIC code */
188 sub $((ARG_CNT+TMP_CNT)*8),sp /* create maybe-leaf stackframe */
190 SAVE_ARGUMENT_REGISTERS(0) /* we save arg and temp registers in */
191 SAVE_TEMPORARY_REGISTERS(ARG_CNT) /* case this is a leaf method */
193 mov $((ARG_CNT+TMP_CNT)*8),a3 /* prepare a3 for handle_exception */
194 mov $1,t0 /* set maybe-leaf flag */
196 L_asm_handle_exception_stack_loop:
198 mov xptr,0*8(sp) /* save exception pointer */
199 mov xpc,1*8(sp) /* save exception pc */
200 add sp,a3 /* calculate Java sp into a3... */
202 mov a3,3*8(sp) /* ...and save it */
203 mov t0,4*8(sp) /* save maybe-leaf flag */
205 mov xpc,a0 /* exception pc */
206 call codegen_get_pv_from_pc@PLT
207 mov v0,2*8(sp) /* save data segment pointer */
209 mov 0*8(sp),a0 /* pass exception pointer */
210 mov 1*8(sp),a1 /* pass exception pc */
211 mov v0,a2 /* pass data segment pointer */
212 mov 3*8(sp),a3 /* pass Java stack pointer */
213 call exceptions_handle_exception@PLT
216 jz L_asm_handle_exception_not_catched
218 mov v0,xpc /* move handlerpc into xpc */
219 mov 0*8(sp),xptr /* restore exception pointer */
220 mov 4*8(sp),t0 /* get maybe-leaf flag */
221 add $(6*8),sp /* free stack frame */
223 test t0,t0 /* test for maybe-leaf flag */
224 jz L_asm_handle_exception_no_leaf
226 RESTORE_ARGUMENT_REGISTERS(0) /* if this is a leaf method, we have */
227 RESTORE_TEMPORARY_REGISTERS(ARG_CNT)/* to restore arg and temp registers */
229 add $((ARG_CNT+TMP_CNT)*8),sp /* remove maybe-leaf stackframe */
231 L_asm_handle_exception_no_leaf:
232 jmp *xpc /* jump to the handler */
234 L_asm_handle_exception_not_catched:
235 mov 0*8(sp),xptr /* restore exception pointer */
236 mov 2*8(sp),itmp3 /* restore data segment pointer */
237 mov 4*8(sp),t0 /* get maybe-leaf flag */
241 jz L_asm_handle_exception_no_leaf_stack
243 add $((ARG_CNT+TMP_CNT)*8),sp /* remove maybe-leaf stackframe */
244 xor t0,t0 /* clear the isleaf flags */
246 L_asm_handle_exception_no_leaf_stack:
247 mov FrameSize(itmp3),itmp2l /* get frame size */
248 add sp,itmp2 /* pointer to save area */
250 mov IntSave(itmp3),a0l /* a0l = saved int register count */
273 shl $3,a0l /* multiply by 8 bytes */
278 mov FltSave(itmp3),a0l /* a0l = saved flt register count */
291 movq -5*8(itmp2),%xmm11
293 movq -4*8(itmp2),%xmm12
295 movq -3*8(itmp2),%xmm13
297 movq -2*8(itmp2),%xmm14
299 movq -1*8(itmp2),%xmm15
303 mov FrameSize(itmp3),itmp2l /* get frame size */
304 add itmp2,sp /* unwind stack */
306 /* exception pointer is still set */
307 pop xpc /* the new xpc is return address */
308 sub $3,xpc /* subtract 3 bytes for call */
310 xor a3,a3 /* prepare a3 for handle_exception */
312 jmp L_asm_handle_exception_stack_loop
315 /* asm_abstractmethoderror *****************************************************
317 Creates and throws an AbstractMethodError.
319 *******************************************************************************/
321 asm_abstractmethoderror:
322 mov sp,a0 /* pass java sp */
324 mov 0*8(sp),a1 /* pass exception address */
326 call exceptions_asm_new_abstractmethoderror@PLT
327 /* exception pointer is return value */
328 pop xpc /* get exception address */
329 sub $3,xpc /* exception address is ra - 3 */
330 jmp L_asm_handle_exception
333 /* asm_builtin_x2x *************************************************************
335 * Wrapper functions for float to int corner cases *
337 *******************************************************************************/
342 SAVE_ARGUMENT_REGISTERS(0)
347 RESTORE_ARGUMENT_REGISTERS(0)
356 SAVE_ARGUMENT_REGISTERS(0)
361 RESTORE_ARGUMENT_REGISTERS(0)
370 SAVE_ARGUMENT_REGISTERS(0)
375 RESTORE_ARGUMENT_REGISTERS(0)
384 SAVE_ARGUMENT_REGISTERS(0)
389 RESTORE_ARGUMENT_REGISTERS(0)
395 /* asm_compare_and_swap ********************************************************
397 Does an atomic compare and swap. Required for the lock
400 *******************************************************************************/
402 asm_compare_and_swap:
403 mov a1,v0 /* v0 is %rax */
408 /* asm_memory_barrier **********************************************************
410 A memory barrier for the Java Memory Model.
412 *******************************************************************************/
419 /* disable exec-stacks ********************************************************/
421 #if defined(__linux__) && defined(__ELF__)
422 .section .note.GNU-stack,"",%progbits
427 * These are local overrides for various environment variables in Emacs.
428 * Please do not remove this and leave it at the end of the file, where
429 * Emacs will automagically detect them.
430 * ---------------------------------------------------------------------
433 * indent-tabs-mode: t
437 * vim:noexpandtab:sw=4:ts=4: