Fixed PR99 (hopefully).
[cacao.git] / src / vm / jit / arm / asmpart.S
index 694a5e4ea51af83c05095850464e4acf6dc236ca..d3f4b93fdddcc5802cb94e47dfe1b484b5dd327c 100644 (file)
@@ -1,9 +1,7 @@
 /* src/vm/jit/arm/asmpart.S - Java-C interface functions for ARM
 
-   Copyright (C) 1996-2005, 2006 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, 2008
+   CACAOVM - Verein zur Foerderung der freien virtuellen Maschine CACAO
 
    This file is part of CACAO.
 
    Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
    02110-1301, USA.
 
-   Contact: cacao@cacaojvm.org
-
-   Authors: Michael Starzinger
-
-   Changes: Christian Thalinger
-
-   $Id: asmpart.S 6541 2006-08-22 14:48:01Z twisti $
-
 */
 
 
 #include "config.h"
 
-#include "vm/jit/arm/offsets.h"
+#include <sys/syscall.h>
+
 #include "vm/jit/arm/md-asm.h"
 
 #include "vm/jit/methodheader.h"
@@ -54,6 +45,7 @@
        .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_abstractmethoderror
 
-       .globl asm_patcher_wrapper
-
        .globl asm_cacheflush
 
-       .globl asm_getclassvalues_atomic
-       .globl asm_criticalsections
-
-
-#if !defined(ENABLE_THREADS)
-asm_exceptionptr:
-       .word _no_threads_exceptionptr
-#endif
-
-asm_jitcompilerptr:
-       .word asm_call_jit_compiler
-
-asm_criticalsections:
-#if defined(ENABLE_THREADS)
-       .word _crit_begin
-       .word _crit_end
-       .word _crit_restart
-#endif
-       .word 0
-
 
 /* asm_vm_call_method **********************************************************
 
@@ -99,110 +69,72 @@ asm_criticalsections:
 
        .align  2
 
-       .word   0                           /* catch type all                     */
-       .word   0                           /* handler pc                         */
-       .word   0                           /* end pc                             */
-       .word   0                           /* start pc                           */
-       .word   1                           /* extable size                       */
-       .word   0                           /* line number table start            */
-       .word   0                           /* line number table size             */
        .word   0                           /* FltSave                            */
        .word   0                           /* IntSave                            */
        .word   0                           /* IsLeaf                             */
-       .word   0                           /* IsSync                             */
        .word   0                           /* FrameSize                          */
        .word   0                           /* CodeinfoPointer                    */
 
 asm_vm_call_method:
 asm_vm_call_method_int:
 asm_vm_call_method_long:
-/* asm_vm_call_method_float:
-asm_vm_call_method_double: */
+asm_vm_call_method_float:
+asm_vm_call_method_double:
        SAVE_SCRATCH_REGISTERS            /* save our personal scratch regs   */
