1 /* src/vm/jit/i386/asmpart.S - Java-C interface functions for i386
3 Copyright (C) 1996-2005, 2006, 2007, 2008
4 CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
6 This file is part of CACAO.
8 This program is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public License as
10 published by the Free Software Foundation; either version 2, or (at
11 your option) any later version.
13 This program is distributed in the hope that it will be useful, but
14 WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
16 General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
30 #include "vm/jit/i386/arch.h"
31 #include "vm/jit/i386/md-abi.h"
33 #include "vm/jit/abi-asm.h"
34 #include "vm/jit/methodheader.h"
40 /* export functions ***********************************************************/
44 .globl asm_vm_call_method
45 .globl asm_vm_call_method_int
46 .globl asm_vm_call_method_long
47 .globl asm_vm_call_method_float
48 .globl asm_vm_call_method_double
49 .globl asm_vm_call_method_exception_handler
50 .globl asm_vm_call_method_end
52 .globl asm_handle_nat_exception
53 .globl asm_handle_exception
55 .globl asm_abstractmethoderror
57 .globl asm_builtin_f2i
58 .globl asm_builtin_f2l
59 .globl asm_builtin_d2i
60 .globl asm_builtin_d2l
62 .globl asm_compare_and_swap
63 .globl asm_memory_barrier
65 .globl asm_get_cycle_count
67 #if defined(ENABLE_ESCAPE_CHECK)
68 .globl asm_escape_check
72 /* asm_md_init *****************************************************************
74 Initialize machine dependent stuff.
76 See: http://www.srware.com/linux_numerics.txt
78 This puts the X86 FPU in 64-bit precision mode. The default under
79 Linux is to use 80-bit mode, which produces subtle differences from
80 FreeBSD and other systems, eg, (int)(1000*atof("0.3")) is 300 in
81 64-bit mode, 299 in 80-bit mode.
83 Fixes: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=350729
85 *******************************************************************************/
88 sub $4,sp /* allocate space for the FPU state */
89 fnstcw (sp) /* get the FPU state */
91 and $0xfcff,%ax /* remove the extended mode flag */
92 or $0x0200,%ax /* put the double mode flag */
93 mov %eax,(sp) /* store new FPU state */
94 fldcw (sp) /* setup new FPU state */
99 /********************* function asm_calljavafunction ***************************
101 * This function calls a Java-method (which possibly needs compilation) *
102 * with up to 4 address parameters. *
104 * This functions calls the JIT-compiler which eventually translates the *
105 * method into machine code. *
108 * javaobject_header *asm_vm_call_method(methodinfo *m, *
109 * u4 count, u4 size, void *callblock); *
111 *******************************************************************************/
115 .long 0 /* fltsave */
116 .long 0 /* intsave */
118 .long 0 /* frame size */
119 .long 0 /* codeinfo pointer */
122 asm_vm_call_method_int:
123 asm_vm_call_method_long:
124 asm_vm_call_method_float:
125 asm_vm_call_method_double:
127 mov sp,bp /* save stack pointer */
128 sub $(4*4),sp /* create stackframe */
129 and $0xfffffff0,sp /* align stack to 16-byte */
131 mov t0,0*4(sp) /* save registers */
135 mov sp,s1 /* save stack pointer */
137 mov 3*4(bp),t0 /* address of data structure */
138 mov 4*4(bp),itmp1 /* number of stack arguments */
141 je L_asm_vm_call_method_stack_copy_done
144 add $1,itmp2 /* keep stack 16-byte aligned */
145 and $0xfffffffe,itmp2
146 shl $3,itmp2 /* calculate stack size */
147 sub itmp2,sp /* create stack frame */
148 mov sp,itmp2 /* temporary stack pointer */
150 L_asm_vm_call_method_stack_copy_loop:
151 mov 0(t0),itmp3 /* load argument */
152 mov itmp3,0(itmp2) /* store argument on stack */
156 sub $1,itmp1 /* subtract 1 argument */
157 add $8,t0 /* set address of next argument */
158 add $8,itmp2 /* increase SP */
161 jg L_asm_vm_call_method_stack_copy_loop
163 L_asm_vm_call_method_stack_copy_done:
164 lea (2*4-256)(bp),mptr /* We subtract 256 to force the next */
165 /* move instruction to have a 32-bit */
168 mov (0*4+256)(mptr),itmp3 /* method call as in Java */
169 call *itmp3 /* call JIT compiler */
171 L_asm_vm_call_method_return:
172 mov s1,sp /* restore stackpointer */
174 mov 0*4(sp),t0 /* restore registers */
181 asm_vm_call_method_exception_handler:
182 push xptr /* pass exception pointer */
183 call builtin_throw_exception
185 asm_vm_call_method_end:
186 jmp L_asm_vm_call_method_return
189 /* asm_handle_exception ********************************************************
191 * This function handles an exception. It does not use the usual calling *
192 * conventions. The exception pointer is passed in REG_ITMP1 and the *
193 * pc from the exception raising position is passed in REG_ITMP2. It searches *
194 * the local exception table for a handler. If no one is found, it unwinds *
195 * stacks and continues searching the callers. *
197 *******************************************************************************/
199 asm_handle_nat_exception:
200 add $4,sp /* clear return address of native stub*/
202 asm_handle_exception:
203 L_asm_handle_exception: /* required for PIC code */
204 sub $((ARG_CNT+TMP_CNT+3)*4),sp /* keep stack 16-byte aligned */
206 SAVE_ARGUMENT_REGISTERS(0) /* we save arg and temp registers in */
207 SAVE_TEMPORARY_REGISTERS(ARG_CNT) /* case this is a leaf method */
209 mov $((ARG_CNT+TMP_CNT+3)*4),itmp3 /* prepare a3 for handle_exception */
210 mov $1,t0 /* set maybe-leaf flag */
212 L_asm_handle_exception_stack_loop:
213 sub $(12*4),sp /* keep stack 16-byte aligned */
214 mov xptr,4*4(sp) /* save exception pointer */
215 mov xpc,5*4(sp) /* save exception pc */
216 add sp,itmp3 /* calculate Java sp into a3... */
218 mov itmp3,7*4(sp) /* ...and save it */
219 mov t0,8*4(sp) /* save maybe-leaf flag */
221 mov xpc,0*4(sp) /* pass exception pc */
223 mov v0,6*4(sp) /* save data segment pointer */
225 mov 4*4(sp),itmp3 /* pass exception pointer */
227 mov 5*4(sp),itmp3 /* pass exception pc */
229 mov v0,2*4(sp) /* pass data segment pointer */
230 mov 7*4(sp),itmp3 /* pass Java stack pointer */
232 call exceptions_handle_exception
235 jz L_asm_handle_exception_not_catched
237 mov v0,xpc /* move handlerpc into xpc */
238 mov 4*4(sp),xptr /* restore exception pointer */
239 mov 8*4(sp),t0 /* get maybe-leaf flag */
240 add $(12*4),sp /* free stackframe */
242 test t0,t0 /* test for maybe-leaf flag */
243 jz L_asm_handle_exception_no_leaf
245 RESTORE_ARGUMENT_REGISTERS(0) /* if this is a leaf method, we have */
246 RESTORE_TEMPORARY_REGISTERS(ARG_CNT)/* to restore arg and temp registers */
248 add $((ARG_CNT+TMP_CNT+3)*4),sp /* remove maybe-leaf stackframe */
250 L_asm_handle_exception_no_leaf:
251 jmp *xpc /* jump to exception handler */
253 L_asm_handle_exception_not_catched:
254 mov 4*4(sp),xptr /* restore exception pointer */
255 mov 6*4(sp),itmp3 /* restore data segment pointer */
256 mov 8*4(sp),t0 /* get maybe-leaf flag */
257 add $(12*4),sp /* free stackframe */
260 jz L_asm_handle_exception_no_leaf_stack
262 add $((ARG_CNT+TMP_CNT+3)*4),sp /* remove maybe-leaf stackframe */
263 xor t0,t0 /* clear the maybe-leaf flag */
265 L_asm_handle_exception_no_leaf_stack:
266 mov FrameSize(itmp3),itmp2 /* get frame size */
267 add sp,itmp2 /* pointer to save area */
269 push xptr /* we are out of registers */
271 mov IntSave(itmp3),itmp1 /* itmp1 = saved int register count */
286 shl $2,itmp1 /* multiply by 4 bytes */
291 mov FltSave(itmp3),itmp1 /* itmp1 = saved flt register count */
316 pop xptr /* restore exception pointer */
317 mov FrameSize(itmp3),itmp2 /* get frame size */
318 add itmp2,sp /* unwind stack */
320 pop xpc /* the new xpc is return address */
321 sub $2,xpc /* subtract 2-bytes for call */
323 xor itmp3,itmp3 /* prepare a3 for handle_exception */
325 jmp L_asm_handle_exception_stack_loop
328 /* asm_abstractmethoderror *****************************************************
330 Creates and throws an AbstractMethodError.
332 *******************************************************************************/
334 asm_abstractmethoderror:
335 sub $(3*4),sp /* keep stack 16-byte aligned */
336 mov sp,itmp1 /* pass java sp */
339 mov 3*4(sp),itmp2 /* pass exception address */
342 call exceptions_asm_new_abstractmethoderror
343 /* exception pointer is return value */
344 add $(3*4),sp /* remove stack frame */
346 pop xpc /* get exception address */
347 sub $2,xpc /* exception address is ra - 2 */
348 jmp L_asm_handle_exception
351 /************************ function asm_builtin_x2x *****************************
353 * Wrapper functions for corner cases *
355 *******************************************************************************/
386 /* asm_compare_and_swap ********************************************************
388 Does an atomic compare and swap. Required for the lock
391 Atomically do the following: Check if the location still contains
392 `oldval`. If so, replace it by `newval` and return `oldval`.
397 long compare_and_swap(volatile long *p, long oldval, long newval);
399 *******************************************************************************/
401 asm_compare_and_swap:
402 mov 1*4(sp),%ecx /* load p into a register */
403 mov 2*4(sp),%eax /* load oldval into return register */
404 mov 3*4(sp),%edx /* load newval into a register */
405 lock; cmpxchgl %edx,0(%ecx)
409 /* asm_memory_barrier **********************************************************
411 A memory barrier for the Java Memory Model.
413 *******************************************************************************/
420 /* asm_get_cycle_count *********************************************************
422 Get the current time-stamp counter from the CPU.
424 *******************************************************************************/
430 #if defined(ENABLE_ESCAPE_CHECK)
442 call escape_analysis_escape_check
454 /* disable exec-stacks ********************************************************/
456 #if defined(__linux__) && defined(__ELF__)
457 .section .note.GNU-stack,"",%progbits
461 * These are local overrides for various environment variables in Emacs.
462 * Please do not remove this and leave it at the end of the file, where
463 * Emacs will automagically detect them.
464 * ---------------------------------------------------------------------
467 * indent-tabs-mode: t
471 * vim:noexpandtab:sw=4:ts=4: