X-Git-Url: http://wien.tomnetworks.com/gitweb/?a=blobdiff_plain;f=src%2Fvm%2Fjit%2Fi386%2Fasmpart.S;h=179fbd038c0022f442e095b5d74c6d12cdd2aa02;hb=9f859ad50d3d5d98c185d40b86b2179bc4dc9aeb;hp=7d9bc58a0b15fdf14a6e1e82ded20fc4b8fde2e0;hpb=717376133e9655c55dff08df3ba6d7618fa33137;p=cacao.git diff --git a/src/vm/jit/i386/asmpart.S b/src/vm/jit/i386/asmpart.S index 7d9bc58a0..179fbd038 100644 --- a/src/vm/jit/i386/asmpart.S +++ b/src/vm/jit/i386/asmpart.S @@ -1,9 +1,9 @@ -/* vm/jit/i386/asmpart.S - Java-C interface functions for i386 +/* src/vm/jit/i386/asmpart.S - Java-C interface functions for i386 - Copyright (C) 1996-2005 R. Grafl, A. Krall, C. Kruegel, C. Oates, - R. Obermaisser, M. Platter, M. Probst, S. Ring, E. Steiner, - C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich, J. Wenninger, - Institut f. Computersprachen - TU Wien + Copyright (C) 1996-2005, 2006, 2007 R. Grafl, A. Krall, C. Kruegel, + C. Oates, R. Obermaisser, M. Platter, M. Probst, S. Ring, + E. Steiner, C. Thalinger, D. Thuernbeck, P. Tomsich, C. Ullrich, + J. Wenninger, Institut f. Computersprachen - TU Wien This file is part of CACAO. @@ -19,169 +19,86 @@ You should have received a copy of the GNU General Public License along with this program; if not, write to the Free Software - Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA - 02111-1307, USA. - - Contact: cacao@complang.tuwien.ac.at - - Authors: Andreas Krall - Reinhard Grafl - Christian Thalinger - - Changes: Joseph Wenninger - - $Id: asmpart.S 1938 2005-02-10 11:13:29Z twisti $ + Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA + 02110-1301, USA. */ #include "config.h" -#include "vm/jit/i386/offsets.h" -#include "vm/jit/i386/asmoffsets.h" +#include "md-asm.h" + +#include "vm/jit/i386/arch.h" +#include "vm/jit/i386/md-abi.h" + +#include "vm/jit/abi-asm.h" +#include "vm/jit/methodheader.h" -#define itmp1 %eax -#define itmp2 %ecx -#define itmp3 %edx -#define itmp1b %al -#define itmp2b %cl -#define itmp3b %dl - .text -/********************* exported functions and variables ***********************/ +/* export functions ***********************************************************/ - .globl asm_calljavafunction - .globl calljava_xhandler + .globl asm_md_init - .globl asm_calljavafunction2 - .globl asm_calljavafunction2int - .globl asm_calljavafunction2long - .globl asm_calljavafunction2float - .globl asm_calljavafunction2double - .globl calljava_xhandler2 + .globl asm_vm_call_method + .globl asm_vm_call_method_int + .globl asm_vm_call_method_long + .globl asm_vm_call_method_float + .globl asm_vm_call_method_double + .globl asm_vm_call_method_exception_handler + .globl asm_vm_call_method_end .globl asm_call_jit_compiler - .globl asm_handle_builtin_exception .globl asm_handle_nat_exception .globl asm_handle_exception - .globl asm_check_clinit - .globl asm_builtin_checkcast - .globl asm_builtin_checkarraycast - .globl asm_builtin_newarray - .globl asm_builtin_anewarray - .globl asm_builtin_newarray_array - .globl asm_builtin_aastore - -#if defined(USE_THREADS) - .globl asm_builtin_monitorenter - .globl asm_builtin_monitorexit + + .globl asm_abstractmethoderror + + .globl asm_patcher_wrapper + +#if defined(ENABLE_REPLACEMENT) + .globl asm_replacement_out + .globl asm_replacement_in #endif - .globl asm_builtin_ldiv - .globl asm_builtin_lrem - .globl asm_builtin_f2i - .globl asm_builtin_f2l - .globl asm_builtin_d2i - .globl asm_builtin_d2l - .globl asm_builtin_arrayinstanceof - .globl asm_perform_threadswitch - .globl asm_initialize_thread_stack - .globl asm_switchstackandcall - .globl asm_getcallingmethod - .globl asm_builtin_new - .globl asm_criticalsections - .globl asm_getclassvalues_atomic + .globl asm_builtin_f2i + .globl asm_builtin_f2l + .globl asm_builtin_d2i + .globl asm_builtin_d2l - .globl asm_throw_and_handle_exception - .globl asm_throw_and_handle_hardware_arithmetic_exception + .globl asm_compare_and_swap + .globl asm_memory_barrier - .globl asm_prepare_native_stackinfo - .globl asm_remove_native_stackinfo + .globl asm_get_cycle_count -/********************* function asm_calljavafunction *************************** -* * -* This function calls a Java-method (which possibly needs compilation) * -* with up to 4 address parameters. * -* * -* This functions calls the JIT-compiler which eventually translates the * -* method into machine code. * -* * -* C-prototype: * -* javaobject_header *asm_calljavamethod (methodinfo *m, * -* void *arg1, void *arg2, void *arg3, void *arg4); * -* * -*******************************************************************************/ +/* asm_md_init ***************************************************************** -call_name: - .align 8 + Initialize machine dependent stuff. - .long 0 /* catch type all */ - .long calljava_xhandler /* handler pc */ - .long calljava_xhandler /* end pc */ - .long asm_calljavafunction /* start pc */ - .long 1 /* extable size */ - .long 0 /* line number table start */ - .long 0 /* line number table size */ - .long 0 /* fltsave */ - .long 0 /* intsave */ - .long 0 /* isleaf */ - .long 0 /* IsSync */ - .long 32 /* frame size */ - .long 0 /* method pointer (pointer to name) */ - -asm_calljavafunction: - push %ebp /* allocate stack space */ - mov %esp, %ebp - - push %ebx /* save registers */ - push %esi - push %edi - - sub $32,%esp /* pass the remaining parameters */ - xor %edx,%edx - - mov %edx,28(%esp) /* convert parms to 8 byte */ - mov 24(%ebp),%eax - mov %eax,24(%esp) - - mov %edx,20(%esp) - mov 20(%ebp),%eax - mov %eax,16(%esp) - - mov %edx,12(%esp) - mov 16(%ebp),%eax - mov %eax,8(%esp) - - mov %edx,4(%esp) - mov 12(%ebp),%eax - mov %eax,(%esp) - - mov 8(%ebp),%eax /* move function pointer to %eax */ - - lea asm_call_jit_compiler,%edx - call *%edx /* call JIT compiler */ - - add $32,%esp - pop %edi /* restore registers */ - pop %esi - pop %ebx - leave - ret + See: http://www.srware.com/linux_numerics.txt -calljava_xhandler: - push %eax /* pass exception pointer */ - call builtin_throw_exception - add $4,%esp + This puts the X86 FPU in 64-bit precision mode. The default under + Linux is to use 80-bit mode, which produces subtle differences from + FreeBSD and other systems, eg, (int)(1000*atof("0.3")) is 300 in + 64-bit mode, 299 in 80-bit mode. - add $32,%esp - pop %edi /* restore registers */ - pop %esi - pop %ebx - leave + Fixes: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=350729 + +*******************************************************************************/ + +asm_md_init: + sub $4,sp /* allocate space for the FPU state */ + fnstcw (sp) /* get the FPU state */ + mov (sp),%eax + and $0xfcff,%ax /* remove the extended mode flag */ + or $0x0200,%ax /* put the double mode flag */ + mov %eax,(sp) /* store new FPU state */ + fldcw (sp) /* setup new FPU state */ + add $4,sp ret @@ -194,235 +111,151 @@ calljava_xhandler: * method into machine code. * * * * C-prototype: * -* javaobject_header *asm_calljavafunction2(methodinfo *m, * +* javaobject_header *asm_vm_call_method(methodinfo *m, * * u4 count, u4 size, void *callblock); * * * *******************************************************************************/ -call_name2: .align 8 - .long 0 /* catch type all */ - .long calljava_xhandler2 /* handler pc */ - .long calljava_xhandler2 /* end pc */ - .long asm_calljavafunction2 /* start pc */ - .long 1 /* extable size */ - .long 0 /* line number table start */ - .long 0 /* line number table size */ - .long 0 /* fltsave */ - .long 0 /* intsave */ - .long 0 /* isleaf */ - .long 0 /* IsSync */ - .long 32 /* frame size */ - .long 0 /* method pointer (pointer to name) */ - -asm_calljavafunction2: -asm_calljavafunction2int: -asm_calljavafunction2long: -asm_calljavafunction2float: -asm_calljavafunction2double: - push %ebp - mov %esp,%ebp /* save stackptr */ - - push %ebx /* save registers */ - push %esi - push %edi - - mov 20(%ebp),%eax /* pointer to arg block */ - mov 12(%ebp),%ecx /* arg count */ - test %ecx,%ecx /* maybe we have no args */ - jle calljava_copydone - - mov %ecx,%edx /* calculate stack size */ - shl $3,%edx - mov %edx,%esi /* save in callee saved register */ - sub %esi,%esp /* stack frame for arguments */ - mov %esp,%edi - -calljava_copyloop: - mov offjniitem(%eax),%edx - mov %edx,0(%edi) - mov offjniitem+4(%eax),%edx - mov %edx,4(%edi) - - sub $1,%ecx /* are there any args left? */ - test %ecx,%ecx - jle calljava_copydone - - add $sizejniblock,%eax /* goto next argument block */ - add $8,%edi /* increase sp to next argument */ - jmp calljava_copyloop - -calljava_copydone: - mov 8(%ebp),%eax /* move function pointer to %eax */ - - lea asm_call_jit_compiler,%edx - call *%edx /* call JIT compiler */ - -calljava_return2: - add %esi,%esp /* remove arg stack frame */ - pop %edi /* restore registers */ - pop %esi - pop %ebx + .long 0 /* catch type all */ + .long 0 /* handler pc */ + .long 0 /* end pc */ + .long 0 /* start pc */ + .long 1 /* extable size */ + .long 0 /* line number table start */ + .long 0 /* line number table size */ + .long 0 /* fltsave */ + .long 0 /* intsave */ + .long 0 /* isleaf */ + .long 0 /* IsSync */ + .long 0 /* frame size */ + .long 0 /* codeinfo pointer */ + +asm_vm_call_method: +asm_vm_call_method_int: +asm_vm_call_method_long: +asm_vm_call_method_float: +asm_vm_call_method_double: + push bp + mov sp,bp /* save stackptr */ + sub $(4*4),sp /* create stackframe */ + and $0xfffffff0,sp /* align stack to 16-byte */ + + mov t0,0*4(sp) /* save registers */ + mov s1,1*4(sp) + mov s2,2*4(sp) + + mov sp,s1 /* save stack pointer */ + + mov 3*4(bp),t0 /* address of data structure */ + mov 4*4(bp),itmp1 /* number of stack arguments */ + + cmp $0,itmp1 + je L_asm_vm_call_method_stack_copy_done + + mov itmp1,itmp2 + add $1,itmp2 /* keep stack 16-byte aligned */ + and $0xfffffffe,itmp2 + shl $3,itmp2 /* calculate stack size */ + sub itmp2,sp /* create stack frame */ + mov sp,itmp2 /* temporary stack pointer */ + +L_asm_vm_call_method_stack_copy_loop: + mov 0(t0),itmp3 /* load argument */ + mov itmp3,0(itmp2) /* store argument on stack */ + mov 4(t0),itmp3 + mov itmp3,4(itmp2) + + sub $1,itmp1 /* subtract 1 argument */ + add $8,t0 /* set address of next argument */ + add $8,itmp2 /* increase SP */ + + cmp $0,itmp1 + jg L_asm_vm_call_method_stack_copy_loop + +L_asm_vm_call_method_stack_copy_done: + lea (2*4-256)(bp),mptr /* We subtract 256 to force the next */ + /* move instruction to have a 32-bit */ + /* offset. */ + + mov (0*4+256)(mptr),itmp3 /* method call as in Java */ + call *itmp3 /* call JIT compiler */ + +L_asm_vm_call_method_return: + mov s1,sp /* restore stackpointer */ + + mov 0*4(sp),t0 /* restore registers */ + mov 1*4(sp),s1 + mov 2*4(sp),s2 + leave ret -calljava_xhandler2: - push %eax /* pass exception pointer */ +asm_vm_call_method_exception_handler: + push xptr /* pass exception pointer */ call builtin_throw_exception - add $4,%esp - - add %esi,%esp /* remove arg stack frame */ - pop %edi /* restore registers */ - pop %esi - pop %ebx - leave - ret + add $4,sp +asm_vm_call_method_end: + jmp L_asm_vm_call_method_return -/****************** function asm_call_jit_compiler ***************************** -* * -* invokes the compiler for untranslated JavaVM methods. * -* * -* Register R0 contains a pointer to the method info structure (prepared * -* by createcompilerstub). Using the return address in R26 and the * -* offset in the LDA instruction or using the value in methodptr R28 the * -* patching address for storing the method address can be computed: * -* * -* method address was either loaded using * -* * -* i386_mov_imm_reg(a, REG_ITMP2) ; invokestatic/special * -* i386_call_reg(REG_ITMP2) * -* * -* or * -* * -* i386_mov_membase_reg(REG_SP, 0, REG_ITMP1) ; invokevirtual/interface * -* i386_mov_membase_reg(REG_ITMP1, OFFSET(, vftbl), REG_ITMP2) * -* i386_mov_membase_reg(REG_ITMP2, OFFSET(vftbl, table[0]) + \ * -* sizeof(methodptr) * m->vftblindex, REG_ITMP1) * -* i386_call_reg(REG_ITMP1) * -* * -* in the static case the method pointer can be computed using the * -* return address and the lda function following the jmp instruction * -* * +/* asm_call_jit_compiler ******************************************************* + + Invokes the compiler for untranslated JavaVM methods. + + Register R0 contains a pointer to the method info structure (prepared + by createcompilerstub). Using the return address in R26 and the + offset in the LDA instruction or using the value in methodptr R28 the + patching address for storing the method address can be computed: + + Method address was either loaded using + + i386_mov_imm_reg(a, REG_ITMP2) ; invokestatic/special + i386_call_reg(REG_ITMP2) + + or + + i386_mov_membase_reg(REG_SP, 0, REG_ITMP1) ; invokevirtual/interface + i386_mov_membase_reg(REG_ITMP1, OFFSET(, vftbl), REG_ITMP2) + i386_mov_membase_reg(REG_ITMP2, OFFSET(vftbl, table[0]) + \ + sizeof(methodptr) * m->vftblindex, REG_ITMP1) + i386_call_reg(REG_ITMP1) + + In the static case the method pointer can be computed using the + return address and the lda function following the jmp instruction. + *******************************************************************************/ asm_call_jit_compiler: - push %ebx /* save register */ - push %ebp - - mov 8(%esp),%ebp /* get return address (2 push) */ - mov -1(%ebp),%bl /* get function code */ - cmp $0xd1,%bl /* called with `call *REG_ITMP2' (%ecx)? */ - jne L_not_static_special - - sub $6,%ebp /* calculate address of immediate */ - jmp L_call_jit_compile - -L_not_static_special: - cmp $0xd0,%bl /* called with `call *REG_ITMP1' (%eax) */ - jne L_not_virtual_interface - - sub $6,%ebp /* calculate address of offset */ - mov (%ebp),%ebp /* get offset */ - add itmp2,%ebp /* add base address to get method address */ - jmp L_call_jit_compile - -L_not_virtual_interface: /* a call from asm_calljavafunction */ - xor %ebp,%ebp - -L_call_jit_compile: - push %ebp /* save address for method pointer */ +L_asm_call_jit_compiler: /* required for PIC code */ + sub $(4*4),sp /* keep stack 16-byte aligned */ - push %eax /* push methodpointer on stack */ - call jit_compile - add $4,%esp + mov itmp1,0*4(sp) /* pass methodinfo pointer */ + mov mptr,1*4(sp) /* pass method pointer */ + mov sp,itmp2 /* pass java sp */ + add $((1+4)*4),itmp2 + mov itmp2,2*4(sp) + mov 4*4(sp),itmp3 /* pass java ra */ + mov itmp3,3*4(sp) + call jit_asm_compile - pop %ebp /* restore address for method pointer */ + add $(4*4),sp /* remove stack frame */ - test %eax,%eax /* check for exception */ + test v0,v0 /* check for exception */ je L_asm_call_jit_compiler_exception - test %ebp,%ebp /* is address == 0 (asm_calljavafunction) */ - je L_call_method - - mov %eax,(%ebp) /* and now save the new pointer */ - -L_call_method: - pop %ebp /* restore registers */ - pop %ebx - - jmp *%eax /* ...and now call the new method */ + jmp *v0 /* ...and now call the new method */ L_asm_call_jit_compiler_exception: - pop %ebp /* restore registers */ - pop %ebx - -#if defined(USE_THREADS) && defined(NATIVE_THREADS) - call builtin_asm_get_exceptionptrptr - mov %eax,%ecx -#else - lea _exceptionptr,%ecx -#endif - mov (%ecx),%eax /* get the exception pointer */ - movl $0,(%ecx) /* clear the exception pointer */ - - pop %ecx /* delete return address */ - sub $2,%ecx /* faulting address is return adress - 2 */ - -L_refillinStacktrace: /*a compilation error should cause a stacktrace - which starts at the method call, which caused - the compilation of the new function. Until this - point the trace is invalid anyways, since it is - not complete. Compared to other runtimes it will - not be correct either, since we report eg class - not found errors too early, since we always - compile methods completely. The native info - should be moved around the jit call to get - a more compliant trace for the "exception in - initializer" case*/ - push %ecx /* store fault adress */ - push %eax /* temporarily save exception pointer*/ - push $0 /* internal function */ - call builtin_asm_get_stackframeinfo - push %eax /* save location of thread specific stack info head pointer */ - mov (%eax),%ecx /* save old value of pointer*/ - push %ecx - mov %esp,(%eax) /*store pointer to this structure*/ - mov 12(%esp),%eax /* get the exception pointer again*/ - movl $0,12(%esp) /*java stack begins just above structure*/ - push $0 /*used for the jni_callblock structure*/ - push %eax /*save eax for later */ - /* get fillInStackTrace method*/ - push utf_void__java_lang_Throwable - push utf_fillInStackTrace - mov offobjvftbl(%eax),%ecx - mov offclass(%ecx),%eax - push %eax - call class_resolvemethod - add $12,%esp - push $0 - push $4 /*TYPE_ADR*/ - push %esp - push $sizejniblock - push $1 - push %eax - call asm_calljavafunction2 - add $24,%esp - - /*remove native stack info */ - mov 8(%esp),%ecx - mov 12(%esp),%eax - mov %ecx,(%eax) - mov (%esp),%eax - add $24,%esp - pop %ecx - - - jmp asm_handle_exception - - -/********************* function asm_handle_exception *************************** + call exceptions_get_and_clear_exception + /* v0 == xptr */ + pop xpc /* get return address */ + sub $2,xpc /* faulting address is ra - 2 */ + jmp L_asm_handle_exception + + +/* asm_handle_exception ******************************************************** * * * This function handles an exception. It does not use the usual calling * * conventions. The exception pointer is passed in REG_ITMP1 and the * @@ -430,994 +263,399 @@ L_refillinStacktrace: /*a compilation error should cause a stacktr * the local exception table for a handler. If no one is found, it unwinds * * stacks and continues searching the callers. * * * -* void asm_handle_exception (exceptionptr, exceptionpc); * -* * *******************************************************************************/ asm_handle_nat_exception: - add $4,%esp /* clear return address of native stub */ + add $4,sp /* clear return address of native stub*/ asm_handle_exception: -asm_handle_exception_loop: - push %ebp - mov %esp,%ebp - - push %eax /* save exception pointer */ - push %ecx /* save exception pc */ - - call codegen_findmethod /* get the data segment ptr */ - mov %eax,%edx - - mov -4(%ebp),%eax - mov -8(%ebp),%ecx /* could be changed in findmethod */ - - push %edx /* save data segment pointer */ - push %ebx - push %esi - push %edi - -ex_stack_loop: - sub $20,%esp - mov %eax,(%esp) /* exception pointer */ - mov MethodPointer(%edx),%eax /* method pointer */ - mov %eax,4(%esp) - mov %ecx,8(%esp) /* exception pc */ - movl $0,12(%esp) /* line number */ - movl $1,16(%esp) /* set no unwind flag */ - call builtin_trace_exception - add $20,%esp - mov -12(%ebp),%esi /* %esi = data segment pointer */ - mov ExTableSize(%esi),%ecx /* %ecx = exception table size */ - test %ecx,%ecx /* if empty table skip */ - je empty_table - - lea ExTableStart(%esi),%edi /* %edi = start of exception table*/ - mov -4(%ebp),%eax /* get xptr */ - -ex_table_loop: - mov -8(%ebp),%edx /* get xpc */ - - mov ExStartPC(%edi),%ebx /* %ebx = exception start pc */ - cmp %edx,%ebx /* %ebx = (startpc <= xpc) */ - jg ex_table_cont /* if (false) continue */ - mov ExEndPC(%edi),%ebx /* %ebx = exception end pc */ - cmp %ebx,%edx /* %ebx = (xpc < endpc) */ - jge ex_table_cont /* if (false) continue */ - mov ExCatchType(%edi),%ebx /* arg1 = exception catch type */ - test %ebx,%ebx /* NULL catches everything */ - je ex_handle_it - - cmpl $0,offclassloaded(%ebx) /* check if class is loaded */ - jne L_class_loaded - - sub $3*4,%esp - mov %eax,1*4(%esp) /* save not callee saved regs */ - mov %ecx,2*4(%esp) - - mov %ebx,0*4(%esp) /* exception class is argument */ - call class_load - - mov 0*4(%esp),%ebx - mov 1*4(%esp),%eax - mov 2*4(%esp),%ecx - add $3*4,%esp - -L_class_loaded: - cmpl $0,offclasslinked(%ebx) - jne L_class_linked - - sub $3*4,%esp - mov %eax,1*4(%esp) /* save not callee saved regs */ - mov %ecx,2*4(%esp) - - mov %ebx,0*4(%esp) /* exception class is argument */ - call class_link - - mov 0*4(%esp),%ebx - mov 1*4(%esp),%eax - mov 2*4(%esp),%ecx - add $3*4,%esp - -L_class_linked: -#if defined(USE_THREADS) && defined(NATIVE_THREADS) - push %ebx - -_crit_restart1: - mov 0(%esp),%ebx -#endif - -_crit_begin1: - mov offobjvftbl(%eax),%esi /* %esi = vftblptr(xptr) */ - mov offclassvftbl(%ebx),%ebx /* %ebx = vftblptr(catchtype) class (not obj) */ - mov offbaseval(%esi),%esi /* %esi = baseval(xptr) */ - mov offbaseval(%ebx),%edx /* %edx = baseval(catchtype) */ - mov offdiffval(%ebx),%ebx /* %ebx = diffval(catchtype) */ -_crit_end1: - sub %edx,%esi /* %esi = baseval(xptr) - baseval(catchtype) */ - -#if defined(USE_THREADS) && defined(NATIVE_THREADS) - add $4,%esp -#endif - - cmp %ebx,%esi /* xptr is instanceof catchtype */ - ja ex_table_cont - -ex_handle_it: - mov ExHandlerPC(%edi),%edx - - pop %edi /* restore registers */ - pop %esi - pop %ebx - add $8,%esp /* suck %ecx, %edx */ - pop %eax /* restore xptr */ - - leave - jmp *%edx /* jump to exception handler */ - -ex_table_cont: - lea ExEntrySize(%edi),%edi - dec %ecx - test %ecx,%ecx - jg ex_table_loop - -empty_table: - pop %edi - pop %esi - pop %ebx - pop %edx /* restore data segment pointer */ - pop %ecx - pop %eax - pop %ebp - - push %eax /* save exception pointer */ - -ex_already_cleared: - mov IsSync(%edx),%eax /* %eax = SyncOffset */ - test %eax,%eax /* if zero no monitorexit */ - je no_monitor_exit - -#if defined(USE_THREADS) - add %esp,%eax - mov -4(%eax),%eax /* we have the xptr on the stack */ - push %edx /* save regs */ - push %eax - call builtin_monitorexit - add $4,%esp - pop %edx /* restore regs */ -#endif +L_asm_handle_exception: /* required for PIC code */ + sub $((ARG_CNT+TMP_CNT+3)*4),sp /* keep stack 16-byte aligned */ -no_monitor_exit: - mov %esp,%eax - add FrameSize(%edx),%eax /* %eax = frame size */ - add $4,%eax /* we have the xptr on the stack */ - - mov IntSave(%edx),%ecx /* %ecx = saved int register count*/ - test %ecx,%ecx - je noint - cmp $1,%ecx - je int1 - cmp $2,%ecx - je int2 - cmp $3,%ecx - je int3 - -int4: - mov -32(%eax),%ebx - -int3: - mov -24(%eax),%ebp + SAVE_ARGUMENT_REGISTERS(0) /* we save arg and temp registers in */ + SAVE_TEMPORARY_REGISTERS(ARG_CNT) /* case this is a leaf method */ -int2: - mov -16(%eax),%esi + mov $((ARG_CNT+TMP_CNT+3)*4),itmp3 /* prepare a3 for handle_exception */ + mov $1,t0 /* set maybe-leaf flag */ -int1: - mov -8(%eax),%edi +L_asm_handle_exception_stack_loop: + sub $(12*4),sp /* keep stack 16-byte aligned */ + mov xptr,4*4(sp) /* save exception pointer */ + mov xpc,5*4(sp) /* save exception pc */ + add sp,itmp3 /* calculate Java sp into a3... */ + add $(12*4),itmp3 + mov itmp3,7*4(sp) /* ...and save it */ + mov t0,8*4(sp) /* save maybe-leaf flag */ - shl $3,%ecx /* multiply by 8 bytes */ - sub %ecx,%eax - -noint: - mov FltSave(%edx),%ecx /* %ecx = saved flt register count */ - test %ecx,%ecx - je noflt - cmp $1,%ecx - je flt1 - cmp $2,%ecx - je flt2 - cmp $3,%ecx - je flt3 - -flt4: - fldl -32(%eax) - fstp %st(1) + mov xpc,0*4(sp) /* pass exception pc */ + call codegen_get_pv_from_pc + mov v0,6*4(sp) /* save data segment pointer */ -flt3: - fldl -24(%eax) - fstp %st(2) - -flt2: - fldl -16(%eax) - fstp %st(3) - -flt1: - fldl -8(%eax) - fstp %st(4) - -noflt: - pop %eax /* restore exception pointer */ - - mov FrameSize(%edx),%ecx /* %ecx = frame size */ - add %ecx,%esp /* unwind stack */ - - pop %ecx /* the new xpc is return address */ - sub $2,%ecx - - jmp asm_handle_exception_loop - + mov 4*4(sp),itmp3 /* pass exception pointer */ + mov itmp3,0*4(sp) + mov 5*4(sp),itmp3 /* pass exception pc */ + mov itmp3,1*4(sp) + mov v0,2*4(sp) /* pass data segment pointer */ + mov 7*4(sp),itmp3 /* pass Java stack pointer */ + mov itmp3,3*4(sp) + call exceptions_handle_exception -/* asm_check_clinit ************************************************************ + test v0,v0 + jz L_asm_handle_exception_not_catched - DOCUMENT ME!!! + mov v0,xpc /* move handlerpc into xpc */ + mov 4*4(sp),xptr /* restore exception pointer */ + mov 8*4(sp),t0 /* get maybe-leaf flag */ + add $(12*4),sp /* free stackframe */ - Stack layout: + test t0,t0 /* test for maybe-leaf flag */ + jz L_asm_handle_exception_no_leaf - 16 ra ; return address of patched call in java machine code - 12 xmcode ; additional machine code (only for i386 and x86_64) - 8 mcode ; machine code to patch back in - 4 class ; pointer to class - 0 sp ; stack pointer of java stack frame + return address + RESTORE_ARGUMENT_REGISTERS(0) /* if this is a leaf method, we have */ + RESTORE_TEMPORARY_REGISTERS(ARG_CNT)/* to restore arg and temp registers */ -*******************************************************************************/ + add $((ARG_CNT+TMP_CNT+3)*4),sp /* remove maybe-leaf stackframe */ -asm_check_clinit: - mov 4(%esp),%eax /* get fieldinfo's class pointer */ - mov offclassinit(%eax),%eax /* get initialized flag */ - test %eax,%eax - jnz L_is_initialized - - /*3*4 bytes*/ - mov 16(%esp),itmp1 - push itmp1 /*return adress into java machine code */ - mov 4(%esp),itmp1 - push itmp1 /*begin of java stack frame*/ - pushl $0 /*internal (invisible) method*/ - call asm_prepare_native_stackinfo /*puts additional 2 *4 bytes of - data onto the stack */ - - sub $4,%esp - mov 20+4+4(%esp),itmp1 /* get class pointer */ - mov itmp1,(%esp) /* store class pointer as a0 */ - call class_init /* call class_init function */ - add $4,%esp - - call asm_remove_native_stackinfo /* removes 4* 4 bytes and leaves ret - into java machine code on stack */ - add $4,%esp /* ret address no longer needed, is still - on stack a few bytes above */ - - test %eax,%eax /* we had an exception */ - je L_initializererror - -L_is_initialized: - mov 16(%esp),itmp1 /* get return address */ - sub $5,itmp1 /* remove size of `call rel32' */ - - mov 12(%esp),itmp2 /* get xmcode machine code */ - movb itmp2b,(itmp1) /* patch back in 1 byte */ - mov 8(%esp),itmp2 /* get mcode machine code */ - mov itmp2,1(itmp1) /* patch back in 4 bytes */ - - add $(5*4),%esp /* remove stub stack frame incl. ra */ - - jmp *itmp1 /* jump to patched code an execute it */ - -L_initializererror: - add $(4*4),%esp /* remove stub stack frame */ - -#if defined(USE_THREADS) && defined(NATIVE_THREADS) - call builtin_asm_get_exceptionptrptr - mov %eax,%ecx - mov (%ecx),%eax /* get the exception pointer */ - movl $0,(%ecx) /* clear the exception pointer */ -#else - lea _exceptionptr,%ecx - mov (%ecx),%eax /* get the exception pointer */ - movl $0,(%ecx) /* clear the exception pointer */ -#endif +L_asm_handle_exception_no_leaf: + jmp *xpc /* jump to exception handler */ - pop itmp2 /* get and delete ra */ - sub $5,itmp2 /* faulting address is ra - 5 */ +L_asm_handle_exception_not_catched: + mov 4*4(sp),xptr /* restore exception pointer */ + mov 6*4(sp),itmp3 /* restore data segment pointer */ + mov 8*4(sp),t0 /* get maybe-leaf flag */ + add $(12*4),sp /* free stackframe */ - jmp asm_handle_exception + test t0,t0 + jz L_asm_handle_exception_no_leaf_stack + add $((ARG_CNT+TMP_CNT+3)*4),sp /* remove maybe-leaf stackframe */ + xor t0,t0 /* clear the maybe-leaf flag */ -/********************* function asm_builtin_monitorenter *********************** -* * -* Does null check and calls monitorenter or throws an exception * -* * -*******************************************************************************/ +L_asm_handle_exception_no_leaf_stack: + mov FrameSize(itmp3),itmp2 /* get frame size */ + add sp,itmp2 /* pointer to save area */ + + push xptr /* we are out of registers */ -#if defined(USE_THREADS) -asm_builtin_monitorenter: - cmpl $0,4(%esp) - je nb_monitorenter /* if (null) throw exception */ - jmp builtin_monitorenter /* else call builtin_monitorenter */ + mov IntSave(itmp3),itmp1 /* itmp1 = saved int register count */ + test itmp1,itmp1 + je noint -nb_monitorenter: - mov string_java_lang_NullPointerException,%eax - pop %ecx - sub $2,%ecx - jmp asm_throw_and_handle_exception + cmp $1,itmp1 + je int1 + cmp $2,itmp1 + je int2 + mov -3*8(itmp2),s0 +int2: + mov -2*8(itmp2),s1 +int1: + mov -1*8(itmp2),s2 + + shl $2,itmp1 /* multiply by 4 bytes */ + sub itmp1,itmp2 + +noint: #if 0 - push string_java_lang_NullPointerException - call new_exception - add $(1*4),%esp - - pop %ecx /* delete return address */ - sub $2,%ecx /* faulting address is return adress - 2 */ - jmp asm_handle_exception -#endif + mov FltSave(itmp3),itmp1 /* itmp1 = saved flt register count */ + test itmp1,itmp1 + je noflt + + cmp $1,itmp1 + je flt1 + cmp $2,itmp1 + je flt2 + cmp $3,itmp1 + je flt3 + + fldl -4*8(itmp2) + fstp %st(1) +flt3: + fldl -3*8(itmp2) + fstp %st(2) +flt2: + fldl -2*8(itmp2) + fstp %st(3) +flt1: + fldl -1*8(itmp2) + fstp %st(4) + +noflt: #endif + pop xptr /* restore exception pointer */ + mov FrameSize(itmp3),itmp2 /* get frame size */ + add itmp2,sp /* unwind stack */ + pop xpc /* the new xpc is return address */ + sub $2,xpc /* subtract 2-bytes for call */ -/********************* function asm_builtin_monitorexit ************************ -* * -* Does null check and calls monitorexit or throws an exception * -* * -*******************************************************************************/ + xor itmp3,itmp3 /* prepare a3 for handle_exception */ -#if defined(USE_THREADS) -asm_builtin_monitorexit: - mov 4(%esp),%eax - test %eax,%eax - je nb_monitorexit /* if (null) throw exception */ - push %ecx /* save registers which could be used */ - push %edx - push %eax - call builtin_monitorexit /* else call builtin_monitorenter */ - add $4,%esp - pop %edx /* restore registers which could be used */ - pop %ecx - ret - -nb_monitorexit: - mov string_java_lang_NullPointerException,%eax - pop %ecx - sub $2,%ecx - jmp asm_throw_and_handle_exception + jmp L_asm_handle_exception_stack_loop + -#if 0 - push string_java_lang_NullPointerException - call new_exception - add $(1*4),%esp - - pop %ecx /* delete return address */ - sub $2,%ecx /* faulting address is return adress - 2 */ - jmp asm_handle_exception -#endif -#endif +/* asm_abstractmethoderror ***************************************************** + Creates and throws an AbstractMethodError. -/************************ function asm_builtin_ldiv **************************** -* * -* Does null check and calls ldiv or throws an exception * -* * *******************************************************************************/ -asm_builtin_ldiv: - mov 12(%esp),%eax - or 16(%esp),%eax - test %eax,%eax /* if (null) throw exception */ - je nb_ldiv - - jmp builtin_ldiv +asm_abstractmethoderror: + sub $(3*4),sp /* keep stack 16-byte aligned */ + mov sp,itmp1 /* pass java sp */ + add $((1+3)*4),itmp1 + mov itmp1,0*4(sp) + mov 3*4(sp),itmp2 /* pass exception address */ + sub $2,itmp2 + mov itmp2,1*4(sp) + call exceptions_asm_new_abstractmethoderror + /* exception pointer is return value */ + add $(3*4),sp /* remove stack frame */ -nb_ldiv: - pop %ecx - sub $2,%ecx - jmp asm_throw_and_handle_hardware_arithmetic_exception -#if 0 - push string_java_lang_ArithmeticException_message - push string_java_lang_ArithmeticException - call new_exception_message - add $(2*4),%esp - - pop %ecx /* delete return address */ - sub $2,%ecx /* faulting address is return adress - 2 */ - jmp asm_handle_exception -#endif - -/************************ function asm_builtin_lrem **************************** -* * -* Does null check and calls lrem or throws an exception * -* * -*******************************************************************************/ + pop xpc /* get exception address */ + sub $2,xpc /* exception address is ra - 2 */ + jmp L_asm_handle_exception -asm_builtin_lrem: - mov 12(%esp),%eax - or 16(%esp),%eax - test %eax,%eax /* if (null) throw exception */ - je nb_lrem - jmp builtin_lrem +/* asm_patcher_wrapper ********************************************************* -nb_lrem: - pop %ecx - sub $2,%ecx - jmp asm_throw_and_handle_hardware_arithmetic_exception -#if 0 - push string_java_lang_ArithmeticException_message - push string_java_lang_ArithmeticException - call new_exception_message - add $(2*4),%esp + XXX - pop %ecx /* delete return address */ - sub $2,%ecx /* faulting address is return adress - 2 */ - jmp asm_handle_exception -#endif + Stack layout: + 24 return address + 20 REG_ITMP3 + 16 pointer to virtual java_objectheader + 12 last byte of machine code (xmcode) + 8 machine code (which is patched back later) + 4 unresolved field reference + 0 patcher function pointer to call -/************************ function asm_builtin_x2x ***************************** -* * -* Wrapper functions for corner cases * -* * *******************************************************************************/ -asm_builtin_f2i: - sub $4,%esp - fsts (%esp) - call builtin_f2i - add $4,%esp - ret +asm_patcher_wrapper: + sub $((1+4+4)*4),sp /* keep stack 16-byte aligned */ -asm_builtin_d2i: - sub $8,%esp - fstl (%esp) - call builtin_d2i - add $8,%esp - ret + mov itmp1,(0+4)*4(sp) /* save itmp1 and itmp2 */ + mov itmp2,(1+4)*4(sp) -asm_builtin_f2l: - sub $4,%esp - fsts (%esp) - call builtin_f2l - add $4,%esp - ret + mov sp,itmp1 /* pass SP of patcher stub */ + add $((1+4+4)*4),itmp1 + mov itmp1,0*4(sp) + movl $0,1*4(sp) /* pass PV (if NULL, use findmethod) */ + movl $0,2*4(sp) /* pass RA (it's on the stack) */ + call patcher_wrapper + mov v0,itmp3 /* save return value */ -asm_builtin_d2l: - sub $8,%esp - fstl (%esp) - call builtin_d2l - add $8,%esp - ret + mov (0+4)*4(sp),itmp1 /* restore itmp1 and itmp2 */ + mov (1+4)*4(sp),itmp2 + test itmp3,itmp3 /* exception thrown? */ + jne L_asm_patcher_wrapper_exception -/******************* function asm_builtin_checkarraycast *********************** -* * -* Does the cast check and eventually throws an exception * -* * -*******************************************************************************/ + mov (5+1+4+4)*4(sp),itmp3 /* restore itmp3 */ + add $((6+1+4+4)*4),sp /* remove stack frame, keep RA */ -asm_builtin_checkarraycast: - sub $8,%esp /* build stack frame (2 * 4 bytes) */ + ret /* jump to new patched code */ - mov 12(%esp),%eax /* 8 (frame) + 4 (return) */ - mov %eax,(%esp) /* save object pointer */ +L_asm_patcher_wrapper_exception: + add $((6+1+4+4)*4),sp /* remove stack frame, keep RA */ + mov itmp3,xptr /* get exception */ + pop xpc /* get and remove return address */ + jmp L_asm_handle_exception - mov 20(%esp),%eax - mov %eax,4(%esp) +#if defined(ENABLE_REPLACEMENT) - call builtin_checkarraycast /* builtin_checkarraycast */ +/* asm_replacement_out ********************************************************* - test %eax,%eax /* if (false) throw exception */ - je nb_carray_throw + This code is jumped to from the replacement-out stubs that are executed + when a thread reaches an activated replacement point. - mov 12(%esp),%eax /* return object pointer */ - add $8,%esp - ret + The purpose of asm_replacement_out is to read out the parts of the + execution state that cannot be accessed from C code, store this state, + and then call the C function replace_me. + + Stack layout: + 4 start of stack inside method to replace + 0 rplpoint * info on the replacement point that was reached -nb_carray_throw: - add $8,%esp - mov string_java_lang_ClassCastException,%eax - pop %ecx - sub $2,%ecx - jmp asm_throw_and_handle_exception -#if 0 - push string_java_lang_ClassCastException - call new_exception - add $(1*4),%esp - - add $8,%esp - - pop %ecx /* delete return address */ - sub $2,%ecx /* faulting address is return adress - 2 */ - jmp asm_handle_exception -#endif - -/******************* function asm_builtin_newarray ***************************** -* * -* Does the cast check and eventually throws an exception * -* * *******************************************************************************/ -asm_builtin_newarray: - sub $8,%esp /* build stack frame (2 * 4 bytes) */ +/* some room to accomodate changes of the stack frame size during replacement */ + /* XXX we should find a cleaner solution here */ +#define REPLACEMENT_ROOM 512 - mov 12(%esp),%eax - mov %eax,(%esp) +asm_replacement_out: + /* create stack frame */ + sub $(sizeexecutionstate + REPLACEMENT_ROOM),sp - mov 20(%esp),%eax - mov %eax,4(%esp) + /* save registers in execution state */ + mov %eax,(EAX*4+offes_intregs)(sp) + mov %ebx,(EBX*4+offes_intregs)(sp) + mov %ecx,(ECX*4+offes_intregs)(sp) + mov %edx,(EDX*4+offes_intregs)(sp) + mov %esi,(ESI*4+offes_intregs)(sp) + mov %edi,(EDI*4+offes_intregs)(sp) + mov %ebp,(EBP*4+offes_intregs)(sp) + movl $0 ,(ESP*4+offes_intregs)(sp) /* not used */ - call builtin_newarray + /* calculate sp of method */ + mov sp,itmp1 + add $(sizeexecutionstate + REPLACEMENT_ROOM + 4),itmp1 + mov itmp1,(offes_sp)(sp) - add $8,%esp - ret + /* pv must be looked up via AVL tree */ + movl $0,(offes_pv)(sp) - -/******************* function asm_builtin_aastore ****************************** -* * -* Does the cast check and eventually throws an exception * -* * -*******************************************************************************/ + /* call replace_me */ + mov -4(itmp1),itmp1 /* rplpoint * */ + push sp /* arg1: execution state */ + push itmp1 /* arg0: replacement point */ + call replace_me /* call C function replace_me */ -asm_builtin_aastore: - sub $12,%esp /* build stack frame (3 * 4 bytes) */ - - mov 16(%esp),%eax /* 12 (frame) + 4 (return) */ - test %eax,%eax /* if null pointer throw exception */ - je nb_aastore_null - - mov offarraysize(%eax),%edx /* load size */ - mov 24(%esp),%ecx /* index */ - cmp %edx,%ecx /* do bound check */ - jae nb_aastore_bound /* if out of bounds throw exception */ - - shl $2,%ecx /* index * 4 */ - add %eax,%ecx /* add index * 4 to arrayref */ - - mov %ecx,8(%esp) /* save store position */ - - mov 16(%esp),%eax /* 12 (frame) + 4 (return) */ - mov %eax,(%esp) - - mov 32(%esp),%eax /* object is second argument */ - mov %eax,4(%esp) - - call builtin_canstore /* builtin_canstore(arrayref,object) */ - - test %eax,%eax /* if (false) throw exception */ - je nb_aastore_store - - mov 32(%esp),%eax - mov 8(%esp),%ecx - mov %eax,offobjarrdata(%ecx) /* store objectptr in array */ - - add $12,%esp - ret -nb_aastore_null: - add $12,%esp - mov string_java_lang_NullPointerException,%eax - pop %ecx - sub $2,%ecx - jmp asm_throw_and_handle_exception +/* asm_replacement_in ********************************************************** -#if 0 - push string_java_lang_NullPointerException - call new_exception - add $(1*4),%esp - - add $12,%esp - pop %ecx /* delete return address */ - sub $2,%ecx /* faulting address is return adress - 2 */ - jmp asm_handle_exception -#endif -nb_aastore_bound: - add $12,%esp - mov %ecx,%eax /* itmp2 contains array index */ - pushl $0 /*directly below return adress*/ - pushl $0 /*internal (invisible) method*/ - call asm_prepare_native_stackinfo /* puts 2*4 bytes onto stack*/ - - push %eax - call new_arrayindexoutofboundsexception - add $(1*4),%esp - - call asm_remove_native_stackinfo /*return adress is the first on stack again*/ - - pop %ecx /* delete return address */ - sub $2,%ecx /* faulting address is return adress - 2 */ - jmp asm_handle_exception - -nb_aastore_store: - add $12,%esp + This code writes the given execution state and jumps to the replacement + code. - mov string_java_lang_ArrayStoreException,%eax - pop %ecx - sub $2,%ecx - jmp asm_throw_and_handle_exception + This function never returns! + + C prototype: + void asm_replacement_in(executionstate *es, replace_safestack_t *st); -#if 0 - push string_java_lang_ArrayStoreException - call new_exception - add $(1*4),%esp - - add $12,%esp - pop %ecx /* delete return address */ - sub $2,%ecx /* faulting address is return adress - 2 */ - jmp asm_handle_exception -#endif - -/******************* function asm_builtin_arrayinstanceof ********************** -* * -* Does the instanceof check of arrays * -* * *******************************************************************************/ -asm_builtin_arrayinstanceof: - sub $8,%esp /* build stack frame (2 * 4 bytes) */ +asm_replacement_in: + /* get arguments */ + mov 8(sp),%esi /* replace_safestack_t *st */ + mov 4(sp),%ebp /* executionstate *es == safe stack */ - mov 12(%esp),%eax - mov %eax,(%esp) + /* switch to the safe stack and build a stack frame */ + mov %ebp,sp + sub $(1*4),sp - mov 20(%esp),%eax - mov %eax,4(%esp) + /* call replace_build_execution_state(st) */ + mov %esi,(0*4)(sp) + call replace_build_execution_state - call builtin_arrayinstanceof + /* set new sp */ + mov (offes_sp)(%ebp),sp - add $8,%esp - ret + /* push address of new code */ + push (offes_pc)(%ebp) - -/******************* function asm_initialize_thread_stack ********************** -* * -* initialized a thread stack * -* (to)->restorePoint = asm_initialize_thread_stack((u1*)(func), (to)->stackEnd)* -* * -*******************************************************************************/ + /* allocate an executionstate_t on the stack */ + sub $(sizeexecutionstate),sp -asm_initialize_thread_stack: - mov 8(%esp),%eax /* (to)->stackEnd */ - sub $36,%eax /* 4 bytes * 8 regs + 4 bytes func */ - - xor %edx,%edx - mov %edx,0(%eax) - mov %edx,4(%eax) - mov %edx,8(%eax) - mov %edx,12(%eax) - mov %edx,16(%eax) - mov %edx,20(%eax) - mov %edx,24(%eax) - mov %edx,28(%eax) - - mov 4(%esp),%edx /* save (u1*) (func) */ - mov %edx,32(%eax) - - ret /* return restorepoint in %eax */ - - -/******************* function asm_perform_threadswitch ************************* -* * -* void asm_perform_threadswitch (u1 **from, u1 **to, u1 **stackTop); * -* * -* performs a threadswitch * -* * -*******************************************************************************/ + /* call replace_free_safestack(st,& of allocated executionstate_t) */ + push sp /* tmpes */ + push %esi /* st */ + call replace_free_safestack + add $(2*4),sp + + /* copy registers from execution state */ + mov (EAX*4+offes_intregs)(sp),%eax + mov (EBX*4+offes_intregs)(sp),%ebx + mov (ECX*4+offes_intregs)(sp),%ecx + mov (EDX*4+offes_intregs)(sp),%edx + mov (ESI*4+offes_intregs)(sp),%esi + mov (EDI*4+offes_intregs)(sp),%edi + mov (EBP*4+offes_intregs)(sp),%ebp + + /* pop the execution state off the stack */ + add $(sizeexecutionstate),sp -asm_perform_threadswitch: - sub $36,%esp - - mov %eax,0(%esp) - mov %ecx,4(%esp) - mov %edx,8(%esp) - mov %ebx,12(%esp) - mov %esp,16(%esp) - mov %ebp,20(%esp) - mov %esi,24(%esp) - mov %edi,28(%esp) - - mov 36(%esp),%eax /* save current return address */ - mov %eax,32(%esp) - - mov 40(%esp),%eax /* first argument **from */ - mov %esp,0(%eax) - - mov 48(%esp),%eax /* third argument **stackTop */ - mov %esp,0(%eax) - - mov 44(%esp),%eax /* second argument **to */ - mov 0(%eax),%esp /* load new stack pointer */ - - mov 0(%esp),%eax - mov 4(%esp),%ecx - mov 8(%esp),%edx - mov 12(%esp),%ebx - /* skip stack pointer */ - mov 20(%esp),%ebp - mov 24(%esp),%esi - mov 28(%esp),%edi - - add $32,%esp /* leave return address on stack */ + /* jump to new code, hold your thumbs! ;) */ ret - -/********************* function asm_switchstackandcall ************************* -* * -* int asm_switchstackandcall (void *stack, void *func, void **stacktopsave, * -* void *p); * +#endif /* defined(ENABLE_REPLACEMENT) */ + + +/************************ function asm_builtin_x2x ***************************** * * -* Switches to a new stack, calls a function and switches back. * -* a0 new stack pointer * -* a1 function pointer * -* a2 pointer to variable where stack top should be stored * -* a3 pointer to user data, is passed to the function * +* Wrapper functions for corner cases * * * *******************************************************************************/ -asm_switchstackandcall: - mov 4(%esp),%edx /* first argument *stack */ - sub $8,%edx /* allocate new stack */ - - mov (%esp),%eax /* save return address on new stack */ - mov %eax,(%edx) - - mov %esp,4(%edx) /* save old stack pointer on new stack */ - - mov 12(%esp),%eax /* third argument **stacktopsave */ - mov %esp,(%eax) /* save old stack pointer to variable */ +asm_builtin_f2i: + sub $(3*4),%esp + fsts (%esp) + call builtin_f2i + add $(3*4),%esp + ret - mov 8(%esp),%eax /* load function pointer */ - mov 16(%esp),%ecx /* fourth argument *p */ - - mov %edx,%esp /* switch to new stack */ +asm_builtin_d2i: + sub $(3*4),%esp + fstl (%esp) + call builtin_d2i + add $(3*4),%esp + ret - sub $4,%esp - mov %ecx,0(%esp) /* pass pointer */ - call *%eax /* and call function */ - add $4,%esp +asm_builtin_f2l: + sub $(3*4),%esp + fsts (%esp) + call builtin_f2l + add $(3*4),%esp + ret - mov (%esp),%edx /* load return address */ - mov 4(%esp),%esp /* switch to old stack */ - mov %edx,(%esp) +asm_builtin_d2l: + sub $(3*4),%esp + fstl (%esp) + call builtin_d2l + add $(3*4),%esp ret - -asm_throw_and_handle_exception: - push %ecx - pushl $0 /* the pushed XPC is directly below the java frame*/ - pushl $0 - call asm_prepare_native_stackinfo /* be aware of the stack effect and calling convention explained below*/ - - push %eax - call new_exception - add $4,%esp /*remove parameter*/ - - call asm_remove_native_stackinfo /* be aware of the stack effect and calling convention explained below*/ - - pop %ecx - jmp asm_handle_exception - ret /*should never be reached */ - -asm_throw_and_handle_hardware_arithmetic_exception: - - push %ecx - pushl $0 /* the pushed XPC is directly below the java frame*/ - pushl $0 - call asm_prepare_native_stackinfo /* be aware of the stack effect and calling convention explained below*/ - - mov string_java_lang_ArithmeticException_message,%eax - push %eax - mov string_java_lang_ArithmeticException,%eax - push %eax - - call new_exception_message - add $8,%esp /*remove parameters */ - - call asm_remove_native_stackinfo /* be aware of the stack effect and calling convention explained below*/ - - pop %ecx - jmp asm_handle_exception - ret /*should never be reached */ - -asm_builtin_new: -/*optimize a littlebit */ - mov %esp,%eax -/*DEBUG*/ -/* push %eax - call i386_native_stub_debug - pop %eax */ - - movl 4(%esp),%eax - mov offclassinit(%eax),%ecx /* get initialized flag */ - test %ecx,%ecx - jnz L_builtin_new_noinit - mov 4(%esp),%eax /* class pointer, is kept during the asm_prepare... calls */ +/* asm_compare_and_swap ******************************************************** - /* 2 *4 bytes, the return adress is used directy */ - pushl $0 /* the structure is placed directly below the java stackframe*/ - pushl $0 /* builtin (invisible) method */ - call asm_prepare_native_stackinfo /*puts 2*4 additional bytes on stack*/ -#if 0 - sub $16,%esp /* build stack frame (4 * 4 bytes) */ - - mov 20(%esp),%eax - mov %eax,(%esp) - - call builtin_asm_get_stackframeinfo - movl $0,12(%esp) - mov %eax,8(%esp) - mov (%eax),%ebx - mov %ebx,4(%esp) - mov %esp,%ecx - add $4,%ecx - mov %ecx,(%eax) -#endif - push %eax - call builtin_new - add $4,%esp - - call asm_remove_native_stackinfo /*first element on stack is return adress again*/ -#if 0 - call - mov 4(%esp),%ebx - mov 8(%esp),%ecx - mov %ebx,(%ecx) - - add $16,%esp -#endif - jmp L_builtin_new_patch + Does an atomic compare and swap. Required for the lock + implementation. + Atomically do the following: Check if the location still contains + `oldval`. If so, replace it by `newval` and return `oldval`. -L_builtin_new_noinit: - mov 4(%esp),%eax - push %eax - call builtin_new - add $4,%esp - /*jmp L_builtin_new_patch*/ + RETURN VALUE: + the old value at *p -L_builtin_new_patch: -/*add patching code here */ - lea builtin_new,%edx - mov (%esp),%ecx - mov %edx,-6(%ecx) /*patch calling instruction, t directly call builtin_new the next time*/ - ret + long compare_and_swap(volatile long *p, long oldval, long newval); +*******************************************************************************/ + +asm_compare_and_swap: + mov 1*4(sp),%ecx /* load p into a register */ + mov 2*4(sp),%eax /* load oldval into return register */ + mov 3*4(sp),%edx /* load newval into a register */ + lock; cmpxchgl %edx,0(%ecx) + ret +/* asm_memory_barrier ********************************************************** + A memory barrier for the Java Memory Model. +*******************************************************************************/ -asm_getclassvalues_atomic: -_crit_restart2: - mov 4(%esp),%ecx /* super */ - mov 8(%esp),%edx /* sub */ -_crit_begin2: - mov offbaseval(%ecx),%eax - mov offdiffval(%ecx),%ecx - mov offbaseval(%edx),%edx -_crit_end2: - push %ebx - mov 16(%esp),%ebx /* out */ - mov %eax,offcast_super_baseval(%ebx) - mov %ecx,offcast_super_diffval(%ebx) - mov %edx,offcast_sub_baseval(%ebx) - pop %ebx +asm_memory_barrier: + lock; add $0,0(sp) ret - .data + +/* asm_get_cycle_count ********************************************************* -asm_criticalsections: -#if defined(USE_THREADS) && defined(NATIVE_THREADS) - .long _crit_begin1 - .long _crit_end1 - .long _crit_restart1 - .long _crit_begin2 - .long _crit_end2 - .long _crit_restart2 -#endif - .long 0 - - - -/************************ function asm_prepare_native_stackinfo **************************** -* * -* creates a stackfame for the begin of a native function (either builtin or not ) * -* expected stack at begin of function * -* .... * -* address of the jit call which invokes the native * -* begin address of stack frame of the java method * -* method pointer or 0 (for built ins) * -* return address * -* * -* at end of function: * -* ... * -* address of the jit call which invokes the native * -* begin address of stack frame of the java method * -* method pointer or 0 (for built ins) * -* address of thread specific top of native list * -* old value of thread specific head * -* return address * -* * -* .... * -* This thing is less efficient than the original #define (callerside) * -* destroyes REG_ITMP2, keeps REG_ITMP1 * -********************************************************************************************/ - - -asm_prepare_native_stackinfo: - sub $8,%esp - mov 8(%esp),%ecx - mov %ecx,(%esp) - push %eax - lea builtin_asm_get_stackframeinfo,%ecx - call *%ecx - mov %eax, 12(%esp) - mov (%eax),%ecx - mov %ecx,8(%esp) - mov %esp,%ecx - add $8,%ecx - mov %ecx,(%eax) - pop %eax - ret -#if 0 -#define PREPARE_NATIVE_STACKINFO \ - i386_push_reg(cd, REG_ITMP1); /*save itmp1, needed by some stubs */ \ - i386_alu_imm_reg(cd, I386_SUB, 2*4, REG_SP); /* build stack frame (2 * 4 bytes), together with previous =3*4 */ \ - i386_mov_imm_reg(cd, (s4) codegen_stubcalled,REG_ITMP1); \ - i386_call_reg(cd, REG_ITMP1); /*call codegen_stubcalled*/ \ - i386_mov_imm_reg(cd, (s4) builtin_asm_get_stackframeinfo,REG_ITMP1); \ - i386_call_reg(cd, REG_ITMP1); /*call builtin_asm_get_stackframeinfo*/ \ - i386_mov_reg_membase(cd, REG_RESULT,REG_SP,1*4); /* save thread pointer to native call stack*/ \ - i386_mov_membase_reg(cd, REG_RESULT,0,REG_ITMP2); /* get old value of thread specific native call stack */ \ - i386_mov_reg_membase(cd, REG_ITMP2,REG_SP,0*4); /* store value on stack */ \ - i386_mov_reg_membase(cd, REG_SP,REG_RESULT,0); /* store pointer to new stack frame information */ \ - i386_mov_membase_reg(cd, REG_SP,2*4,REG_ITMP1); /* restore ITMP1, need for some stubs*/ \ - i386_mov_imm_membase(cd, 0,REG_SP, 2*4); /* builtin */ -#endif + Get the current time-stamp counter from the CPU. +*******************************************************************************/ -/************************ function asm_remove _native_stackinfo ******************************************* -* * -* creates a stackfame for the begin of a native function (either builtin or not) * -* expected stack at begin of function * -* address of the jit call which invokes the native * -* begin address of stack frame of the java method * -* method pointer or 0 (for built ins) * -* address thread specific top of native list * -* old value of thread specific head * -* return address * -* * -* at end of function: * -* .... * -* return adresss of the jit call which invokes the native * -* return address * -* * -* REG_ITMP2_XPC = address of the jit call which invokes the native * -* * -* * -* This thing is less efficient than the original #define (callerside), uses ITMP3,uses ITMP3,keeps ITMP1 * -***********************************************************************************************************/ - -asm_remove_native_stackinfo: - mov 4(%esp),%ecx - mov 8(%esp),%edx - mov %ecx,(%edx) - pop %edx - add $16,%esp - push %edx +asm_get_cycle_count: + rdtsc ret -#if 0 -#define REMOVE_NATIVE_STACKINFO \ - i386_mov_membase_reg(cd, REG_SP,0,REG_ITMP2); \ - i386_mov_membase_reg(cd, REG_SP,4,REG_ITMP3); \ - i386_mov_reg_membase(cd, REG_ITMP2,REG_ITMP3,0); \ - i386_alu_imm_reg(cd, I386_ADD,3*4,REG_SP); -#endif +/* disable exec-stacks ********************************************************/ +#if defined(__linux__) && defined(__ELF__) + .section .note.GNU-stack,"",%progbits +#endif /* @@ -1426,9 +664,10 @@ asm_remove_native_stackinfo: * Emacs will automagically detect them. * --------------------------------------------------------------------- * Local variables: - * mode: c + * mode: asm * indent-tabs-mode: t * c-basic-offset: 4 * tab-width: 4 * End: + * vim:noexpandtab:sw=4:ts=4: */