-       stmfd sp!, {v1}                   /* V1 is used to recompute SP ...   */
-       mov   v1, #0                      /* ... when using stack arguments   */
-       ldr   ip, asm_jitcompilerptr
-       str   ip, [sp, #-4]!              /* store fake address               */
-       mov   mptr, sp                    /* set method pointer               */
+       stmfd sp!, {v1}                   /* V1 is used to remember SP        */
+       str   a0, [sp, #-4]!              /* store methods entrypoint         */
 
-       mov   itmp1, a1                   /* pass methodinfo* via ITMP1       */
+       mov   v1, sp                      /* remember SP                      */
 
-       cmp   a2, #0                      /* do we have arguments?            */
-       ble   asm_calljava_copyfinish     /* no -> do not care :-)            */
+       mov   itmp1, a1                   /* address of data structure        */
+       mov   itmp3, a2                   /* stack argument count             */
 
-       /* REMEMBER: stack space for arguments is reserved here! */
-       /* TODO: we possibly reserve to much here */
-       mov   v1, a2, lsl #3              /* how much stack do we alloc?      */
-       sub   sp, sp, v1                  /* allocate stack for arguments!    */
+       ldr   a0, [itmp1], #8             /* load argument registers          */
+       ldr   a1, [itmp1], #8
+       ldr   a2, [itmp1], #8
+       ldr   a3, [itmp1], #8
 
-       mov   itmp3, #0                   /* stack position                   */
+       cmp   itmp3, #0                   /* do we have stack arguments?      */
+       ble   asm_calljava_copyfinish     /* no -> do not care :-)            */
+
+       mov   itmp2, #0
+       sub   sp, sp, itmp3, lsl #3       /* create stackframe for arguments  */
 asm_calljava_copyloop:                /* reorder stack arguments!         */
-#if defined(__ARMEL__)
-       ldr   ip, [a3,#offvmargdata]      /* get LOW word of argument         */
-       str   ip, [sp, itmp3]
-       add   itmp3, itmp3, #4
-       ldr   ip, [a3,#offvmargtype]      /* is it a 2_WORD_TYPE?             */
-       tst   ip, #1
-       ldrne ip, [a3,#offvmargdata + 4]  /* yes -> get HIGH word of argument */
-       strne ip, [sp, itmp3]
-       addne itmp3, itmp3, #4
-#else /* defined(__ARMEB__) */
-       ldr   ip, [a3,#offvmargtype + 4]  /* get our item type (it is u8)    */
-       teq   ip, #2                      /* is it a TYPE_FLOAT?              */
-       ldreq ip, [a3,#offvmargdata]      /* yes -> get LOW word of float     */
-       streq ip, [sp, itmp3]
-       addeq itmp3, itmp3, #4
-       beq   asm_calljava_copydone
-       tst   ip, #1                      /* is it a 2_WORD_TYPE?             */
-       ldrne ip, [a3,#offvmargdata]      /* yes -> get HIGH word of argument */
-       strne ip, [sp, itmp3]
-       addne itmp3, itmp3, #4
-       ldr   ip, [a3,#offvmargdata + 4]  /* get LOW word of argument         */
-       str   ip, [sp, itmp3]
-       add   itmp3, itmp3, #4
-asm_calljava_copydone:
-#endif
-       add   a3, a3, #sizevmarg          /* next argument block              */
-       subs  a2, a2, #1
+       ldr   ip, [itmp1], #4             /* load argument                    */
+       str   ip, [sp, itmp2]             /* store argument on stack          */
+       add   itmp2, itmp2, #4            /* next stackslot                   */
+       ldr   ip, [itmp1], #4             /* load argument                    */
+       str   ip, [sp, itmp2]             /* store argument on stack          */
+       add   itmp2, itmp2, #4            /* next stackslot                   */
+       subs  itmp3, itmp3, #1            /* next argument                    */
        bgt   asm_calljava_copyloop
 
-       /* REMEMBER: first four args are passed in regs, take them out again  */
-       ldmfd sp, {a1, a2, a3, a4}        /* load first four args to register */
-       cmp   v1, #16                     /* do we have four arguments?       */
-       addlt sp, sp, v1
-       movlt v1, #0
-       addge sp, sp, #16
-       subge v1, v1, #16
-
 asm_calljava_copyfinish:
+       mov   mptr, v1                    /* set method pointer               */
+
        /* REMEMBER: do the method call just like in java! */
        ldr   ip, [mptr]                  /* fake virtual function call       */
-       mov   lr, pc 
-       mov   pc, ip 
-fake2:
-       sub   ip, pc, #(fake2 - asm_vm_call_method)+8
+       mov   lr, pc
+       mov   pc, ip
+fake:
+       sub   ip, pc, #(fake - asm_vm_call_method)+8
 
-       add   sp, sp, v1                  /* free stack arguments!            */
+       mov   sp, v1                      /* restore SP                       */
        add   sp, sp, #4                  /* free fake address                */
        ldmfd sp!, {v1}
        RESTORE_SCRATCH_REGS_AND_RETURN   /* return to caller, restore regs   */
 
 asm_vm_call_method_exception_handler:
-       mov   a1, xptr                    /* exception pointer is arg1        */
+       mov   a0, xptr                    /* exception pointer is arg1        */
        bl    builtin_throw_exception     /* throw the exception              */
        mov   res1, #0                    /* return NULL                      */
        mov   res2, #0                    /* return NULL                      */
-       add   sp, sp, v1                  /* free stack arguments!            */
+       mov   sp, v1                      /* restore SP                       */
        add   sp, sp, #4                  /* free fake address                */
        ldmfd sp!, {v1}
        RESTORE_SCRATCH_REGS_AND_RETURN   /* return to caller, restore regs   */
 
-asm_vm_call_method_float:
-        mov a1,#0x51
-        b asm_debug
-asm_vm_call_method_double:
-        mov a1,#0x52
-        b asm_debug
+asm_vm_call_method_end:
 
 
 /****************** function asm_call_jit_compiler *****************************
@@ -222,21 +154,23 @@ asm_vm_call_method_double:
 *                                                                              *
 *******************************************************************************/
 
-#define MYSTACKSIZE (5*4)
+#define MYSTACKSIZE (6*4)
 
 asm_call_jit_compiler:
        SAVE_ARGUMENT_REGISTERS             /* save our argument registers & LR   */
+       sub   sp, sp, #4                    /* keep stack 8-byte aligned          */
 
-       mov   a1, itmp1                     /* pass methodinfo pointer            */
-       mov   a2, mptr                      /* pass method pointer                */
-       add   a3, sp, #MYSTACKSIZE          /* pass Java sp                       */
-       mov   a4, lr                        /* pass Java RA (correct for leafs)   */
+       mov   a0, itmp1                     /* pass methodinfo pointer            */
+       mov   a1, mptr                      /* pass method pointer                */
+       add   a2, sp, #MYSTACKSIZE          /* pass Java sp                       */
+       mov   a3, lr                        /* pass Java RA (correct for leafs)   */
        bl    jit_asm_compile
        mov   itmp1, res1                   /* save pointer to new jit-code       */
 
        tst   itmp1,itmp1                   /* check for exeption                 */
        beq   L_asm_call_jit_compiler_exception
 
+       add   sp, sp, #4                    /* keep stack 8-byte aligned          */
        RESTORE_ARGUMENT_REGISTERS          /* load our argument registers & LR   */
 
        mov   ip, itmp1
@@ -246,6 +180,7 @@ L_asm_call_jit_compiler_exception:
        bl    exceptions_get_and_clear_exception
        mov   xptr, res1                    /* get exception                      */
 
+       add   sp, sp, #4                    /* keep stack 8-byte aligned          */
        RESTORE_ARGUMENT_REGISTERS          /* load LR                            */
 
        sub   xpc, lr, #4                   /* xpc = instruction that called us   */
@@ -267,8 +202,8 @@ L_asm_call_jit_compiler_exception:
 asm_handle_nat_exception:
        /*TODO:maybe make a macro out of it!!!*/
        SAVE_ARGUMENT_REGISTERS  
-       mov   a1, lr
-       bl    md_codegen_get_pv_from_pc
+       mov   a0, lr
+       bl    md_asm_codegen_get_pv_from_pc
        mov   ip, res1
        RESTORE_ARGUMENT_REGISTERS  
        /* fall through */
@@ -276,22 +211,22 @@ asm_handle_nat_exception:
 asm_handle_exception:
        stmfd sp!, {r0 - r3}               /* save possible used registers    */
        mov   itmp3, #1                    /* set maybe-leaf flag             */
-       mov   a4, #(4*4)                   /* prepare a4 for handle_exception */
+       mov   a3, #(4*4)                   /* prepare a3 for handle_exception */
 
 asm_handle_exception_loop:
        stmfd sp!, {ip,lr}                 /* call exception helper here!     */
-       mov   a1, xptr                     /* pass exception pointer          */
-       mov   a2, xpc                      /* pass exception pointer          */
-       mov   a3, ip                       /* pass data segment pointer       */
-       add   a4, sp, a4                   /* calculate Java sp into a4...    */
-       add   a4, a4, #(2*4)
+       mov   a0, xptr                     /* pass exception pointer          */
+       mov   a1, xpc                      /* pass exception pointer          */
+       mov   a2, ip                       /* pass data segment pointer       */
+       add   a3, sp, a3                   /* calculate Java sp into a3...    */
+       add   a3, a3, #(2*4)
        bl    exceptions_handle_exception
        ldmfd sp!, {ip,lr}
 
-       tst   a1, a1
+       tst   a0, a0
        beq   asm_handle_exception_not_catched
 
-       mov   xpc, a1                      /* move handlerpc into xpc         */
+       mov   xpc, a0                      /* move handlerpc into xpc         */
        tst   itmp3,itmp3                  /* if this is a lead method ...    */
        ldmnefd sp!, {r0 - r3}             /* restore argument registers      */
 
@@ -302,87 +237,36 @@ asm_handle_exception_not_catched:
        addne sp, sp, #(4*4)               /* remove maybe-leaf stackframe    */
        movne itmp3, #0                    /* remove maybe-leaf flag          */
 
-       ldr   a3, [ip, #FrameSize]         /* t2 = frame size                 */
-       add   a1, sp, a3                   /* t0 = pointer to save area       */
-       ldr   a2, [ip, #IsLeaf]            /* t1 = is leaf procedure          */
-       tst   a2, a2                       /* if is leaf ...                  */
-       ldreq lr, [a1, #-4]!               /* ... restore RA                  */
+       ldr   a2, [ip, #FrameSize]         /* t2 = frame size                 */
+       add   a0, sp, a2                   /* t0 = pointer to save area       */
+       ldr   a1, [ip, #IsLeaf]            /* t1 = is leaf procedure          */
+       tst   a1, a1                       /* if is leaf ...                  */
+       ldreq lr, [a0, #-4]!               /* ... restore RA                  */
        mov   xpc, lr                      /* the new xpc is RA               */
 
-       ldr   a2, [ip, #IntSave]           /* t1 = saved int register count   */
-       rsb   a2, a2, #5                   /* t1 = count of unsaved registers */
-       sub   a2, a2, #1
-       add   pc, pc, a2, lsl #2           /* do not load unsaved registers   */
-       ldr   v1, [a1, #-20]               /* ... but restore the other ones  */
-       ldr   v2, [a1, #-16]
-       ldr   v3, [a1, #-12]
-       ldr   v4, [a1, #- 8]
-       ldr   v5, [a1, #- 4]
+       ldr   a1, [ip, #IntSave]           /* t1 = saved int register count   */
+       rsb   a1, a1, #5                   /* t1 = count of unsaved registers */
+       sub   a1, a1, #1
+       add   pc, pc, a1, lsl #2           /* do not load unsaved registers   */
+       ldr   v1, [a0, #-20]               /* ... but restore the other ones  */
+       ldr   v2, [a0, #-16]
+       ldr   v3, [a0, #-12]
+       ldr   v4, [a0, #- 8]
+       ldr   v5, [a0, #- 4]
 
-       add   sp, sp, a3                   /* unwind stack (using t2)         */
-       mov   a4, #0                       /* prepare a4 for handle_exception */
+       add   sp, sp, a2                   /* unwind stack (using t2)         */
+       mov   a3, #0                       /* prepare a3 for handle_exception */
 
        /*TODO:maybe make a macro out of it!!!*/
        SAVE_ARGUMENT_REGISTERS  
-       mov   a1, lr
-       bl    md_codegen_get_pv_from_pc
+       mov   a0, lr
+       bl    md_asm_codegen_get_pv_from_pc
        mov   ip, res1
        RESTORE_ARGUMENT_REGISTERS  
 
        b     asm_handle_exception_loop
 
 
-/* asm_patcher_wrapper *********************************************************
-*                                                                              *
-*   TODO: document me                                                          *
-*                                                                              *
-*   Stack layout when calling patcher function:                                *
-*    24   saved REG_ITMP3, should be restored                ( -4)             *
-*    20   data segment displacement from load instructions   ( -8)             *
-*    16   return address into JIT code (patch position)      (-12)             *
-*    12   pointer to virtual java_objectheader                                 *
-*     8   machine code (which is patched back later)                           *
-*   [ 8   result of patcher function (indicates exception)  ]                  *
-*     4   unresolved class/method/field reference                              *
-*   [ 0   patcher function pointer to call                  ]                  *
-*     0   saved IP of caller (caller needs it!)                                *
-*                                                                              *
-*******************************************************************************/
-
-#define PATCHSTACKSIZE 7*4
-
-asm_patcher_wrapper:
-       mov   itmp3, sp                     /* preserve original SP in ITMP3      */
-
-       SAVE_ARGUMENT_REGISTERS_IP          /* save our argument registers & LR   */
-       SAVE_FLOAT_REGISTERS                /* save our float registers here      */
-
-       mov   a1, itmp3                     /* pass SP of patcher stub            */
-       mov   a2, ip                        /* pass PV                            */
-       mov   a3, lr                        /* pass RA (correct for leafs)        */
-       bl    patcher_wrapper
-       mov   itmp3, res1                   /* save return value                  */
-
-       RESTORE_FLOAT_REGISTERS             /* restore our float registers here   */
-       RESTORE_ARGUMENT_REGISTERS_IP       /* load our argument registers & LR   */
-
-       tst   itmp3, itmp3                  /* check for an exception             */
-       bne   L_asm_patcher_wrapper_exception
-
-       add   sp, sp, #PATCHSTACKSIZE       /* remove patcher stack frame         */
-
-       ldr   itmp3, [sp, #-4]              /* restore ITMP3 for calling method   */
-       ldr   pc, [sp, #-12]                /* jump to new patched code           */
-
-L_asm_patcher_wrapper_exception:
-       mov   xptr, itmp3                   /* get exception                      */
-       ldr   xpc, [sp, #16]                /* RA is xpc                          */
-
-       add   sp, sp, #PATCHSTACKSIZE       /* remove patcher stack frame         */
-
-       b     asm_handle_exception
-
-
 /* asm_abstractmethoderror *****************************************************
 
    Creates and throws an AbstractMethodError.
@@ -391,8 +275,8 @@ L_asm_patcher_wrapper_exception:
 
 asm_abstractmethoderror:
        stmfd sp!, {lr}                     /* save return address                */
-       add   a1, sp, #(1*4)                /* pass java sp                       */
-       mov   a2, lr                        /* pass exception address             */
+       add   a0, sp, #(1*4)                /* pass java sp                       */
+       mov   a1, lr                        /* pass exception address             */
        bl    exceptions_asm_new_abstractmethoderror
        ldmfd sp!, {lr}                     /* restore return address             */
 
@@ -409,50 +293,39 @@ asm_abstractmethoderror:
 *                                                                              *
 *******************************************************************************/
 
-#if 1
-.equ sys_cacheflush, 0x9f0002
+L___ARM_NR_cacheflush:
+       .align 2
+       .word __ARM_NR_cacheflush
+
 asm_cacheflush:
-       add   a2, a1, a2
-       mov   a3, #0
-       #if 1
-         /* TODO: repeair this! */
-         /* cacheflush is messed up beyond all repair! */
-         mov a1, #0x0
-         mov a2, #0xff000000
-       #endif
-       swi   #sys_cacheflush
-       mov   pc, lr
+       add   a1, a0, a1
+       mov   a2, #0
+
+#if defined(__ARM_EABI__)
+       /* According to EABI, the syscall number should be passed via R7,
+          see "http://wiki.debian.org/ArmEabiPort" for additional details. */
+
+       stmfd sp!, {r7}
+       ldr   r7, L___ARM_NR_cacheflush
+       swi   0x0
+       ldmfd sp!, {r7}
 #else
-.equ IMBa, 0xf00000
-.equ IMBb, 0xf00001
-asm_cacheflush:
-       /* clean and invalidate the entire cache!!! */
-       swi   #IMBa
-       mov   pc, lr
-#endif
+# if 0
+       /* TWISTI: required on iyonix, maybe a linux-2.4 bug */
+       mov   a0, #0x0
+       mov   a1, #0xff000000
+# endif
 
+       swi   __ARM_NR_cacheflush
+#endif
 
-/********************* function asm_getclassvalues_atomic *********************/
-
-asm_getclassvalues_atomic:
-       stmfd sp!, {r4, r5, r6}
-_crit_restart:
-_crit_begin:
-       ldr   r4,[a1,#offbaseval]
-       ldr   r5,[a1,#offdiffval]
-       ldr   r6,[a2,#offbaseval]
-_crit_end:
-       str   r4,[a3,#offcast_super_baseval]
-       str   r5,[a3,#offcast_super_diffval]
-       str   r6,[a3,#offcast_sub_baseval]
-       ldmfd sp!, {r4, r5, r6}
        mov   pc, lr
 
 
-/* Disable exec-stacks, required for Gentoo ***********************************/
+/* disable exec-stacks ********************************************************/
 
-#if defined(__GCC__) && defined(__ELF__)
-       .section .note.GNU-stack,"",@progbits
+#if defined(__linux__) && defined(__ELF__)
+       .section .note.GNU-stack,"",%progbits
 #endif